YM – Pure Yang–Mills results and verification

This repository gathers pure Yang-Mills submissions alongside independent checks and assessments. Its first assessment, dated November 10, 2026, examines OpenAI’s October 28 submission and concludes that it proves the construction of a relativistic quantum field theory satisfying the Wightman axioms as a scaling limit of four-dimensional Wilson lattice gauge theory, for any simple compact gauge group. The assessment draws a firm boundary around that result: it does not establish uniqueness of the infinite-volume limit or the existence of a mass gap. The October package includes original Lean sources, a combined acceptance theorem, links to earlier formalizations, and a separate check of operator product expansion bounds.

The repository is organized to keep each submission’s original materials distinct from the group’s added specifications, proof adapters, verification records, and explanations. Reading guides describe eight assessment checks, covering the lattice law and scale, construction chain, operator content, Osterwalder-Schrader axioms, translation Ward identity, leading trace law, and OPE bounds. Pinned dependencies and scripts support integrity checks and a fuller build and Comparator replay; the recorded macOS verification does not provide Linux/Landrun isolation. New submissions must state their claims and assumptions clearly and provide substantive arguments, with formal results distinguished from informal ones and toolchains, dependencies, and proof gaps documented. The group retains discretion over what it posts or reviews, and inclusion is not endorsement.