(git-record date, not publication date)
artifact-only
unreviewed
artifact preservation
reconciled
Artifact only, no write-up and no results: oracles.py and t1lp.py from ARM A-PRIME of the r_c7f779 fan-out were rescued from an uncommitted fulcrum worktree, and the code has never been run in this tree.
hunts/support_4019e8e5 (Record 85 of 98 in chronological sequence)
Guiding Question
Can a Cohn-Elkies-style certificate LP for T1 be implemented with independent oracles for f, sharing one implementation of f between the probe and the a-posteriori verifier?
Method & Verification
No method ran in this tree; t1lp.py is shared machinery for the T1 certificate LP and oracles.py checks f against gram_form and against quadrature, both committed so they survive git clean.
Lineage & Relationships
Primary Sources (at pin 8fa46e134)
Editorial Notes
No MISSION.md, HANDBACK, RESULTS.md, or results file at the pin. Question filled from the t1lp.py and oracles.py module docstrings. Disposition is artifact-only as specified for this pair. Case log: it has never been run in this tree.
Date Provenance
commit 8bdda4b1916ddea412d981023aebdf9bee8ef6ce, hunts/support_4019e8e5/, author 2026-08-25T08:46:57-05:00