Property 6 is vacuous even in the adversarially favourable box A that contains the pinned Davenport-Heilbronn off-line zero, because the non-principal discriminant -23 Epstein form has no zeros there, and a second box assigns the opposite truth value to the same function, so the property is not well posed as a gate input.
hunts/gate5_p6_a (Record 17 of 98 in chronological sequence)
Guiding Question
Does the property that the completed function has no zeros in a box strictly off the critical line distinguish zeta from the three RH-violating rivals of the gate #3 battery, or is it vacuous?
Method & Verification
Box A was committed one commit before probe.py existed, chosen because it contains the pinned Davenport-Heilbronn off-line zero; argument-principle counts used count_zeros_box, and the planned halved-step reconfirmation hit a 420 s cap.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
Disposition is qualified rather than completed because the handback grade is float, one route, one resolution, the planned reconfirmation at halved and quartered step did not finish, and three of eight cells are recorded gaps. The VACUOUS verdict is retained. Question quotes the HuntSpec without the surrounding quotation marks. Parallel independence with gate5_p6_b and gate5_p6_c is preserved: this row does not adjudicate across the three.
Date Provenance
commit 2ce008b1b5971628a0647e033a93dee586191d59, hunts/gate5_p6_a/RESULTS.md, author 2026-08-14T03:21:20Z