evidence/v126/g2_source_certificate/Manuscript v1.13 — CERTIFICATE bundle: rigorous infinite PSWF / repaired source / finite projection certificate at lambda=3, N=64. Linked from the research map as the G1 (weak) evidence (thm:v14-radical).
The files here are byte-identical to evidence/v124/g2_source_certificate/.
Start here: G2_Exact_Source_Certificate.md
G2_Exact_Source_Certificate.md (7 KB) — Exact-source certification at lambda=3, N=64certify_pswf_source.py (8 KB) — Rigorous infinite PSWF / repaired source / finite projection certificate. Requires python-flint==0.9.0. Input rational coefficients are not assumed accurate.make_pswf_input.py (1023 B) — Numerical input generator only. The separate interval verifier certifies it.pswf_rational_input.json (17 KB) — (no description in file)pswf_source_certificate.json (4 KB) — (no description in file)source_polynomial_intervals.json (12 KB) — (no description in file)