Public reference release · 2026-06-12
somamaley-ux/AASC-YangMills-Lean-Audit: Yang-Mills local-net and Clay-extension Lean4 Audit Endpoint 1.0.2
This release synchronizes the public repository surface with the hardened Clay endpoint package supplied on 2026-06-12/2026-06-13.
This release supplies reference or software files rather than a manuscript PDF.
About this paper and citation
Amos Jay Maley. somamaley-ux/AASC-YangMills-Lean-Audit: Yang-Mills local-net and Clay-extension Lean4 Audit Endpoint 1.0.2. 2026-06-12. DOI: 10.5281/zenodo.20673112.
Work DOI record · Publisher metadata
Complete publisher description
Hardened Clay endpoint sync
This release synchronizes the public repository surface with the hardened Clay endpoint package supplied on 2026-06-12/2026-06-13.
Replaces or updates the manuscript-facing snapshot under papers/ with the hardened package contents.
Adds HARDENED_ENDPOINT_SYNC.md as the repository-level handoff note.
Updates README and release notes so the hardening is visible from the public landing surface.
Preserves the existing Lean audit/truth-boundary posture: the Lean archive remains the verification surface for the endpoint proof spine, while the hardened package is the reader-facing manuscript/source snapshot.
Validation:
Ran $(System.Collections.Hashtable.audit) successfully.
For P vs NP and Yang-Mills on Windows, the known ProofWidgets cloud-release Schannel issue required the manual ProofWidgets artifact fetch workaround before the audit completed.
Author description for the selected public release. Text formatting may differ from the publisher display. This is descriptive metadata, not a manuscript conversion or independent proof verification.
A preferred reading edition does not replace an exact edition imported by a downstream theorem.