UQF-5C — Interacting / strong-coupling graviton: the gate anchor ledger

The honest one-line: UQF-5C has real, checkable banked wins — the frozen geometry supplies the graviton operator cleanly (a Lichnerowicz-type $L_{\rm grav}$ + Faddeev–Popov ghost sector, given-E), the geometric curvature input $|{\rm Riem}|^2/R^2 = 23/75$ is proved by independent routes, the scope firewall is terminal, and a wrong dimensionful magnitude was refuted at decision grade — but the gate as a whole is OPEN (a global wall), because a constructive, non-perturbative UV completion of the interacting graviton is one of the great open problems of physics, unsolved by every approach including this one.

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-5C 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-5C roll-up: OPEN (global wall) — honestly disclosed, not promotable (status = least-closed residual).
• Taxonomy reconciliation (2026-07-05): under the current two-axis taxonomy the gate-level grading is ANCHORED (on the conditional axiom pair {$\Delta_0>0$, Lorentz-scalar proper-time floor}), read as TERMINAL + RESIDUALS-SHOWN. The residual family in this ledger (H1–H6, plus the owed R2 engine fix) remains listed and carried unchanged; the earlier OPEN (global wall) roll-up above reflects the superseded least-closed-residual rule, not different facts. The facts are unchanged: the 5C wall is still the shared UQF-9 object with no constructive lever exhibited, and no individual residual is closed or re-graded by this note. [Superseded 2026-07-08: the ratified board records UQF-5C as CERTIFIED-IRREDUCIBLE · RESOLVED +0 (not ANCHORED at +1); see the current-status note at the top of this page.]
• Operator-supply leg (5A, as structure, given-E): the frozen geometry hands you the graviton operator. On the background $\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2$ (with $K_6=SU(3)/T^2$, indices $M,N=1\dots13$), the de-Donder (harmonic) gauge-fixed metric fluctuation $h_{MN}$ yields a Lichnerowicz-type Laplace operator $$L_{\rm grav}=-(\nabla^2+E),$$ whose 4D massless spin-2 mode is the graviton, with the Kaluza–Klein tower above. The physically meaningful object is ghost-corrected.
• The 5C wall itself (the open object): $$O_{\rm 5C}(\mathfrak B_{\rm active}) \;=\; \text{a constructive, target-blind, non-perturbative UV completion / strong-coupling closure of the interacting graviton} \;\;\textbf{— no route exhibited.}$$
• Status, split so it cannot be misread:
  • Operator-supply (5A): DERIVED-GIVEN-E — terminal as structure; it reproduces linearized GR given the observed gravity limit as input, not as a from-nothing derivation.
  • Linearized one-loop legs (5B): CERTIFICATE-CONDITIONAL — conditional on UQF-9, and one floor below this gate.
  • Gate-level UQF-5C (5C): OPEN (global wall) — the same object as UQF-9; the geometry supplies the operator but no constructive lever across the wall.

The honest grade is layered: operator supplied; linearized legs conditional below; strong-coupling completion open everywhere. This is not a hedge and not a defect — a UV-complete, strong-coupling quantum theory of gravity is open for strings, asymptotic safety, loops, and us alike. The status is held, not upgraded.

The cardinal discipline, carried verbatim: $a_6$ is the missing object for UV completion, never is it. Relabeling "$a_6$ computed" as "5C closed" relocates the wall, and is refused.

2. Frozen inputs (what UQF-5C stands on, not what it produces)

