Source, attribution and reproducibility

Source, attribution and reproducibility

The underlying Yang–Mills Lean work is credited to OpenAI. The source actually presented here is the expanded Wilson Yang–Mills Construction: Mathematical Translation [1], preserved in the release. Jeremy Rodgers is the author of this exposition, prepared with AI assistance. The related source–readout reconstruction develops the programme that Rodgers originated and directed [2].

The complete editable manuscript consists of the root LaTeX document, sections/*.tex, and references.tex. All mathematical content is contained in those files. The release includes the expanded source, coverage and amendment records, build instructions, and verification records. Source-unit comments connect the editable text to the original heading intervals. The verification record distinguishes the current build and focused calculations from retained numerical and structural checks; no new Lean/Lake execution is reported.