Both ball-arithmetic backends decide the Lehmer near-miss bump is positive at 64 bits, while Davenport-Heilbronn's closest approach on [85.2, 86.2] is -0.357 and never crosses, so a small |Z| flags zeta's healthiest close pair and stays silent at an actual RH violation.
hunts/lehmer_pair (Record 3 of 98 in chronological sequence)
Guiding Question
Do the enclosures of zeta.rigor decide, on both backends, that the Lehmer near-miss is real, that the bump genuinely clears zero, and how much precision does the closest call actually cost?
Method & Verification
proven_sign on both python-flint and mpmath.iv backends decided the bump positive at 64 bits, while the default mean_spacing/20 grid is wider than the Lehmer gap and missed the pair at 1 of 5 window phases.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No HuntSpec, HANDBACK, or RESULTS.md at the pin. Question filled from the quoted question in MISSION.md. Evidence grade is enclosure-supported because both rigor backends decided the sign; the rival comparison is measured, so the composite headline still carries the enclosure step.
Date Provenance
commit c463b379dc955717421bfb1f82512c9f810e5ee6, hunts/lehmer_pair/, author 2026-08-07T19:22:07-05:00