evidence/v126/g2_ground_order/Manuscript v1.17 — CERTIFICATE bundle: shifted infinite-complement inertia certificates (complete ground ordering) at lambda=3, even and odd, replayed at 768 and 896 bits; trial-reuse and ground-overlap scalar certificates. All decisive arithmetic is outward Arb (per REPRODUCE_v117.md).
The files here are byte-identical to evidence/v124/g2_ground_order/.
Start here: REPRODUCE_v117.md, ground_order_derivation.md
REPRODUCE_v117.md (3 KB) — Reproduce v1.17: complete ground ordering at lambda=3certified_trial_reuse.md (9 KB) — Reusing the exact finite trial in the full canonical Weil operatorcertify_ground_overlap_constants.py (2 KB) — Scalar consequences of the existing exact N=64 inverse certificate. The computations establish only the numerical constants.certify_shifted_inertia.py (7 KB) — Shifted infinite-complement inertia certificate at lambda=3. All arithmetic enclosures use Arb.certify_trial_reuse.py (7 KB) — Reuse the exact N=64 trial in the canonical full lambda=3 Weil form. Computes a full residual enclosure including all omitted Fourier modes.checkpoint_entry.md (8 KB) — Current research checkpoint: September 21, 2026 — v1.17 complete ground ordering at one windowfinish_checkpoint.py (10 KB) — (no description in file)full_trial_certificate.json (7 KB) — (no description in file)g2_finite_candidate.json (8 KB) — (no description in file)g2_finite_certificate.json (11 KB) — (no description in file)ground_order_derivation.md (12 KB) — Shifted Schur inertia: adversarial proof auditground_order_insert.tex (7 KB) — Fixed-window spectral ordering and ordinary ground overlapground_overlap_scalar_certificate.json (1 KB) — (no description in file)integrate_v117.py (9 KB) — (no description in file)shift_1e-34_N256_M512_J4096_r80_even_b768_diagonal.json (24 KB) — (no description in file)shift_1e-34_N256_M512_J4096_r80_even_b896_diagonal.json (24 KB) — (no description in file)shift_1e-34_N512_M1024_J4096_r100_odd_b768_diagonal.json (46 KB) — (no description in file)shift_1e-36_N512_M1024_J4096_r100_odd_b768_diagonal.json (46 KB) — (no description in file)shift_1e-36_N512_M1024_J4096_r100_odd_b896_diagonal.json (46 KB) — (no description in file)