Math RefereeReproduce the exact local checks
These checks use symbolic and rational arithmetic in Python with SymPy. They are coordinator calculations, not formal certificates or a verification of the main theorem.
Download the reading packet, extract its manuscript.tex, and download the checker. Run:
python3 exact-check.py --source manuscript.tex
The frozen source SHA-256 is 8adb9681e2cd5e4bdcb292162a32796b00ae7b757a5a900fbd580d0bc939e34e. The checker was run with SymPy 1.14.0. Recorded results and checker ancestry are included. Only the source-path interface differs from the retained historical checker.
The checks establish the product-lemma counterexample and limiting-density integral identity. The report supplies the limiting-measure justification and the random-walk argument separately.
Additional supporting archive items are identified in the original report. View the manuscript hashes and repository snapshot.