Gap A of the lattice-extremality route is not a missing calculation: any single density-independent certificate proving J <= L at every density is pinned to ghat(0)=0, and the Fejer family that closed gap B reaches that constant only at a c the admissibility cap forbids by a factor 1.15554665, while the route remains alive with a first all-density bound J(T) <= 0.5715840116 = 4.99942 * L.
hunts/r_b9552d (Record 37 of 98 in chronological sequence)
Guiding Question
does the centre-gas obligation T1 of the two-species split admit a bound with a strictly positive atom reserve rho, over all centre configurations rather than only lattices?
Method & Verification
The Fejer family was evaluated for the c that zeros the rho-slope, the admissibility cap was re-measured as a closed form, and sup f was scanned on (0,400] plus a 1/s^2 tail, with a planted 3.05x inflation of f as a detector control.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Two case-log entries share this directory: Hunt #46 and Hunt #64 are both negative attempts, both status not settled. Recorded_disposition is not settled per coordinator guidance. Run 1 artifacts are preserved under run-tagged names. The Paley-Wiener uniqueness claim in RESULTS section 3 is quoted, not proved here.
Date Provenance
commit 50df26a0a7b72fe50f91c1f120c6dcb38189bd7d, hunts/r_b9552d/RESULTS.md, author 2026-08-18T03:45:20Z