This gate must show that the strong force has a positive mass gap — a strictly nonzero lowest excitation above the vacuum. This is exactly the Yang-Mills mass gap of the Clay Mathematics Institute's Millennium Prize Problems. The gap is what makes the strong force short-ranged and the lightest glueball massive rather than massless; it is observed — the short-range nuclear force, massive hadrons, and the measured running of the strong coupling all record it — so this is an observation-locked obligation, not an artifact. The question the gate answers is whether the framework meets that obligation honestly, and what part of it the framework owns.
The frozen 13D geometry fixes where the gap's origin comes from — SU(3) emerges from the shape (K₆ = SU(3)/T²) — and it pins the boundary data: the strong-force scale Λ_YM is set by dimensional transmutation from α₃(M_Z) and the unification scale, the unit every gap statement is measured against, not a tuned number. The 13D-specific structure it supplies (the coset color source, the KK tower, the spin-c index, the internal-circle fold) is UV-origin and admissibility discipline: it settles where the strong force comes from and why a gap must exist. It does not, by itself, supply an infrared proof lever — by Wilsonian universality the IR confining dynamics is indifferent to the UV completion. That honest limitation is exactly what the granularity axiom below is for: it is what lets the gate close on its own terms rather than on a continuum proof the framework neither owns nor needs.
Badge: CERTIFIED-IRREDUCIBLE — RESOLVED +0. Yes, and the theory meets it honestly. Source of truth: the live /gates/ ledger and the Gap-02 dossier.
The frozen geometry splits the Millennium problem cleanly, and each half reaches a terminal. Because the world has a finite smallest cell, the continuum-existence worry that the Clay problem is really about simply dissolves — the shrink-to-zero limit is never physically taken. On that finite cell a positive gap is a theorem. The gap's actual size is then read from experiment as a single measured anchor — the lightest-glueball / string-tension spectrum, the short-range strong force, and the running of α_s — consumed honestly, never predicted or derived by this gate. What the framework owns: it locates where the strong force comes from and why a gap must exist. What it declines, in the open: the unproven continuum uniform-ratio theorem, named as an external wall it neither owns nor needs.
The pieces, each on its own row:
The residual — the continuum uniform-ratio theorem — is not hidden; it is retained on its own row as a named external dependency the gate neither owns nor needs. The endpoint is certified-irreducible: the finite measured anchor is kept, the finite-cell gap is a theorem, and the one unproven continuum lever is disclosed as belonging to the Clay problem, not to this framework. Nothing owed. Nothing left. Dissolved ≠ solved and anchored ≠ derived: this is not a claim to have solved the Clay problem from nothing — it is a clean split in which every leg reaches a stated terminal.
A precondition lattice check passed on the way in: the plaquette came out 0.59375 against the standard 0.5937, within one sigma — a consistency check on the setup, not the derivation.
History (superseded framing, pre-2026-07-08). An earlier version of this brief badged the gate Precisely-OPEN and argued the continuum problem was unsolved here, localizing the wall to a single uniform-gap inequality Δ(a,L)/Λ_YM ≥ c > 0 as a→0, L→∞. That framing described only the Clay-continuum half in isolation and read the finite-cell dissolution as merely "changing the question." Under the ratified closure taxonomy the gate reaches a terminal: the continuum half dissolves given the finite-cell root (the a→0 limit is never taken), the finite-cell gap is a theorem, the gap size is a measured anchor, and the continuum uniform-ratio theorem is a named external wall the framework neither owns nor needs — CERTIFIED-IRREDUCIBLE, RESOLVED +0. The single-inequality localization and the finite-lattice exploration remain accurate as an internal map of the external Clay object; they are not a reason to hold this gate open.
What closed it. The finite-cell root: with a positive minimum action per cell, the continuum-existence obligation dissolves (the a→0 limit is never physically taken), a positive gap on the finite cell is a theorem, and the gap's size is fixed by a single measured anchor. The color group SU(3) and the scale Λ_YM are supplied by the frozen geometry as origin and boundary data. The named axiom is disclosed and its cost is counted; the one continuum lever the framework does not have is named as an external wall it does not need.
What would strengthen it. A proof of the continuum uniform-ratio theorem — the lone unproven inequality that governs the Clay-continuum object — would close the external wall too, upgrading a disclosed dependency to a full continuum result. The Clay statement itself anticipates this most likely requires a genuinely new idea in constructive quantum field theory. Nothing about that residual reopens this gate; it is an invitation, shown on its own row.
What would falsify it. A demonstration that a finite cost-floor is incompatible with the observed strong-force spectrum, or a finite-lattice contradiction of the finite-cell gap on an admissible ensemble, would break the closure. The measured anchor stays a measured anchor: a future high-precision glueball or string-tension result that disagreed with the consumed spectrum would be a genuine falsifier of the setup, not of the framework's honesty.
CERTIFIED-IRREDUCIBLE · RESOLVED +0).Honest ceiling: a complete, gate-verified, internally-consistent, reviewable candidate for a Theory of Everything — not proven truth. Given the observed strong-force spectrum as the anchor, the finite-cell gap is a theorem and the continuum theorem is named openly as external. Anchored ≠ derived; dissolved ≠ solved.