• Frozen branch hashes dcc66f1b2685 / a5b1e6f9d951. 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 content $E$ (the 13D background $\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2$, its radii, the metric fluctuation field, and the observed gravity limit the linearized claim is conditioned on) is given / charged / inherited. UQF-5C does not derive $E$, and it does not derive the graviton: it supplies the operator whose properties decide consistency.
• The asymptotic-safety / UV-completion object is inherited from / shared with UQF-9 — the 5C wall is the UQF-9 object. It is not a UQF-5C anchor to be closed here.

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 structures the graviton sector acts on: the metric fluctuation $h_{MN}$ on $\mathrm{Sym}^2T$ (fiber dimension $91=\dim\mathrm{Sym}^2(\mathbb R^{13})=\tfrac{13\cdot14}{2}$), the Faddeev–Popov vector ghost (dimension $13$), the 4D massless spin-2 mode plus its KK tower, and the holonomy data of $K_6\times S^2\times S^1_Y$ that any heat-kernel trace integrates over. Status: GIVEN-E / upstream-inherited — not UQF-5C-derived.

4. Root and master-anchor traceability

Deep roots that are load-bearing for UQF-5C:

Master anchors in play: the frozen branch · given-$E$ · the unbounded Seeley–DeWitt ladder $a_6

5. The UQF-5C anchor ledger (the universal table)

6. The construction — the banked wins, in full

UQF-5C is a consistency gate evaluated on the survivor — no new geometry is searched. The forward chain, stopping precisely where it stops:

frozen geometry -> de-Donder gauge-fixed h_MN -> L_grav = -(nabla^2 + E)   [SUPPLIES THE OPERATOR, 5A given-E]
   + FP-ghost sector  -> ghost-corrected trace  grav(91) - 2*ghost(13) = x65   [forced by BRST nilpotency]
   --Gilkey/Avramidi a6 template (d=13, cubic-curvature basis)-->  tr[a6]   [NOT COMPUTED, R1]
   --positivity functional P(a6) >= 0 ?-->  weak-field UV consistency (5B)  [P UNSELECTED, R4]
   ==> 5B: CERTIFICATE-CONDITIONAL (conditional on UQF-9), one floor BELOW this gate
   ---- [the 5C wall] ----
   non-perturbative UV completion / strong-coupling closure of the interacting graviton, uniform above the cutoff
   ==> OPEN (global wall = UQF-9); geometry supplies the operator but NO constructive lever

Banked win 1 — the geometry supplies the operator (5A, structure, given-E). The de-Donder graviton operator and the FP-ghost sector are standard textbook structures; the $d=13$ specialization is geometry-indexed. The 4D massless spin-2 mode is the graviton; the heavy KK tower rides above. The physical coefficient is ghost-corrected: the fiber trace is $\mathrm{grav}$ on $\mathrm{Sym}^2T$ (dim $91$) minus $2\times$ the FP vector ghost (dim $13$), giving the combination $\times65$. The multiplicity $91$ and the ghost dimension $13$ are fixed by the de-Donder gauge structure; the $-2$ is the Faddeev–Popov sign+count, forced by BRST nilpotency (well-posed) — but not yet verified against an actually-computed graviton trace (residual R5, one floor below).

Banked win 2 — the geometric curvature input $\lvert{\rm Riem}\rvert^2/R^2=23/75$ (proved, on the leg below). The corpus $K_6=SU(3)/T^2$ curvature builder carried a sign error on two naturally-reductive quarter-bracket terms; the buggy tensor violated the first Bianchi identity and produced $31/147=0.21088$ instead of the Bianchi-exact $23/75=0.30667$ — the ~31% curvature deficit (R2). The corrected value was independently reproduced by four target-blind methods plus a from-scratch rebuild with a different inner product, all agreeing exactly:

The decisive criterion is the first Bianchi identity — a theorem every Riemann tensor must satisfy, writable with zero reference to any target. Honest caveat (carried, not buried): correcting a curvature input is necessary, not sufficient. We adopt the conservative reading — the corrected value $23/75$ is proved; the engine fix is owed; no downstream magnitude is yet trustworthy.

