Executable Hilbert–Schmidt certificates establishing a Yang–Mills mass gap via operator coercivity transfer, with CI-enforced monotonicity and frozen artifacts.

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.