The first positivity failure of the truncated Weil form on Davenport-Heilbronn on the integer lattice is at (c, N) = (31, 60) with enclosure lambda_min = -1.8739e-31 < 0, while (31, 59) is strictly positive and the Riemann zeta control at (31, 60) remains positive, and the sign flip is accounted for by the first off-line pair.
hunts/r_ac9ca3 (Record 40 of 98 in chronological sequence)
Guiding Question
Truncated Weil form: first positivity failure on Davenport-Heilbronn is at (c, N) = (31, 60), tracking the off-line pair
Method & Verification
Integer-lattice Galerkin truncations were scanned for c in [6, 60] and N <= 128, with the (31, 60) sign decided by Arb ball LDL^T, a Rump verified eigenvalue enclosure, and an exact dyadic Rayleigh quotient, plus a dictionary decomposition attributing the negative contribution to the off-line quadruple.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Case-log status is settled. Disposition maps settled to completed. Question is the HuntSpec scalar, which is a statement rather than an interrogative. Evidence is enclosure-supported; the dictionary attribution is the mechanism, not a separate grade.
Date Provenance
commit 64833068468bbe1b194dc39579cac0e4c0def9eb, hunts/r_ac9ca3/RESULTS.md, author 2026-08-19T07:43:25-05:00