The pair-measure LP reduces exactly to 2 - sup D and descends toward the paper's 0.6725007, so the measure level adds nothing, and the constructive candidate N0^s >= 0.672529 N is withdrawn because the scan used u u* while upstream uses u u^T.
hunts/frontier_math (Record 8 of 98 in chronological sequence)
Guiding Question
Does the full-data LP over marked periodic configurations improve on the paper's 0.6725007, and can any known conditional refinement be made unconditional through the paper's machinery?
Method & Verification
The pair-measure LP with positivity, bandwidth-one data, and multiplicity types was shown to reduce exactly to 2 - sup D, and the constructive half was withdrawn after an exact witness 1, i, -i gave tr(P1 Q') = -2.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No HuntSpec or HANDBACK at the pin. Question filled from MISSION.md's THREAD 1 continuation of wide_search. Headline retains the withdrawn constructive half. The directory later accumulated many other arms; this row records the case-log status at the pin, which is the clean kill.
Date Provenance
commit e142995498f534ae69a493c996bb0ea12a7ee35a, hunts/frontier_math/, author 2026-08-11T13:07:22Z