{
  "checks": [
    "C squared is swap",
    "three-kernel shear factorization",
    "Newton factorization in cyclotomic fields at widths 2 through 8",
    "incidence cancellation for all triples at h=7",
    "arbitrary-content replay cancellation",
    "coprime Fourier exponents at length 15",
    "chirp exponents",
    "nonconsecutive sector packing",
    "exact network constants and exponent inequality"
  ],
  "h": 100,
  "v": 161700,
  "N0": 4227952113000000,
  "I0": 78440670000,
  "neighbor_count": 147731,
  "W": 1873807244643542670000,
  "Wstar": 2361183241434822606848,
  "m": 1000000,
  "delta": 6871402692000000,
  "epsilon": "1717850673/590295810358705651712",
  "scope": "Finite exact identities and integer arithmetic only. No complete network, full algorithm, external theorem, Lean build, or asymptotic complexity certified."
}