Yang–Mills Mass Gap v9.9 — Audited E5-min/v1.3 Interface with a Strict-Simulation PASS Anchor (Sealed Witness Packet)

TitleYang–Mills Mass Gap v9.9 — Audited E5-min/v1.3 Interface with a Strict-Simulation PASS Anchor (Sealed Witness Packet) Description# Overview This record releases **Yang–Mills Mass Gap v9.9** together with a **sealed witness packet** implementing an audited proof interface. - **Main paper:** `YM_MG_v9.9.pdf` - **Sealed witness packet:** `YM_MG_pkt_v9.9.zip` The core reviewer-facing trigger is a single auditable object: an **E5-min/v1.3 report**`results/e5_min_report.json` inside the packet, validated by a manifest + audit pipeline. # What is the v9.9 trigger? The packet is configured to pass the **strict simulation** audit profile: - `mode ∈ {simulation, real_data}` (this release uses `mode = simulation`)- `coverage_slack = 0` and `coverage_mode = full_enumeration`- domain binding via `enumeration_spec` and `domain_items`- declared numeric TCB via `numeric_model.json`- auxiliary continuation artifacts for BT-10 (e.g. `results/pb_path_certificate.json`) This makes the release “one-shot checkable” by an external reviewer: unzip and run the audit. # How to verify (from scratch) Unzip `YM_MG_pkt_v9.9.zip` and run: 1) Verify the sealed manifest- `python -B scripts/verify_manifest.py --manifest manifest.json --packet_root .` 2) Run the strict audit on the E5-min report- `python -B scripts/audit_all.py --packet_root . --report results/e5_min_report.json --profile strict_simulation` 3) Optional independent verifier- `python -B scripts/verifier2_independent.py --packet_root . --report results/e5_min_report.json` All checks are designed to fail on any missing binding, schema mismatch, or non-strict instantiation. # Contents (packet) - `results/e5_min_report.json` — E5-min/v1.3 audited interface report- `results/raw_samples.json`, `results/raw_summary.json` — strict reproducibility hooks- `results/enumeration_spec.json`, `results/domain_items.json` — full enumeration domain binding- `results/pb_instantiation_report.json` — PB⋆ instantiation report (audited)- `results/pb_path_certificate.json` — BT-10 continuation certificate (audited)- `numeric_model.json` — numeric model / verification-only declaration- `manifest.json` + `scripts/verify_manifest.py` — sealed manifest verification # Scope note This release is intentionally centered on a single public trigger: a **sealed, auditable strict-simulation PASS anchor**under the **E5-min/v1.3** interface. The paper describes the surrounding reduction framework and continuation targets.