Reproduce the exact checks

Download manuscript.tex from the separate reading packet and the two scripts: counterexample checker, additional checker. With Python and SymPy installed, run:

python3 exact-check.py --source manuscript.tex
python3 additional-check.py --source manuscript.tex --output additional-exact-results.json

Both public scripts were run with SymPy 1.14.0. Checker ancestry records the original and public hashes. The source interfaces and descriptive wording changed, not the mathematics.

First results check the rational lattice, exterior square, matrix identities and parameter inequalities. Finite-box checks are sanity checks; the counterexample note supplies exhaustive integer arguments and the measure obstruction. Additional results cover bracket calculations, matrix counterexamples and hyperbola inequalities; the source checks supply the remaining analytic arguments. These are not formal proof certificates or a repaired main theorem.