UQF-3 — Reflection positivity / physical Hilbert space: the gate anchor ledger
The honest one-line: UQF-3 is an anchored scoped closure — NOT a derivation of quantum positivity from the geometry. Its entire anchor content is two value-free quantum-floor anchors: QP-1 (Born sign — probabilities real and non-negative) and QP-2 (stability of matter — a self-adjoint Hamiltonian, bounded below, with a declared ground-state sector). It consumes zero incremental numerical anchors — no $M_{\rm Pl}$, gauge couplings, $y_t$, or $|V_{us}|$ — and no physics computation was required or run for this terminal. On the physical axis the gate reaches a CLOSED-SCOPED / certified-irreducible quantum-admissibility floor plus a derived-given-anchors algebraic/Hamiltonian reconstruction plus a CPTP/UCP 13D→4D record-reduction contract; on the project-dependency axis it is CLOSED / CERTIFIED-IRREDUCIBLE / RESOLVED +0. The stronger uniform interacting continuum construction stays at the named external wall P★ — the whole field's shared continuum wall (Gap-02 / Clay-class Yang–Mills), not a private hole — and a short, named list of finite residuals stays open and shown.
This page is the gate-specific instantiation of the anchoring method: it takes the master anchor and the four bridges and applies them, object by object, to one gate. Every exact thing UQF-3 touches gets its own row — its status, what it is allowed to claim, and what it is forbidden to claim. It follows the same eleven-part shape and the same universal table as the canonical SG-4 ledger.
selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.
1. Gate status header
- Gate-level UQF-3 terminal (two-axis endpoint, owner-ratified 2026-07-12):
- Physical endpoint: CLOSED-SCOPED / CERTIFIED-IRREDUCIBLE quantum-admissibility floor (QP-1 Born sign + QP-2 stability of matter) + DERIVED-GIVEN-ANCHORS algebraic/Hamiltonian reconstruction + gauge/orbifold positivity-preserving projection + a CPTP/UCP 13D→4D record-reduction construction contract.
- Project-dependency endpoint: CLOSED / CERTIFIED-IRREDUCIBLE / RESOLVED +0.
- Anchor accounting: the anchor content of UQF-3 is exactly the two value-free quantum-floor anchors QP-1 (Born sign) and QP-2 (stability of matter). Incremental numerical anchors: ZERO — no $M_{\rm Pl}$, gauge couplings, $y_t$, or $|V_{us}|$ are consumed. Physics computation: NOT REQUIRED for this terminal and NOT RUN.
- Scope (bright line): this is an ANCHORED SCOPED CLOSURE, NOT a derivation of quantum positivity from the geometry. The finite-cutoff / discrete-cell reflection-positivity leg is a derived fact and the retained-sector no-ghost certificate is a real banked win; the one interacting continuum-uniform positivity question is the shared Clay-class Yang–Mills wall P★ (certified-irreducible, inherited — a shared external dependency, not the gate's own internal debt). The residual family listed in this ledger remains listed and carried unchanged.
- Retained-sector positivity leg (perturbative, given-E): the statement that, on the retained 4D zero-mode + low-Kaluza–Klein sector, no negative-norm state survives the physical BRST cohomology, $$\mathcal{H}_{\rm phys}=\ker Q/\operatorname{im}Q,\qquad \langle\psi|\psi\rangle\ge 0\ \ \forall\,\psi\in\mathcal{H}_{\rm phys}^{\rm retained}.$$
- Finite-cutoff positivity leg (derived): on a Euclidean lattice of spacing $a$ and finite volume $L$, reflection positivity holds with a positive, self-adjoint transfer matrix $$T=e^{-aH_a},\qquad H_a\ge 0.$$
- Status of the retained leg: CERTIFICATE-CONDITIONAL — DERIVED-GIVEN-E (perturbative), conditional on UQF-4 ($Q^2=0$).
- Status of the finite-cutoff leg: DERIVED (with the strong-coupling-divergence caveat), but NOT silently upgraded to "reflection positivity is derived" for the full theory.
The honest grade is two-tier: finite-cutoff derived; uniform continuum open. The continuum limit ($a\to 0$, $L\to\infty$) of the full interacting 4D gauge theory is identical to the 4D Yang–Mills Clay existence/positivity object — under the program's granularity axiom P1 it is REDUCED-TO-AXIOM onto P1 (axiom-conditional, NOT solved) — carried on the ratified board as the shared Clay-class wall, CERTIFIED-IRREDUCIBLE at +0. The open part is sharpened, not closed.
2. Frozen inputs (what UQF-3 stands on, not what it produces)
- Frozen branch hashes
dcc66f1b2685/ manifest metaa5b1e6f9d951. The branch is read-only. These hashes are audit anchors — they certify which object was tested and that it cannot be quietly retuned. They do not validate the physics. - Upstream spectrum / content $E$ is given / charged / inherited — gauge groups $SU(3)\times SU(2)\times U(1)$, the Standard-Model chiral matter reps over three generations, the Wilson-line/Hosotani Higgs, the retained 4D zero-mode + low-KK sector, and the per-carrier polarization counts all enter UQF-3 as input. UQF-3 does not derive $E$. It supplies the target of the certificate (what must come out positive-norm), not the certificate.
- BRST nilpotency $Q^2=0$ is inherited from UQF-4 (AUDIT) — not a UQF-3 anchor. The cohomology definition presupposes it.
3. The object anchors (given-E / upstream)
The active branch is $$\mathfrak{B}_{\rm active}=[\mathcal{M}_{3,1}\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2]\oplus[F^+]\otimes[E],\qquad K_6=SU(3)/T^2.$$ It fixes the per-carrier polarization inventory that must emerge positive-norm: the 2 transverse gauge polarizations per generator; matter and Higgs as positive-norm BRST singlets; low-KK massive vectors with their 3 physical polarizations (eaten Goldstone joining a massive quartet); and the 2 transverse-traceless helicity-$\pm 2$ graviton modes. Status: GIVEN-E / upstream-inherited — not UQF-3-derived.
4. Root and master-anchor traceability
Deep roots that are load-bearing for UQF-3:
| Deep root | Role in UQF-3 |
|---|---|
| Shape | supplies the carrier / field content / boundary ($S^1_Y/\mathbb{Z}_2$) whose modes must come out positive-norm |
| Granularity | axiom P1 — a physical theory never has to take the $a\to0$ limit, so finite-cutoff positivity is the physically relevant statement, and the continuum object is dissolved (not solved) onto P1 |
| Physical equivalence / invariance | gauge redundancy forces the indefinite metric; positivity is a statement about the BRST physical quotient, a frame-independent object |
| Record interface | makes the lattice/transfer-matrix and heat-kernel ledgers reproducible and reviewable |
| Nonseparability | the interacting Euclidean measure does not factorize base × internal — local admissibility does not compose to global admissibility |
| Causal order | reflection positivity is the Euclidean shadow of a self-adjoint Hamiltonian bounded below (a ground state exists) |
Master anchors in play: the frozen branch · given-$E$ · the inherited BRST nilpotency (charged to UQF-4) · the finite invariant ledgers (lattice transfer matrix, boundary heat-kernel) · open-residual discipline · the two value-free quantum-floor anchors QP-1 (Born sign) and QP-2 (stability of matter) — the entire anchor content of UQF-3, with zero incremental numerical anchors · the CPTP/UCP 13D→4D record-reduction contract.
5. The UQF-3 anchor ledger (the universal table)
| Gate anchor | Exact object | Deep-root link | Master-anchor link | Status | Allowed claim | Forbidden claim | Open residual / closure task |
|---|---|---|---|---|---|---|---|
| Gate roll-up | UQF-3 | Shape, Nonseparability | QP-1/QP-2 floor + CPTP/UCP contract | Physical: CLOSED-SCOPED / CERTIFIED-IRREDUCIBLE floor + DERIVED-GIVEN-ANCHORS reconstruction · Project-dependency: RESOLVED +0 | anchored scoped closure on QP-1 + QP-2; zero incremental numerical anchors | "quantum positivity is derived from the geometry" | P★ continuum wall (shared, external) + finite residuals shown |
| Frozen branch | hashes dcc66f1b2685 / a5b1e6f9d951 |
Record interface | frozen branch | AUDIT ONLY | the tested object is frozen/read-only | "hashes validate the physics" | — |
| Upstream content | $E$ (groups, reps, polarizations) | Shape | given-$E$ | GIVEN-E | the certificate evaluates this $E$ | "UQF-3 derives $E$" | (see UQF-4 / SG-gates for $E$) |
| BRST charge | $Q$, nilpotency $Q^2=0$ | Invariance | inherited (→UQF-4) | AUDIT / inherited | cohomology is well-defined given $Q^2=0$ | "$Q^2=0$ is proven in UQF-3" | export to UQF-4 (R1 root) |
| Quartet mechanism | Kugo–Ojima null quartets | Invariance | finite invariant ledger | DERIVED-GIVEN-E (perturbative) | longitudinal+time-like+ghost+antighost cancel | "non-perturbative completeness proven" | R2 / R3 |
| Physical states | $\mathcal H_{\rm phys}=\ker Q/\operatorname{im}Q$ | Invariance | given-$E$ | CERTIFICATE-CONDITIONAL | retained sector positive-norm, given UQF-4 | "full interacting Hilbert space is positive" | R3, R6 |
| Linearized graviton | 2 TT helicity-$\pm2$ modes | Shape | finite invariant ledger | DERIVED-GIVEN-E (linearized) | positive-norm at free quadratic level | "OS-reconstructed graviton Hilbert space" | R7 (above cutoff) |
| Finite-cutoff RP | $T=e^{-aH_a}$, $H_a\ge0$ | Granularity, Causal order | finite invariant ledger | DERIVED | RP is a theorem at fixed cutoff | "RP derived for the full theory" | strong-coupling caveat; R3 (continuum) |
| Sub-wall reduction | positivity $\subsetneq$ mass gap | Nonseparability | open-residual discipline | DERIVED (logical) | positivity does not require the gap | "UQF-3 ⇒ Yang–Mills mass gap" | keep both halves stated |
| Continuum limit | $a\to0$, $L\to\infty$ interacting 4D | Granularity | W-MG (Clay wall) | REDUCED-TO-AXIOM (P1) / OPEN | dissolved onto P1, axiom-conditional | "continuum positivity solved/proven" | R3 — needs a genuinely new constructive-QFT idea |
| Boundary sector | $a_6^\partial$, mixed Neu⊕Dir | Shape | B1/B2 (buildable) | OPEN / computation debt | a named, finite missing literature object | "the order-6 boundary coefficient is built" | R4 — compute $c_3^\gamma$ |
| Positivity functional | $P(a_6)\ge0$ | Causal order | finite invariant ledger | OPEN / UNMADE | pass-semantics is one-sided (refute-only) | "a sign of $P$ is asserted" | §6.2 — build semantics; eval sign |
| Boundary anomaly | $d{=}4$ even-degree class | Invariance | B2 (Dai–Freed) | AUDIT | $d\le3$ bulk vanishing proven | "the $d{=}4$ class vanishes" | R1 — bordism/$\eta$ at UQF-4 |
| Full KK / all-loop | base–internal coupling | Nonseparability | open-residual discipline | OPEN | factorization is a conjecture | "factorization reduce is established" | R6 — depends on R3 + UQF-9/10 |
| IR positivity | confined-QCD certificate | Nonseparability | W-MG | OPEN / exported | USED from UQF-11, not proven here | "UQF-11 supplies the IR certificate" | R5 → UQF-11 / Gap-02 |
| OS↔BRST bridge | equivalence on $\mathfrak B_{\rm active}$ | Invariance | open-residual discipline | DISCLOSED-CORRECTED / OPEN | std-equivalent for free/perturbative fields | "BRST no-ghost = full OS positivity (interacting)" | R8 — folded into R3 + R6 |
| Composition theorem | global-admissibility-composition | Nonseparability | open-residual discipline | OPEN / unproven | the obstruction is named | "local certificates compose to global" | §3.8 — prove or keep open |
| Floor anchor QP-2 | STABILITY-OF-MATTER | Causal order | value-free floor anchor | ANCHOR (value-free; zero incremental numerical anchors) | $H$ self-adjoint, bounded below, declared ground-state sector | "this is derived inside UQF-3 from the geometry" | — (value-free floor) |
| Floor anchor QP-1 | BORN-SIGN | Invariance | value-free floor anchor | ANCHOR (value-free; zero incremental numerical anchors) | probabilities real and non-negative | "this is derived inside UQF-3 from the geometry" | — (value-free floor) |
6. The construction — the banked wins, in full
UQF-3 is a consistency/positivity gate evaluated on the survivor — no new geometry is searched. The forward chain:
frozen geometry -> field content + gauge groups + per-carrier polarizations [sets the TARGET]
+ gauge-fix + BRST quantization -> Q, Q^2=0 [INHERITED from UQF-4, AUDIT]
+ Kugo-Ojima quartet mechanism -> longitudinal/time-like + ghost/antighost CANCEL
-> H_phys = ker Q / im Q -> retained sector: only positive-norm modes survive
==> CERTIFICATE-CONDITIONAL (retained, perturbative, conditional on UQF-4)
---- [the wall] ----
full interacting: all loops + full KK tower + nonperturbative + S^1/Z_2 boundary, uniform a->0
==> OPEN (4D-YM continuum-positivity wall + boundary anomaly + UQF-11 IR inheritance)
Banked win 1 — retained-sector no-ghost (perturbative, given-E). Gauge fixing introduces the Faddeev–Popov ghost/antighost pair per generator in an indefinite-metric state space; with $Q^2=0$ inherited, the BRST cohomology at ghost number zero is well-defined; the Kugo–Ojima quartet mechanism organizes the longitudinal + time-like gauge polarizations together with the ghost/antighost into zero-norm BRST quartets that cancel order-by-order, leaving the 2 transverse polarizations per generator as positive-norm BRST singlets. Matter and Higgs are positive-norm singlets; low-KK massive vectors keep 3 physical polarizations. The earn is the perturbative quartet mechanism only — not the non-perturbative Kugo–Ojima completeness/confinement criterion (that is the open wall R3/R5).
Banked win 2 — finite-cutoff OS/Lüscher reflection positivity (derived). On a Euclidean lattice of spacing $a$, Wilson gauge theory satisfies reflection positivity with a positive, self-adjoint transfer matrix $T=e^{-aH_a}$, $H_a\ge0$ (Osterwalder–Seiler; Lüscher). Under the granularity axiom P1, at any fixed resolution this is exactly the physically relevant positivity statement — and it is derived, carrying the strong-coupling-divergence caveat (see Gap-02).
The scope reduction (the one genuinely new move). UQF-3's positivity wall is a proper sub-wall of the Yang–Mills mass-gap problem: the dependency runs mass-gap-machinery → positivity, never UQF-3 → mass gap. So the open object is strictly smaller than the full Clay mass-gap object — the logical scope shrinks; the practical difficulty does not (same Clay-class machinery). Both halves must be stated together.
Diagnostic — the boundary object is a reflection, not a cone (specificity check). The $S^1_Y/\mathbb{Z}_2$ action sends the 1D normal coordinate $y=R_Y\theta$ to $-y$ ($\det=-1$ on the normal space). A reflection on a line has no angle deficit — it is not the $\mathbb{R}^2/\mathbb{Z}_N$ rotation that produces a Cheeger cone. The twisted-circle equivariant trace verifies this by a route-independent computation: $$\operatorname{Tr}(\sigma\,e^{-tD})=1.000000000000\quad(t\text{-independent; integer powers; no half-integer }1/\sqrt t\text{ tower}),$$ confirming $S^1/\mathbb{Z}_2$ is a global codim-1 $\mathbb{Z}_2$ reflection, not a manifold-with-boundary tower. This is what lets the missing object be named precisely (the order-6 mixed Neu⊕Dir boundary coefficient) rather than fabricated — the wrong framework (conical deficit) is excluded by a computed, route-independent fact, not by assertion.
The scale-free heat-kernel backbone (derived; no dimensionful magnitude asserted). The route-independent content that is derived: sphere cross-checks $a_6(S^2)=\tfrac{4}{315}$, $a_6(S^4)=\tfrac{74}{63}$, $a_6(S^6)=\tfrac{1139}{63}$ (exact rationals, PASS); the $\mathbb{Z}_2$ defect order-6 scale-free piece $(1/2)(4/315)=\tfrac{2}{315}$; the de-Donder graviton minus FP-ghost trace combination $91-2\cdot13=65$ forced by $D=13$; grading traces $\operatorname{tr}A=12-1=11$ and $\operatorname{tr}\mathrm{Sym}^2A=\tfrac{(11)^2+13}{2}=67$, graded weight $67-2\cdot11=45$. No dimensionful $a_6$ magnitude is gap-closing: the bulk $\operatorname{tr}[a_6]=-2.817995812\times10^{94}\,\text{GeV}^6$ is a labeled, retracted, scale-anchored consistency coefficient — DISSOLVED-AS-ILL-POSED at odd $D=13$ (no finite local $t^0$ term exists at odd dimension), and it rode a Bianchi-violating $31/147$ input (the Bianchi-exact value is $23/75$). It must not be plugged in as a sign.
7. Declared-structure splits — the positivity object, split into honest pieces
The single phrase "UQF-3 positivity is derived" hides claims with different statuses. Split:
- Finite-cutoff reflection positivity. DERIVED (theorem at fixed $a$), with the strong-coupling caveat.
- Retained-sector perturbative no-ghost. CERTIFICATE-CONDITIONAL — DERIVED-GIVEN-E (perturbative), conditional on UQF-4.
- Linearized graviton positivity. DERIVED-GIVEN-E (linearized) at the free quadratic-action level and conditional on the admissible background ($\Lambda$ sector). Not a constructed positive-norm Fock space or OS-reconstructed graviton Hilbert space.
- OS↔BRST equivalence. Standard for free/perturbative fields; for the interacting branch it is OPEN (R8, folded into R3 + R6). The delivered object is a BRST no-ghost certificate, named precisely — not full OS positivity for the interacting branch.
- Uniform-continuum positivity. REDUCED-TO-AXIOM (P1) / OPEN — the 4D-YM Clay object, dissolved onto P1, not solved.
So finite-cutoff is derived, the retained sector is conditional, and the continuum + finite residuals are open. The open target is closure without tuning to a wanted "positive" answer.
8. The two value-free floor anchors
The entire anchor content of UQF-3 is two value-free quantum-floor anchors — and nothing else. They carry no fitted number: incremental numerical anchors are ZERO (no $M_{\rm Pl}$, gauge couplings, $y_t$, or $|V_{us}|$), and no physics computation was required or run to reach this terminal.
- QP-2 — STABILITY OF MATTER — the physical Hamiltonian is self-adjoint and bounded below, with a declared ground-state sector. Value-free floor anchor (ATOMIC).
- QP-1 — BORN SIGN — physical probabilities are real and non-negative. Value-free floor anchor (ATOMIC).
Given these two anchors, the physical endpoint is reached by a derived-given-anchors algebraic/Hamiltonian reconstruction (a positive physical state functional; GNS reconstruction of the physical Hilbert space; stable constrained dynamics), a gauge/orbifold positivity-preserving projection (unitary orbifold projectors $P_\pm=\tfrac12(1\pm U_\sigma)$ and compact-group Haar averaging preserve an already-positive norm; they do not create it), and a completely-positive 13D→4D record-reduction contract (a CPTP/UCP observer-record map). These moves preserve positivity; they do not derive quantum positivity from the geometry.
Beyond the floor sits one explicitly-named Precisely-OPEN Clay-class wall — the reconstruction-bridge question P★: on $\mathfrak{B}_{\rm active}$ the full interacting Euclidean measure exists and reconstructs stability + Born-sign uniformly in the continuum — with no constructive lever from the geometry. This is the same shared external continuum wall as Gap-02 / Clay-class Yang–Mills, not the gate's own internal debt. Plus the exported pointer BRST-NILPOTENCY-INHERITED ($Q^2=0$ → UQF-4, not a UQF-3 anchor).
9. Open residuals — the full quantum/global completion family
The banked legs above are two faces of UQF-3. These distinct residuals make up the rest, and none is closed by the banked legs:
- R3 — constructive positivity of the full interacting 4D base. REDUCED-TO-AXIOM (P1) / Precisely-OPEN. Identical to the 4D Yang–Mills Clay existence/positivity object; geometry supplies the target but no constructive lever. A proper sub-wall of the mass gap.
- R4 — the order-6 mixed-boundary heat-kernel coefficient $a_6^\partial$. OPEN / computation debt. The only UQF-3-specific finite hole not identical to Clay. The boundary Seeley–DeWitt tower exists only through $a_5$ (Vassilevich §5.3; BGKV $a_5$); the order-6 mixed Neu⊕Dir coefficient on the totally-geodesic ($L=0$), smooth fixed locus is a precise missing-literature object. The dimensionful $c_3^\gamma$ is not emitted.
- The positivity functional $P(a_6)\ge0$. OPEN / UNMADE. Stated as a criterion, never constructed; no sign asserted. Pass-semantics is one-sided (violation ⇒ decision-grade refute; a pass is only consistency — necessary, not sufficient).
- R1 — inherited $d{=}4$ boundary anomaly class. AUDIT. $d\le3$ bulk vanishing PROVEN (FOS Cor 7.5); $d{=}4$ bulk vanishing OPEN / likely-nonzero (FOS Cor 7.6). The deciding even-degree boundary class on $S^1/\mathbb{Z}_2$ and $K_6\times S^2$ is uncomputed. Exported to UQF-4.
- R6 — full KK tower + all-loop positive-definite inner product. OPEN. The interacting Euclidean measure does not factorize base × internal; the earlier "factorization reduce" is retracted and demoted to a conjecture. Depends on R3 + UQF-9 + UQF-10. The massive KK spin-2 tower lives here.
- R5 — non-perturbative confined-QCD IR positivity. OPEN / exported to UQF-11. An IR certificate cannot be supplied by UV data — a structural boundary; includes the Gap-02 mass gap. UQF-11 is USED, not proven.
- R7 — above-cutoff graviton. OPEN. Above-cutoff graviton unitarity/causality is the UV-completion-of-gravity problem, exported to UQF-14 (blocked by UQF-9). The massive KK spin-2 tower routes to R6.
- R8 — OS↔BRST equivalence on the interacting branch. DISCLOSED-CORRECTED / OPEN (scoped).
- The ~31% curvature-input error in the internal $a_6$ engine. Computation debt (DISCLOSED-CORRECTED). The live engine writes $|{\rm Riem}|^2/{\rm Scal}^2=31/147$ (Bianchi-violating); the Bianchi-exact value is $23/75$. A correction owed, not a closure.
These residuals are separate rows under one top-level family: full quantum/global completion, with the global-admissibility-composition theorem (§3.8, unproven) as the standing obstruction — local admissibility does not automatically compose into global admissibility.
10. Anti-claims (what this page refuses to say)
- UQF-3 is an anchored scoped closure, NOT a derivation of quantum positivity from the geometry. Its anchor content is exactly the two value-free floor anchors QP-1 (Born sign) and QP-2 (stability of matter); it consumes zero incremental numerical anchors (no $M_{\rm Pl}$, gauge couplings, $y_t$, $|V_{us}|$) and runs no physics computation for this terminal.
- UQF-3 does not derive $E$. It supplies the target (the per-carrier polarization inventory), not the certificate.
- NOT a blanket "reflection positivity is derived." Finite-cutoff: derived. Uniform continuum: open (R3). Finite residuals: open (R1/R4/R5/R6).
- A textbook citation is not a from-content proof for the active branch. The perturbative quartet earn is not the non-perturbative Kugo–Ojima completeness/confinement criterion.
- The continuum-limit positivity is NOT solved — it is REDUCED-TO-AXIOM onto P1 (dissolved ≠ solved).
- The order-6 boundary coefficient $a_6^\partial$ is NOT computed; $c_3^\gamma$ is not emitted; the positivity functional $P(a_6)$ is UNMADE and no sign is asserted.
- The $d{=}4$ boundary anomaly class is NOT assumed to vanish (assuming it away would be presupposing the wanted answer); it is uncomputed and likely-nonzero.
- The base × internal factorization is a conjecture, not an established reduce.
- The linearized-graviton win is NOT a constructed/OS-reconstructed graviton Hilbert space.
- The bulk $\operatorname{tr}[a_6]=-2.817995812\times10^{94}\,\text{GeV}^6$ is NOT a gap-closing magnitude — retracted, scale-anchored, ill-posed at odd $D=13$.
- NOT "UQF-3 ⇒ Yang–Mills mass gap." The dependency runs mass-gap-machinery → positivity, never the reverse.
- The frozen-branch hashes are audit anchors; they do not validate the physics.
- Local/sector certificates do not compose into a global positive quantum theory (composition theorem unproven).
11. Specialist closure plan
Each open residual is a concrete, finite, target-blind work-package; a refuting result is a valid close. Ordered by leverage:
- Positivity-functional pass-semantics (constructible now, no $a_6$ value). Formalize the one-sided rule — violation ⇒ decision-grade refute; a pass is only consistency (necessary, not sufficient) — and wire its falsifier. It can refute, not manufacture, positivity. De-risks the gate immediately.
- Curvature-input fix (cheap, DISCLOSED-CORRECTED). Flip the sign of the two naturally-reductive quarter-terms (Besse 7.38 / KN-II convention) so $|{\rm Riem}|^2/{\rm Scal}^2=23/75$; re-run; re-confirm the derivative-sector ratio. A correction owed — does not close Gap-01 or UQF-3.
- R4 — boundary $a_6^\partial$ via Levi-Civita / Gelfand–Tsetlin. Compute the order-6 boundary coefficient with Neumann⊕Dirichlet projectors on the totally-geodesic ($L=0$, $\tilde v=0$) locus $F$, using the Levi-Civita (not canonical-connection) Bochner–Laplacian spectrum on $K_6=SU(3)/T^2$ (the canonical-connection spectrum is exact at $a_0/a_2$ but off by a located $1/24$ at $a_4$, so it cannot deliver a trustworthy $a_6$). Success: a finite, target-blind $c_3^\gamma$ feeding $P(a_6)$, the sign then certifies ($P\ge0$) or breaks. Refuting close: a definite-sign-violating contribution. Do NOT fabricate a total — terminal as BLOCKED with the precise missing literature object exported. Load-bearing for three gates (Gap-01, SG-6, SG-7).
- R1 — boundary anomaly class. Carry out the bounded bordism/$\eta$ computation of the single even-degree $d{=}4$ boundary class for the active-branch content (Dai–Freed / Freed–Hopkins; FOS Cor 7.5/7.6). Success: the class vanishes ⇒ the retained-sector certificate becomes unconditional. Refuting close: nonzero ⇒ demotes even the retained certificate. The actual close lives at UQF-4.
- R3 / R6 / R5 (the walls). Honest, precise OPEN with the wall named: R3 is the 4D-YM continuum object (REDUCED-TO-AXIOM onto P1, closable only by a genuinely new target-blind constructive-QFT idea); R6 needs the global-admissibility-composition theorem or an order-by-order tower-positivity proof (blocked by R3 + UQF-9/UQF-10); R5 needs a non-perturbative IR positivity result inside UQF-11 (no UV-data shortcut). A refuting result at any tower/loop order is a valid decidable negative.
Closing the finite holes (1–4) sharpens UQF-3 toward an unconditional retained certificate with a decision-grade positivity predicate — and even then, only given $E$, with the continuum wall standing.
Completion tests for this page
Tests passed (required presence, all met): gate two-axis terminal stated (physical: CLOSED-SCOPED / certified-irreducible floor + derived-given-anchors reconstruction + CPTP/UCP contract; project-dependency: RESOLVED +0) · anchor content = exactly QP-1 + QP-2, zero incremental numerical anchors, no physics computation run · the retained-leg CERTIFICATE-CONDITIONAL formula $\mathcal H_{\rm phys}=\ker Q/\operatorname{im}Q$ · the finite-cutoff leg $T=e^{-aH_a},H_a\ge0$ DERIVED · DERIVED-GIVEN-E labels · "$E$ not derived" · frozen hashes (AUDIT ONLY) · every exact object as its own row · the reflection-not-cone specificity diagnostic ($\operatorname{Tr}(\sigma e^{-tD})=1.0$) · the scale-free heat-kernel backbone with no dimensionful magnitude asserted · every open residual (R1, R3, R4, R5, R6, R7, R8, $P(a_6)$, curvature fix) as its own row · the two value-free floor anchors · the gate's anti-claims.
Tests held (required absence, all held): no claim that UQF-3 is physics-closed · $E$ derived · a textbook citation sold as a from-content interacting proof · continuum positivity solved/proven · $a_6^\partial$ computed or $c_3^\gamma$ emitted · a sign of $P(a_6)$ asserted · the $d{=}4$ class assumed vanishing · factorization treated as established · the bulk $a_6$ magnitude read as gap-closing · "UQF-3 ⇒ mass gap" · hashes validate physics · local closure = global completion.
Open items: R1 (AUDIT, → UQF-4) · R3 (REDUCED-TO-AXIOM/P1, Clay sub-wall) · R4 ($a_6^\partial$ + $c_3^\gamma$) · $P(a_6)$ semantics + sign · R5 (→ UQF-11) · R6 (KK/all-loop) · R7 (above-cutoff graviton) · R8 (OS↔BRST interacting) · curvature-input fix · global-admissibility-composition theorem.
Assumptions made: none beyond the source — every status matches the owner-ratified closure record (physical endpoint: CLOSED-SCOPED / certified-irreducible QP-1/QP-2 floor + derived-given-anchors reconstruction + gauge/orbifold positivity-preserving projection + CPTP/UCP 13D→4D record-reduction contract; project-dependency endpoint: RESOLVED +0, CERTIFIED-IRREDUCIBLE; retained sector CERTIFICATE-CONDITIONAL conditional on UQF-4; finite-cutoff DERIVED; incremental numerical anchors ZERO; P★ continuum wall shared/external and NOT solved); every number is traced to the source or corpus; nothing fabricated.
This gate anchor ledger follows the canonical eleven-part shape and universal table of the SG-4 ledger.
See also: the anchoring method · A0 — the master anchor · Layer 4 — carrier-forcing & the given-E wall (why the geometry is load-bearing but not certifying) · SG-4 — Hypercharge & anomaly (the canonical gate ledger) · the full UQF-3 dossier.