Yang–Mills Mass Gap v9.8r2: Bottleneck–First OS-Window Program and an Audited E5-min/v1.3 Witness Interface (Packet r10)

# Overview This record releases **Yang–Mills Mass Gap v9. 8r2** together with a **sealed minimal witness packet (r10, no-TeX) **. The project is organized as a *bottleneck-first* program: the proof is reduced to a small number ofexplicit “PASS conditions” (a public proof interface), and the decisive remaining work is to produceat least one **non-toy PASS witness instance** under that interface. **Files in this record**- Main manuscript (PDF): `YMMGᵥ9. 8r2. pdf`- Sealed minimal witness packet (ZIP, no-TeX): `YMMGᵥ9. 8ₚktᵣ10ₙoTeX. zip` # What is new in v9. 8r2 (and packet r10) - **E5-min interface upgrade to v1. 3. ** The report schema is pinned to a public interface id `E5-min/v1. 3` (report schema `e5-min-report/v1. 3`), including explicit mode separation: `demoₛynthetic` vs `simulation` vs `realdata`. - **BT-10 continuation formalized. ** The manuscript introduces a continuation blueprint: a single anchor PASS witness can be transported to a target parameter box PB⋆ along a certified path using an explicit Lipschitz envelope bound. - **Strict simulation / instantiation bridge scaffolding. ** Appendix H. 9. 4 specifies a non-toy instantiation bridge (e. g. , `pbᵢnstantiationᵣeport. json`) and a stricter audit profile intended to fail unless a real (simulation or real-data) witness is supplied. - **TCB tightening direction. ** The packet is designed so that verification can be executed mechanically and deterministically (hash-bound inputs, schema checks, re-computation checks), with an optional independent verifier. # Proof interface (high-level) The program isolates the decisive remaining bottleneck as an auditable inequality package (“E5-min”). Informally, the intended implication chain is: 1) **E5-min PASS** ⇒ a verified strictly-positive variance lower bound \ _ (t₀) ₀ > 0, \ for a fixed reference flow-time \ (t₀>0\) inside an OS window. 2) Together with OS-window stability and exchange principles, this promotes to a uniform spectral gap, i. e. a **mass gap** in the target regime. The current public release emphasizes the *interface completeness* and *bottleneck identification*: the next milestone is a single non-toy PASS witness instance under `mode = simulation` or `mode = realdata`. # Reproducibility (packet) Unzip the sealed packet and run the mechanical auditor on the bundled demo report: - Unzip: `unzip YMMGᵥ9. 8ₚktᵣ10ₙoTeX. zip`- Audit (demo profile): `python3 -B scripts/auditₐll. py --packetᵣoot. --report results/e5ₘinᵣeport. json --profile demo` Notes: - The included report is a **demoₛynthetic** witness intended to validate the interface and audit pipeline. - The **strictₛimulation** profile is expected to FAIL until a real witness (simulation or real-data) and its provenance are supplied and bound into the packet. # Scope Osterwalder–Schrader axioms; reflection positivity; OS window; log-Sobolev inequality;functional-analytic stability; certified computation; reproducible proof artifacts; continuation method.