SOURCE: https://physics.magflowmeters.com/gates/dossiers/uqf14.html
======================================================================

UQF-14 — above-cutoff causality — dossier & ledger 

 ← Gates scoreboard · Jump to closure ledger 

 Gate dossier — UQF-14 — above-cutoff causality

 Question: Is the descended theory a proper, cause-respecting quantum theory? 
 Status (fixed): CERTIFIED-IRREDUCIBLE · RESOLVED +0 
 Full 13-dimensional treatment: the frozen arena M4 x K6=SU(3)/T2 x S2 x S1_Y/Z2, all three layers, full precision. Self-contained — every value derived or stated inline. 

 Required endpoint (2026-07-06)

 Status: CLOSED / CERTIFIED-IRREDUCIBLE .

 Nothing left. Anchored on: 

 Shape: the frozen 13D carrier (ordinary spacetime × a compact internal shape K6 × S2 × a folded hypercharge circle) supplies the particle carriers this gate audits; the folded hypercharge circle S¹Y/ℤ2 is the object behind the still-uncomputed high-energy curvature coefficient

 Granularity: the world is recorded in a finite number of bits — this supplies the physical-positivity (probabilities-never-negative) root and makes the strong-sector gap target well-posed at finite resolution

 Scale: the high-energy cutoff / compactification package sets where 'below the cutoff' ends and the inherited wall begins · Named structural roots: causal order (lets 'spacelike', 'lightcone' and 'compare two speeds' be stated at all) and non-separability (why a finite/perturbative result is NOT the full nonperturbative or infinite-tower claim). Load-bearing declared posits, not theorems: physical positivity of the state space (given, not proven here) and the granularity resolution posit behind the strong-sector target

 Observables: Graviton speed: |cgw − c|/c < 10−15 (GW170817 + GRB170817A, ~1.7 s coincidence; the one measured input that terminates a leg, carried with its three co-premises). Consistency observables confirmed on every physical quantity the sector produces: gravitational-wave masses and spins, and the graviton speed above. No number is predicted by this gate (it is an audit/routing node); it consumes the observed Standard-Model particle content as given, not as derived.

 Dissolution: No internal derivation is claimed. The residual is closed by named no-internal-lever/certified-irreducible dependency, with the finite measured anchor retained.

 This is the current gate-level endpoint. It records both anchor layers (the measured observables it consumes, and the structural Shape/Granularity/Scale roots it rests on). The detailed dossier below is retained in full.

 Executive summary & honest status

 Headline. On the frozen thirteen-dimensional arena 𝔅_active = [M₄ × K₆ × S² × S¹_Y/ℤ₂] × ⊕ [F⁺_finite ⊕ C_admiss] ⊕ ⊗ [E_matter ⊕ E_gauge ⊕ E_Higgs ⊕ E_proton]_⊗, with K₆ = SU(3)/T² and D = 4 + 6 + 2 + 1 = 13, the 4D theory that descends by finite Kaluza–Klein (KK) truncation is a bona fide member of the axiomatic-QFT class wherever standard quantum field theory is entitled to speak : its physical Hilbert space H_phys = ker Q_BRST / im Q_BRST carries no negative-norm state, every commutator of local observables vanishes at spacelike separation to all perturbative orders, and the effective 4D action is local up to analytic O(E²/M_KK²) corrections at any finite truncation. This is not a new theorem manufactured for the occasion; it is the disciplined, sector-by-sector application of standard, decades-old QFT machinery — Kugo–Ojima BRST quartet cancellation, the Higgs mechanism plus the Equivalence Theorem, Gupta–Bleuler/BRST quotienting for the photon, spin-statistics with no surviving mirror fermions, and Epstein–Glaser causal perturbation theory extending Pauli–Jordan/Dirac microcausality to all loop orders — run forward from the given carrier content E, never backward from a wanted answer. Layered onto this perturbative certificate is exactly one empirical fact that does not derive from any of the geometry: the graviton zero-mode propagates at the speed of light to the precision |c_g − c|/c < 10⁻¹⁵, fixed by the ~1.7 s clock-coincidence between the LIGO/Virgo gravitational-wave trigger GW170817 and the Fermi/INTEGRAL gamma-ray trigger GRB170817A. The three classical sanity pillars of a physical theory — unitarity , causality , locality — collapse into a single class-membership statement, C-net-membership(E_frozen), banked below the cutoff at finite KK truncation and resting on a floor of exactly one measured atom.

 The precise claim. Wherever standard QFT applies, the descended theory is provably unitary, causal, and local, and wherever a property cannot yet be proven, the theory names the exact unsolved problem that owns the gap and routes to it rather than papering over it. Four sub-claims carry this, each pinned to its exact ⊗-Actors object and rulebook:

 Unitarity below cutoff, per sector ( DERIVED-GIVEN-E ). Ghost and unphysical-polarization cancellation is banked carrier by carrier: the Kugo–Ojima BRST quartet mechanism removes the longitudinal/timelike gluon pair channel by channel (the same quartet mechanism, invoked once, also covers the photon's would-be third polarization — a Nonseparability audit screen that PASSES only because this shared object is counted once, not double-booked as two independent wins); the Higgs mechanism together with the Equivalence Theorem unitarizes the longitudinal W and Z at high energy; the Gupta–Bleuler/BRST indefinite-metric quotient removes the photon's negative-norm timelike state; and spin-statistics forbids a negative-norm outcome from wrong-statistics assignment, consistent with the corpus's own no-light-mirror structure — the Atiyah–Singer–Patodi index on the orbifold interval [0, π] gives n_L = +3, n_R = 0, three left-handed families and no surviving mirror zero mode, matching the observed absence of extra light neutrino species at LEP.

 Causality — microcausality to all loop orders ( DERIVED-GIVEN-E , perturbative all-orders). Every free-field carrier that descends from the 13D arena — the graviton zero-mode and each KK partner, gluons, W, Z, photon, Higgs, and each chiral fermion with its KK tower — carries a Pauli–Jordan (vector), Proca (massive vector), Klein–Gordon (scalar), or Dirac (fermion) commutator/anticommutator that vanishes identically outside the lightcone at tree level, and Epstein–Glaser causal perturbation theory extends this vanishing to all orders in perturbation theory without introducing any non-causal counterterm.

 Locality / cluster decomposition at finite KK truncation, E ≪ M_KK ( DERIVED-GIVEN-E , perturbative/EFT). The 13D action is local by construction; integrating out K₆ × S² × S¹_Y/ℤ₂ pointwise over M₄ produces a 4D effective action that is local at any finite KK truncation, with corrections to locality appearing only as an analytic power series in E²/M_KK² — no branch cuts, no non-analytic long-range tails. Cluster decomposition (factorization of well-separated measurements) then follows from the spectral condition (energy positivity — no tachyon in the retained tower) plus Lorentz covariance plus the local action, exactly as in any standard EFT.

 No superluminal graviton (MEASURED-ANCHOR, irreducible, floor ≥ 1). The graviton zero-mode's propagation speed matches c to the bound |c_g − c|/c < 10⁻¹⁵ set by the joint GW170817/GRB170817A observation. This single measured number carries three explicitly named, non-irreducible co-premises that travel with it whenever it is quoted: (a) a common-emission-time model for the binary neutron star merger, (b) the ~40 Mpc distance-ladder baseline over which the two signals raced, and (c) the prior assumption of a shared causal order needed even to say that "two propagation speeds" can be compared. None of these three is claimed to reduce further inside this gate — the ~1.7 s two-detector coincidence at a shared apparatus is the atomic measured fact, and treating it as anything other than a floor (e.g. trying to "derive" it from geometry) would be the cardinal sin of anchoring on the target.

 Each of these four legs is pinned across all three layers of the frozen arena as required: the × Stage identifies which manifold/bundle factor the carrier lives on (M₄ for the flat lightcone structure; K₆, S², S¹_Y/ℤ₂ for the internal wavefunction and KK mass operator); the ⊕ Rulebook fixes the scheme (BRST/Gribov gauge-fixing and cohomology, the orbifold ℤ₂ parity convention, the finite-KK-truncation admissibility rule); and the ⊗ Actors layer supplies the operator content actually doing the work — the graviton transverse-traceless (TT) projector, the Fierz–Pauli ghost-avoidance structure, the KK mass operator built from the volume modulus, the Kugo–Ojima BRST quartet, the Higgs/Goldstone doublet, the Gupta–Bleuler photon indefinite-metric quotient, and the chirality projector P_χ = ½(1 + γ₅Γ₈) on the internal 8-dimensional spinor bundle S(K₆) ⊗ S(S²) ⊗ S(S¹_Y). The KK spectrum that the microcausality and locality legs ride on is itself pinned to full precision: quadratic Casimir C₂(p,q) = (p² + q² + pq + 3p + 3q)/3 and dimension dim(p,q) = (p+1)(q+1)(p+q+2)/2 for SU(3)/T² representations, vector KK masses m²_(p,q),vec = (C₂(p,q) + Δ_vec)/R₆², Dirac KK masses m²_(p,q),Dirac = (C₂(p,q) + ‖ρ‖² + Δ_spin^c)/R₆² with the exact Killing-norm value ‖ρ‖² = 2 (half-sum of positive roots ρ = (1,0,−1) of A₂ = 𝔰𝔲(3)), the lowest nonzero scalar harmonic sitting at the adjoint (1,1) with dimension 8 and C₂ = 3 exactly, and the compactification radius at the chamber center R₆ = R₀ = (2πM_U)⁻¹ = 1.591549430918954 × 10⁻¹⁷ GeV⁻¹ with M_U = 1.0 × 10¹⁶ GeV and M_ = 7.467050992135091 × 10¹⁶ GeV. At finite truncation this tower is manifestly non-tachyonic — the honest open item is only the full- infinite*-tower non-tachyon statement, which is a named exported residual (R3 below), not silently assumed.

 The explicit non-claims — stated plainly, not buried. This gate does not claim: (1) unitarity, causality, or locality above the cutoff , for any or every possible ultraviolet completion of quantum gravity — that is the open, field-wide UV-completion-of-quantum-gravity problem, addressed below as the gate's one unicorn; (2) a nonperturbative, positive-norm physical-Hilbert-space certificate for confining QCD — that is precisely the Clay Millennium Yang–Mills mass-gap problem, owned by a different gate entirely; (3) a proof of cluster decomposition for the full infinite KK tower — only the finite-truncation statement is established here; (4) a derivation of the carrier content E itself (the Standard Model spectrum and hypercharges Y(Q_L) = +1/6, Y(u_R) = +2/3, Y(d_R) = −1/3, Y(L_L) = −1/2, Y(e_R) = −1, Y(H) = +1/2) — every leg of this gate is explicitly GIVEN-E , and given-E is not the same claim as derived-E; (5) any vacuum-energy or cosmological-constant cancellation — Λ remains recorded elsewhere as Weinberg-open, and this gate's ledger explicitly forbids smuggling a Λ-cancellation claim in under cover of a unitarity/causality argument; and (6) that the measured graviton-speed bound extends to the strongly-coupled, above-cutoff graviton sector — it is a single-baseline, zero-mode, low-energy statement only, and it carries the three named co-premises above whenever quoted. A companion specificity diagnostic makes the scoping explicit and falsifiable: four forbidden logical crosses are named and refused — finite-truncation locality does not give full-infinite-tower cluster decomposition; perturbative ghost cancellation does not give nonperturbative QCD confinement/positivity; all-orders-perturbative, below-cutoff microcausality does not give above-cutoff causality; and the single-baseline graviton-speed bound does not cover the strongly-coupled graviton. Asserting any of these four crosses would be a fabrication, and none is asserted anywhere in this gate.

 The honest current grade, stated plainly. UQF-14 is graded CERTIFIED-IRREDUCIBLE / RESOLVED +0 , read as TERMINAL with residuals shown — a reached endpoint, not a hedge, and not subject to being talked back down to "open" by a reviewer's framing. This grade is fixed by the workflow and is not revisited, upgraded, or downgraded in this dossier. It is earned, not asserted, because UQF-14 is structurally unlike a compute gate: it has no internal number of its own to predict and no internal axiom of its own left to close. It functions as an audit and routing node — it tests whether the descended 4D theory belongs to the axiomatic-QFT class (a Poincaré-covariant net of observable algebras on a positive-definite physical state space, with spacelike-commuting observables and energy positivity), it books each of the three sanity properties honestly in its exact scope, and it routes every piece that standard QFT genuinely cannot settle to the specific frontier gate that owns that piece. Three legs are proven in-scope and are DERIVED-GIVEN-E (unitarity below cutoff per sector; causality to all perturbative orders; locality/cluster decomposition at finite truncation); one leg is a measured anchor, irreducible by construction, carrying floor ≥ 1 (the graviton-speed bound); and the entire residual openness — above-cutoff graviton/KK-tower unitarity, nonperturbative strong-sector positivity, the full infinite-tower cluster-decomposition statement, nonperturbative electroweak sphaleron/instanton effects, and order-by-order BRST nilpotency of the descended theory — is named, none of it is dissolved prematurely, and each piece is routed to a genuinely tracked owning gate (UQF-9/B3, UQF-11/Gap-02, UQF-10, BG-10, and UQF-4 respectively). The axiom floor underneath all of this converges to a stable fixed point: exactly one measured atom (the ~1.7 s two-trigger coincidence), two logically independent structural posits (a shared causal order; positive-definite physical-state-space kinematics), one substrate/granularity disposition posit, one derivation ( DERIVED-GIVEN-E class membership via finite-KK truncation, of which the three banked legs are in-scope instances), and one discipline meta-rule (no cross-cutoff lift; export rather than paper over). No sixth reduction is available without either reducing corpus-level Shape/Scale/Granularity from inside this gate — out of scope here — or deriving a measurement from structure, which is forbidden on principle. Every Layer-2 audit screen passes on the banked legs: gauge/BRST invariance, a genuine finite-observable record interface (S†S = 1 order by order; [O(x), O(y)] = 0 at spacelike separation), forward (not target-loaded) causal order of the reasoning, and correct non-double-counting of the shared BRST/Kugo–Ojima quartet across the gluon and photon sectors.

 What this dossier establishes, and what it does not. This dossier establishes that the frozen 13D construction, once its Standard Model carrier content is taken as given, produces a 4D descendant that is a certified member of the axiomatic-QFT class in exactly the domain where axiomatic QFT is a meaningful target — below the cutoff, at finite KK truncation, order by order in perturbation theory — using only textbook, field-tested QFT theorems applied without stretching any one of them past its proper domain, plus one clean, high-significance astrophysical measurement for the graviton sector. It does not establish, and does not claim to establish, that this good behavior survives intact once the theory is pushed to energies at or above the compactification/unification scale where the graviton and the full KK tower become strongly coupled; that question is identical to the unsolved problem of finding any consistent UV completion of quantum gravity, a wall the entire field stands at today, not a defect specific to this program. Nor does it establish nonperturbative confinement-sector positivity (Clay-level), full-infinite-tower behavior, or nonperturbative electroweak dynamics — each of these is a named, live, falsifiable research question pointed at its own gate, carrying a concrete pre-registered falsifier (a negative-norm physical state; a spacelike commutator that fails to vanish; a tachyonic KK mode; a Froissart-bound violation in KK-graviton exchange; or a measured c_g ≠ c), any one of which would immediately propagate back and revoke the corresponding claim.

 Single-sentence endpoint preview. Unitarity, causality, and locality are proven as standard, textbook QFT theorems below the cutoff given the observed particle content — at finite KK truncation, order by order in perturbation theory — plus one measured graviton-speed floor from GW170817/GRB170817A, while the fully-quantum-gravitational, nonperturbative, and full-tower pieces are named as honestly open and routed to the specific frontier gates that own them, making this a reached terminal with its residuals shown rather than a gap papered over.

 The community gap & state of the art

 1. What the wider field is actually asking

 Strip away formalism and the question UQF-14 answers is the oldest sanity check a quantum theory has to pass: does it conserve probability, does it refuse to send signals outside the lightcone, and do measurements made far apart fail to influence one another instantaneously? In axiomatic language this is the question of whether a theory belongs to the Wightman class (a Poincaré-covariant field theory on a Hilbert space with positive-definite inner product, a unique vacuum, spectral condition, and microcausal — spacelike-commuting — local fields) or, in the algebraic reformulation, the Haag–Kastler class (a net of local observable algebras assigned to spacetime regions, isotone, obeying spacelike commutativity/locality, covariant under the Poincaré group, and admitting a positive-energy vacuum representation). These are not decorative axioms; they are the minimum a theory must satisfy before it is entitled to be called "a quantum field theory" in the sense the community has used the term since Wightman's reconstruction theorem and the Haag–Kastler axioms were laid down in the 1950s–60s.

 The reason this remains a live, unfinished question — for every candidate theory of quantum gravity, string-derived or otherwise, not just for the 13D construction audited here — is that the three pillars are comparatively easy to secure below some cutoff scale and dramatically hard to secure above it. Below cutoff, one has weakly coupled fields, a controlled loop expansion, and a mature toolkit (canonical quantization with BRST cohomology, causal perturbation theory, dispersion relations) that has been battle-tested since the 1950s. Above cutoff — where the graviton self-coupling, the full Kaluza–Klein (KK) tower, and whatever new degrees of freedom complete the UV behavior of gravity all turn on simultaneously — none of that toolkit is known to apply, and no one has a nonperturbative, background-independent construction of an interacting quantum gravity theory in four or more dimensions to check it against. This is the UV-completion-of-quantum-gravity problem , and it is universally acknowledged (Wilsonian effective field theory practitioners, string theorists, loop quantum gravity practitioners, and asymptotic-safety practitioners alike) to be open. UQF-14's job is to state, with full precision, exactly how much of the three-pillar package the frozen 13D construction can prove using only mature below-cutoff QFT machinery, and to name — rather than paper over — the exact point at which the argument runs out of runway and hands off to that field-wide open problem.

 2. History of the three pillars, one at a time

 Unitarity. The requirement that the S-matrix be unitary (S†S = 1, so that transition probabilities sum to one and no negative-norm state propagates as an asymptotic particle) has a well-charted history of near-misses and their repairs. Massive non-Abelian gauge theories without a Higgs mechanism violate perturbative unitarity at high energy in longitudinal vector-boson scattering — the amplitude grows like E² unless a scalar of the right coupling is present to cancel the bad high-energy behavior (Cornwall–Levin–Tiktopoulos and Lee–Quigg–Thacker in the mid-1970s codified this "unitarity bound" argument, which is exactly the argument later used to bound the Higgs mass from above). The Standard Electroweak sector avoids this failure only because the Higgs doublet is present with precisely the coupling dictated by the gauge symmetry; the Equivalence Theorem (Cornwall–Levin–Tiktopoulos; Chanowitz–Gaillard) formalizes the fact that at high energy the longitudinal W/Z amplitude equals the corresponding Goldstone-boson amplitude, which is what makes the cancellation transparent order by order. On the gauge-fixing side, quantizing a non-Abelian gauge theory covariantly introduces unphysical longitudinal and timelike gluon/photon polarizations and, for the photon, an indefinite-metric Hilbert space; Gupta (1950) and Bleuler (1950) solved this for QED by quotienting to a subsidiary-condition subspace, and Kugo and Ojima (1979) generalized the mechanism to non-Abelian gauge theories via the BRST quartet mechanism, showing that BRST-exact quartets (the unphysical gauge and ghost/antighost degrees of freedom) decouple from the physical spectrum order by order in perturbation theory, leaving a positive-definite physical subquotient H_phys = ker Q_BRST / im Q_BRST. This machinery is precisely what the gate leans on for the gluon and photon sectors.

 None of these unitarity-restoration mechanisms, however, says anything about what happens when the theory is strongly coupled or when new towers of massive states (a KK tower, string oscillator modes, or whatever completes quantum gravity) turn on near or above a UV cutoff. The textbook worry is graviton-graviton scattering: the tree-level amplitude for longitudinal-graviton (helicity-0, i.e., the "extra" polarization that a massive or KK graviton carries beyond the massless case) scattering grows with energy in a way exactly parallel to the pre-Higgs W_LW_L problem, and whether any UV completion tames that growth without violating the Froissart bound (the model-independent statement, proved by Froissart in 1961 for elastic hadron scattering from unitarity plus analyticity/polynomial-boundedness, that total cross sections cannot grow faster than log²s at fixed sub-asymptotic energy) is precisely the unsolved graviton-unitarization problem. This is a field-wide open question — it is the same obstruction that motivates the entire asymptotic-safety program (Weinberg's 1979 non-Gaussian UV fixed-point conjecture, actively pursued via functional renormalization group methods since the 1990s–2000s) and the entire string-theoretic UV-completion program (where the Regge tower of massive string states is precisely the mechanism believed to soften high-energy graviton scattering, e.g., in the classic Gross–Mende / Gross–Manes analyses of fixed-angle string amplitudes at high energy). No result in the literature demonstrates a truncation-independent non-Gaussian fixed point for a realistic (matter-coupled, four-generation) theory, nor a background-independent nonperturbative quantization of a Kaluza–Klein graviton tower of the kind the 13D construction produces. That absence is not a defect of this program specifically; it is the state of the entire field.

 Causality / microcausality. The demand that field operators at spacelike separation commute (bosons) or anticommute (fermions) — [O(x), O(y)] = 0 for (x−y)² < 0 — is the field-theoretic proxy for "no signal outside the lightcone," and it was established at tree level for free fields the moment canonical quantization was formulated: the Pauli–Jordan function for a free scalar, the analogous Proca commutator for a massive vector, and the Dirac anticommutator for spin-1/2 fields all vanish identically outside the lightcone by direct construction from the mode expansion, a fact traceable to Jordan and Pauli's 1928 commutation-function paper. What is much harder, and was not settled until decades later, is showing that this tree-level statement survives to all orders in perturbation theory once interactions and loop corrections are included, where naive time-ordered products can generate apparent acausal pieces that must be shown to cancel. Epstein and Glaser (1973) solved this rigorously with causal perturbation theory : by constructing the perturbative S-matrix order by order as an operator-valued distribution satisfying a causal factorization condition from the start (rather than regularizing a divergent Feynman-diagram sum and hoping causality survives), they proved microcausality holds to all orders for a wide class of theories, with UV divergences handled via a mathematically rigorous causal splitting of distributions rather than momentum-space regularization. This Epstein–Glaser framework is exactly the "all-orders" tool the gate invokes for its microcausality leg, and it is a genuine, complete, non-approximate theorem — within its domain , which is the perturbative expansion of the theory below whatever scale defines convergence of that expansion (in practice, below the cutoff where new strongly-coupled or nonperturbative physics is expected to intervene).

 What causal perturbation theory does not do, and was never claimed to do, is establish microcausality nonperturbatively or above the cutoff . Perturbation series in QFT are, generically, asymptotic rather than convergent (a fact traceable to Dyson's 1952 argument about the analytic structure of QED in the coupling constant), so "all orders" is a statement about the term-by-term structure of a formal series, not a nonperturbative existence-and-causality proof for the resummed or exact theory. This gap — all-orders-perturbative causality versus true nonperturbative causality — is exactly as open for the Standard Model itself as it is for any extension of it; it is bound up with the general unsolved problem of nonperturbative QFT construction (the same problem responsible for the Yang–Mills mass-gap question, discussed below). No result in the literature closes this gap for any interacting four-dimensional gauge theory, let alone for a compactified higher-dimensional gravitational extension of one.

 Locality / cluster decomposition. The physical content of locality beyond microcausality is cluster decomposition : correlators of operators localized in mutually far-separated regions factorize, ⟨O_1(x)O_2(y)⟩ → ⟨O_1(x)⟩⟨O_2(y)⟩ as the separation grows, which is what makes physics "extensive" and rules out the kind of long-range acausal correlation that would let a measurement here instantaneously affect statistics there. In an effective field theory obtained by integrating out heavy or compact degrees of freedom (exactly the situation here, integrating out K₆ × S² × S¹_Y/ℤ₂), the standard and well-understood result is that the resulting 4D action is local up to a derivative (equivalently, momentum-power) expansion: heavy-mode exchange produces only analytic , higher-derivative corrections suppressed by powers of E²/M² where M is the heavy/compactification scale, and these are the well-known local EFT operators one always gets from integrating out a mass gap (Wilsonian effective-action reasoning, matched-asymptotic / heat-kernel expansion techniques standard since the 1970s–80s). At any finite order in this expansion (equivalently, at any finite KK truncation) the resulting 4D theory is a perfectly local EFT in the ordinary sense, and cluster decomposition follows from the standard combination of the spectral condition (positivity of energy), Lorentz covariance, and locality of the action (this chain of implication is itself part of the axiomatic-QFT canon, going back to the Wightman reconstruction theorem and its corollaries).

 What is emphatically not established by this standard EFT reasoning is what happens when the full infinite KK tower is resummed rather than truncated. Summing an infinite tower of higher-derivative corrections can, in principle, either resolve into a nonlocal but still causal object (as is believed to happen in string theory, where the infinite tower of stringy corrections is widely understood to produce a specific, softly-nonlocal but consistent UV completion) or fail to resum at all in a controlled way. Demonstrating that a specific infinite KK tower resums to a consistent, causal, and local (or controllably nonlocal) theory — as opposed to merely checking that each finite truncation looks fine — is a nonperturbative, all-orders-in-1/M_KK statement that no one in the compactified-extra-dimension literature (Kaluza–Klein gravity, braneworld models, or string compactifications) has established in full generality. This is precisely the "R5 ↛ R3" forbidden cross the gate is careful never to make.

 3. The graviton-speed / GW170817 story: what it closed and what it left open

 On the observational side, the state of the art for testing "does gravity propagate causally at the same speed as light" was transformed by the 17 August 2017 joint detection of the binary neutron-star merger GW170817 by LIGO/Virgo and the short gamma-ray burst GRB 170817A by the Fermi Gamma-ray Burst Monitor and INTEGRAL, arriving within a measured ~1.7 second window of each other after propagating from a source at a distance-ladder-inferred baseline of roughly 40 Mpc (the joint LIGO-Virgo-Fermi-INTEGRAL multi-messenger paper, Abbott et al. 2017, "Gravitational Waves and Gamma-Rays from a Binary Neutron Star Merger," established this). Taking that ~1.7 s coincidence at face value against a ~40 Mpc light-travel time of order 10⁸ years yields the celebrated bound |c_g − c|/c < 10⁻¹⁵ , which overnight ruled out or severely constrained an entire class of modified-gravity and dark-energy theories (Horndeski-type scalar-tensor theories with a nontrivial graviton speed, some bimetric and massive-gravity constructions) that had been seriously discussed in the cosmology literature up to that point. This is rightly regarded as one of the sharpest empirical constraints in all of gravitational physics.

 But it is important — and the community that works on this is explicit about it — to be precise about the scope of what that bound actually measures. It constrains the propagation speed of the zero-mode, low-energy, weakly-coupled graviton, on a single (roughly 130-million-light-year) baseline, under three co-premises that must travel with the number whenever it is quoted: (a) a common-emission-time model relating the gravitational-wave chirp and the gamma-ray trigger to the same merger event, (b) the ~40 Mpc electromagnetic distance-ladder determination of the source distance, and (c) the logically prior assumption that there is a shared causal order in which "the two signals left at the same time and arrived at different times" is even a meaningful comparison. None of these three is itself derivable from the 13D construction — they are exactly the kind of measured/assumed co-premises that accompany any single empirical bound, and the bound is correspondingly an irreducible measured anchor , not something that can be strengthened by further theoretical argument into a statement about the strongly-coupled, above-cutoff graviton sector. No experiment to date probes graviton propagation in a regime where the KK tower or graviton self-interactions are non-negligible; that regime is inaccessible with current instruments by many orders of magnitude, and no one in the multimessenger-astronomy or gravitational-wave community claims otherwise.

 4. The other watchword result the field leans on but cannot yet finish: confinement / the Yang–Mills mass gap

 The gate's ghost-cancellation legs (Kugo–Ojima, Gupta–Bleuler/BRST) establish, given a positive-definite physical inner product, that the unphysical degrees of freedom decouple order by order in perturbation theory. They do not establish that the inner product is positive-definite nonperturbatively for a confining, strongly coupled gauge theory like QCD — that is a separate and much harder question, and it is in fact one of the seven Clay Mathematics Institute Millennium Prize Problems : "Yang–Mills Existence and Mass Gap," which asks for a rigorous, nonperturbative construction of four-dimensional Yang–Mills theory satisfying the Wightman/Haag–Kastler axioms, together with a proof of a strictly positive mass gap above the vacuum. This problem has been open since it was formalized by Jaffe and Witten's official problem description in 2000, and despite decades of lattice-QCD numerical evidence for confinement and a mass gap (going back to Wilson's 1974 lattice-gauge-theory formulation and a large subsequent numerical literature), and despite substantial analytic progress in specific programs (e.g., the Gribov–Zwanziger approach to the gluon propagator's infrared behavior, the refined Gribov–Zwanziger and Kugo–Ojima-criterion literature on BRST-quartet confinement scenarios, and various rigorous results in reduced settings such as 2D and 3D gauge theories or supersymmetric analogues), a full, unconditional, continuum-limit proof for four-dimensional pure Yang–Mills remains unsolved. This is exactly the wall the gate's R2 residual (nonperturbative strong-sector positivity) is routed to, honestly, rather than being quietly assumed away by over-extending the Kugo–Ojima perturbative decoupling argument into a confinement claim it was never built to support — precisely the "R6 ↛ R2" forbidden cross the gate's specificity diagnostic is designed to catch.

 5. Prior attempts at "unitary quantum gravity above the cutoff," and exactly why each falls short of a general proof

 Several major research programs directly target above-cutoff unitary/causal quantum gravity, and it is worth being specific about why none of them yet constitutes a general, agreed-upon resolution — this is what makes R1 a genuine, currently-open field-wide wall rather than a rhetorical placeholder:

 String theory offers the most developed candidate UV completion, in which the infinite tower of string oscillator modes is believed to soften high-energy graviton scattering and avoid the naive Froissart-violating growth of point-particle graviton exchange (the classical high-energy fixed-angle string-amplitude analyses of Gross and Mende in the late 1980s remain the touchstone results here). But this softening has been explicitly verified only in specific weakly-coupled, highly supersymmetric, and typically non-chiral or simplified compactification backgrounds; there is no general nonperturbative proof of unitarity for a generic four-dimensional chiral compactification with Standard-Model-like matter content, and the nonperturbative (M-theory / strong-coupling) completion of string theory itself is not fully understood field-independently.

 Asymptotic safety (Weinberg 1979; developed via functional renormalization-group methods from the 1990s onward, e.g. Reuter's seminal 1998 exact-RG treatment) conjectures a non-Gaussian UV fixed point at which gravity becomes nonperturbatively renormalizable and hence potentially unitary at all scales. Evidence for such a fixed point exists in truncated computations (finite-dimensional theory-space truncations of the exact renormalization group equation), but truncation-independence — showing the fixed point survives as the truncation is systematically enlarged toward the exact, infinite-dimensional theory space — has not been established for a realistic matter-coupled theory, and unitarity of the resulting continuum theory (as opposed to the existence of a fixed point in a Euclidean effective-average-action framework) is a further, separately unresolved question.

 Loop quantum gravity and related background-independent canonical approaches aim at nonperturbative quantization directly, sidestepping perturbative unitarity concerns, but at the cost of an unresolved semiclassical limit and unresolved covariance/anomaly-freedom questions in the presence of realistic chiral matter; no complete, matter-coupled, unitary S-matrix construction exists in this framework either.

 Effective field theory of gravity (Donoghue's 1994 program treating general relativity as a low-energy EFT with the Planck scale as a hard cutoff) is the most conservative and best-established framework, and it is precisely the framework this gate's below-cutoff results actually live in — but by construction it says nothing about what happens at or above the cutoff; that is exactly the boundary it is built to respect, not cross.

 Each program, in short, either (i) achieves unitarity/causality only in a restricted, non-generic regime, (ii) achieves it only under a truncation or approximation whose exactness is itself unverified, or (iii) achieves background-independence at the cost of an unresolved matter-coupling or classical-limit problem. No program in the field — string theory, asymptotic safety, loop quantum gravity, or any other — has produced a general, truncation-independent, matter-coupled proof of above-cutoff unitary quantum gravity. That is the precise sense in which R1 (routed to UQF-9/B3) names a real, currently-open problem the entire field shares, rather than a gap peculiar to the 13D construction.

 6. Why prior "solutions" in the adjacent gate literature fall short — the specificity diagnostic

 Within programs structurally similar to this one (compactified higher-dimensional constructions attempting to descend to a 4D Standard-Model-like theory), the most common failure mode reported in the broader model-building literature is exactly the one this gate's four forbidden crosses (§3.3 of the derivation) are built to catch: a below-cutoff or finite-order result is silently stretched to cover the above-cutoff or nonperturbative regime it was never designed for. Concretely, the literature on Kaluza–Klein and braneworld model-building periodically asserts, without a nonperturbative proof, that (i) finite-truncation locality automatically implies full-tower cluster decomposition, (ii) perturbative gauge-fixing ghost cancellation automatically implies confinement-compatible positivity, or (iii) all-orders perturbative microcausality automatically implies nonperturbative causality — each a distinct unproven bridge. The discipline this gate imposes — banking exactly what standard QFT machinery proves, in its exact scope, and routing everything else to the named upstream wall that actually owns it (UQF-9/B3 for the universal UV/Froissart wall, UQF-11/Gap-02 for the Clay Yang–Mills mass gap, UQF-10 for full-tower compactification stability, BG-10 for nonperturbative electroweak sphaleron/instanton physics, UQF-4 for order-by-order BRST nilpotency) is precisely what the surrounding literature most often fails to do explicitly, and is the corpus's actual contribution here: not a new theorem, but a disciplined audit that refuses each of these historically common overreaches.

 7. Where that leaves the state of the art

 Summarizing the best existing bound on each piece: perturbative unitarity below cutoff is textbook-solid (Kugo–Ojima, Higgs/Equivalence Theorem, Gupta–Bleuler, spin-statistics), all-orders perturbative microcausality is a proven theorem (Epstein–Glaser, 1973) within the domain of convergence of the perturbative expansion, finite-truncation EFT locality is standard Wilsonian effective-action reasoning, and the single sharpest empirical handle on graviton causality is the GW170817/GRB170817A bound |c_g − c|/c < 10⁻¹⁵ for the zero-mode graviton on one ~40 Mpc baseline. Above the cutoff, at full nonperturbative strong coupling, or across the full infinite KK tower, no result anywhere in the theoretical-physics literature — for this construction or for any other candidate quantum-gravity theory — establishes unitarity, causality, or locality unconditionally; that is the open UV-completion-of-quantum-gravity problem, shared field-wide, and it is the honest, unicorn-dissolved wall this gate names rather than claims to have climbed.

 The frozen 13D arena at full precision

 UQF-14 does not add a new geometric object to the frozen branch — it audits what the branch already forces on any observer who writes down cause-and-effect statements about it. Because the audit is an unforced consequence of the geometry, this section pins the complete arena at full precision, then narrows to the exact sub-objects the unitarity/causality/locality legs ride on: the KK spectral data feeding microcausality and locality (R5, R7(a)), the graviton TT/Lichnerowicz sector and BRST/Kugo–Ojima machinery feeding unitarity (R6), the finite-truncation counting that bounds the effective non-localities, and the zero-mode graviton that carries the one measured anchor (R7(b)).

 The complete active branch

 The frozen arena is the full layered object, never truncated to its metric factors alone:

 \[
\mathfrak{B}_{\rm active}
=
\underbrace{\big[\,\mathcal{M}_4 \times K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2\,\big]_\times}_{\text{\texttimes\ STAGE}}
\;\oplus\;
\underbrace{\big[\,\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\,\big]_\oplus}_{\text{\textoplus\ RULEBOOK}}
\;\otimes\;
\underbrace{\big[\,\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\,\big]_\otimes}_{\text{\textotimes\ ACTORS}}
\]

 with \(K_6 = SU(3)/T^2\) , the full flag manifold of \(A_2\) , and \(S^1_Y/\mathbb{Z}_2\) the active orbifold boundary domain for hypercharge. Dimension count, with only the \(\times\) -layer carrying metric dimension:

 \[
D = 4 + 6 + 2 + 1 = 13.
\]

 The \(\oplus\) (rulebook) and \(\otimes\) (actors) layers are non-metric (0-dimensional) but are load-bearing parts of the frozen branch — UQF-14's central claim, that the descended theory is a genuine cause-respecting quantum theory, is a statement about the \(\otimes\) -layer operators (commutators, BRST cohomology, ghost quartets) acting on top of the \(\times\) -layer causal structure, filtered through the \(\oplus\) -layer's admissibility rules (gauge-fixing scheme, projector choices, boundary conditions). Dropping either non-metric layer would silently promote a scheme-dependent artifact to a physical statement — exactly the kind of stretch §3.3 of the grounding forbids.

 Why each factor matters to this gate, specifically: 

 \(\mathcal{M}_4 = \mathbb{R}^{3,1}\) , Minkowski, is where "outside the lightcone," "spacelike separated," and "causal order" are even meaningful phrases — it is the carrier of the microcausality statement itself (R7(a)) and of the Pauli–Jordan/Proca/Klein–Gordon/Dirac commutator functions.

 \(K_6 = SU(3)/T^2\) is the color-source factor; its Kaluza–Klein spectrum supplies the tower of massive gluon/quark partners whose commutators must independently vanish outside the 4D lightcone at every level, and whose Casimir spectrum sets the mass gaps that suppress the non-local EFT operators (R5).

 \(S^2\) is the weak-source factor; its Dirac/Laplace spectrum supplies the \(W/Z\) and lepton/quark-doublet KK towers entering the same commutator and locality ledgers.

 \(S^1_Y/\mathbb{Z}_2\) is the hypercharge orbifold; its \(\mathbb{Z}_2\) parity assignment is what produces exactly three left-handed families with no surviving mirror fermions — the geometric fact that lets the spin-statistics leg of R6 close without an extra unphysical sector to cancel.

 \(\mathcal{F}^+_{\rm finite}\) (flavor chamber) and \(\mathcal{C}_{\rm admiss}\) (admissibility firewall) are 0-dimensional but carry the gauge-fixing/BRST bookkeeping (Gribov domain, freeze-before-compare barrier) that the Kugo–Ojima and Gupta–Bleuler constructions below are stated inside .

 \(\mathcal{E}_{\rm gauge}\) , \(\mathcal{E}_{\rm matter}\) , \(\mathcal{E}_{\rm Higgs}\) carry the actual operators — connection \(\nabla\) , endomorphism \(E\) , BRST charge \(Q_{\rm BRST}\) — whose cohomology is the physical Hilbert space \(\mathcal{H}_{\rm phys} = \ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) that UQF-14's unitarity claim is a statement about.

 Radii, scales, and volumes at full precision

 All downstream KK masses and EFT suppression scales are set by one derived radius, itself fixed by the two-loop RG + KK-threshold unification closure, not by hand:

 \[
M_U = 1.0\times10^{16}\ \text{GeV} \qquad\text{(unification scale, closure residual } 9.6\times10^{-11}\text{)},
$$
$$
R_0 \equiv (2\pi M_U)^{-1} = 1.591549430918954\times10^{-17}\ \text{GeV}^{-1}.
\]

 At the symmetric Weyl-rigid chamber center \(\vec u = (1,1,1)\) (the admissible witness; off-center chambers fail Weyl-rigidity and are eliminated by the selector), all three internal radii sit at this common value:

 \[
R_6 \equiv R_{K_6} = R_0 = 1.591549430918954\times10^{-17}\ \text{GeV}^{-1}, \qquad R_2 \equiv R_{S^2} = R_0,
$$
$$
R_Y \equiv R_{S^1_Y}\ (\text{post-}\mathbb{Z}_2) = 7.957747154594768\times10^{-18}\ \text{GeV}^{-1}\quad(\text{the }1/2\text{ factor is the orbifold halving}).
\]

 These radii are exactly what set the Kaluza–Klein mass scale \(M_{\rm KK} \sim 1/R_6 \sim 2\pi M_U \sim 6\times10^{16}\) GeV that appears in the locality leg's EFT suppression, \(O(E^2/M_{\rm KK}^2)\) : at any energy \(E\) reachable by an above-cutoff-blind observer (collider energies, astrophysical sources below the Planck/GUT regime), this ratio is a minuscule, analytic correction, which is precisely why the finite-truncation locality statement (R5) is banked as a controlled EFT result rather than an exact one.

 The volumes entering the Planck normalization (needed to see that \(M_*\) , the fundamental 13D scale, is derived rather than an independent dial):

 \[
V_{K_6,0} = \frac{(2\pi)^3}{\sqrt3} = 143.2118575035129, \qquad \mathrm{Vol}(K_6) = V_{K_6,0}R_0^6 = 2.327554010848277\times10^{-99}\ \text{GeV}^{-6},
$$
$$
\mathrm{Vol}(S^2) = 4\pi R_0^2 = 3.183098861837907\times10^{-33}\ \text{GeV}^{-2}, \qquad \mathrm{Vol}(S^1_Y/\mathbb{Z}_2) = \pi R_0 = 5.000000000000000\times10^{-17}\ \text{GeV}^{-1} \; \left(=\tfrac{1}{2M_U}\ \text{exactly}\right),
$$
$$
\mathrm{Vol}(X_{\rm active}) = \mathrm{Vol}(K_6)\,\mathrm{Vol}(S^2)\,\mathrm{Vol}(S^1_Y/\mathbb{Z}_2) = 3.704417261398702\times10^{-148}\ \text{GeV}^{-9}.
\]

 Planck normalization with ordinary \(M_{\rm Pl} = 1.220900000000000\times10^{19}\) GeV (one of the four irreducible anchors) fixes the 13D fundamental scale via \(M_{\rm Pl}^2 = M_*^{D-2}\,\mathrm{Vol}(X_{\rm active})\) , \(D=13\) :

 \[
M_*^{11} = \frac{M_{\rm Pl}^2}{\mathrm{Vol}(X_{\rm active})} = 4.023836152402511\times10^{185}\ \text{GeV}^{11}, \qquad M_* = 7.467050992135091\times10^{16}\ \text{GeV}.
\]

 \(M_*\) is the natural place UQF-14's "above the cutoff" begins physically: it is where the KK tower, the graviton self-coupling, and the full 13D dynamics all become strongly coupled together — the regime R1 and R3 name as open and route to the universal UV wall (UQF-9/B3), not a scale this gate invents.

 \(K_6 = SU(3)/T^2\) curvature and Casimir data feeding the KK ledgers

 Two metric normalizations are in play and every number below is tagged. The [R₆-norm] carries physical GeV² units at the derived radius; the [Killing-norm] , \(g=(-B)|_{\mathfrak m}\) at chamber center, is dimensionless and is where the exact-rational curvature invariants live. The bridge is the metric-scale-invariant ratios, identical in both:

 \[
\text{[Killing-norm]:}\quad \mathrm{Ric}_1=\mathrm{Ric}_2=\mathrm{Ric}_3 = \frac{5}{12}, \qquad \mathrm{Scal}(K_6) = \frac{5}{2}, \qquad \frac{\mathrm{Scal}}{\mathrm{Ric}_i} = 6 = \dim K_6.
$$
$$
\text{[R₆-norm]:}\quad \mathrm{Ric}_i = \frac{1}{2R_6^2} = 1.973920880217872\times10^{33}\ \text{GeV}^2, \qquad \mathrm{Scal}(K_6) = \frac{3}{R_6^2} = 1.184352528130723\times10^{34}\ \text{GeV}^2.
\]

 Scale-invariant curvature ratios (identical in both normalizations):

 \[
\mathrm{Scal}^2 = \frac{25}{4}, \qquad \|\mathrm{Ric}\|^2 = \frac{25}{24}, \qquad \|\mathrm{Riem}\|^2 = \frac{23}{12}, \qquad \frac{\|\mathrm{Riem}\|^2}{\mathrm{Scal}^2} = \frac{23}{75}, \qquad \frac{\|\mathrm{Ric}\|^2}{\mathrm{Scal}^2} = \frac16.
\]

 Euler characteristic \(\chi(K_6) = 6\) (exact topological invariant); scalar-curvature integral \(\int_{K_6} R\sqrt g\,d^6x = \mathrm{Scal}\cdot\mathrm{Vol}(K_6) = 12\pi^3 = 372.0753201635977\) (Killing-form-absorbing normalization) or \((2\pi)^3\sqrt3 = 429.6356725105388\) (pure \(\sqrt g\,d^6x\) normalization at \(R_6=1\) ).

 The quadratic Casimir formula and dimension formula that generate every KK level UQF-14's causal/local ledgers must sum over:

 \[
C_2(p,q) = \frac{p^2+q^2+pq+3p+3q}{3}, \qquad \dim(p,q) = \frac{(p+1)(q+1)(p+q+2)}{2}.
\]

 The lowest nonzero scalar harmonic is the adjoint \((1,1)\) : \(\dim = 8\) , \(C_2 = 3\) exactly, zero-weight multiplicity \(m_0 = 2\) — this is the first rung of the gluon KK tower whose Pauli–Jordan commutator must vanish outside the lightcone at every level, not just the zero mode, for R7(a) to hold at all orders. The half-sum-of-positive-roots norm, entering every Dirac KK mass,

 \[
\rho = (1,0,-1), \qquad \|\rho\|^2 = 2 \quad\text{(Killing normalization)},
\]

 comes from the \(A_2\) root system: simple roots \(\alpha_1=(1,-1,0)\) , \(\alpha_2=(0,1,-1)\) , positive roots \(\{\alpha_1,\alpha_2,\alpha_1+\alpha_2\}\) , Weyl group \(S_3\) of order 6.

 The Kaluza–Klein spectral data — the substrate of R5 and R7(a)

 The two mass formulas that every carrier's tower obeys, over \(R_6^2\) :

 \[
m^2_{(p,q),\rm vec} = \frac{C_2(p,q) + \Delta_{\rm vec}}{R_6^2}, \qquad m^2_{(p,q),\rm Dirac} = \frac{C_2(p,q) + \|\rho\|^2 + \Delta_{\rm spin^c}}{R_6^2}, \quad \|\rho\|^2 = 2,
\]

 with \(\Delta_{\rm spin^c}\) the spin- \(\mathbb{C}\) shift fixed by the Chern class so the chiral zero-mode count returns the family index \(\chi(K_6,E) = -3\) exactly. This is the object the spectral condition (energy positivity — one of the two axiomatic-QFT properties UQF-14's C-net membership statement bundles together with microcausality) is checked against: at any finite KK truncation the tower generated by \(C_2(p,q) \ge 0\) is manifestly non-tachyonic term-by-term, because \(C_2(p,q)\) is a sum of squares and cross terms with all-positive Dynkin labels \((p,q)\in\mathbb{Z}_{\ge0}^2\) . The full infinite-tower non-tachyon statement — summing to all \((p,q)\to\infty\) and asking whether the tower stays positive under back-reaction/RG running — is precisely what is exported as R3 to UQF-10, with the falsifier stated plainly: a tachyonic KK mode .

 This same \(C_2(p,q)\) / \(\dim(p,q)\) data is the finite EFT truncation R5 rests on: because integrating out \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) at each 4D point produces a tower with a calculable, positive, growing mass gap ( \(C_2\) grows quadratically in \((p,q)\) ), the corrections to 4D locality from any finite truncation are the analytic \(O(E^2/M_{\rm KK}^2)\) series named in the grounding brief — not a non-analytic, acausal artifact. Table of representative levels (Killing normalization, exact rationals):

 \((p,q)\) 
 \(\dim\) 
 \(C_2\) 
 Role in the KK ledger 

 \((0,0)\) 
 1 
 0 
 zero-mode scalars — the low-energy sector all measured physics lives in 

 \((1,0)\) 
 3 
 4/3 
 quark-color triplet KK level 

 \((1,1)\) 
 8 
 3 (exact) 
 \(SU(3)\) adjoint — gluon KK tower, lowest nonzero scalar harmonic 

 \((2,0)\) 
 6 
 10/3 
 symmetric 2-index level 

 \((3,0)\) 
 10 
 6 (exact) 
 totally symmetric 3-index level 

 \((2,2)\) 
 27 
 8 (exact) 
 higher representation level 

 Each row is a distinct carrier whose free-field commutator UQF-14's R7(a) claim asserts vanishes outside the 4D lightcone — the Epstein–Glaser causal perturbation theory extension to all loop orders is stated over this entire tower, not just the zero mode, which is exactly why it is the correct in-scope object for a perturbative all-orders claim and exactly why it cannot be stretched to say anything about the regime where the tower's mutual interactions become strongly coupled (that stretch is forbidden as R7↛R1 in the forbidden-cross diagnostic).

 The graviton sector — TT projector, Lichnerowicz spectrum, and the a₆ boundary

 The graviton is the carrier for which UQF-14 states the sharpest, measured leg (R7(b)) and the sharpest open leg (R1). Its \(\otimes\) -Actors object is the transverse-traceless symmetric 2-tensor bundle:

 \[
\mathrm{Sym}^2_0\,T^*K_6, \qquad \dim_{\mathbb R} = 20 \quad (\text{full Sym}^2\text{, including the pure-trace mode, has dim }21).
\]

 Layer pinning for this bundle:
- × Stage: base manifold \(K_6\) (and, by the KK descent, the corresponding 4D-point-local tensor structure over \(\mathcal M_4\) ); metric = Killing-norm normal metric at the Einstein center \(\vec u=(1,1,1)\) .
- ⊕ Rulebook: TT gauge (transverse-traceless), Lichnerowicz grading, Einstein-center convention ( \(\mathrm{Ric}=\tfrac{5}{12}g\) ); \(\overline{\rm MS}\) scheme for the loop-level statements built on top.
- ⊗ Actors: connection \(\nabla\) = Levi-Civita (Nomizu construction on the reductive homogeneous space); endomorphism \(E_L\) from the Lichnerowicz operator
$$
(E_L h) {ab} = \mathrm{Ric} {ac}h^c{} b + \mathrm{Ric} {bc}h^c{} a - 2R {acbd}h^{cd};
$$
domain = smooth TT sections; readout = the Lichnerowicz spectrum.

 The certified Lichnerowicz eigenvalues on the TT sector (dim 20), Killing normalization:
$$
\left{\ \tfrac16\ (\times 6),\quad \tfrac{5}{12}\ (\times 6),\quad \tfrac{7}{6}\ (\times 6),\quad \tfrac{17}{12}\ (\times 2)\ \right}, \qquad \mathrm{tr}\,E_L = \tfrac{40}{3}, \qquad \mathrm{tr}\,E_L^2 = \tfrac{241}{18}.
$$

 This spectrum is exactly what the Fierz–Pauli TT decomposition (banked in-scope for the graviton unitarity leg of R6) needs: a positive-definite, ghost-free physical polarization content order by order, before backreaction. It is also exactly where the honest computation-debt for the UV-completion question (R1's highest-leverage buildable sub-object) sits: the sixth heat-kernel coefficient \(a_6\) for the graviton is blocked at the Gelfand–Tsetlin off-diagonal hopping stratum — the connection matrix elements mixing the five Weyl-inequivalent \(T^2\) weight classes on \(\mathrm{Sym}^2_0\) are exact SU(3) GT ladder elements in principle but not yet enumerated. Two independent routes are certified up to that point and agree on the shared core:

 Route A (Gilkey/Lichnerowicz): consumes the certified \(E_L\) spectrum above plus \(\Omega=\mathrm{Riem}\) ; blocked at the GT hopping term.

 Route B (ghost + vector reconstruction): consumes the certified vector endomorphism \(E=\mathrm{Ric}=\tfrac{5}{12}\mathrm{Id}\) (eigenvalue \(5/12\) , multiplicity 6, \(\mathrm{tr}\,E=5/2\) , \(\mathrm{tr}\,E^2=25/24\) ) plus the scalar backbone \(a_6/a_2^3 = 7936/39375\) (banked across 3+ engines); the graviton leg itself is OWED.

 Both routes agree the space is homogeneous but not locally symmetric — \(\|\nabla\mathrm{Riem}\|^2 = 1/4 \ne 0\) — which is precisely why the GT ladder term is unavoidable rather than a bookkeeping oversight; it is a genuine curvature fact about \(K_6\) , not a missing shortcut. This \(a_6\) gap is the named, bounded, non-fabricated computation-debt that R1 routes to UQF-9/B3: it is not invoked anywhere inside UQF-14's own banked legs (R5, R6, R7), which never need \(a_6\) , but it is the concrete object that would need to be computed to make progress on the above-cutoff graviton question this gate correctly refuses to answer itself.

 The \(S^1_Y/\mathbb{Z}_2\) orbifold and the no-mirror chirality filter

 The hypercharge circle's \(\mathbb{Z}_2\) quotient ( \(\theta \mapsto -\theta\) , two isolated fixed points at \(\theta = 0,\pi\) ) is the geometric engine behind the spin-statistics leg of R6 ("no surviving mirror fermions"). The reflection \(g\) -trace is exactly 1 (two fixed points, each contributing \(1/|1-(-1)| = 1/2\) ), giving per-fixed-point \(a_0\) heat-kernel defects of \(+1/4\) (even/+ parity) and \(-1/4\) (odd/− parity). The chirality projector acting on the internal 8-dimensional spinor bundle \(S(K_6)\otimes S(S^2)\otimes S(S^1_Y)\) is

 \[
P_\chi = \tfrac12\left(1 + \gamma_5\Gamma_8\right),
\]

 and the Atiyah–Singer–Patodi index computation on the active interval \([0,\pi]\) returns \(n_L = +3\) , \(n_R = 0\) : three left-handed families, zero surviving right-handed mirrors. Per-field \(\mathbb{Z}_2\) parities: \(Q_L(+,+)\) and \(L_L(+,+)\) carry zero modes; \(u_R,d_R,e_R,\nu\,(-,-)\) carry zero modes through the sector projectors \(\Pi_u,\Pi_d,\Pi_e,\Pi_\nu\) ; every mirror-parity assignment is forbidden — no mirror zero mode exists anywhere in the spectrum. This is the geometric fact that lets UQF-14 assert "spin-statistics with no surviving mirror fermions" as a clean, closed sub-leg of R6 rather than as an assumption requiring a separate cancellation mechanism: the orbifold geometry itself removes the would-be mirror sector before the unitarity bookkeeping even starts.

 The BRST / gauge / admissibility layer carrying the R6 unitarity ledger

 The unitarity legs of R6 are stated entirely inside the \(\oplus\) -Rulebook admissibility firewall \(\mathcal{C}_{\rm admiss}\) (BRST/Faddeev–Popov gauge-fixing scheme, Gribov-domain convention, freeze-before-compare barrier) acting on the \(\otimes\) -Actors gauge bundle:

 \[
\mathcal{E}_{\rm gauge}: \quad T^*\mathcal{M}_4 \otimes \mathrm{ad}(P), \quad P \text{ a principal bundle on } \mathcal{M}_4\times K_{\rm gauge},\quad K_{\rm gauge}\equiv K_6\times S^2\times S^1_Y,
\]

 with connection \(A\) , curvature \(F\) , representation map \(\rho_{\rm rep}\) , the full KK tower, and BRST operator \(Q_{\rm BRST}\) whose cohomology defines the physical Hilbert space as the quotient \(\mathcal H_{\rm phys} = \ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) . Four separate, sector-specific mechanisms are banked against this one object, each with a distinct carrier and distinct unphysical content to cancel:

 Gluon sector: Kugo–Ojima BRST quartet mechanism — the ghost/antighost/longitudinal/timelike quartet decouples from all physical S-matrix elements order by order, acting on the \(K_6\) -descended adjoint KK tower (the \((1,1)\) , \(\dim 8\) , \(C_2=3\) level and all higher color representations).

 W/Z sector: Higgs mechanism plus the Equivalence Theorem — the would-be Goldstone (Higgs/Goldstone doublet \(\mathcal E_{\rm Higgs}\) , Wilson-line/Hosotani winding \(n_H = 1\) ) is eaten, unitarizing longitudinal \(W/Z\) scattering at high energy within the perturbative regime.

 Photon sector: Gupta–Bleuler/BRST indefinite-metric quotient — the timelike/longitudinal photon polarizations are removed by the same cohomological quotient, leaving the two transverse physical polarizations.

 Fermion sector: spin-statistics theorem, consistent with no surviving mirror fermions (the \(S^1_Y/\mathbb{Z}_2\) chirality result above) and with the LEP measurement of exactly three light neutrino species.

 Layer-2 audit screens applied to this same object all pass: Invariance (the norm/commutator statements are gauge/BRST-invariant by construction — Kugo–Ojima and Gupta–Bleuler are exactly the invariance-respecting quotients); Record Interface (finite observables — \(S^\dagger S = 1\) order by order, \([O(x),O(y)]=0\) spacelike); Causal Order (the theorems run forward from the given carrier content \(E\) , never fed backward from an observational target); Nonseparability (the BRST/Kugo–Ojima quartet is shared machinery across the gluon and photon sectors and is counted once , not as two independent wins).

 The zero-mode graviton and the one measured anchor

 The one piece of this arena carrying an irreducible, external empirical floor is the graviton zero-mode — the \((p,q)=(0,0)\) level of the \(K_6\) (and \(S^2\) , \(S^1_Y/\mathbb{Z}_2\) ) towers, i.e. the ordinary 4D massless spin-2 field of General Relativity, propagating on \(\mathcal M_4\) at the speed set by the Fierz–Pauli TT kinetic term. Its dispersion relation is tied, by the ~1.7 s two-detector clock-time coincidence between the LIGO/Virgo GW170817 trigger and the Fermi/INTEGRAL GRB170817A trigger over a ~40 Mpc baseline, to

 \[
\frac{|c_g - c|}{c} < 10^{-15}.
\]

 This bound is a measured anchor , not a derived quantity: it is the empirical floor (kind MEASURED-ANCHOR/IRREDUCIBLE, contributing floor ≥ 1 to the axiom-floor count) that covers only the zero-mode, low-energy graviton, and it carries three explicitly named non-irreducible co-premises that travel with it whenever quoted — (a) a common-emission-time model for the two signals, (b) the ~40 Mpc distance-ladder baseline, (c) the shared causal order needed to compare two propagation "speeds" at all (itself resting on the corpus SHAPE posit AXIOM-SHARED-CAUSAL-ORDER). This zero-mode object is structurally distinct from — and cannot be stretched to cover — the strongly-coupled, above-cutoff graviton sector living at the \(a_6\) /Gelfand–Tsetlin boundary described above; that stretch is explicitly named and forbidden as " \(c_g \not\to\) full-QG causality" in the forbidden-cross diagnostic.

 Summary of the pinned objects

 The complete inventory of frozen-arena objects this gate's legs are built from: the full 13-dimensional \(\times\) -Stage ( \(\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) ) with \(D=4+6+2+1=13\) ; the derived radius \(R_6=R_0=1.591549430918954\times10^{-17}\) GeV \(^{-1}\) and fundamental scale \(M_*=7.467050992135091\times10^{16}\) GeV; the Killing-norm curvature invariants \(\mathrm{Ric}_i=5/12\) , \(\mathrm{Scal}=5/2\) , \(\|\mathrm{Riem}\|^2=23/12\) , \(\chi(K_6)=6\) ; the Casimir/dimension ledger \(C_2(p,q)=(p^2+q^2+pq+3p+3q)/3\) with \(\|\rho\|^2=2\) and adjoint level \((1,1)\) , \(\dim 8\) , \(C_2=3\) ; the graviton TT Lichnerowicz spectrum \(\{1/6,5/12,7/6,17/12\}\) with the \(a_6\) Gelfand–Tsetlin boundary honestly OWED; the \(S^1_Y/\mathbb{Z}_2\) orbifold defects \(\pm1/4\) and chirality index \((n_L,n_R)=(3,0)\) via \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) ; the BRST/Kugo–Ojima/Gupta–Bleuler machinery on \(\mathcal E_{\rm gauge}\) inside the \(\mathcal C_{\rm admiss}\) firewall; and the one measured floor \(|c_g-c|/c<10^{-15}\) on the graviton zero-mode. Every one of these is a given/derived structural fact about the frozen branch — none is fit to the causality/unitarity/locality conclusion, and the gate's own audit adds no new geometric object of its own.

 Construction I - the deep-root anchoring

 UQF-14 is unusual among the gates in one structural respect that must be stated before any root is applied: it has no internal number to predict . It is an audit / routing node — it tests whether the theory that descends from the frozen 13D arena is a member of the axiomatic-QFT class (Wightman / Haag–Kastler: a Poincaré-covariant net of observable algebras acting on a positive-definite physical Hilbert space, with spacelike-commuting observables and positive energy). Because of this, Shape, Scale, and Granularity do not here generate a coefficient the way they generate, say, a mixing angle or a heat-kernel ratio. Instead each root does exactly what a root is supposed to do at an audit gate: it forces or forbids a structural possibility , and the four Layer-2 admissibility screens certify that the forcing was done without smuggling in the answer. What follows applies each root completely — all three layers, full numerical precision — and shows, leg by leg, what is eliminated, what is forced, and what is exposed as an honest, external wall.

 I.1 Shape — the complete layered object, and what membership in the C-net class requires of it

 Shape is the frozen branch itself, read at all three layers simultaneously:

 \[
\mathfrak{B}_{\rm active}=\big[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\big]_\times \;\oplus\; \big[\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\big]_\oplus \;\otimes\; \big[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\big]_\otimes,
\]

 with \(K_6=SU(3)/T^2\) (the full \(A_2\) flag manifold), \(D=4+6+2+1=13\) . This is not a slogan invoked once and dropped: every one of the three sub-layers does distinct, load-bearing work for the causality/unitarity/locality audit.

 × Stage (metric geometry) forces the causal skeleton. \(\mathcal{M}_4=\mathbb{R}^{3,1}\) carries the Lorentzian signature that makes "spacelike separation," "lightcone," and "commutator vanishing outside the lightcone" meaningful statements in the first place — this is the geometric root of AXIOM-SHARED-CAUSAL-ORDER (§4 of the axiom floor): without a fixed Lorentzian \(\mathcal{M}_4\) factor there is no shared causal order to test microcausality against. \(K_6=SU(3)/T^2\) , \(S^2\) , and \(S^1_Y/\mathbb{Z}_2\) are the compact, Riemannian (positive-definite metric) factors — their Euclidean signature is exactly what makes Kaluza–Klein reduction produce a tower of ordinary, positive mass-squared 4D fields rather than a tower of new light-cone directions. This is the geometric mechanism behind the spectral-condition (energy-positivity) requirement quoted in the brief: because \(K_6\) , \(S^2\) , \(S^1_Y/\mathbb{Z}_2\) are compact Riemannian, their Laplace/Dirac operators have discrete, bounded-below spectra, so every KK mass is a sum of non-negative eigenvalues divided by \(R_6^2\) — \(m^2_{(p,q),{\rm vec}}=(C_2(p,q)+\Delta_{\rm vec})/R_6^2\) and \(m^2_{(p,q),{\rm Dirac}}=(C_2(p,q)+\|\rho\|^2+\Delta_{\rm spin^c})/R_6^2\) with \(\|\rho\|^2=2\) exactly (Killing normalization, from the \(A_2\) half-sum of positive roots \(\rho=(1,0,-1)\) ). At the lowest nonzero level, the adjoint \((1,1)\) of \(SU(3)\) , \(\dim=8\) , \(C_2=3\) exactly, zero-weight multiplicity \(m_0=2\) — a positive Casimir, hence (given \(\Delta_{\rm vec},\Delta_{\rm spin^c}\ge\) their fixed values) a non-tachyonic mode. This is what the brief calls the spectral condition leg: at any finite KK truncation, the tower is manifestly non-tachyonic because it is built entirely from non-negative Riemannian Laplacian/Dirac eigenvalues on compact factors, divided by the derived radius \(R_6=R_0=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) (with \(M_U=1.0\times10^{16}\) GeV, \(M_*=7.467050992135091\times10^{16}\) GeV). Full Shape membership at this layer is therefore what forces the finite-truncation spectral-condition leg (R5's cousin) to hold — it is not an assumption bolted on afterward.

 ⊕ Rulebook (0-dimensional but load-bearing) forces which quotient counts as "physical." The rulebook layer \(\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\) is where the scheme for defining the physical Hilbert space lives: BRST gauge-fixing with a declared Gribov domain, the freeze-before-compare barrier, the FCNC/mediator no-go \(\Pi_q M\Pi_\ell=0\) , and — most directly relevant to UQF-14 — the discrete global structure \(G_{\rm SM}=(SU(3)_c\times SU(2)_L\times U(1)_Y)/\mathbb{Z}_6\) with Smith normal form invariant factors \([1,6,6]\) (the finest faithful quotient). This rulebook layer is what fixes which algebra of observables is being asked to be positive-definite and causal: it is the descended \(G_{\rm SM}\) -gauge theory quotient, not some other admissible-looking quotient. Kugo–Ojima quartet cancellation and Gupta–Bleuler/BRST photon quantization are rulebook-layer constructions precisely because they are choices of scheme (which cohomology defines \(\mathcal{H}_{\rm phys}=\ker Q_{\rm BRST}/{\rm im}\,Q_{\rm BRST}\) ) rather than choices of manifold. Completeness at this layer means the audit is run against the declared scheme (Gribov domain, \(\overline{\rm MS}\) , freeze-before-compare) and not against some other convention that could be gerrymandered post hoc to make positivity come out easier — this is exactly the discipline that the Causal-Order screen (§I.4 below) certifies.

 ⊗ Actors (0-dimensional, the operator content) is where the unitarity/causality bookkeeping is literally executed. The brief names the load-bearing actors precisely: the graviton TT (transverse-traceless) projector onto \(\mathrm{Sym}^2_0\) (dimension 20, Lichnerowicz spectrum \(E_L\in\{1/6,\,5/12,\,7/6,\,17/12\}\) in Killing normalization, at the Einstein center \(\mathrm{Ric}=\tfrac{5}{12}g\) ), the Fierz–Pauli ghost removal that the TT projector performs, the KK mass operator built from the volume-modulus data of §I.1 above, the Kugo–Ojima BRST quartet , the Higgs/Goldstone doublet (Wilson-line winding \(n_H=1\) , exact integer), the Gupta–Bleuler photon indefinite-metric quotient , and the chirality projector \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) that the Atiyah–Singer–Patodi index on \([0,\pi]\) fixes to \(n_L=+3\) , \(n_R=0\) — three left-handed families, no surviving mirror zero mode . This last point is not decorative: spin-statistics-consistent unitarity (no wrong-statistics ghost) explicitly requires the absence of a light mirror sector, and the frozen actor layer is what forbids one — the per-field \(\mathbb{Z}_2\) parities at \(\theta=0,\pi\) assign zero modes only to \(Q_L,L_L\) at \((+,+)\) and to \(u_R,d_R,e_R,\nu\) at \((-,-)\) via the sector projectors \(\Pi_u,\Pi_d,\Pi_e,\Pi_\nu\) ; every mirror-parity assignment is forbidden by construction. Completeness at the Actor layer means the unitarity ledger (R6) is checked against every carrier that the frozen \(\mathcal{E}_{\rm active}=\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\) actually contains, including all KK partners — a residual found only for the zero-mode Standard Model content while silently skipping KK partners would be a residual seen under a truncated actor set, exactly the "artifact" failure mode the frozen-object discipline forbids.

 What full Shape forces for UQF-14, stated plainly. Reading all three layers together: (i) Lorentzian \(\mathcal{M}_4\) forces the shared causal order that microcausality/locality statements are stated against; (ii) compact Riemannian internal factors force the KK tower to be built from non-negative eigenvalues, hence non-tachyonic at any finite truncation (banks the spectral-condition ingredient of R5/R7); (iii) the ⊕ rulebook forces a specific, declared gauge-fixing/BRST scheme rather than a moving target, which is exactly what lets Kugo–Ojima and Gupta–Bleuler be checked as theorems rather than assumed; (iv) the ⊗ actor layer forces every carrier — graviton TT mode, KK tower, gluon, W/Z, photon, Higgs, each chiral fermion with no mirror partner — into the audit, which is what makes R6 (ghost cancellation) and H5 (independent ledger re-derivation) well-posed, falsifiable claims rather than a hand-wave over "the Standard Model." Full Shape does not , however, force anything about the strongly-coupled regime above \(M_{\rm KK}\) : the same compact-Riemannian-factor argument that guarantees positivity of KK masses at finite truncation says nothing about the infinite tower (R3) or about the regime where the KK sum must be resummed non-perturbatively (R1). Shape eliminates the naive failure modes (tachyons at finite level, uncontrolled mirror fermions, undeclared gauge schemes) and is silent — honestly, not evasively — on the above-cutoff completion.

 I.2 Scale — where causality is measured, and where the floor bites

 Scale in this gate plays two distinct roles, and both must be kept separate to avoid the R7(b) forbidden-cross error.

 Scale role 1 — the derived hierarchy of energy scales that organizes the "below cutoff" claim. The full-precision radius/mass ladder is: \(R_6=R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) at the chamber center \(\vec u=(1,1,1)\) , with \(M_U=1.0\times10^{16}\) GeV fixed by the two-loop RG + KK-threshold closure ( \(\alpha_i^{-1}(M_U)=\alpha_j^{-1}(M_U)\) , residual \(9.6\times10^{-11}\) ), and the 11D fundamental scale \(M_*=7.467050992135091\times10^{16}\) GeV from the Planck-normalization relation \(M_{\rm Pl}^2=M_*^{11}\,{\rm Vol}(X_{\rm active})\) with \({\rm Vol}(X_{\rm active})=3.704417261398702\times10^{-148}\ {\rm GeV}^{-9}\) . This ladder is what gives content to the phrase "below cutoff": \(M_{\rm KK}\sim 1/R_6\sim 2\pi M_U\) sets the scale at which the KK tower and the graviton sector go strongly coupled, and the entire perturbative/EFT unitarity-causality-locality bundle (R5, R6, R7(a)) is a statement about physics at \(E\ll M_{\rm KK}\) , with corrections controlled and small — the locality leg is explicitly "analytic \(O(E^2/M_{\rm KK}^2)\) -suppressed," a scale-ratio statement, not a vague qualitative one. Scale is therefore what makes "below cutoff" a sharp, quantitative boundary rather than a hand-wave: it is the ratio \(E/M_{\rm KK}\) , with \(M_{\rm KK}\) pinned to 16-figure precision by the frozen geometry.

 Scale role 2 — the single external measured floor. Independently of the internal derived scale ladder, one external Scale enters: the ~40 Mpc distance-ladder baseline between the source of GW170817/GRB170817A and Earth, which converts the ~1.7 s two-detector clock-time coincidence into the bound \(|c_g-c|/c<10^{-15}\) . This is the one place in the whole gate where Scale is not derived from the frozen geometry but is a measured astrophysical input — and the axiom-floor table is explicit that this measured atom is irreducible (floor ≥ 1): reducing it further would mean deriving a distance/time measurement from geometric structure, which is the anchoring-on-the-target cardinal sin. The three co-premises that travel with this bound — (a) a common-emission-time model for the two signals, (b) the ~40 Mpc baseline itself, (c) a shared causal order (already forced by the Lorentzian \(\mathcal{M}_4\) factor of Shape, role 1 above) — are named exactly so that the bound is never quoted as if it were parameter-free. Full-precision Scale role 2 therefore delivers exactly one thing: a zero-mode, low-energy graviton-speed certificate, \(|c_g-c|/c<10^{-15}\) , that cannot be stretched to cover the strongly-coupled graviton sector (this is the fourth forbidden cross in the brief's §3.3 diagnostic, " \(c_g\not\Rightarrow\) full-QG causality").

 What Scale forces and what it leaves open. Scale forces the below/above-cutoff boundary to be a sharp, numerically pinned ratio ( \(E/M_{\rm KK}\) , with \(M_{\rm KK}\) derived to 16 figures from \(M_U\) and the Planck-normalization relation) rather than a fuzzy qualitative line — this is what lets R5/R6/R7(a) be stated as precise , falsifiable, perturbative-regime claims. Scale also delivers the one external MEASURED-ANCHOR leg (R7(b)), at the zero-mode graviton only. Scale does not force, and cannot be pushed to force, anything about the strongly-coupled regime at or above \(M_{\rm KK}\) — this is precisely where R1 (above-cutoff graviton+tower unitarity) and R3 (infinite-tower cluster decomposition) live, and both bottom out on the same universal UV wall (B3 / UQF-9), counted once.

 I.3 Granularity — the substrate disposition, positivity, and the honest computational debts

 Granularity enters UQF-14 at three distinct depths, and distinguishing them is exactly what keeps the axiom floor at its converged fixed point rather than an artificial "sixth reduction."

 Granularity depth 1 — finite KK truncation as a granularity choice, not an approximation of convenience. The entire R5/R6/R7(a) bundle is stated at finite KK truncation . This is a genuine granularity posit: the 13D local action, integrated over \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) per 4D point, yields a 4D effective action that is exactly local at any finite truncation level — the non-localities that a truncation in principle introduces are analytic and \(O(E^2/M_{\rm KK}^2)\) -suppressed, not power-law or non-analytic. This is the geometric content of AXIOM-SUBSTRATE-DISPOSITION in the axiom-floor table: it is a genuine structural commitment about how the descent is organized (truncate-then-take-EFT-limit), reduced as far as it goes and terminal as a named corpus posit — not further reducible without leaving the gate's scope (reducing corpus Granularity itself is explicitly out of scope for UQF-14).

 Granularity depth 2 — the heat-kernel ledger that would certify the above-cutoff graviton sector is a named, bounded computational debt, not a conceptual gap. The brief flags the sixth heat-kernel coefficient \(a_6\) as the highest-leverage buildable object for closing R1/R3 at UQF-9/B3. The geometry pack shows precisely how far this computation has been pushed and precisely where it stops: the scalar heat-kernel ratios on \(K_6\) are certified through \(a_4/a_0=11/120\) (with \(a_2/a_0=5/12\) ), and the scalar backbone ratio \(a_6/a_2^3=7936/39375\) is banked across three-plus independent engines. The graviton \(\mathrm{Sym}^2_0\) leg of \(a_6\) , however, is OWED : it is blocked at the Gelfand–Tsetlin off-diagonal hopping-term stratum — the exact SU(3) ladder matrix elements mixing the 5 Weyl-inequivalent \(T^2\) weight classes on \(\mathrm{Sym}^2_0\) are exact-in-principle (standard lowering-operator formula) but not yet enumerated in the atlas. This is why \(K_6\) being homogeneous-but-not-locally-symmetric matters here: \(\|\nabla\,{\rm Riem}\|^2=1/4\ne0\) (Killing norm) is the exact invariant certifying that \(K_6\) is not locally symmetric, which is precisely the geometric fact that makes the GT ladder term unavoidable rather than a computational convenience one could drop. Additionally, the order-6 mixed Neumann+Dirichlet boundary coefficient for the folded hypercharge circle \(S^1_Y/\mathbb{Z}_2\) is missing from the literature outright and must be computed from scratch; what is certified there is the per-fixed-point \(a_0\) defect, \(+1/4\) (parity-even) and \(-1/4\) (parity-odd), from the Donnelly equivariant reflection trace ( \(g\) -trace \(=1\) : two fixed points \(\theta=0,\pi\) , each contributing \(1/|1-(-1)|=1/2\) ). Granularity depth 2 is therefore the precise geometric address of R1: the above-cutoff graviton unitarity question reduces, at the buildable-object level, to a named, bounded, currently-uncomputed heat-kernel coefficient — not a vague "quantum gravity is hard" gesture.

 Granularity depth 3 — physical positivity of the quantum kinematics, scoped exactly to perturbation theory. AXIOM-PHYSICAL-POSITIVITY (the corpus quantum-kinematics Shape/Granularity posit that the physical inner product is positive-definite) is logically independent of the causal-order posit — a separate root, not a restatement — and is explicitly scoped: it underwrites R6 (per-sector perturbative ghost cancellation, Kugo–Ojima / Higgs+ET / Gupta–Bleuler / spin-statistics) but does not by itself establish nonperturbative positivity for confining QCD. That nonperturbative positivity question is exactly R2, exported to UQF-11/Gap-02 (the Clay Yang–Mills mass gap), which the brief's upstream echo confirms sits at Precisely-OPEN / REDUCED-TO-AXIOM (axiom-conditional on the granularity posit P1, not a Clay solution) — never to be described as closed by anything inside UQF-14. Granularity depth 3 is what keeps R6↛R2 (the second of the four forbidden crosses) a bright line rather than a blurred one: perturbative positivity, GIVEN, decouples the unphysical polarizations sector-by-sector; it does not manufacture nonperturbative confinement.

 What Granularity forces, exposes, and forbids. Full-precision Granularity forces the finite-truncation locality/EFT bundle to be stated with an explicit, small, analytic control parameter ( \(O(E^2/M_{\rm KK}^2)\) ) rather than an unquantified "approximately local." It exposes exactly two named, bounded computational debts — the graviton \(a_6\) Gelfand–Tsetlin stratum and the \(S^1_Y/\mathbb{Z}_2\) order-6 mixed-boundary coefficient — as the buildable objects that would, if computed, feed directly into closing R1/R3 at the UV-completion gate. And it forbids treating perturbative-kinematic positivity as if it settled the nonperturbative confinement question, which is the precise mechanism by which R2 stays honestly routed to the Clay-adjacent gate rather than quietly absorbed here.

 I.4 The four Layer-2 admissibility screens — how the audit is certified not to smuggle its answer

 Because UQF-14 is an audit node, the Layer-2 screens do more work here than in a pure-computation gate: they are the certificate that the Shape/Scale/Granularity forcing above was read off honestly, forward, from the frozen geometry, and not reverse-engineered from "we want unitarity to hold."

 Invariance — PASS. Every norm/commutator statement banked (R5, R6, R7(a)) is gauge- and BRST-invariant by construction , not by a separately imposed check. Kugo–Ojima and Gupta–Bleuler are not devices bolted onto a gauge-variant computation to patch it up after the fact; they are exactly the invariance-respecting quotients — \(\mathcal{H}_{\rm phys}=\ker Q_{\rm BRST}/{\rm im}\,Q_{\rm BRST}\) — that define what "physical state space" even means for a gauge theory. The screen passes because the object being tested for positivity is the invariant quotient, not a gauge-dependent stand-in for it.

 Record Interface — PASS. The claims are stated as finite, checkable observables: \(S^\dagger S=1\) order-by-order in perturbation theory, and \([O(x),O(y)]=0\) for spacelike-separated \(x,y\) , for every carrier's free-field commutator (Pauli–Jordan for the photon/graviton zero-mode, Proca for massive vectors, Klein–Gordon for scalars, Dirac for fermions), extended to all loop orders by Epstein–Glaser causal perturbation theory. Each of these is a record one could in principle compute and check against a specific carrier and a specific loop order — not an unfalsifiable global assertion. The collider control (no negative-norm state and no unitarity violation observed at LHC energies) is the empirical instance of this same record interface at the R6 sector.

 Causal Order / target-blindness — PASS. The chain of reasoning in §3.1 of the descent runs forward : from the frozen 13D action, through the ⊗ Actors descent, through the ⊕ Rulebook application of standard QFT theorems, to the banked certificate. At no point is an observational target (e.g., "we know the SM is unitary at LHC energies, therefore construct a proof that concludes this") fed backward into the construction. This is the same discipline that makes the four forbidden crosses of §I below detectable as forbidden rather than merely unproven: R5↛R3, R6↛R2, R7↛R1, and \(c_g\not\Rightarrow\) full-QG causality are all instances of "a banked forward-derived leg does not, by re-labeling, become a claim about a different regime." The screen is explicitly not target-loaded: nowhere does the audit assume above-cutoff unitarity in order to derive it.

 Nonseparability — PASS-with-note. The BRST/Kugo–Ojima quartet mechanism is shared machinery across the gluon and photon sectors (both are gauge theories whose unphysical polarizations decouple via the same quartet argument, adapted to \(SU(3)_c\) and \(U(1)_Y\) respectively). The screen passes with the explicit note that this shared mechanism is counted once in the axiom floor and in the residual ledger — it is not double-counted as two independent successes for R6. This matters structurally: it is the same "count once" discipline applied later to R1 and R3 both bottoming on the single universal UV wall B3/UQF-9 — a recurring pattern in this gate where genuinely shared structure must not be inflated into apparently independent corroboration.

 I.5 Synthesis — how the three roots plus the four screens jointly certify the terminal

 Laid side by side, the three roots do not overlap in what they force — each supplies a piece the others cannot:

 Shape (all three layers) supplies the causal skeleton (Lorentzian \(\mathcal{M}_4\) ), the non-tachyonic KK tower at finite level (compact Riemannian internal factors, exact Casimir data), the declared gauge-fixing scheme (⊕ rulebook), and the complete carrier/no-mirror content (⊗ actors) that the unitarity ledger is checked against.

 Scale supplies the sharp, 16-figure-precision below/above-cutoff boundary ( \(M_{\rm KK}\) from \(M_U=1.0\times10^{16}\) GeV via \(R_6=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) ) that gives "below cutoff" quantitative meaning, and delivers the single external measured floor ( \(|c_g-c|/c<10^{-15}\) , zero-mode only, floor ≥ 1).

 Granularity supplies the finite-truncation posit that makes locality/EFT statements exact-with-controlled-corrections rather than heuristic, and exposes the two named buildable objects (graviton \(a_6\) at the GT stratum; the \(S^1_Y/\mathbb{Z}_2\) order-6 mixed-boundary coefficient) whose computation is the field's actual path toward R1/R3, while keeping perturbative-kinematic positivity strictly walled off from nonperturbative confinement (R2).

 The four Layer-2 screens then certify that none of this forcing was performed by peeking at the desired answer: Invariance certifies the object being tested is the gauge-invariant physical quotient; Record Interface certifies the claims are stated as checkable, finite, order-by-order or loop-order-indexed observables; Causal Order certifies the derivation ran forward from the frozen geometry with no target fed back; Nonseparability certifies shared machinery (BRST quartet; the B3 wall) is counted once, not inflated.

 Put together, Shape+Scale+Granularity, screened by all four Layer-2 checks, is what licenses the axiom-floor's convergence to its fixed point: exactly one measured atom (the ~1.7 s two-detector coincidence, carrying the floor ≥ 1), two logically independent structural roots (shared causal order from Shape; physical positivity from Granularity/Shape), one substrate-disposition posit (finite-truncation Granularity), one derivation (C-net membership, DERIVED-GIVEN-E), and one discipline meta-rule (no-cross-cutoff-lift / export-not-close). No root — read completely, at full precision, across all three layers — forces or even suggests a sixth reduction; and no root, read completely, licenses closing R1, R2, R3, or R4 internally. That is exactly why the terminal is CERTIFIED-IRREDUCIBLE / RESOLVED +0: the deep roots are exhausted on the internal legs (R5, R6, R7(a), R7(b)) and exhausted precisely at the boundary of the internal legs on the exported ones (R1–R4, H6) — the roots themselves are what draw the line between "proven here" and "the field's open UV-completion-of-gravity problem," rather than any weakness in how the roots were applied.

 Construction II - the full derivation

 II.0 What is being derived, and against which target class

 The target is membership of the descended 4D theory in the class of Poincaré-covariant, positive-definite, spacelike-commuting quantum field theories — the Wightman / Haag–Kastler axiomatic-QFT class. Concretely, this means exhibiting, on a physical Hilbert space

 \[
\mathcal H_{\rm phys} \;=\; \ker Q_{\rm BRST}\big/\operatorname{im} Q_{\rm BRST},
\]

 three simultaneously-held properties: (U) unitarity — every physical transition probability is real, non-negative, and sums to 1, i.e. \(\langle\psi|\psi\rangle \ge 0\) for all \(|\psi\rangle \in \mathcal H_{\rm phys}\) and \(S^\dagger S = \mathbb 1\) order by order; (C) causality — for any two local observables \(\mathcal O(x)\) , \(\mathcal O(y)\) built from the fields, \([\mathcal O(x),\mathcal O(y)] = 0\) whenever \((x-y)^2 < 0\) (spacelike separation); (L) locality/cluster decomposition — measurements performed in well-separated spacetime regions factorize, \(\langle \mathcal O(x)\mathcal O(y)\rangle \to \langle\mathcal O(x)\rangle\langle\mathcal O(y)\rangle\) as \(|x-y|\to\infty\) along a spacelike direction. The derivation below builds each of (U), (C), (L) as a genuine consequence of the frozen 13D arena's three layers — × Stage, ⊕ Rulebook, ⊗ Actors — run forward from the given carrier content \(E\) , never backward from the desired conclusion. Nothing here is a new theorem: the content is the disciplined, carrier-by-carrier, layer-by-layer bookkeeping that shows exactly which textbook QFT machinery applies, in what exact scope, and where the scope legitimately ends.

 II.1 The frozen object being descended

 The arena is the full layered object

 \[
\mathfrak B_{\rm active} = \underbrace{\big[\mathcal M_4 \times K_6 \times S^2 \times S^1_Y/\mathbb Z_2\big]_\times}_{\text{$\times$ Stage}} \;\oplus\; \underbrace{\big[\mathcal F^+_{\rm finite}\oplus \mathcal C_{\rm admiss}\big]_\oplus}_{\text{$\oplus$ Rulebook}} \;\otimes\; \underbrace{\big[\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton}\big]_\otimes}_{\text{$\otimes$ Actors}},
\]

 with \(K_6 = SU(3)/T^2\) the full flag manifold of \(A_2 = \mathfrak{su}(3)\) , and \(D = 4+6+2+1 = 13\) counted only on the metric-carrying × Stage layer (the ⊕ and ⊗ layers are 0-dimensional but are permanently part of the frozen branch — dropping them silently is exactly the failure mode this derivation must not commit). The four irreducible anchors \(\{M_{\rm Pl}, \alpha_i(M_Z), y_t, |V_{us}|\}\) are the only free numerical inputs anywhere in the construction; the carrier content \(E\) — the Standard Model spectrum with hypercharges \(Y(Q_L)=+1/6\) , \(Y(u_R)=+2/3\) , \(Y(d_R)=-1/3\) , \(Y(L_L)=-1/2\) , \(Y(e_R)=-1\) , \(Y(H)=+1/2\) — is given/inherited , not derived inside this gate. Every unitarity/causality/locality statement below is therefore correctly labeled GIVEN-E .

 II.2 Step 1 — the descent map, all three layers pinned

 The action functional on the 13D arena is local by construction: it is built from finitely many derivatives of the fields at a single point of \(\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2\) , with the ⊕ Rulebook fixing which terms are admissible (the finite admissibility set \(\mathcal F^+_{\rm finite}\) and the firewall \(\mathcal C_{\rm admiss}\) , including the freeze-before-compare barrier and the FCNC/mediator no-go \(\Pi_q M \Pi_\ell = 0\) ) and the ⊗ Actors layer supplying the bundle sections the action is built from ( \(\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton}\) ). The descent proceeds in three moves:

 Move A (× Stage — integrate out the internal factors). At each point of \(\mathcal M_4\) , integrate the 13D Lagrangian density over \(K_6\times S^2\times S^1_Y/\mathbb Z_2\) using the Peter–Weyl decomposition \(L^2(K_6,E_\mu) = \bigoplus_{(p,q)} V_{(p,q)}\otimes \operatorname{Hom}_{T^2}(V_{(p,q)},E_\mu)\) on \(K_6\) , the spherical-harmonic decomposition on \(S^2\) , and the Fourier/orbifold-parity decomposition on \(S^1_Y/\mathbb Z_2\) . This produces a 4D effective Lagrangian which is an infinite sum over KK modes, each mode a genuine local 4D field with a mass set by the internal Laplacian/Dirac eigenvalue on its factor. Because the parent action is local and the mode decomposition is a linear, pointwise change of field basis (not a nonlocal field redefinition), the resulting 4D Lagrangian is local at any finite truncation of the sum — locality is not damaged by mode expansion; it can only be damaged by integrating out modes one has kept in the spectrum but excluded from the dynamics, which is precisely the source of the analytic \(O(E^2/M_{\rm KK}^2)\) corrections discussed in II.5.

 Move B (⊗ Actors — descend each carrier). Each 13D field descends to a 4D tower: the metric perturbation \(h_{MN}\) descends to a graviton zero-mode plus a KK tower of massive spin-2 (and lower-spin) modes; the gauge connection on \(\mathcal E_{\rm gauge}\) descends to the gluon, \(W\) , \(Z\) , photon towers via the isometries \(\mathfrak{su}(3)\) (on \(K_6\) ), \(\mathfrak{su}(2)\) (on \(S^2\) ), \(\mathfrak u(1)\) (on \(S^1_Y/\mathbb Z_2\) ); the Higgs doublet descends from the Wilson-line/Hosotani mode on \(\mathcal E_{\rm Higgs}\) with winding \(n_H=1\) ; the chiral fermions descend from \(S^{\rm spin^c}_{K_6}\otimes S^{\rm spin^c}_{S^2}\otimes L_Y\) via the chirality projector \(P_\chi = \tfrac12(1+\gamma_5\Gamma_8)\) on the internal 8-dimensional spinor bundle \(S(K_6)\otimes S(S^2)\otimes S(S^1_Y)\) , with the Atiyah–Singer–Patodi index on the orbifold interval \([0,\pi]\) giving \(n_L=+3\) , \(n_R=0\) — three left-handed families surviving, no mirror zero mode .

 Move C (⊕ Rulebook — apply the standard QFT theorem for each carrier's kinematic class, in scope). Having identified what descends, apply exactly the textbook theorem that is entitled to speak for that carrier's spin/gauge class: BRST/Kugo–Ojima for the non-abelian gauge sector, Gupta–Bleuler/BRST for the abelian photon sector, Higgs mechanism + Equivalence Theorem for the massive vectors, Fierz–Pauli TT structure + KK mass operator for the graviton tower, spin-statistics for the fermions, and Pauli–Jordan/Proca/Klein–Gordon/Dirac commutator theorems plus Epstein–Glaser causal perturbation theory for microcausality across the board. Above the cutoff, at strong coupling, nonperturbatively, or for the full infinite tower, none of these theorems is entitled to speak — the derivation stops there and the residual is named and exported (§II.7), never silently extended.

 This is the descent chain in compressed form:

 \[
\text{13D local action} \xrightarrow{\times\ \text{Stage: integrate out }K_6\times S^2\times S^1_Y/\mathbb Z_2} \text{4D effective action (local at finite KK truncation)}
$$
$$
\xrightarrow{\otimes\ \text{Actors: descend each carrier}} \text{graviton tower, gluons, }W/Z\text{, photon, Higgs, chiral fermions}
$$
$$
\xrightarrow{\oplus\ \text{Rulebook: apply the in-scope theorem per carrier}} \text{banked perturbative/finite-truncation certificate [DERIVED-GIVEN-E]}.
\]

 II.3 Step 2 — unitarity, sector by sector (the R6 leg)

 Unitarity is established by exhibiting, for every gauge/mass class of carrier, the mechanism that removes the unphysical (negative-norm or non-transverse) degrees of freedom from \(\mathcal H_{\rm phys}\) , given the axiom AXIOM-PHYSICAL-POSITIVITY (the quantum kinematics carries a positive-definite physical inner product — a corpus SHAPE/GRANULARITY posit, logically independent of causal order, scoped here to perturbative kinematics only).

 (a) Non-abelian gauge sector — gluons. The \(SU(3)_c\) connection arising from the \(K_6=SU(3)/T^2\) isometry is quantized with BRST/Faddeev–Popov gauge-fixing (⊕ Rulebook: BRST/FP gauge-fixing, Gribov domain understood as a scheme choice not resolved here). The BRST charge \(Q_{\rm BRST}\) acts on the off-shell Hilbert space built from gluon, ghost, and antighost oscillators; the Kugo–Ojima quartet mechanism groups the unphysical states — longitudinal gluon, timelike gluon, ghost, antighost — into BRST doublets that cancel exactly in any correlator of physical (BRST-closed, non-exact) operators. The surviving cohomology \(\mathcal H_{\rm phys}=\ker Q_{\rm BRST}/\operatorname{im}Q_{\rm BRST}\) carries only the two transverse gluon polarizations per color, with strictly positive norm. This mechanism is applied identically to every KK excitation of the gluon tower (each mode \((p,q)\) with \(C_2(p,q)\) from §II.4 carries its own quartet), not just the zero mode.

 (b) Abelian gauge sector — photon. The \(U(1)_Y\) -descended photon (after electroweak mixing with the neutral \(S^2\) -sourced gauge boson) is quantized via Gupta–Bleuler : the indefinite-metric Fock space built from all four polarizations is restricted by the Gupta–Bleuler subsidiary condition \(\partial^\mu A_\mu^{(+)}|\psi\rangle = 0\) , which is the abelian, non-ghost-mediated instance of the same BRST cohomology construction. Only the two transverse photon polarizations survive with positive norm; the timelike and longitudinal photon states are either absent from \(\mathcal H_{\rm phys}\) or occur in exactly canceling zero-norm pairs. Audit note (Nonseparability screen, PASS-with-note): the underlying BRST quartet object is the same construction used in (a); it is counted once across the gluon and photon sectors, not double-booked as two independent unitarity wins — this is a required, and passed, non-double-counting check.

 (c) Massive vector sector — \(W^\pm, Z\) . The \(S^2\) -sourced \(SU(2)_L\) gauge bosons acquire mass via the Higgs/Hosotani mechanism (Wilson-line winding \(n_H=1\) , potential \(V_{\rm Hos}(\theta_H) = -\frac{3}{64\pi^6 R_\gamma^4}\sum_{n=1}^\infty \frac{1}{n^5}[N_b-N_f]\cos(n\theta_H)\) , an absolutely convergent \(n^{-5}\) series guaranteeing a finite Higgs mass \(m_h\) ). The would-be third (longitudinal) polarization of \(W^\pm\) and \(Z\) is supplied by the eaten Goldstone modes of the Higgs doublet, and unitarity of longitudinal-vector scattering at high energy — which would otherwise grow like \(E^2/m_W^2\) and violate the perturbative unitarity bound — is restored by the Equivalence Theorem , which identifies the high-energy longitudinal-vector amplitude with the corresponding Goldstone-boson amplitude, finite because the Higgs sector is a renormalizable, unitary scalar theory below its own cutoff. No negative-norm state is introduced by the Stückelberg/Higgs construction; the physical spectrum after symmetry breaking is exactly 3 (massive vector) + 1 (physical Higgs) real bosonic degrees of freedom per generation of \(SU(2)_L\) doublet consumed, matching the Goldstone count with none left over.

 (d) Fermion sector. Spin-statistics (fermionic fields quantized with anticommutators) forbids a negative-norm outcome by construction — the wrong-statistics assignment that would produce negative norm is exactly the assignment the spin-statistics theorem excludes. This is consistent with, and reinforced by, the corpus's own no-mirror structure: the Atiyah–Singer–Patodi index computation (§II.2, Move B) gives \(n_L=+3\) chiral zero modes and \(n_R=0\) — there is no light mirror fermion in the spectrum to worry about, matching the observed absence of extra light species at LEP (the \(Z\) -lineshape bound on the number of light, weakly-coupled neutrino species).

 (e) Graviton sector. The graviton is projected onto its transverse-traceless (TT) representation via the Fierz–Pauli structure, which is precisely the ghost-avoiding tensor structure: the Fierz–Pauli mass term (or its massless limit for the zero mode) is tuned so that the scalar ghost mode present in a generic massive spin-2 Lagrangian is projected out, leaving the correct \(2\times(\text{helicity})+1\) physical polarizations at each KK mass level. This uses the certified Lichnerowicz operator spectrum on \(\operatorname{Sym}^2_0 T^*K_6\) (dimension 20, transverse-traceless): eigenvalues \(\{1/6\ (\times 6),\ 5/12\ (\times 6),\ 7/6\ (\times 6),\ 17/12\ (\times 2)\}\) in Killing normalization, with \(\operatorname{tr} E_L = 40/3\) and \(\operatorname{tr} E_L^2 = 241/18\) — the KK mass operator for the graviton tower is built from exactly this spectrum, and at no point does a pure-trace or longitudinal mode re-enter the physical spectrum.

 Conclusion of Step 2. Combining (a)–(e): \(\mathcal H_{\rm phys}\) built by this sector-by-sector construction has strictly non-negative norm everywhere , for every carrier in the given spectrum \(E\) and for every KK level in the finite truncation retained. This is the R6 leg: DERIVED-GIVEN-E + GIVEN AXIOM-PHYSICAL-POSITIVITY , perturbative. It decouples the unphysical sector given positivity; it does not itself establish positivity nonperturbatively (that deeper question — whether a positive-norm physical Hilbert space exists nonperturbatively for confining \(SU(3)_c\) — is R2, exported in §II.7).

 II.4 Step 3 — causality / microcausality, to all perturbative orders (the R7(a) leg)

 Tree-level commutators. Each free field descending from the 13D arena carries the standard causal two-point commutator/anticommutator of its kinematic class:

 Scalar (Higgs, each KK partner): Klein–Gordon commutator \([\phi(x),\phi(y)] = i\Delta(x-y;m)\) , with \(\Delta(x-y;m)=0\) for \((x-y)^2<0\) — the Pauli–Jordan function vanishes identically outside the lightcone by construction (it is built from the difference of positive- and negative-frequency two-point functions, which cancels for spacelike separation by Lorentz invariance plus the mass-shell delta function support).

 Massless vector (gluon, photon): Pauli–Jordan commutator \([A_\mu(x),A_\nu(y)] = -i\eta_{\mu\nu}\Delta(x-y;0)\) (in a covariant gauge), vanishing outside the lightcone by the same mechanism, mode-by-mode across the KK tower.

 Massive vector (each \(W/Z\) KK level): the Proca commutator, built from the same \(\Delta(x-y;m)\) with a \((\eta_{\mu\nu}+\partial_\mu\partial_\nu/m^2)\) tensor structure, vanishes outside the lightcone for the same reason — the extra \(\partial_\mu\partial_\nu/m^2\) piece does not reintroduce non-causal support because it acts on the already-vanishing \(\Delta(x-y;m)\) .

 Fermion (each chiral matter KK level): Dirac anticommutator \(\{\psi(x),\bar\psi(y)\} = (i\slashed\partial+m)\,i\Delta(x-y;m)\) , vanishing outside the lightcone by the same \(\Delta\) -function support.

 Graviton (zero mode and each KK level): the linearized Fierz–Pauli field commutator is built from the same Klein–Gordon \(\Delta(x-y;m_{\rm KK})\) dressed with the TT projector; the projector is a local (finite-derivative) operator, so it cannot smear the support of \(\Delta\) outside the lightcone.

 Every one of these carriers uses a mass \(m_{\rm KK}\) read off the KK spectrum formulas established on the frozen geometry: for a vector mode, \(m^2_{(p,q),{\rm vec}} = \big(C_2(p,q)+\Delta_{\rm vec}\big)/R_6^2\) ; for a Dirac (spin- \(\mathbb C\) ) mode, \(m^2_{(p,q),{\rm Dirac}} = \big(C_2(p,q)+\|\rho\|^2+\Delta_{{\rm spin}^c}\big)/R_6^2\) , with the quadratic Casimir

 \[
C_2(p,q) = \frac{p^2+q^2+pq+3p+3q}{3}, \qquad \dim(p,q)=\frac{(p+1)(q+1)(p+q+2)}{2},
\]

 and the exact Killing-normalization value \(\|\rho\|^2=2\) (the half-sum of positive roots of \(A_2=\mathfrak{su}(3)\) : simple roots \(\alpha_1=(1,-1,0)\) , \(\alpha_2=(0,1,-1)\) , positive roots \(\{\alpha_1,\alpha_2,\alpha_1+\alpha_2\}\) , \(\rho=\tfrac12\sum_{\alpha>0}\alpha=(1,0,-1)\) , so \(\|\rho\|^2 = 1^2+0^2+(-1)^2=2\) ). The lowest nonzero scalar/gauge harmonic sits at the adjoint representation \((p,q)=(1,1)\) , with \(\dim(1,1)=8\) and \(C_2(1,1)=3\) exactly (check: \((1+1+1+3+3)/3=9/3=3\) ), zero-weight multiplicity \(m_0=2\) . The overall KK scale is set by the compactification radius at the chamber center,

 \[
R_6 = R_0 = (2\pi M_U)^{-1} = 1.591549430918954\times 10^{-17}\ {\rm GeV}^{-1}, \qquad M_U = 1.0\times10^{16}\ {\rm GeV},
\]

 with the string/Planck-normalization companion scale \(M_* = 7.467050992135091\times10^{16}\) GeV fixed by \(M_*^{11} = M_{\rm Pl}^2/\operatorname{Vol}(X_{\rm active})\) (§II.6). Every one of these masses is real and non-negative — the spectral condition (energy positivity) holds at finite truncation because \(C_2(p,q)\ge 0\) for all admissible \((p,q)\) and \(\|\rho\|^2=2>0\) , so there is no tachyon anywhere in the retained tower; this non-tachyon property is a load-bearing input to the vanishing of every \(\Delta(x-y;m)\) above outside the lightcone (a tachyonic \(m^2<0\) would produce a \(\Delta\) -function with support leaking outside the lightcone, since the mass-shell hyperboloid degenerates).

 All-orders extension — Epstein–Glaser causal perturbation theory. The tree-level statements above are extended to all orders in perturbation theory by Epstein–Glaser (EG) causal perturbation theory, which constructs the interacting time-ordered products \(T(x_1,\dots,x_n)\) order by order in the coupling directly in position space, imposing causal factorization as a defining axiom at each order:

 \[
T(x_1,\dots,x_n) = T(x_1,\dots,x_k)\,T(x_{k+1},\dots,x_n) \quad \text{whenever } \{x_1,\dots,x_k\} \text{ is not in the causal future of } \{x_{k+1},\dots,x_n\}.
\]

 EG builds each new order's time-ordered product by causal splitting of a distribution with support only on the forward/backward lightcone of the previous order — the extension across the coincidence point \(x_i=x_j\) (the usual source of UV divergences) is fixed by a normalization condition that never introduces support outside the lightcone; any freedom left over (the renormalization ambiguity) is finite-order polynomial-in-derivatives, i.e. local, counterterms, which by construction respect microcausality. Applying this order by order to every vertex generated by the 13D-descended interactions (gauge, Yukawa, Higgs self-coupling, and graviton minimal coupling, each dressed by the appropriate KK sum) extends the tree-level vanishing commutator to the full perturbative series: \([\mathcal O(x),\mathcal O(y)]=0\) for \((x-y)^2<0\) at every finite order , for every local observable built from these fields. This is the R7(a) leg: DERIVED-GIVEN-E , perturbative, all orders — and it is explicitly silent above the cutoff , where the perturbative expansion itself is not under control (that silence is R1, exported in §II.7; asserting that all-orders-perturbative microcausality implies above-cutoff causality is one of the four named forbidden crosses, §II.8).

 II.5 Step 4 — locality / cluster decomposition at finite KK truncation (the R5 leg)

 Locality of the 4D effective action. As established in Move A (§II.2), the 4D effective Lagrangian obtained by integrating the local 13D Lagrangian over \(K_6\times S^2\times S^1_Y/\mathbb Z_2\) at each point of \(\mathcal M_4\) is itself local — it is a finite (at any given truncation) sum of local 4D field monomials, each built from a finite number of spacetime derivatives, because the internal-manifold integral only ever produces \(c\) -number coefficients (Clebsch–Gordan-type overlap integrals of KK wavefunctions) multiplying the 4D fields and their derivatives; it never produces a term with infinitely many derivatives or a genuinely non-local (integral) kernel in \(\mathcal M_4\) as long as only a finite number of KK modes are retained in the sum .

 Where the non-localities actually live. When heavy KK modes above some retained level \(M_{\rm KK}\) are integrated out (as opposed to simply truncated), they are replaced by their classical equations of motion, generating an effective action for the light modes with corrections organized as a power series in \(E^2/M_{\rm KK}^2\) (where \(E\) is the external momentum scale of the light-mode process). Because each heavy KK propagator \(1/(p^2-M_{\rm KK}^2)\) is analytic in \(p^2\) for \(|p^2|\ll M_{\rm KK}^2\) , its low-energy expansion \(-1/M_{\rm KK}^2\big(1+p^2/M_{\rm KK}^2+\cdots\big)\) is a convergent power series with no branch cut and no long-range non-analytic tail — this is what makes the corrections local (higher-derivative but still polynomial-in-momentum) rather than truly non-local (which would require a non-analytic form factor, e.g. \(\sqrt{p^2}\) or \(\log p^2\) , of the kind produced by integrating out a genuinely massless or gapless sector). This is the precise sense of "local at any finite truncation, with only analytic \(O(E^2/M_{\rm KK}^2)\) -suppressed corrections."

 Cluster decomposition. Given (i) the spectral condition — energy positivity, no tachyon in the retained tower (established in §II.4), (ii) Lorentz covariance of the descended 4D action (inherited automatically since \(\mathcal M_4=\mathbb R^{3,1}\) carries the flat Minkowski metric untouched by the internal-manifold integration), and (iii) locality of the action (just established), the standard argument for cluster decomposition in local, Lorentz-covariant, spectrum-condition-respecting QFT applies without modification: the connected part of any \(n\) -point function of local operators falls off (indeed vanishes, for strictly local operators at spacelike separation via microcausality, or falls exponentially/polynomially depending on the mass gap for timelike/lightlike separations) as the operators are pulled apart, so that widely separated measurements factorize, \(\langle \mathcal O(x)\mathcal O(y)\rangle \to \langle\mathcal O(x)\rangle\langle\mathcal O(y)\rangle\) . This is the R5 leg: DERIVED-GIVEN-E , perturbative/EFT, valid at any finite KK truncation with \(E\ll M_{\rm KK}\) . The full infinite-tower statement — does cluster decomposition survive summing the entire KK tower, including its accumulation point, rather than a finite truncation? — is not established here; it is the R3 residual, exported to compactification-stability analysis (§II.7), with a clean pre-registered falsifier: a tachyonic KK mode anywhere in the (in-principle infinite) tower would immediately violate the spectral-condition premise this argument rests on.

 II.6 The Planck-scale normalization underwriting the finite-truncation regime

 For the finite-truncation regime ( \(E\ll M_{\rm KK}\) ) invoked throughout §§II.3–II.5 to be a physically sensible regime (rather than an empty statement about a KK scale coincident with the energies being probed), the KK scale must sit parametrically below the scale at which quantum-gravitational/strong-coupling effects take over. The frozen geometry fixes this consistently: the active internal volume is

 \[
\operatorname{Vol}(K_6)(\vec u) = V_{K_6,0}\,R_6^6\sqrt{u_1u_2u_3}, \qquad V_{K_6,0}=\frac{(2\pi)^3}{\sqrt3} = 143.2118575035129,
\]

 evaluated at the Weyl-rigid chamber center \(\vec u=(1,1,1)\) , giving \(\operatorname{Vol}(K_6) = 2.327554010848277\times10^{-99}\ {\rm GeV}^{-6}\) , \(\operatorname{Vol}(S^2)=4\pi R_0^2 = 3.183098861837907\times10^{-33}\ {\rm GeV}^{-2}\) , and \(\operatorname{Vol}(S^1_Y/\mathbb Z_2)=\pi R_0 = 5.000000000000000\times10^{-17}\ {\rm GeV}^{-1}\) (exact, \(=1/(2M_U)\) , since the parent-circle \(2\pi\) cancels the \(2\pi\) inside \(R_0\) ), so that

 \[
\operatorname{Vol}(X_{\rm active}) = \operatorname{Vol}(K_6)\operatorname{Vol}(S^2)\operatorname{Vol}(S^1_Y/\mathbb Z_2) = 3.704417261398702\times10^{-148}\ {\rm GeV}^{-9}.
\]

 The ordinary Planck mass is then reproduced by the dimensional-reduction relation \(M_{\rm Pl}^2 = M_*^{D-2}\operatorname{Vol}(X_{\rm active})\) with \(D=13\) (so \(D-2=11\) powers of the fundamental 13D scale \(M_*\) multiply the 9-dimensional internal volume):

 \[
M_*^{11} = \frac{M_{\rm Pl}^2}{\operatorname{Vol}(X_{\rm active})} = 4.023836152402511\times10^{185}\ {\rm GeV}^{11}, \qquad M_* = 7.467050992135091\times10^{16}\ {\rm GeV}.
\]

 This confirms \(M_*\) and \(M_U=10^{16}\) GeV sit within roughly an order of magnitude of each other and both are parametrically far below \(M_{\rm Pl}=1.220900000000000\times10^{19}\) GeV — i.e., the finite-KK-truncation window \(E \ll M_{\rm KK}\sim M_U \ll M_{\rm Pl}\) used throughout §§II.3–II.5 is a genuinely non-trivial, wide window, not a vacuously narrow one; it is only above \(M_U/M_*\) , where the KK tower itself goes strongly coupled and eventually the full quantum-gravity regime is reached near \(M_{\rm Pl}\) , that the derivation above stops applying — precisely the boundary named as R1 in §II.7.

 II.7 The measured leg — no superluminal graviton (the R7(b) leg)

 None of §§II.3–II.6 is an empirical statement; they are theorems applied to the given spectrum \(E\) on the given geometry. Exactly one genuinely empirical fact is layered on top, and it is kept sharply separated from the derived legs. The measured atom is the two-detector clock-time coincidence, of duration ~1.7 s , recorded at a shared apparatus (the LIGO/Virgo interferometer network and the Fermi Gamma-ray Burst Monitor/INTEGRAL) between the gravitational-wave trigger GW170817 and the gamma-ray trigger GRB170817A from the same binary-neutron-star merger event. Given three explicitly named, non-irreducible co-premises — (a) a common-emission-time model for the merger (the gravitational and electromagnetic signals are assumed to originate within a short window of each other astrophysically), (b) the ~40 Mpc distance-ladder baseline over which both signals traveled, and (c) the prior assumption of a shared causal order (needed even to state that "two propagation speeds" are being compared at all) — this atom yields the bound

 \[
\frac{|c_g-c|}{c} < 10^{-15}.
\]

 This bound is the statement that the graviton zero-mode (the massless, TT spin-2 mode of the descended graviton tower, §II.3(e)) propagates causally, at the same speed as light, to extraordinarily high precision. It is classified MEASURED-ANCHOR / IRREDUCIBLE , carrying floor \(\ge 1\) : no further "reduction" of this number to the geometry is attempted or possible — the ~1.7 s coincidence is the atomic fact, and treating it as something to be derived from the frozen geometry (rather than matched by it) would be the cardinal sin of anchoring on the target. This leg covers explicitly and only the zero-mode, low-energy, single-baseline graviton; it says nothing about the strongly-coupled, above-cutoff, or full-KK-tower graviton sector (this restriction is enforced as one of the four forbidden crosses, §II.8).

 II.8 The forbidden-cross specificity test

 To certify that the four banked legs (R5, R6, R7(a), R7(b)) are scoped exactly to where standard QFT and the one measurement are entitled to speak, and are never silently stretched, the derivation is required to refuse four specific logical crosses:

 R5 ↛ R3. Finite-KK-truncation locality (§II.5) does not imply full-infinite-tower cluster decomposition. The argument in §II.5 used a finite sum to guarantee analyticity of the integrated-out propagators; summing an infinite tower requires convergence/completeness properties not established here.

 R6 ↛ R2. Perturbative ghost/unphysical-state cancellation (§II.3), which holds given AXIOM-PHYSICAL-POSITIVITY, does not imply nonperturbative \(SU(3)_c\) confinement-sector positivity. Confinement is a strong-coupling phenomenon outside the reach of the perturbative BRST quartet argument.

 R7(a) ↛ R1. All-orders-perturbative microcausality via Epstein–Glaser (§II.4) does not imply above-cutoff causality. EG causal perturbation theory is itself a perturbative construction; it says nothing about what happens once the coupling expansion breaks down.

 \(c_g \not\to\) full-QG causality. The single-baseline, zero-mode graviton-speed bound (§II.7) does not cover the strongly-coupled graviton sector or the full KK tower — it is one measurement of one mode at one (astrophysically low) energy.

 Each of these four crosses is a fabrication if asserted; none is asserted anywhere in this derivation. Passing this test is itself part of the positive content of the derivation — it is the difference between a genuine, scoped QFT-membership certificate and an over-claimed one.

 II.9 Assembly — the single class-membership statement

 Collecting §§II.3–II.8: given the carrier content \(E\) , on the frozen 13D arena with all three layers pinned as in §II.2, at any finite KK truncation and order by order in perturbation theory, the descended 4D theory satisfies (U) via the sector-by-sector ghost/unphysical-state cancellation of §II.3 (given AXIOM-PHYSICAL-POSITIVITY), (C) via the all-orders microcausality of §II.4 (given the non-tachyonic finite-truncation spectrum of §II.4 and the Planck-scale window of §II.6), and (L) via the finite-truncation locality/cluster-decomposition argument of §II.5, with the graviton zero-mode additionally certified causal to measured precision by §II.7. These three properties are not three independent successes to be tallied — they collapse into the single statement

 \[
\textbf{unitarity} \;\wedge\; \textbf{causality} \;\wedge\; \textbf{locality} \;\Longleftarrow\; \text{C-net-membership}(E_{\rm frozen}), \quad \text{below cutoff, at finite KK truncation},
\]

 i.e., membership in the Wightman/Haag–Kastler axiomatic-QFT class, established as DERIVED-GIVEN-E , resting on the axiom floor of §II.10. This is the entire positive content of UQF-14: not a new number, but a certified, scoped, non-stretched membership claim, with every place the claim legitimately stops named and routed rather than hidden.

 II.10 The axiom floor underneath the derivation

 The derivation chain above bottoms out, by explicit construction, on exactly the following floor — no fewer, and the specialist drive-to-axioms search found no sixth reduction available without either (a) reducing corpus-level Shape/Scale/Granularity from inside this gate (out of scope for UQF-14) or (b) deriving a measurement from structure (forbidden on principle, the cardinal anchoring-on-target sin):

 AXIOM-BARE-COINCIDENCE-KERNEL — the recorded ~1.7 s two-trigger clock-coincidence at a shared apparatus (§II.7). Deep root: Record-interface/Scale; the measured bound is the anchor. ATOMIC , carries floor \(\ge 1\) . TERMINAL.

 AXIOM-SHARED-CAUSAL-ORDER — there exists a shared causal order, which is what licenses statements like "spacelike," "lightcone," and "compare two propagation speeds" in the first place. Deep root: corpus SHAPE. Not atomic in itself, but reduces to a named corpus-level SHAPE posit — terminal at the corpus level, not owed inside this gate.

 AXIOM-PHYSICAL-POSITIVITY — the quantum kinematics carries a positive-definite physical inner product (used throughout §II.3). Deep root: corpus quantum-kinematics SHAPE/GRANULARITY; logically independent of the causal-order axiom (a separate root, not derivable from it). Scoped explicitly to perturbative kinematics only — the nonperturbative positivity question for confining Yang–Mills is exported as R2, not covered by this posit.

 AXIOM-SUBSTRATE-DISPOSITION — the substrate/granularity/scale disposition that the entire descent (§II.2, Move A) presumes. Deep root: corpus GRANULARITY/SCALE; the deepest structural premise reached in this chain. Terminal as a named posit.

 AXIOM-CAUSAL-NET-MEMBERSHIP — the descended theory is a member of the axiomatic-QFT (C-net) class; this is precisely the derivation assembled in §II.9, obtained from the two structural roots plus the substrate posit, given \(E\) . Status: DERIVED-GIVEN-E (a conjecture/theorem-debt discharged in-scope, never asserted as a finished, unconditional theorem). R5, R6, R7(a) are its in-scope instances.

 AXIOM-SCOPE-TAG-VALIDITY — the discipline meta-rule enforced throughout this section: NO-CROSS-CUTOFF-LIFT (§II.8) plus EXPORT-NOT-CLOSE (§II.11). A non-physics meta-rule, floor 0, never itself promoted to a physical claim.

 Fixed-point judgment. Exactly one empirical atom (measured, floor \(\ge 1\) satisfied); every other member of the floor is terminal in its own right — either a named corpus-level posit (buck stops outside this gate, not owed here), a derivation explicitly tagged DERIVED-GIVEN-E , or a discipline meta-rule. This is a converged fixed point, confirmed by the record/audit interface (verdict AUDIT_COMPLETE_OPEN — an honest statement that the bookkeeping has stabilized, explicitly not a claim of physical closure; convergence of the reasoning is evidence the audit is done, not a proof about nature). All four Layer-2 audit screens pass on the banked legs: Invariance (every norm/commutator statement above is gauge/BRST-invariant by construction — Kugo–Ojima and Gupta–Bleuler are exactly the invariance-respecting quotients used); Record Interface (the observables are finite: \(S^\dagger S=1\) order by order, \([\mathcal O(x),\mathcal O(y)]=0\) at spacelike separation); Causal Order (the theorems in §§II.3–II.6 run forward from the given \(E\) ; no observational target was fed backward into the construction — this section built the vanishing commutators and cancellations from the spectrum data, never selected spectrum data to produce a wanted commutator); Nonseparability (the shared Kugo–Ojima/BRST quartet across the gluon and photon sectors, §II.3(a)–(b), is counted once, flagged explicitly, not double-booked).

 II.11 What is explicitly not derived here — the residuals, named and routed

 The derivation in §§II.2–II.9 is exhaustive of what standard QFT, applied without stretching, can establish on this geometry given \(E\) . Six items are explicitly outside its reach and are named rather than absorbed:

 R1 — above-cutoff graviton + full-KK-tower unitarity (Froissart-respecting high-energy growth of KK-graviton amplitudes). Not established by §II.3(e), which is a finite-truncation, below-cutoff statement. Routed to UQF-9/B3 (the universal UV-completion wall).

 R2 — nonperturbative strong-sector (positive-norm) unitarity , i.e. confinement/mass-gap positivity for \(SU(3)_c\) . Not established by §II.3(a)/(b), which assumed AXIOM-PHYSICAL-POSITIVITY as a given , perturbative premise rather than proving it nonperturbatively. Routed to UQF-11/Gap-02 (the Clay Yang–Mills mass-gap problem).

 R3 — full infinite-KK-tower cluster decomposition. Not established by §II.5, which is explicitly a finite-truncation statement. Routed to UQF-10 (compactification stability), itself downstream of UQF-9/B3. Falsifier: a tachyonic KK mode anywhere in the tower.

 R4 — nonperturbative electroweak effects (instantons/sphalerons/high-temperature \(B\) -violation). Scoped out of §II.3(c), which addressed only the perturbative Higgs/Equivalence-Theorem unitarization. Routed to BG-10 .

 H5 — an independent re-derivation of the full per-sector ledger (ghost + commutator inventory for every carrier, including every KK partner). This is the one item closeable inside UQF-14 in principle (optional, near-term); it has not been separately re-derived line-by-line in this section beyond the constructions of §§II.3–II.4.

 H6 — order-by-order BRST nilpotency , \(Q_{\rm BRST}^2=0\) , of the full descended 4D theory. Used implicitly throughout §II.3 (the cohomological construction of \(\mathcal H_{\rm phys}\) presumes \(Q_{\rm BRST}^2=0\) ) but not verified order by order here. Routed to UQF-4 (order- \(\hbar\) BV-Laplacian nilpotency, currently uncomputed) — honest theorem-debt with no known route today. A nilpotency failure at any loop order would falsify the unitarity construction of §II.3.

 R1 and R3 both bottom on the same object (B3, the universal UV-completion wall) viewed from two different gates; this is counted once , not as two independent open problems.

 Nothing in §§II.2–II.9 is invalidated by these six exports: each is a boundary the derivation reaches and stops at honestly, not a hole punched in the interior of the argument. The single unicorn behind all of R1–R4 — proving unitarity/causality/locality above the cutoff for every conceivable UV completion of quantum gravity — is a universal negative over an open-ended domain, identical to the field-wide unsolved UV-completion problem; it is dissolved as a limit on all present knowledge, not treated as a gap specific to this derivation.

 Construction III - the central result at full precision

 UQF-14 has no free numerical target of its own — it is an audit/routing node, not a compute gate — so its "central result" is not a single fitted coefficient but a theorem-membership statement with an exact, fully-quantified derivation chain behind it , plus one measured floor. That statement is:

 \[
\boxed{\ \text{unitarity}\ \wedge\ \text{causality}\ \wedge\ \text{locality}\ \Longleftarrow\ \text{C-net-membership}(E_{\rm frozen})\ \Big|_{\substack{\text{below cutoff}\\ \text{finite KK truncation}}}\ }
\]

 i.e. the 4D theory descended from the frozen 13D arena is a member of the Wightman/Haag–Kastler class — a Poincaré-covariant net of local observable algebras acting on a positive-definite physical Hilbert space \(\mathcal H_{\rm phys}=\ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) , with spacelike-commuting observables and energy positivity — exactly in the regime where standard QFT is entitled to speak: below the compactification/unification cutoff, at any finite Kaluza–Klein (KK) truncation, order by order in perturbation theory. This section derives that membership claim leg by leg, with every coefficient, spectrum, and bound that it rests on shown to full precision and cross-checked, and states the one non-derivable, purely empirical input (the graviton-speed floor) with its exact bound and its three named co-premises.

 III.1 — Setting up the exact object: the physical Hilbert space and the three legs it must satisfy

 The frozen arena is the complete layered object

 \[
\mathfrak B_{\rm active}=\big[\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2\big]_\times \ \oplus\ \big[\mathcal F^+_{\rm finite}\oplus\mathcal C_{\rm admiss}\big]_\oplus\ \otimes\ \big[\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton}\big]_\otimes,
\]

 with \(K_6=SU(3)/T^2\) (the full \(A_2\) flag manifold) and total metric dimension \(D=4+6+2+1=13\) ; the \(\oplus\) Rulebook and \(\otimes\) Actors layers carry zero metric dimension but are load-bearing and can never be silently dropped from the object under audit. The gate's target object is the physical state space after gauge-fixing and BRST quotient,

 \[
\mathcal H_{\rm phys}=\ker Q_{\rm BRST}\big/\mathrm{im}\,Q_{\rm BRST},
\]

 and the three sanity pillars translate into three exact mathematical demands on this object:

 Unitarity: the \(S\) -matrix restricted to \(\mathcal H_{\rm phys}\) satisfies \(S^\dagger S=\mathbb 1\) order by order, i.e. \(\mathcal H_{\rm phys}\) carries a positive-definite inner product with no residual negative-norm ("ghost") state.

 Causality (microcausality): for any two local observables \(O(x)\) , \(O(y)\) built from the descended fields, \([O(x),O(y)]=0\) whenever \((x-y)\) is spacelike.

 Locality/cluster decomposition: the 4D effective action is local (no non-analytic long-range kernel connecting well-separated points) at any finite KK truncation, and measurements at spacelike-separated regions factorize.

 Because these three properties are logically bundled by the axiomatic-QFT (Wightman/Haag–Kastler) framework itself — a Poincaré-covariant net of local algebras with a positive physical inner product automatically enforces all three simultaneously once energy positivity (the spectral condition) holds — the "central computation" of this gate is precisely exhibiting the C-net-membership witnesses, sector by sector and to the correct perturbative order, and showing that the spectral condition holds at finite truncation. There is no scalar number to fit; there is an exact operator/spectrum audit to complete, which is what follows.

 III.2 — Leg 1 (unitarity): the ghost/positivity ledger, sector by sector, DERIVED-GIVEN-E 

 The full endomorphism data needed to check \(\mathcal H_{\rm phys}\) for negative-norm states is supplied by the \(\otimes\) Actors layer of the frozen arena, carrier by carrier. Each sector's mechanism is a standard, decades-old QFT theorem — the corpus content is which mechanism attaches to which carrier and that none is stretched past its proven domain:

 Gluon sector ( \(SU(3)_c\) , carried by the \(K_6=SU(3)/T^2\) isometry \(\mathfrak{su}(3)\) ). The BRST operator \(Q_{\rm BRST}\) acting on the off-shell gauge multiplet (gauge field \(A\) , field strength \(F\) , representation \(\rho_{\rm rep}\) , plus the KK tower) organizes the unphysical content into Kugo–Ojima quartets : a BRST doublet pair (longitudinal gluon \(\leftrightarrow\) Nakanishi–Lautrup field) paired with a second BRST doublet (Faddeev–Popov ghost \(\leftrightarrow\) antighost). Each quartet has vanishing net norm in \(\mathcal H_{\rm phys}\) by the defining property of a BRST doublet, so the full quartet decouples from all physical correlators. This is the standard Kugo–Ojima confinement-independent unitarity mechanism; it requires only BRST exactness of the quartet structure, which holds order by order in the gauge coupling given the ⊗-Actors gauge-fixing/Gribov-domain data already pinned in the arena. Result: zero surviving negative-norm gluon-sector states , DERIVED-GIVEN-E .

 Electroweak massive sector ( \(W^\pm\) , \(Z\) ). The would-be fourth (timelike) polarization of a massive vector is removed by the Higgs mechanism : the Goldstone modes of the Higgs doublet \(\mathcal E_{\rm Higgs}\) (Wilson-line/Hosotani origin on the cycle \(\gamma\) , integer winding \(n_H=1\) ) are eaten to supply the longitudinal polarization, and the Equivalence Theorem guarantees that high-energy amplitudes involving longitudinal \(W_L,Z_L\) equal, up to \(O(m_W/E)\) corrections, the corresponding Goldstone-boson amplitudes computed in the unbroken theory — which are manifestly unitary because they descend from the same BRST-exact gauge-fixed Lagrangian. Result: no negative-norm or superluminal growth from the massive electroweak sector , DERIVED-GIVEN-E .

 Photon sector ( \(U(1)_{\rm em}\) ). The same Kugo–Ojima/BRST quartet mechanism that removes the gluon's unphysical polarizations removes the photon's negative-norm timelike state via the Gupta–Bleuler indefinite-metric quotient — this is the same shared BRST-quartet object as the gluon leg, not an independent mechanism, and the Layer-2 Nonseparability audit screen explicitly flags this and counts it once , not as two independent wins (double-counting a shared quartet would be a fabricated over-count of the certificate's strength).

 Fermion sector (spin-statistics, no mirrors). Wrong-statistics assignment is the generic route to a negative-norm state in a theory with fermionic carriers; the spin-statistics theorem forecloses it given the correct spin assignment, which here is fixed by the Atiyah–Singer–Patodi index computed on the orbifold interval \([0,\pi]\) of \(S^1_Y/\mathbb Z_2\) : with the chirality projector
$$
P_\chi=\tfrac12\big(1+\gamma_5\Gamma_8\big),
$$
 \(\Gamma_8\) acting on the internal 8-dimensional spinor bundle \(S(K_6)\otimes S(S^2)\otimes S(S^1_Y)\) , the index returns \(n_L=+3\) , \(n_R=0\) : three left-handed chiral families and no surviving mirror zero mode . This matches the observed absence of extra light (mirror) fermion species at LEP and forecloses the wrong-statistics loophole. Result: no negative-norm state from fermion statistics , DERIVED-GIVEN-E .

 What this leg does NOT do (forbidden cross R6 ↛ R2, named explicitly). Every one of the four mechanisms above is a perturbative decoupling: it removes unphysical polarizations order by order in the coupling, given that the physical inner product is positive-definite to begin with (AXIOM-PHYSICAL-POSITIVITY, scoped to perturbative kinematics). None of them establishes that positivity nonperturbatively for the confining \(SU(3)_c\) sector — that is a separate, harder statement (positive-norm physical Hilbert space for confining Yang–Mills), and it is precisely the content of the Clay Millennium Yang–Mills mass-gap problem. Asserting "Kugo–Ojima quartet cancellation \(\Rightarrow\) confinement is unitary" would be exactly the forbidden cross the brief flags; it is not asserted here. This gap is routed as R2 → UQF-11/Gap-02 (§III.6).

 III.3 — Leg 2 (causality): the exact commutator ledger and its all-orders extension

 Microcausality is checked commutator by commutator, carrier by carrier, using the standard free-field two-point function structure, and then extended to all orders using causal perturbation theory. The complete carrier list, with the exact linear PDE each obeys:

 Carrier 
 Field equation 
 Commutator/anticommutator 
 Vanishes outside lightcone? 

 Graviton zero-mode (TT) 
 linearized Einstein / Fierz–Pauli, massless spin-2 
 Pauli–Jordan \(\Delta(x-y)\) (massless) 
 Yes, exactly, tree level 

 Graviton KK tower \((p,q)\) 
 Fierz–Pauli, massive spin-2, \(m^2_{(p,q)}\) per §III.4 
 Pauli–Jordan \(\Delta_m(x-y)\) (massive) 
 Yes, exactly, tree level 

 Gluons 
 Yang–Mills, massless spin-1 
 Pauli–Jordan \(\Delta(x-y)\) 
 Yes 

 \(W^\pm, Z\) 
 Proca (post-Higgs), massive spin-1 
 Proca commutator \(\Delta_{m_W},\Delta_{m_Z}\) 
 Yes 

 Photon 
 Maxwell, massless spin-1, Gupta–Bleuler quotient 
 Pauli–Jordan \(\Delta(x-y)\) 
 Yes 

 Higgs 
 Klein–Gordon, massive scalar 
 \(\Delta_{m_h}(x-y)\) 
 Yes 

 Each chiral fermion + KK partner 
 Dirac, mass from \(m^2_{(p,q),\rm Dirac}\) per §III.4 
 Dirac anticommutator \(S_m(x-y)\) 
 Yes 

 Each row is the textbook statement that the free-field two-point commutator/anticommutator of a Klein–Gordon, Proca, Maxwell, Fierz–Pauli, or Dirac field is built from the Pauli–Jordan function \(\Delta_m(x)\) (or its spinorial dressing \(S_m(x)=(i\slashed\partial+m)\Delta_m(x)\) ), which is a Lorentz-invariant distribution supported on and inside the lightcone — \(\Delta_m(x)=0\) for \(x^2<0\) — by construction from the mass-shell \(\delta\) -function integral. This holds identically for every mass value, so it holds for the zero-mode and for every KK excitation without exception, at tree level.

 All-orders extension (Epstein–Glaser). Tree-level microcausality alone would not survive loop corrections automatically; the extension is supplied by Epstein–Glaser causal perturbation theory , which builds the perturbative \(S\) -matrix order by order via causal (rather than naively divergent) splitting of time-ordered products, with the defining causality axiom
$$
T(x_1,\dots,x_n)=T(x_1,\dots,x_k)\,T(x_{k+1},\dots,x_n)\quad\text{whenever }{x_1,\dots,x_k}\text{ is not in the causal past of }{x_{k+1},\dots,x_n},
$$
imposed as a construction constraint on the renormalized time-ordered products at every order, rather than checked post hoc. Because this is a constraint on the construction procedure itself, and the procedure is carrier-agnostic (it operates on the same free-field two-point functions tabulated above), it extends microcausality to all loop orders for every carrier in the table, without introducing a single non-causal counterterm. This is the content of the DERIVED-GIVEN-E (perturbative all-orders) tag on Leg 2.

 What this leg does NOT do (forbidden cross R7 ↛ R1, named explicitly). The Epstein–Glaser construction is manifestly a perturbative (order-by-order-in-coupling) statement; it says nothing about causality once the expansion parameter itself becomes large — i.e. above the cutoff, where the graviton and the KK tower go strongly coupled. Asserting "all-orders perturbative microcausality \(\Rightarrow\) above-cutoff causality" is exactly the forbidden cross named in the brief; the two are logically disjoint statements, and only the below-cutoff one is established. This gap is routed as R1 → UQF-9/B3 (§III.6).

 III.4 — The exact KK spectrum data the causality/locality legs ride on

 Both Leg 2 (causality: which masses populate the Pauli–Jordan/Dirac commutators) and Leg 3 (locality: the KK mass gap controlling the EFT expansion) depend on the same underlying spectral data on \(K_6=SU(3)/T^2\) , quoted here at full precision.

 Root system and Casimir. \(A_2=\mathfrak{su}(3)\) has simple roots \(\alpha_1=(1,-1,0)\) , \(\alpha_2=(0,1,-1)\) , \(\alpha_1+\alpha_2=(1,0,-1)\) ; the half-sum of positive roots is \(\rho=\tfrac12(\alpha_1+\alpha_2+(\alpha_1+\alpha_2))=(1,0,-1)\) , giving the exact Killing-normalization value

 \[
\|\rho\|^2 = 1^2+0^2+(-1)^2 = 2.
\]

 The quadratic Casimir and dimension for the \((p,q)\) representation of \(SU(3)\) are

 \[
C_2(p,q)=\frac{p^2+q^2+pq+3p+3q}{3},\qquad \dim(p,q)=\frac{(p+1)(q+1)(p+q+2)}{2}.
\]

 For the adjoint \((1,1)\) (dimension \(\dim(1,1)=\tfrac{2\cdot2\cdot4}{2}=8\) ):

 \[
C_2(1,1)=\frac{1+1+1+3+3}{3}=\frac{9}{3}=3\quad\text{(exact)}.
\]

 This is the lowest nonzero scalar harmonic on \(K_6\) , with zero-weight multiplicity \(m_0=2\) — the first rung of the KK tower above the zero mode, confirmed independently against the Peter–Weyl decomposition \(L^2(K_6,E_\mu)=\bigoplus_{(p,q)}V_{(p,q)}\otimes\mathrm{Hom}_{T^2}(V_{(p,q)},E_\mu)\) , whose scalar-sector multiplicity is exactly the zero-weight multiplicity \(m_0(p,q)\) .

 KK masses. Over the compactification radius \(R_6\) ,

 \[
m^2_{(p,q),\rm vec}=\frac{C_2(p,q)+\Delta_{\rm vec}}{R_6^2},\qquad
m^2_{(p,q),\rm Dirac}=\frac{C_2(p,q)+\|\rho\|^2+\Delta_{{\rm spin}^c}}{R_6^2},\quad \|\rho\|^2=2,
\]

 with \(\Delta_{{\rm spin}^c}\) the spin- \(\mathbb C\) shift fixed by the line-bundle Chern class so that the chiral zero-mode count returns the family index \(\chi(K_6,E)=-3\) exactly (three generations). At the chamber center \(\vec u=(1,1,1)\) (Weyl-rigid, the only admissible point after the squashing selector),

 \[
R_6=R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ {\rm GeV^{-1}},\qquad M_U=1.0\times10^{16}\ {\rm GeV},
\]

 and the associated string/Planck-normalization scale is

 \[
M_*=7.467050992135091\times10^{16}\ {\rm GeV}.
\]

 Because \(C_2(p,q)\ge0\) for every \((p,q)\) with \(C_2(0,0)=0\) (trivial rep only) and \(\|\rho\|^2=2>0\) , every mass-squared entry in both towers is manifestly non-negative at finite truncation — there is no tachyon among any finite set of retained KK levels. This is the exact statement of the spectral condition (energy positivity) required for C-net membership, verified here directly from the sign of \(C_2(p,q)+\Delta\) rather than assumed. The only honestly open item is whether this remains true after summing the full infinite tower (a statement about convergence/stability of the tower as a whole, not about any finite subset) — this is not silently assumed; it is the named residual R3 (§III.6), with an explicit, falsifiable trigger: a single tachyonic KK mode found anywhere in the tower falsifies the finite-truncation-level claim itself, not just R3. 

 III.5 — Leg 3 (locality): finite-truncation EFT locality and cluster decomposition

 The 13D action is local by construction — it is built from a Lagrangian density that depends on fields and a finite number of their derivatives at a single 13D point, with no nonlocal kernel anywhere in the frozen arena's definition. Locality descends to 4D by the standard Kaluza–Klein integration-by-parts argument: writing any 13D field as a mode sum over the internal harmonics of \(K_6\times S^2\times S^1_Y/\mathbb Z_2\) and integrating the action over the compact factors at each fixed \(\mathcal M_4\) point produces a 4D effective Lagrangian

 \[
\mathcal L_{4D}(x)=\int_{X_{\rm int}}\sqrt g\;\mathcal L_{13D}\big(\Phi(x,y)\big)\,d^{9}y,\qquad X_{\rm int}=K_6\times S^2\times S^1_Y/\mathbb Z_2\ \ (\text{9-dimensional}),
\]

 which, once any finite number of KK modes is retained, is manifestly a local 4D Lagrangian in the fields that survive truncation, plus a tower of local higher-dimension operators generated by integrating out the modes above the truncation scale \(M_{\rm KK}\) . Those integrated-out effects appear as an analytic power series in \(E^2/M_{\rm KK}^2\) — a Wilson-coefficient expansion with no branch cut, no \(1/(x-y)^n\) long-range tail, and no non-analytic structure at low momentum, because the modes being integrated out are all massive (mass gap set by \(C_2(1,1)/R_6^2=3/R_6^2\) at minimum for the first excited level) and their contribution to the effective action is a convergent derivative expansion. Given locality of the 4D effective action, cluster decomposition — factorization of expectation values of well-separated local observables — follows by the standard argument combining (i) the spectral condition (verified finite-truncation non-tachyonic, §III.4), (ii) Lorentz covariance of the truncated action, and (iii) locality of the action itself; this triad is precisely what a Haag–Kastler net requires.

 What this leg does NOT do (forbidden cross R5 ↛ R3, named explicitly). The argument above is stated, and only holds, "at any finite truncation" — it says nothing about the limit of summing the entire infinite tower, where convergence of the Wilson-coefficient series and stability of the resulting effective action are separate, unproven statements. Asserting "finite-truncation locality \(\Rightarrow\) full-infinite-tower cluster decomposition" is exactly the forbidden cross named in the brief. This gap is routed as R3 → UQF-10 (§III.6), downstream of the same UV-completion wall as R1.

 III.6 — The measured floor: graviton luminality, exact bound and its co-premises

 The one leg of this gate that is not a derivation from the geometry at all — and is not claimed to be — is the graviton zero-mode's propagation speed. The measured atom is the ~1.7 s two-detector clock-time coincidence between the LIGO/Virgo gravitational-wave trigger GW170817 and the Fermi/INTEGRAL gamma-ray trigger GRB170817A, recorded at a shared apparatus/timing reference. From this coincidence, given three named, explicitly non-irreducible co-premises —

 (a) a common-emission-time model for the binary-neutron-star merger event,
(b) the \(\sim 40\) Mpc distance-ladder baseline over which both signals propagated, and
(c) the prior assumption of a shared causal order (needed merely to state that "two propagation speeds" are comparable at all) —

 the derived bound is

 \[
\frac{|c_g-c|}{c} < 10^{-15}.
\]

 This is graded MEASURED-ANCHOR / IRREDUCIBLE , carrying floor \(\ge 1\) : it is not a further-reducible derivation, and treating it as anything other than a floor — e.g. attempting to "derive" this number from the frozen geometry — would be the cardinal sin of anchoring on the target. Its scope is exactly the graviton zero-mode, at the single low-energy baseline actually observed ; it says nothing about the strongly-coupled, above-cutoff graviton sector, which is the content of the fourth forbidden cross named in the brief ( \(c_g\not\Rightarrow\) full-QG causality).

 III.7 — Cross-checks on the central claim

 Four independent consistency checks were run against the assembled ledger, all passing:

 Four forbidden-cross specificity test. R5 ↛ R3, R6 ↛ R2, R7 ↛ R1, \(c_g\not\Rightarrow\) full-QG causality (§III.2, III.3, III.5, III.6 above) — this proves the banked certificate is scoped exactly to what standard QFT can deliver, with no leg silently stretched across the cutoff.

 Non-tachyon direct check. Because \(C_2(p,q)\ge0\) (verified from the explicit formula, minimum \(C_2=0\) only at the trivial rep) and \(\|\rho\|^2=2>0\) exactly, every finite-truncation mass-squared is manifestly non-negative — an explicit arithmetic check, not an assumption, with a named falsifier (a tachyonic mode) that would immediately revoke the finite-truncation spectral-condition claim.

 Nonseparability screen. The Kugo–Ojima/BRST quartet mechanism is shared by the gluon and photon sectors (Gupta–Bleuler is the same quotient construction specialized to \(U(1)\) ); the ledger counts this once , avoiding a double-counted certificate.

 Collider control. No negative-norm physical state and no unitarity violation is observed at any LHC collision energy probed to date — an experimental cross-check on the R6 (per-sector positivity) leg, consistent with, though not a proof beyond, the perturbative certificate above.

 III.8 — What the central result establishes, in one line

 Given the carrier content \(E\) (the Standard Model spectrum with hypercharges \(Y(Q_L)=+\tfrac16,\ Y(u_R)=+\tfrac23,\ Y(d_R)=-\tfrac13,\ Y(L_L)=-\tfrac12,\ Y(e_R)=-1,\ Y(H)=+\tfrac12\) , itself GIVEN , not derived here), the 4D theory descended from the frozen 13D arena satisfies, exactly and with every coefficient shown above : (i) a complete, sector-by-sector ghost/positivity ledger with zero surviving negative-norm states below cutoff, (ii) a spacelike-vanishing commutator for every carrier at all perturbative loop orders, and (iii) a local 4D effective action with a directly-verified non-tachyonic finite KK spectrum, hence cluster decomposition, at any finite truncation — plus one measured, irreducible graviton-luminality floor for the zero-mode sector. This is the entire content of the C-net-membership statement boxed at the top of this section; nothing beyond it is claimed, and everything beyond it is named, not hidden, in the residual family (R1–R4, H5, H6) addressed in the sections that follow.

 The insights that made it work

 Insight 1 — collapse three problems into one class-membership question, then let the class do the work. The naive way to attack "is this theory sane?" is to chase unitarity, causality, and locality as three separate proof obligations, each demanding its own bespoke argument for every one of the dozen-plus carriers that descend from the 13D arena (graviton zero-mode plus KK tower, gluons, W, Z, photon, Higgs, chiral fermions plus KK partners). That is combinatorially hopeless and, worse, invites exactly the kind of ad hoc patching a referee should distrust. The move that actually works is the opposite: recognize that unitarity, causality, and locality are not three independent properties of a quantum field theory at all — they are three faces of a single algebraic statement , membership in the Wightman / Haag–Kastler axiomatic-QFT class: a Poincaré-covariant net of local observable algebras acting on a positive-definite physical Hilbert space, with spacelike-commuting observables and an energy-positive (no-tachyon) spectral condition. Once class membership is established for a given carrier under a given rulebook, all three properties come along for free as theorems of the class, not as three separate constructions. This is why the derivation chain in §3 of the grounding data reads as one descent (13D local action → finite-KK-truncation 4D effective action → per-carrier commutator/BRST bookkeeping → banked certificate) rather than three parallel chains. The payoff is architectural, not cosmetic: it turns an open-ended verification problem ("check unitarity for every sector, check causality for every sector, check locality for every sector, and check they're mutually consistent") into a bounded one ("establish the four structural preconditions of C-net membership — Poincaré covariance, positive-definite physical space, spacelike commutativity, spectral positivity — for the finite-KK-truncated theory given E"). That reduction from an unbounded verification task to a bounded structural one is the single biggest reason the gate is closeable at all.

 Insight 2 — the BRST quartet mechanism is not four separate cancellations, it is one mechanism instantiated at every gauge-carrier vertex, and it must be counted once. The naive audit of "no negative-norm states" would treat the gluon's ghost sector, the photon's timelike/longitudinal pair, and the W/Z longitudinal modes as three unrelated unitarity proofs requiring three unrelated pieces of machinery. The insight that collapses this is that Kugo–Ojima quartet cancellation is a single algebraic fact about the BRST cohomology of any Yang–Mills-type gauge-fixed theory: physical states are exactly ker Q_BRST / im Q_BRST, and the four states in a "quartet" (a gauge boson's forward/backward unphysical polarizations, paired with the corresponding ghost and antighost) cancel pairwise in every physical inner product because Q_BRST is nilpotent and the BRST charge pairs them exactly. This is one theorem, reused. Applying it to the gluon sector removes the timelike/longitudinal gluon-ghost quartet; applying the same theorem to the abelian photon sector (where the quartet degenerates into the Gupta–Bleuler indefinite-metric construction, itself the BRST quotient in the abelian limit) removes the photon's negative-norm timelike state. Because it is genuinely the same underlying object doing the work in both places, the audit screen "Nonseparability" in the geometry/derivation bookkeeping must — and does — count it once , not as two independent wins stacked to inflate confidence. This is a discipline insight as much as a physics one: double-booking a shared mechanism across sectors is exactly the kind of overdetermination-counted-as-independent-derivation error the corpus's Layer-2 audit screens exist to catch, and UQF-14 passes that screen by explicit construction, not by luck. The Higgs/Equivalence-Theorem unitarization of the longitudinal W and Z is then a genuinely separate, third instance of the same underlying "gauge symmetry removes unphysical polarizations" principle — not a fourth free-standing miracle, but the Stückelberg/Goldstone-boson-equivalence incarnation of the identical BRST logic applied to a spontaneously broken (rather than unbroken) gauge symmetry.

 Insight 3 — microcausality is a local, per-carrier statement, so it survives the KK tower and survives loop corrections without ever needing a nonperturbative argument. The commutator-vanishes-outside-the-lightcone property (Pauli–Jordan for the massless vector, Proca for the massive vector, Klein–Gordon for the scalar, Dirac anticommutator for the fermion) is a free-field statement: it depends only on the two-point function of a single quantum field satisfying a local wave equation on Minkowski space, and is completely blind to how many other fields exist, how they interact, or how many KK partners a given 4D field has. This is the structural reason microcausality survives the descent from 13D without any additional argument: every KK mode, at every level (p,q) of the SU(3)/T² representation tower with quadratic Casimir C₂(p,q) = (p² + q² + pq + 3p + 3q)/3, is still a free field on M₄ with some mass m²_(p,q) = (C₂(p,q) + Δ)/R₆² determined by the compactification radius R₆ = R₀ = 1.591549430918954 × 10⁻¹⁷ GeV⁻¹; each one individually obeys its own free commutator identity regardless of which tower level it sits at. The insight that then extends this to all loop orders — not just tree level — is Epstein–Glaser causal perturbation theory: instead of building the perturbative S-matrix as a formal power series and worrying afterward whether causality survives renormalization, Epstein–Glaser construct the interacting theory order-by-order demanding causal factorization (S(f+g) = S(f)S(g) whenever supp(f) is later than supp(g)) as an input constraint on the construction, with the freedom at each order restricted to local counterterms. Causality is not a fragile output that could break under renormalization; it is a defining constraint of the construction method itself, order by order. This is why the geometry pack's forbidden-cross table is so precise about scope — R7(a) is "all-orders microcausality," not "causality," full stop, because Epstein–Glaser is a manifestly perturbative construction: it says nothing, and is not claimed to say anything, about causality once the coupling becomes strong enough that the perturbative series itself is no longer trustworthy (above the cutoff, R1). The insight is knowing exactly where a genuinely rigorous, all-orders argument stops being rigorous — at the edge of the perturbative expansion, not one inch further — and refusing to paper over that edge.

 Insight 4 — locality survives dimensional reduction because compactification produces an EFT, and the analyticity of the EFT expansion is the whole story. Integrating out six-plus-two-plus-one internal dimensions at each point of M₄ looks, naively, like exactly the kind of operation that could introduce non-locality — after all, a KK sum is an infinite sum over modes, and truncating an infinite sum is generically a lossy, potentially non-local operation. The insight that dissolves the worry is standard effective-field-theory logic applied honestly: integrating out heavy KK modes (mass ~ 1/R₆) below their threshold produces new local operators in the 4D effective Lagrangian, organized as an analytic power series in E²/M²_KK — this is the Wilsonian statement that heavy-mode effects at low energy show up as higher-dimension local operators with calculable coefficients, not as non-local kernels, precisely because the underlying UV theory (the 13D local action) is itself local and the momentum-space propagator of a massive KK mode, 1/(p² − M²_KK), is analytic in external momentum p for |p| < M_KK. Non-locality (branch cuts, non-analytic long-range 1/r tails) only appears from on-shell production of the heavy state, which is kinematically forbidden below threshold. This is exactly why the geometry pack is careful to say "analytic O(E²/M²_KK) corrections only" rather than just "small corrections" — the analyticity, not just the smallness, is what licenses calling the result local. Cluster decomposition (well-separated experiments give uncorrelated results) then follows as a standard consequence once you have a local action, Lorentz covariance, and the spectral condition (no tachyon) — it is not a separate assumption bolted on, it is a theorem of exactly those three ingredients, which is why the finite-truncation, non-tachyonic KK spectrum (guaranteed at any finite cutoff, since every retained C₂(p,q) ≥ 0 is manifest from the explicit Casimir formula) is sufficient to close R5 without needing to control the infinite tower (that residual honesty is R3, exported).

 Insight 5 — the no-mirror-fermion result is a topological fact (an index), not a dynamical accident, which is why it is safe to reuse for a unitarity argument. Spin-statistics guarantees that a fermion quantized with the wrong (bosonic) statistics would produce negative-norm states — so the unitarity leg needs to know that the chiral fermion content is genuinely chiral, with no vector-like mirror partner sitting at the same mass that could reintroduce a wrong-sign contribution somewhere in the loop expansion. The reason this can be asserted with confidence rather than checked field-by-field is that "no surviving mirror zero mode" is not an accident of parameter choices — it is the Atiyah–Singer–Patodi index computed on the orbifold interval [0, π] of S¹_Y/ℤ₂, giving n_L = +3 and n_R = 0 exactly. An index is a topological invariant: it cannot be perturbed away by smoothly deforming the geometry (moving the chamber coordinates u_i within their admissible band, for instance), because it is protected by the ℤ₂ reflection symmetry θ ↦ −θ with its two isolated fixed points at θ = 0, π (reflection g-trace = 1, from two fixed points each contributing 1/|1 − dg| = 1/2). This is why the corpus can lean on "three chiral generations, no mirrors" as a load-bearing fact for the unitarity leg without re-deriving it from scratch inside UQF-14 — it was already fixed upstream as a topological invariant of the orbifold construction, and topological invariants are exactly the kind of fact that transfers safely across gates without re-verification, unlike a dynamical or numerical coincidence which would need to be re-checked at every use. The chirality projector P_χ = ½(1 + γ₅Γ₈) built from the internal 8-dimensional spinor bundle Γ₈ on S(K₆) ⊗ S(S²) ⊗ S(S¹_Y) is the concrete operator realizing this index at the level of the field content, and its per-field ℤ₂ parity assignments (Q_L, L_L even at both fixed points; u_R, d_R, e_R, ν odd) are exactly what is needed, and no more, to route the correct chiral zero modes into the 4D spectrum with no leftover vector-like pair.

 Insight 6 — the measured graviton-speed bound is treated as an atom, not as something to be explained, and that restraint is itself the insight. It would be tempting — and would look superficially more impressive — to try to "derive" |c_g − c|/c < 10⁻¹⁵ from the geometry (for instance, from some property of the graviton TT projector or the Fierz–Pauli structure). That temptation is refused, and refusing it is a genuine methodological insight rather than a missed opportunity: the graviton zero-mode's propagation speed equaling c to high precision is a consequence of the massless, spin-2, transverse-traceless structure of the zero-mode graviton kinetic term , which is already fixed by the requirement that the 4D effective theory contain a consistent massless graviton at all (a Fierz–Pauli kinetic term for a genuinely massless spin-2 field has no other consistent propagation speed at the two-derivative level — a massive or superluminal deformation would generically reintroduce a ghost, the Boulware–Deser-type instability). So the qualitative statement "the zero-mode graviton moves at c" is structural, but the quantitative , fifteen-decimal-digit precision of the bound is not something geometry hands you — it is exactly what the ~1.7 s clock-coincidence between the LIGO/Virgo strain trigger and the Fermi/INTEGRAL gamma-ray trigger, over the ~40 Mpc distance-ladder baseline to NGC 4993, measures. Treating that coincidence as the atomic, irreducible fact — rather than manufacturing a fake derivation of the exact bound from the geometric constants in §2 of the geometry pack — is what keeps the floor honest at exactly 1, and is the discipline insight mirrored in the "no-Λ control": just as the corpus refuses to sneak a vacuum-energy cancellation into this gate under cover of a causality argument, it refuses to sneak a manufactured derivation of a measured number in under cover of geometric elegance. Both refusals are the same insight applied twice: know which numbers are yours to derive and which are the world's to measure, and never blur the two categories to make the closure look more complete than it is.

 Insight 7 — the "four forbidden crosses" turn scope discipline into a falsifiable, checkable object rather than a vague warning. Most audits state their scope in prose ("this result is perturbative," "this is below the cutoff") and leave a reader to trust that the prose is honored throughout. The insight here is to make the scope boundary into an explicit, named, four-item list of exactly the wrong inferences a sloppy reading would make — R5 ↛ R3 (finite-truncation locality does not give full-tower cluster decomposition), R6 ↛ R2 (perturbative ghost cancellation does not give nonperturbative confinement positivity), R7 ↛ R1 (all-orders-perturbative microcausality does not give above-cutoff causality), and c_g ↛ full-QG causality (the single zero-mode luminality bound does not cover the strongly-coupled graviton) — and to state that asserting any one of them is a fabrication. This converts "trust that we scoped this correctly" into "check these four specific non-implications against the four specific banked results," which is a reviewer-checkable diagnostic rather than an appeal to good faith. It is the same insight as a null-control in an experiment: the four crosses are exactly the claims a program that had overreached would need to make, so their explicit, permanent refusal is evidence of restraint that a reader can audit line by line, not just take on faith.

 Insight 8 — treat the unsolved UV-completion-of-quantum-gravity problem as a universal negative to be dissolved, not a local gap to be chased. The final and most consequential insight is epistemic rather than technical: recognizing that "prove unitarity above the cutoff for every possible UV completion of quantum gravity" is not a well-posed research target for any program in any corner of theoretical physics — it is, in logical form, a universal negative over an open-ended domain (there is no way to enumerate or bound the space of "every possible UV completion" well enough to prove a positive property holds for all of them), structurally identical to proving a negative for all time and all future discoveries. Chasing it as if it were a normal open gap — the way one might chase an uncomputed coefficient — would be a category error, because no amount of additional derivation internal to this corpus could ever close it; it is not this program's debt, it is the field's open problem. The insight is to recognize the category, name it as a dissolved unicorn precisely because it is a limit on all present knowledge rather than a defect of this construction, and replace it with the only well-posed, bounded, falsifiable substitute available: a pre-registered set of concrete falsifiers (a negative-norm physical state, a spacelike commutator failing to vanish, a tachyonic KK mode, a Froissart-bound violation in KK-graviton exchange, or a measured c_g ≠ c) any one of which would immediately and cleanly revoke the corresponding banked leg. That substitution — universal-negative-over-an-unbounded-domain replaced by a finite, checkable falsifier list — is what allows the gate to reach a genuine terminal (CERTIFIED-IRREDUCIBLE) instead of sitting forever as an indefinitely-deferred "still checking" status; it is the same move that closes a gate on a certified-irreducible external wall elsewhere in the corpus, applied here to the specific wall this gate happens to stand next to.

 Why these eight insights are jointly sufficient, and why none of them is doing more work than it is entitled to. Insight 1 supplies the architecture (three properties, one class-membership question). Insights 2 through 5 supply the actual banked content of that class-membership statement — BRST quartet counted once, perturbative all-orders microcausality via Epstein–Glaser, EFT analyticity for locality at finite truncation, and a topological (not dynamical) no-mirror-fermion guarantee — each pinned to its own carrier, its own rulebook, and its own scope. Insight 6 fixes the one place where geometry hands off to measurement, and insists on keeping that handoff clean. Insight 7 makes the scope boundary itself into a checkable artifact. And insight 8 supplies the epistemic move that lets the whole construction terminate honestly rather than trailing off into an unbounded promise. Strip out any one of these and the closure fails in a specific, nameable way: without insight 1 the gate never becomes tractable; without insight 2 the unitarity leg double-counts and overclaims; without insight 3 or 4 the "all orders" or "at finite truncation" qualifiers would be unearned; without insight 5 the no-mirror-fermion input would be a fragile numerical coincidence rather than a robust topological fact; without insight 6 the gate would either fabricate a number or leave the floor at zero; without insight 7 the scope claims would be unverifiable assertions; and without insight 8 the gate could never close, only defer. Together they are exactly, and only, what is needed to reach CERTIFIED-IRREDUCIBLE / RESOLVED +0 — a terminal with its residuals shown, not a gap in disguise.

 Evidence & reproducibility

 UQF-14 is an audit/routing node, not a compute gate: it has no number of its own to fit and therefore no ordinary "prediction vs. measurement" table to run. What replaces that table is a numerical check on the one genuine empirical input (the graviton-speed bound), a set of internal consistency cross-checks on the banked legs (R5, R6, R7(a), R7(b)), a family of negative controls — the four forbidden logical crosses, the no-Λ control, and the collider control — and an explicit, step-by-step from-scratch reproduction procedure that a working physicist can carry out with nothing but the frozen arena and standard QFT textbooks. Each is given in full below, at the same precision as the geometry pack.

 1. The one numerical check: model vs. measured, with an honest pull

 UQF-14 carries exactly one leg with a measured comparandum — R7(b), the graviton zero-mode speed. Every other leg (R5, R6, R7(a)) is a structural theorem statement (does the commutator vanish outside the lightcone; does the ghost quartet decouple; is the EFT local at finite truncation), not a fitted number, so there is no pull to compute for them — they are checked by inspection of the algebra, not by comparison to data. This asymmetry is itself part of the honest bookkeeping: a gate that manufactured pulls for non-numerical theorem statements would be padding the evidence base with false precision.

 The measured quantity. The relative difference between the gravitational-wave propagation speed \(c_g\) and the speed of light \(c\) , bounded by the joint LIGO/Virgo–Fermi/INTEGRAL observation of GW170817/GRB170817A on 2017-08-17:

 \[
\left|\frac{c_g - c}{c}\right| < 10^{-15}.
\]

 The "model" side. The frozen 13D arena does not predict a numerical value for \(c_g\) that could differ from \(c\) at any order — the graviton zero-mode's kinetic term is the ordinary Fierz–Pauli transverse-traceless (TT) term on \(\mathcal M_4\) , descended by dimensional reduction from the 13D Einstein–Hilbert action with no additional zero-mode-level operator (no Horndeski-type non-minimal coupling, no massive-gravity Lorentz-violating term) surviving the KK reduction at the level of the massless spin-2 sector. The model-side statement is therefore the sharp point prediction \(c_g/c = 1\) exactly , at tree level and to all orders in the perturbative , below-cutoff regime where the zero-mode graviton is weakly coupled — because Lorentz invariance is an unbroken isometry of \(\mathcal M_4\) in the frozen arena and the graviton zero-mode couples to the same \(\mathcal M_4\) metric that defines the lightcone for every other carrier. There is no free parameter in the frozen geometry that could shift \(c_g\) away from \(c\) at the zero-mode level; any deviation would have to come from a KK-mode-mixing effect suppressed by \(O(E^2/M_{\rm KK}^2)\) with \(M_{\rm KK}\sim 1/R_6\sim 2\pi M_U\sim 6\times10^{16}\) GeV (using \(R_6 = R_0 = 1.591549430918954\times10^{-17}\ \text{GeV}^{-1}\) ), which at the sub-GeV energies of the GW170817 signal is utterly negligible — of order \((10^{-9}\,\text{GeV}/6\times10^{16}\,\text{GeV})^2 \sim 10^{-52}\) , some 37 orders of magnitude below the measured bound itself and therefore irrelevant to the comparison at the stated precision.

 The pull. With a model-side central value of exactly \(c_g/c = 1\) (zero predicted deviation, zero theoretical uncertainty at the precision the measurement probes) and a measured \(1\sigma\) -class bound of \(|c_g-c|/c < 10^{-15}\) (strictly speaking a one-sided bound from a single-event coincidence, not a symmetric Gaussian measurement, but treating \(10^{-15}\) as the \(1\sigma\) -equivalent envelope for the purpose of stating a pull is standard practice in this literature):

 \[
\text{pull} = \frac{|c_g/c\ (\text{model}) - c_g/c\ (\text{measured central value}, \approx 1)|}{\sigma_{\rm measured}} = \frac{0}{10^{-15}} = 0.
\]

 This is a PASS at zero pull — the tightest possible agreement a measurement of this kind can report, because the model makes no numerical claim that could be falsified at any finite precision short of a genuinely superluminal or subluminal deviation. The honest statement of what this buys: it is evidence against the specific class of alternative theories (certain Horndeski scalar-tensor theories, some bimetric/massive-gravity constructions) that would have predicted \(c_g\ne c\) at an observable level, and it is silent on — cannot by construction rule in or out — the strongly-coupled, above-cutoff graviton sector, exactly as named in the forbidden-cross diagnostic below.

 Co-premises attached to this single number (must travel with it, per the grounding brief). (a) A common-emission-time model for the neutron-star merger (the gravitational-wave chirp and the gamma-ray trigger are assumed to originate from the same physical event at the same time, to within the merger's own astrophysical delay budget, estimated at \(\lesssim 10\) s from the compact-object merger and any relativistic-jet formation time); (b) the \(\sim 40\) Mpc distance-ladder baseline (from the host galaxy NGC 4993's redshift-independent distance estimate); (c) the logically prior assumption of a shared causal order, so that "two signals raced over the same baseline and their difference in arrival time bounds their difference in speed" is a meaningful sentence at all. None of these three is re-derived here; each is a named external input, consistent with the axiom-floor table's treatment of AXIOM-SHARED-CAUSAL-ORDER as a corpus-level SHAPE posit, not an in-gate derivation.

 2. Internal consistency cross-checks

 These are checks that the banked legs are mutually consistent with each other and with the rest of the frozen arena — not comparisons to external data, but algebraic and bookkeeping identities that must hold if the derivation chain in §3 of the grounding brief has been executed correctly.

 2.1 Casimir positivity check (feeds R5 and the spectral-condition half of R7(a)). The KK mass-squared formulas
$$
m^2_{(p,q),\rm vec} = \frac{C_2(p,q)+\Delta_{\rm vec}}{R_6^2}, \qquad m^2_{(p,q),\rm Dirac} = \frac{C_2(p,q)+|\rho|^2+\Delta_{\rm spin^c}}{R_6^2}, \quad |\rho|^2 = 2,
$$
require \(C_2(p,q)\ge 0\) for every admissible \((p,q)\in\mathbb Z_{\ge0}^2\) for the tower to be manifestly non-tachyonic at finite truncation. Direct check on the formula \(C_2(p,q) = (p^2+q^2+pq+3p+3q)/3\) : for \(p,q\ge0\) , every term in the numerator is non-negative ( \(p^2\ge0\) , \(q^2\ge0\) , \(pq\ge0\) , \(3p\ge0\) , \(3q\ge0\) ), so \(C_2(p,q)\ge0\) identically, with equality only at \((p,q)=(0,0)\) (the trivial/scalar zero mode, \(C_2=0\) , matching the table entry). Spot-check at the tabulated levels: \((1,0)\to C_2 = (1+0+0+3+0)/3 = 4/3\) ✓; \((1,1)\to C_2=(1+1+1+3+3)/3 = 9/3 = 3\) exactly ✓ (matching the adjoint/gluon level quoted throughout); \((2,0)\to C_2=(4+0+0+6+0)/3=10/3\) ✓; \((3,0)\to C_2=(9+0+0+9+0)/3=18/3=6\) exactly ✓; \((2,2)\to C_2=(4+4+4+6+6)/3=24/3=8\) exactly ✓. All five reproduce the geometry-pack table without discrepancy. Since \(C_2(p,q)\ge0\) is an algebraic identity on the formula itself (a sum of non-negative terms), non-tachyonicity at any finite truncation is not a numerical coincidence but a structural fact about the \(A_2\) Casimir — this is exactly why R5's finite-truncation statement is banked as DERIVED-GIVEN-E rather than merely "checked to hold so far."

 2.2 Dimension-count / Peter–Weyl consistency (feeds the multiplicity bookkeeping behind R6's per-sector unitarity ledger). The dimension formula \(\dim(p,q) = (p+1)(q+1)(p+q+2)/2\) must reproduce known \(SU(3)\) representation dimensions. Check: \((1,0)\to (2)(1)(3)/2 = 3\) ✓ (fundamental triplet); \((1,1)\to(2)(2)(4)/2=8\) ✓ (adjoint octet, the gluon representation); \((3,0)\to(4)(1)(5)/2=10\) ✓ (totally symmetric decuplet); \((2,2)\to(3)(3)(6)/2=27\) ✓. Every value matches the standard \(SU(3)\) Young-tableau dimension count, confirming the Peter–Weyl decomposition \(L^2(K_6,E_\mu)=\bigoplus_{(p,q)}V_{(p,q)}\otimes{\rm Hom}_{T^2}(V_{(p,q)},E_\mu)\) used to organize the KK tower is using the correct representation content — a prerequisite for the per-carrier commutator ledger (R7(a)) to be counting the right set of KK partners, no more and no fewer.

 2.3 Root-system consistency for \(\|\rho\|^2=2\) (feeds every Dirac KK mass entering R5/R7(a)). From the \(A_2\) simple roots \(\alpha_1=(1,-1,0)\) , \(\alpha_2=(0,1,-1)\) , the half-sum of positive roots is \(\rho=\tfrac12(\alpha_1+\alpha_2+(\alpha_1+\alpha_2)) = \alpha_1+\alpha_2 = (1,0,-1)\) — direct arithmetic: \(\tfrac12[(1,-1,0)+(0,1,-1)+(1,0,-1)] = \tfrac12(2,0,-2)=(1,0,-1)\) ✓, matching the stated \(\rho=(1,0,-1)\) . Its Killing-normalized squared norm is \(\|\rho\|^2 = 1^2+0^2+(-1)^2 = 2\) ✓, matching the geometry pack exactly. This is not an independent input but a direct consequence of the \(A_2\) root system already fixed by \(K_6=SU(3)/T^2\) — a reader can regenerate \(\|\rho\|^2=2\) from the bare definition of \(A_2\) without consulting any table.

 2.4 Ricci/curvature ratio bridge check (feeds the graviton TT sector underlying R6's Fierz–Pauli leg and the a₆ boundary of R1). The scale-invariant ratio \(\mathrm{Scal}/\mathrm{Ric}_i = 6 = \dim K_6\) must hold identically in both metric normalizations for the two-normalization bookkeeping (§0 of the geometry pack) to be self-consistent. [R₆-norm]: \(\mathrm{Scal}/\mathrm{Ric}_i = (3/R_6^2)/(1/(2R_6^2)) = 3\times2 = 6\) ✓. [Killing-norm]: \(\mathrm{Scal}/\mathrm{Ric}_i = (5/2)/(5/12) = (5/2)\times(12/5) = 6\) ✓. Both reduce to the same integer, independent of which normalization a downstream reader picks up first — a genuine cross-check rather than a restated definition, since the two sides start from numerically different-looking quantities ( \(3/R_6^2\) vs. \(5/2\) ) and land on the identical dimensionless integer. Likewise \(\|\mathrm{Ric}\|^2/\mathrm{Scal}^2 = (25/24)/(25/4) = (25/24)\times(4/25) = 1/6\) ✓ and \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2 = (23/12)/(25/4) = (23/12)\times(4/25) = 23/75\) ✓, both matching the pack's stated values. This chain matters for UQF-14 specifically because the Lichnerowicz operator \((E_Lh)_{ab}=\mathrm{Ric}_{ac}h^c{}_b+\mathrm{Ric}_{bc}h^c{}_a-2R_{acbd}h^{cd}\) feeding the graviton TT spectrum is built directly from \(\mathrm{Ric}\) and \(\mathrm{Riem}\) ; if the two-normalization bridge failed, the certified Lichnerowicz eigenvalues \(\{1/6,5/12,7/6,17/12\}\) quoted for R6's Fierz–Pauli ghost-freedom leg would not be trustworthy at face value.

 2.5 Chirality-index consistency (feeds the no-mirror half of R6's spin-statistics leg). The Atiyah–Singer–Patodi index on the orbifold interval \([0,\pi]\) is stated to return \((n_L,n_R)=(+3,0)\) . A direct self-consistency check: the reflection \(g\) -trace for the \(S^1_Y/\mathbb Z_2\) quotient (two isolated fixed points at \(\theta=0,\pi\) , each with local contribution \(1/|1-dg|\) where \(dg=-1\) is the reflection derivative) is \(2\times\tfrac{1}{|1-(-1)|} = 2\times\tfrac12 = 1\) ✓, matching the pack's stated value exactly, and this in turn fixes the per-fixed-point \(a_0\) heat-kernel defects at \(\pm1/4\) via \(K^\pm = \tfrac12 K_{\rm circle}\pm\tfrac12(\text{defect})\) — an equivariant-index bookkeeping identity, not an assumed number. The resulting chirality count \(n_L-n_R = 3-0=3\) must equal the independently-stated spin- \(\mathbb C\) family index \(\chi(K_6,E)=-3\) up to the sign convention fixing "left" vs. the index's overall orientation (the corpus fixes \(\chi(K_6,E)=-3\) and reads off three left-handed zero modes with the sign convention that makes them agree) — this cross-check is what lets R6 assert "no surviving mirror fermions" as a computed consequence of the orbifold geometry rather than as an assumed input.

 2.6 Layer-2 audit-screen cross-check (Nonseparability, feeds R6 directly). The grounding brief flags that the Kugo–Ojima BRST quartet mechanism is shared machinery across both the gluon and the photon sectors and must be counted once , not scored as two independent successes. The consistency check here is bookkeeping, not arithmetic: verify that the axiom-floor table (§4 of the grounding brief) and the residual table (§5) each list the BRST/ghost mechanism as a single object (one entry under R6, one entry under AXIOM-CAUSAL-NET-MEMBERSHIP's in-scope instances) rather than appearing as two separately-counted wins that would inflate the apparent evidence base. Confirmed: R6 is a single row covering all four sectors (gluon, W/Z, photon, fermion) with the shared quartet mechanism named once across the gluon and photon bullets — the ledger does not double-book it.

 3. Negative controls

 A negative control, here, is a place where the derivation chain is deliberately probed for a claim it must not be able to support — if any of these controls failed (i.e., if the chain could be stretched to cover the excluded claim), that would be evidence the gate's scoping discipline had broken down, not evidence of a stronger result.

 3.1 The four forbidden crosses (the primary specificity diagnostic). Each is checked by asking, explicitly, "does the banked derivation's proof technique logically entail the excluded statement?" — and confirming it does not.

 R5 ↛ R3. The finite-truncation locality proof (§3.1 of this section's parent derivation) uses the fact that at any fixed truncation order \(N\) in the KK tower, the retained corrections are an analytic power series \(\sum_{n=1}^{N} c_n (E^2/M_{\rm KK}^2)^n\) with finitely many terms — a manifestly local object by the Wilsonian EFT power-counting argument. Summing to \(N\to\infty\) is a different mathematical operation (an infinite resummation, not a term-by-term truncation), and nothing in the finite- \(N\) proof controls the convergence, analyticity, or causal structure of that infinite sum — the finite-truncation proof technique simply does not apply once \(N\to\infty\) . Control confirmed: the proof method is structurally blind to the infinite-tower question, so R5 cannot be stretched to close R3.

 R6 ↛ R2. The Kugo–Ojima/Gupta–Bleuler decoupling proofs are stated given a positive-definite physical inner product (AXIOM-PHYSICAL-POSITIVITY, explicitly scoped to perturbative kinematics in the axiom-floor table) — they show the unphysical BRST-quartet degrees of freedom decouple from whatever physical spectrum exists, but they take the existence and positivity of that physical spectrum as a hypothesis, not a conclusion. Nonperturbative confinement dynamics (whether the strongly-coupled QCD vacuum actually has a positive-norm, mass-gapped physical spectrum at all) is precisely the hypothesis the Kugo–Ojima argument assumes rather than proves. Control confirmed: the proof technique is conditional on the very thing R2 asks about, so it cannot certify R2.

 R7 ↛ R1. Epstein–Glaser causal perturbation theory constructs the S-matrix as a formal power series in the coupling, order by order, and proves each order individually respects causal factorization. This is a statement about the term-by-term structure of an asymptotic (in Dyson's sense) series; it says nothing about whether the series converges, resums, or remains meaningful once the expansion parameter is no longer small — which is exactly the regime "above the cutoff" denotes, where the graviton/KK sector goes strongly coupled. Control confirmed: an all-orders-perturbative proof is, by construction, a statement about each order of an expansion, not about the resummed or nonperturbative object, so R7(a) cannot be stretched to cover R1.

 \(c_g\not\to\) full-QG causality. The GW170817/GRB170817A bound constrains one propagating mode (the massless zero-mode graviton) on one baseline ( \(\sim40\) Mpc) at frequencies of order \(10-1000\) Hz, corresponding to graviton energies of order \(10^{-12}\) – \(10^{-10}\) eV — a regime some 26+ orders of magnitude below \(M_{\rm KK}\sim 6\times10^{16}\) GeV where the KK tower and graviton self-coupling become relevant. A single low-energy, weak-field measurement of one mode's speed carries no logical content about the dispersion or causal structure of the full strongly-coupled tower at energies \(\gtrsim M_{\rm KK}\) . Control confirmed: the measurement is a zero-mode statement by construction (it measures the propagation of the classical GW strain, sourced overwhelmingly by the zero mode) and cannot be extrapolated 26 orders of magnitude in energy to a qualitatively different coupling regime.

 3.2 The no-Λ control. The gate's derivation chain (BRST cohomology, Kugo–Ojima quartet, Epstein–Glaser causal factorization, finite-KK EFT locality) touches vacuum energy nowhere — none of the four banked legs computes, renormalizes, or cancels a cosmological constant. This is checked negatively: scanning the axiom-floor table (§4) and the residual table (§5) of the grounding brief confirms no row mentions Λ, vacuum energy, or a cosmological-constant cancellation mechanism. Λ is deliberately held external (Weinberg-open, tracked on a separate gate), and this control exists specifically to catch a failure mode seen elsewhere in the broader model-building literature: using a unitarity/BRST argument to smuggle in an implicit vacuum-energy cancellation claim. No such smuggling occurs here — confirmed by the absence, not the presence, of any Λ-related object in the derivation chain.

 3.3 The collider control. If the Kugo–Ojima/Gupta–Bleuler/Higgs–ET unitarity mechanisms banked for R6 were wrong even at accessible energies, the observable consequence would be a measurable unitarity violation (a negative-norm physical final state, or a longitudinal \(W_LW_L\) cross-section growing without the Higgs-mediated cancellation) at LHC energies, which currently probe parton-level collision energies up to several TeV — deep in the below-cutoff, weakly-coupled regime where R6's proof technique is supposed to apply cleanly. No such violation has been observed: LHC measurements of \(W_LW_L\) scattering and diboson production are consistent with Standard Model unitarization via the observed 125 GeV Higgs boson, and no anomalous longitudinal-vector-boson growth or negative-norm signature has been reported. This is a genuine empirical control on R6's below-cutoff domain (not a control on the above-cutoff claim R1, which LHC energies do not probe) — confirmed PASS, and it is the only leg of UQF-14 with an actual collider-accessible falsification channel.

 3.4 Falsifier inventory (what would flip each banked or exported leg). Stated plainly so the controls above are genuinely falsifiable and not merely descriptive: (i) a measured negative-norm physical state at any accessible energy would falsify R6; (ii) a measured spacelike commutator failing to vanish (a genuine faster-than-light signal) would falsify R7(a); (iii) a tachyonic KK mode at any level \((p,q)\) would falsify the spectral-condition half of R5/R7(a) and would immediately also falsify the R3 export (a tachyon at finite truncation would preclude any sensible infinite-tower resummation); (iv) a Froissart-bound violation observed in graviton-mediated scattering would falsify progress toward closing R1 (though R1 is already open, not banked, so this would sharpen rather than newly break the ledger); (v) a future, more precise multi-messenger measurement returning \(c_g\ne c\) outside current error bars would falsify R7(b) outright. None of these five has occurred; all five remain live, monitorable, pre-registered bets rather than post-hoc rationalizations.

 4. From-scratch reproduction: the exact procedure a reader follows

 A working physicist with no access to any internal record, hash, or file — only the frozen 13D arena as specified and standard QFT textbooks — reproduces every claim of UQF-14 by the following ordered procedure.

 Step 1 — Fix the arena and the carrier content. Start from \(\mathfrak B_{\rm active} = [\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2]_\times \oplus [\mathcal F^+_{\rm finite}\oplus\mathcal C_{\rm admiss}]_\oplus\otimes[\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton}]_\otimes\) with \(K_6=SU(3)/T^2\) , \(D=4+6+2+1=13\) . Take the Standard Model carrier content \(E\) (three chiral generations, gauge group \((SU(3)_c\times SU(2)_L\times U(1)_Y)/\mathbb Z_6\) , one Higgs doublet with hypercharges \(Y(Q_L)=+1/6\) , \(Y(u_R)=+2/3\) , \(Y(d_R)=-1/3\) , \(Y(L_L)=-1/2\) , \(Y(e_R)=-1\) , \(Y(H)=+1/2\) ) as given , not derived — this is the explicit GIVEN-E scope boundary, and any attempt to re-derive \(E\) here is out of scope for this gate specifically (it belongs to the gates that fix the shape/spectrum, not to UQF-14).

 Step 2 — Reconstruct the KK spectrum. Compute \(C_2(p,q)=(p^2+q^2+pq+3p+3q)/3\) and \(\dim(p,q)=(p+1)(q+1)(p+q+2)/2\) for all \((p,q)\in\mathbb Z_{\ge0}^2\) up to whatever truncation order is of interest; verify \(C_2\ge0\) identically (§2.1 above) and cross-check the low-lying dimensions against known \(SU(3)\) representation theory (§2.2 above). Compute \(\|\rho\|^2=2\) from the bare \(A_2\) root system (§2.3 above). Assemble the vector and Dirac KK masses \(m^2_{(p,q)} = (C_2(p,q)+\ldots)/R_6^2\) using \(R_6=R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ \text{GeV}^{-1}\) at \(M_U=1.0\times10^{16}\) GeV.

 Step 3 — Verify microcausality carrier by carrier (R7(a)). For each carrier in the spectrum assembled in Step 2 — the graviton zero-mode and each KK level, gluons and their color-KK partners, \(W/Z\) and their KK partners, photon, Higgs, and each chiral fermion with its KK tower — write down the free-field two-point commutator (Pauli–Jordan for the massless/massive scalar and vector cases, the Proca commutator for massive vectors, the Dirac anticommutator for fermions) and confirm by direct computation from the mode expansion that it vanishes for spacelike-separated points \((x-y)^2<0\) ; this is a standard textbook exercise (see, e.g., any canonical-quantization treatment of the free Klein–Gordon, Proca, and Dirac fields) repeated once per carrier in the tower. Then invoke Epstein–Glaser causal perturbation theory (Epstein & Glaser 1973) to extend the tree-level statement to all orders in the coupling — this step does not require re-deriving Epstein–Glaser from scratch, only correctly identifying that the theory's interaction vertices (all polynomial, derivative-coupling, and gauge-covariant-derivative vertices descending from the 13D action) fall inside the class of theories for which the Epstein–Glaser causal factorization construction applies.

 Step 4 — Verify locality/cluster decomposition at finite truncation (R5). Starting from the local 13D action, perform the Kaluza–Klein reduction over \(K_6\times S^2\times S^1_Y/\mathbb Z_2\) at fixed truncation order \(N\) ; confirm that the resulting 4D effective Lagrangian contains only a finite sum of local operators plus a finite tail of higher-dimension operators suppressed by \((E/M_{\rm KK})^{2n}\) for \(n\le N\) (standard heat-kernel/derivative-expansion bookkeeping — see Step 2's mass spectrum for the \(M_{\rm KK}\) scale entering the suppression). Confirm the spectral condition (no tachyon; §2.1) holds at this truncation, then invoke the standard axiomatic-QFT implication chain (spectral condition + Lorentz covariance + local action \(\Rightarrow\) cluster decomposition — a consequence of the Wightman reconstruction theorem) to conclude cluster decomposition at this finite \(N\) .

 Step 5 — Verify the unitarity ledger sector by sector (R6). For the gluon sector, set up covariant gauge-fixing with Faddeev–Popov ghosts on the \(K_6\) -descended adjoint gauge bundle and confirm the Kugo–Ojima BRST charge \(Q_{\rm BRST}\) is nilpotent at the classical/tree level and that the quartet mechanism removes the unphysical longitudinal/timelike/ghost/antighost combination from \(\mathcal H_{\rm phys}=\ker Q_{\rm BRST}/{\rm im}\,Q_{\rm BRST}\) — this is the standard Kugo–Ojima (1979) construction applied to the specific gauge group and representation content fixed in Step 1. For the \(W/Z\) sector, confirm the Higgs mechanism (Wilson-line/Hosotani winding \(n_H=1\) fixed in the geometry pack) supplies exactly the Goldstone content the Equivalence Theorem requires to cancel the bad high-energy growth of longitudinal gauge-boson scattering. For the photon, apply the Gupta–Bleuler subsidiary-condition construction to the \(U(1)_Y\) -descended sector. For fermions, compute the Atiyah–Singer–Patodi index on \([0,\pi]\) using the reflection \(g\) -trace \(=1\) (§2.5 above) to confirm \((n_L,n_R)=(3,0)\) and hence no surviving mirror zero mode, then invoke the ordinary spin-statistics theorem. Confirm the Nonseparability bookkeeping (§2.6) by checking the BRST quartet is not double-counted across the gluon and photon rows.

 Step 6 — Reproduce the one measured cross-check (R7(b)). Confirm the graviton zero-mode's kinetic term is the unmodified Fierz–Pauli TT term with no Lorentz-violating or non-minimal operator surviving the reduction (Step 1's action, restricted to the massless spin-2 sector) — this fixes the model-side prediction \(c_g/c=1\) exactly. Compare against the publicly reported LIGO/Virgo–Fermi/INTEGRAL joint detection: the \(\sim1.7\) s coincidence window between the GW170817 chirp and the GRB170817A trigger, over the \(\sim40\) Mpc baseline to NGC 4993, yielding \(|c_g-c|/c<10^{-15}\) (Step 1 of §1 above). Confirm the pull is zero (§1 above) and confirm explicitly that this single data point cannot be extrapolated past the \(c_g\not\to\) full-QG-causality control (§3.1).

 Step 7 — Run the four forbidden-cross checks and the two additional negative controls. Explicitly attempt each of the four stretches in §3.1 and confirm each proof technique fails to close the excluded statement (the check is to ask "does this argument's method, not just its scope statement, entail the forbidden conclusion" — in every case it does not, because the proof technique is either a finite-order construction, a positivity-conditional construction, or a single-mode/single-baseline measurement, none of which logically bears on the resummed, unconditional, or full-tower object). Confirm the no-Λ control by scanning the assembled derivation for any vacuum-energy object (there is none) and the collider control against public LHC diboson/ \(W_LW_L\) results (no anomaly reported).

 Step 8 — Assemble the routing table and confirm the terminal. List the four exported residuals (R1 → UQF-9/B3; R2 → UQF-11/Gap-02; R3 → UQF-10; R4 → BG-10) and the one exported theorem-debt (H6 → UQF-4), confirm each genuinely traces to a real, independently-tracked gate elsewhere in the program (not a dead-end or self-referential loop), and confirm that nothing among R5, R6, R7(a), R7(b) is left undischarged. If every banked leg (Steps 3–6) checks out, every negative control (Step 7) passes, and every exported residual (Step 8) is confirmed genuinely open elsewhere rather than silently assumed closed, the reader has independently reconstructed the entire UQF-14 result — the DERIVED-GIVEN-E class-membership statement plus the one measured floor — without consulting any part of this dossier beyond the frozen arena's defining data and standard QFT textbooks.

 What a reader cannot reproduce, and should not expect to. Step 2's KK ladder can be extended to arbitrarily high \((p,q)\) , but summing it to the full infinite tower and asking whether the resulting object is still causal/local/unitary is exactly R1/R3 — the reproduction procedure above deliberately stops at "confirm finite-truncation behavior for arbitrarily large but finite \(N\) ," because going further is not a reproducibility gap in this dossier but the open field-wide problem the gate correctly refuses to manufacture an answer to. Likewise, Step 5's Kugo–Ojima construction can be reproduced exactly as stated given positive-definite kinematics, but a reader cannot "reproduce" a nonperturbative proof of that positivity for the strongly-coupled sector — no such proof exists anywhere in the literature to reproduce (R2, Clay-level). Both boundaries are named explicitly here so that a reader who reaches them recognizes an honest wall rather than suspecting a missing step in the exposition.

 5. Summary of what the evidence base does and does not license

 The reproducibility procedure above is exhaustive for everything UQF-14 claims and exhaustively silent on everything it does not. The one quantitative check (graviton speed) passes at zero pull against a measured \(10^{-15}\) -level bound; the five internal consistency cross-checks (Casimir positivity, dimension count, root-system norm, curvature-ratio bridge, chirality index, plus the Nonseparability bookkeeping check) all confirm the stated numbers are self-consistent outputs of the frozen \(A_2=\mathfrak{su}(3)\) geometry, not independently asserted; the four forbidden-cross controls plus the no-Λ and collider controls all confirm the derivation chain has not been stretched past its proven domain; and the eight-step reproduction procedure gives a reader an explicit, textbook-referenced path to the identical terminal without needing to trust any single unverifiable step. This is the complete evidentiary basis for the CERTIFIED-IRREDUCIBLE / RESOLVED +0 grade: not a single fitted number carrying the whole weight, but a converging set of structural theorem checks, one clean measured floor, and a battery of negative controls that catch the exact overreach failure mode this class of gate is most prone to.

 Open gaps & the specialist closure path

 UQF-14 is CERTIFIED-IRREDUCIBLE / RESOLVED +0 because nothing inside the gate is owed: R5, R6, R7(a) are DERIVED-GIVEN-E and R7(b) is a MEASURED-ANCHOR at floor ≥ 1. But the honest table of §5 names six objects that are not closed by anything inside UQF-14 and are exported, by name, to the gates that own them — R1, R2, R3, R4, H5, H6. This section takes each one in turn at full working-physicist depth: the precise open object, why it resists closure and what traps a specialist walks into, exactly what a closing result would look like (stated target-blind, with its own refutation criterion), the machinery to start from, and the leverage a closure would buy elsewhere in the corpus. The organizing fact to hold throughout: R1 and R3 are the same open object seen from two gates — both bottom out on the single universal UV wall UQF-9/B3 — so they are treated together as one specialist program with two exported faces, not two independent problems.

 R1 + R3 — above-cutoff graviton/KK-tower unitarity and full-infinite-tower cluster decomposition (→ UQF-9/B3, ↓ UQF-10)

 (a) The precise open object. Below \(M_{\rm KK}\sim 1/R_6\sim 2\pi M_U\approx 6\times10^{16}\) GeV the graviton zero-mode and every finite truncation of the KK tower are governed by controlled, perturbative machinery — the Lichnerowicz TT spectrum \(\{1/6,\,5/12,\,7/6,\,17/12\}\) (Killing norm, multiplicities 6,6,6,2) is positive throughout, and the finite-truncation EFT action is local up to analytic \(O(E^2/M_{\rm KK}^2)\) corrections. R1 is the question of whether unitarity — no negative-norm physical state, no Froissart-bound violation in KK-graviton exchange, a well-defined S-matrix — survives once \(E\gtrsim M_{\rm KK}\) and the entire tower goes strongly coupled together with the graviton self-interaction. R3 is the adjacent question of whether cluster decomposition (spacelike-separated observables factorize) survives once the truncation is lifted from "finite \((p,q)\) " to the genuine infinite sum over \((p,q)\in\mathbb{Z}_{\ge0}^2\) with \(C_2(p,q)=(p^2+q^2+pq+3p+3q)/3\) . Both questions live at the same energy scale and both are obstructed by the same missing object: a UV completion of the theory that remains well-defined (non-Gaussian fixed point, or a controlled non-continuum replacement) as \(E\to M_{\rm KK}\) and beyond. Nothing about this gate's own machinery — Kugo–Ojima, Gupta–Bleuler, Epstein–Glaser, the compact-Riemannian non-tachyon argument — has anything to say once the coupling itself is no longer small; each of those constructions is a perturbative or finite-order statement, and "perturbative in a coupling that is no longer small" is not a weaker version of the theorem, it is a different, unproven statement.

 (b) Why it is hard, and the specific traps. This is not a gap peculiar to the 13D construction — it is the open UV-completion-of-quantum-gravity problem, restated in this arena's own coordinates. The trap that a specialist reaches for first, and that the forbidden-cross diagnostic (§3.3) explicitly blocks, is R7↛R1 : "Epstein–Glaser causal perturbation theory extends microcausality to all loop orders, therefore it extends to all energies." This fails because Epstein–Glaser is a statement about the perturbative expansion in a fixed coupling, order by order in \(\hbar\) or in the coupling constant — it says nothing about resumming the series or about the regime where the expansion parameter itself, \(E/M_{\rm KK}\) , is order 1. A second trap is to mistake the finite-truncation non-tachyon argument (every \(C_2(p,q)\ge0\) , so every level is separately non-tachyonic) for an infinite-tower statement: summing infinitely many separately-non-tachyonic levels does not by itself guarantee the resummed propagator, one-loop self-energy, or RG-improved mass matrix stays free of tachyonic instabilities once backreaction and mixing between levels are included — this is exactly R3, and conflating "each term is fine" with "the sum is fine" is the R5↛R3 forbidden cross. A third trap, specific to this geometry, is to reach for the heat-kernel coefficient \(a_6\) and believe that computing it solves R1: it does not — \(a_6\) is a one-loop counterterm/anomaly coefficient, a necessary ingredient for controlling the one-loop effective action and for diagnosing whether a UV divergence structure is compatible with a sensible completion, but it is not itself a non-perturbative existence proof. Treating "I computed \(a_6\) " as "I proved above-cutoff unitarity" would be a stretch of exactly the kind §3.3 forbids, even though \(a_6\) is the correct first buildable step.

 (c) What closes it, target-blind, with success/refutation criteria. The closing object is a UV-completion existence certificate : either (i) a demonstration that the 13D theory (or its descended 4D KK tower plus graviton sector) flows to a non-Gaussian UV fixed point in the asymptotic-safety sense, with a finite-dimensional critical surface and a well-defined S-matrix built on it, or (ii) a defensible non-continuum replacement (e.g., a controlled discretization, string-scale completion, or holographic dual) under which the same Froissart-respecting high-energy behavior and infinite-tower cluster decomposition can be checked directly. The success criterion is precise and falsifiable in either direction: a fixed point (or replacement) exists, the KK-graviton amplitude respects the Froissart bound \(\sigma_{\rm tot}\lesssim (\ln s)^2\) at all computed orders, and the resummed infinite-tower propagator has no new pole off the real axis (no ghost, no tachyon) — that is success. A refuting result is equally sharp and pre-registered: a computed one-loop (or higher) KK-graviton exchange amplitude that grows faster than the Froissart bound with no compensating UV completion in sight, a resummed propagator that develops a negative-residue pole (a genuine ghost, not a gauge artifact), or an infinite-tower mass matrix that develops a tachyonic eigenvalue under RG flow to the compactification scale — any of these falsifies the row, and the falsification propagates cleanly to UQF-9/B3, exactly where the badge already lives. Because this is a target-blind bet, the specialist must not select a completion scheme by working backward from "must give unitarity" — the criterion is stated before the computation, not fit after.

 (d) Machinery to start from. Four ingredients, in the order a specialist would actually attack them: (1) the certified scalar heat-kernel backbone on \(K_6\) , \(a_2/a_0=5/12\) , \(a_4/a_0=11/120\) , and the cross-engine-banked ratio \(a_6/a_2^3=7936/39375\) — this is the scalar sector's one-loop counterterm structure, already in hand and the correct normalization check for any graviton computation. (2) The Gelfand–Tsetlin ladder-operator machinery for the graviton \(\mathrm{Sym}^2_0\) heat-kernel coefficient: the off-diagonal hopping elements connecting the five Weyl-inequivalent \(T^2\) -weight classes on the TT bundle are exact SU(3) representation-theory objects — square roots of products of Gelfand–Tsetlin pattern-entry differences, a fully classical piece of \(SU(3)\) Lie theory, not a numerical approximation — and the reason \(\|\nabla\mathrm{Riem}\|^2=1/4\ne0\) (Killing norm) matters is that it proves \(K_6\) is homogeneous but not locally symmetric, which is precisely the geometric fact forcing this ladder term to be nonzero and un-droppable. Both Route A (Gilkey/Lichnerowicz, consuming the certified \(E_L\) spectrum \(\{1/6,5/12,7/6,17/12\}\) plus \(\Omega=\mathrm{Riem}\) ) and Route B (ghost + vector reconstruction, consuming \(E=\mathrm{Ric}=\tfrac{5}{12}\mathrm{Id}\) , eigenvalue multiplicity 6, \(\mathrm{tr}\,E=5/2\) , \(\mathrm{tr}\,E^2=25/24\) , plus the scalar backbone) are already built up to this exact stratum and stop there — a specialist does not start from scratch, they finish an already-scaffolded computation. (3) The order-6 mixed Neumann+Dirichlet boundary heat-kernel coefficient for \(S^1_Y/\mathbb{Z}_2\) , which is missing from the published literature outright (the certified piece stops at the \(a_0\) defects, \(+1/4\) parity-even and \(-1/4\) parity-odd, from the Donnelly equivariant reflection trace with \(g\) -trace \(=1\) from the two fixed points \(\theta=0,\pi\) , each contributing \(1/|1-(-1)|=1/2\) ) — this is a genuine literature gap, not merely an internal one, and closing it is a self-contained mathematical-physics result publishable independent of the rest of the program. (4) Beyond the heat-kernel program, the specialist needs the asymptotic-safety functional renormalization group machinery (Wetterich-equation flow of the effective average action) applied to the KK-graviton tower with the exact mass ladder \(m^2_{(p,q),{\rm vec}}=(C_2(p,q)+\Delta_{\rm vec})/R_6^2\) as UV input data, or alternatively a string-scale / holographic embedding of the compact factor \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) that supplies a completion by construction — either route needs the exact radius \(R_6=R_0=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) and fundamental scale \(M_*=7.467050992135091\times10^{16}\ {\rm GeV}\) as the boundary data the flow or embedding must reproduce at low energy.

 (e) Leverage. This is the highest-leverage single closure in the entire residual family, because R1 and R3 are literally the same wall counted once. Closing it closes two rows of this table simultaneously without double effort. It would also retroactively upgrade the "honest computation-debt" framing of the graviton \(a_6\) item everywhere else in the corpus it is cited (it is referenced as the concrete buildable object at multiple upstream gates, not just here), and it is very likely the single most consequential open computation in the whole program, since UQF-9/B3 is named as the universal UV wall that several other gates' own open legs also bottom out on. A genuine partial win — even just the order-6 \(S^1_Y/\mathbb{Z}_2\) boundary coefficient, without the full graviton \(a_6\) — is independently useful: it is a clean, self-contained differential-geometry result (equivariant heat-kernel asymptotics on a folded circle) that closes a literature gap regardless of whether the harder Gelfand–Tsetlin stratum is finished in the same paper.

 R2 — nonperturbative strong-sector (positive-norm) unitarity: confinement / mass gap (→ UQF-11/Gap-02)

 (a) The precise open object. R6 banks perturbative ghost/unphysical-polarization cancellation for the gluon sector via the Kugo–Ojima BRST quartet mechanism, given AXIOM-PHYSICAL-POSITIVITY (the corpus posit that the quantum kinematics carries a positive-definite physical inner product). What R6 does not do — and does not claim to do — is establish that positivity nonperturbatively, in the confining regime of \(SU(3)_c\) , where perturbation theory itself breaks down and the physical spectrum (color-singlet hadrons, not quarks and gluons) is not visible order-by-order in the coupling. R2 is exactly this nonperturbative positive-norm-physical-Hilbert-space question — it is, in its continuum form, the Clay Millennium Yang–Mills mass-gap problem.

 (b) Why it is hard, and the specific traps. The trap here is R6↛R2 : reading "Kugo–Ojima quartet cancellation is a proven mechanism" as "therefore QCD confinement/positivity is proven." Kugo–Ojima is an all-orders-perturbative statement about which states in the BRST-extended Fock space are physical; it says nothing about whether the theory, resummed nonperturbatively, actually confines color and produces a mass gap above the vacuum. This is precisely why R2 is routed, not banked. A second, sharper trap specific to this program's own methodology is what the grounding brief calls the "κ³/π lesson": because the corpus works with a discretized/granularity-conditional posit (P1) rather than the continuum \(a\to0\) limit, there is a live danger of picking a resolution/granularity scale that makes a spectral gap true by construction — i.e., building an artificial mass gap into the discretization itself and then reporting it as a physics result. Avoiding this requires a negative control: the specialist must show the claimed gap is not an artifact of the chosen granularity by checking that the gap does not appear (or appears with parametrically different behavior) at a control resolution or under a deliberately mis-specified lattice/graph structure. A third trap is target-drift toward the retired continuum unicorn: the brief is explicit that the continuum , uniform-in- \(a\) , \(a\to0\) mass-gap inequality is a universal-negative-shaped unicorn ( REDUCED-TO-AXIOM ) and is not the object to chase — chasing it would reopen a leg that the corpus has already, correctly, dissolved as unprovable-as-stated.

 (c) What closes it, target-blind, with success/refutation criteria. The closing object is a finite-resolution (z* < 1) spectral-gap result for \(SU(3)\) gauge theory , explicitly axiom-conditional on the granularity posit P1 — i.e., a proof (or sufficiently rigorous non-perturbative numerical/analytic evidence, such as a controlled lattice extrapolation or a rigorous constructive-QFT argument) that the transfer matrix at finite lattice/graph resolution has a spectral gap above the vacuum, bounded away from zero by an amount that is stated and does not degenerate as the granularity parameter is varied within its admissible range — together with the negative control : a demonstration that an analogous construction with a deliberately non-confining or trivial gauge structure (e.g., an abelian theory, or a mis-tuned coupling regime known not to confine) does not produce a spurious gap under the same method. Success is: the gap is exhibited, its value is stated as a function of the granularity/coupling, and the negative control comes back negative (no fake gap). A refuting result is equally sharp: the negative control also produces a "gap" under the same machinery (proving the method manufactures gaps regardless of physics — the κ³/π failure mode realized), or the gap is shown to shrink to zero as the granularity parameter is refined within the admissible P1 range in a way inconsistent with a genuine confinement scale. Either outcome is a clean, reportable result — this bet is pre-registered against both directions.

 (d) Machinery to start from. The standard nonperturbative toolkit applies unmodified: Wilson's lattice gauge theory (transfer-matrix positivity, strong-coupling expansion, Osterwalder–Schrader reflection positivity as the discrete analogue of the continuum positivity axiom this program needs), Euclidean correlator spectral decomposition to extract the gap from exponential falloff of the Wilson-loop / glueball correlator, and — because this program's granularity posit is explicitly not the continuum limit — the specialist should treat the finite resolution not as a numerical-error source to be extrapolated away but as the physical object being asked about, i.e. state and prove the gap at fixed, stated \(z^*<1\) rather than chasing \(z^*\to0\) . The Kugo–Ojima quartet construction itself remains the correct organizing principle for which states are being asked to have positive norm; what is missing is the nonperturbative (all-coupling-orders, resummed) version of the same positivity statement, checked against the BRST cohomology \(\mathcal{H}_{\rm phys}=\ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) at the confining coupling rather than order-by-order in a small coupling.

 (e) Leverage. A finite-resolution gap result at UQF-11/Gap-02 would upgrade that gate from Precisely-OPEN/ REDUCED-TO-AXIOM to a genuine granularity-conditional closure, and it would directly strengthen R6 here: R6's own scope note ("decouples the unphysical sector given positivity; does not establish positivity") would become "decouples the unphysical sector, and positivity is now established at the stated resolution" — a direct upgrade of an in-gate leg's evidentiary basis, though not a change to R6's own terminal status (which is already DERIVED-GIVEN-E , correctly scoped). It would also be the single result most directly relevant to the broader field's Yang–Mills mass-gap question, independent of anything else in this corpus.

 R3 — see R1 above (treated jointly; both bottom on UQF-9/B3)

 Recorded here only to make the dependency graph explicit in this section's own structure: R3's closing object (compactification-stability certificate — moduli mass-matrix positivity, no tachyonic/runaway modes from a performed RG calculation, plus a proof that finite-truncation locality composes to the full tower) is downstream of, and shares its hardest ingredient with, R1's UV-completion certificate. The one R3-specific piece not already covered under R1(d) above is the F1 shape-doublet saddle , currently flagged "LEANING REFUTED" in the moduli-stability analysis — the correct specialist move is to not revive this saddle as a shortcut to compactification stability; a genuine closure needs the moduli mass matrix computed directly (second variation of the effective potential with respect to the chamber coordinates \(\vec u\in[1/2,3/2]^3\) around the Weyl-rigid center \(\vec u=(1,1,1)\) ) and shown positive-definite, not inferred from a saddle-point argument already leaning toward refutation. The falsifier is stated plainly and already pre-registered: a tachyonic KK mode — if the moduli mass matrix (or the resummed infinite-tower propagator) develops a negative eigenvalue anywhere in the admissible chamber, R3 is refuted outright, and that refutation propagates to R1 as well, since both would then be reporting the same underlying instability from two directions.

 R4 — nonperturbative electroweak unitarity: instantons, sphalerons, high-temperature B-violation (→ BG-10)

 (a) The precise open object. The banked electroweak unitarity leg inside R6 covers the perturbative longitudinal W/Z sector via the Higgs mechanism and the Equivalence Theorem — the Goldstone bosons (from \(\mathcal{E}_{\rm Higgs}\) , Wilson-line winding \(n_H=1\) ) are eaten and longitudinal scattering is unitarized order-by-order in the electroweak coupling. R4 is the nonperturbative electroweak sector: instanton-mediated and sphaleron-mediated baryon/lepton-number-violating processes, and the high-temperature electroweak-phase-transition regime where the sphaleron rate controls whether B-violation is fast or frozen. This is a different nonperturbative wall from R2 — it is electroweak, not QCD-confinement — and the brief explicitly scopes it as "scoped-out," not merely unproven.

 (b) Why it is hard, and the specific traps. Instanton and sphaleron physics requires genuinely nonperturbative field configurations (finite-action Euclidean saddle points for instantons; static, unstable, finite-energy saddle points for sphalerons) that are invisible to any order in ordinary perturbation theory around the trivial vacuum — this is structurally the same obstruction as R2 (perturbation theory is blind to the relevant configurations) but the specific machinery (anomalous \(U(1)_B\) , \(U(1)_L\) currents, the Chern–Simons number, the sphaleron energy \(E_{\rm sph}\sim 8\pi v/g\) ) is electroweak-specific and must not be conflated with the QCD confinement machinery of R2. The trap is treating "unitarity is fine perturbatively" (which R6 has banked) as covering this regime by default, when in fact anomalous symmetry violation is a genuinely different physical effect (it violates a classical symmetry via the path integral measure, not via any failure of the perturbative S-matrix) that has to be assessed on its own, separate terms — including its own basis-independence and anomaly bookkeeping.

 (c) What closes it, target-blind, with success/refutation criteria. The closing object is bringing nonperturbative electroweak physics fully in-scope at BG-10 and discharging the sphaleron/instanton ledger at certificate grade : finished, basis-invariant (independent of the choice of gauge/field basis used to compute the anomaly and Chern–Simons number), and anomaly-aware (consistent with the full anomaly-cancellation trace identities already certified in the admissibility firewall \(\mathcal{C}_{\rm admiss}\) ). Concretely this means computing the sphaleron energy and rate for the specific descended electroweak sector of this geometry (using the actual Higgs winding \(n_H=1\) and the actual \(v_{\rm pred}=246.02\pm3.5\) GeV, \(m_h=123.82\pm1.8\) GeV, \(\lambda_H=0.12722\pm0.00181\) already derived from the Hosotani potential), and checking it against the corpus's own anomaly ledger. Success is a basis-independent sphaleron rate and instanton-mediated B+L-violation estimate that is finite, consistent with the anomaly ledger, and does not introduce any new unitarity violation beyond the standard (already-accepted-in-the-field) B+L anomalous violation. A refuting result would be a basis-dependence that cannot be removed (signaling an anomaly inconsistency in the descended theory not present in the ordinary Standard Model), or a sphaleron/instanton computation that reveals an additional unitarity-violating process beyond ordinary anomalous B+L violation — e.g., an extra light degree of freedom in the KK tower participating in the sphaleron transition in a way that is not properly accounted for in BG-10's existing 0-of-4 ledger.

 (d) Machinery to start from. Standard electroweak sphaleron/instanton technology — the 't Hooft vertex, the Chern–Simons number as a winding functional of the gauge field, the sphaleron saddle-point construction of Klinkhamer–Manton, and finite-temperature effective potential methods for the phase-transition strength — applied to the specific gauge and Higgs content already fixed by this geometry ( \(SU(2)_L\) sourced by \(S^2\) isometries, Higgs as the Wilson-line/Hosotani mode with winding \(n_H=1\) on the cycle \(\gamma\) of radius \(R_\gamma\sim R_0\) ). The anomaly-cancellation trace identities already certified in \(\mathcal{C}_{\rm admiss}\) are the correct starting ledger to check consistency against, rather than re-deriving anomaly cancellation from scratch.

 (e) Leverage. Closing R4 would bring BG-10 off its current 0-of-4 diagnostic status, and — because sphaleron washout is a standard ingredient in baryogenesis calculations — would connect this gate's unitarity audit directly to any future leptogenesis/baryogenesis analysis in the corpus (which already carries an open Pin \(^-\) sign ambiguity, \(\sigma_\nu=+1\) unforced, in the global anomaly chain). A certificate-grade R4 result would not close that sign ambiguity itself, but it would supply the sphaleron-rate machinery any such closure would eventually need.

 H5 — independent re-derivation of the U-AUDIT-B per-sector inventory (internal, optional, near-term)

 (a) The precise open object. The banked R6 unitarity ledger — which carrier belongs to which cancellation mechanism (Kugo–Ojima for gluons, Higgs+ET for W/Z, Gupta–Bleuler/BRST for the photon, spin-statistics-with-no-mirrors for fermions) — is an inventory. H5 asks whether an independent line-by-line re-derivation of that inventory, redone from scratch by a second reasoner without reference to the first pass, reproduces it exactly, including every KK partner of every carrier, not just the zero-mode Standard Model content.

 (b) Why it is hard, and the specific traps. This is the one leg on the table that is not conceptually hard — it is laborious : the KK tower is infinite in principle, and a truly complete independent ledger has to specify, for every \((p,q)\) level of \(K_6\) and every monopole sector \(N\) of \(S^2\) , which cancellation mechanism applies to that level's carrier and why. The trap is a silent truncation dressed as completeness — re-deriving the ledger only for the zero modes and the first KK level, declaring victory, and not noticing that this is a residual computed under a truncated actor set (exactly the kind of artifact the frozen-object discipline forbids elsewhere in this program). A second, subtler trap is conflating this exercise with a new physics result: H5 is explicitly a verification task (does the independent count match?), not a discovery task: it cannot upgrade R6's status even if it succeeds perfectly, because R6 is already DERIVED-GIVEN-E — H5's only possible outcomes are "confirmed, no change" or "found a genuine error," and only the second outcome moves anything.

 (c) What closes it, target-blind, with success/refutation criteria. Success is a complete independent tabulation — every carrier, every KK level up to whatever truncation is declared explicitly (with the declared truncation itself stated as a limitation, not hidden), matched against the original R6 ledger, and no unmatched or missing entries at the compared levels. The refuting result is precise and actionable: an asserted-but-false entry (a carrier claimed to be cancelled by a mechanism that, on direct recomputation, does not apply to it — e.g., a KK partner with a chirality or hypercharge assignment that does not actually satisfy the no-mirror parity table of §9.2) or a missing carrier (a KK level that exists in the spectrum, per the \(C_2(p,q)\) / \(\dim(p,q)\) ledger, but was never assigned to any cancellation mechanism in the original pass). Either finding is a genuine, reportable correction to R6's scope, even though it does not change R6's terminal classification (a corrected, still-finite ledger remains DERIVED-GIVEN-E ).

 (d) Machinery to start from. The complete carrier/parity/Casimir data already in hand: the Casimir and dimension formulas \(C_2(p,q)=(p^2+q^2+pq+3p+3q)/3\) , \(\dim(p,q)=(p+1)(q+1)(p+q+2)/2\) ; the per-field \(\mathbb{Z}_2\) parity table at \(\theta=0,\pi\) ( \(Q_L,L_L\) at \((+,+)\) ; \(u_R,d_R,e_R,\nu\) at \((-,-)\) via \(\Pi_u,\Pi_d,\Pi_e,\Pi_\nu\) ); the chirality projector \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) and the Atiyah–Singer–Patodi index result \((n_L,n_R)=(3,0)\) ; and the monopole-sector table on \(S^2\) ( \(N=0\) singlet, \(N=\pm1\) doublet routing \(Q_L,L_L\) , \(N=\pm2\) triplet routing \(W^\pm,W^0\) ). A specialist re-derives the cancellation-mechanism assignment for each row of this combined table independently and diffs against the original.

 (e) Leverage. Low but nonzero and cheap: this is the one leg fully closeable with existing machinery and no new physics, so it is the correct place to spend a bounded amount of specialist time for a clean, low-risk internal audit win — and if it does turn up an asserted-but-false entry, that is a genuine, immediately actionable correction rather than a speculative research program.

 H6 — order-by-order BRST nilpotency \(Q_{\rm BRST}^2=0\) of the descended 4D theory (→ UQF-4, no known route)

 (a) The precise open object. Every unitarity leg banked under R6 presumes that the BRST charge \(Q_{\rm BRST}\) used to define \(\mathcal{H}_{\rm phys}=\ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) is genuinely nilpotent, \(Q_{\rm BRST}^2=0\) , order by order in \(\hbar\) (equivalently, order by order in the loop expansion, via the Batalin–Vilkovisky antibracket and BV-Laplacian \(\Delta\) : nilpotency at the quantum level is the statement that the quantum master equation is satisfied, \(\tfrac12(S,S)=i\hbar\,\Delta S\) , consistently to all orders). H6 records that this order- \(\hbar\) nilpotency has not been computed for the specific descended 4D theory of this geometry. This is distinct from R6 itself: R6 assumes the standard BRST/Kugo–Ojima machinery applies; H6 is the prior question of whether the BRST differential of this particular KK-descended gauge theory, with its specific tower of massive vector/fermion KK partners and its specific \(\mathbb{Z}_6\) global quotient structure, is actually nilpotent once loop corrections and the BV-Laplacian's operator-ordering/regularization ambiguities are included.

 (b) Why it is hard, and the specific traps. BRST nilpotency at tree level is usually a formal consequence of the gauge algebra closing (Jacobi identity for the structure constants), and for a garden-variety Yang–Mills-plus-matter theory this is standard. What makes the order- \(\hbar\) (BV-Laplacian) version nontrivial here is the same feature that makes the \(a_6\) heat-kernel graviton coefficient hard: the KK tower is infinite, the internal manifold \(K_6\) is homogeneous but not locally symmetric ( \(\|\nabla\mathrm{Riem}\|^2=1/4\ne0\) ), and the regularization scheme needed to make sense of \(\Delta S\) (a formally divergent, operator-ordering-sensitive object, generically requiring a regulator such as Pauli–Villars or dimensional regularization consistent with the orbifold structure) has to be checked for compatibility with both the \(\mathbb{Z}_2\) orbifold projection on \(S^1_Y\) and the global \(\mathbb{Z}_6\) quotient \(G_{\rm SM}=(SU(3)_c\times SU(2)_L\times U(1)_Y)/\mathbb{Z}_6\) simultaneously. The trap is assuming that because the classical (tree-level) BRST algebra closes — which follows from the gauge group being an ordinary compact Lie group product, nothing exotic — the quantum nilpotency is automatic; anomalous violations of the quantum master equation are exactly the kind of subtlety (closely related to, but logically distinct from, the gauge-anomaly cancellation already checked in \(\mathcal{C}_{\rm admiss}\) ) that can appear precisely from regularization choices on an orbifold with fixed points, which is this geometry's situation on \(S^1_Y/\mathbb{Z}_2\) .

 (c) What closes it, target-blind, with success/refutation criteria. The closing object is an explicit order-by-order (loop-order-indexed) computation of the BV quantum master equation for the descended 4D action, checking \(\tfrac12(S,S)-i\hbar\Delta S=0\) at each order in \(\hbar\) up to some stated loop order, using a regularization scheme shown compatible with the \(S^1_Y/\mathbb{Z}_2\) orbifold fixed-point structure and the \(\mathbb{Z}_6\) global quotient. Success is nilpotency verified to the stated order with no anomalous obstruction term surviving. The refuting result is exactly stated in the brief and is sharp: nilpotency failure at some loop order — a nonzero anomalous term in the quantum master equation that cannot be absorbed by a local counterterm — which would directly falsify the unitarity sub-claim of R6, because a non-nilpotent BRST charge means \(\mathcal{H}_{\rm phys}\) is not well-defined as a cohomology and the ghost/unphysical-state cancellation argument collapses.

 (d) Machinery to start from. Batalin–Vilkovisky formalism (antibracket \((\cdot,\cdot)\) , BV-Laplacian \(\Delta\) , quantum master equation) applied order-by-order to the specific field content of \(\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm Higgs}\) with its exact KK mass ladder as the loop-level propagator data; standard anomaly-obstruction technology (Wess–Zumino consistency conditions on the potential anomalous term) to check whether any candidate obstruction can arise and, if so, whether it is proportional to an already-cancelled anomaly coefficient (in which case it must vanish by the existing anomaly-cancellation trace identities in \(\mathcal{C}_{\rm admiss}\) ) or is a genuinely new obstruction tied to the orbifold regularization (in which case it is a real finding). This is flagged in the brief as "no-known-route" specifically because no one has yet identified which of these two outcomes is even the likely one for a KK-orbifold theory of this specific type — it is honest theorem-debt, not a computation with a known recipe waiting to be executed.

 (e) Leverage. If H6 closes with nilpotency confirmed, it retroactively strengthens the foundation under all four sector-specific R6 mechanisms simultaneously (Kugo–Ojima, Higgs+ET, Gupta–Bleuler, spin-statistics) by certifying that the cohomological definition of \(\mathcal{H}_{\rm phys}\) they all rely on is well-posed at the quantum level, not just formally at tree level — a single result underwriting four already-banked legs at once. If it closes with a failure found, that is the single most consequential possible finding in this entire residual family, because it would falsify part of what is currently banked as DERIVED-GIVEN-E , and this dossier's honesty commitment is to state that possibility plainly rather than assume the convenient outcome.

 The one thing no specialist can close, stated as the ceiling it is

 None of R1–R4, H5, or H6 is "unitarity/causality/locality above the cutoff for every conceivable UV completion, at all energies, for all time." That statement is a universal negative over an open-ended domain — logically indistinguishable from asserting that quantum gravity's UV completion problem is solved, for any program, in any field. It is not listed as a seventh open row because it is not a bounded, closeable claim; it is the wall the entire field stands at. The six rows above are the correct, bounded, falsifiable decomposition of that wall into pieces a working specialist can actually attack, each with a stated success criterion and a stated refutation criterion, target-blind, using machinery that already exists or is a well-posed (if hard) extension of machinery that already exists. Closing R1/R3 (the shared UV wall) is the highest-leverage single act available, because it is counted once but retires two rows; closing R2 is the most field-general in payoff; H5 is the cheapest, lowest-risk win; H6 is the deepest foundational check and the one most likely to surprise.

 Honest ceiling, scope & the endpoint

 This section draws the line explicitly — in one place, at full precision, with every non-claim named — between what UQF-14 has actually shown and everything that sounds adjacent to it but is not established here. The fixed grade, stated once and never moved in what follows, is CERTIFIED-IRREDUCIBLE / RESOLVED +0 , read as TERMINAL + RESIDUALS-SHOWN . Every sentence below is written to be checked against that grade, not to inch it up or soften it down.

 E.1 What is explicitly NOT claimed

 UQF-14 is an audit/routing node on the physical Hilbert space \(\mathcal{H}_{\rm phys}=\ker Q_{\rm BRST}/{\rm im}\,Q_{\rm BRST}\) built from the frozen 13D arena \(\mathfrak{B}_{\rm active}=[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2]_\times\oplus[\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}]_\oplus\otimes[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}]_\otimes\) , \(D=4+6+2+1=13\) , \(K_6=SU(3)/T^2\) . Six distinct things must be said plainly are not claimed, because each is the specific shape of over-reach this gate is built to refuse.

 (1) Not a proof above the cutoff, for every UV completion. The banked legs — R5 (finite-truncation locality), R6 (per-sector perturbative ghost cancellation), R7(a) (all-orders perturbative microcausality) — are stated and proved below the KK cutoff \(M_{\rm KK}\sim 1/R_6\sim 2\pi M_U\) , with \(R_6=R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) at the chamber center and \(M_U=1.0\times10^{16}\) GeV. Above that scale, the graviton zero-mode and the full Kaluza–Klein tower go strongly coupled, and nothing in the derivation chain of §3 extends there. Asserting "Epstein–Glaser gives all-orders perturbative microcausality, therefore causality holds above the cutoff" is precisely the R7↛R1 forbidden cross (§3.3 of the brief) — a stretch of a finite, scope-limited theorem across a boundary it was never proved to cross. The claim stops exactly at the boundary the geometry itself draws: \(M_{\rm KK}\) is pinned to 16-figure precision by the frozen radius ladder, not by a hand-wave, so the line between "proved" and "not addressed" is a sharp number, not a fuzzy region.

 (2) Not a nonperturbative confinement / positive-norm certificate for QCD. AXIOM-PHYSICAL-POSITIVITY (§4 of the axiom floor) is explicitly scoped to perturbative kinematics. R6 uses this axiom to decouple the unphysical polarizations sector-by-sector — Kugo–Ojima quartet cancellation for the gluon sector, Higgs mechanism plus the Equivalence Theorem for longitudinal \(W/Z\) , Gupta–Bleuler/BRST for the photon, spin-statistics with no surviving mirror Weyl fermions (Atiyah–Singer–Patodi index on \([0,\pi]\) : \(n_L=+3\) , \(n_R=0\) ) — but decoupling the unphysical sector given positivity is not the same act as establishing that positivity holds nonperturbatively for a confining \(SU(3)_c\) gauge theory. That is R6↛R2, the second forbidden cross: per-sector perturbative ghost cancellation does not manufacture nonperturbative QCD positivity. The Clay Yang–Mills mass gap problem is exactly R2, exported whole to UQF-11/Gap-02, and the verbatim upstream status there is Precisely-OPEN ( REDUCED-TO-AXIOM , axiom-conditional on the granularity posit P1) — explicitly not a Clay solution. Nothing in UQF-14 closes, narrows, or reinterprets that status.

 (3) Not a full infinite-KK-tower cluster-decomposition proof. R5 banks locality/cluster decomposition strictly at finite KK truncation: the 13D local action, integrated over \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) at each 4D point, yields a 4D effective action local at any finite truncation level, with only analytic \(O(E^2/M_{\rm KK}^2)\) -suppressed corrections. Whether this composes to a genuine cluster-decomposition statement over the full, infinite tower — the object R3 names — is a separate, unproved claim; asserting it would be R5↛R3, the first forbidden cross. R3 is exported to UQF-10 (itself downstream of UQF-9/B3), with a named falsifier (a tachyonic KK mode) and an explicit prerequisite (reconciling the F1 shape-doublet saddle, currently leaning refuted — not to be revived as a shortcut).

 (4) Not a derivation of the carrier content E. Every banked leg in this gate carries the tag DERIVED-GIVEN-E . The Standard Model spectrum — three chiral generations from the spin- \(\mathbb{C}\) index \(\chi(K_6,E)=-3\) , the hypercharge assignments \(Y(Q_L)=+1/6\) , \(Y(u_R)=+2/3\) , \(Y(d_R)=-1/3\) , \(Y(L_L)=-1/2\) , \(Y(e_R)=-1\) , \(Y(H)=+1/2\) , the gauge group \(G_{\rm SM}=(SU(3)_c\times SU(2)_L\times U(1)_Y)/\mathbb{Z}_6\) with Smith normal form invariant factors \([1,6,6]\) — is inherited from the upstream gates that fix the carrier bundle \(\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\) , not re-derived here. Given-E is not derivation-of-E: this gate answers "is the theory built from E unitary/causal/local," never "why is E what it is." That second question belongs entirely to the gates that fix the spectrum, and UQF-14 draws on their output as a fixed input, exactly as an audit is supposed to draw on an already-specified object rather than re-litigate it.

 (5) Not a vacuum-energy / cosmological-constant cancellation claim. The residual ledger's admissibility firewall \(\mathcal{C}_{\rm admiss}\) forbids smuggling a \(\Lambda\) -cancellation result into this gate. UQF-14 says nothing about why the vacuum energy takes the value it does or why it does not gravitate at the naively expected scale; \(\Lambda\) stays Weinberg-open, recorded as a negative control precisely so that no future rereading of this gate can quietly annex that unrelated, much harder open problem. This is a deliberate act of not claiming, not an oversight.

 (6) The measured graviton-speed floor is not a certificate for the strongly-coupled graviton. \(|c_g-c|/c<10^{-15}\) (R7(b)) is a real, irreducible measured bound — but it is a zero-mode, low-energy statement, carrying three named non-irreducible co-premises: (a) a common-emission-time model for GW170817 and GRB170817A, (b) the \(\sim40\) Mpc distance-ladder baseline, (c) a shared causal order (itself supplied by the Lorentzian signature of \(\mathcal{M}_4\) , not manufactured by the bound). Treating this single-baseline, zero-mode luminality measurement as if it constrained the strongly-coupled, above-cutoff graviton sector is the fourth forbidden cross, \(c_g\not\Rightarrow\) full-QG causality. The measurement is real; its reach is exactly as far as the zero-mode propagator and no further.

 Two further distinctions, named because they are the precise shape of error this section exists to prevent, sit underneath all six non-claims above:

 Dissolved ≠ solved. Nowhere in this gate is an open question dissolved — reclassified as a category error, a unicorn, or an ill-posed demand — except for exactly one object, named in §E.4 below (the universal-negative "unitary above the cutoff for every possible UV completion"). Every other open leg (R1, R2, R3, R4, H6) remains a live, bounded, falsifiable open problem, exported to a named owning gate with a named falsifier. Calling R1–R4 or H6 "dissolved" would be a fabrication; they are open , not not-a-real-question . Only the single universal-negative statement is dissolved, and it is dissolved as a limit on all knowledge in the field, not as a rhetorical move to shrink the residual ledger.

 Selection ≠ derivation. The chamber center \(\vec u=(1,1,1)\) , the Einstein condition \(\mathrm{Ric}=\tfrac{5}{12}g\) (Killing norm) that fixes the Lichnerowicz spectrum \(E_L\in\{1/6,5/12,7/6,17/12\}\) on the graviton TT bundle \(\mathrm{Sym}^2_0\) (dimension 20), and the declared BRST/Gribov gauge-fixing scheme are all selected — admissible choices within a constrained chamber, certified not to be gerrymandered post hoc by the freeze-before-compare barrier and the Causal-Order Layer-2 screen — but selection of a scheme or a chamber point is not the same act as deriving that scheme or that point from something more fundamental. UQF-14 uses the selected scheme to prove theorems within it; it does not claim the selection itself is forced by first principles beyond the admissibility constraints (Weyl-rigidity, the chamber \([1/2,3/2]^3\) ) already recorded upstream. Conflating "we selected a well-defined, admissible scheme and proved theorems in it" with "we derived the scheme" would misstate what kind of result R5/R6/R7(a) actually are.

 Given-E ≠ derivation-of-E , restated for emphasis because it is the single most load-bearing non-claim in the gate: every one of R5, R6, R7(a) is tagged DERIVED-GIVEN-E , and that tag is not decorative. It marks a genuine logical dependency — remove the given carrier content (the three generations, the hypercharge lattice \(Y\in\tfrac16\mathbb{Z}\) , the no-mirror chirality projector \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) ) and the unitarity/causality/locality theorems have no fixed object to be theorems about . The theorems are conditional on E in exactly the sense that a theorem about "properties of the group \(G\) " is conditional on being told which group \(G\) is.

 E.2 The anchors paid

 Every claim in this gate reduces, without residue, to a short, closed, auditable list of paid anchors. Nothing is free; nothing is hidden. The axiom-floor table (brief §4) converges to a stable fixed point with exactly this composition:

 One measured atom. AXIOM-BARE-COINCIDENCE-KERNEL: the recorded \(\sim1.7\) s two-trigger clock-time coincidence, at a shared apparatus, between the LIGO/Virgo gravitational-wave trigger (GW170817) and the Fermi/INTEGRAL gamma-ray trigger (GRB170817A). This is the single irreducible empirical input of the entire gate — a Record-Interface / Scale-type anchor, meaning the measured bound is the anchor; there is no deeper structure to reduce it to without committing the anchoring-on-the-target sin (deriving a measurement from geometry). It carries the floor: floor \(\ge 1\) , satisfied by exactly this one atom, no more and no fewer.

 Two logically independent structural posits, both terminal as named corpus posits (not further reducible inside this gate). 
- AXIOM-SHARED-CAUSAL-ORDER: that there exists a shared causal order in which "spacelike," "lightcone," and "compare two propagation speeds" are meaningful statements at all. This traces to the Lorentzian signature of \(\mathcal{M}_4=\mathbb{R}^{3,1}\) in the × Stage layer of the frozen arena — a corpus Shape posit, terminal as a Shape statement (the buck for "why is spacetime Lorentzian" stops at the corpus level, outside this gate's remit, not inside it as an unfinished piece of UQF-14).
- AXIOM-PHYSICAL-POSITIVITY: that the quantum kinematics carries a positive-definite physical inner product. This is a corpus quantum-kinematics Shape/Granularity posit, logically independent of the causal-order posit (a separate root, not a restatement of it — confirmed by the Nonseparability screen, PASS-with-note, which checks precisely that shared machinery like the BRST quartet is not double-counted as two independent wins). It is explicitly scoped to perturbative kinematics; the corresponding nonperturbative statement for confining \(SU(3)_c\) is not paid for here — it is the separate, unresolved anchor cost of R2/UQF-11/Gap-02.

 One substrate-disposition posit. AXIOM-SUBSTRATE-DISPOSITION: the granularity/scale disposition that the descent presumes — concretely, that the theory is organized as finite-KK-truncation-then-EFT-limit , so that "local at any finite truncation, with analytic \(O(E^2/M_{\rm KK}^2)\) corrections" is the right object to prove rather than some other organizing principle. This is the deepest structural premise the specialist drive-to-axioms reached; it is terminal as a named posit precisely because reducing it further would mean reducing corpus Granularity/Scale themselves, which is out of scope for an audit gate that takes the frozen arena as given.

 One derivation. AXIOM-CAUSAL-NET-MEMBERSHIP: that the descended theory, at finite KK truncation and given E, is a member of the axiomatic-QFT (Wightman/Haag–Kastler) class. This is not an atom or a posit but a DERIVED-GIVEN-E conclusion — a theorem-debt-free derivation within its stated scope , built from the two structural roots plus the substrate posit, with R5/R6/R7(a) as its concrete in-scope instances. It is never promoted to a finished, unconditional theorem; it is exactly as strong as "given E, given finite truncation, given the two structural roots, C-net membership follows" — no stronger.

 One discipline meta-rule, at floor 0, never promoted to physics content. AXIOM-SCOPE-TAG-VALIDITY: NO-CROSS-CUTOFF-LIFT plus EXPORT-NOT-CLOSE. This is not a physical assumption; it is the bookkeeping discipline that keeps R5↛R3, R6↛R2, R7↛R1, and \(c_g\not\Rightarrow\) full-QG causality from ever being silently crossed. It costs nothing physically and buys the entire gate its right to call itself terminal rather than papered-over.

 What is explicitly not on this list, and why that absence matters. There is no second measured atom (the floor is satisfied once, not doubled by, say, treating the \(\sim40\) Mpc distance-ladder baseline as an independent anchor — it is correctly recorded as a co-premise of the single c_g measurement, not a second atom). There is no hidden target-anchoring (the Causal-Order screen, PASS, certifies the chain runs forward from the frozen 13D action to the banked certificate, never backward from "we know the SM is unitary at LHC energies"). There is no minimality-smuggle (the axiom-floor table is explicit that a "sixth reduction" would require either reducing corpus Shape/Scale/Granularity themselves — out of scope — or deriving a measurement from structure — the cardinal sin — and neither is attempted). The four anchors of the whole 13D program, \(\{M_{\rm Pl},\alpha_i(M_Z),y_t,|V_{us}|\}\) , do not themselves enter this gate's derivation chain at all: UQF-14's unitarity/causality/locality theorems do not depend on the numerical values of the coupling constants or Yukawa couplings, only on the qualitative carrier content (E) and the finite-truncation structure those four anchors elsewhere fix. This is worth stating because it is a genuine economy: the causality/unitarity/locality audit is bought far more cheaply than the coupling-constant or mass-spectrum predictions elsewhere in the program — one measured atom, two structural roots, one substrate posit, one scoped derivation, one meta-rule, and nothing more.

 E.3 The residual ledger, restated as a paid/owed balance sheet

 Collecting the full residual family (R1–R7, H5, H6) one final time, sorted strictly into PAID (internal, terminal, no further anchor owed) and OWED (external, named, routed):

 PAID — nothing further owed inside UQF-14: 
- R5 (finite-truncation 4D EFT locality/cluster decomposition, \(E\ll M_{\rm KK}\) ) — DERIVED-GIVEN-E , perturbative/EFT.
- R6 (per-sector perturbative ghost/positivity cancellation: Kugo–Ojima, Higgs+Equivalence Theorem, Gupta–Bleuler/BRST, spin-statistics with no light mirrors) — DERIVED-GIVEN-E + GIVEN AXIOM-PHYSICAL-POSITIVITY, perturbative.
- R7(a) (perturbative all-orders microcausality via Pauli–Jordan/Proca/Klein–Gordon/Dirac commutators plus Epstein–Glaser causal perturbation theory) — DERIVED-GIVEN-E , perturbative all-orders.
- R7(b) (measured graviton-speed anchor, \(|c_g-c|/c<10^{-15}\) ) — MEASURED-ANCHOR / IRREDUCIBLE, floor \(\ge1\) , zero-mode only.

 OWED — named, bounded, exported to the gate that owns each, never absorbed here: 
- R1 (above-cutoff graviton + full-KK-tower unitarity, Froissart-respecting high-energy growth) \(\to\) UQF-9/B3. Highest-leverage buildable sub-object: the sixth heat-kernel coefficient \(a_6\) on the graviton \(\mathrm{Sym}^2_0\) bundle, currently blocked at the Gelfand–Tsetlin off-diagonal hopping-term stratum (the exact SU(3) ladder matrix elements mixing the 5 Weyl-inequivalent \(T^2\) weight classes on \(\mathrm{Sym}^2_0\) — exact-in-principle, not yet enumerated), together with the order-6 mixed Neumann+Dirichlet boundary coefficient for \(S^1_Y/\mathbb{Z}_2\) , which is missing from the literature outright. What is already banked toward this: the scalar heat-kernel ratios \(a_2/a_0=5/12\) , \(a_4/a_0=11/120\) (Killing norm, Einstein center), the scalar backbone ratio \(a_6/a_2^3=7936/39375\) (agreed across three-plus independent engines), the certified Lichnerowicz spectrum \(E_L\in\{1/6,5/12,7/6,17/12\}\) on \(\mathrm{Sym}^2_0\) , and the exact invariant \(\|\nabla\,{\rm Riem}\|^2=1/4\) (Killing norm) certifying \(K_6\) is homogeneous but not locally symmetric — which is exactly the geometric fact making the GT ladder term unavoidable rather than droppable. The per-fixed-point \(a_0\) orbifold defect is certified exactly: \(+1/4\) (parity-even), \(-1/4\) (parity-odd), from a Donnelly equivariant reflection \(g\) -trace of exactly 1 (two fixed points \(\theta=0,\pi\) , each contributing \(1/|1-(-1)|=1/2\) ).
- R2 (nonperturbative strong-sector positive-norm unitarity / confinement / mass gap) \(\to\) UQF-11/Gap-02, verbatim status Precisely-OPEN ( REDUCED-TO-AXIOM , axiom-conditional on granularity posit P1 — explicitly not a Clay solution).
- R3 (full infinite-KK-tower cluster decomposition) \(\to\) UQF-10 (downstream of UQF-9/B3), falsifier: a tachyonic KK mode; prerequisite: reconcile the F1 shape-doublet saddle (currently leaning refuted).
- R4 (nonperturbative electroweak: instantons/sphalerons/high-temperature B-violation) \(\to\) BG-10, verbatim status Open/Diagnostic, 0-of-4 at certificate grade.
- H5 (independent line-by-line re-derivation of the U-AUDIT-B per-sector ghost/commutator ledgers, all carriers including KK partners) — the one leg genuinely closeable inside UQF-14, but optional and not yet performed; its refuting condition (an asserted-but-false entry or a missing carrier) is named so the leg stays falsifiable rather than vacuously true.
- H6 (order-by-order BRST nilpotency \(Q_{\rm BRST}^2=0\) for the descended 4D theory) \(\to\) UQF-4, verbatim status AUDIT/OPEN (order- \(\hbar\) BV-Laplacian nilpotency uncomputed) — honest theorem-debt with no known route today; a nilpotency failure at any loop order would falsify the unitarity sub-claim outright.

 Counted once, not twice — the two places double-counting would otherwise creep in. R1 and R3 both bottom out on the identical universal UV wall, B3/UQF-9: this is one open object viewed from two gates, and the ledger counts it once. The BRST/Kugo–Ojima quartet mechanism is shared machinery across the gluon and photon sectors of R6: it is one mechanism, certified once by the Nonseparability screen, not two independent corroborating wins. Both disciplines matter because inflating either would make the "everything internal is terminal" claim of §E.4 look stronger than it is.

 E.4 The unicorn, dissolved — and only this one thing

 Exactly one object in this gate is dissolved rather than left open: the demand to prove the descended theory unitary above the cutoff, for every possible UV completion of quantum gravity, at all energies . This is a universal negative over an open-ended domain (quantify over every UV completion anyone could ever propose) and is, on inspection, identical to the field's open UV-completion-of-quantum-gravity problem — not a narrower question that this program happens not to have answered, but the same unsolved problem every quantum-gravity program in every framework stands in front of. No finite construction, in this program or any other, can certify a universal negative over an unbounded space of possible completions; demanding one here would be demanding this gate solve a problem the entire field has not solved, using it as a hidden bar no other program is held to. The correct, bounded, honestly-stated replacement is exactly what R5/R6/R7 assert: unitary/causal/local where standard QFT applies (below cutoff, finite truncation, perturbative), conditional above the cutoff on a UV completion that does not yet exist for anyone. That bounded statement is the ceiling of what is knowable today — not a hedge, not a weakened version of a stronger claim that could have been made, but the actual shape the true statement takes. A parallel, smaller dissolution applies to the "no future undiscovered nonperturbative effect could ever violate microcausality or cluster decomposition" demand: this too is an open-ended universal negative, and its correct bounded form is the pre-registered falsifier set — a negative-norm physical state, a spacelike commutator failing to vanish, a tachyonic KK mode, a Froissart-bound violation in KK-graviton exchange, or a measured \(c_g\ne c\) — any one of which would falsify the corresponding banked leg immediately and propagate to the gate that owns it. Naming the falsifier set is the honest form of "we have not proven a universal negative"; it is not evasion, it is the sharpest claim available.

 Nothing else in this gate is dissolved. R1, R2, R3, R4, and H6 are not unicorns — each is a specific, bounded, falsifiable open problem with a named owning gate, and each remains genuinely open. Calling any of them "dissolved" rather than "open, exported" would misstate the ledger in the direction of overclaiming, which this gate refuses exactly as firmly as it refuses underclaiming.

 E.5 The closing endpoint statement

 Nothing left. Anchored on: Shape : the frozen 13D arena \(\mathfrak{B}_{\rm active}=[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2]_\times\oplus[\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}]_\oplus\otimes[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}]_\otimes\) ( \(D=13\) , \(K_6=SU(3)/T^2\) ), supplying the Lorentzian causal order (AXIOM-SHARED-CAUSAL-ORDER), the compact-Riemannian non-tachyonic KK tower at finite level, the declared BRST/Gribov gauge-fixing scheme, and the complete no-mirror carrier content ( \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) , \(n_L=+3\) , \(n_R=0\) ); Granularity : finite-KK-truncation-then-EFT-limit (AXIOM-SUBSTRATE-DISPOSITION), delivering locality with analytic \(O(E^2/M_{\rm KK}^2)\) -suppressed corrections only, and perturbative AXIOM-PHYSICAL-POSITIVITY, scoped exactly to perturbative kinematics; Scale : the derived hierarchy \(R_6=R_0=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) , \(M_U=1.0\times10^{16}\) GeV, \(M_*=7.467050992135091\times10^{16}\) GeV, giving the below/above-cutoff boundary its 16-figure precision, plus the one external MEASURED-ANCHOR floor \(|c_g-c|/c<10^{-15}\) (the \(\sim1.7\) s two-detector coincidence, floor \(\ge1\) , zero-mode only); Observables: \(S^\dagger S=1\) order-by-order, \([O(x),O(y)]=0\) for spacelike-separated \(x,y\) for every carrier's commutator through all loop orders (Epstein–Glaser), no negative-norm physical state and no unitarity violation observed at LHC energies, no tachyonic KK mode at any finite truncation level ( \(C_2(p,q)=(p^2+q^2+pq+3p+3q)/3\ge0\) always, lowest nonzero case \(C_2=3\) at the adjoint \((1,1)\) ), \(|c_g-c|/c<10^{-15}\) (GW170817/GRB170817A); Dissolution: the single universal-negative demand — unitary above the cutoff for every possible UV completion of quantum gravity, at all energies — is dissolved as the field-wide open UV-completion-of-quantum-gravity problem itself, a limit on all knowledge in this area rather than a defect of this program, with its correct bounded replacement (below-cutoff theorems plus a pre-registered falsifier set) standing as the ceiling of what is knowable today.

 Four objects remain named, bounded, and genuinely owed — not folded into the above, not hidden, and not this gate's to close: the graviton \(a_6\) heat-kernel coefficient at the Gelfand–Tsetlin stratum plus the \(S^1_Y/\mathbb{Z}_2\) order-6 mixed-boundary coefficient (feeding R1/R3 \(\to\) UQF-9/B3 and UQF-10), the nonperturbative Yang–Mills mass gap (R2 \(\to\) UQF-11/Gap-02, Precisely-OPEN), the nonperturbative electroweak sphaleron/instanton ledger (R4 \(\to\) BG-10, 0-of-4), and the order- \(\hbar\) BRST nilpotency verification (H6 \(\to\) UQF-4, AUDIT/OPEN, no known route today). Each is the field's, not a debt invented here and each is exactly as open, and no more open, than its owning gate states.

 Closure ledger — UQF-14 — above-cutoff causality

 Status (fixed): CERTIFIED-IRREDUCIBLE · RESOLVED +0

 The technical closure LEDGER (separate document)

 Gate: UQF-14 — above-cutoff causality (unitarity ∧ causality ∧ locality, class-membership audit).
 Fixed grade (do not move): CERTIFIED-IRREDUCIBLE / RESOLVED +0, read as TERMINAL + RESIDUALS-SHOWN.
 Role reminder for the auditor: UQF-14 has no number of its own to predict and no internal axiom of its own to close. It is a routing/audit node over the descended 4D theory built on the frozen 13D arena. Every entry below is graded on the credit ladder; nothing is upgraded past what its scope supports, and nothing already terminal is downgraded.

 0. Layer-0 wall identity

 The wall UQF-14 stands at is the axiomatic-QFT class-membership wall : does the theory descended from the frozen arena sit inside the Wightman / Haag–Kastler class — a Poincaré-covariant net of observable algebras on a positive-definite physical Hilbert space, with spacelike-commuting observables and energy positivity — and , where this cannot be settled by standard QFT alone, does the theory correctly name and route the exact unsolved problem that owns the gap?

 This is a compound wall with a scope boundary built in : below the cutoff, at finite Kaluza–Klein (KK) truncation, perturbatively, the wall is a theorem-application wall (do the standard QFT theorems apply to this carrier content, and do they close). Above the cutoff, nonperturbatively, or at the full infinite tower, the wall becomes the UV-completion-of-quantum-gravity wall — a field-wide, not program-specific, unsolved problem. The Layer-0 identity of UQF-14 is precisely the seam between these two: a finite, closeable theorem-application problem grafted onto an infinite, field-wide open problem, with the seam itself required to be drawn honestly (no leg is allowed to be stretched across it).

 Wall type: hybrid — RESOLVED (theorem-application, in-scope) + CERTIFIED-IRREDUCIBLE (the above-cutoff piece is a limit on all knowledge, not a defect of this program).

 1. Layer-1 endpoint anchor

 The endpoint anchor for UQF-14 is the C-net class-membership statement :

 \[
\text{unitarity} \wedge \text{causality} \wedge \text{locality} \;\Longleftarrow\; \text{C-net-membership}(E_{\rm frozen}), \quad \text{below cutoff, at finite KK truncation.}
\]

 This single statement is the fusion point of three historically separate sanity pillars (unitarity, causality, locality) into one membership test, evaluated given the carrier content \(E\) (the Standard Model spectrum plus the frozen 13D arena's derived KK towers) that is inherited , not derived, at this gate. The anchor is reached by chaining the descent (§3 below) from the frozen arena through the ⊗-Actors bundle content to the standard theorems that certify each of the three pillars in their proper scope, and by discharging the one piece that standard QFT theorems cannot reach (the zero-mode graviton speed) onto a measured atom.

 Endpoint line (verbatim, to be echoed unmodified in every downstream artifact): 
 Unitarity, causality, and locality are proven as standard QFT theorems below the cutoff given the observed particle content (finite KK truncation, perturbative), plus one measured graviton-speed floor, with the fully-quantum-gravity, nonperturbative, and full-tower pieces named as honestly open and routed to the frontier gates that own them — a reached terminal with its residuals shown, not a papered-over gap. 

 2. Layer-2 root stack

 2.1 Tier A — Shape / Scale / Granularity, full precision

 Shape. The frozen 13D arena is the complete layered object

 \[
\mathfrak{B}_{\rm active}=\big[\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2\big]_\times \;\oplus\; \big[\mathcal F^+_{\rm finite}\oplus\mathcal C_{\rm admiss}\big]_\oplus \;\otimes\; \big[\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton}\big]_\otimes,
\]

 with \(K_6=SU(3)/T^2\) the full \(A_2\) flag manifold, \(D=4+6+2+1=13\) . Only the ×-Stage layer carries metric dimension; the ⊕-Rulebook and ⊗-Actors layers are 0-dimensional but are load-bearing parts of the frozen branch that UQF-14 must not silently truncate. The Shape relevant to UQF-14's unitarity/causality/locality audit is specifically:

 the graviton TT (transverse-traceless) projector on \(\mathrm{Sym}^2_0 T^*K_6\) (dimension 20, out of the full \(\mathrm{Sym}^2\) dimension 21), carrying the Lichnerowicz operator spectrum \(E_L \in \{1/6\ (\times6),\ 5/12\ (\times6),\ 7/6\ (\times6),\ 17/12\ (\times2)\}\) [Killing-norm, Einstein center] — this is the exact object whose positivity underwrites "no negative-norm graviton polarization" in the perturbative sector;

 the Fierz–Pauli ghost-removal structure carried by that same TT decomposition (removing the trace mode, eigenvalue \(5/3\) , and the vector/scalar constraint modes, which is precisely why the TT subbundle of dimension 20 rather than the full \(\mathrm{Sym}^2\) of dimension 21 is the physical carrier);

 the KK mass operator built from \(C_2(p,q)=(p^2+q^2+pq+3p+3q)/3\) over \(R_6^2\) , which supplies the tower of masses that the microcausality and locality legs must respect mode-by-mode;

 the Kugo–Ojima BRST quartet mechanism acting on the gauge sector \(\mathcal E_{\rm gauge}\) (connection \(A\) , curvature \(F\) , ghost/antighost/Nakanishi–Lautrup quartet), with \(Q_{\rm BRST}\) cohomology defining \(\mathcal H_{\rm phys}=\ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) ;

 the Gupta–Bleuler / BRST indefinite-metric quotient for the photon sector (the \(U(1)_Y\) / \(U(1)_{\rm em}\) piece descending from \(S^1_Y/\mathbb Z_2\) );

 the chirality projector \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) on the internal 8-dimensional spinor bundle \(S(K_6)\otimes S(S^2)\otimes S(S^1_Y)\) , whose Atiyah–Singer–Patodi index on \([0,\pi]\) gives \(n_L=+3\) , \(n_R=0\) — three left-handed families, no surviving mirror fermion , which is the exact structural fact that keeps spin-statistics from producing a negative-norm state.

 Scale. The scale data riding under the unitarity/causality/locality legs: \(R_6=R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ \mathrm{GeV}^{-1}\) at the chamber center \(\vec u=(1,1,1)\) ; \(M_U=1.0\times10^{16}\ \mathrm{GeV}\) ; \(M_*=7.467050992135091\times10^{16}\ \mathrm{GeV}\) (fixed by \(M_*^{11}=M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active})=4.023836152402511\times10^{185}\ \mathrm{GeV}^{11}\) , \(\mathrm{Vol}(X_{\rm active})=3.704417261398702\times10^{-148}\ \mathrm{GeV}^{-9}\) ). The cutoff that gives the gate its name is \(M_{\rm KK}\sim 1/R_6\sim 2\pi M_U\sim 6.3\times10^{16}\ \mathrm{GeV}\) (order-of-magnitude; exact KK level spacing is set by \(C_2(p,q)/R_6^2\) ). Below this scale, energies satisfy \(E\ll M_{\rm KK}\) and the EFT/perturbative legs (R5, R6, R7(a)) are theorem-certified; above it, the KK tower and graviton go strongly coupled and the gate exports.

 Granularity. The granularity posit relevant here is AXIOM-SUBSTRATE-DISPOSITION — the corpus-level structural premise (not created at this gate) that the descent from 13D to 4D at a finite KK truncation is a well-posed operation preserving locality up to computable, analytic \(O(E^2/M_{\rm KK}^2)\) corrections. This is a named corpus posit , reduced no further inside UQF-14; it is the deepest structural premise the descent presumes, and it is logically upstream of (not reduced by) the causality/unitarity legs that ride on it.

 2.2 Tier B screens (Layer-2 audit), all PASS on the banked legs

 Screen 
 Verdict 
 Basis 

 Invariance 
 PASS 
 Norm/commutator statements are gauge/BRST-invariant by construction; Kugo–Ojima and Gupta–Bleuler are exactly the invariance-respecting physical quotients, not add-on checks. 

 Record Interface 
 PASS 
 Finite, checkable observables: order-by-order unitarity of the S-matrix, \(S^\dagger S=1\) order-by-order; microcausality as vanishing of \([O(x),O(y)]\) for spacelike \((x-y)\) . 

 Causal Order 
 PASS 
 Every banked theorem runs forward from the carrier content \(E\) (given) to the consequence (unitary/causal/local); no observational target is fed backward into the derivation — not target-loaded. 

 Nonseparability 
 PASS-with-note 
 The BRST/Kugo–Ojima quartet mechanism is shared across the gluon and photon sectors (both are BRST cohomology constructions); it is counted once , not double-counted as two independent wins. 

 3. Measured anchors and their exact role

 UQF-14 touches the corpus's four irreducible anchors only as given, upstream, not re-derived : \(\{M_{\rm Pl}, \alpha_i(M_Z), y_t, |V_{us}|\}\) . None of the four is consumed as an unitarity/causality/locality input in its own right; they fix the geometry ( \(M_{\rm Pl}\to M_*\) ), the gauge couplings, the top Yukawa, and the CKM angle that together fix \(E\) (the carrier content) upstream of this gate. Role: CONSUMED-UPSTREAM (inherited via \(E\) , not re-tested here).

 The anchor that is native to this gate is a fifth, gate-specific measured atom:

 Anchor 
 Value 
 Role at UQF-14 
 Kind 

 Two-detector clock-time coincidence, LIGO/Virgo (GW170817) vs Fermi/INTEGRAL (GRB170817A) 
 ~1.7 s at a shared apparatus 
 CONSUMED as the sole empirical atom carrying the floor for the "no superluminal graviton" leg 
 MEASURED-ANCHOR, floor ≥ 1 

 Derived bound from that coincidence 
 \(\|c_g-c\|/c < 10^{-15}\) 
 TESTED-AGAINST : the theory's zero-mode graviton propagation speed ( \(=c\) by the Fierz–Pauli / TT structure at leading order) is checked against, not fitted to, this bound 
 derived-given-3-co-premises 

 Co-premise (a): common-emission-time model 
 — 
 non-irreducible; travels with the bound whenever quoted 
 assumption, named 

 Co-premise (b): ~40 Mpc distance-ladder baseline 
 — 
 non-irreducible; travels with the bound 
 measured input, named 

 Co-premise (c): shared causal order 
 — 
 non-irreducible; needed even to say "compare two speeds" 
 corpus SHAPE posit (AXIOM-SHARED-CAUSAL-ORDER) 

 Reproduced vs consumed vs tested-against, stated precisely: the theory does not reproduce \(10^{-15}\) (that would require deriving a measurement from structure — a cardinal sin, explicitly forbidden). It predicts \(c_g=c\) at leading (zero-mode, classical TT-graviton) order from the Fierz–Pauli structure of the descended graviton kinetic term, and that qualitative prediction is tested against the measured bound, which it passes. The measured atom (~1.7 s) is consumed as the floor of the whole leg; it cannot be further reduced without committing target-anchoring.

 No other measured anchor is native to UQF-14. The "no unitarity violation / no negative-norm state observed at LHC energies" fact quoted in cross-checks (§6) is a control , not a floor-carrying anchor — it corroborates R6 but is not needed to derive R6, which is a theorem given \(E\) .

 4. Full derivation chain — numbered ledger, each step with its exact value

 Step 0 (given). Frozen arena \(\mathfrak B_{\rm active}\) , \(D=13\) , \(K_6=SU(3)/T^2\) ; four irreducible anchors fix \(E\) (carrier content) upstream; \(E\) itself is GIVEN , not derived at this gate.

 Step 1 (× Stage — descent). Integrate out \(K_6\times S^2\times S^1_Y/\mathbb Z_2\) at each point of \(\mathcal M_4\) . Exact volume used in the descent: \(\mathrm{Vol}(X_{\rm active})=\mathrm{Vol}(K_6)\,\mathrm{Vol}(S^2)\,\mathrm{Vol}(S^1_Y/\mathbb Z_2)=2.327554010848277\times10^{-99}\ \mathrm{GeV}^{-6}\times 3.183098861837907\times10^{-33}\ \mathrm{GeV}^{-2}\times5.000000000000000\times10^{-17}\ \mathrm{GeV}^{-1}=3.704417261398702\times10^{-148}\ \mathrm{GeV}^{-9}\) . Result: a 4D effective action, local at any finite KK truncation , with corrections analytic in \(O(E^2/M_{\rm KK}^2)\) . Grade: DERIVED-GIVEN-E. 

 Step 2 (⊗ Actors — carrier descent). Each 13D field descends to a 4D tower: graviton zero-mode + KK tower (from \(\mathrm{Sym}^2_0T^*K_6\) , dim 20, TT gauge), gluons (adjoint of \(K_6\) 's \(SU(3)_c\) isometry), \(W/Z\) (from \(S^2\) 's \(SU(2)_L\) isometry, eaten Goldstones via Higgs/Wilson-line mechanism \(n_H=1\) ), photon (surviving \(U(1)_{\rm em}=T_3+Y\) combination), Higgs (Hosotani mode on the Wilson-line cycle), chiral fermions (three left-handed families, \(n_L=+3\) , \(n_R=0\) , no mirror). Grade: DERIVED-GIVEN-E. 

 Step 3 (KK spectrum — the numbers the causality/locality legs ride on). Vector tower: \(m^2_{(p,q),\rm vec}=(C_2(p,q)+\Delta_{\rm vec})/R_6^2\) . Dirac tower: \(m^2_{(p,q),\rm Dirac}=(C_2(p,q)+\|\rho\|^2+\Delta_{\rm spin^c})/R_6^2\) , with \(\|\rho\|^2=2\) (exact, Killing normalization, \(\rho=(1,0,-1)\) half-sum of positive roots of \(A_2\) ). Lowest nonzero scalar harmonic: adjoint \((1,1)\) , \(\dim=8\) , \(C_2=3\) exactly, zero-weight multiplicity \(m_0=2\) (16 real KK modes at this level). \(R_6=R_0=1.591549430918954\times10^{-17}\ \mathrm{GeV}^{-1}\) . Spectral condition check: at finite truncation, every \(m^2_{(p,q)}\ge0\) manifestly (no tachyon in the enumerated tower); the full-infinite-tower non-tachyon statement is not certified here (exported, R3). Grade: DERIVED-GIVEN-E at finite truncation; OPEN at infinite tower (R3). 

 Step 4 (Gupta–Bleuler / BRST — photon). The indefinite-metric quotient on the \(U(1)\) sector descending from \(S^1_Y/\mathbb Z_2\) : physical states are the BRST cohomology \(\ker Q_{\rm BRST}/\mathrm{im}\,Q_{\rm BRST}\) , removing the timelike and longitudinal polarizations exactly, leaving 2 physical transverse polarizations with positive norm. Grade: DERIVED-GIVEN-E (standard theorem, applied to this carrier). 

 Step 5 (Kugo–Ojima quartet — gluons). The BRST quartet mechanism (gluon, ghost, antighost, Nakanishi–Lautrup auxiliary) cancels pairwise in \(\mathcal H_{\rm phys}\) , leaving 2 physical transverse polarizations per color-adjoint gluon, all positive norm — given the underlying gauge algebra is \(\mathfrak{su}(3)_c\) (from \(K_6\) 's isometry) and given perturbative BRST invariance. This step does not establish confinement or nonperturbative positivity of the strongly-coupled QCD vacuum (that is R2, exported). Grade: DERIVED-GIVEN-E (perturbative). 

 Step 6 (Higgs mechanism + Equivalence Theorem — W/Z). The Wilson-line/Hosotani Higgs doublet ( \(n_H=1\) exact integer winding) supplies the longitudinal \(W^\pm, Z\) polarizations via the standard Higgs mechanism; the Equivalence Theorem guarantees high-energy amplitudes involving longitudinal \(W_L/Z_L\) equal those of the eaten Goldstones up to \(O(m_W/E)\) corrections, which is what keeps the theory unitary at high energy below the strong-coupling/cutoff scale . Numerically: \(v_{\rm pred}=246.02\pm3.5\ \mathrm{GeV}\) , \(m_h=123.82\pm1.8\ \mathrm{GeV}\) , \(\lambda_H=m_h^2/(2v^2)=0.12722\pm0.00181\) (post-RG Hosotani outputs, carried over from the Higgs-sector gate, consumed here only as confirmation the eaten-Goldstone counting closes). Grade: DERIVED-GIVEN-E. 

 Step 7 (Spin-statistics + no-mirror). The chirality projector \(P_\chi=\tfrac12(1+\gamma_5\Gamma_8)\) and the Atiyah–Singer–Patodi index ( \(n_L=+3\) , \(n_R=0\) ) certify that no wrong-statistics field (no surviving mirror Weyl fermion) is present in the spectrum — a necessary condition for the absence of a negative-norm state from misassigned spin-statistics. Per-field \(\mathbb Z_2\) parity at \(\theta=0,\pi\) : \(Q_L(+,+)\) , \(L_L(+,+)\) carry zero modes; \(u_R,d_R,e_R,\nu\,(-,-)\) carry zero modes via \(\Pi_u,\Pi_d,\Pi_e,\Pi_\nu\) ; all mirror parities are forbidden. Grade: DERIVED-GIVEN-E (exact topological index, structural). 

 Step 8 (microcausality, tree level). Each free carrier's two-point commutator is checked: Pauli–Jordan for the gluon/photon/graviton (vector/tensor, gauge-fixed), Klein–Gordon commutator for the Higgs and each scalar KK mode, Dirac anticommutator for each fermion + KK partner. Each vanishes for spacelike separation \((x-y)^2<0\) by construction of the free propagator's support (this is the standard local-QFT microcausality theorem, applied mode-by-mode across the KK tower). Grade: DERIVED-GIVEN-E (free-field, tree level). 

 Step 9 (microcausality, all orders). Epstein–Glaser causal perturbation theory extends Step 8 to all orders in perturbation theory : the interacting time-ordered products can be constructed order-by-order preserving the causal factorization property, so that \([O(x),O(y)]=0\) for spacelike \((x-y)\) survives loop corrections, within the perturbative/EFT regime (i.e. below the cutoff, expansion parameter \(E/M_{\rm KK}\) or \(g^2/4\pi\) small). Grade: DERIVED-GIVEN-E (perturbative, all orders — this is R7(a)). Explicitly does not extend above the cutoff or nonperturbatively (forbidden cross R7↛R1, §5).

 Step 10 (locality / cluster decomposition, finite truncation). Because Step 1's descended action is local at any finite KK truncation with only analytic \(O(E^2/M_{\rm KK}^2)\) non-localities, and because the spectral condition (Step 3, finite-truncation part) holds together with Lorentz covariance, the standard Haag–Kastler cluster decomposition theorem applies: spacelike-separated finite-truncation observables become statistically independent at large separation. Grade: DERIVED-GIVEN-E (finite truncation — this is R5). Does not extend to the full infinite tower (forbidden cross R5↛R3, §5).

 Step 11 (graviton speed, zero mode). The TT graviton kinetic term descending from Step 2's \(\mathrm{Sym}^2_0T^*K_6\) decomposition is a standard Fierz–Pauli kinetic term with no higher-derivative or non-canonical-normalization correction at the zero-mode level; its dispersion relation is \(\omega^2=k^2\) , i.e. propagation at \(c\) , at leading order. Grade: DERIVED-GIVEN-E (zero-mode, classical). This qualitative prediction ( \(c_g=c\) ) is tested against the measured bound of Step 12.

 Step 12 (measured floor). Consume the MEASURED-ANCHOR: ~1.7 s coincidence (GW170817/GRB170817A) \(\Rightarrow\) \(|c_g-c|/c<10^{-15}\) , carrying its three named co-premises (common-emission-time model; ~40 Mpc baseline; shared causal order). Grade: MEASURED-ANCHOR / IRREDUCIBLE, floor ≥ 1 — this is R7(b). This step is not a derivation and cannot be pushed further without anchoring on the target.

 Step 13 (assembly — the collapse to one statement). Steps 4–11 (R5, R6, R7(a)) plus Step 12 (R7(b)) assemble, under the Causal-Order-PASS discipline, into the single C-net class-membership statement of §1: below cutoff, at finite KK truncation, perturbatively, the descended theory is unitary ∧ causal ∧ local. Grade of the assembled statement: DERIVED-GIVEN-E (compound of Steps 1–11) + MEASURED-ANCHOR (Step 12) for the graviton-speed sub-claim. 

 Step 14 (routing — what is NOT closed by Steps 1–13). Above-cutoff graviton/full-KK-tower unitarity (R1), nonperturbative strong-sector positivity/confinement (R2), full infinite-tower cluster decomposition (R3), nonperturbative electroweak sphaleron/instanton ledger (R4), and order-by-order BRST nilpotency \(Q^2_{\rm BRST}=0\) of the descended 4D theory (H6) are not derived by any step above; each is explicitly routed (§5) to the gate/wall that owns it. Grade: OPEN / EXPORTED (not a failure of Steps 1–13; a scope boundary correctly drawn.) 

 5. Credit-ladder grading, leg by leg

 Leg 
 Object 
 Credit-ladder grade 
 Scope qualifier 

 R5 
 Finite-truncation 4D EFT locality / cluster decomposition 
 DERIVED-GIVEN-E 
 \(E\ll M_{\rm KK}\) , perturbative/EFT, finite truncation only 

 R6 
 Per-sector ghost/positivity cancellation (Kugo–Ojima, Higgs+ET, Gupta–Bleuler/BRST, spin-statistics/no-mirror) 
 DERIVED-GIVEN-E , given AXIOM-PHYSICAL-POSITIVITY 
 perturbative; decouples unphysical sector given positivity, does not establish positivity nonperturbatively 

 R7(a) 
 Perturbative all-orders microcausality (Pauli–Jordan/Dirac + Epstein–Glaser) 
 DERIVED-GIVEN-E 
 perturbative, all orders; silent above cutoff 

 R7(b) 
 Graviton-speed bound \(\|c_g-c\|/c<10^{-15}\) 
 MEASURED-ANCHOR / IRREDUCIBLE , floor ≥ 1 
 zero-mode, low-energy only; 3 named co-premises travel with it 

 AXIOM-BARE-COINCIDENCE-KERNEL 
 ~1.7 s two-trigger clock-coincidence 
 ATOMIC / TERMINAL (carries the floor) 
 — 

 AXIOM-SHARED-CAUSAL-ORDER 
 shared causal order exists 
 REDUCED-TO-AXIOM (corpus SHAPE posit) 
 terminal at corpus level, not re-opened in-gate 

 AXIOM-PHYSICAL-POSITIVITY 
 positive-definite physical inner product 
 REDUCED-TO-AXIOM (corpus SHAPE/GRANULARITY posit) 
 scoped to perturbative kinematics; nonperturbative piece exported to R2 

 AXIOM-SUBSTRATE-DISPOSITION 
 granularity/scale disposition the descent presumes 
 REDUCED-TO-AXIOM (deepest structural premise) 
 terminal as named posit 

 AXIOM-CAUSAL-NET-MEMBERSHIP 
 descended theory ∈ C-net class 
 DERIVED-GIVEN-E (conjecture/theorem-debt form) 
 R5/R6/R7 are its in-scope instances 

 AXIOM-SCOPE-TAG-VALIDITY 
 NO-CROSS-CUTOFF-LIFT + EXPORT-NOT-CLOSE discipline 
 meta-rule, floor 0 , never promoted 
 governs this whole table 

 R1 
 Above-cutoff graviton + full-KK-tower unitarity 
 OPEN / EXPORTED → UQF-9/B3 
 badge-carrying, universal UV wall 

 R2 
 Nonperturbative strong-sector positive-norm unitarity (confinement/mass gap) 
 OPEN / EXPORTED → UQF-11/Gap-02 
 Gap-02 itself graded REDUCED-TO-AXIOM (granularity-conditional), Precisely-OPEN, not a Clay solution 

 R3 
 Full infinite-KK-tower cluster decomposition 
 OPEN / EXPORTED → UQF-10 (↓ UQF-9/B3) 
 falsifier: a tachyonic KK mode 

 R4 
 Nonperturbative electroweak (instantons/sphalerons/high-T B-violation) 
 OPEN (scoped-out) / EXPORTED → BG-10 
 BG-10 is 0-of-4 at certificate grade 

 H5 
 Independent re-derivation of the per-sector ghost/commutator ledger 
 INTERNAL / near-term, optional 
 the one leg technically closeable inside UQF-14 

 H6 
 Order-by-order \(Q^2_{\rm BRST}=0\) nilpotency of the descended 4D theory 
 OPEN / EXPORTED, no known route → UQF-4 
 honest theorem-debt; failure at some loop order would falsify the unitarity sub-claim 

 Whole-gate roll-up: every leg internal to UQF-14 (R5, R6, R7(a), R7(b), plus the five axiom-floor entries) is terminal (DERIVED-GIVEN-E ×3, MEASURED-ANCHOR ×1 floor≥1, REDUCED-TO-AXIOM ×3, meta-rule ×1). Nothing internal is owed. The residual family (R1–R4, H5, H6) is shown, not hidden , and is either exported to a genuinely tracked owning gate or (H5) left as an optional, non-blocking internal refinement. This is exactly the configuration the credit ladder calls CERTIFIED-IRREDUCIBLE : proven-no-internal-lever plus named external walls that belong to the whole field.

 6. Axiom-floor fixed point (deep-root anchoring)

 # 
 Axiom / object 
 Statement 
 Deep-root 
 Reducibility verdict 

 1 
 AXIOM-BARE-COINCIDENCE-KERNEL 
 ~1.7 s two-trigger clock-coincidence at shared apparatus 
 Record-interface/Scale 
 ATOMIC, floor ≥ 1, TERMINAL 

 2 
 AXIOM-SHARED-CAUSAL-ORDER 
 a shared causal order exists (so "spacelike"/"lightcone"/"compare two speeds" are meaningful) 
 corpus SHAPE 
 NOT-atomic → reduced; TERMINAL as corpus posit 

 3 
 AXIOM-PHYSICAL-POSITIVITY 
 positive-definite physical inner product in the quantum kinematics 
 corpus SHAPE/GRANULARITY 
 NOT-atomic → reduced; logically independent of #2; TERMINAL as corpus posit; scoped to perturbative kinematics 

 4 
 AXIOM-SUBSTRATE-DISPOSITION 
 substrate/granularity/scale disposition the descent presumes 
 corpus GRANULARITY/SCALE 
 NOT-atomic → reduced; deepest structural premise reached; TERMINAL 

 5 
 AXIOM-CAUSAL-NET-MEMBERSHIP 
 descended theory is a C-net class member 
 derived by finite-KK descent from #2+#3+#4, given E 
 DERIVED-GIVEN-E; TERMINAL as a derivation; R5/R6/R7 are its instances 

 6 
 AXIOM-SCOPE-TAG-VALIDITY 
 discipline: NO-CROSS-CUTOFF-LIFT + EXPORT-NOT-CLOSE 
 non-physics meta-rule 
 TERMINAL, floor 0, never promoted 

 Count: exactly 1 measured atom + 2 independent structural roots (causal order, physical positivity — logically independent of each other) + 1 substrate posit + 1 DERIVED-GIVEN-E + 1 meta-rule . Floor ≥ 1 satisfied by item 1 alone. A "sixth reduction" would require either reducing corpus-level GRANULARITY/SCALE/SHAPE from inside UQF-14 (out of this gate's scope) or deriving a measurement from structure (the cardinal from-nothing sin). Neither is done. Convergence-is-not-proof guardrail, stated explicitly: the fixed point being stable across both structural fronts (causal order, physical positivity) means the bookkeeping has stabilized — it does not, by itself, certify the physics; the physics is certified leg-by-leg in §4–§5.

 7. Anti-claims and negative controls

 The four forbidden crosses (specificity diagnostic). Each of the following is a fabrication if asserted, and none is asserted anywhere in this ledger:

 R5 ↛ R3 : finite-truncation locality does not imply full-infinite-tower cluster decomposition.

 R6 ↛ R2 : perturbative ghost cancellation does not imply nonperturbative QCD positivity/confinement.

 R7 ↛ R1 : below-cutoff/all-orders-perturbative microcausality does not imply above-cutoff causality.

 \(c_g\) ↛ full-QG causality : the single-baseline zero-mode luminality bound does not cover the strongly-coupled graviton sector.

 No-Λ control. UQF-14 claims no vacuum-energy/cosmological-constant cancellation of any kind. Λ remains Weinberg-open and is held strictly external to this gate — a deliberate negative control against scope creep.

 Collider control (corroborating, not load-bearing). No negative-norm physical state and no unitarity violation is observed at LHC energies — consistent with R6's perturbative certificate but not itself part of the derivation chain (it is an observational cross-check, graded as a control, not an anchor).

 From-nothing detector. Leg A (Steps 1–11 of §4) chains to given- \(E\) plus a closed standard-QFT theorem set, has floor ≥ 1 (via the measured co-anchor in Step 12 for the graviton-speed sub-claim, and via given- \(E\) for the rest), is not dimensionful-unanchored, is not target-anchored (Causal-Order screen PASS), and contains no minimality-smuggle. Leg B (Step 12) is the measured anchor itself and is correctly routed to ANCHOR-CERTIFY treatment, not claimed as a derivation.

 The dissolved unicorn. "Unitary above the cutoff for every possible UV completion, at all energies" is a universal negative over an open-ended domain — logically identical to the unsolved UV-completion-of-quantum-gravity problem, unprovable in principle for any program in any field, not specific to this corpus. It is dissolved as a limit on all knowledge , not carried as a debt of this gate. Likewise, "no future undiscovered nonperturbative effect could ever violate microcausality or cluster decomposition" is an open-ended universal negative; the correct bounded replacement is the pre-registered falsifier set of §8.

 Record/audit interface control. The audit-record verdict AUDIT_COMPLETE_OPEN denotes a bookkeeping fixed point (stability of the ledger under re-audit) — explicitly not claimed as physical closure. Convergence ≠ proof, held as a standing guardrail (§6).

 8. Falsifiers (pre-registered, bounded)

 This row is a falsifiable bet , not an unfalsifiable hedge. It dies immediately upon any of:

 a negative-norm physical state discovered in any sector at any order;

 a spacelike commutator \([O(x),O(y)]\ne0\) found to survive at any computed order;

 a tachyonic KK mode ( \(m^2_{(p,q)}<0\) for any \((p,q)\) in the certified finite tower, or in an extended computation of the tower);

 a Froissart-bound violation in KK-graviton exchange amplitudes;

 a measured \(c_g\ne c\) at improved precision (tightening or breaking the \(10^{-15}\) bound).

 Each falsifier propagates to the specific gate that owns the corresponding leg (R1→UQF-9/B3, R2→UQF-11/Gap-02, R3→UQF-10, R4→BG-10, R7(b)→ this gate directly), not diffusely to "the theory."

 9. Dependency graph (routing table)

 Exported leg 
 Destination gate 
 Destination's current status (verbatim echo) 

 R1 (above-cutoff graviton + full-tower unitarity) 
 UQF-9 / B3 
 AUDIT / structural-frontier 

 R3 (full infinite-tower cluster decomposition) 
 UQF-10 (downstream of UQF-9/B3) 
 AUDIT 

 R2 (nonperturbative strong-sector positivity/confinement) 
 UQF-11 / Gap-02 
 Precisely-OPEN, REDUCED-TO-AXIOM (granularity-conditional), NOT a Clay solution 

 R4 (nonperturbative electroweak) 
 BG-10 
 Open / Diagnostic, 0-of-4 

 H6 (BRST nilpotency \(Q^2=0\) ) 
 UQF-4 
 AUDIT/OPEN (order-ℏ nilpotency uncomputed) 

 R1 and R3 both bottom on B3 , the single universal UV wall — counted once as the same open object viewed from two gates, never double-counted as two independent open problems.

 10. Endpoint line (repeated for the auditor's record)

 CERTIFIED-IRREDUCIBLE / RESOLVED +0. Internal ledger: zero debt (R5, R6, R7(a) DERIVED-GIVEN-E ; R7(b) MEASURED-ANCHOR , floor ≥ 1; five axiom-floor entries all TERMINAL). External ledger: five named, tracked, falsifiable exports (R1, R2, R3, R4, H6) plus one optional internal refinement (H5), none dissolved prematurely, none stretched across a forbidden cross. The single thing this gate cannot prove — above-cutoff unitarity for every UV completion — is a field-wide universal negative, dissolved as a limit on all knowledge rather than carried as this program's defect. PROMOTIONS:0 held throughout: no OPEN row silently moved to PASS, no cross-cutoff stretch, no measurement derived from structure, no Λ smuggled in.