{
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "family": "178",
  "a": "1/10000",
  "auxiliary_parameter_count": 3333334,
  "signed_auxiliary_parameter_count": 6666668,
  "formula": "ceil(10/(0.03*a))",
  "source_path": "preprints/Deterministic-nonbipartite-Ramanujan-graphs-in-every-fixed-degree-September-23-2026/build/sections/setup.tex",
  "repair_seed_family": "P^2 with P of order n^Cprime; Cprime sufficiently large fixed, not numerically selected here",
  "n0": "degree-dependent, not numerically instantiated here",
  "kd": "degree-dependent, not numerically instantiated here",
  "interpretation": "Literal parameter-point count, not a moment order, running-time exponent, simultaneous-memory requirement or impossibility for a redesigned construction.",
  "independent_proof_verification": "not_run"
}