Millennium mathematics endpoint family
somamaley-ux/AASC-YangMills-Lean-Audit: Yang-Mills local-net and Clay-extension Lean4 Audit Endpoint 1.0.2
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 verific...