# OverviewThis record releases the **Yang–Mills Mass Gap Program v10. 10** (PDF + TeX) together with a**sealed strictₛimulation witness packet** implementing an *audited certificate interface*. Included artifacts: - Main paper: `YMMGᵥ10. 10. pdf`- Sealed witness packet (ZIP): `YMMGₚktᵥ10. 10ₛtrictₛimulationₛealed. zip`- Hash / change summary: `YMMGₚktᵥ10. 10ₛtrictₛimulationₛealeddiffₛummary. txt` # Closed results (strictₛimulation witness) The sealed packet ships a strict-simulation anchor report: - `results/e5ₘinᵣeport. json` with - `mode = simulation` - `interfaceᵢd = "E5-min/v1. 4"` - `coverageₛlack = 0`- Mechanical audit is fail-closed and passes: - `python3 -B scripts/auditₐll. py --packetᵣoot. --report results/e5ₘinᵣeport. json --profile strictₛimulation` returns `PASS` (`results/auditᵣeport. json: ok=true`). - Mandatory verifiers are included and pass: - Verifier2 (independent checker): `results/verifier2ᵣeport. json` - Verifier3 (rational): `results/verifier3ᵣationalᵣeport. json` - Verifier4 (interval/decimal): `results/verifier4ᵢntervalᵣeport. json`- Instantiation bridge artifacts are bound and audited: - `results/pbₚathcertificate. json` - `results/pbᵢnstantiationᵣeport. json`- Packet-wide digests are sealed: - `manifest. json` and `manifestcore. json` (SHA256-bound file list) # What's new in this v10. 10 re-upload (sealed witness add-on) - A concrete **strictₛimulation sealed witness ZIP** is now shipped as part of the record. - The anchor report was rebuilt to satisfy the `E5-min/v1. 4` interface and strict binding rules (raw samples/summary replay, domain binding, configs-dir manifest, pb-instantiation digest alignment). - Verifier2 was updated to accept both `e5-min-report/v1. 3` and `v1. 4`, matching the v1. 4 interval-upgrade step. # Reproducibility (quick start) Unzip the sealed packet and run: 1) `bash scripts/finalₛeal. sh strictₛimulation`2) `python3 -B scripts/auditₐll. py --packetᵣoot. --report results/e5ₘinᵣeport. json --profile strictₛimulation` Any missing file, schema mismatch, digest mismatch, or verifier failure yields `FAIL`. # Artifact fingerprints- `YMMGₚktᵥ10. 10ₛtrictₛimulationₛealed. zip` - SHA256: 1340dd05af280b7d2c8ff8b60193a1b10895a6d624d6ea17b04bfe749fc1f1ae - bytes: 3046352- `YMMGₚktᵥ10. 10ₛtrictₛimulationₛealeddiffₛummary. txt` - SHA256: 5da9b30e62c603b3eba9c2f14b1d913fedd51b8a9887f0a043ddc9a099ac9973 # Scope & non-toy statusThis release provides an **audited proof interface** and a **sealed strictₛimulation witness**. The strictₛimulation profile is an internal simulation anchor (not an external observational dataset). A separate profile (`physicsₛtrict`) is designed to bind external references/datasets with `status=REAL`via `results/externalₛourceₙote. json` and hash-checked file inclusion. # KeywordsYang–Mills, mass gap, SU (2), lattice gauge theory, Wilson action, Osterwalder–Schrader, certificate, audited computation, reproducibility, interval arithmetic, rational verification, manifest SHA256
Byoungwoo Lee (Wed,) studied this question.