Verification material accompanying the 7 October 2026 technical report.
Retained-audit results are the earlier completed computations, not a new website run. Revision checks are separate.
For the retained audit, run python supporting/original-audit/computation/checker.py --out rerun. For targeted checks, run python verification/check_revision.py and python verification/independent-math/check_revision_math.py. The targeted scripts write new results beside their source; use a copy to preserve supplied logs. Read the retained RUN-GUIDE for ranges. Historical revision README paths refer to the original workspace. Finite verification corroborates proofs; it does not prove unbounded statements.
Source snapshots preserve the manuscript dependencies and their original metadata limitations. They do not establish authorship or publication priority.
These materials arose from internal AI-assisted review, not external peer review.
Paths in historical logs describe the original execution environment.
