What this is. The full, working-physicist treatment of gate UQF-14 (Unitarity / Causality / Locality) of the framework's quantum-gravity program, on the frozen 13-dimensional K₆ branch. It expands the live 30-second status card into a paper a reader can both check and build on: the rigorous machinery behind every banked sub-claim, the precise statement of every open sub-claim, the insights that produced the progress, and a concrete specialist work plan for each open hole.
Binding discipline (carried verbatim from the source dossier). STATUS-UPGRADES:0. The honest status is AUDIT (OPEN) and is not upgraded anywhere in this document. The frozen branch
dcc66f1b2685/a5b1e6f9d951is READ-ONLY. The banked sub-claims are perturbative + truncated-Kaluza–Klein, certificate-tier, computed with no new physics added — standard quantum field theory applied inside its accepted scope. The open sub-claims are above-cutoff / nonperturbative / full-KK-tower, each blocked by a named upstream gate that is itself AUDIT or OPEN. Inheriting a banked perturbative certificate is not a proof of high-energy consistency. A theorem applied inside its framework is legitimate; stretching it across the cutoff to "close" the above-cutoff claim assumes the answer. Honest ceiling: serious candidate — NOT validated.
Headline. Wherever standard quantum field theory applies, this theory is provably unitary, causal, and local — and exactly where it cannot yet be proven, the theory says so out loud and routes the gap to the specific unsolved problem that owns it.
The honest grade (matches the live popup chip). OPEN — carrying a banked CERTIFICATE-tier perturbative + truncated-KK sub-row, graded AUDIT under the weakest-link min-rule. Direction: held. No status anywhere in this dossier is upgraded. (Source: GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md, UQF-14 row, line 40: OPEN → OPEN (with a banked CERTIFICATE-tier perturbative + truncated-KK sub-row; AUDIT under the weakest-link min-rule), held; and UQF14_COMPLETION_RESULT.md §1: "Gate status: AUDIT / OPEN — badge permanently EXPORTED to UQF-9.")
What this dossier establishes, and what it does not. It establishes — at the level a working physicist can re-derive — that the four-dimensional effective theory descended from the frozen 13D construction is unitary, causal, and local in every regime where standard QFT applies to it: perturbatively, below the cutoff, and with a finite Kaluza–Klein truncation, given the observed Standard-Model content. Three legs are banked as VERIFIED at that scope (§3, §5). It does not establish — and explicitly refuses to claim — unitarity above the cutoff, nonperturbative strong-sector unitarity, cluster decomposition with the full infinite KK tower, or any nonperturbative-electroweak disposition. Those four are honestly OPEN and are exported as typed contracts to the upstream gates that own them (UQF-9, UQF-11/Gap-02, UQF-10, BG-10) — each of which is itself AUDIT/OPEN. The gate's verdict is set by the weakest inherited link; three banked legs do not lift it.
The one-paragraph spine. UQF-14 is structurally unlike a single-number gate. It has no internal target to derive and no internal axiom to close: it is an audit/routing node whose verdict is the weakest of its inherited dependencies. The honest, non-promoting win this gate delivers is precision about which sub-claim is banked and which is inherited-open — and a refusal to let a banked perturbative leg masquerade as an above-cutoff or nonperturbative proof. The single most important fact is that the one thing that genuinely cannot be proven here — that the theory stays unitary above the cutoff for every possible high-energy completion — is unprovable in principle for everyone: it simply is the open UV-completion-of-quantum-gravity problem. So this is not a weakness peculiar to this program; it is a wall the entire field stands at, and here it is marked as a wall instead of papered over.
The edge, as a pre-registered testable bet. This row dies the instant any sector shows a negative-norm physical state, a field commutator that fails to vanish outside the lightcone, a tachyonic KK mode, a Froissart-bound violation in KK-graviton exchange, or a measured cₘ ≠ c. Each falsifier propagates to the upstream gate that owns it. (Source: handoff "The edge" + 01_DOSSIER.md §2 falsifier list.)
A physically sane relativistic quantum theory must hold three properties simultaneously:
These three are the axiomatic content of standard quantum field theory: a Poincaré-covariant net of observable algebras (Haag–Kastler), with positive-definite physical states, spacelike-commuting observables, and a spectrum condition / energy positivity (Wightman). (Source: UQF14_COMPLETION_RESULT.md §2.)
The community gap is not at everyday energies — there, the Standard Model is the most precisely tested theory in physics, and it is unitary, causal, and local by construction. The hard part is showing these three properties survive above the cutoff, where, in any theory that includes gravity, the graviton and the full tower of massive modes (here the Kaluza–Klein tower of the compact 13D geometry) become strongly coupled. At those scales perturbation theory breaks down, the dimensionful coupling Gₙ E² grows without bound in naïve power counting, and there is no guarantee that the resummed amplitudes stay inside unitarity bounds.
No theory of quantum gravity anywhere establishes above-cutoff unitarity from first principles. This is not a gap peculiar to this program — it is the unsolved UV-completion-of-gravity problem, shared across the field:
On the causality side, the strongest empirical bound on graviton propagation is the multi-messenger constraint from the binary-neutron-star merger:
|cₘ − c| / c < 10⁻¹⁵
derived from the near-simultaneous arrival of the gravitational-wave signal GW170817 and the gamma-ray burst GRB170817A (two triggers ~1.7 s apart). This is the tightest existing constraint that the graviton's low-energy zero-mode propagates at the speed of light. (Source: UQF14_COMPLETION_RESULT.md §6; 01_DOSSIER.md §A; 02_CURRENT_STATE.md row ANCHOR-UQF14-GRAVITON-SPEED.)
On the strong-interaction side, establishing that the physical Hilbert space of a confining gauge theory is positive-norm nonperturbatively is equivalent to constructing the theory and proving a mass gap — the Yang–Mills existence and mass-gap problem, one of the Clay Mathematics Institute Millennium Problems, unsolved.
The honest framing of UQF-14 is that it should not try to out-do the field on any of these frontier problems. The repeated failure mode (named explicitly in the source material) is the cross-cutoff stretch: taking a perturbative, in-scope theorem and quietly extending it past its domain of validity to "close" an above-cutoff or nonperturbative claim. Three concrete examples of the trap, each of which is a RELABEL_FAIL in the internal grading and is forbidden here (Source: 02_CURRENT_STATE.md §0; 04_MOUNT_TEST.md falsification tests):
The gate's contribution to the community problem is therefore not a frontier proof; it is structural discipline — a clean separation of what is genuinely banked from what is genuinely open, with the open parts routed to their true owners as auditable contracts rather than buried.
The full per-sector audit lives in the published manuscript: Quantum Paper III, §17 ("UQF-14 — Unitarity / Causality / Locality Audit"), the §2/§3 gate ladder, and Q3 / Appendix U, module U-AUDIT-B (the formal per-sector inventory: negative-norm/ghost ledger, commutator-vanishing ledger, audit-status matrix). Public copy: https://physics.magflowmeters.com/articles/Quantum.html. This section is the attack-grade recap; the manuscript controls the common material. (Source:
01_DOSSIER.md§0.2.)
The 13D action is local in 13D — a property of the frozen construction, not a derived result. At each four-dimensional spacetime point, integrating out the compact factors K₆ × S² × S¹_Y/ℤ₂ produces a four-dimensional effective action. The chain, named so a reader can attack each link (Source: 01_DOSSIER.md §1.1; GATE_BRIEF_UQF14.md):
13D local action
--integrate out K₆ × S² × S¹_Y/ℤ₂ per spacetime point-->
4D effective action
(local at any FINITE KK truncation; analytic O(E²/M_KK²) corrections only)
--descend each carrier-->
graviton zero-mode, gluons, W/Z, photon, Higgs, chiral fermions
--inherit per carrier-->
commutator structure (microcausality) + BRST/positivity bookkeeping (unitarity)
--apply standard QFT theorems IN SCOPE-->
banked perturbative / truncated-KK certificate
--above the cutoff / nonperturbatively-->
INHERITS upstream blockers (UQF-9 / UQF-10 / UQF-11 / BG-10)
The four load-bearing facts, with their built-in attack handles:
A one-line discipline statement governs the whole section: "The geometry is given" is NOT "the high-energy theory is proven consistent." Supplying a consistent set of fields below the cutoff does not derive the theory's behavior above it.
The first and most economical move in the campaign is a collapse, not a stretch (Source: UQF14_COMPLETION_RESULT.md §2; specialist_reply.txt §1). Unitarity, causality, and locality are not three independent properties each needing its own separate proof. They are three faces of one statement: that the descended theory is a member of the standard axiomatic-QFT class — a Poincaré-covariant net of observable algebras with
Dropping the hidden "three independent guarantees" premise dissolves the apparent three-pillar problem into a single causal-net class-membership statement. That class-membership statement is then itself derived, given the observed Standard-Model content E, by finite-KK truncation below the cutoff from 13D locality. The net reduction is:
3 properties + 5 banked cancellation theorems → 1 class-membership statement, derived (given the observed Standard-Model content) by finite Kaluza–Klein truncation below the cutoff from 13-dimensional locality, resting on 2 named structural posits + 1 substrate posit + 1 measured anchor.
(Source: UQF14_COMPLETION_RESULT.md §2, verbatim reduction line.)
A discipline note carried from the cert reconciliation: this collapse is recorded publicly as a DERIVED-GIVEN-E conjecture / theorem-debt, not as a proven theorem, precisely so it is not over-read. (Source: 08_CERT_RECONCILIATION.md, deploy-prep TODO #1.)
The residual register splits the gate into seven named residuals R1–R7. Three of them — R5, R6, R7 — are banked as VERIFIED, each a standard QFT result applied strictly inside its accepted scope (perturbative / finite-tower / below-cutoff), given E. (Source: 01_DOSSIER.md §2; 01_BANKED_R5_R6_R7.md.)
01_DOSSIER.md §0.1, R5; 02_CURRENT_STATE.md (iii).)01_BANKED_R5_R6_R7.md, R5 falsification test.)01_DOSSIER.md §0.1, R6; GATE_BRIEF_UQF14.md.)AXIOM-PHYSICAL-POSITIVITY (perturbative kinematic positivity).01_BANKED_R5_R6_R7.md, R6; specialist_reply.txt R6 note; 08_CERT_RECONCILIATION.md deploy-prep TODO #2: scope AXIOM-PHYSICAL-POSITIVITY to perturbative kinematics only.)01_DOSSIER.md §0.1, R7; handoff "Banked" item 2.)01_BANKED_R5_R6_R7.md, R7.)The headline graviton-speed bound is
|cₘ − c| / c < 10⁻¹⁵
derived from the near-simultaneous arrival of GW170817 and GRB170817A (two triggers ~1.7 s apart). This bound is not itself the measured atom. The bare measured invariant is narrower: two detector triggers ~1.7 s apart of laboratory clock time at a shared apparatus. Converting that coincidence into a fractional speed bound imports three named, non-irreducible co-premises, which must travel with the number wherever it is shown (Source: UQF14_COMPLETION_RESULT.md §6; specialist_reply.txt R7; 01_BANKED_R5_R6_R7.md R7(b)):
The bare clock-coincidence is the measured atom; the speed bound is a derived statement given those three co-premises. The bound is a single low-energy, single-baseline datum and cannot be promoted to cover the strongly-coupled, above-cutoff graviton sector — that is R1 / UQF-9.
| Tier | Residuals | Status | Terminates on |
|---|---|---|---|
| Banked (certificate-tier, perturbative + truncated-KK) | R5, R6, R7 | VERIFIED (banked) | standard QFT theorems in-scope + E; + one measured invariant (cₘ) |
| Open (sets the badge; inherited) | R1, R2, R3, R4 | OPEN / EXPORTED | upstream gates UQF-9, UQF-11, UQF-10, BG-10 — each AUDIT/OPEN |
The badge is the weakest link. Three banked legs do not lift the gate; four inherited-open legs hold it at AUDIT (OPEN). (Source: 01_DOSSIER.md §2.1; 02_CURRENT_STATE.md (ii).)
These are the moves that made the progress believable and reproducible — shareable in full.
The first insight is recognizing that "unitarity AND causality AND locality" is not a conjunction of three independent proof obligations but a single class-membership statement in axiomatic QFT (§3.2). The hidden premise — "three independent guarantees, three separate proofs" — is what makes the problem look three times as hard as it is. Dropping it does not weaken anything; it clarifies that there is one object to establish (membership in the Wightman / Haag–Kastler class) with three observable consequences. This is a genuine economy, and it is recorded honestly as a DERIVED-GIVEN-E conjecture, not as a finished theorem.
The second insight is the min-rule: an audit gate's verdict is the least-closed of its residuals. This is what keeps the gate honest. It would be easy — and wrong — to advertise "three legs banked!" as if the gate were two-thirds closed. Under the min-rule, the three banked legs are real but do not move the badge; the four inherited-open legs do. The min-rule is the formal mechanism that prevents grade inflation on a gate that genuinely has strong sub-results. (Source: 06_GATE_GRADING_RUBRIC.md via 02_CURRENT_STATE.md; 01_DOSSIER.md §2.1.)
The third insight is to treat each open leg not as a vague prose pointer ("this is hard, see quantum gravity") but as a typed bridge contract with an explicit shape: {required object · required theorem/certificate · must-NOT-rely-on · falsifiers/rejection-triggers · mount criteria · owner · disposition-until-mounted · gate effect}. An export is then auditable: a reader can check that the right object is being asked of the right owner, and that the open leg is not silently resting on an already-failed upstream. (Source: 07_CONVERGED_CLOSURE_PATH.md; 02_BRIDGE_CONTRACTS_R1_R4.md.)
The fourth insight is the five-axiom mount test: an upstream certificate may lift one of R1–R4 only if it passes all five of ANCHOR, OBJECT IDENTITY, FAITHFUL BRIDGE, COMPOSITION, MODAL STATUS. This is the guard against a plausible-looking but mis-targeted upstream result being waved through. In particular MODAL STATUS forces the certificate to prove the required modal class (above-cutoff / nonperturbative / full-tower), not mere admissibility; and COMPOSITION forces "sector → whole" to be proven, not assumed (e.g. finite-truncation locality must be shown to compose to the full tower). (Source: 04_MOUNT_TEST.md.)
The fifth and subtlest insight is recorded as a META-GUARDRAIL: convergence of our reasoning is not proof of the physics — it is proof the bookkeeping has stabilized. The campaign reached a fixed point (no sixth axiom needed; the reduction bottoms out cleanly). That fixed point is bookkeeping stability, not closure. The gate stays AUDIT (OPEN) until the upstream bridge objects are actually built and mounted. This is the guard against the deepest trap — mistaking a stable, self-consistent internal account for an external physical result. (Source: 07_CONVERGED_CLOSURE_PATH.md; 04_MOUNT_TEST.md META-GUARDRAIL.)
The recurring near-miss the discipline is built to catch is anchoring on the representation: treating the finite / perturbative / below-cutoff / descended-4D-EFT certificate as if it were the full / nonperturbative / above-cutoff / infinite-KK physical theory. Every banked leg has a precisely-stated scope, and every falsification test is a specific instance of refusing this slide (R5↛R3, R6↛R2, R7↛R1, cₘ↛full-QG-causality). Naming the blind spot explicitly is what lets a reader audit that no leg was banked too broadly. (Source: 07_CONVERGED_CLOSURE_PATH.md "Dominant blind spot"; 01_BANKED_R5_R6_R7.md banking-scope summary.)
The campaign produced a certificate packet returning verdict AUDIT_COMPLETE_OPEN (cert id wm1z47vzm, 2026-06-26), a clean confirmation of the converged endpoint with no over- or under-claim. (Source: 08_CERT_RECONCILIATION.md.) The packet lives at …/UQF14_COMPLETION_HANDOFF/certificates/UQF14_AUDIT_COMPLETE/ and contains:
00_README_VERDICT.md — the verdict header.01_BANKED_R5_R6_R7.md — the three banked legs, each with explicit scope and falsification test.02_BRIDGE_CONTRACTS_R1_R4.md — the four typed export contracts.03_WALL_RECORDS.md — the four wall records (one per open residual).04_MOUNT_TEST.md — the five-axiom mount test and current certificate states.05_FINAL_ROLLUP.md — the gate roll-up.The verdict's meaning is precise and is reproduced verbatim so it is not mis-read: "audit-complete but physically OPEN." "Completion" means the reduction reached its honest fixed point — no further-reducible step remains inside the gate's scope. It does not mean the gate is solved or passes. (Source: UQF14_COMPLETION_RESULT.md status note; 07_CONVERGED_CLOSURE_PATH.md.)
All work rides the frozen branch dcc66f1b2685 (branch) / a5b1e6f9d951 (manifest meta), READ-ONLY and unmodified. A silent frozen-branch change is itself a falsification test trigger (→ REFUTED / restart). (Source: 01_DOSSIER.md §0; 04_MOUNT_TEST.md falsification tests.)
So the gate cannot be read as resting on already-closed upstreams, the four exported legs carry their current upstream standing verbatim (Source: 02_BRIDGE_CONTRACTS_R1_R4.md; specialist_reply.txt §5 fix #4; 08_CERT_RECONCILIATION.md TODO #3):
| Residual | Owner | Owner standing | Certificate state |
|---|---|---|---|
| R1 (above-cutoff graviton unitarity) | UQF-9 ( = B3, the universal UV wall) | AUDIT | MISSING |
| R2 (nonperturbative strong-sector unitarity) | UQF-11 / Gap-02 (Clay Yang–Mills mass gap) | Precisely-OPEN / AUDIT | MISSING |
| R3 (full-tower cluster decomposition) | UQF-10 (downstream of UQF-9/B3) | AUDIT | MISSING |
| R4 (nonperturbative EW instantons/sphalerons) | BG-10 | Open / Diagnostic — 0-of-4 at certificate grade | MISSING |
All four upstream certificates are currently MISSING; the gate does not rise.
The reduction bottoms out on the following set. A posit is irreducible only if it is a directly measured invariant or is proven irreducible; plausibly-deep is not sufficient, and the default under uncertainty is not irreducible. (Source: UQF14_COMPLETION_RESULT.md §5; specialist_reply.txt §2A.)
| Posit | Role | Verdict |
|---|---|---|
| Bare coincidence anchor (the two-detector ~1.7 s timing measurement, §3.4) | the one measured invariant carrying the floor | IRREDUCIBLE — a recorded measured invariant; floor ≥ 1 satisfied. Deriving it from structure would be circular. |
| Shared causal order (one shared, observer-independent lightcone structure) | structural root #1 — makes "spacelike-commuting", "lightcone", and "compare two speeds" simultaneously meaningful | NOT irreducible → reduces to the corpus SHAPE posit; terminal as a named corpus posit, never as an in-gate derivation. |
| Physical positivity (positive-definite inner product on physical states) | structural root #2 — the true root of unitarity, logically independent of causal order | NOT irreducible → reduces to the corpus quantum-kinematics SHAPE / GRANULARITY posit; upstream of all five banked cancellation theorems. |
| Substrate disposition (a 13D substrate — continuum or granular below the cutoff — on which a point, a derivative, and a cone exist) | the deepest structural premise reached | NOT irreducible → reduces to the corpus GRANULARITY / SCALE posits. |
| Causal-net membership | the collapse umbrella (the single class-membership statement) | DERIVED-GIVEN-E, by finite-KK truncation below the cutoff from the structural roots + substrate; not a free posit. |
| Scope-validity rule | a discipline boundary rule | meta-rule; floor contribution 0; never promoted. |
Fixed-point judgment: exactly one posit is claimed irreducible (the bare coincidence anchor), satisfying the floor of at least one measured invariant; every other member is in a terminal disposition. Continuing to "reduce" further would mean either reducing the corpus GRANULARITY/SCALE/SHAPE posits inside this gate (out of scope) or deriving a measurement from structure (circular). The reduction has reached its honest fixed point.
There is no numerical simulation to re-run for this gate — it is an audit gate, and its evidence is a chain of in-scope theorem applications plus one measured anchor. A reader checks it by:
The most load-bearing section. Each open hole is a work-package a specialist can pick up and start. STATUS-UPGRADES:0 — a refuting result is a valid close. The decisive context-setting fact: there is no self-contained closure for UQF-14. The gate rises only as its upstream dependencies rise; the correct next move is the upstream bridge program, not re-attacking UQF-14. (Source:
07_CONVERGED_CLOSURE_PATH.mdstrongest endpoint.) The holes below are stated in the order of the specialist hole-queue. (Source:SPECIALIST_HOLE_QUEUE_2026-06-29.mdlines 206–217;GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.mdlines 789–828.)
(a) Precise statement. Establish that the graviton sector remains unitary — no negative-norm physical states; high-energy amplitude growth respecting unitarity / Froissart bounds — above the perturbative cutoff, where the graviton and the full KK tower are strongly coupled, for the frozen branch.
(b) Why it's hard / prior-attempt lessons / traps. This is the badge-setting residual and it is a global open problem of quantum gravity, not a defect of this program. No in-framework theorem reaches above the cutoff. The required object — a nonperturbative / UV-complete above-cutoff graviton-unitarity certificate — does not exist on the frozen branch. Traps the verifier flagged, do not repeat:
- The cardinal-sin move "substrate granularity UV-regulates the above-cutoff graviton sector, therefore the badge lifts" assumes the answer to UQF-9 and is a RELABEL_FAIL. Those UV consequences are owned by UQF-9. (Source: specialist_reply.txt §3 cardinal-sin guard; 04_MOUNT_TEST.md.)
- Do not use Epstein–Glaser, finite-EFT locality, or the measured cₘ as an above-cutoff proof. (Source: 02_BRIDGE_CONTRACTS_R1_R4.md R1 must-NOT-rely-on.)
- This hole is correctly flagged DO-NOT-CHASE: unicorn in the cross-gate UQF-5C queue — above-cutoff unitarity cannot be settled until the UV completion is, and it cannot be reframed as malformed without first proving the relevant prerequisite. (Source: SPECIALIST_HOLE_QUEUE_2026-06-29.md line 295.)
(c) Exactly what closes it. A UV-completion certificate for UQF-9 / B3 — e.g. a truncation-independent non-Gaussian fixed point, or a defensible non-continuum replacement — that validates above-cutoff graviton unitarity / Froissart-bound / Landau-pole control, and that passes the five-axiom mount test (in particular MODAL STATUS: it must prove the above-cutoff status, not mere admissibility). Success: mounted, R1 (and the badge) lift. A refuting result that closes it negatively: uncontrolled high-E amplitudes, a negative-norm physical state above the cutoff, or a regulator-dependent conclusion — any of these falsifies the above-cutoff unitarity claim and is a valid (negative) close. (Source: 02_BRIDGE_CONTRACTS_R1_R4.md R1; SPECIALIST_HOLE_QUEUE_2026-06-29.md line 209.)
(d) Machinery & inputs. Start from the UQF-9 dossier and the shared-blocker B3 ledger. The concretely-buildable sub-object on the frozen branch is the 6th heat-kernel coefficient a₆ (a necessary-not-sufficient input to the fixed-point question); its current state is AUDIT_UNVERIFIED — two computation routes disagreed, and only the dimensionless 124/315 ratio is clean (DERIVED-PENDING-INDEPENDENT-TARGET-BLIND-REPRODUCTION); the dimensionful magnitude is scheme/scale-anchored, and an order-6 mixed Neumann+Dirichlet boundary coefficient for S¹_Y/ℤ₂ does not exist in the literature (the boundary tower stops at a₅). (Source: MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md B1/B3 rows; GATE_REGRADE… lines 1073–1077.) Do not fabricate a₆ magnitudes, a positivity functional pass, or the orbifold-defect total.
(e) Leverage. R1 and R3 both bottom on B3 (the universal UV wall). Closing UQF-9 lifts R1 (the badge) here, lifts the downstream UQF-10 leg (R3), and feeds Gap-01, Gap-13, the graviton certificate (UQF-5A/5B), and the UV-divergence-class dissolution recorded at UQF-9. This is the single highest-leverage node for the whole quantum-gravity column. (Source: MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md B3 row; 02_BRIDGE_CONTRACTS_R1_R4.md dependency graph.)
(a) Precise statement. Establish that the strong sector's physical Hilbert space is positive-norm nonperturbatively — i.e. color confinement and a mass gap fixing what the asymptotic states actually are.
(b) Why it's hard / prior-attempt lessons / traps. The nonperturbative certificate is the Yang–Mills mass gap — a Clay Millennium problem. The UV framework supplies UV data only and structurally cannot supply the IR certificate. Two traps the verifier explicitly flagged:
- Do not rely on perturbative BRST / Kugo–Ojima alone: those presuppose positivity, they do not establish it. (Source: 02_BRIDGE_CONTRACTS_R1_R4.md R2 must-NOT-rely-on; 01_BANKED_R5_R6_R7.md R6.)
- The Clay-level framing is itself a retired continuum unicorn — do not chase it as stated. The verifier note (Source: GATE_REGRADE… line 828(c)) records that pinning the close-condition to "the level the Clay Millennium problem requires" = the continuum a→0 uniform inequality, which the corpus's own COMMON_BLINDSPOTS.md (BS-1, lines 21–24) and MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md (W-MG row) name as a retired continuum unicorn: REDUCED-TO-AXIOM (granularity), axiom-conditional. The honest bounded target is the finite-resolution z* < 1 face of Marginal-KP — the finite IR gap that survives granularity as computation-debt (≈ the measured glueball mass). The dissolution is axiom-conditional on the granularity posit P1, never "solved," and you must do the finite computation anyway with a negative control (the κ³/π lesson — do not let granularity make the result true-by-construction). (Source: COMMON_BLINDSPOTS.md BS-1 honesty guards; MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md W-MG.)
- Hidden co-gate: the verifier flags that 4D SU(3) continuum-measure existence is a separate, independent OPEN co-gate (Gap-02 R3) that the loosely-worded "spectral-gap lower bound" can absorb and hide. Treat measure-existence as its own object, not folded into the gap inequality. (Source: GATE_REGRADE… line 828(b).)
(c) Exactly what closes it. Bounded form (correct): a finite-resolution (z* < 1) spectral-gap result for the relevant SU(3) gauge theory — the finite IR gap, axiom-conditional on granularity, with a negative control — plus an explicit disposition of 4D SU(3) measure-existence. Frontier form (the unicorn, do not target): the continuum a→0 uniform inequality. Success: a finite gap certificate that passes the mount test discharges R2. Refuting close: nonperturbative positivity fails / a negative-norm physical state survives confinement → valid negative close. (Source: SPECIALIST_HOLE_QUEUE_2026-06-29.md line 211; 02_BRIDGE_CONTRACTS_R1_R4.md R2; COMMON_BLINDSPOTS.md BS-1.)
(d) Machinery & inputs. Gap-02 dossier; the "uniform clustering ⇒ gap" implication is already rigorous — the open object is one marginal-coercivity inequality in the d=4 band (Source: 01_DOSSIER.md R2). The W-MG ledger row gives the exact split: continuum half retired by P1; finite IR gap survives as computation-debt. Lattice-style finite computation is the natural tool; do not fabricate a gap and do not axiomatize a pass.
(e) Leverage. Closing the strong-sector IR certificate lifts R2 here and discharges the UQF-11/Gap-02 dependence shared with Born, Λ, and (conditionally) UQF-14. (Source: MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md W-MG affected-row list.)
(a) Precise statement. Establish that locality / cluster decomposition survives when the full infinite KK tower is kept (not just a finite truncation) — i.e. that finite-truncation locality composes to the full tower with no tachyonic/runaway mode.
(b) Why it's hard / prior-attempt lessons / traps. The full-tower statement requires the compact geometry to be stable as a quantum theory — UQF-10, itself downstream of UQF-9 (it needs loop control of the moduli potential, which needs the UV completion). Traps:
- Do not rely on finite KK truncation alone (falsification test R5 → R3 is RELABEL_FAIL). The COMPOSITION axiom of the mount test must be proven, not assumed. (Source: 02_BRIDGE_CONTRACTS_R1_R4.md R3; 04_MOUNT_TEST.md.)
- This hole is additionally gated by the F1 shape-doublet saddle, currently LEANING REFUTED — a live negative signal a specialist must reconcile, not ignore. (Source: 03_WALL_RECORDS.md WALL R3.)
(c) Exactly what closes it. A compactification-stability certificate for the full KK tower — moduli mass-matrix positivity, no tachyonic/runaway modes, from a performed RG calculation — establishing the spectral condition holds with the infinite tower, plus a proof that finite-truncation locality composes to the full-tower cluster decomposition. Success: mounted, R3 lifts. Refuting close: a tachyonic KK mode (the named falsifier) → valid negative close. (Source: SPECIALIST_HOLE_QUEUE_2026-06-29.md line 213; 02_BRIDGE_CONTRACTS_R1_R4.md R3.)
(d) Machinery & inputs. UQF-10 dossier; the moduli potential and its loop control; the F1 shape-doublet-saddle finding (LEANING REFUTED) must be confronted first. The B3/UQF-9 UV completion sits below it.
(e) Leverage. R3 bottoms on B3 (shared with R1), so the UQF-9 program partially unblocks it; conversely a clean UQF-10 stability result closes the full-tower cluster-decomposition claim here.
(a) Precise statement. Provide the unitarity/causality bookkeeping for nonperturbative EW processes — instantons, sphalerons, high-T baryon-number violation — currently excluded by the claim boundary.
(b) Why it's hard / prior-attempt lessons / traps. These effects sit outside this paper's scope and inherit BG-10, which is 0-of-4 at certificate grade. Trap: do not rely on perturbative EW alone, and do not let an anomaly-blind class-membership claim stand in for an anomaly-aware nonperturbative treatment. (Source: 02_BRIDGE_CONTRACTS_R1_R4.md R4 falsifiers.)
(c) Exactly what closes it. Bring the nonperturbative EW sector in-scope and discharge the BG-10 sphaleron/instanton ledger at certificate grade — a finished, basis-invariant treatment (anomaly-aware SMG-class certificate) — so the excluded sub-claim becomes a banked one. Refuting close: a genuine nonperturbative-EW unitarity/causality violation → valid negative close, propagated to BG-10. (Source: SPECIALIST_HOLE_QUEUE_2026-06-29.md line 215; 02_BRIDGE_CONTRACTS_R1_R4.md R4.)
(d) Machinery & inputs. BG-10 dossier (baryogenesis / nonperturbative EW); the SMG-class anomaly machinery (cf. the B2 Dai–Freed boundary-anomaly construction and the shared-blocker B4 dynamical-mirror-decoupling work). (Source: MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md B2/B4 rows.)
(e) Leverage. Routed, not closed; closing BG-10 discharges this scoped-out export and feeds the broader baryogenesis column.
(a) Precise statement. The banked perturbative claim rests on per-sector inventory tables — the negative-norm/ghost ledger, the commutator-vanishing ledger, and the per-sector audit-status matrix — cited to Q3 Appendix U, module U-AUDIT-B. A specialist has not independently re-derived these for completeness and coverage of every carrier, including all KK partners. (Source: SPECIALIST_HOLE_QUEUE_2026-06-29.md line 216; handoff open-hole #5.)
(b) Why it's hard / prior-attempt lessons / traps. It is laborious rather than deep: the risk is an asserted entry — a carrier listed as "commutator vanishes" or "ghost cancels" without the explicit calculation behind it — or a missing carrier (especially a KK partner) not in the table at all. The trap is signing off the table because it "looks complete." This is the one open hole that is genuinely internal to UQF-14 and closeable without an upstream wall falling.
(c) Exactly what closes it. An independent line-by-line audit reproducing the U-AUDIT-B tables: verify every carrier's commutator-vanishing entry and ghost-cancellation entry, confirm no sector is missing and no entry is asserted without the explicit calculation. Success: every entry independently reproduced, coverage confirmed for all carriers including KK partners → R6/R7's banking is independently corroborated (still in-scope; does not lift the gate). Refuting close: an asserted-but-false entry, or a missing carrier → a real defect in the banked legs, fed back into R6/R7. (Source: SPECIALIST_HOLE_QUEUE_2026-06-29.md line 217.)
(d) Machinery & inputs. Quantum Paper III §17 + Q3 Appendix U module U-AUDIT-B; standard QFT references for each cancellation theorem (Kugo–Ojima, Higgs+ET, Gupta–Bleuler/BRST, spin-statistics) and each commutator (Pauli–Jordan/Proca/Klein–Gordon/Dirac). The frozen-branch carrier list (graviton zero-mode + each KK mode, gluon, W, Z, photon, Higgs, each fermion + KK partner) is the coverage checklist. (Source: 01_DOSSIER.md §0.2, R7 carrier list.)
(e) Leverage. Self-contained: it corroborates (or refutes) R6/R7 directly. It is the cleanest near-term specialist win on this gate because it requires no upstream certificate.
(a) Precise statement. BRST nilpotency for the descended theory (Q²_BRST = 0 at all loop orders) is asserted as a falsifier condition, but order-by-order nilpotency of the descended/compactified BRST is verified upstream only partially — it couples to UQF-4, which is OPEN. A nilpotency failure at some loop order would falsify the unitarity sub-claim here. (Source: handoff open-hole #6; SPECIALIST_HOLE_QUEUE_2026-06-29.md UQF-14 list.)
(b) Why it's hard / prior-attempt lessons / traps. Trap the verifier flagged: this hole is routed to UQF-4 with an optimistic bounded:true, but the open-walls record marks the UQF-4 coset-twist / descended-anomaly construction as NO-KNOWN-ROUTE ("no short path exists today"). It is still genuinely bounded / specialist-closeable, but bounded:true should carry the no-known-route caveat — do not present it as a near-term certainty. (Source: GATE_REGRADE… line 828, minor note.)
(c) Exactly what closes it. An order-by-order BRST-nilpotency verification for the descended 4D theory (closing the relevant UQF-4 leg). Success: Q²_BRST = 0 confirmed to the required loop order → the falsifier condition is discharged. Refuting close: a nilpotency failure at some loop order → falsifies the unitarity sub-claim and propagates to UQF-4. (Source: handoff open-hole #6.)
(d) Machinery & inputs. UQF-4 dossier; the descended/compactified BRST construction; the coset-twist / descended-anomaly machinery (currently NO-KNOWN-ROUTE). Connect to the B2 Dai–Freed boundary-anomaly invariant where the descended anomaly bookkeeping lives. (Source: MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md B2 row.)
(e) Leverage. Couples UQF-14's unitarity bookkeeping to UQF-4; closing the UQF-4 leg discharges this falsifier and strengthens R6's foundation.
The correct next move is the upstream bridge program (B3 / Gap-02 / UQF-10 / BG-10 / UQF-4), not re-attacking UQF-14. (Source: 07_CONVERGED_CLOSURE_PATH.md strongest endpoint.)
The honest ceiling. UQF-14 is a serious candidate — NOT validated. Unitarity, causality, and locality are demonstrated where standard QFT supports them (perturbative ghost cancellation, all-orders microcausality, finite-truncation EFT locality, the measured graviton-speed zero-mode bound — all given the observed SM content, all in-scope) and named-and-routed where nonperturbative subtlety enters. This is structural discipline, not a deep nonperturbative proof. (Source: 02_CURRENT_STATE.md (iv); 01_DOSSIER.md §5.)
What is explicitly NOT claimed.
- No above-cutoff unitarity proof. The graviton sector's unitarity above the cutoff is conditional on UQF-9 and is not proven here. This is the one thing that cannot be proven here — and it is unprovable in principle for everyone, because it simply is the open UV-completion-of-gravity problem. The bounded statement — unitary where standard QFT applies, conditional above the cutoff on a UV completion — is the ceiling, not a hedge.
- No nonperturbative strong-sector unitarity. Banked Kugo–Ojima is perturbative and presupposes physical positivity; it does not establish it. The nonperturbative certificate is the Clay mass gap.
- No full-tower cluster decomposition. Banked locality is the finite-truncation EFT statement; the infinite-tower claim is exported to UQF-10.
- No nonperturbative-EW disposition. Instantons/sphalerons are scoped out and exported to BG-10.
- No proof that no future nonperturbative effect could violate microcausality or cluster decomposition. That is an open-ended universal negative; the correct bounded form is the pre-registered falsifier set (negative-norm state, spacelike-commutator non-vanishing, tachyonic KK mode, Froissart violation, cₘ ≠ c).
- No Λ / vacuum-energy / cosmological-constant cancellation. Explicitly disclaimed; Λ is recorded separately and remains open (Weinberg-open). (Source: 01_DOSSIER.md §5 binding rules; UQF14_COMPLETION_RESULT.md §7.)
The distinctions that keep this honest. Dissolved ≠ solved (the three-pillar collapse is an economy of statement, not a closure of physics). Selection ≠ derivation. Given-E ≠ derivation of E (the carrier content is the observed SM spectrum, not derived here). Anchored ≠ derived. A banked perturbative leg ≠ a nonperturbative proof. Audit-complete ≠ physically closed (the reduction reaching a fixed point is bookkeeping stability, not proof). Convergence ≠ proof. (Source: 04_METHOD_AXIOM_CLOSURE_AND_DISCIPLINE.md via 01_DOSSIER.md §5; 07_CONVERGED_CLOSURE_PATH.md meta-guardrail.)
The anchors paid. Exactly one measured invariant carries the irreducible floor: the bare GW170817 + GRB170817A two-trigger ~1.7 s clock-coincidence (the speed bound |cₘ − c|/c < 10⁻¹⁵ is derived from it given three named co-premises — common-emission-time model, ~40 Mpc baseline, shared causal order). Two value-free structural roots (shared causal order; physical positivity) and one substrate posit reduce to named corpus posits at the corpus level, never as in-gate derivations. The class-membership umbrella is DERIVED-GIVEN-E. (Source: UQF14_COMPLETION_RESULT.md §5, §8; specialist_reply.txt §2A.)
The final roll-up. The gate stays AUDIT (OPEN); the badge is permanently EXPORTED to UQF-9 (R1 carries it). Three banked legs are genuine in-scope verifications; four inherited-open legs set the badge. The only path to a higher grade is the upstream walls rising — no move inside UQF-14 lifts it. STATUS-UPGRADES:0. Frozen branch dcc66f1b2685 / a5b1e6f9d951 READ-ONLY and unmodified.
Sources synthesized (all read in full): …/UQF14_COMPLETION_HANDOFF/01_DOSSIER.md, 02_CURRENT_STATE.md, 07_CONVERGED_CLOSURE_PATH.md, 08_CERT_RECONCILIATION.md, specialist_reply.txt, COMMON_BLINDSPOTS.md (BS-1), MASTER_AXIOM_FLOOR_AND_WALL_LEDGER.md (B1/B2/B3/B4/W-MG rows), and certificates/UQF14_AUDIT_COMPLETE/{01_BANKED_R5_R6_R7, 02_BRIDGE_CONTRACTS_R1_R4, 03_WALL_RECORDS, 04_MOUNT_TEST}.md; plus …/rendered/TOE/GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md (UQF-14 row + verifier note, lines 40, 789–828), SPECIALIST_HOLE_QUEUE_2026-06-29.md (lines 206–217, 295), and the published artifacts articles/GATE_BRIEF_UQF14.md + articles/UQF14_COMPLETION_RESULT.md. Live manuscript of record: Quantum Paper III §17 + Q3 Appendix U (U-AUDIT-B), https://physics.magflowmeters.com/articles/Quantum.html. No number in this dossier is fabricated; each traces to one of these files.