Retained P2 verification, 5 October 2026; packaged 10 October.
These results are historical, not new site-integration executions. Primary: 10,280 cases; independent AI-assisted review: 3,809 cases.
To reproduce the primary run, use a separate copy and run python p2/verify_p2.py; it writes beside its own source. Preserve supplied results. See PLAN.md for original caps.
The independent review provides its reconstruction and enumeration recipe, not an independently saved executable.
Finite rational feasibility checks corroborate the proofs; logarithms are binary64, not certified interval arithmetic. No external peer review or novelty is claimed.