Banked win 3 — the scale-free color content (DERIVED-PENDING). The scale-free heart of the $a_6$ color factor is $124/315$, with four exact-rational round-sphere cross-checks: $S^2=\tfrac{4}{315}$, $S^4=\tfrac{74}{63}$, $S^6=\tfrac{1139}{63}$, $S^6(\text{conformal})=\tfrac{5}{63}$. The honest downgrade is load-bearing: $124/315$ is DERIVED-PENDING-INDEPENDENT-TARGET-BLIND-REPRODUCTION because the same R2-carrying engine produced it, and it is metric-SELECTED (holds at the spectrum-demanded $\mathrm{Scal}_{K_6}=7.5$ normalization). It is carried as exactly what it is: strong and dual-checked, but not yet independently reproduced.

Banked win 4 — the wrong magnitude was refuted, not shipped. The engine emitted $\mathrm{tr}[a_6]_{\rm bulk}=-2.817995812\times10^{94}\,{\rm GeV}^6$. This dimensionful magnitude is REFUTED at decision grade for the graviton sector, for two independent reasons: (1) it is contaminated by R2 (the corrected curvature shifts it by $+6.305\%$); and (2) it is scheme/scale-anchored and arguably ill-posed at odd $D=13$ — $a_6$ sits at the half-integer pole $s=7/2$ (power divergence, scheme-dependent, zero in dim-reg), and $\zeta_L(0)$ is holomorphic for odd $n$ (no log / no anomaly slot). The banked GeV$^6$ number is a local density $\times$ the prefactor $(4\pi)^{-13/2}=7.1637\times10^{-8}$, which is neither the canonical integrated $A_6$ (units GeV$^{-7}$) nor an object that legitimately pairs with that prefactor.

Banked win 5 — no finite-grain shortcut (T-DEEP). A natural hope is that the granularity / cost-floor axiom supplies a finite-grain shortcut to 5C. It does not. T-DEEP established that $R_0$ — the program's fundamental length — is a pure color/gauge object ($R_0/l_{\rm Planck}\sim194$), so every finite-grain dissolution of 5C relocates onto UQF-9 via the isolated sub-target P0. The wall is genuine.

The scope firewall (the structural heart of this gate). Even a flawless, finite, positive $a_6$ certifies one coefficient in an unbounded operator ladder $a_6for UV completion, never is the completion. This is the gate's signature mis-close, and it is forbidden.

Diagnostic — the curvature correction is specific, not a tuning (the target-blind falsification test). The buggy tensor was caught not by comparison to any wanted $a_6$ value, but by the first Bianchi identity: $$\text{buggy:}\ \text{1st-Bianchi residual}=\tfrac16\neq0\quad\Longrightarrow\quad\text{corrected:}\ 2.5\times10^{-16}\approx0.$$ That a theorem every Riemann tensor must satisfy fails for the buggy build and holds machine-exact for the corrected one — independently reproduced by four methods and a different-inner-product rebuild — is what makes $23/75$ a real geometric fact rather than a match-to-known-answer. The discipline is symmetric: the resulting dimensionful magnitude is not claimed as derived, because that would smuggle the scheme anchor back in.

7. Declared-structure splits — the $a_6$ object, split into honest pieces

The single phrase "the $a_6$ result" hides claims with different statuses. Split:

1. The graviton + ghost operator $L_{\rm grav}$. DERIVED-GIVEN-E (structure) — geometry-supplied, terminal as structure.
2. The scale-free ratio $124/315$ + sphere checks. DERIVED-PENDING (independent reproduction owed) / the sphere checks themselves DERIVED (exact).
3. The geometric input $23/75$. DERIVED (input win) — proved by independent routes; necessary, not sufficient.
4. The d=13 trace $\mathrm{tr}[a_6]$ and the positivity functional $P$. OPEN — the trace is uncomputed (R1), $P$ is unselected (R4); $P(a_6)\ge0$ is doubly open and not yet a well-defined predicate. Both live one floor below (5B), not in 5C.
5. The dimensionful magnitude. REFUTED (decision-grade) — R2-contaminated and scheme-anchored at odd $D=13$.
6. The 5C wall itself. OPEN (global wall) — the UQF-9 object; no constructive lever.

