community-pair-arithmetic.json

{
  "status": "PASS",
  "counts": {
    "m": 575,
    "W": 137151806,
    "N": 4073300,
    "L": 2226400,
    "deficit": 1846900,
    "maxchild": 529
  },
  "candidates": {
    "pr62": {
      "kappa": "5101691/100000000000",
      "moment_gap_lower": "1390536731908780397/1000000000000000000000000000000",
      "absorption_gap": "2789682368533483055549/390644929499999960141000000000000"
    },
    "pr61_on_pr62": {
      "kappa": "25508460085039/500000000000000000",
      "moment_gap_lower": "4629674314681/1000000000000000000000000000000",
      "absorption_gap": "13311134328412935473173663662493817/1000051019523029011499897960953941977000000000000000000"
    }
  },
  "lean_profile_bound": true,
  "scope": "Independent moments and direct assembly identities; exact retained 47-row interface and source-bound finite Lean arithmetic. General transfer and physical realization are reviewed separately."
}