Certificate: Spectral Wall Numerical Witness (Yang–Mills)
Repository: yang-mills-hs-gap-cert Witness tags: ym-spectral-wall-witness-v0.1 … v0.4 Current frozen tag: ym-spectral-wall-witness-v0.4
Scope: Numerical witness for coercivity of the reduced Yang–Mills operator on S^4 via quadratic-form positivity and stable Rayleigh–Ritz lower bounds.
Nature: Evidentiary numerical witness. Not a proof.
Reproducibility:
- Python 3.11
- numpy, scipy
- pytest
- All tests pass at frozen tag.
- Content hash recorded in tests/spectral_wall/HASH.txt