(git-record date, not publication date)
completed
measured
primary investigation
reconciled
The prime side of the explicit formula factors place by place into a manifest norm, but those local norms do not assemble into a global sign, and the place-kernel gate tests the local Selberg bound rather than the existence of an Euler product.
hunts/local_positivity (Record 4 of 98 in chronological sequence)
Guiding Question
Does the prime side of the explicit formula factor, place by place, into a manifest norm, and if it does, does local positivity buy anything global?
Method & Verification
Place kernels were reconstructed against zeta.weil.explicit_formula_sides to 22 digits, then scored against zeta, L(chi) mod 5, Davenport-Heilbronn, both disc -23 Epstein forms, and 300 random period-5 sequences.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No HuntSpec or HANDBACK at the pin. Question filled from the quoted question in MISSION.md. Case log records that the hunt's original 'arithmetic-side blindness' reason was later corrected by the director run; the completed negative result on globalisation is retained.
Date Provenance
commit e3e4426b4d95a47f10e1106461c722fd5c62d7ed, hunts/local_positivity/, author 2026-08-10T09:37:57-05:00