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 6776902687fa24498e9bc0084edb02b1630009b90b7b06a7e2fba0e6d697397c. 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 local radical matrix identities. The proposed compatibility completion uses additional stated algebraic-group structure theorems.
Additional supporting archive items are identified in the original report. View the manuscript hashes and repository snapshot.