So the operator is structure, the ratios are input/pending, the d=13 trace + $P$ are open below, the magnitude is refuted, and 5C is the wall. The open target is closure without tuning to a wanted magnitude or a wanted "positive" answer.

8. The shared frontier wall and the scope firewall

The 5C wall is shared, not local: it is the same object as UQF-9 (a truncation-independent non-Gaussian asymptotic-safety fixed point, or a defensible non-continuum replacement), and it is counted once in the shared-blocker ledger across UQF-9 / UQF-14 / GRAVITON-5C. Two downstream facts inherit from it:

• Graviton-sector unitarity above the cutoff (UQF-14 / R9) is inherited below the cutoff (standard QFT) but blocked by UQF-9 above it — no proof unitarity survives where the graviton and KK tower go strongly coupled until the UV completion exists.
• The $a_6$-positivity test (5B) is the nearest decision-grade move, but even if it passes it lifts 5A/5B only to certificate-grade conditional on UQF-9 — it never reaches 5C (the R7 firewall).

The unicorns, framed as shared ceilings (never as our weakness, never as proven):

• "No future theory could UV-complete gravity better than ours." A universal negative over all possible mathematics — unprovable for everyone. 5C is a global wall shared by all approaches.
• "$a_6$ (one coefficient) settles the strong-coupling theory." The inverse over-claim — one coefficient cannot close an unbounded ladder. The firewall correctly forbids it; necessary-not-sufficient is the ceiling.
• "THE absolutely unique UV completion of the interacting graviton." Demanding proof of unique forcedness over the open-ended space of quantization schemes is a unicorn. The bounded claim — this geometry supplies the operator; the named missing object is the UV completion / UQF-9 — is the ceiling.

9. Open residuals — the strong-coupling-completion family

The banked legs above are several faces of UQF-5C. These distinct residuals make up the rest, and none is closed by the banked wins. Ordered as the dossier orders them — by tractability, not by how much they move 5C, because the two holes that are 5C are global walls and the genuinely bounded work lives one floor below:

• H1 — 5C itself: a constructive UV completion / strong-coupling closure. OPEN (global wall). ⚠ Possible-unicorn (verify). The same object as UQF-9; the geometry supplies the operator but exhibits no route across the wall (R8). The correct deliverable is a WALL RECORD, not a closure attempt.
• H2 — P0: own minimal length vs inherited $R_0$. OPEN (bounded handle). The newly isolated, cleanest UQF-9 sub-target; its "bounded" status is provisional (it is a sub-target of a frontier wall). A definite answer either opens a finite-grain route to 5C or confirms the wall.
• H3 — graviton-sector unitarity above the cutoff (UQF-14 / R9). OPEN (downstream of H1). ⚠ Possible-unicorn (verify). Inherited below the cutoff; blocked by UQF-9 above. No independent close — it rises when H1 closes.
• H4 — the leg below (5B): the d=13 graviton-minus-ghost $a_6$ vector + the positivity functional $P$. OPEN (doubly). The trace is uncomputed (R1; even the coefficient sign $C\sim-6.39$ is unreproduced) and $P$ is unselected (three readings, R4). This is the real decision-grade work.
• H5 — the scheme-anchored magnitude + the $124/315$ independent reproduction (R3). OPEN. The dimensionful magnitude terminates on no measured invariant (same scheme-object family as $c_{\rm loop}$ / SG-7-δ); $124/315$ must be reproduced by an engine that does not carry R2.
• H6 — the Z₂ orbifold-defect heat-kernel (R6). BLOCKED. The order-6 mixed Neumann+Dirichlet boundary coefficient for the $S^1_Y/\mathbb Z_2$ fixed points does not exist in the literature (the published boundary tower stops at $a_5$), so no TOTAL $a_6$ (bulk + defect) can be emitted.

These are separate rows under one top-level family: the strong-coupling completion, with the shared frontier wall (UQF-9) as the standing obstruction. The genuinely bounded items are H4/H5/H6 (one floor below); H1/H3 are walls, not horses.

