BOUNDED VERIFICATION FOR THE SEPTEMBER 28 GUARDED DISPATCH EDITION
Run with Python 3.10+ and SymPy 1.14.0 already available:
python -B code/verify_guarded_dispatch.py --out reproduced_results
The dispatcher itself uses standard-library exact rational arithmetic. The verifier requires SymPy; dependencies are listed, not bundled. No software was installed in this preparation.
Six modules check symbolic prerequisites, rational points and boundary handling, finite test selection, actual LM substitution, Walsh witnesses and adversarial regressions. These checks do not prove the universal degree/connectedness statements, establish priority, or measure speedups.
verification_results.json is the fresh semantic result, equal as parsed JSON to the selected package's recorded result. Version/environment and private review records are excluded from this public-safe archive. The known historical replay scripts and their weak LM check are deliberately not part of this current verifier.
