This repository is the executable interface/archive for the Osterwalder-Schrader quantization boundary in the Yang-Mills mass gap program.
Status: CLOSED — Frozen interface/archive v1.0.0.
Repository scope: interface definitions, executable checks, certificate validation, and documentation of the theorem frontier.
External theorem frontier: construction of an Osterwalder-Schrader positive Euclidean measure for 4D nonabelian Yang-Mills.
No repository artifact claims full Yang-Mills closure.
make verify
Final wall
See docs/math/YM_OS_FINAL_WALL.md and docs/status/THEOREM_FRONTIER.md.
## External status
This repository is governed by [`docs/status/EXTERNAL_STATUS_LOCK.md`](docs/status/EXTERNAL_STATUS_LOCK.md). Build success, CI success, dashboards, ledgers, axioms, admits, `sorry`, or placeholder witnesses do not constitute theorem-level closure.