10. Anti-claims (what this page refuses to say)

• UQF-5C does not derive $E$, does not derive GR, and does not derive the graviton. It supplies the operator whose properties decide consistency — that is its load-bearing role and nothing more.
• 5C is NOT closed; the program does NOT have a UV completion of quantum gravity. It is OPEN (global wall), shared by all approaches.
• $a_6$ computed does NOT imply 5C closed. This is the signature mis-close: $a_6$ is the missing object for, never is, the UV completion (the scope firewall, $a_6
• The $-2.818\times10^{94}\,{\rm GeV}^6$ magnitude is NOT a derived graviton result — it is refuted at decision grade (R2-contaminated; scheme-anchored; ill-posed at odd $D=13$).
• The d=13 trace $\mathrm{tr}[a_6]$ is NOT computed; the sign $C\sim-6.39$ is NOT reproduced and must not be fabricated; the positivity functional $P$ is UNSELECTED and no sign of $P(a_6)$ is asserted.
• $124/315$ is NOT a settled clean target-blind invariant — it is DERIVED-PENDING (same R2-carrying engine, metric-SELECTED).
• The TOTAL (bulk + defect) $a_6$ is NOT emitted; the Z₂ orbifold-defect coefficient is NOT fabricated.
• A scheme object reverse-engineered to a wanted magnitude is true-by-construction and relocates the residual — it does not close it ($\kappa^3/\pi$ falsification test).
• A captured terminal log is NOT an independent reproduction.
• The cost-floor / granularity axiom dissolves a class of continuum UV divergences toward UQF-9 — dissolved ≠ solved; it leaves the finite $a_6$ obligation and the fixed-point wall OPEN.
• The frozen-branch hashes are audit anchors; they do not validate the physics. The frozen background is selected, not proven uniquely forced.

11. Specialist closure plan

Each open residual is a concrete, target-blind work-package; a refuting result is a valid close. Ordered by what is actually buildable, not by 5C-leverage:

1. H4 — the d=13 $a_6$ vector + the positivity functional $P$ (the real decision-grade work). Step 1: select the precise positivity functional $P$ required for physical-Hilbert-space closure, plus a value-free adjudication rule. Step 2: after fixing R2 (apply the proposed sign-flipped Rop() drop-in), compute the d=13 graviton-minus-ghost $a_6$ vector target-blind on the machine lane, reproducing the sign of $C$. Step 3: evaluate $P(a_6)$. Success: $P(a_6)\ge0$ → lifts 5A/5B to certificate-grade conditional on UQF-9 (it never reaches 5C — the firewall). Refuting close: $P(a_6)<0$ → refutes the linearized gate at decision grade. Do not fabricate $C\sim-6.39$, axiomatize a pass, or present the falsifier as runnable while $P$ is unselected. Resolve the cross-script Gilkey-transcription contradiction (a6_compute.py PASS vs a6_sphere_crosscheck.py FAIL) before trusting any d=13 number.
2. H5 — independent $124/315$ + the scheme object (R3). Reproduce $124/315$ target-blind on a structurally independent engine (no routing through the R2 engine) → upgrades DERIVED-PENDING to a clean derived win. Separately, either settle the shared one-loop heat-kernel scheme object target-blind → DERIVED-GIVEN-E, or name and verify AXIOM-HEATKERNEL-SCHEME-OBJECT (value-free) → AXIOM-CLOSED-pending-verification (= still OPEN until verified). A reverse-engineered scheme relocates — refuse it. Shared-close value: the scheme object is the same family as $c_{\rm loop}$ / SG-7-δ.
3. H6 — the Z₂ orbifold-defect heat-kernel (R6). A specialist construction of the higher-order $S^1_Y/\mathbb Z_2$ boundary heat-kernel coefficient (likely a genuine new mathematical result), or a proof that the Donnelly equivariant $\tfrac12 c_3^\gamma$ form supplies it; then assemble TOTAL $=$ bulk $+$ defect. If not obtainable: terminal as BLOCKED, exported to the tracked shared-blocker ledger. Do not fabricate the defect total. Adjudicate the missing-literature-vs-Donnelly identity first.
4. H2 — P0 (the cleanest bounded handle on the wall). Determine, target-blind, whether the gravitational sector has its own minimal-length scale or inherits $R_0$ from the color sector. Success: a definite, reproducible answer that does not back-solve. A "gravity inherits $R_0$" answer confirms 5C has no finite-grain shortcut (consistent with T-DEEP); a "gravity owns its own scale" answer would open a genuinely new finite-grain route. Either advances the whole UQF-9 cluster.
5. H1 / H3 (the walls) — emit a WALL RECORD, do not attempt closure. Build the shared UQF-9 construction once (FRG / asymptotic-safety toolkit; beyond-truncation stability) — not this gate again. Three legitimate outcomes: a target-blind construction exhibiting a truncation-independent non-Gaussian fixed point (constructive close); a proof no such fixed point exists on this geometry (refuting close — a valid terminus); or neither runnable here → a WALL RECORD that names the construction precisely, classifies it OPEN/wall, records the bridge it hides, and marks it SHARED with UQF-9 / UQF-14 / 5C. Marking H1 bounded:true with a what_would_close_it of "solve QG UV completion" is the false-openness failure mode — it is a wall, not a horse. H3 inherits its disposition from H1.

Closing the bounded holes (H4/H5/H6) sharpens 5A/5B toward an unconditional, decision-grade linearized certificate — and even then, only conditional on UQF-9, with the 5C wall standing. The only thing that closes 5C is closing UQF-9; that is the maximum-leverage shared frontier wall in the program, which is precisely why it is not a per-gate plug.

Completion tests for this page

Tests passed (required presence, all met): gate roll-up OPEN (global wall) · the operator-supply leg $L_{\rm grav}=-(\nabla^2+E)$ DERIVED-GIVEN-E (structure) · the 5C wall named precisely (= UQF-9) · "$E$ not derived / GR not derived" · frozen hashes (AUDIT ONLY) · every exact object as its own row · the first-Bianchi target-blind specificity diagnostic ($\tfrac16\to2.5\times10^{-16}$) · the proved curvature input $23/75$ · the scale-free $124/315$ (DERIVED-PENDING) + exact sphere checks · the scope firewall $a_6

Tests held (required absence, all held): no claim that UQF-5C is closed · the program has a UV completion · $a_6$ computed ⇒ 5C closed · the refuted magnitude sold as derived · a sign of $P$ asserted · $C\sim-6.39$ fabricated · $124/315$ sold as settled/clean · the TOTAL or defect $a_6$ fabricated · a reverse-engineered scheme treated as a close · a captured log treated as reproduction · hashes validate physics · the geometry proven uniquely forced · dissolved treated as solved · local/below-the-leg facts treated as 5C closure.

Open items: H1 (5C / UQF-9 — WALL RECORD) · H2 (P0) · H3 (above-cutoff unitarity, downstream of H1) · H4 (d=13 $a_6$ vector + $P$, 5B) · H5 ($124/315$ independent + scheme object, R3) · H6 (Z₂ orbifold-defect $a_6^\partial$, BLOCKED) · the R2 engine fix (owed).

Assumptions made: none beyond the dossier — every status matches the dossier grade (gate OPEN/global wall; 5A operator-supply DERIVED-GIVEN-E as structure; 5B CERTIFICATE-CONDITIONAL on UQF-9; the dimensionful magnitude REFUTED); every number is traced to the dossier or corpus; nothing fabricated; no grade upgraded.

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) · UQF-3 — reflection positivity / physical Hilbert space (the sibling QG-consistency gate that shares the $a_6$ heat-kernel object) · SG-4 — Hypercharge & anomaly (the canonical gate ledger) · the full UQF-5C dossier.