Opened 2026-08-24 and still in progress at the pin: the Cohn-Elkies-style certificate LP for T1 is being re-solved between the achievability floor 0.05716502 and the budget 0.06750841, with no RESULTS.md or handback recorded.
hunts/r_c7f779 (Record 73 of 98 in chronological sequence)
Guiding Question
Does the Cohn-Elkies-style certificate LP for T1 have value below Shq(1/2) = 0.06750841, above it, or is it unresolvable at this cost?
Method & Verification
The hunt was opened from r_b9552d run 37fb06a9 loose thread 2, with certificate.py and lp.py present at the pin and the case log stating the entry will be rewritten when the run closes.
Lineage & Relationships
r_b9552d ↗, support_5418c63e ↗, support_17a0f787 ↗, support_4019e8e5 ↗, support_78c499b4 ↗
Primary Sources (at pin 8fa46e134)
Editorial Notes
No HANDBACK or RESULTS.md at the pin. Question filled from the HuntSpec. Headline filled from the case-log in-progress status. Support arms 17a0f787 (ARM C), 4019e8e5 (ARM A-PRIME), 5418c63e (ARM B), and 78c499b4 (ARM E, literature review on Cohn-Elkies LP bounds) were launched from this fan-out; only 5418c63e and 78c499b4 have write-ups. Evidence is unreviewed because nothing was measured in this directory.
Date Provenance
commit 3b671302240969a527b97b4f9ab22f8724fe0040, hunts/r_c7f779/, author 2026-08-24T23:11:23-05:00