UQF-3 — Reflection positivity / physical Hilbert space: the gate anchor ledger — rendered package. Rendered from uqf3-anchor-ledger.md; frozen technical content unchanged by rendering.

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

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)


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 onlynot 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:

  1. Finite-cutoff reflection positivity. DERIVED (theorem at fixed $a$), with the strong-coupling caveat.
  2. Retained-sector perturbative no-ghost. CERTIFICATE-CONDITIONAL — DERIVED-GIVEN-E (perturbative), conditional on UQF-4.
  3. 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.
  4. 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.
  5. 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.

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:

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)


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:

  1. 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.
  2. 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.
  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).
  4. 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.
  5. 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.