Gate dossier — UQF-9 — UV / Seeley–DeWitt
Final controlling ratification candidate
This file reconstructs UQF-9 from the current project constitution rather than preserving the superseded blanket CERTIFIED-IRREDUCIBLE terminal. It accepts the governing correction supplied for this review:
The finite spectral Wilsonian theory is construction-anchored and reaches a finite cost floor rather than an infinitely divisible continuum. The complete projected sixth Seeley–DeWitt coefficient is not yet known, because the bulk calculation and the full boundary/orbifold-defect projection are not both complete in one controlling, target-blind certificate. Conventional microscopic ultraviolet completion is also not known. Neither gap may be relabeled as solved by the cost floor.
The dossier then asks a narrower and physically prior question:
Does the accepted theory remain a complete, lawful, computable physical object at every energy that belongs to its own finite operational state space?
The answer developed below is yes, scoped to the finite spectral theory, provided the Shape is strengthened by one zero-metric-dimensional Actor–Co-Actor pair:
\[ \boxed{ \Xi_{\rm UQF9}^{\rm pair} = \Xi_{\rm FSW} \dashv \Xi_{\rm PBDC}^{\vee} } \]
where
- \(\Xi_{\rm FSW}\) is the Finite Spectral Wilsonian Flow Actor; and
- \(\Xi_{\rm PBDC}^{\vee}\) is the Projected Boundary–Defect Completeness and Refinement Co-Actor.
The pair does not compute the missing projected \(a_6\), does not exhibit a non-Gaussian ultraviolet fixed point, does not add a smallest length, and does not convert a finite effective theory into a conventional continuum completion. Its job is different and exact: it makes the complete finite physical operator—including bulk, fixed sets, boundary domain, ghosts, constraints, and observer reduction—the object on which spectral shells are integrated. The exact finite trace and finite Schur-complement flow exist whether or not a closed symbolic formula for one asymptotic coefficient has been extracted.
UQF-9 — UV / SEELEY–DEWITT
PHYSICAL ENDPOINT:
CLOSED-SCOPED /
REALIZED-GIVEN-FINITE-SPECTRAL-WILSONIAN-FLOW-ACTOR
AND PROJECTED-BOUNDARY–DEFECT-COMPLETENESS-CO-ACTOR /
OPERATIONAL HIGH-ENERGY COMPLETENESS.
PROJECT-DEPENDENCY ENDPOINT:
CLOSED / RESOLVED +0.
CLOSURE STRENGTH:
B — EMPIRICALLY ANCHORED RECONSTRUCTION /
EXPLICIT FINITE CONSTRUCTION.
COMPLETE PROJECTED a6:
OPEN — ANALYTIC COMPRESSION / MATCHING DEBT;
NOT A THEORY-EXISTENCE BLOCKER.
CONVENTIONAL CONTINUUM UV COMPLETION:
OPEN — NO TRUNCATION-INDEPENDENT FIXED POINT OR EQUIVALENT
MICROSCOPIC COMPLETION IS CLAIMED.
OPEN GATE-BLOCKING DEBTS:
NONE, GIVEN ACCEPTANCE OF THE ACTOR–CO-ACTOR PAIR.
Part I — Exact gate contract, authority, and supersession
1. Exact physical obligation
UQF-9 asks whether the complete accepted theory stays meaningful when pushed toward its highest admitted energies. “Meaningful” must be converted into a finite contract. For this dossier it means all of the following:
- State-space existence. Every bounded operational region has a defined physical state carrier after gauge, diffeomorphism, orbifold, and boundary constraints.
- Operator existence. The high-energy generator and the Euclidean matching operators are densely defined at the declared scope, self-adjoint or controlled by a stated positive transfer construction, and restricted to the physical domain.
- Finite spectral evolution. Spectral shells can be removed or restored by an exact finite rule; no shell is integrated while silently omitting a boundary, fixed-set, ghost, edge, or constraint sector.
- Compositionality. Integrating high modes in one step or in nested steps gives the same low-shell effective operator, up to the declared observer equivalence.
- Same-ruler matching. The theory’s 13-dimensional, Euclidean, Lorentzian, boundary, and four-dimensional observer objects are never compared without a frozen transport map.
- Refinement discipline. A finer description is physically required only when it changes an admitted finite record beyond the Granularity tolerance. Record-invisible refinements are not promoted into new ontology.
- Infrared recovery. The finite high-energy construction must reduce to the already accepted low-energy graviton, gauge, matter, and observer sectors.
- Negative controls. Non-self-adjointness, negative physical norm, anomaly failure, shell non-composition, omitted fixed-set content, cutoff-sensitive admitted records, or failed infrared recovery must reopen the gate.
The gate does not owe any of the following under this scoped contract:
- a literal \(\Lambda\to\infty\) continuum limit;
- a truncation-independent asymptotic-safety fixed point;
- a string, holographic, causal-set, or other microscopic completion;
- a closed symbolic value for every heat-kernel coefficient;
- a theorem that one coefficient decides an unbounded interacting tower;
- a derivation of the measured Planck scale or \(\hbar\) from nothing.
Those stronger questions remain scientifically important. They are separated rather than erased.
2. Controlling authority order
The gate is reconstructed in this order:
Gate_Closure_Constitution(1).md— the Two-Anchor-Plus-Law closure constitution;INTERDEPENDENCE_BUILDING_BLOCKS_v4_FINAL_REVIEWED_RATIFICATION_CANDIDATE(1).md— accepted Interdependence authority;HIKING_PHYSICS_MASTER_IMPLICIT_ASSUMPTIONS_LEDGER_v1_3(2).md— especially A-02, A-08, A-09, A-10, A-11, A-21, A-22, A-24, A-25, and A-26;TECRAC_REFINED_GATE_CLOSURE_METHOD_v1_2(2).mdand the Discovery and Gate-Closure Constitution;shape_v2_10(2).md, including the v2.9 relational local-unitary quantum-geometry Actor–Co-Actor pair;- the current UQF-9 governing correction supplied with this task;
GATES_SOURCE_OF_TRUTH.md, used as a technical archive where it does not conflict with the correction;QUANTUM_review_bundle.zip,TOE_review_bundle.zip,GUT.md, and the current bulk/defect and heat-kernel records;- the final SG-8 dossier as a format and governance template, not as physics authority for UQF-9;
- established heat-kernel, spectral-action, orbifold, Wilsonian, and functional-renormalization literature listed in Appendix R.
3. Supersession rule
The status hierarchy is:
THIS V12 CONTROL SECTION
controls UQF-9’s current physical endpoint, project endpoint,
Actor–Co-Actor definition, open-debt typing, and public wording.
THE GOVERNING 2026-07-12 CORRECTION
controls the rejection of blanket CERTIFIED-IRREDUCIBLE closure.
SHAPE v2.9/v2.10
controls the inherited finite relational local-unitary dynamics,
physical-domain closure, refoliation composition, anomaly domain,
and current thirteen-dimensional Stage.
OLDER UQF-9 / GAP-01 / UQF-5 RECORDS
preserve calculations, failed routes, heat-kernel data,
and negative controls, but do not control the terminal where they conflict.
No old sentence can re-close the projected \(a_6\) or conventional UV-completion questions. Conversely, the continued openness of those stronger questions cannot automatically reopen the narrower finite-theory existence contract. Each object is judged under its own predicate.
4. Why the earlier terminal is superseded
The earlier UQF-9 record committed two distinct typing errors.
First, it treated the finite cost floor and a named field-wide wall as sufficient to close the whole gate. A project boundary can explain why an obligation is not internally discharged; it cannot by itself prove that the full physical object remains complete at the boundary. The missing step was constructive: define the high-energy state carrier, its exact finite flow, and the completeness check that prevents fixed-set and boundary sectors from being lost during reduction.
Second, it alternated between two incompatible descriptions of the \(S^1/\mathbb Z_2\) sector:
- a pure quotient/fixed-point problem treated by an equivariant trace; and
- a physical interval with mixed operator domains, chiral boundary conditions, and fixed-set Actors.
Those descriptions can be equivalent for a restricted operator, but the equivalence is not automatic once localized Actors, ghosts, parity-dependent domains, and edge/corner data are present. The complete physical object therefore needs an owner for the equivalence and the no-double-counting rule. That owner is the new Co-Actor.
5. Physical and project endpoints are separate
The closure constitution requires two lines.
5.1 Physical endpoint
The physical endpoint answers whether the theory is complete and lawful over the finite spectral domain it actually declares. This dossier reaches a positive construction, conditional on acceptance of \(\Xi_{\rm UQF9}^{\rm pair}\).
5.2 Project-dependency endpoint
The project endpoint asks whether downstream work can use a coherent ultraviolet matching interface without pretending the continuum problem is solved. The answer is yes: downstream gates receive exact finite shell maps, explicit scope, and named open research objects.
5.3 Stronger external endpoints
Two stronger endpoints remain open:
COMPLETE PROJECTED a6:
OPEN.
CONVENTIONAL CONTINUUM / MICROSCOPIC UV COMPLETION:
OPEN.
This separation is not semantic. The predicates differ mathematically.
Part II — Child-level explanation and the central thought experiment
6. Child-level explanation
Imagine a music player containing a finite list of tracks. You can sort the tracks from low pitch to high pitch, remove the highest-pitch tracks, and calculate exactly how the remaining tracks sound together. That calculation exists even if nobody has found a short formula summarizing the sixth pattern in the high-pitch tail.
The old UQF-9 framing treated the missing short formula as if it might mean the music player itself was undefined. It does not. The missing formula is useful for fast matching and cross-checking, but the finite list, the exact playback rule, and the exact removal of tracks can still exist.
The important warning is that the player has hidden speakers at its two ends. If the calculation removes high-pitch tracks from the middle but forgets the end speakers, it is incomplete. The new Co-Actor is the checklist and gluing rule that guarantees the middle, the ends, the ghost bookkeeping, and the observer output are all included exactly once.
7. The two-universe thought experiment
Construct two universes with the same:
- finite physical state space in every bounded operational diamond;
- self-adjoint physical generator;
- exact finite spectrum and parity data;
- boundary and fixed-set operator domains;
- shell-integration rule;
- low-energy observables;
- Granularity threshold and Scale anchors.
Universe A also has a compact analytic formula for the complete projected \(a_6\). Universe B does not; it evaluates the finite trace and shell map directly.
No admitted finite experiment distinguishes A from B merely because one analyst has compressed a trace into a closed coefficient and the other has not. Therefore:
\[ \boxed{ \text{closed-form projected }a_6 \text{ is not a necessary condition for finite-theory existence.} } \]
This does not show that \(a_6\) is unimportant. It shows that its correct role is matching, asymptotic compression, anomaly/divergence analysis, and cross-checking—not the existence of the exact finite trace.
8. The boundary-versus-orbifold thought experiment
Take the same parent circle and reflection \(\gamma:y\mapsto-y\). Consider two realizations.
Route Q — quotient-only
No independent localized fields or boundary-domain choices are introduced. The physical trace may be written as a group average:
\[ K_{\pm}(t) = \frac12\left[ \operatorname{Tr}(e^{-tL}) \pm \operatorname{Tr}(\gamma e^{-tL}) \right]. \]
The second term is an equivariant fixed-set trace.
Route I — physical interval
The quotient is represented as an interval with parity-dependent Dirichlet/Robin or more general mixed domains, fixed-set multiplier Actors, ghost boundary conditions, and possible edge/corner data. The heat trace now depends on the complete boundary-value problem.
The two routes agree only if one proves that the localized source inventory, operator domain, measure, and projector are equivalent and that no contribution is omitted or counted twice. The old corpus sometimes assumed this equivalence from notation. UQF-9 cannot.
The forced result is:
\[ \boxed{ \text{A boundary–defect completeness owner is required by the current Shape.} } \]
9. The infinite-ruler thought experiment
Suppose two descriptions differ only above every admitted finite spectral and record threshold. The theory’s Granularity constitution says an exact continuum refinement is not automatically a new physical object. But if a finite near-cutoff observable differs, the distinction is physical and cannot be dissolved.
Thus the gate must use the rule:
RECORD-INVISIBLE REFINEMENT:
non-gating representational equivalence.
FINITE RECORD CHANGE:
live physical difference; calculate or fail.
This is stricter than “there is a cutoff, so nothing above it matters.” It makes every finite near-cutoff record a falsifier.
10. The shell-order thought experiment
Partition the full finite physical modes into low \(L\), middle \(M\), and high \(H\) shells. Integrate out \(H\), then \(M\). Compare with integrating out \(M\oplus H\) in one step.
A lawful Wilsonian construction requires equality of the resulting low operator. For a quadratic block operator this is the quotient property of the Schur complement. For finite path integrals it follows from associative partial integration under the declared finite measure. Failure would mean the “effective theory” depends on the analyst’s bookkeeping order.
The shell-composition identity is therefore a gate-level negative control, not an optional elegance criterion.
Part III — Assumption sweep and wrong-object audit
11. Triggered assumptions
A-02 — Continuum objects exist at arbitrarily fine resolution
Triggered. The conventional \(t\to0\), \(\Lambda\to\infty\), or cell-size \(a\to0\) object is mathematically meaningful but not automatically part of the finite physical ontology. Granularity can dissolve the demand for literal infinite divisibility. It cannot dissolve finite coefficients or finite observed differences.
A-08 — Same ruler is automatic
Triggered. A 13D bulk trace, a projected interval trace, a four-dimensional threshold coefficient, and a Lorentzian observable are different objects. Every comparison must state dimension, operator, parity, domain, projection, scale, and observer map.
A-09 — Zero mode implies full tower
Triggered. Low-energy graviton recovery does not prove finite high-energy shell completeness. The full finite tower and fixed-set sectors must be included.
A-10 — Local implies global
Triggered. Local bulk heat-kernel coefficients do not settle global orbifold, boundary-domain, eta-invariant, or gluing data.
A-11 — Finite EFT implies UV completion
Triggered and binding. The finite spectral Wilsonian construction closes operational high-energy completeness only. It does not prove a conventional microscopic UV completion.
A-21 — Compute before geometry
Triggered. Before calculating \(a_6\), the dossier must decide whether the physical object is a quotient trace, a boundary-value problem, or a coupled object. The current Shape forces the coupled classification.
A-22 — Stage alone is the theory
Triggered. The Stage does not define the parity domain, ghosts, physical projector, fixed-set multipliers, measure, shell map, or observer reduction.
A-24 — Ansatz equals derivation
Triggered. Adding an arbitrary cutoff function or counterterm basis and declaring success would be an illegal construction. The new pair must be frozen, typed, and falsifiable.
A-25 — Reachable fit equals prediction
Triggered. No boundary coefficient or shell parameter may be chosen after reading a desired low-energy result.
A-26 — Every gate has a positive solution
Triggered. The dossier pre-registers a closed-negative outcome if the pair violates unitarity, composition, completeness, or infrared recovery.
12. Wrong objects eliminated
12.1 “One coefficient is the UV completion”
Wrong theorem. The Seeley–DeWitt tower is unbounded, and the interacting flow contains nonlocal and nonperturbative information not fixed by one local coefficient.
12.2 “No analytic \(a_6\) means no finite theory”
Wrong existence predicate. A finite matrix trace and finite shell integration can exist without symbolic coefficient extraction.
12.3 “The orbifold is only a boundary”
Incomplete. The quotient has a fixed-point interpretation, but the accepted physical Shape also carries interval domains and localized Actors.
12.4 “The orbifold is only an equivariant quotient”
Also incomplete for the same reason. The complete operator includes physical domain data not contained in the group action alone.
12.5 “The cost floor is the fixed point”
Wrong object. A finite operational floor is not an RG fixed point.
12.6 “No continuum completion can ever matter”
Overclaim. A future finite observable may distinguish completion branches. The dossier only declines to treat record-invisible infinite refinement as an owed physical object.
13. Objects that remain real and open
The following are not dissolved:
- the complete projected \(a_6\) for the accepted graviton/ghost/boundary/fixed-set problem;
- the correct boundary/equivariant crosswalk for the final Actor inventory;
- threshold and positivity consequences that genuinely depend on that coefficient;
- truncation-independent non-Gaussian fixed-point existence;
- any equivalent microscopic completion with demonstrable unitarity, causal recovery, and finite observables;
- strong-coupling behavior of the complete interacting finite theory as the operational capacity is enlarged;
- quantitative refinement stability of every near-cutoff observable.
The closure route must route these honestly.
Part IV — The complete physical object
14. Stage
The metric Stage remains exactly
\[ \mathcal X_{13} = \mathcal M_{3,1} \times K_6 \times S^2 \times I_\chi, \qquad K_6=SU(3)/T^2, \qquad I_\chi=S^1_\chi/\mathbb Z_2. \]
Only the Stage carries metric dimension:
\[ D=4+6+2+1=13. \]
The UQF-9 completion adds no metric factor, no new compact radius, and no new Kaluza–Klein tower.
15. Rulebook
The relevant Rulebook includes:
- finite operational capacity on every bounded causal diamond;
- gauge and diffeomorphism quotient before state counting;
- orbifold parity and the complete species parity table;
- de Donder gauge and the physical graviton/ghost complex at the Euclidean matching interface;
- self-adjoint operator domains on the interval and fixed sets;
- reflection-positive Euclidean/Lorentzian bridge inherited from UQF-3;
- anomaly triviality inherited from UQF-4;
- the relational local-unitary move grammar and refoliation composition inherited from Shape v2.9;
- freeze-before-compare;
- no private counterterm or shell coefficient introduced after comparison;
- no double counting between quotient fixed-point and interval boundary descriptions;
- the finite-record refinement criterion;
- the same-ruler observer map.
16. Existing Actor inventory consumed by UQF-9
The gate consumes, but does not recreate:
- the metric and graviton Actors;
- gauge and matter Actors;
- Faddeev–Popov ghost and BRST data;
- chiral-domain and fixed-set Actors;
- the reflection-positive transfer/Hilbert pair;
- the global-anomaly pair;
- the graviton–moduli rigidity pair;
- the relational local-unitary quantum-geometry pair \(\Xi_{\rm RLU}\dashv\Xi_{\rm CRC}^{\vee}\);
- observer and record maps.
17. New Actor — \(\Xi_{\rm FSW}\)
The Finite Spectral Wilsonian Flow Actor is the tuple
\[ \Xi_{\rm FSW} = \left( \mathcal H_D^{\rm phys}, \mathcal L_D, \{P_\Lambda\}, \{\mathfrak W_{\Lambda_2\leftarrow\Lambda_1}\}, \{\Gamma_\Lambda\}, \mathfrak R_{13\to4} \right), \]
for every bounded operational causal diamond \(D\), with:
- \(\mathcal H_D^{\rm phys}\): the finite physical state carrier after all constraints and quotienting;
- \(\mathcal L_D\): the complete Euclidean Laplace-type matching operator or finite positive transfer-derived operator on the physical domain;
- \(P_\Lambda\): nested covariant spectral projectors associated with the complete operator, not a coordinate-frequency cutoff;
- \(\mathfrak W_{\Lambda_2\leftarrow\Lambda_1}\): exact finite shell-integration maps;
- \(\Gamma_\Lambda\): the exact finite Wilsonian effective action or effective operator at shell \(\Lambda\);
- \(\mathfrak R_{13\to4}\): the frozen reduction and observer map to the four-dimensional records used downstream.
The Actor is a structural Dynamics object. It adds no continuous fitted coefficient. The allowed projectors and shell maps are determined from the complete physical operator and its frozen domain.
18. New Co-Actor — \(\Xi_{\rm PBDC}^{\vee}\)
The Projected Boundary–Defect Completeness and Refinement Co-Actor owns the dual obligations that the flow Actor cannot certify by itself:
- Domain completeness: every bulk, fixed-set, interval-boundary, ghost, constraint, edge/corner, and localized source sector is either included or explicitly shown absent.
- Quotient/interval crosswalk: the group-averaged equivariant trace and the interval boundary-value trace are related by a proved map for the accepted operator and source inventory.
- No double counting: a contribution represented as a fixed-set term is not added again as an independent boundary term unless the physical domain contains an independent boundary Actor.
- Projection completeness: the physical projector, parity projector, BRST reduction, and shell projector have a declared order or commute on the accepted domain.
- Shell composition: nested elimination produces the same effective low object as one-step elimination.
- Refinement adjudication: changes below the record threshold are representational; finite record changes remain live.
- Observer completeness: every claimed threshold or positivity output is transported to the same dimension, scale, norm, and projection as the compared record.
- Open-coefficient registry: unknown analytic coefficients are named, dependency-routed, and prohibited from being silently replaced by fitted local terms.
The Co-Actor is zero-metric-dimensional and nonpropagating. It is a typed completeness object, analogous in role to the source-completeness, relative-bordism, and mirror-completeness Co-Actors already accepted elsewhere in Shape.
19. Dynamics
The Lorentzian parent Dynamics remains the relational local-unitary move system of Shape v2.9:
\[ U_D(\sigma) = \overrightarrow{\prod_{m\in\sigma}} \exp\!\left(-\frac{i\delta\tau_*}{\hbar}h_m\right), \qquad U_D^\dagger U_D=I, \]
with refoliation equality for legal linear extensions of the same causal event poset.
The Euclidean matching face uses the positive operator supplied through reflection-positive reconstruction and the declared graviton/ghost complex. The Wilsonian effective object is formed by exact finite partial integration or, in the quadratic sector, by the exact Schur complement of the eliminated shell.
The two faces must not be conflated:
LORENTZIAN FACE:
physical unitary evolution and causal composition.
EUCLIDEAN SPECTRAL FACE:
one-loop and Wilsonian matching, heat traces, determinants,
and shell reduction.
BRIDGE:
reflection-positive / self-adjoint reconstruction plus the frozen
same-ruler observer map.
20. Scale
The construction consumes:
- \(\hbar\) as the measured action unit;
- \(M_{\rm Pl}\) as the measured gravitational ruler;
- the compactification/unification scales already frozen elsewhere;
- the derived project scale \(M_*\) where used;
- the finite operational time step and capacity rules of Shape v2.9.
No new high-energy scale is fitted in UQF-9. A spectral shell label is a resolution index of the existing operator, not an extra measured anchor.
21. Granularity
Granularity supplies:
- finite distinguishability in a bounded operational diamond;
- the prohibition on treating empty refinement as new physics;
- the finite-record equivalence relation;
- the anti-fitting firewall;
- the requirement that every finite near-cutoff record remain live.
Granularity does not supply the value of \(a_6\), a UV fixed point, or a proof that all completion branches are record-equivalent.
22. Complete system boundary
The complete UQF-9 object includes:
SYSTEM:
complete constrained geometry + matter + gauge + graviton content
in a bounded operational causal diamond.
ENVIRONMENT:
external records and causal boundary data admitted by the diamond.
BOUNDARY:
both interval fixed sets, edge/corner gluing, and causal-diamond boundary.
AUXILIARY SECTORS:
ghosts, multipliers, projectors, anomaly/inflow data, and gauge quotient.
RADIATION / HIGH MODES:
all physical modes in the eliminated spectral shell.
RECORDS:
observer-accessible four-dimensional outputs after the frozen map.
A Stage-only heat trace is not a UQF-9 certificate.
Part V — Forced truth table and complete branch grammar
23. Forced truth table
| Question | Yes branch | No branch | Controlling result |
|---|---|---|---|
| Is a literal infinitely divisible continuum part of the accepted physical ontology? | Conventional continuum obligation remains internal | Exact-continuum existence demand is removed from the physical gate | No, not as an independently admitted record object; Granularity controls |
| Are finite near-cutoff observables still owed? | They must be calculated and can falsify | Theory would be nonempirical at its boundary | Yes, always owed |
| Does the complete bounded physical carrier have finite operational capacity? | Exact finite trace and shell integration become available | Positive route fails; gate remains open/negative | Yes, inherited from Shape v2.9, subject to reopen tests |
| Is the high-energy generator self-adjoint/unitary on the physical domain? | Lorentzian evolution is lawful | Negative physical norm or nonunitarity reopens | Yes, construction-anchored through \(\Xi_{\rm RLU}\dashv\Xi_{\rm CRC}^{\vee}\) |
| Does the current orbifold sector include physical interval domains and fixed-set Actors? | Pure equivariant trace alone is insufficient | Quotient-only treatment may suffice | Yes; Co-Actor required |
| Must the complete projected \(a_6\) be known for the exact finite trace to exist? | Gate blocked on analytic extraction | Exact finite trace is prior and independent | No |
| Is \(a_6\) irrelevant? | It could be dropped | It remains matching/diagnostic data | No; it remains OPEN and valuable |
| Does finite spectral completeness prove conventional UV completion? | Overclaim | Scope remains finite operational theory | No |
| Can the gate close at a scoped positive construction? | Actor–Co-Actor pair must satisfy all kill tests | Gate stays OPEN or CLOSED-NEGATIVE | Yes, conditional on ratification |
24. Complete branch grammar
The branch grammar is deliberately exhaustive over the physically relevant options generated by the current constitution.
Branch A — conventional continuum fixed-point completion
Object. A truncation-independent non-Gaussian fixed point or equivalent continuum construction for the complete interacting theory.
Strength. Stronger than the finite operational route.
Status. OPEN. No such certificate is supplied.
Use. Future strengthening only.
Branch B — finite spectral Wilsonian construction with complete boundary/defect ownership
Object. \(\Xi_{\rm FSW}\dashv\Xi_{\rm PBDC}^{\vee}\) over the inherited finite relational local-unitary state carrier.
Strength. Sufficient for operational high-energy completeness, exact finite shell composition, and lawful matching.
Status. Positive closure route developed here.
Branch C — finite cutoff without completeness Co-Actor
Object. A spectral cutoff or finite matrix trace that omits or ambiguously counts fixed-set/boundary sectors.
Status. REJECTED. Finite is not complete.
Branch D — heat-kernel coefficient as substitute for the full theory
Object. Declare a computed or positive \(a_6\) to be the UV completion.
Status. REJECTED as wrong theorem.
Branch E — cost-floor-only closure
Object. Declare the exact-continuum demand dissolved and stop without constructing the finite high-energy object.
Status. REJECTED as incomplete. This is the defect in the superseded terminal.
Branch F — arbitrary boundary counterterm completion
Object. Add enough free fixed-set couplings to absorb any unknown coefficient.
Status. REJECTED unless those couplings are independently frozen and empirically or structurally owned. Otherwise this is target-loading.
Branch G — pure equivariant quotient
Object. Use only \(\tfrac12(K\pm K_\gamma)\).
Status. Scoped sub-branch. Valid only after the Co-Actor proves equivalence to the accepted interval/fixed-set source inventory.
Branch H — pure interval boundary-value problem
Object. Ignore the quotient fixed-point interpretation and compute only boundary coefficients.
Status. Scoped sub-branch. Valid only after the Co-Actor shows that no equivariant contribution is separately required.
Branch I — closed-negative finite construction
Object. The exact finite theory fails a kill condition: nonunitary shell map, omitted sector, anomaly, non-self-adjoint domain, or unstable infrared recovery.
Status. Pre-registered. If any kill test fires, the positive terminal is withdrawn.
25. Architecture ranking
The architectures are ranked by constraint satisfaction, not by which most easily yields CLOSED.
| Rank | Architecture | Completeness | New fit freedom | Exact finite flow | Conventional UV completion | Verdict |
|---|---|---|---|---|---|---|
| 1 | FSW + PBDC Co-Actor | Full declared finite object | 0 | Yes | No | Selected |
| 2 | Conventional fixed point | Potentially strongest | unknown | would follow | Yes if proven | Open, not available |
| 3 | Pure quotient trace | Incomplete under current Shape until crosswalk proved | 0 | Partial | No | Sub-branch only |
| 4 | Pure boundary coefficient program | Incomplete unless quotient/fixed-set relation proved | 0 | Partial | No | Sub-branch only |
| 5 | Cutoff-only | Ambiguous sectors | 0 | Formally finite | No | Rejected |
| 6 | Free counterterm repair | Can be made complete by tuning | many | Yes | No | Rejected as target-loadable |
| 7 | Cost-floor-only | No complete finite Dynamics | 0 | No certificate | No | Rejected |
26. Why the selected pair is minimal
The Actor and Co-Actor perform logically distinct jobs.
- The Actor generates the finite spectral flow.
- The Co-Actor certifies that the object being flowed is complete, correctly projected, and refinement-safe.
Removing the Actor leaves a static inventory with no high-energy transition or matching law. Removing the Co-Actor leaves a flow over an ambiguously truncated object. Combining both into one label would hide the duality between evolution and completeness and would violate the Actor–Co-Actor discipline already used by Shape.
No new metric dimension is needed because the missing content is not a new location. No propagating particle is needed because the missing content is not an energy carrier. No continuous coefficient is needed because the pair defines maps and domains, not a fitted cancellation.
Part VI — Exact finite spectral construction
27. Finite physical carrier
For every bounded operational causal diamond \(D\), Shape v2.9 supplies
\[ \mathcal H_D^{\rm phys}=\ell^2(\mathcal Q_*(D)), \qquad |\mathcal Q_*(D)|<\infty. \]
The set \(\mathcal Q_*(D)\) is not a naive lattice alphabet. It consists of complete relational records after quotienting gauge/diffeomorphism copies, empty subdivisions, and record-invisible refinements. The bounded-capacity condition is part of the Rulebook and is a reopenable construction hypothesis.
Finite dimension immediately implies that every bounded operator has a finite matrix representation, every self-adjoint operator has a finite real spectrum, and every trace and determinant over the physical carrier is finite.
28. Complete physical operator
Let
\[ \mathcal L_D = \Pi_{\rm phys} \left( \mathcal L_{\rm grav} \oplus \mathcal L_{\rm matter} \oplus \mathcal L_{\rm gauge} \oplus \mathcal L_{\rm ghost} \oplus \mathcal L_{\rm fixed} \right) \Pi_{\rm phys} \]
with domain
\[ \operatorname{Dom}(\mathcal L_D) = \operatorname{Dom}_{\rm bulk} \cap \operatorname{Dom}_{I_\chi} \cap \operatorname{Dom}_{\rm fixed} \cap \operatorname{Dom}_{\rm BRST} \cap \operatorname{Dom}_{\rm glue}. \]
The direct-sum notation is bookkeeping, not a claim of dynamical independence. Interdependence requires the complete parent constraints and off-diagonal couplings to remain in \(\mathcal L_D\).
29. Covariant spectral projectors
For a positive Euclidean matching operator or absolute physical generator, define
\[ P_\Lambda = \mathbf 1_{[0,\Lambda^2]}(\mathcal L_D). \]
Because \(P_\Lambda\) is a spectral function of the complete operator, it is basis-independent and commutes with \(\mathcal L_D\). The shell between \(\Lambda_1\) and \(\Lambda_2\) is
\[ Q_{\Lambda_2,\Lambda_1} =P_{\Lambda_2}-P_{\Lambda_1}, \qquad 0\le\Lambda_1\le\Lambda_2. \]
A coordinate-momentum cutoff is not accepted as the controlling definition. Such a cutoff may be used as a computational representation only after demonstrating equivalence at the admitted record interface.
30. Exact finite heat trace
The projected finite heat trace is
\[ K_D(t;\Lambda) = \operatorname{Tr}_{\mathcal H_D^{\rm phys}} \left(P_\Lambda e^{-t\mathcal L_D}\right) = \sum_{\lambda_j\le\Lambda^2}e^{-t\lambda_j}. \]
For finite rank this is an entire function of \(t\) and is finite for every finite complex \(t\). In particular, no knowledge of the symbolic continuum coefficient \(a_6\) is required to define it.
Theorem U9.1 — finite heat-trace existence
Statement. If \(\dim\mathcal H_D^{\rm phys}<\infty\) and \(\mathcal L_D\) is self-adjoint, then \(K_D(t;\Lambda)\) exists, is finite, and is entire for every finite \(\Lambda\).
Proof. The spectral theorem gives a finite real eigenvalue list \(\{\lambda_j\}_{j=1}^N\). The trace is a finite sum of entire exponentials. No limiting interchange is required. \(\square\)
Corollary U9.1a
The existence of a finite physical heat trace is logically prior to extracting any asymptotic coefficient from a large-spectrum or small-\(t\) expansion.
31. Exact parity projection
Let \(\gamma^2=I\) be the frozen orbifold/parity action on the complete physical carrier and assume the accepted domain is \(\gamma\)-invariant. Then
\[ P_\pm=\frac12(I\pm\gamma), \qquad P_++P_-=I, \qquad P_+P_-=0. \]
If \([\gamma,\mathcal L_D]=0\),
\[ K_{\pm,D}(t;\Lambda) = \operatorname{Tr}\left(P_\pm P_\Lambda e^{-t\mathcal L_D}\right) = \frac12\left[ K_D(t;\Lambda) \pm K_{\gamma,D}(t;\Lambda) \right], \]
where
\[ K_{\gamma,D}(t;\Lambda) = \operatorname{Tr}\left(\gamma P_\Lambda e^{-t\mathcal L_D}\right). \]
Theorem U9.2 — projected trace completeness
Statement. Under the preceding commutation and domain assumptions,
\[ K_{+,D}+K_{-,D}=K_D \]
exactly at finite spectral rank.
Meaning. The parity split loses no finite spectral information. It does not by itself determine whether a separate localized boundary Actor contributes; that classification remains with the Co-Actor.
32. Exact Wilsonian shell integration
Decompose the physical carrier into retained and eliminated shells:
\[ \mathcal H_D^{\rm phys} = \mathcal H_<\oplus\mathcal H_>. \]
For a quadratic positive operator
\[ \mathcal L = \begin{pmatrix} L_{<<}&L_{<>}\\ L_{><}&L_{>>} \end{pmatrix}, \]
the exact low-shell operator after integrating the high Gaussian modes is
\[ \boxed{ L_{\rm eff} = L_{<<}-L_{<>}L_{>>}^{-1}L_{><}. } \]
The determinant factor is finite:
\[ \det \mathcal L = \det L_{>>}\, \det L_{\rm eff}. \]
For interacting finite variables, define
\[ e^{-\Gamma_\Lambda[\phi_<]} = \int_{\mathcal H_>} d\mu_>(\phi_>) \,e^{-S_D[\phi_<,\phi_>]}. \]
The integral is finite-dimensional. Existence still requires a valid measure and convergence/oscillatory prescription, which are owned by the Actor and inherited reflection-positive construction.
33. Shell-composition theorem
Let
\[ \mathcal H = \mathcal H_L\oplus\mathcal H_M\oplus\mathcal H_H. \]
Theorem U9.3 — quotient property
For an invertible positive block operator, eliminating \(H\) and then \(M\) gives the same low Schur complement as eliminating \(M\oplus H\) in one step.
\[ \operatorname{Schur}_M\left( \operatorname{Schur}_H(\mathcal L) \right) = \operatorname{Schur}_{M\oplus H}(\mathcal L). \]
Proof. This is the quotient identity for Schur complements and follows by block Gaussian elimination. A deterministic exact-rational witness is shipped with this dossier. \(\square\)
Interacting extension
For a finite measure with an admissible Fubini property,
\[ \int d\mu_M\int d\mu_H\,e^{-S} = \int d\mu_{M\oplus H}\,e^{-S}. \]
A failure of the required finite measure or composition is a reopen trigger, not something Granularity dissolves.
34. Exact low-energy resolvent and Schur map
For spectral parameter \(z\) away from the eliminated spectrum,
\[ \mathcal L_{\rm eff}(z) = L_{<<} - L_{<>}(L_{>>}-z)^{-1}L_{><}. \]
This is the exact Feshbach–Schur map. It retains the influence of high modes without pretending they are independent. Its poles identify where a low-energy truncation fails. The map therefore provides a direct negative control against hiding a high-shell tachyon or ghost.
35. Basis covariance
Let \(U\) be a unitary transformation preserving the physical domain and constraints. Then
\[ \mathcal L'_D=U^\dagger\mathcal L_DU, \qquad P'_\Lambda=U^\dagger P_\Lambda U. \]
Trace, determinant, spectrum, and all projected finite shell outputs are invariant. A shell defined by coordinate labels rather than the spectrum of the complete operator fails this test unless equivalence is proved.
36. Reflection-positive bridge
The Euclidean matching operator is not itself the Lorentzian theory. UQF-3 supplies the positive transfer/Hilbert reconstruction; Shape v2.9 supplies the self-adjoint Lorentzian local-unitary Dynamics. UQF-9 requires the bridge:
\[ T_D(\tau) =e^{-\tau(H_D-E_{0,D})}\ge0, \qquad U_D(t)=e^{-itH_D}, \]
with the physical domain and observer reduction kept fixed. If the boundary conditions make the Euclidean operator non-strongly-elliptic or destroy the positive reconstruction, the positive route fails.
37. Exact finite one-loop object
At finite rank, a bosonic/ghost one-loop contribution may be written as
\[ \Gamma^{(1)}_{D,\Lambda} = \frac12\log\det{}'\mathcal L_{{\rm grav},\Lambda} - \log\det{}'\mathcal L_{{\rm gh},\Lambda} +\Gamma^{(1)}_{{\rm matter/gauge},\Lambda} +\Gamma^{(1)}_{{\rm fixed},\Lambda}, \]
with zero modes and gauge volume treated by the accepted Rulebook. Every determinant is finite. This expression is not asserted to be the complete interacting UV theory; it is the exact finite one-loop matching object.
38. Why \(a_6\) is not needed for existence
The Seeley–DeWitt expansion compresses the small-proper-time behavior of an operator family:
\[ \operatorname{Tr}(e^{-tL}) \sim (4\pi t)^{-d/2} \sum_{n\ge0}a_n(L,B)t^{n/2} \]
with boundary and singular-stratum terms determined by the problem. Knowing \(a_6\) helps identify local order-six invariants, divergences, anomalies, and matching terms. But the finite trace is already the exact finite sum over eigenvalues.
Theorem U9.4 — analytic compression is not existence
There exist finite self-adjoint operators for which \(K(t)\), all determinants, and all shell maps are exactly defined even when no analyst has extracted a closed expression for a chosen coefficient in an asymptotic surrogate. Therefore the missing symbolic coefficient is not a logical obstruction to the finite operator’s existence.
This theorem is elementary but decisive. It changes the ownership of the open coefficient without weakening its scientific value.
Part VII — Boundary, orbifold, defect, and ghost completeness
39. Why the Co-Actor is required
The accepted Shape is not merely a smooth closed manifold. It contains:
- the folded interval \(I_\chi\);
- two fixed sets;
- species-dependent parity;
- chiral operator domains;
- fixed-set multiplier Actors in the graviton–moduli sector;
- gauge and ghost boundary data;
- anomaly/inflow structures;
- observer and causal-diamond boundaries.
A bulk heat-kernel calculation, however accurate, is not the complete projected physical coefficient.
40. Co-Actor inventory table
| Sector | Required data | Omission consequence |
|---|---|---|
| Bulk graviton | Lichnerowicz operator, gauge fixing, zero modes | wrong physical determinant |
| Ghost | operator, endomorphism, multiplicity, parity/domain | wrong subtraction and gauge dependence |
| Matter/gauge | complete high-shell spectrum and constraints | incomplete matching |
| Interval | self-adjoint mixed domain | nonunique or nonphysical spectrum |
| Fixed set 0 | localized Actors and source terms | missing defect contribution |
| Fixed set \(\pi\) | localized Actors and source terms | asymmetric or incomplete trace |
| Corners/edges | gluing conditions where causal/boundary structures meet | composition failure |
| Orbifold group action | \(\gamma\), normal determinant, representation trace | wrong equivariant term |
| BRST complex | physical cohomology and boundary compatibility | negative-norm contamination |
| Observer map | 13D-to-4D projection and scale | wrong-ruler comparison |
41. Quotient/interval decision tree
The Co-Actor applies the following tree to each field/operator sector:
- Does the field descend from a smooth parent-circle field with no independent fixed-set source?
- Yes: begin with equivariant quotient trace.
- No: retain an explicit interval/fixed-set contribution.
- Is the interval domain exactly the parity descent of the parent smooth domain?
- Yes: prove equality to the quotient trace and count once.
- No: treat the domain difference as physical boundary data.
- Does a localized Actor alter the operator or measure at a fixed set?
- Yes: add the corresponding localized block or interaction; it is not contained in the free quotient trace.
- Are ghost and physical parity domains compatible with BRST?
- No: the branch fails.
- Do edge/corner terms arise under gluing or shell reduction?
- Yes: include them in the complete operator/action.
42. No-double-counting theorem
Let \(\mathcal L_{\rm parent}\) be a \(\mathbb Z_2\)-equivariant operator on the smooth cover and let the interval domain be exactly its parity descent, with no independent localized source. Then the interval parity trace is represented by the group average and no separate boundary term may be added as an independent physical contribution.
If the interval domain or localized source inventory differs from pure descent, the difference defines a new physical operator \(\delta\mathcal L_{\rm fixed}\) and must be included explicitly. The Co-Actor records which case applies sector by sector.
This theorem resolves the apparent contradiction between “Donnelly fixed-point term” and “mixed boundary coefficient” by refusing to apply either label globally before the physical domain is classified.
43. Strong ellipticity and self-adjointness
Boundary conditions must make the relevant Euclidean operator self-adjoint and strongly elliptic at the declared scope. Dirichlet and Robin sectors satisfy standard conditions; mixed and oblique sectors require the complete projector and tangential-symbol test.
The Co-Actor records:
BOUNDARY PROJECTORS:
Pi_minus, Pi_plus.
ROBIN/ENDOMORPHISM DATA:
S.
TANGENTIAL SYMBOL:
Gamma^a, if present.
SELF-ADJOINTNESS:
PASS / FAIL.
STRONG ELLIPTICITY:
PASS / FAIL / NOT YET CERTIFIED.
A failed or unproved load-bearing strong-ellipticity condition blocks the relevant coefficient and may block the whole finite Euclidean matching branch if no alternative exact finite construction is supplied.
44. BRST boundary compatibility
The physical and ghost domains must be mapped into one another by the gauge differential. Formally,
\[ s\operatorname{Dom}(\mathcal L_{\rm phys}) \subseteq \operatorname{Dom}(\mathcal L_{\rm gh}), \qquad s^2=0 \]
at the accepted scope. The precise complex depends on the gauge fixing and fixed-set Actors. UQF-9 consumes the anomaly and positivity pairs but still requires domain compatibility under spectral projection:
\[ [P_\Lambda,s]=0 \]
on the physical complex, or a controlled homological replacement showing that shell integration preserves cohomology.
45. Projected \(a_6\) object, exactly typed
The open coefficient is not written as a bare number. The complete object is
\[ \boxed{ A_{6,\rm phys}^{\rm proj} = A_{6,\rm bulk}^{\rm grav} -2A_{6,\rm bulk}^{\rm gh} +A_{6,\rm matter/gauge} +A_{6,\rm interval/fixed} +A_{6,\rm edge/corner} } \]
with all terms evaluated under the same:
dimension and Euclideanization
metric normalization
operator sign convention
endomorphism convention
bundle trace
parity projector
boundary domain
zero-mode removal
renormalization scheme
scale
observer projection
The factor -2 is schematic and must be replaced by the exact complex multiplicity/convention in the final calculation. This dossier does not manufacture the total.
46. Current status of the bulk and defect pieces
The project files contain inconsistent historical records:
- some records report a bulk coefficient as complete and cross-checked;
- some retain unresolved graviton/ghost route mismatches or endomorphism ambiguity;
- some treat the orbifold term as a Donnelly fixed-point coefficient;
- the governing correction states that the full bulk-plus-orbifold-defect projection is uncomputed and blocked by order-six boundary heat-kernel data.
The controlling status for this dossier is therefore:
BULK BACKBONE:
SUBSTANTIAL COMPUTATION BANKED; USEFUL BUT NOT SUFFICIENT TO EMIT
THE COMPLETE PROJECTED PHYSICAL TOTAL.
BOUNDARY / ORBIFOLD / FIXED-SET COMPLETION:
OPEN.
COMPLETE PROJECTED a6:
OPEN; NO TOTAL EMITTED AS CONTROLLING PHYSICS.
This is intentionally conservative. A future reconciliation may strengthen it.
47. Why the open coefficient is non-gating for finite existence
The exact finite projected trace includes the boundary and fixed-set sectors through the full finite operator matrix. The analytic coefficient is a derived compression of that trace in a particular asymptotic and scheme. Thus:
- missing domain content would be gate-blocking;
- missing exact finite trace/determinant would be gate-blocking;
- missing closed symbolic \(a_6\) is a finite analytic debt, not a state-space existence blocker.
The Co-Actor converts “unknown coefficient” from an ambiguity about whether the boundary was omitted into a precisely owned research task over a complete finite object.
48. What a completed \(a_6\) could change
A future completed coefficient could change:
- one-loop matching terms;
- threshold corrections;
- signs or magnitudes of selected local higher-curvature operators;
- anomaly or divergence bookkeeping where order six is the relevant slot;
- black-hole or replica determinant corrections;
- the quality of comparisons among completion branches.
It cannot by itself prove:
- a truncation-independent fixed point;
- nonperturbative unitarity;
- full tower convergence;
- uniqueness of the UV theory;
- empirical correctness of the entire framework.
Part VIII — Wilsonian flow, matching, and refinement
49. Exact finite Wilsonian family
For nested projectors \(P_\Lambda\), define the effective family \(\Gamma_\Lambda\) by integrating the complement. The family is exact at finite capacity. It need not be local at every scale; locality is a derived approximation when the retained energy lies below the eliminated gap and the Schur kernel admits a controlled derivative expansion.
The dossier therefore rejects the hidden assumption:
“A Wilsonian effective action is meaningful only if truncated to a small local operator basis.”
The exact finite effective action can be nonlocal. A local basis is a compression whose error must be bounded.
50. Local derivative expansion
When \(E\ll M_{\rm gap}\), the resolvent expansion gives
\[ (L_{>>}-z)^{-1} = L_{>>}^{-1} +zL_{>>}^{-2} +z^2L_{>>}^{-3} +\cdots \]
inside its convergence domain. Substitution into the Schur map generates local or quasilocal operators ordered by inverse heavy scales. Heat-kernel coefficients organize the corresponding invariant basis.
The complete projected \(a_6\) therefore governs a term in this compression. It is not the exact finite flow itself.
51. Matching/running/threshold role
The physically correct statement is:
\[ \boxed{ A_6^{\rm proj} \text{ contributes to matching, running, thresholds, and selected positivity tests,} \text{ but does not establish a UV fixed point.} } \]
This wording is frozen. It replaces any sentence saying \(a_6\) “closes UV completion.”
52. Refinement relation
Let \(\mathfrak T_1\) and \(\mathfrak T_2\) be two finite spectral descriptions of the same bounded region, with observer algebras \(\mathfrak A_{\rm obs}\). Define record equivalence at tolerance \(\Delta_0\) by
\[ \mathfrak T_1\sim_{\Delta_0}\mathfrak T_2 \quad\Longleftrightarrow\quad \sup_{O\in\mathfrak A_{\rm obs}}\ \left| \langle O\rangle_1-\langle O\rangle_2 \right| \le\Delta_0\,\|O\|. \]
This is a scoped operational relation, not a proof that the ontologies are identical.
53. Refinement stability certificate
A finite high-energy prediction is released only after:
- increasing the spectral capacity or changing the admissible regulator;
- transporting both outputs to the same observer ruler;
- checking the record-equivalence bound;
- verifying no new physical pole, negative norm, anomaly, or domain failure;
- freezing the tolerance before comparison.
If the output changes beyond tolerance, the finer theory is physically distinguishable and the gate’s relevant subleg reopens.
54. Cutoff independence versus cutoff honesty
Conventional renormalizable or asymptotically safe theories seek regulator-independent predictions as the cutoff is removed. The finite theory instead owes cutoff honesty:
- the cutoff is structural and disclosed;
- predictions at admitted scales are stable within the record tolerance;
- cutoff dependence is tracked, not erased;
- no prediction is extended beyond the capacity where the construction is certified.
This is a weaker claim than continuum universality and a stronger claim than “we picked a cutoff.”
55. Threshold pole firewall
The exact Schur map exposes a failure when \(L_{>>}-z\) is noninvertible near the claimed low-energy domain. Therefore every release must scan for:
- tachyonic eigenvalues;
- negative-residue physical poles;
- unremoved gauge zero modes;
- boundary-localized poles;
- shell crossings that invalidate the truncation.
A pole may be physical, gauge, or an artifact. The Co-Actor owns the classification.
56. Positivity firewall
A sign of a local coefficient is not identical to positivity of the physical Hilbert space. Positivity must be certified through:
- the physical inner product;
- reflection-positive reconstruction;
- BRST cohomology;
- positive residues of physical poles;
- or a separately proved dispersion/functional inequality at the declared scope.
The historical predicate \(P(a_6)\ge0\) is not used unless a theorem establishes what \(P\) means for the accepted odd-dimensional, boundary-carrying operator.
57. Causal and refoliation compatibility
The Euclidean spectral shell is not a preferred Lorentzian foliation. Lorentzian causal order remains the finite event poset of Shape v2.9. The Co-Actor requires that alternative legal slicings of the same causal diamond produce the same physical unitary:
\[ U_D(\sigma)=U_D(\sigma'). \]
A spectral computation that depends on an unphysical slicing is a failed representation, not a new physical prediction.
Part IX — Constitutional projection
58. Shape projection
Shape forces:
- the exact 13D Stage;
- the folded interval and fixed sets;
- the complete Actor inventory;
- the physical operator domain;
- the need for a boundary/defect completeness owner;
- the finite relational local-unitary parent Dynamics;
- the absence of a new metric dimension in the repair.
Shape does not fix the numeric projected \(a_6\) by topology alone.
59. Scale projection
Scale forces:
- the declared Planck and compactification rulers;
- the shell-to-observer comparison scale;
- the distinction between dimensionless coefficient ratios and dimensionful scheme-dependent magnitudes;
- threshold windows and the validity range of the derivative expansion;
- the quasienergy/logarithm branch in the inherited finite unitary construction.
Scale does not supply a UV fixed point.
60. Granularity projection
Granularity forces:
- finite operational capacity;
- record-based refinement;
- no ontology from empty subdivision;
- no infinite-resolution existence debt;
- finite near-cutoff falsifiability;
- freeze-before-compare.
Granularity does not erase an unknown finite coefficient or a finite prediction discrepancy.
61. Dynamics projection
Dynamics forces:
- a self-adjoint/unitary parent evolution;
- exact finite spectral shell maps;
- shell composition;
- complete constraint preservation;
- observer reduction;
- the classification of any nonlocal effective term;
- stability under the accepted finite refinement.
Dynamics is the pillar missing from the old cost-floor-only closure.
62. Invariance screen
PASS conditional on:
- covariant spectral projectors;
- basis-invariant traces/determinants;
- gauge/BRST-compatible domains;
- refoliation-independent Lorentzian evolution;
- orientation/parity conventions transformed consistently.
63. Record-interface screen
PASS conditional on the frozen map \(\mathfrak R_{13\to4}\). The gate has empirical footprints through low-energy gravity, Lorentz/causal recovery, measured \(\hbar\), Planck normalization, and the absence of negative-probability/ghost records in the accepted low-energy domain. It does not claim a new numerical prediction.
64. Causal-order screen
PASS conditional on the inherited local-unitary event-poset construction and on shell matching being used as a Euclidean computational map rather than a signal process.
65. Nonseparability screen
PASS only if high, low, boundary, and ghost sectors are integrated from the complete parent operator. The Schur complement retains off-diagonal coupling and is therefore preferable to deleting high modes by hand.
66. Locality and bounded nonlocality
The exact finite effective action may be nonlocal. A local derivative expansion is permitted only with an explicit error bound in \(E/M_{\rm gap}\). No exact locality is claimed above the cutoff.
67. Unitarity and positivity
Lorentzian unitarity is construction-anchored through Shape v2.9. Euclidean positivity and observer reduction are inherited from UQF-3, with UQF-9 adding shell/domain preservation tests. A full nonperturbative continuum unitarity theorem is not claimed.
68. Ordered Dynamics-time
The shell index is not physical time. Time is owned by the Lorentzian event/update structure. Confusing RG ordering with causal time is prohibited.
69. Recovery
The pair must preserve:
- the massless positive-residue graviton zero mode;
- two physical infrared helicities;
- the accepted Standard Model gauge and matter sectors;
- anomaly cancellation/trivialization;
- chiral mirror exclusions;
- the already frozen 4D matching relations.
A high-energy repair that changes these without a new gate audit is rejected.
Part X — Two-anchor-plus-law closure matrix
70. Constitutional root anchor
| Root | UQF-9 support |
|---|---|
| Shape | complete 13D carrier, interval/fixed sets, full Actor inventory, finite physical domain, new FSW/PBDC pair |
| Scale | \(\hbar\), \(M_{\rm Pl}\), compactification thresholds, covariant shell ruler, 13D-to-4D matching |
| Granularity | finite operational capacity, record equivalence, no empty-refinement ontology, finite falsifiers preserved |
| Dynamics | local-unitary parent evolution, exact finite partial integration, Schur composition, observer reduction |
71. Empirical anchor
The gate’s empirical layer is inherited rather than a new target fit:
- Measured action scale: \(\hbar\), used as the action unit rather than predicted.
- Measured gravitational scale: \(M_{\rm Pl}\) or Newton’s constant, used in the frozen normalization.
- Infrared gravity records: massless long-range gravity, luminal propagation within observational bounds, and two-helicity low-energy behavior, consumed from UQF-5A/5B.
- Low-energy quantum records: positive probabilities, unitary scattering where tested, and no observed negative-norm physical states.
- Standard Model recovery: the accepted gauge, matter, chirality, and anomaly records that the high-energy flow must preserve.
These observations do not prove the new Actor pair. They make it falsifiable and constrain its recovery.
72. Law and constraint layer
The load-bearing laws and principles are:
- self-adjointness and unitary Lorentzian evolution;
- reflection-positive Euclidean reconstruction at the accepted scope;
- gauge/BRST consistency;
- anomaly triviality;
- spectral theorem for finite self-adjoint operators;
- associativity/Fubini composition of finite shell integration;
- Schur-complement quotient identity;
- covariance and basis invariance;
- causal/refoliation consistency;
- finite record distinguishability;
- no target-loading.
73. Same-ruler matrix
| Object | Native ruler | Transport required | Allowed claim |
|---|---|---|---|
| 13D finite spectrum | covariant internal/parent operator | compactification + observer projection | shell/matching input |
| Euclidean heat trace | proper time, Euclidean domain | reflection-positive bridge | one-loop/matching object |
| projected \(a_6\) | local asymptotic coefficient, chosen convention | full parity/boundary/ghost projection + scale | matching coefficient only |
| Lorentzian unitary | causal event/update structure | observer reduction | physical evolution |
| 4D threshold | renormalization scheme and scale | frozen RG/matching map | observer-facing prediction |
| continuum fixed point | infinite-dimensional theory space | none supplied | OPEN research claim |
74. Negative controls
The closure requires all of the following controls:
- deleting the Co-Actor makes quotient/boundary ownership ambiguous;
- deleting fixed-set blocks changes the exact finite trace when localized Actors are present;
- integrating shells in different orders must give the same low operator;
- a basis change must preserve spectra, determinants, and projected traces;
- parity projectors must be complete and orthogonal;
- the shell projector must preserve the physical/BRST domain;
- the Euclidean operator must satisfy the declared self-adjointness/ellipticity conditions;
- no high-shell physical pole may be hidden by a local truncation;
- refinement changes beyond \(\Delta_0\) must be reported, not dissolved;
- the 4D infrared outputs must remain within their frozen contracts;
- no missing \(a_6\) value may be back-filled from a desired threshold;
- no finite construction may be called a continuum fixed point.
Part XI — Evidence and deterministic certificate
75. What has been proved exactly in this dossier
The following are theorem-level at the finite algebraic scope:
- finite self-adjoint spectrum implies an entire finite heat trace;
- parity projectors give an exact complete split when the domain is invariant;
- Schur-complement shell integration composes exactly;
- determinant and characteristic polynomial are basis invariant;
- a closed symbolic \(a_6\) is not required for finite trace existence;
- quotient and interval descriptions require an explicit equivalence/no-double-counting certificate once localized Actors or distinct domains are present.
76. What is construction-anchored
The following are explicit project construction hypotheses, not established theorems of nature:
- bounded operational capacity of every bounded causal diamond;
- the finite relational state set \(\mathcal Q_*(D)\);
- the canonical quantization map from parent action to local Hermitian move generators;
- completeness of the accepted Actor inventory;
- the new FSW/PBDC pair as the correct ultraviolet matching architecture;
- empirical adequacy of the finite theory near its highest admitted energies.
77. Deterministic algebraic witness
The companion script uqf9_finite_spectral_certificate.py constructs an exact rational positive operator and verifies:
SHELL_COMPOSITION_EXACT=PASS
PARITY_PROJECTOR_COMPLETENESS=PASS
PROJECTED_HEAT_TRACE_IDENTITY=PASS
BASIS_COVARIANCE=PASS
POSITIVE_OPERATOR=PASS
FINITE_DETERMINANT=PASS
Its exact direct and sequential low-shell operators are identical:
\[ L_{\rm low}^{\rm direct} = L_{\rm low}^{\rm sequential} = \begin{pmatrix} 109/11 & 32/33\\ 32/33 & 904/165 \end{pmatrix}. \]
The full witness determinant is
\[ \det L=132040>0. \]
The JSON certificate SHA-256 is
fcc2a8224cc047bbd244d63d95c0921f162b6e50aaef241826d31ce026d21037
The script is an algebraic witness, not a 13D physics simulation. It proves the finite identities used by the construction and nothing stronger.
78. Heat-kernel literature cross-check
The external literature supports the following conservative statements:
- general bulk \(a_6\) formulas for Laplace-type operators exist;
- boundary problems are substantially more complicated;
- generic mixed boundary heat-kernel work classically reaches \(a_5\), and the full order-six mixed problem is not supplied by the standard formulas used in the project;
- equivariant/orbifold heat traces admit fixed-stratum expansions, but only the first terms are explicit in broad generality;
- a fixed-point expansion and a boundary-value expansion are not interchangeable without specifying the physical domain;
- functional RG fixed points found in finite truncations are not, by themselves, truncation-independent completion certificates.
The source register is in Appendix R.
79. Internal consistency checks
The new pair passes the following internal checks by construction:
- zero new metric dimensions;
- zero new continuously fitted ultraviolet coefficients;
- compatibility with the current 13D Stage;
- compatibility with the relational local-unitary pair;
- compatibility with reflection positivity and anomaly triviality;
- explicit separation of Lorentzian evolution from Euclidean matching;
- explicit separation of finite operational closure from continuum UV completion;
- complete boundary/fixed-set ownership;
- preservation of the open \(a_6\) and fixed-point research programs.
80. Hostile-review questions
A reviewer should attack the following first:
- Is bounded operational capacity actually established for the complete interacting Actor inventory, not just a toy cell?
- Does the physical operator include all fixed-set and edge/corner degrees of freedom?
- Is the spectral projector compatible with the constraints and BRST complex?
- Is the quotient/interval crosswalk proved sector by sector?
- Does the finite measure make interacting shell integration well defined?
- Are near-cutoff predictions stable under admissible refinements?
- Is the Euclidean/Lorentzian bridge valid with the accepted boundary conditions?
- Does any claimed local derivative expansion have a controlled error?
- Has a cutoff-dependent output been presented as universal?
- Has any open \(a_6\) term been silently replaced by a fitted counterterm?
A failure on a load-bearing item must be recorded under the reopen contract.
Part XII — Open research objects and exact completion contracts
81. Hole 1 — complete projected \(a_6\)
81.1 Exact object
Compute the full physical coefficient for the accepted graviton/ghost/matter/gauge/fixed-set complex under one convention and one domain:
\[ A_{6,\rm phys}^{\rm proj} = \operatorname{STr}_{\rm phys} A_6(\mathcal L_D,B_D,\gamma,P_{\rm phys}). \]
81.2 Why hard
- cubic curvature and endomorphism basis is large;
- derivative invariants survive because \(K_6\) is homogeneous but not locally symmetric;
- graviton and ghost endomorphism conventions must be reconciled;
- mixed boundary/fixed-set terms at order six are not available as one ready-made general formula;
- quotient and interval descriptions can be double counted;
- zero modes and BRST domains must be treated consistently;
- dimensionful normalization is scheme/scale sensitive.
81.3 Closure criterion
- freeze the complete operator/domain convention;
- derive every bulk and localized invariant structurally;
- compute by at least two genuinely independent routes;
- reconcile to a predeclared tolerance;
- pass sphere/product/orbifold controls;
- emit the total with a complete dependency ledger;
- do not promote it to UV completion.
81.4 Refuting result
If two valid routes remain inconsistent beyond tolerance after all conventions are aligned, the coefficient stays OPEN and the mismatch becomes a live finite falsifier of the calculation architecture.
82. Hole 2 — quotient/interval equivalence theorem
82.1 Exact object
Prove, for each accepted sector, whether the physical interval operator with its fixed-set Actors is unitarily equivalent to a parity sector of the parent-circle operator plus an explicitly identified localized perturbation.
82.2 Closure criterion
Produce a domain-level unitary/intertwiner and show equality of spectra, measures, zero-mode treatment, and projected traces. Any residual localized term must be isolated.
82.3 Leverage
This theorem decides which order-six terms are genuine boundary invariants and which are equivariant fixed-stratum terms, eliminating the largest current object-identity ambiguity.
83. Hole 3 — conventional UV completion
83.1 Exact object
One of:
- a truncation-independent non-Gaussian fixed point with a finite-dimensional critical surface and controlled physical observables;
- a controlled microscopic finite replacement with demonstrated unitarity, causality, anomaly consistency, and infrared recovery;
- a rigorous no-go that forces a different theory branch.
83.2 Status
OPEN across the field. Not closed by this dossier.
83.3 Mis-closures forbidden
- a fixed point in one truncation;
- a finite positive \(a_6\);
- a cost floor;
- a finite matrix regulator without refinement tests;
- an analogy to strings, lattices, or holography without a constructed map.
84. Hole 4 — interacting finite-measure construction
The exact quadratic shell map is proved. The full interacting finite path measure must be constructed for the complete constrained Actor inventory. Shape v2.9 supplies a finite local-unitary quantization map, but a reviewer may demand the explicit measure and constraint-preserving shell integration.
Disposition: strengthening debt. It becomes gate-blocking only if the current finite unitary construction cannot define the required exact partial trace/integration.
85. Hole 5 — refinement stability near \(M_*\)
Compute selected near-cutoff records at increasing admissible capacities and verify the frozen record-equivalence bound. This is the most important empirical/numerical strengthening because it tests whether the finite theory is stable rather than merely finite.
86. Hole 6 — nonperturbative physical-pole census
Track the complete finite physical resolvent under shell flow and classify every pole. A negative-residue physical pole, tachyon, or anomaly is a direct reopen trigger.
87. Hole 7 — full observer matching covariance
Build the covariance-aware 13D-to-4D matching pipeline for all high-energy outputs that will be compared with experiment. No global significance is to be invented from marginal summaries.
88. Non-gating research ledger
| Item | Current status | Why non-gating for scoped endpoint | Reopen condition |
|---|---|---|---|
| Complete projected \(a_6\) | OPEN | exact finite trace/flow exists without symbolic extraction | future result contradicts current finite matching or reveals omitted domain content |
| Conventional UV fixed point | OPEN | stronger predicate than finite operational completeness | finite construction shown inconsistent without it |
| Closed local derivative basis | OPEN by order | exact effective action need not be local | claimed local prediction lacks controlled error |
| Full interacting measure | construction strengthening | inherited finite unitary Dynamics supplies current route | no consistent partial trace/integration can be defined |
| Refinement convergence | finite computation debt | closure is construction-anchored, not empirically confirmed at cutoff | finite record instability |
| Unique UV architecture | not claimed | universal uniqueness is a unicorn | natural lower-cost lawful competitor invalidates minimality claim only |
Part XIII — Honest ceiling and final terminal
89. Explicit non-claims
This dossier does not claim:
- quantum gravity is solved;
- the continuum limit exists or is unique;
- asymptotic safety has been proved;
- the complete projected \(a_6\) is known;
- the bulk-only coefficient is the physical total;
- an equivariant fixed-point coefficient automatically equals a mixed boundary coefficient;
- finite dimension alone guarantees locality, good infrared physics, or empirical correctness;
- the finite Actor pair is uniquely forced by logic;
- the cutoff scale is predicted from nothing;
- every near-cutoff observable has been computed;
- one-loop consistency proves nonperturbative consistency;
- record equivalence proves ontological identity.
90. Overclaim checklist — forbidden sentences
The following sentences must not appear in public summaries:
“UQF-9 proves a UV fixed point.”
“The cost floor solves quantum gravity.”
“The full projected a6 has been computed.”
“The boundary term is known.”
“The orbifold has no boundary contribution.”
“The finite theory is regulator independent.”
“One positive heat-kernel coefficient proves unitarity.”
“The theory is complete to infinite energy.”
91. What the construction actually earns
It earns the following bounded statement:
Given the accepted finite relational state carrier, physical-domain and positivity machinery, the current 13-dimensional Stage, and the new finite spectral Wilsonian Flow / projected boundary–defect completeness pair, the theory defines an exact finite high-energy operator, exact finite projected traces, and exact compositional shell maps over every admitted bounded operational domain. The complete projected \(a_6\) and conventional microscopic UV completion remain open and are not needed for this finite existence claim.
92. Final subleg ledger
COMPLETE 13D STAGE:
PRESERVED / EXACTLY 13 DIMENSIONS.
FINITE PHYSICAL CARRIER:
CONSTRUCTION-ANCHORED / INHERITED FROM SHAPE v2.9.
LORENTZIAN LOCAL-UNITARY DYNAMICS:
CONSTRUCTION-ANCHORED / INHERITED.
FINITE SPECTRAL WILSONIAN FLOW ACTOR:
REALIZED IN THIS DOSSIER.
PROJECTED BOUNDARY–DEFECT COMPLETENESS CO-ACTOR:
REALIZED IN THIS DOSSIER.
FINITE HEAT-TRACE EXISTENCE:
DERIVED.
PARITY-PROJECTED TRACE COMPLETENESS:
DERIVED-GIVEN DOMAIN COMMUTATION.
EXACT QUADRATIC SHELL COMPOSITION:
DERIVED.
INTERACTING SHELL COMPOSITION:
DERIVED-GIVEN FINITE ADMISSIBLE MEASURE;
EXPLICIT MEASURE IS A STRENGTHENING TARGET.
SAME-RULER 13D→4D INTERFACE:
REQUIRED / INHERITED / REOPENABLE.
COMPLETE PROJECTED a6:
OPEN / NON-GATING ANALYTIC COMPRESSION AND MATCHING DEBT.
CONVENTIONAL UV COMPLETION:
OPEN / NOT CLAIMED.
OPEN GATE-BLOCKING DEBTS:
NONE, CONDITIONAL ON ACCEPTANCE OF THE PAIR AND INHERITED
FINITE-DYNAMICS CERTIFICATES.
93. Final physical endpoint
\[ \boxed{ \text{CLOSED-SCOPED / REALIZED-GIVEN-}\Xi_{\rm FSW}\dashv\Xi_{\rm PBDC}^{\vee} \text{ / OPERATIONAL HIGH-ENERGY COMPLETENESS} } \]
94. Final project endpoint
\[ \boxed{ \text{CLOSED / RESOLVED +0} } \]
95. Closure strength
B — EMPIRICALLY ANCHORED RECONSTRUCTION / EXPLICIT FINITE CONSTRUCTION.
The strength is not A because the pair is not a blind empirical discovery or a theorem forcing nature to use this finite architecture. It is a lawful, falsifiable, parameter-economical construction anchored to the accepted project roots and low-energy records.
Part XIV — Reopen contract and no-refit rule
96. Reopen conditions
UQF-9 reopens on any named trigger:
- bounded operational capacity fails for an admitted bounded causal diamond;
- the physical generator is not self-adjoint or Lorentzian evolution is not unitary on the physical domain;
- the Euclidean matching operator fails the required positivity or strong-ellipticity contract with no alternative finite construction;
- shell integration fails exact composition;
- the spectral projector fails to preserve the constraints or BRST cohomology;
- a bulk, fixed-set, boundary, ghost, edge, or localized source sector is shown missing or double counted;
- the quotient/interval crosswalk is inconsistent with the accepted Shape;
- a finite negative-norm physical state, tachyon, anomaly, or causality violation appears;
- a near-cutoff admitted record changes beyond the frozen Granularity tolerance under legal refinement;
- the finite high-energy flow fails to recover the accepted low-energy graviton, gauge, matter, chirality, or anomaly sector;
- a structural shell or boundary coefficient is shown to have been adjusted after comparison;
- the complete projected \(a_6\), once computed, reveals that the current finite matching omitted a physical contribution or changes a released prediction beyond its frozen uncertainty;
- the companion certificate is not reproducible;
- an upstream Shape/Scale/Granularity/Dynamics change alters the physical operator or domain.
The following do not reopen the scoped endpoint by themselves:
- continued absence of a conventional continuum UV fixed point;
- continued absence of a closed symbolic projected \(a_6\);
- desire for a more elegant microscopic embedding;
- existence of a record-equivalent regulator;
- inability to derive \(M_{\rm Pl}\) or \(\hbar\) from nothing;
- a new optional computation that leaves all finite admitted records unchanged.
97. Frozen no-refit rule
After ratification, the following edits create a new theory branch:
- changing the physical state inventory to rescue a failed trace;
- changing parity or boundary domains after seeing \(a_6\);
- adding free fixed-set counterterms to hit a desired threshold;
- changing the shell projector to exclude a bad pole;
- changing the record tolerance after observing refinement instability;
- changing the 13D-to-4D transport coefficient after comparison;
- relabeling an equivariant term as a boundary term, or vice versa, to obtain a preferred sign;
- using a different ghost endomorphism without versioning the operator;
- declaring a finite truncation fixed point to be truncation-independent.
98. Preservation rule
Every failed earlier branch remains in the archive:
- cost-floor-only closure;
- blanket certified-irreducible typing;
- boundary-only and quotient-only treatments;
- Route-A/Route-B mismatches;
- provisional bulk values;
- positivity predicates without a theorem;
- any retired curvature normalization.
The archive is evidence of the search, not current authority.
Part XV — Shape propagation contract
99. Proposed Shape v2.11 amendment
Upon owner ratification, add the following controlling block to Shape:
SHAPE v2.11 — UQF-9 FINITE SPECTRAL WILSONIAN SYNCHRONIZATION
Shape v2.11 preserves the complete thirteen-dimensional Stage, every
previous Actor–Co-Actor pair, the relational local-unitary Dynamics,
reflection positivity, anomaly triviality, graviton–moduli rigidity,
and all retained negative controls.
It adds the zero-metric-dimensional pair
Xi_UQF9^pair = Xi_FSW dashv Xi_PBDC^vee,
where Xi_FSW is the Finite Spectral Wilsonian Flow Actor and
Xi_PBDC^vee is the Projected Boundary–Defect Completeness and
Refinement Co-Actor.
For every bounded operational causal diamond D, the pair acts on the
finite physical carrier H_D^phys and the complete physical operator L_D.
Nested covariant spectral projectors define exact finite shell maps.
The Co-Actor owns the complete bulk/fixed-set/boundary/ghost/edge source
inventory, quotient–interval crosswalk, no-double-counting rule, BRST
domain preservation, refinement adjudication, and 13D-to-4D observer map.
The pair adds no metric dimension, propagating field, particle species,
continuous ultraviolet coefficient, or measured Scale anchor.
The complete projected a6 and conventional continuum UV completion remain
OPEN and are explicitly not claimed. The pair closes only operational
high-energy completeness of the finite spectral theory.
UQF-9 is synchronized as:
CLOSED-SCOPED /
REALIZED-GIVEN-FINITE-SPECTRAL-WILSONIAN-FLOW-ACTOR–
PROJECTED-BOUNDARY–DEFECT-COMPLETENESS-CO-ACTOR /
OPERATIONAL HIGH-ENERGY COMPLETENESS /
RESOLVED +0.
Any change to the state-capacity rule, physical operator, boundary/fixed-set
inventory, BRST complex, spectral projector, shell measure, refinement
tolerance, or observer map triggers a fresh UQF-9 audit.
100. Cross-gate propagation
| Gate/object | Propagation |
|---|---|
| UQF-3 | receives shell/domain preservation requirement for positive reconstruction |
| UQF-4 | receives projected-shell anomaly/BRST compatibility check |
| UQF-5A/5B | preserves infrared graviton and fixed-set rigidity; no \(a_6\) predicate revived |
| UQF-5C | finite operational pair remains upstream; conventional UV completion stays open |
| UQF-10 | receives exact finite shell matching, not a claim of all-scale compactification stability |
| UQF-14 | receives finite-cutoff causality/unitarity interface; above-domain continuum claims remain open |
| Gap-01 | retains complete projected \(a_6\) as a finite research object |
| Gap-13 | may consume exact finite projected determinants; cannot assume the open coefficient |
| SG-7 | may consume finite thresholds with explicit open coefficient dependence |
| Shape | adds pair; Stage unchanged |
| Scale | no new anchor; shell rulers typed |
| Granularity | record-equivalence and refinement tests made operational |
| Dynamics | exact finite shell flow and composition added |
101. No silent status propagation
The UQF-9 scoped closure does not automatically close any downstream gate whose exact observable depends on the missing projected \(a_6\) or conventional UV completion. Each downstream gate must state whether it consumes:
- the exact finite trace;
- a local derivative expansion;
- the open \(a_6\);
- or a continuum completion.
Part XVI — Canonical public blocks
102. Canonical project status block
UQF-9 — UV / SEELEY–DEWITT
STATUS:
CLOSED-SCOPED /
REALIZED-GIVEN-FINITE-SPECTRAL-WILSONIAN-FLOW-ACTOR
AND PROJECTED-BOUNDARY–DEFECT-COMPLETENESS-CO-ACTOR /
OPERATIONAL HIGH-ENERGY COMPLETENESS /
RESOLVED +0.
STRENGTH:
B — EMPIRICALLY ANCHORED RECONSTRUCTION /
EXPLICIT FINITE CONSTRUCTION.
CORE RESULT:
The complete constrained finite physical operator admits exact finite
projected heat traces and exact compositional Wilsonian shell maps.
A dedicated Co-Actor prevents bulk, fixed-set, boundary, ghost, and
edge sectors from being omitted or double counted.
OPEN RESEARCH:
The complete projected a6 remains uncomputed as a controlling total.
Conventional microscopic/continuum UV completion remains open.
OPEN GATE BLOCKERS:
NONE, GIVEN RATIFICATION OF THE ACTOR–CO-ACTOR PAIR.
103. Website summary
Ultraviolet behavior — closed scoped, stronger completion still open. The theory is not defined by an infinitely divisible continuum. On every bounded operational region it uses a finite constrained state carrier, a self-adjoint local-unitary Dynamics, and an exact finite spectral Wilsonian flow. A new boundary–defect completeness Co-Actor guarantees that bulk modes, orbifold fixed sets, interval domains, ghosts, and edge data enter the flow exactly once. This is enough to make the finite theory well defined at its highest admitted energies. It is not a proof of a continuum UV fixed point, and the complete projected sixth Seeley–DeWitt coefficient remains an open matching calculation.
104. Reviewer-first warning
A reviewer should not approve UQF-9 merely because “finite matrices do not diverge.” The controlling questions are:
- Is the finite physical carrier justified for the complete interacting theory?
- Is the operator domain complete and self-adjoint?
- Are all fixed-set and boundary Actors included exactly once?
- Do spectral shell maps preserve constraints and compose?
- Are near-cutoff outputs stable under legal refinement?
- Does the construction recover the observed infrared theory?
- Are \(a_6\) and continuum UV completion still labeled open?
- Has any coefficient been adjusted after comparison?
105. Deterministic final certificate
UQF9_DOSSIER_VERSION=12.0
UQF9_STATUS=FINAL_RATIFICATION_CANDIDATE
UQF9_PHYSICAL_ENDPOINT=CLOSED_SCOPED_OPERATIONAL_HIGH_ENERGY_COMPLETENESS
UQF9_PROJECT_ENDPOINT=CLOSED_RESOLVED_PLUS_0
UQF9_CLOSURE_STRENGTH=B_EMPIRICALLY_ANCHORED_EXPLICIT_FINITE_CONSTRUCTION
STAGE_DIMENSION=13
NEW_METRIC_DIMENSIONS=0
NEW_PROPAGATING_SPECIES=0
NEW_CONTINUOUS_UV_FIT_PARAMETERS=0
FINITE_SPECTRAL_WILSONIAN_FLOW_ACTOR=REALIZED
PROJECTED_BOUNDARY_DEFECT_COMPLETENESS_COACTOR=REALIZED
FINITE_HEAT_TRACE_EXISTENCE=DERIVED
PARITY_PROJECTOR_COMPLETENESS=DERIVED_GIVEN_DOMAIN
SHELL_COMPOSITION_EXACT=PASS
BASIS_COVARIANCE=PASS
FINITE_DETERMINANT=PASS
COMPLETE_PROJECTED_A6=OPEN_NON_GATING
CONVENTIONAL_UV_COMPLETION=OPEN_NOT_CLAIMED
OPEN_GATE_BLOCKERS=0_CONDITIONAL_ON_RATIFICATION
CERTIFICATE_JSON_SHA256=fcc2a8224cc047bbd244d63d95c0921f162b6e50aaef241826d31ce026d21037
Appendix A — Formal definitions
A.1 Operational causal diamond
A bounded operational causal diamond \(D\) is a finite record-supported causal region with complete boundary records and a finite event-poset representation at the accepted Granularity. It is not an arbitrary coordinate box.
A.2 Physical carrier
\[ \mathcal H_D^{\rm phys} =\Pi_{\rm constraints}\mathcal H_D \]
with gauge/diffeomorphism copies, anomaly-inconsistent states, and record-invisible subdivisions removed according to the accepted Rulebook.
A.3 Complete operator
The complete operator is the operator actually used by the physical trace after gauge fixing, ghost subtraction, parity selection, fixed-set terms, and domain restrictions. A bulk Lichnerowicz operator alone is not the complete object.
A.4 Spectral shell
A spectral shell is a difference of nested projectors of the complete covariant operator. It is not a coordinate momentum bin unless equivalence is certified.
A.5 Exact finite effective action
The exact finite effective action is the logarithm of the finite partial integral over the eliminated shell. It may be nonlocal and need not be expressible in a finite local basis.
A.6 Projected \(a_6\)
The projected \(a_6\) is the order-six local asymptotic coefficient of the complete physical supertrace under a frozen operator, domain, boundary, parity, and scheme convention. It is not a generic symbol for “UV behavior.”
A.7 Operational high-energy completeness
A theory is operationally high-energy complete at scope \(\mathcal S\) when every admitted bounded physical state, transition, shell map, and observer record in \(\mathcal S\) is defined, compositional, constraint-preserving, and falsifiable, with no reliance on an unadmitted infinite refinement.
Appendix B — Proof sketches and extensions
B.1 Entire finite trace
For \(N<\infty\),
\[ K(t)=\sum_{j=1}^N e^{-t\lambda_j} \]
is entire by closure of finite sums under holomorphicity. No asymptotic series is required.
B.2 Gaussian determinant identity
For positive block matrix \(L\), block Gaussian elimination gives
\[ \begin{pmatrix}I&-L_{<>}L_{>>}^{-1}\\0&I\end{pmatrix} L \begin{pmatrix}I&0\\-L_{>>}^{-1}L_{><}&I\end{pmatrix} = \begin{pmatrix}L_{\rm eff}&0\\0&L_{>>}\end{pmatrix}. \]
Taking determinants proves the factorization.
B.3 Quotient property
Repeated block elimination is associative because multiplication of the corresponding unit-determinant elimination matrices is associative. The same result follows from uniqueness of the Gaussian marginal.
B.4 Constraint-preserving projector
If \(C_a\) are constraints and \(P_\Lambda=f(\mathcal L)\), a sufficient condition is
\[ [C_a,\mathcal L]=0 \quad\Longrightarrow\quad [C_a,P_\Lambda]=0. \]
When this fails, the Co-Actor must use a projected/homological shell map rather than deleting modes outside the constraint complex.
B.5 BRST complex
Let \((\mathcal C,s)\) be the finite BRST complex. A shell projection is admissible if it is a chain map:
\[ sP_\Lambda=P_\Lambda s. \]
Then it descends to cohomology. More general homotopy-equivalent projections require an explicit chain homotopy certificate.
B.6 Nonlocal exactness
The Schur complement is generally energy-dependent and nonlocal. Truncating it to local operators is an approximation, not the definition. This prevents the missing \(a_6\) from being mistaken for missing exact Dynamics.
B.7 Finite versus continuum RG
The finite shell family is a directed system over nested finite projectors. A continuum fixed point asks for behavior under an unbounded limit in theory space. The former can exist without the latter.
Appendix C — Full negative-control matrix
| ID | Perturbation | Expected result | Gate consequence |
|---|---|---|---|
| NC-01 | Remove fixed-set Actors from \(\mathcal L_D\) | projected trace changes if localized sources couple | FAIL completeness |
| NC-02 | Count both quotient defect and equivalent boundary descent | doubled localized term | FAIL no-double-counting |
| NC-03 | Use coordinate cutoff not commuting with constraints | gauge-dependent shell output | FAIL invariance |
| NC-04 | Integrate \(M,H\) in different orders | outputs must agree | disagreement reopens |
| NC-05 | Flip ghost sign/multiplicity | physical determinant changes | new theory branch; fail if unversioned |
| NC-06 | Change parity after comparison | target-loading | automatic invalidation |
| NC-07 | Hide a high-shell pole in local expansion | exact resolvent exposes pole | fail truncation |
| NC-08 | Increase capacity | observer records must remain within frozen tolerance | instability reopens |
| NC-09 | Remove reflection-positive bridge | Euclidean determinant no longer certifies physical positivity | fail physical interpretation |
| NC-10 | Call finite shell index “time” | causal category error | reject statement |
| NC-11 | Insert desired \(a_6\) as counterterm | target-loaded matching | reject branch |
| NC-12 | Claim one truncation fixed point is universal | scope promotion | reject claim |
| NC-13 | Change boundary operator so strong ellipticity fails | heat kernel/path integral uncontrolled | fail branch |
| NC-14 | Add new Actor charged under anomaly domain | rerun UQF-4 | status suspended |
| NC-15 | Change interval radius or fixed sets | spectrum/domain changes | fresh UQF-9 audit |
Appendix D — Same-ruler worksheet
THEORY DIMENSION:
13.
OBSERVER DIMENSION:
4 for released particle/gravity records.
STAGE:
M3,1 × K6 × S2 × I_chi.
RULEBOOK:
constraints, parity, boundary domains, BRST, spectral shell,
finite capacity, no-refit.
ACTORS:
complete current inventory plus Xi_FSW and Xi_PBDC^vee.
DYNAMICS:
relational local-unitary Lorentzian evolution plus exact finite
Euclidean spectral shell integration.
BOUNDARY CONDITIONS:
sector-specific and frozen; quotient/interval crosswalk required.
FRAME:
covariant parent operator; no coordinate-frequency claim.
NORMALIZATION:
frozen metric, bundle trace, ghost convention, and physical projector.
RENORMALIZATION SCHEME/SCALE:
stated per released coefficient or threshold.
PROJECTION:
physical × parity × spectral × observer.
TRUNCATION:
exact finite shell or controlled local derivative expansion.
REGULATOR:
structural spectral projector; refinement stability required.
OBSERVABLE:
named 4D record with uncertainty/covariance when compared.
Appendix E — Parameter and cost ledger
| Item | Type | Continuous cost | Metric dimension | Measured anchor? |
|---|---|---|---|---|
| \(\Xi_{\rm FSW}\) | zero-dimensional Dynamics Actor | 0 | 0 | No |
| \(\Xi_{\rm PBDC}^{\vee}\) | zero-dimensional completeness Co-Actor | 0 | 0 | No |
| spectral projectors | derived from complete operator | 0 | 0 | No |
| shell maps | derived finite integration rules | 0 | 0 | No |
| record tolerance \(\Delta_0\) | inherited Granularity root | inherited | 0 | project root / measured residue class |
| \(\hbar\) | Scale/action ruler | 1 inherited | 0 | Yes |
| \(M_{\rm Pl}\) | gravity ruler | 1 inherited | 0 | Yes |
| complete projected \(a_6\) | output, not input | 0 | 0 | No |
| UV fixed point | open theorem/output | 0 | 0 | No |
No coefficient is added to force a preferred sign or threshold.
Appendix F — Dependency graph
Shape v2.9 finite relational carrier + unitary Dynamics
├── UQF-3 positive Euclidean/Hilbert bridge
├── UQF-4 anomaly/BRST global domain
├── UQF-5A/B infrared graviton and fixed-set rigidity
└── UQF-9 new pair
├── Xi_FSW: exact finite shell flow
└── Xi_PBDC^vee: domain/source/projection/refinement completeness
├── exact finite projected trace
├── exact Schur shell composition
├── 13D→4D matching interface
├── open projected a6 program
└── open conventional UV-completion program
Appendix G — Ownership graph
| Object | Owner |
|---|---|
| Stage topology and fixed sets | Shape |
| physical state capacity | Shape + Granularity + Dynamics |
| compactification rulers | Scale |
| local-unitary evolution | \(\Xi_{\rm RLU}\) |
| refoliation/gluing constraints | \(\Xi_{\rm CRC}^{\vee}\) |
| finite spectral flow | \(\Xi_{\rm FSW}\) |
| boundary/defect completeness | \(\Xi_{\rm PBDC}^{\vee}\) |
| heat-kernel coefficient calculation | UQF-9 / Gap-01 specialist program |
| continuum fixed point | external/open UV-completion program |
| observer comparisons | BB-RST-style same-ruler interface + owning gate |
| finite record equivalence | Granularity + Co-Actor |
Appendix H — Specialist work plan for projected \(a_6\)
H.1 Freeze packet
Freeze:
- full metric and curvature convention;
- complete graviton/ghost/matter operator list;
- endomorphism signs;
- bundle traces;
- interval boundary projectors and \(S\) data;
- fixed-set localized Actors;
- orbifold group action;
- zero-mode removal;
- BRST complex;
- renormalization scheme and scale;
- target-blind tolerance.
H.2 Route 1 — invariant contraction
Use the general bulk \(a_6\) invariant basis plus the required boundary/fixed-set basis. Derive all coefficients and contractions symbolically. Validate on constant-curvature spheres, products, and known interval cases.
H.3 Route 2 — spectral/eigenvalue reconstruction
Enumerate the exact representation content and compute the finite heat trace at increasing spectral capacity. Fit/extract the scale-free order-six coefficient with pre-registered asymptotic windows and error control. This route must be genuinely independent of the invariant contraction code.
H.4 Route 3 — quotient/interval crosswalk
Compute both the parent-cover equivariant trace and interval boundary-value trace for sectors where equivalence is claimed. The difference isolates localized physical source terms.
H.5 Failure policy
No total is emitted if:
- routes disagree beyond tolerance;
- endomorphism convention is ambiguous;
- strong ellipticity is unproved;
- ghost domains are incompatible;
- quotient/boundary double counting remains;
- dimensionful normalization is untyped.
Appendix I — Specialist work plan for continuum UV completion
I.1 Minimum strong-completion target
A full completion would need:
- a complete theory-space/operator basis or a controlled alternative;
- flow equations respecting gauge, BRST, boundary, and fixed-set structures;
- fixed-point or microscopic construction existence;
- stable critical exponents/relevant directions under enlargement;
- physical-pole and positivity control;
- compactification and infrared recovery;
- regulator and truncation robustness;
- empirical consequences or exclusions.
I.2 Finite theory as boundary data
The finite UQF-9 construction provides a well-defined object against which any proposed continuum/microscopic completion must match. It is therefore useful even though it is not itself that stronger completion.
I.3 Refutation contract
A proposed completion is rejected if it introduces:
- negative-residue physical poles;
- tachyons inconsistent with the frozen vacuum;
- anomaly failure;
- loss of chiral or gauge recovery;
- causal/refoliation inconsistency;
- uncontrolled dependence on arbitrary truncation;
- finite record disagreement without a new theory version.
Appendix J — FAQ for reviewers
J.1 Is this just “put in a cutoff”?
No. A cutoff alone does not define the physical state inventory, exact shell map, domain preservation, fixed-set completeness, or refinement test. Those are the added content.
J.2 Is the pair a UV completion?
It is an operational high-energy completion of the finite declared theory, not a conventional continuum/microscopic UV completion.
J.3 Why close the gate while \(a_6\) is open?
Because the exact finite trace and flow exist independently of symbolic asymptotic compression. The coefficient remains open for matching and diagnostics.
J.4 Could \(a_6\) later refute the construction?
Yes. If it reveals omitted physical domain content or changes a frozen prediction beyond uncertainty, the gate reopens.
J.5 Is the finite Hilbert space proved by established physics?
No. It is an explicit project construction hypothesis rooted in Granularity and Shape, constrained by empirical recovery and live falsifiers.
J.6 Does finite dimension automatically mean safe interactions?
No. It removes some divergence mechanisms but does not guarantee correct poles, locality, causal behavior, or empirical adequacy. The negative controls remain mandatory.
J.7 Why a Co-Actor rather than a new boundary field?
The missing object is a completeness and gluing rule, not a propagating degree of freedom. Adding a field would introduce unjustified dynamics and possibly new anomalies.
J.8 What is the strongest honest one-line verdict?
The finite spectral theory is complete at its own operational high-energy boundary; the analytic projected \(a_6\) and conventional continuum UV completion are still open.
Appendix K — Machine-readable closure capsule
{
"gate": "UQF-9",
"version": "12.0-final-ratification-candidate",
"physical_endpoint": "CLOSED-SCOPED / REALIZED-GIVEN-XI_FSW–XI_PBDC_DUAL / OPERATIONAL HIGH-ENERGY COMPLETENESS",
"project_endpoint": "CLOSED / RESOLVED +0",
"closure_strength": "B",
"stage_dimension": 13,
"new_metric_dimensions": 0,
"new_continuous_uv_fit_parameters": 0,
"actor": "Finite Spectral Wilsonian Flow Actor",
"coactor": "Projected Boundary–Defect Completeness and Refinement Co-Actor",
"complete_projected_a6": "OPEN_NON_GATING",
"continuum_uv_completion": "OPEN_NOT_CLAIMED",
"open_gate_blockers": 0,
"conditional_on_owner_ratification": true,
"certificate_sha256": "fcc2a8224cc047bbd244d63d95c0921f162b6e50aaef241826d31ce026d21037"
}Appendix L — Completeness ledger
| Required dossier element | Present? | Location |
|---|---|---|
| exact gate contract | Yes | Part I |
| authority and supersession | Yes | Part I |
| child-level explanation | Yes | Part II |
| thought experiments | Yes | Parts II, V |
| assumption sweep | Yes | Part III |
| wrong-object audit | Yes | Part III |
| complete Stage/Rulebook/Actors/Dynamics | Yes | Part IV |
| Scale and Granularity | Yes | Parts IV, IX |
| forced truth table | Yes | Part V |
| complete branch grammar | Yes | Part V |
| architecture ranking | Yes | Part V |
| Actor–Co-Actor definition | Yes | Parts IV, VI, VII |
| exact equations and theorems | Yes | Part VI |
| boundary/defect classification | Yes | Part VII |
| same-ruler audit | Yes | Parts IX, X, Appendix D |
| empirical anchor layer | Yes | Part X |
| law/constraint layer | Yes | Part X |
| deterministic certificate | Yes | Part XI |
| negative controls | Yes | Parts X, XIV, Appendix C |
| open gaps with completion contracts | Yes | Part XII |
| honest scope/non-claims | Yes | Part XIII |
| separate physical/project endpoints | Yes | Parts I, XIII |
| reopen/no-refit rules | Yes | Part XIV |
| Shape propagation | Yes | Part XV |
| public status blocks | Yes | Part XVI |
| dependency/ownership graphs | Yes | Appendices F/G |
| source register | Yes | Appendix R |
| archive preservation | Yes | Archive firewall below |
Appendix M — Adversarial adjudication
M.1 Strongest objection: “You moved the goalposts.”
Answer. The dossier does not rename continuum UV completion as solved. It separates two predicates that the older record conflated: finite theory existence and continuum completion. The governing correction already requires the stronger questions to remain open. The exact gate wording asks whether the theory remains meaningful at extreme energy; under the project’s finite ontology, the first owed object is the finite high-energy theory. The stronger continuum question is preserved explicitly.
M.2 Strongest objection: “A finite matrix model can describe anything.”
Answer. Finiteness is not the closure certificate. The certificate also requires complete ownership, constraint preservation, shell composition, observer matching, refinement stability, infrared recovery, and negative controls. A generic finite matrix fails those requirements.
M.3 Strongest objection: “The Co-Actor is an ad hoc bookkeeping device.”
Answer. It is forced by a real object-identity ambiguity in the current Shape: pure quotient and physical interval treatments differ once localized fixed-set Actors and nontrivial domains are admitted. The Co-Actor has explicit failure conditions and adds no fit parameter. It is analogous to accepted source-completeness and mirror-completeness Co-Actors.
M.4 Strongest objection: “Without \(a_6\), threshold predictions are incomplete.”
Answer. Correct for predictions that depend on that coefficient. Those predictions remain open or carry explicit uncertainty/dependency. The gate closes only theory existence and exact finite flow, not every downstream threshold.
M.5 Strongest objection: “Without a fixed point, high energy is undefined.”
Answer. That statement presupposes a continuum theory with arbitrarily high modes. The accepted project instead posits finite operational capacity and exact finite Dynamics. Whether nature uses that construction is empirical and falsifiable; it is not logically inconsistent merely because it lacks a continuum limit.
M.6 Strongest objection: “This is an EFT, not a theory.”
Answer. The dossier does not rely on a truncated local EFT as the fundamental object. It uses the exact finite effective action over the complete state carrier. The local EFT is a controlled low-energy compression.
M.7 Strongest objection: “Operational equivalence is philosophical.”
Answer. The dossier defines it as a norm-bounded difference over an observer algebra at a frozen tolerance. That is a mathematical test. The choice of admitted observer algebra and tolerance is part of the project construction and remains reviewable.
M.8 Strongest objection: “Finite state capacity may violate Lorentz symmetry.”
Answer. The construction does not use a preferred spatial lattice or coordinate-frequency cutoff as fundamental. The Lorentzian Dynamics is relational and refoliation-compatible; the spectral shell is defined by the complete covariant operator. This is a construction claim, not a theorem, and any observable Lorentz violation reopens the gate.
Appendix N — Future blind-test contract
UQF-9 currently has no unique new numerical prediction. A future prospective test becomes eligible only after the following are frozen:
- one or more near-cutoff observables;
- complete spectral capacity and regulator;
- boundary/fixed-set source inventory;
- 13D-to-4D observer map;
- uncertainties and covariance;
- no-refit parameters;
- release date and eligible future dataset.
A qualifying exclusion follows the project’s general prospective standard or a gate-specific stronger rule frozen before release. No retrospective agreement is labeled blind confirmation.
Appendix O — Version and change log
v12.0 — 2026-07-17
- supersedes blanket certified-irreducible UQF-9 typing;
- accepts the governing correction that projected \(a_6\) and conventional UV completion remain open;
- distinguishes finite theory existence from continuum completion;
- adds \(\Xi_{\rm FSW}\dashv\Xi_{\rm PBDC}^{\vee}\);
- proves exact finite heat-trace and shell-composition results;
- adds quotient/interval decision tree and no-double-counting rule;
- supplies deterministic exact-rational algebraic certificate;
- defines scoped positive physical and project terminals;
- preserves earlier dossier below the archive firewall.
Appendix P — One-page specialist handoff
OBJECT TO BUILD:
Complete finite physical operator L_D on the accepted 13D Shape,
including bulk, interval, two fixed sets, ghosts, constraints,
localized Actors, and observer projection.
NEW PAIR:
Xi_FSW dashv Xi_PBDC^vee.
FIRST PROOF:
Show P_Lambda preserves the physical/BRST domain.
SECOND PROOF:
Show quotient and interval traces are equivalent sector by sector,
with every localized difference isolated.
FIRST COMPUTATION:
Reproduce exact finite shell composition and selected finite heat traces
from two independent codes.
SECOND COMPUTATION:
Complete projected a6 by invariant-contraction and spectral routes.
DO NOT CLAIM:
continuum fixed point, full UV completion, known projected a6,
or regulator independence.
KILL TESTS:
omitted sector, double count, non-self-adjoint domain, shell
noncomposition, anomaly, ghost/tachyon, refinement instability,
or failed infrared recovery.
Appendix Q — Compact public explanation
The theory’s high-energy layer is finite by construction, but “finite” alone was not enough to close UQF-9. The missing piece was a lawful way to integrate spectral shells without losing the orbifold ends, boundary conditions, ghosts, or constraints. The dossier adds a finite Wilsonian-flow Actor and a boundary–defect completeness Co-Actor. Together they make the exact finite trace and shell evolution well defined. The difficult projected \(a_6\) calculation and the larger continuum UV-completion problem remain open; they are no longer confused with whether the finite theory exists.
Appendix R — External source register
The following primary or standard sources define the external mathematical and field-theory background. They do not ratify the project construction.
- P. B. Gilkey, foundational work on local heat invariants and the bulk \(a_6\) coefficient for Laplace-type operators.
- T. P. Branson, P. B. Gilkey, K. Kirsten, and D. V. Vassilevich, “Heat kernel asymptotics with mixed boundary conditions,” Nuclear Physics B 563 (1999) 603–626, arXiv:hep-th/9906144. The paper computes generic mixed-boundary \(a_5\).
- D. V. Vassilevich, “Heat kernel expansion: user’s manual,” Physics Reports 388 (2003) 279–360, arXiv:hep-th/0306138. Standard formulas and boundary-condition review.
- P. B. Gilkey, K. Kirsten, J. H. Park, and D. V. Vassilevich, “Asymptotics of the heat equation with exotic boundary conditions or with time dependent coefficients,” arXiv:math-ph/0105009.
- I. G. Avramidi, “Heat Kernel Asymptotics of Zaremba Boundary Value Problem,” arXiv:math-ph/0110020.
- H. Donnelly, “Spectrum and the fixed point sets of isometries I,” Mathematische Annalen 224 (1976) 161–170.
- E. B. Dryden, C. S. Gordon, S. J. Greenwald, and D. L. Webb, “Asymptotic expansion of the heat kernel for orbifolds,” Michigan Mathematical Journal 56 (2008), arXiv:0805.3148.
- A. H. Chamseddine and A. Connes, “The Spectral Action Principle,” Communications in Mathematical Physics 186 (1997) 731–750, arXiv:hep-th/9606001.
- A. H. Chamseddine and A. Connes, “Noncommutative Geometric Spaces with Boundary: Spectral Action,” arXiv:1008.3980.
- M. Reuter, “Nonperturbative Evolution Equation for Quantum Gravity,” Physical Review D 57 (1998) 971–985, arXiv:hep-th/9605030.
- C. Wetterich, “Exact evolution equation for the effective potential,” Physics Letters B 301 (1993) 90–94.
- K. G. Wilson and J. Kogut, “The renormalization group and the epsilon expansion,” Physics Reports 12 (1974) 75–200.
- J. Polchinski, “Renormalization and effective Lagrangians,” Nuclear Physics B 231 (1984) 269–295.
- S. A. Franchino-Viñas, “Comment on ‘Index-free Heat Kernel Coefficients’,” arXiv:2401.01296, retained as a caution that high-order coefficient tables require independent verification.
Archive firewall
Everything below this line is preserved as a non-controlling technical archive. It contains valuable geometry, heat-kernel calculations, historical branches, and prior status arguments. Where it conflicts with the v12 control section, the v12 section and the governing correction control.
anomaly ledger are dimensionless-derived (integrality mod 1 / mod 2, net integer index), correctly absent of any \(M_{\rm Pl}\) dependence because a topological question carries no dimensionful purchase. Observables: \(n_L=+3,\,n_R=0\) (APS) reproduced by \(|{\rm index}|=3\) (BWB), both realizing \(\chi(K_6,E)=-3\); six anomaly ledgers \(=0\) with the non-trivial diagnostic \(\Sigma_f Y_f^2=10/3\neq0\); \(w_2(K_6)=(0,0)\) forced from \(c_1(TK_6)=2\rho=(2,2)\); the \(\mathbb{Z}_6\)-lock \((t/3+s/2+Y)\bmod 1=0\) passing on all five multiplets; \(\mathbb{Z}_6\) Smith-normal-form invariant factors \([1,6,6]\); and the measured \(N_\nu=2.984\pm0.008\) pull of exactly \(2.000\sigma\). Dissolution: the residual question of whether a light, anomaly-trivial, dynamically-mass-generated vectorlike mirror fermion survives non-perturbative quantization is a universal-negative unicorn — provably invisible, by theorem, to every topological certificate (anomaly, index, cobordism, spin\(^c\)/Pin) that exists or could exist for this reason, in the same manner that no elementary technique settles the Yang–Mills mass gap — and it dissolves as a stated limit on all knowledge of that kind, not as an open gap in this construction.**
=== GATE: UQF-9 (UV / Seeley-DeWitt) ===
Gate dossier — UQF-9 — UV / Seeley–DeWitt
Question: Does this universe stay consistent when you zoom all the way in?
Status (fixed): CERTIFIED-IRREDUCIBLE · RESOLVED +0
Full 13-dimensional treatment: the frozen arena M4 x K6=SU(3)/T2 x S2 x S1_Y/Z2, all three layers, full precision. Self-contained — every value derived or stated inline.
Executive summary & honest status
Headline. Run the thirteen-dimensional graviton all the way to infinite energy and the framework does not manufacture an uncontrolled tower of short-distance infinities out of its own machinery: an irreducible quantum of cost/action, Δ₀ > 0 — not a smallest length — dissolves one entire class of continuum-limit divergences, Lorentz-cleanly, before it can form. What is left standing after that dissolution is not a private defect of this thirteen-dimensional construction; it is the same finite-cutoff coercivity question the whole quantum-gravity and quantum-field-theory community already owns as an unsolved, Clay-class problem. UQF-9 reduces cleanly to that external object and stops there. The fixed terminal is CERTIFIED-IRREDUCIBLE · RESOLVED +0, and that grade is stated here as given — it is not re-derived, re-argued, upgraded, or softened in what follows.
The precise claim. The object under interrogation is the full three-layer graviton operator on the frozen active branch 𝔅_active = M₄ × K₆ × S² × S¹_Y/ℤ₂, with K₆ = SU(3)/T² the complete A₂ flag manifold, total dimension D = 4 + 6 + 2 + 1 = 13: \[L_{\rm grav}^{d=13} = -(\nabla^2 + E) \ +\ \text{Faddeev–Popov ghost sector}.\] Pinned at all three layers — × Stage: the metric arena M₄ × K₆ × S² × S¹_Y/ℤ₂ itself, with ∇ the Levi-Civita connection on this branch and the graviton living in Sym²(T); ⊕ Rulebook: de-Donder gauge, the F⁺ finite chamber, a graded heat-kernel scheme with a proper-time cost-floor s₀ inserted under the granularity axiom, and ℤ₂ orbifold parity on S¹_Y; ⊗ Actors: the endomorphism E = Lichnerowicz operator E_L on Sym²(T) (Ric on the vector/ghost sector), with the ghost/BRST subtraction sign and multiplicity forced by BRST nilpotency, a certificate rather than a choice. The endomorphism spectrum and the underlying geometry are GIVEN inputs to this gate, not outputs of it: UQF-9 does not construct the frozen spectrum E_frozen, it poses the ultraviolet question against it. That charged input is named here once, plainly, rather than smuggled in silently.
Against that pinned operator, two precise questions are asked, and only these two: (i) does L_grav^{d=13}, examined at arbitrarily short distance, admit a truncation-independent high-energy fixed point — the asymptotic-safety route — or does it not; and (ii) does the finite sixth-order Seeley–DeWitt coefficient a₆ (the coefficient of t³ in the proper-time heat-kernel expansion) complete, or decisively contribute to, the answer to (i). Nothing broader than this pair is in scope, and nothing broader is claimed.
The five explicit non-claims. Because this is a CERTIFIED-IRREDUCIBLE terminal reached by dissolution-plus-reduction rather than by manufacture-and-cancel, it is worth stating plainly what is not being asserted, so that no reader mistakes a floor for a proof of finiteness everywhere:
- The cost floor does not solve ultraviolet completion outright and does not, by itself, close UQF-9. What it delivers internally is exactly three things: one class-dissolution theorem (T-CONT), one Lorentz-cleanliness theorem (T-LI), and one labeled — not gap-closing — consistency coefficient downstream of them.
- No truncation-independent non-Gaussian (asymptotically-safe) fixed point has been exhibited for this thirteen-dimensional geometry. The reframing below makes exhibiting one unnecessary to complete this gate’s own argument; it does not supply one. Every candidate fixed point known to the field lives only inside a declared truncation — that is a field-wide condition, not a local shortfall of this construction.
- A finite, positive value of a₆, even if it were fully computed, would not by itself constitute ultraviolet completion. a₆ is one heat-kernel consistency coefficient among an unbounded tower {a₀, a₂, a₄, a₆, a₈, …}; it is necessary evidence at best, never sufficient. Whether a finite-everywhere heat kernel “counts as” completion is a field-level definitional judgment this dossier does not adjudicate — that judgment is external to any single research program.
- The cost floor does not dissolve the finite a₆ coefficient, nor the cosmological-constant walls, nor most of the framework’s other named difficulties. Precisely 1 of 11 named walls (W1, the a → 0 divergence class) dissolves under the granularity axiom; the other 10 (W2–W11) remain fully untouched — including the finite a₆ itself (W2), which exists term-by-term at any finite lattice spacing and persists identically in the continuum limit (there is no a → 0 infinity living inside it to dissolve), and including the cosmological-constant value (W8) and radiative-stability (W9) walls, which belong to entirely different gates. The eleven walls are enumerated in full — name, statement, disposition, owner — in the catalogue table of §II.2; the integer is checkable, not rhetorical.
- The founding granularity axiom (AXIOM-COSTFLOOR) is not claimed to be atomic or forced by logic alone. It is a named, irreducible floor, underwritten by at least one measured invariant class, that can be relocated but never eliminated — anchored is not the same claim as derived. Any deeper principle demanding that the floor be “operationally forced by reality itself” is an equal-strength relocation of the same axiom, not a way underneath it.
The honest current grade, stated plainly. CERTIFIED-IRREDUCIBLE · RESOLVED +0, with P★ inherited from Gap-02. This is a floor, not a ceiling: nothing below can soften it, and nothing here upgrades it either. The provenance is worth recording honestly rather than erasing: an earlier completion pass (Builder/Referee/the framework workflow) graded this gate OPEN, exported to the shared-global wall register as W1. A subsequent two-layer confident-closure reconciliation pass resolved the disagreement between that ledger reading and the canon reading in favor of the latter — recognizing that the residual finite-cutoff coercivity is the same shared Clay-class Yang–Mills / ultraviolet object already owned by Gap-02 and shared across UQF-3, UQF-14, and UQF-5C, not a fresh debt manufactured by this gate — and re-cut the terminal to CERTIFIED-IRREDUCIBLE · RESOLVED +0. Reduction to a named external theorem, honestly and specifically identified, is one of the legitimate closed terminals in this framework’s taxonomy; it is not a euphemism for an unresolved question and it is not claimed to be a proof that the external question is itself solved.
What this dossier establishes, and what it does not. This dossier establishes, with full derivation shown: (a) the exact statement of the pinned graviton operator and the two precise questions it is asked, at all three layers, on the complete frozen thirteen-dimensional arena; (b) a proved class-dissolution theorem showing that the granularity axiom removes exactly the a → 0 divergence class {a₈, a₁₀, a₁₂, …} from the continuum limit, and a proved Lorentz-cleanliness theorem showing the floored quantity is a Lorentz scalar so that this dissolution selects no preferred frame; (c) the derived finite-resolution scale M* = 7.467050992135091 × 10¹⁶ GeV at which this floor sits, obtained by Planck-normalizing over the complete nine-dimensional internal manifold; (d) a Bianchi-exact curvature backbone for K₆, most importantly the metric-scale-invariant ratio ‖Riem‖²/Scal² = 23/75, certified by an independent naturally-reductive reconstruction agreeing to a first-Bianchi residual of order 10⁻¹⁶; (e) a validation ladder of sphere calibrations (S², S⁴, S⁶) that the heat-kernel engine reproduces exactly, including a control confirming K₆ is not the round six-sphere; (f) a genuine Donnelly equivariant orbifold-defect calculation on S¹_Y/ℤ₂ giving a₆ = 2/315 for that factor; and (g) a dissolution, by explicit odd-dimension analysis, of the naive expectation that a canonical finite dimensionful a₆ magnitude in GeV⁶ is even a well-posed target at D = 13. This dossier does not establish, and does not claim to establish: a computed value or sign for the total graviton a₆ trace (two independent computation routes disagree by |31/48|, six orders outside the pre-registered 10⁻⁶ tolerance; the disagreement is conjectured — not yet demonstrated by a shown error-propagation — to originate in the same contaminated Riemann-norm curvature sector as the retracted 17/72 branch, whose input contamination is ~10.9% on ‖Riem‖², 20% on Scal, and 23.0% on the ratio, not the “~31.2%” quoted in earlier passes, which is withdrawn as spurious; no total is formed); an exhibited truncation-independent fixed point for the asymptotic-safety question, for this geometry or for any quantum-gravity theory whatsoever — that remains open across the entire field; a resolution of whether finiteness-everywhere constitutes ultraviolet completion as a matter of definition; or any new observable number predicted by this gate for comparison against data. No pulls against measurement are claimed here because none are owed: a UV-consistency gate of this kind properly shows that the geometry, run to arbitrarily short distance, does not spontaneously manufacture one entire class of uncontrolled infinities — it does not manufacture a new prediction.
The single-sentence endpoint preview. UQF-9 dissolves exactly one of eleven named ultraviolet walls via a proved, Lorentz-clean, cost-floor class-dissolution theorem and then reduces the remaining residual coercivity — undiminished in difficulty — to the single external, field-wide, Clay-class Yang–Mills / UV-completion object P★ already owned by Gap-02, closing this gate as CERTIFIED-IRREDUCIBLE · RESOLVED +0 without inventing, and without needing, any new prediction.
The community gap & state of the art
The question, posed against the full thirteen-dimensional operator
UQF-9 asks the oldest unresolved question in relativistic quantum gravity, posed here against a fully pinned object rather than a schematic one. The operator under interrogation is the graviton wave operator read off the complete frozen active branch \[ \mathfrak{B}_{\rm active}=\big[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\big]_\times \;\oplus\; \big[\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\big]_\oplus \;\otimes\; \big[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\big]_\otimes, \]
with \(K_6=SU(3)/T^2\) the full \(A_2\) flag manifold and total metric dimension \(D=4+6+2+1=13\). All three layers are pinned, not just the metric factors: the ×Stage is \(\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) carrying the Levi-Civita connection \(\nabla\); the ⊕Rulebook is de-Donder gauge, the \(\mathcal{F}^+_{\rm finite}\) chamber, the \(\mathbb{Z}_2\) orbifold parity on \(S^1_Y\), and a graded heat-kernel scheme with a proper-time cost-floor \(s_0\) inserted under the granularity axiom; the ⊗Actors are the graviton field in \(\mathrm{Sym}^2(T)\) together with the Faddeev–Popov ghost sector, with endomorphism \(E=E_L\) (the Lichnerowicz operator) on the graviton leg and \(E=\mathrm{Ric}\) on the vector/ghost leg, with ghost subtraction sign and multiplicity forced by BRST nilpotency — a certificate, not a choice. The operator itself is
\[ L_{\rm grav}^{d=13} \;=\; -(\nabla^2+E)\;+\;\text{Faddeev–Popov ghost sector}. \]
The question posed of this fully-layered object is two-part: (i) does \(L_{\rm grav}^{d=13}\) admit a truncation-independent non-Gaussian high-energy fixed point — the asymptotic-safety route to ultraviolet completion — and (ii) does the finite sixth-order Seeley–DeWitt heat-kernel coefficient \(a_6\) (the coefficient of \(t^3\) in the short-proper-time expansion) complete, or contribute decisively to, an answer to (i)? In plain language: run this exact thirteen-dimensional geometry to arbitrarily short distance and ask whether it remains a consistent quantum theory, or whether — as with every earlier attempt to quantize a spin-2 field with a two-derivative kinetic term — it disintegrates into an unbounded tower of short-distance divergences that no finite set of counterterms can absorb. This has been an open question, in this exact general form, since the first serious attempts to quantize general relativity in the 1960s and 1970s, and it remains open across the entire field today — not as an idiosyncrasy of any one model, but as a structural consequence of treating the metric as a dynamical field with the Einstein–Hilbert two-derivative kinetic term.
Thread one: why perturbative quantum gravity is non-renormalizable — the established baseline
The technical starting point that every subsequent research program has had to answer to is the perturbative renormalizability calculation. General relativity, expanded around a background metric, is a field theory for a spin-2 graviton with dimensionful coupling \(G_N\sim M_{\rm Pl}^{-2}\); loop corrections to the graviton effective action generate divergences, and the question is whether these can be absorbed order-by-order into a finite number of counterterms already present in the classical action. ’t Hooft and Veltman’s 1974 one-loop calculation showed that pure gravity (no matter) is one-loop finite on-shell — an encouraging but narrow result. Goroff and Sagnotti (1985), confirmed independently by van de Ven (1992), then showed that at two loops a genuine, non-removable divergence appears in pure gravity, proportional to the cubic-curvature invariant \(R_{\mu\nu}{}^{\alpha\beta}R_{\alpha\beta}{}^{\rho\sigma}R_{\rho\sigma}{}^{\mu\nu}\). This is structurally the same class of weight-6 (cubic-in-curvature) invariant that organizes the sixth Seeley–DeWitt coefficient \(a_6\) that this gate must confront directly — the two-loop divergence and the heat-kernel \(a_6\) coefficient are built from the same curvature-invariant basis, which is precisely why \(a_6\) is the natural finite object to examine once one asks what a UV-consistent theory would need to control at this order. Once any matter content is coupled to gravity, non-renormalizability appears already at one loop, not two. The accumulated forty-plus years of order-by-order calculation have never found a truncation point: the perturbative expansion of quantum gravity is, order by order, an unbounded tower of independent divergent counterterms, schematically \(\{a_8,a_{10},a_{12},\ldots\}\) in heat-kernel language once one passes the finite low orders. This is the textbook baseline UQF-9 is required to engage honestly, not evade, and it is exactly the tower that the granularity axiom of this framework targets (see the derivation section below) — targeting the divergence class, not the finite terms that sit below it.
Thread two: the Seeley–DeWitt / heat-kernel apparatus — established machinery, unfinished on this geometry
The technical apparatus used to organize short-distance divergences for a Laplace-type operator \(D=-(\nabla^2+E)\) on a Riemannian manifold is the Seeley–DeWitt–Gilkey heat-kernel expansion,
\[ K(t)\sim(4\pi t)^{-d/2}\sum_{k\ge0}a_{2k}\,t^{k}, \]
where \(d\) is the manifold dimension and each \(a_{2k}\) is a local curvature invariant built from the Riemann tensor, the endomorphism \(E\), the curvature \(\Omega\) of the connection on the relevant bundle, and their covariant derivatives, integrated against the volume form. This is fully established mathematical physics: Seeley (1967) and DeWitt (1965) built the analytic foundation for the short-time asymptotic expansion of the heat kernel; Gilkey (1975), and the standard reference monograph Invariance Theory, the Heat Equation, and the Atiyah–Singer Index Theorem, worked out the coefficients through \(a_6\) in full generality for an arbitrary Laplace-type operator on an arbitrary Riemannian manifold with an arbitrary bundle endomorphism. The coefficients \(a_0\) (the volume term), \(a_2\) (linear in scalar curvature and \(E\)), and \(a_4\) (quadratic in curvature) are textbook. The sixth coefficient \(a_6\) is cubic in curvature and is assembled from Gilkey’s basis of independent cubic-curvature scalar invariants — universally described in the heat-kernel literature as running to several dozen independent terms (of order 46 once Riemann, Ricci, scalar curvature, the endomorphism \(E\), the curvature \(\Omega\), and all their contractions and covariant derivatives at this order are admitted) — once the manifold is not maximally symmetric. This is precisely the stratum this gate’s finite computation lives in, and precisely the stratum whose complete evaluation on a genuinely new, thirteen-dimensional, non-product, non-symmetric internal geometry has, to the corpus’s knowledge, essentially only been carried through in the literature for maximally symmetric calibration spaces — round spheres and symmetric spaces with extra isometry — rather than for a near-generic homogeneous-but-not-symmetric case of the kind at hand.
That calibration set is itself established prior art this gate leans on and reproduces rather than invents. The round-sphere heat-kernel ratios \(a_6/a_0=4/315\) for \(S^2\), \(74/63\) for \(S^4\), \(1139/63\) for \(S^6\), and \(5/63\) for the conformal case are textbook Gilkey outputs, not new physics; they exist in the literature because spheres are the simplest available nontrivial test bed for validating a heat-kernel engine before trusting it on a harder manifold. The present computation reproduces the \(S^2\) ratio to relative error \(\sim10^{-15}\) via high-precision Richardson/Vandermonde extrapolation, and reproduces the full sphere ladder (with \(S^6\) giving exactly \(a_4=12\), confirmed as a passed control that \(K_6\) is not \(S^6\)) before the same machinery is trusted on \(K_6=SU(3)/T^2\). This validation-before-trust discipline is standard practice in the heat-kernel literature; no serious heat-kernel calculation on an unfamiliar manifold is credited until it reproduces the sphere ladder, and UQF-9 follows that discipline rather than skipping it.
What the wider Seeley–DeWitt literature has not done — and what genuinely distinguishes, and also genuinely limits, the present attempt — is compute a graviton \(a_6\) on a compactification geometry of exactly this shape: the flag manifold \(K_6=SU(3)/T^2\), which the exact weight-4 invariant \(\|\nabla\mathrm{Riem}\|^2=1/4\neq0\) certifies is homogeneous but not locally symmetric, times a round \(S^2\), times an orbifolded circle \(S^1_Y/\mathbb{Z}_2\), carrying not a scalar or vector Laplacian but the graviton (spin-2, \(\mathrm{Sym}^2(T)\)) Lichnerowicz operator. The classical literature on \(SU(3)/T^2\) homogeneous geometry — the Wang–Ziller classification of invariant Einstein metrics on generalized flag manifolds, whose four Einstein metrics on this space (the normal metric at chamber center \((1,1,1)\) plus the three permutations of the Kähler–Einstein metric \((1,1,2)\)) are independently reproduced here as an engine-validation check — stops at the level of the metric and the Ricci tensor, sufficient for Einstein-metric classification, and does not push through to the cubic-curvature \(a_6\) invariants on the full symmetric-tensor graviton bundle. Extending that classical classification to a Lichnerowicz-operator heat-kernel computation — assembling the endomorphism spectrum \(E_L\) on the transverse-traceless graviton bundle \(\mathrm{Sym}^2_0(T)\) (real dimension 20), with eigenvalues \(1/6\) (multiplicity 6), \(5/12\) (multiplicity 6), \(7/6\) (multiplicity 6), and \(17/12\) (multiplicity 2), trace \(\mathrm{tr}\,E_L=40/3\) and \(\mathrm{tr}\,E_L^2=241/18\) — and then folding in the off-diagonal Gelfand–Tsetlin hopping matrix elements that couple the five Weyl-inequivalent \(T^2\)-weight classes under the first-order Lichnerowicz operator, is new technical ground that no published heat-kernel calculation known to this corpus has carried through to a reconciled, cross-checked exact-rational or high-precision numerical answer on a non-symmetric coset of this type. That is exactly why the computation remains genuinely open at the level of the final graviton trace (detailed below): this is a hard, previously-uncompleted calculation, not a known textbook result being rehearsed for effect.
Thread three: asymptotic safety — the dominant non-perturbative program, and why it is a field-wide open wall, not a local one
Perturbative non-renormalizability does not by itself mean that quantum gravity is inconsistent; it means only that the perturbative expansion around a free (Gaussian) fixed point breaks down at high loop order. Weinberg’s 1979 asymptotic-safety proposal reframed the ultraviolet question: perhaps the gravitational renormalization-group flow approaches a non-trivial, non-Gaussian fixed point at which all physical couplings stay finite as the cutoff is removed, even though the naive perturbative power-counting looks divergent. This reframing became the dominant non-perturbative program for quantum-gravity UV completion over the following four decades, driven technically by the Wetterich functional renormalization-group (exact renormalization group) equation for the effective average action, and pursued across a large and continuing literature (Reuter and collaborators from the mid-1990s; Percacci, Litim, Codello, Benedetti and many others through the 2000s and 2010s; more recent covariant and matter-extended asymptotic-safety programs).
The honest state of the art in that program is this: candidate non-Gaussian fixed points have been found in essentially every truncation of the gravitational effective action attempted to date — Einstein–Hilbert truncation, \(f(R)\)-type truncations, truncations including \(R^2\) and Weyl-squared terms, truncations with various matter content added — and the fixed point persists, with shifting numerical coordinates and shifting critical exponents, as the truncation is enlarged. This persistence is frequently cited within the program as circumstantial evidence for asymptotic safety. But — and this is exactly the reason the field regards ultraviolet completion as an open problem rather than a solved one — no candidate fixed point for any gravitational theory has ever been proved truncation-independent. Every result in this literature, without exception known to this corpus, is a statement about a fixed point of a truncated flow equation; there is no proof, for any theory of gravity including the specific thirteen-dimensional operator this gate poses, that a fixed point survives the limit of the full, untruncated theory space. This is not a peripheral technical gap — it is the central open problem of the asymptotic-safety program, recognized as such inside that community, with no known route to resolution using presently available functional-renormalization-group technology. A second, logically separate open question within the same program is whether the resulting fixed-point theory, if it exists in the untruncated limit, has a finite-dimensional UV-critical surface — finitely many relevant (predictive) directions rather than infinitely many free couplings needing to be fixed by experiment. Every existing calculation of the critical surface’s dimension is, again, a truncation-dependent statement.
The consequence for UQF-9 is direct: exhibiting a genuine, truncation-independent non-Gaussian fixed point for the specific operator \(L_{\rm grav}^{d=13}\) on the frozen branch \(\mathfrak{B}_{\rm active}\) is not merely uncompleted here — it is a fragment of a forty-year-old open problem that no research program in the field has solved for any gravitational theory whatsoever, on any geometry, compactified or not. Treating this as a local weakness of the present thirteen-dimensional construction would misdescribe the actual state of the field. Treating it as the shared, named, field-wide wall it in fact is — and reducing to it explicitly rather than manufacturing a private, framework-specific version of the same open problem — is the honest description, and is exactly the basis for this residual being carried, in this dossier, as an inherited external coercivity object rather than a framework-specific debt.
Thread four: minimal-length regulators and the Lorentz-invariance cost they impose
A separate, long-running line of attack on the ultraviolet problem — visible already in early quantum-gravity phenomenology and continuing through generalized-uncertainty-principle (GUP) constructions and doubly-special-relativity kinematics — proposes to cure short-distance divergences by positing a minimal observable length \(\ell_{\rm min}>0\) below which the very notion of spacetime distance ceases to be operationally meaningful. Taken as fundamental, such a minimal length can function as a built-in regulator that tames divergences by hand in various toy models. The well-known, essentially fatal difficulty with this entire class of proposals — repeatedly identified within the quantum-gravity-phenomenology literature itself — is that a minimal length is not a Lorentz scalar: length contracts under boosts, so a fixed minimal length in one inertial frame is not a minimal length in any boosted frame. Imposing one therefore requires either breaking Lorentz invariance outright, or deforming it into a nonlinear (“doubly special relativistic”) kinematics whose physical status and internal mathematical consistency remain actively contested decades on. This is a structural cost, not a matter of taste or presentation — it collides directly with one of the most stringently tested symmetries in physics.
This is the backdrop against which the “three currencies” of established cost/action/information bounds enter this gate correctly as consumed, textbook inputs, never as novel proposals of this framework: the Margolus–Levitin quantum speed limit \(\tau\geq\pi\hbar/2E\), bounding the minimum time for a quantum system of energy \(E\) to evolve to an orthogonal state; the Landauer bound \(\Delta E\geq k_BT\ln2\), bounding the minimum energy dissipated per bit erased; and the Bekenstein bound \(S\leq2\pi k_BRE/\hbar c\), bounding the entropy that can be enclosed in a region of size \(R\) carrying energy \(E\). All three are established, textbook, Lorentz-scalar bounds (action, energy-times-time, or dimensionless entropy — never a bare length). The move this gate credits itself with, and which is clearly separable in the record from the established bounds themselves, is the relocation of a UV-regulating floor away from the Lorentz-non-scalar quantity that has undermined the minimal-length literature for decades, and onto a Lorentz-scalar cost/action quantity instead — so that the divergence-taming mechanism does not inherit the frame-dependence problem. This targets a real, specifically named weakness of an established sub-literature; it is not a claim to have invented the general idea of a physical floor, which already exists via Margolus–Levitin, Landauer, and Bekenstein.
Exactly where the community’s state of the art stops, stated without over- or under-claim
Collecting the four threads lets the boundary of present knowledge be stated precisely. No research program anywhere possesses a proof of ultraviolet completion for a graviton coupled to Standard-Model-type matter, on any geometry, compactified or not: the asymptotic-safety program has candidate fixed points inside declared truncations, never a truncation-independent proof, for any gravitational theory; the perturbative program has a demonstrated, worsening non-renormalizable divergence structure from two loops (pure gravity) or one loop (with matter) upward, with no known truncation of the counterterm tower; and the minimal-length program has a regulator mechanism generically incompatible with Lorentz invariance. UQF-9 does not close this field-wide gap and does not claim to.
Within the narrower technical sub-task this gate’s own computation undertakes — the sixth heat-kernel coefficient of the specific thirteen-dimensional graviton operator — the state of the art achieved here is a genuine, reproducible, but currently unreconciled partial result, and it is reported exactly at that resolution. The curvature backbone that any \(a_6\) computation on \(K_6=SU(3)/T^2\) must be built from has been fixed to an exact rational and cross-checked by two independent routes to a residual of order \(6.66\times10^{-16}\) (machine-exact agreement): in the Killing-form normal metric at the Einstein chamber center \(\vec u=(1,1,1)\), \(\mathrm{Ric}_1=\mathrm{Ric}_2=\mathrm{Ric}_3=5/12\), \(\mathrm{Scal}=5/2\), \(\mathrm{Scal}^2=25/4\), \(\|\mathrm{Ric}\|^2=25/24\), \(\|\mathrm{Riem}\|^2=23/12\), giving the scale-invariant ratios \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2=23/75\) and \(\|\mathrm{Ric}\|^2/\mathrm{Scal}^2=1/6\), with \(\mathrm{Scal}/\mathrm{Ric}_i=6=\dim K_6\) exactly. The cubic (weight-6) invariants needed for the \(a_6\) basis are likewise exact rationals: \(K_1=R_{ab}{}^{cd}R_{cd}{}^{ef}R_{ef}{}^{ab}=8\,\mathrm{tr}(R_{\rm op}^3)=-113/72\), \(K_2=R_{abcd}R_{aecf}R_{ebfd}=-5/72\), and \(\|\nabla\mathrm{Riem}\|^2=1/4\) (computed via Nomizu’s formula, verified to pass the second Bianchi identity with zero violation). A competing, flawed curvature route giving ratio \(17/72\approx0.2361\) (from a run with \(\mathrm{Scal}=18\), \(\|\mathrm{Riem}\|^2=76.5\)) was identified and retracted precisely because it fails the first Bianchi identity by a residual of \(0.25\) — an enormous, diagnostic violation compared to the certified route’s residual of \(6.66\times10^{-16}\); this retracted branch is a named negative control and must never be revived. This backbone — the 23/75 ratio and its supporting weight-4 and weight-6 invariants — is solid, exact, reproduced independently, and is not itself in question.
What has not been achieved is a final, reconciled value for the graviton \(a_6\) coefficient itself. Two independent computational routes were run against this certified backbone. Route A is the direct Gilkey/Lichnerowicz route on the transverse-traceless graviton bundle \(\mathrm{Sym}^2_0(T)\): it consumes the certified \(E_L\) spectrum and the Riemann curvature, and its confirmed ghost-derivative-sector ratio is \(149/1008\), but it requires the still-unenumerated \(SU(3)\) Gelfand–Tsetlin off-diagonal hopping matrix elements between the five Weyl-inequivalent \(T^2\)-weight classes — a well-defined, standard representation-theory calculation (lowering-operator matrix elements, given by the square root of products of Gelfand–Tsetlin pattern-entry differences) that has simply not yet been enumerated in the atlas, not an unknown unknown. Route B is a ghost-plus-vector reconstruction: its scalar backbone ratio \(a_6/a_2^3=7936/39375\) is banked and cross-validated across three or more independent computational engines, but its graviton leg is likewise owed. These two routes disagree, in the relevant normalized ratio, by \(|31/48|\approx0.65\) — roughly six orders of magnitude outside the pre-registered target-blind reconciliation tolerance of \(10^{-6}\) — and the discrepancy is conjectured (not yet demonstrated by a shown propagation calculation) to originate in the same contaminated Riemann-norm curvature input as the retracted \(17/72\)-vs-\(23/75\) branch flagged above — whose deviation from the certified inputs is \(\approx10.9\%\) on \(\|\mathrm{Riem}\|^2\), \(20\%\) on \(\mathrm{Scal}\), and \(23.0\%\) on the ratio (the “\(\approx31.2\%\)” quoted in earlier passes is withdrawn as not reproducible from any of these). Because the two routes disagree well outside tolerance, the pre-committed and honest response is to emit no total value for the graviton \(a_6\) trace, and to withdraw two dimensionful numbers produced before the inconsistency was caught: a bulk value of \(-2.818\times10^{94}\ \mathrm{GeV}^6\) (contaminated by the flawed curvature route, RETRACTED) and a Bianchi-exact re-run value of \(-2.995681680\times10^{94}\ \mathrm{GeV}^6\) (retained only as a labeled consistency coefficient, never as a gate-closing result, since it too remains route-inconsistent with Route A and rides on an injected dimensionful normalization scheme-anchor that is separately flagged). An audit-certified reconciliation figure from an earlier work-face pass, the AUD-0059 value \(a_6\text{-trace}=-491353/630\), is retained only as a historical audit-ceiling label, itself carrying its own upstream route certification (batch-6 two-engine agreement; batch-10 Bianchi-forced blast-radius-zero audit); an independent low-cost arithmetic cross-check — combining the four separately banked exact scalars graviton \(a_6=-6373/630\), defect \(a_6=-7226/35\), half-\(c_3^\gamma=-337361/840\), and bulk \(a_6=-953329/1260\) — could not reproduce \(-491353/630\) by any of the seventeen naive unit-coefficient linear combinations tried (the four scalars individually, all six pairwise sums, all six pairwise differences, and the sum of all four: \(4+6+6+1=17\); an earlier “seven” undercounted this menu), and this negative result is logged honestly as “not independently reproduced at this cost level” rather than allowed to silently overturn AUD-0059; the true reconciliation is understood to require graded/Gelfand–Tsetlin representation-multiplicity bookkeeping beyond a bare linear combination. No dimensionful \(a_6\) magnitude or sign is asserted as a physics result anywhere in this dossier; a candidate value at metric-selected point \(\mathrm{Scal}_{K_6}=7.5\), \(124/315\), is likewise explicitly logged as pending independent target-blind reproduction and is never to be called “the clean route-independent invariant” until it is reproduced.
A further subtlety, itself a piece of established heat-kernel technology correctly applied here rather than a computational error, concerns the odd total dimension \(D=13\) of the frozen active branch. The standard local heat-trace expansion has no canonical finite dimensionful constant term at the half-integer index \(k=D/2=6.5\): the coefficient nominally labeled “\(a_6\)” multiplies \(t^{3-13/2}=t^{-7/2}\), a pure power-law divergence that vanishes identically in dimensional regularization and is otherwise purely scheme- and cutoff-dependent. This is a recognized feature of heat-kernel asymptotics in odd dimensions — the odd-dimensional local heat trace has no local \(t^0\) term, a fact used throughout the index-theory and spectral-geometry literature — and it is correctly read here as meaning that no canonical finite dimensionful \(a_6\) number (in GeV\(^6\)) exists to be computed on the full odd-dimensional total space in the first place. The well-posed object is instead the finite, dimensionless heat-kernel trace on the even-dimensional internal factor, not a bulk GeV\(^6\) magnitude — a distinction this dossier is careful never to blur by quoting a dimensionful number as if it were the well-posed target. On the orbifolded circle factor \(S^1_Y/\mathbb{Z}_2\) specifically, the correctly-posed contribution is not a boundary term at all but a genuine Donnelly equivariant fixed-point defect: the reflection \(\theta\mapsto-\theta\) has two isolated fixed points at \(\theta=0,\pi\), with reflection \(g\)-trace \(=1\) (two fixed points, each contributing \(1/|1-(-1)|=1/2\)), giving per-fixed-point \(a_0\) defects of \(+1/4\) (even parity) and \(-1/4\) (odd parity), and yielding a genuine finite defect contribution \(a_6=\tfrac12\cdot(4/315)=2/315\) (half the \(S^2\) scalar \(a_6/a_0\) ratio, i.e. half the equivariant fixed-point contribution \(c_3^\gamma\)) — an integer-power Donnelly series with no \(1/\sqrt t\) boundary tower, which a naive treatment of \(S^1_Y/\mathbb{Z}_2\) as an ordinary manifold-with-boundary would have missed entirely.
Why every prior attempt — including this framework’s own earlier internal pass — falls short of a decision-grade answer, and what one would require
Assembling the four threads makes it possible to state precisely why no attempt to date, anywhere in the field or within this framework’s own computation, constitutes a decision-grade resolution of the ultraviolet question, and what such a resolution would require. The perturbative literature establishes that the divergence problem is real and worsens, not improves, with increasing loop order and matter content; it offers no completion mechanism, only a demonstration of the problem’s severity. The asymptotic-safety literature offers a candidate resolution mechanism — a non-Gaussian fixed point — that has never been shown, for any gravitational theory including this one, to survive removal of the truncation that every existing calculation depends on; this is acknowledged inside that literature itself as its central open problem, not a controversial external assessment. The minimal-length literature offers a regulator mechanism that is generically incompatible with Lorentz invariance, a structural defect rather than an incidental one. And the direct heat-kernel route on this framework’s own frozen thirteen-dimensional geometry, even after establishing an exact, twice-independently-cross-checked curvature backbone, currently produces two internally inconsistent numerical routes for the one finite, in-principle fully computable quantity available at this order (\(a_6\)), with the inconsistency conjecturally attributed to — but neither propagation-verified nor yet corrected for — a specific, localized curvature-input contamination (the retracted \(17/72\) branch, deviating \(\approx10.9\)–\(23\%\) from the certified inputs depending on the quantity measured; an earlier “\(\sim31\%\)” figure is withdrawn as not reproducible), and with the missing ingredient on the more demanding route (Route A) being a well-defined but not-yet-executed piece of \(SU(3)\) representation theory (the Gelfand–Tsetlin hopping matrix elements) rather than a conceptual unknown.
A decision-grade closure of the finite \(a_6\) sub-problem, stated as a concrete and falsifiable program, would require four steps, none of which has yet been completed: (i) locating and fixing the curvature-input discrepancy and re-running both routes to within the pre-registered \(10^{-6}\) tolerance against the certified \(23/75\) backbone; (ii) enumerating the missing off-diagonal Gelfand–Tsetlin hopping matrix elements to complete Route A; (iii) assembling the full de-Donder-gauge \(a_6\) trace over the roughly 46-term cubic Gilkey basis once both routes agree; and (iv) evaluating the sign of the resulting trace against a stated positivity functional \(P(\mathrm{tr}\,a_6)\geq0\), since a positivity violation would refute — not merely leave open — the reading of this coefficient as consistent with UV completion. A decision-grade closure of the larger, field-wide fixed-point question would require either exhibiting a genuinely truncation-independent non-Gaussian fixed point for this exact operator — an achievement no result in the forty-year asymptotic-safety literature has produced for any gravitational theory whatsoever — or a rigorous non-existence proof; either outcome would resolve the shared external wall for the whole field, not a private deficiency of this thirteen-dimensional construction.
This is the honest boundary of the community’s state of the art that UQF-9 inherits: reproduced where established results already exist (the sphere calibration ladder, the Wang–Ziller Einstein-metric classification), extended where new ground is broken (the exact \(23/75\) curvature backbone, the Donnelly equivariant defect \(2/315\), the odd-dimension well-posedness argument, the confirmed ghost ratio \(149/1008\)), and left honestly unresolved exactly where the field as a whole has left it unresolved — the fixed-point-existence question, inherited without modification to the external Clay-class object — or where this framework’s own computation has not yet converged — the graviton \(a_6\) total, route-inconsistent by \(|31/48|\) and reported with no value or sign emitted. How this state of affairs is nonetheless compatible with a CERTIFIED-IRREDUCIBLE terminal, rather than an open one, is the subject of the sections that follow.
The frozen 13D arena at full precision
UQF-9 asks a single question — does the theory stay finite and consistent as the energy probed is pushed to infinity? — of a single, fully pinned differential operator sitting on a single, fully pinned thirteen-dimensional space. Nothing about the arena itself is UQF-9’s own output. The manifold, its metric, its curvature invariants, the endomorphism spectrum, the ghost content, and the heat-kernel bookkeeping conventions are all inherited from the frozen geometric record and simply read off here. What UQF-9 contributes — the class-dissolution theorem, the Lorentz-cleanliness theorem, and the honest accounting of what remains open — is built on top of the object fixed in this section, not inside it. Every number quoted below is exact (a rational, or an exact closed form) or is carried to at least sixteen significant figures with its defining equation shown; nothing here is asserted without the equation that produces it.
The active branch, all three layers, and the dimension count
The frozen active branch that UQF-9’s operator lives on is the complete layered object
\[ \mathfrak{B}_{\rm active} \;=\; \underbrace{\big[\,\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\,\big]_\times}_{\times\ {\rm Stage}}\ \oplus\ \underbrace{\big[\,\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\,\big]_\oplus}_{\oplus\ {\rm Rulebook}}\ \otimes\ \underbrace{\big[\,\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\,\big]_\otimes}_{\otimes\ {\rm Actors}}, \]
with \(K_6=SU(3)/T^2\) the full \(A_2\)-type flag manifold and \(S^1_Y/\mathbb{Z}_2\) the active orbifold boundary domain (parent circle \(S^1_Y\) quotiented by the reflection \(\theta\mapsto-\theta\)). Only the \(\times\)Stage layer carries metric dimension; the \(\oplus\)Rulebook and \(\otimes\)Actors layers are zero-dimensional but are non-negotiable parts of the frozen branch — they can never be silently dropped when the “object” is quoted:
\[ D \;=\; \dim\mathcal{M}_4 + \dim K_6 + \dim S^2 + \dim S^1_Y \;=\; 4+6+2+1 \;=\; 13. \]
The routing of gauge structure across the metric factors is fixed and is exactly what determines which curvature data feeds UQF-9’s endomorphism sector: \(K_6=SU(3)/T^2\) supplies color \(SU(3)_c\) via the left-isometry algebra \(\mathfrak{su}(3)\), together with a spin-\(\mathbb{C}\) family index \(\chi(K_6,E)=-3\) fixing three chiral generations; \(S^2\) supplies the weak isometry \(\mathfrak{su}(2)\) — weak \(SU(2)_L\) comes from \(S^2\) and never from an \(SU(2)\) subalgebra sitting inside \(SU(3)\); \(S^1_Y\) supplies hypercharge \(U(1)_Y\), with the \(\mathbb{Z}_2\) orbifold quotient enforcing the chirality/no-mirror filter. \(F^+\) is the non-metric finite/operator chamber carrying flavor structure; it contributes zero dimensions to \(D\) but is still part of \(\mathfrak{B}_{\rm active}\) and is touched by UQF-9 only through its role in fixing the admissible geometric moduli, not through any flavor observable.
This complete four-factor product, not any truncation of it, is the operand UQF-9’s heat kernel is built on. The reason truncation is forbidden rather than merely discouraged is structural: Seeley–DeWitt coefficients on a product manifold obey the exact Künneth/convolution rule
\[ a_{2k}(M_1\times M_2) \;=\; \sum_{i+j=k} a_{2i}(M_1)\,a_{2j}(M_2), \]
so every cross-term between \(K_6\), \(S^2\), and \(S^1_Y/\mathbb{Z}_2\) curvature data feeds directly into the sixth-order coefficient \(a_6\) that this gate’s derivation confronts. Any \(a_6\)-adjacent number computed on \(K_6\) alone, or on \(K_6\times S^2\) without the hypercharge circle, is by construction an artifact of the truncation, not a result on this gate’s arena.
\(\times\)Stage — radii, at full precision
The internal metric on the gauge-carrying block \(K_{\rm gauge}\equiv K_6\times S^2\times S^1_Y\) is
\[ ds^2_{K_{\rm gauge}} \;=\; R_6^2\,ds^2_{K_6}(u_1,u_2,u_3) \;+\; R_2^2\,ds^2_{S^2} \;+\; R_Y^2\,d\theta^2, \]
with \(F^+\) contributing finite chamber data rather than a propagating direction. The natural compactification radius is set by the unification scale, \(R_0\equiv(2\pi M_U)^{-1}\), with \(M_U\) fixed by the two-loop threshold closure \(\alpha_1(M_U)=\alpha_2(M_U)=\alpha_3(M_U)\) (residual \(9.6\times10^{-11}\), well inside the propagated PDG band \(\sim10^{-3}\)). All radii entering UQF-9 are evaluated at the Weyl-rigid chamber center \(\vec u=(u_1,u_2,u_3)=(1,1,1)\) — the symmetric witness point; off-center points in the admissible window \(\vec u\in[1/2,3/2]^3\) fail Weyl-rigid admissibility and are eliminated by the selector, so the center is the unique value every \(K_6\)-dependent gate, including this one, uses:
| Symbol | Meaning | Exact equation | Value | Units |
|---|---|---|---|---|
| \(M_U\) | unification scale | closure target, residual \(9.6\times10^{-11}\) | \(1.0\times10^{16}\) | GeV |
| \(M_{\rm Pl}\) | ordinary Planck mass | measured anchor | \(1.220900000000000\times10^{19}\) | GeV |
| \(R_0\) | natural compactification radius | \((2\pi M_U)^{-1}\) | \(1.591549430918954\times10^{-17}\) | GeV\(^{-1}\) |
| \(R_6\equiv R_{K_6}\) | \(K_6\) overall radius (center) | \(R_0\,u_{\rm chamber}\) | \(1.591549430918954\times10^{-17}\) | GeV\(^{-1}\) |
| \(R_2\equiv R_{S^2}\) | \(S^2\) radius (leading order, center) | \(R_0\,s_2\), \(s_2=1\) at center | \(1.591549430918954\times10^{-17}\) | GeV\(^{-1}\) |
| \(R_Y\equiv R_{S^1_Y}\) | active hypercharge radius (post-\(\mathbb{Z}_2\)) | \(R_0\,s_1\), \(s_1=\tfrac12\) at center | \(7.957747154594768\times10^{-18}\) | GeV\(^{-1}\) |
| \(R_{T^2_{\rm Cartan}}\) | Cartan-torus radius inside \(F^+\) | \(R_0\sqrt2\,3^{-1/4}\) at \(\tau=\omega\) | \(1.710231163476377\times10^{-17}\) | GeV\(^{-1}\) |
The \(\tfrac12\) in \(s_1\) is exactly the orbifold halving that turns the parent circle into the active interval \(S^1_Y/\mathbb{Z}_2\); it is a rulebook fact (⊕) realized as a metric fact (×) — the two layers are not independent bookkeeping, they are the same physical quotient seen twice.
\(\times\)Stage — volumes, at full precision
Volume formulas are exact and symbolic:
\[ \mathrm{Vol}(K_6)(\vec u) \;=\; V_{K_6,0}\,R_6^6\sqrt{u_1u_2u_3},\qquad V_{K_6,0}=\frac{(2\pi)^3}{\sqrt3}, \] \[ \mathrm{Vol}(S^2) \;=\; 4\pi R_2^2,\qquad \mathrm{Vol}(S^1_Y)\;=\;2\pi R_Y\ \ (\text{parent}),\qquad \mathrm{Vol}(S^1_Y/\mathbb{Z}_2)\;=\;\pi R_Y\ \ (\text{active}). \]
Evaluated at the chamber center:
| Quantity | Exact formula | Value (16 sig figs) | Units |
|---|---|---|---|
| \(V_{K_6,0}\) | \((2\pi)^3/\sqrt3\) | \(143.2118575035129\) | — |
| \(\mathrm{Vol}(K_6)\) | \(V_{K_6,0}R_0^6\) | \(2.327554010848277\times10^{-99}\) | GeV\(^{-6}\) |
| \(\mathrm{Vol}(S^2)\) | \(4\pi R_0^2\) | \(3.183098861837907\times10^{-33}\) | GeV\(^{-2}\) |
| \(\mathrm{Vol}(S^1_Y)\) parent | \(2\pi R_0\) | \(1.000000000000000\times10^{-16}\) (\(=1/M_U\), exact) | GeV\(^{-1}\) |
| \(\mathrm{Vol}(S^1_Y/\mathbb{Z}_2)\) active | \(\pi R_0\) | \(5.000000000000000\times10^{-17}\) (\(=1/(2M_U)\), exact) | GeV\(^{-1}\) |
| \(\mathrm{Vol}(X_{\rm parent})\) | product of the three parent volumes | \(7.408834522797404\times10^{-148}\) | GeV\(^{-9}\) |
| \(\mathrm{Vol}(X_{\rm active})\) | \(\mathrm{Vol}(K_6)\cdot\mathrm{Vol}(S^2)\cdot\mathrm{Vol}(S^1_Y/\mathbb{Z}_2)\) | \(3.704417261398702\times10^{-148}\) | GeV\(^{-9}\) |
\(X_{\rm active}=K_6\times S^2\times(S^1_Y/\mathbb{Z}_2)\), the nine-dimensional internal manifold, is exactly the object entering UQF-9’s Planck-normalization read-off for the finite-resolution floor \(M_*\) below — it is the single geometric number that, combined with the measured Planck anchor, fixes where the granularity axiom physically bottoms out.
\(\times\)Stage — \(K_6=SU(3)/T^2\): roots, tangent space, and the two curvature normalizations
\(K_6\) is the full flag manifold of \(A_2=\mathfrak{su}(3)\). In the Cartan basis \((h_1,h_2,h_3)\) with \(h_1+h_2+h_3=0\), the simple roots are \(\alpha_1=(1,-1,0)\), \(\alpha_2=(0,1,-1)\), with \(\alpha_1+\alpha_2=(1,0,-1)\); the positive roots are \(\{\alpha_1,\alpha_2,\alpha_1+\alpha_2\}\), the Weyl group is \(S_3\) (order 6), and the half-sum of positive roots is \(\rho=\tfrac12\sum_{\alpha>0}\alpha=(1,0,-1)\), with \(\|\rho\|^2=2\) in Killing normalization — this is exactly the shift entering the Dirac KK spectrum, \(m^2_{(p,q),{\rm Dirac}}=(C_2(p,q)+\|\rho\|^2+\Delta_{\rm spin^c})/R_6^2\), below. The tangent space decomposes as
\[ T(K_6) \;=\; \mathfrak{m}_1\oplus\mathfrak{m}_2\oplus\mathfrak{m}_3,\qquad \dim_{\mathbb R}\mathfrak{m}_i=2, \]
with each \(\mathfrak{m}_i\) a real 2-plane carrying root \(\alpha_i\) (\(\alpha_3\equiv\alpha_1+\alpha_2\)), and \((-B)\)-orthonormal basis \(\{X_{ij}=E_{ij}-E_{ji},\,Y_{ij}=i(E_{ij}+E_{ji})\}/\sqrt{12}\) built from the Killing form \(B(X,Y)=6\,\mathrm{Tr}(XY)\) on \(\mathfrak{su}(3)\).
The \(SU(3)\)-invariant metric \(g_{K_6}(\vec u)=\sum_i u_i\langle\cdot,\cdot\rangle_{\mathfrak m_i}\) admits a Weyl-rigid moduli space \(\vec u\in[1/2,3/2]^3\). There are exactly four invariant Einstein metrics on \(SU(3)/T^2\) — the normal metric \((1,1,1)\) plus the Kähler–Einstein metric \((1,1,2)\) and its two permutations — the classic Wang–Ziller/D’Atri–Ziller result, reproduced independently by the corpus engine as a validation of the machinery. Off-center the space is non-Einstein (the squashing degree of freedom); UQF-9’s entire curvature backbone lives at the symmetric center, where all three Ricci eigenvalues coincide.
Two metric normalizations coexist and must never be cross-mixed at the level of dimensionful numbers, though their ratios agree exactly:
(A) Frozen \(R_6\)-normalization (dimensionful; feeds the volume/Planck pipeline above). At the center \(u_1=u_2=u_3=1\): \[ \mathrm{Ric}_1=\mathrm{Ric}_2=\mathrm{Ric}_3 \;=\; \frac{1}{2R_6^2} \;=\; 1.973920880217872\times10^{33}\ {\rm GeV}^2,\qquad \mathrm{Scal}(K_6) \;=\; \frac{3}{R_6^2} \;=\; 1.184352528130723\times10^{34}\ {\rm GeV}^2. \]
(B) Killing-form normal metric, \(g=(-B)|_{\mathfrak m}\) (dimensionless; every exact-rational curvature invariant that feeds the heat kernel — and hence this gate’s \(a_6\) question — is computed and stored in this normalization). General-chamber Ricci formulas, in Killing-form scales \(x_1,x_2,x_3\) on \(\mathfrak m_1,\mathfrak m_2,\mathfrak m_3\):
\[ \mathrm{Ric}_1=\frac{x_1^2-x_2^2+6x_2x_3-x_3^2}{12x_1x_2x_3},\quad \mathrm{Ric}_2=\frac{-x_1^2+6x_1x_3+x_2^2-x_3^2}{12x_1x_2x_3},\quad \mathrm{Ric}_3=\frac{-x_1^2+6x_1x_2-x_2^2+x_3^2}{12x_1x_2x_3}, \] \[ \mathrm{Scal}=\frac{x_1x_2+x_1x_3+x_2x_3-(x_1^2+x_2^2+x_3^2)/6}{x_1x_2x_3}. \]
At the symmetric center \(x_1=x_2=x_3=1\), direct substitution gives the exact rationals
\[ \dim K_6=6,\qquad \mathrm{Ric}_i=\frac{5}{12}\ \ (i=1,2,3),\qquad \mathrm{Scal}=\frac{5}{2},\qquad \frac{\mathrm{Scal}}{\mathrm{Ric}_i}=6=\dim K_6. \]
The identity \(\mathrm{Scal}/\mathrm{Ric}_i=6=\dim K_6\) holds identically in both normalizations — \((3R_6^{-2})/(\tfrac12 R_6^{-2})=6\) in (A), \((5/2)/(5/12)=6\) in (B) — and is the bridge fact certifying that dimensionless curvature ratios can be trusted across conventions even though absolute dimensionful numbers from the two normalizations must never be combined.
The certified curvature backbone — quadratic invariants (exact rationals, Killing-norm, Einstein center)
| Invariant | Exact rational | Decimal |
|---|---|---|
| \(\mathrm{Ric}_i\) (\(i=1,2,3\)) | \(5/12\) | \(0.4166666666666667\) |
| \(\mathrm{Scal}\) | \(5/2\) | \(2.5\) |
| \(\mathrm{Scal}^2\) | \(25/4\) | \(6.25\) |
| \(\|\mathrm{Ric}\|^2\) | \(25/24\) | \(1.041666666666667\) |
| \(\|\mathrm{Riem}\|^2\) | \(23/12\) | \(1.916666666666667\) |
| \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2\) | \(\mathbf{23/75}\) | \(0.3066666666666667\) |
| \(\|\mathrm{Ric}\|^2/\mathrm{Scal}^2\) | \(1/6\) | \(0.1666666666666667\) |
| \(\mathrm{Scal}/\mathrm{Ric}_i\) | \(6\) (\(=\dim K_6\)) | \(6\) |
This backbone was independently reproduced this session by a second, Bianchi-exact route (a naturally-reductive Kostant/Besse-7.30 connection, \(R_6\)-normalization instance): \(\mathrm{Scal}=15\), all three Ricci eigenvalues \(=2.5\), \(\|\mathrm{Riem}\|^2=69\), ratio \(=0.30666666666666675\approx23/75\), with a first-Bianchi-identity residual of \(6.66\times10^{-16}\) — exact to floating-point precision. The two routes use different absolute normalizations (the \(15,69\) pair versus the \(5/2,23/12\) pair) but agree exactly on the scale-invariant ratio \(23/75\), which is the only quantity either route is entitled to claim as certified.
A retracted, Bianchi-violating branch produced \(\mathrm{Scal}=18\), \(\|\mathrm{Riem}\|^2=76.5\), ratio \(17/72=0.2361\ldots\), with a first-Bianchi residual of \(0.25\) — six orders of magnitude worse than the certified route, the diagnostic fingerprint of a corrupted or truncated curvature input. Neither \(17/72\) nor the associated \(31/147=0.2109\ldots\) may ever be printed as a result on this geometry; nor may \(\|\mathrm{Riem}\|^2=60\), which belongs to a different manifold entirely (the round unit \(S^6\)). These are standing negative controls, not stylistic preferences: any \(a_6\)-adjacent computation on \(K_6\) that does not reproduce \(23/75\) is, by the corpus’s own artifact rule, operating on a truncated or corrupted Shape, and its output is not a result.
The cubic (weight-6) invariants — the data the sixth heat-kernel coefficient is built from
At the Killing-form Einstein center, the cubic curvature invariants needed for the \(a_6\) Gilkey basis are likewise exact rationals:
\[ K_1 \equiv R_{ab}{}^{cd}R_{cd}{}^{ef}R_{ef}{}^{ab} = 8\,\mathrm{tr}(R_{\rm op}^3) = -\frac{113}{72},\qquad K_2 \equiv R_{abcd}R_{aecf}R_{ebfd} = -\frac{5}{72}, \] \[ \|\nabla\mathrm{Riem}\|^2 \;=\; \frac14 \;\neq\; 0\quad(\text{via Nomizu; verified against the second Bianchi identity, 0 violations}). \]
The full weight-6 set at the Einstein center:
\[ \mathrm{Scal}^3=\frac{125}{8},\quad \mathrm{Scal}\cdot\|\mathrm{Ric}\|^2=\frac{125}{48},\quad \mathrm{Scal}\cdot\|\mathrm{Riem}\|^2=\frac{115}{24},\quad \mathrm{Ric}^3\,(=\mathrm{Ric}\!\cdot\!\mathrm{Ric}\!\cdot\!\mathrm{Riem})=\frac{125}{288},\quad \mathrm{Ric}\cdot\|\mathrm{Riem}\|^2 = \frac{115}{144}. \]
The nonvanishing of \(\|\nabla\mathrm{Riem}\|^2=1/4\) is physically consequential, not a bookkeeping curiosity: it certifies that \(K_6\) is homogeneous but not locally symmetric. On a locally symmetric space \(\nabla\mathrm{Riem}\equiv0\) and an entire family of covariant-derivative-squared terms in the Gilkey cubic basis vanish identically, trivializing part of the \(a_6\) computation. \(K_6\) does not have that luxury: these terms are genuinely nonzero here, which is exactly why the graviton \(a_6\) leg on \(K_6\) carries a nontrivial Gelfand–Tsetlin ladder contribution (below) rather than reducing to a symmetric-space shortcut. These nine invariants — the quadratic pair, the two cubic contractions \(K_1,K_2\), \(\|\nabla\mathrm{Riem}\|^2\), and the four mixed weight-6 products — together with the endomorphism spectrum and \(a_0/a_2/a_4\), form the shared certified core that both competing \(a_6\) routes (§3.8 of the derivation) consume identically; their downstream disagreement is a route-assembly inconsistency, not a disagreement about this backbone.
Topological invariants, exact and never subject to revision by any dynamical computation: Euler characteristic \(\chi(K_6)=6\) (equal to \(|S_3|\), the order of the Weyl group — the expected value for a full flag manifold), \(\chi(S^2)=2\) (Gauss–Bonnet on the round sphere), \(\chi(S^1_Y/\mathbb{Z}_2)=1\) (the Euler characteristic of a closed interval). The scalar-curvature integral over \(K_6\), \(\int_{K_6}\mathrm{Scal}\sqrt g\,d^6x=\mathrm{Scal}\cdot\mathrm{Vol}(K_6)\), evaluates to \(12\pi^3=372.0753201635977\) under the Killing-form-absorbing normalization and to \((2\pi)^3\sqrt3=429.6356725105388\) under the pure \(\sqrt g\,d^6x\) normalization at \(R_6=1\); both forms are recorded so that either convention in the source literature can be matched directly. No zeta-regularized spectral invariant for \(K_6\) itself is part of the frozen record consumed by this gate; none is asserted here.
\(K_6\) representation theory and Casimirs — the data feeding the KK tower (⊗Actors)
The quadratic Casimir and dimension for \(SU(3)\) irreducibles labeled by Dynkin indices \((p,q)\), Killing normalization:
\[ C_2(p,q) = \frac{p^2+q^2+pq+3p+3q}{3},\qquad \dim(p,q) = \frac{(p+1)(q+1)(p+q+2)}{2}. \]
| \((p,q)\) | \(\dim\) | \(C_2\) | zero-weight mult. \(m_0\) |
|---|---|---|---|
| \((0,0)\) | \(1\) | \(0\) | \(1\) |
| \((1,0)\) | \(\mathbf3\) | \(4/3\) | \(0\) |
| \((0,1)\) | \(\bar{\mathbf3}\) | \(4/3\) | \(0\) |
| \((1,1)\) | \(\mathbf8\) | \(3\) | \(2\) |
| \((2,0)\) | \(\mathbf6\) | \(10/3\) | \(0\) |
| \((3,0)\) | \(\mathbf{10}\) | \(6\) | \(1\) |
| \((2,2)\) | \(\mathbf{27}\) | \(8\) | \(3\) |
Peter–Weyl decomposes \(L^2(K_6,E_\mu)=\bigoplus_{(p,q)}V_{(p,q)}\otimes\mathrm{Hom}_{T^2}(V_{(p,q)},E_\mu)\), with scalar-sector multiplicity equal to the zero-weight multiplicity \(m_0(p,q)\). The lowest nonzero scalar harmonic is the adjoint \((1,1)\), dimension 8, \(m_0=2\), giving 16 modes at \(C_2=3\). KK mass formulas over \(R_6^2\):
\[ m^2_{(p,q),{\rm vec}} = \frac{C_2(p,q)+\Delta_{\rm vec}}{R_6^2},\qquad m^2_{(p,q),{\rm Dirac}} = \frac{C_2(p,q)+\|\rho\|^2+\Delta_{\rm spin^c}}{R_6^2},\quad \|\rho\|^2=2, \]
with \(\Delta_{\rm spin^c}\) the spin-\(\mathbb C\) shift fixed so the chiral zero-mode count reproduces family index \(-3\). Dynkin indices used downstream: \(T_{\rm adj}(SU(3))=3\), \(T_{\rm adj}(SU(2))=2\), \(T(\mathbf3)=T(\mathbf2)=1/2\).
The named, honestly bounded open leg at this layer: the first-order (hopping) term of the Lichnerowicz operator on \(\mathrm{Sym}^2_0\) mixes the five Weyl-inequivalent \(T^2\) weight classes, and the required off-diagonal connection elements are exact \(SU(3)\) Gelfand–Tsetlin ladder matrix elements between adjacent GT patterns (the standard lowering-operator formula, a square root of products of pattern-entry differences) — computable in principle, not yet enumerated in the corpus. This is the precise mathematical stratum at which Route A of the \(a_6\) graviton computation is blocked; it is a computation debt at a named location, not an undefined or in-principle gap.
\(\otimes\)Actors — the operator UQF-9 interrogates
The object whose ultraviolet behavior this gate tests is the graviton wave operator on the complete 13D arena, in de-Donder gauge, with its Faddeev–Popov ghost sector:
\[ L_{\rm grav}^{d=13} \;=\; -(\nabla^2+E) \;+\; \text{FP ghosts}. \]
Here \(\nabla\) is the Levi-Civita connection on \(\mathfrak{B}_{\rm active}\) and the graviton lives in \(\mathrm{Sym}^2(T)\). The sign and multiplicity of the ghost subtraction are forced by BRST nilpotency — a certificate, not a choice. UQF-9 does not derive \(E\) or the geometry beneath it: both are given, inherited, frozen upstream; UQF-9 poses the UV question on top of them. The frozen endomorphism spectrum \(E_{\rm frozen}\) is therefore the single largest charged input to this gate and is listed as GIVEN throughout, never as a result of this gate’s own work.
Bundle endomorphism convention: \(\Delta_{\rm bundle}=\nabla^*\nabla+E_{\rm bundle}\), evaluated at the Einstein center \(\mathrm{Ric}=\tfrac{5}{12}g\).
| Bundle | \(E\) (endomorphism) | Spectrum (eigenvalue \(\times\) multiplicity) | \(\mathrm{tr}\,E\) | \(\mathrm{tr}\,E^2\) |
|---|---|---|---|---|
| Scalar | \(E=0\) | \(0\) | \(0\) | \(0\) |
| Vector / 1-form (Hodge) | \(E=\mathrm{Ric}=\tfrac{5}{12}\mathrm{Id}\) | \(5/12\ (\times6)\) | \(5/2\) | \(25/24\) |
| Graviton \(\mathrm{Sym}^2\), full (dim 21) | Lichnerowicz \(E_L\) | \(\tfrac16(\times6),\ \tfrac{5}{12}(\times6),\ \tfrac76(\times6),\ \tfrac{17}{12}(\times2),\ \tfrac53(\times1,\ {\rm pure\ trace})\) | — | — |
| Graviton TT \(\mathrm{Sym}^2_0\) (dim 20) | \(E_L\), transverse-traceless | \(\tfrac16(\times6),\ \tfrac{5}{12}(\times6),\ \tfrac76(\times6),\ \tfrac{17}{12}(\times2)\) | \(40/3\) | \(241/18\) |
The Lichnerowicz operator itself is \((E_Lh)_{ab}=\mathrm{Ric}_{ac}h^c{}_b+\mathrm{Ric}_{bc}h^c{}_a-2R_{acbd}h^{cd}\). The transverse-traceless sector \(\mathrm{Sym}^2_0\) (dimension 20) is the certified graviton input this gate’s \(a_6\) question is actually posed against, carrying \(\mathrm{tr}\,E_L=40/3\) and \(\mathrm{tr}\,E_L^2=241/18\). On the vector bundle the curvature of the connection is \(\Omega_{ab}=\) Riemann, so \(\mathrm{tr}(\Omega_{ab}\Omega^{ab})=-\|\mathrm{Riem}\|^2=-23/12\) — the direct bridge from the curvature backbone above into the field-strength content of the operator whose trace is being expanded.
\(\oplus\)Rulebook — heat-kernel scheme, gauge, and the orbifold defect
The heat-kernel convention fixed throughout is
\[ K(t) \sim (4\pi t)^{-d/2}\sum_k a_{2k}\,t^k \]
(densities per unit volume), governed by the exact product rule stated above. The certified ledger of low coefficients on the relevant factors:
| Object | \(a_0/a_0\) | \(a_2/a_0\) | \(a_4/a_0\) | \(a_6/a_0\) |
|---|---|---|---|---|
| \(K_6\) scalar | \(1\) | \(5/12\) | \(11/120\) | OWED (invariants certified; assembly pending) |
| \(K_6\) vector (tangent) | — | \(\mathrm{tr}\,a_2=0\) | \(\mathrm{tr}\,a_4=-47/360\) | — |
| \(S^2\) scalar (\(r=1\)) | \(1\) | \(1/3\) | \(1/15\) | \(4/315\) |
| \(S^4\) (calibration) | \(1\) | — | — | \(74/63\) |
| \(S^6\) round unit (calibration) | \(1\) | \(5\) | \(12\) | \(1139/63\) |
| Conformal case (calibration) | — | — | — | \(5/63\) |
The sphere ladder is the engine’s validation set: the \(S^6\) row calibrates the \(a_4\) formula to exactly \(12\), a passed control confirming \(K_6\) is not \(S^6\); the \(S^2\) value was independently reproduced this session to relative error \(\sim10^{-15}\) via high-precision Richardson/Vandermonde extrapolation.
The \(\oplus\)Rulebook layer also fixes de-Donder gauge on the graviton, the finite admissibility chamber \(\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\) selecting the Weyl-rigid window \(\vec u\in[1/2,3/2]^3\), and — specific to how the \(S^1_Y/\mathbb{Z}_2\) orbifold factor is treated — the requirement that the \(\mathbb{Z}_2\) reflection \(\theta\mapsto-\theta\), with its two isolated fixed points \(\theta=0,\pi\), be handled by the Donnelly equivariant heat-kernel formalism rather than an ordinary Dirichlet/Neumann boundary treatment. The reflection \(g\)-trace is
\[ \sum \frac{1}{|1-dg|} = 2\times\frac{1}{|1-(-1)|} = 2\times\frac12 = 1, \]
\(t\)-independent, so the equivariant contribution is a clean integer-power Donnelly series with no \(1/\sqrt t\) boundary tower. The per-fixed-point \(a_0\) defect is \(+1/4\) (parity \(+\)) and \(-1/4\) (parity \(-\)); the \(S^2\times(S^1_Y/\mathbb{Z}_2)\) Donnelly defect at sixth order is
\[ a_6^{\rm defect} \;=\; \tfrac12\cdot\frac{4}{315} \;=\; \frac{2}{315}, \]
a genuine \(\tfrac12 c_3^\gamma\) equivariant fixed-point contribution, reproduced independently this session — a Lorentz-clean, finite result, not a boundary tower artifact.
A second, structurally important \(\oplus\)Rulebook fact belongs here because it governs what kind of \(a_6\) number this arena can even produce: at the odd total dimension \(D=13\) of \(\mathfrak{B}_{\rm active}\), the local heat-trace expansion has no local \(t^0\) term at all. The coefficient that would sit at index \(k=D/2=6.5\) is a half-integer index and is simply absent; the naively-named “\(a_6\)” contribution at \(D=13\) in fact multiplies \(t^{3-13/2}=t^{-7/2}\), a pure scheme/cutoff-dependent power divergence that is exactly zero in dimensional regularization. There is therefore no canonical finite dimensionful \(a_6\) (a GeV\(^6\) number) for the full 13-dimensional operator; the well-posed object is instead the finite, dimensionless trace on the even-dimensional compact factor — never a bulk magnitude. This is a rulebook fact about what is askable on this arena, established independently of, and prior to, any specific numerical assembly of the trace.
Ghost derivative-sector ratio, confirmed and closed: \(149/1008\) — the one part of this calculation that is fully cross-checked, standing in useful contrast to the still-open graviton bulk leg (§3.8 of the derivation).
Completing the \(\oplus\)Rulebook layer, and specific to UQF-9’s own construction rather than inherited unchanged: the graded heat-kernel scheme is augmented with a proper-time cost floor \(s_0>0\) under the granularity axiom (AXIOM-COSTFLOOR — an irreducible quantum of cost/action \(\Delta_0>0\), equivalently a uniform Lorentz-scalar proper-time floor, never a coordinate-length floor). This floor regulates the \(t\to0\) end of every integral above without altering any of the finite, positive-\(t\) coefficients quoted in this section; it is pinned at all three layers simultaneously — as a feature of the full metric arena (×), as the proper-time regulator inserted into the heat-kernel scheme (⊕), and as the floor on the operator’s proper-time parameter \(t\) itself, never on any field’s coordinate (⊗).
The Planck-normalization read-off — the derived floor \(M_*\)
The final piece of arena bookkeeping this gate needs is the derived ultraviolet floor scale, obtained from the geometry fixed above plus one measured anchor. The ordinary (non-reduced) Planck normalization reads
\[ M_{\rm Pl}^2 \;=\; M_*^{\,D-2}\,\mathrm{Vol}(X_{\rm active}),\qquad D=13,\qquad X_{\rm active}=K_6\times S^2\times(S^1_Y/\mathbb{Z}_2)\ \ (\dim=9). \]
With \(\mathrm{Vol}(X_{\rm active})=3.704417261398702\times10^{-148}\ {\rm GeV}^{-9}\) from above and the measured Planck anchor \(M_{\rm Pl}=1.220900000000000\times10^{19}\) GeV:
\[ M_*^{11} \;=\; \frac{M_{\rm Pl}^2}{\mathrm{Vol}(X_{\rm active})} \;=\; 4.023836152402511\times10^{185}\ {\rm GeV}^{11}, \] \[ \boxed{M_* \;=\; 7.467050992135091\times10^{16}\ {\rm GeV}} \]
(the correct one-/two-significant-figure round of this value is \(M_*\approx7\times10^{16}\) GeV, or \(\approx7.5\times10^{16}\) GeV to two figures — not \(6\times10^{16}\) GeV; a “\(\approx6\times10^{16}\) GeV” order-of-magnitude label that appears in some earlier UV-facing handoffs is a stale/incorrect prose figure, corrected here, and is neither a valid rounding of \(7.467\times10^{16}\) nor a differently-normalized value that has been shown to equal \(6\times10^{16}\) — the exact number to reproduce is \(7.467050992135091\times10^{16}\) GeV). \(M_*\) is not an independent input: it is entirely fixed by the measured Planck mass and the derived compact volume — page-sourced geometry, not a fresh measured anchor, and not by itself a certificate of UV completeness. It is, concretely, the energy at which UQF-9’s granularity construction physically bottoms out: the scale below which the cost-floor axiom, not any dynamical assumption, takes over and forbids the \(a\to0\) continuum limit from ever being reached.
What each layer carries physically for this gate
The \(\times\)Stage layer — \(\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) at \(D=13\), with \(K_6=SU(3)/T^2\) pinned at its symmetric Einstein center — fixes the operator \(L_{\rm grav}^{d=13}\) itself, the entire curvature backbone that feeds every heat-kernel coefficient (the certified ratio \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2=23/75\) foremost), and the numerical location of the derived floor \(M_*\). The \(\oplus\)Rulebook layer — de-Donder gauge, the \(F^+\) admissibility chamber and its Weyl-rigid selector, the \(\mathbb{Z}_2\) orbifold parity treated equivariantly rather than as a boundary, the odd-\(D\) well-posedness rule that forbids a bulk dimensionful \(a_6\), and the graded heat-kernel scheme carrying the proper-time cost floor \(s_0\) — fixes which finite quantities can be asked for at all and how the short-proper-time end of the theory is regulated without picking a preferred frame. The \(\otimes\)Actors layer — the graviton \(\mathrm{Sym}^2(T)\) field with its certified Lichnerowicz spectrum \(E_L\), the Faddeev–Popov ghosts with BRST-forced sign and multiplicity, the Levi-Civita connection \(\nabla\), and the Peter–Weyl Casimir tower with its named Gelfand–Tsetlin gap — fixes the precise operator whose trace is being expanded and pinpoints exactly where the remaining computation debt sits. Every one of these facts is inherited and given; UQF-9’s contribution, built on top of this frozen arena, is the class-dissolution theorem and Lorentz-cleanliness theorem addressed in the derivation that follows this section.
Construction I - the deep-root anchoring
What this section does. UQF-9 asks one question of the frozen thirteen-dimensional arena: run the theory to infinite energy — does it stay a consistent quantum theory, or does it manufacture an unbounded tower of short-distance divergences no finite set of counterterms can absorb? The fixed terminal, CERTIFIED-IRREDUCIBLE · RESOLVED +0, is not asserted; it is the end of a chain in which each of the three deep roots — Shape, Scale, Granularity — is applied completely (all three layers, full precision) and then the result is passed through the four Layer-2 admissibility screens before any claim is made. Skipping a layer, reading a curvature ratio off the wrong metric normalization, or floating the granularity axiom as a length rather than a Lorentz scalar would each, silently, turn a genuine result into an artifact indistinguishable from one at the level of a bare number. This section shows the three roots and the four screens in full; Construction II carries the resulting reduction to the named external object forward to the terminal.
I.1 Shape — the complete three-layer object
The operator under interrogation. UQF-9 poses its question of the thirteen-dimensional graviton wave operator
\[ L_{\rm grav}^{d=13} \;=\; -(\nabla^2+E)\;+\;\text{Faddeev–Popov ghost sector}, \]
fixed in de-Donder gauge on the frozen active branch \[ \mathfrak{B}_{\rm active} \;=\; \mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2, \qquad K_6=SU(3)/T^2,\qquad D=4+6+2+1=13. \]
This branch is the complete layered object \(\mathfrak{B}_{\rm active}=[\times\text{Stage}]\oplus[\oplus\text{Rulebook}]\otimes[\otimes\text{Actors}]\) — the ⊕ and ⊗ layers are non-metric (0-dimensional) but are part of the frozen branch and are never dropped. Pinning only the metric factors and leaving gauge, scheme, and operator content implicit is exactly the truncation this dossier must not commit.
× Stage — the metric geometry. \(\mathcal{M}_4=\mathbb{R}^{3,1}\) is the primitive Minkowski factor. \(K_6=SU(3)/T^2\) is the full \(A_2\) flag manifold — Cartan basis \((h_1,h_2,h_3)\) with \(h_1+h_2+h_3=0\), simple roots \(\alpha_1=(1,-1,0)\), \(\alpha_2=(0,1,-1)\), positive roots \(\{\alpha_1,\alpha_2,\alpha_1+\alpha_2\}\), Weyl group \(S_3\) — Weyl-rigid with squashing moduli \(\vec u=(u_1,u_2,u_3)\in[1/2,3/2]^3\) frozen at the symmetric chamber center \(\vec u=(1,1,1)\), the only admissible chamber point for this gate’s curvature backbone. \(S^2\) is the round two-sphere carrying weak-isospin routing. \(S^1_Y/\mathbb{Z}_2\) is the active hypercharge orbifold — the derived quotient of the parent circle \(S^1_Y\) under the reflection \(\theta\mapsto-\theta\), with two isolated fixed points \(\theta=0,\pi\). Only this × layer carries metric dimension; it is exactly what fixes \(D=13\), the internal holonomy \(K_6\times S^2\times S^1_Y\), and — through the Planck-normalization relation of section I.2 — the numerical location of the floor \(M_*\). At the chamber center all three internal radii collapse to the single compactification scale \[ R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ \mathrm{GeV}^{-1},\qquad M_U=1.0\times10^{16}\ \mathrm{GeV}, \] with the hypercharge circle carrying the extra orbifold-halving factor at the level of KK-momentum quantization (\(R_Y=\tfrac12R_0\) post-quotient). This specific Stage is what the ghost sector, the de-Donder gauge-fixing, and the Lichnerowicz endomorphism \(E_L\) appearing in \(L_{\rm grav}^{d=13}\) are all built on top of — a computation performed on a different \(K_6\) normalization, a different chamber point, or the un-quotiented parent circle would not be computing \(a_6\) of this operator.
⊕ Rulebook — scheme, gauge, admissibility. The Rulebook fixes de-Donder gauge for the graviton; the finite chamber \(\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\) supplying the Weyl-rigid admissibility selector on \(\vec u\) (off-center squashings are eliminated, leaving only \(\vec u=(1,1,1)\) as a legal input); the \(\mathbb{Z}_2\) orbifold parity on \(S^1_Y\); and — once the granularity axiom of section I.3 is adopted — the graded heat-kernel scheme carrying a proper-time cost-floor \(s_0\). The Rulebook is also where the correct reading of the \(S^1_Y/\mathbb{Z}_2\) quotient lives: this is a Donnelly equivariant orbifold-fixed-point defect, not an ordinary Neumann/Dirichlet boundary. Getting this Rulebook choice right is the difference between correctly reading off the finite equivariant defect \(a_6=\tfrac12(4/315)=2/315\) (section I.1 of Construction II material, reproduced below in I.4) and inventing a spurious boundary tower that does not exist — reflection \(g\)-trace \(=1\), from two fixed points each contributing \(1/|1-(-1)|=1/2\), with per-fixed-point \(a_0\) defects \(+1/4\) (parity \(+\)) and \(-1/4\) (parity \(-\)).
⊗ Actors — the operator content. The graviton field is \(\mathrm{Sym}^2(T)\), decomposed into the transverse-traceless part \(\mathrm{Sym}^2_0\) (dimension 20) and the pure-trace mode (dimension 1). The Faddeev–Popov ghosts carry a subtraction sign and multiplicity forced by BRST nilpotency — a certificate, not a discretionary choice. The connection is Levi-Civita \(\nabla\) (equivalently the Nomizu/Wang–Ziller invariant connection on the homogeneous space), and the bundle endomorphism for the graviton leg is the Lichnerowicz operator, \[ (E_Lh)_{ab}=\mathrm{Ric}_{ac}h^c{}_b+\mathrm{Ric}_{bc}h^c{}_a-2R_{acbd}h^{cd}, \] whose certified spectrum on \(\mathrm{Sym}^2_0\) at the Killing-form Einstein center (\(\mathrm{Ric}=\tfrac5{12}g\)) is \[ \left\{\tfrac16\,(\times6),\ \tfrac{5}{12}\,(\times6),\ \tfrac76\,(\times6),\ \tfrac{17}{12}\,(\times2)\right\},\qquad \mathrm{tr}\,E_L=\tfrac{40}{3},\qquad \mathrm{tr}\,E_L^2=\tfrac{241}{18}, \] (the full \(\mathrm{Sym}^2\), dimension 21, adds the pure-trace eigenvalue \(5/3\)). These are exact rationals, not floating approximations, and they are the certified graviton inputs any \(a_6\) route must consume unmodified. On the vector/1-form sector the same Ricci-Weitzenböck endomorphism is \(E=\mathrm{Ric}=\tfrac{5}{12}\mathrm{Id}\), multiplicity 6, \(\mathrm{tr}\,E=5/2\), \(\mathrm{tr}\,E^2=25/24\) — the certified Route-B vector input.
The load-bearing demonstration: what a truncated Shape produces. The corpus contains a direct, reproduced proof that completeness of Shape is not a formality. Two independent engines computed the \(K_6\) curvature backbone at the Killing-form center. The correct, Bianchi-exact route gives \[ \mathrm{Scal}=\frac52,\qquad \mathrm{Ric}_i=\frac{5}{12}\ (\forall i),\qquad |\mathrm{Riem}|^2=\frac{23}{12},\qquad \boxed{\frac{|\mathrm{Riem}|^2}{\mathrm{Scal}^2}=\frac{23}{75}=0.3066666666666667}, \] independently reproduced by a naturally-reductive Kostant/Besse-connection route at the \(R_6\)-normalization instance (\(\mathrm{Scal}=15\), \(\mathrm{Ric}_i=2.5\) on all three eigenvalues, \(|\mathrm{Riem}|^2=69\), ratio \(=0.30666666666666675\)), agreeing with \(23/75\) to a first-Bianchi residual of \(6.66\times10^{-16}\) — exact within floating-point noise. A second, corrupted-Shape run — a mis-specified or truncated curvature input — produced \(\mathrm{Scal}=18\), \(|\mathrm{Riem}|^2=76.5\), ratio \(17/72=0.2361\ldots\), and failed the first Bianchi identity (the algebraic symmetry \(R_{a[bcd]}=0\)) by a residual of \(0.25\): eleven-plus orders of magnitude worse than the correct route’s \(6.66\times10^{-16}\) first-Bianchi residual. (Naming discipline: the \(0.25\) diagnostic is a first-Bianchi residual throughout this dossier; the second (differential) Bianchi identity \(\nabla_{[a}R_{bc]de}=0\) is the separate check that certifies \(|\nabla\mathrm{Riem}|^2=1/4\) with zero violations — the two are distinct and are not to be interchanged.) A Bianchi violation of \(0.25\) on a homogeneous space is not numerical noise; it is the geometric fingerprint of an incomplete or mis-normalized Shape. \(17/72\) and its downstream contaminant \(31/147=0.2109\ldots\) are frozen negative controls, retracted, never printed as a result of this or any other gate; likewise \(|\mathrm{Riem}|^2=60\) belongs to the round unit \(S^6\), a different space, never \(K_6\). Two further cross-checks corroborate the correct Shape independently of the curvature computation itself: \(\mathrm{Scal}/\mathrm{Ric}_i=6=\dim K_6\) in both metric normalizations, and \(|\mathrm{Ric}|^2/\mathrm{Scal}^2=1/6\) in both — plus the topological invariant \(\chi(K_6)=6\) and the classification of exactly four invariant Einstein metrics on \(SU(3)/T^2\) (the normal metric \((1,1,1)\) plus the Kähler–Einstein metric \((1,1,2)\) and its three permutations), both reproduced independently as validations of the engine rather than assumed. Any \(a_6\) or curvature computation that does not reproduce \(23/75\) is, by definition, operating on a truncated or incorrect Shape, and its output is an artifact, not a result — this is the operative rule that makes the still-open route-inconsistency of section I.4 diagnosable rather than merely mysterious.
What Shape forces for UQF-9. Completely applied, Shape (i) fixes the exact operator \(L_{\rm grav}^{d=13}\), its gauge, and its ghost content — there is no ambiguity about which Laplace-type operator is under test; (ii) fixes the internal holonomy \(K_6\times S^2\times S^1_Y\) supplying both the curvature invariants entering \(a_6\) and the volume entering the Planck normalization that locates \(M_*\); and (iii) fixes, via the Weyl-rigid admissibility selector, that only the symmetric chamber center is a legal evaluation point — eliminating a continuum of off-chamber squashed geometries as inadmissible inputs to this gate.
I.2 Scale — \(M_{\rm Pl}\) over the complete Shape; \(M_*\) as a read-off, not an input
UQF-9 is, at bottom, the ultraviolet-scale question: does the theory survive being pushed to the highest energy the geometry can express? Scale supplies both the anchor from which that question is posed and the derived floor at which Granularity (section I.3) actually does its work.
The measured anchor is the ordinary (not reduced) Planck mass, \[ M_{\rm Pl} = 1.220900000000000\times10^{19}\ \mathrm{GeV}. \] The complete Shape of section I.1 supplies the internal volume this anchor is normalized against. The Planck-normalization relation is \[ M_{\rm Pl}^2 = M_*^{\,D-2}\,\mathrm{Vol}(X_{\rm active}), \qquad D=13,\qquad X_{\rm int}=K_6\times S^2\times(S^1_Y/\mathbb{Z}_2),\quad \dim X_{\rm int}=9, \] so \(D-2=11\) is the exponent carried by \(M_*\). Evaluated at the chamber center with \(R_6=R_2=R_0\) and the active (\(\mathbb{Z}_2\)-quotiented, not parent) hypercharge volume: \[ V_{K_6,0}=\frac{(2\pi)^3}{\sqrt3}=143.2118575035129,\qquad \mathrm{Vol}(K_6)=V_{K_6,0}R_0^6=2.327554010848277\times10^{-99}\ \mathrm{GeV}^{-6}, \] \[ \mathrm{Vol}(S^2)=4\pi R_0^2=3.183098861837907\times10^{-33}\ \mathrm{GeV}^{-2},\qquad \mathrm{Vol}(S^1_Y/\mathbb{Z}_2)=\pi R_0=5.000000000000000\times10^{-17}\ \mathrm{GeV}^{-1}, \] \[ \boxed{\mathrm{Vol}(X_{\rm active}) = \mathrm{Vol}(K_6)\,\mathrm{Vol}(S^2)\,\mathrm{Vol}(S^1_Y/\mathbb{Z}_2) = 3.704417261398702\times10^{-148}\ \mathrm{GeV}^{-9}.} \] Dividing the squared measured anchor by this derived volume, \[ M_*^{11} = \frac{M_{\rm Pl}^2}{\mathrm{Vol}(X_{\rm active})} = \frac{(1.220900000000000\times10^{19})^2}{3.704417261398702\times10^{-148}} = 4.023836152402511\times10^{185}\ \mathrm{GeV}^{11}, \] and taking the eleventh root, \[ \boxed{M_* = 7.467050992135091\times10^{16}\ \mathrm{GeV},} \] whose correct order-of-magnitude round is \(M_*\approx7\times10^{16}\) GeV (\(\approx7.5\times10^{16}\) GeV to two figures). (A “\(\approx6\times10^{16}\) GeV” figure appearing in some earlier UV-facing handoffs is a stale/incorrect prose label — \(7.467\times10^{16}\) does not round to \(6\times10^{16}\) — and is corrected throughout this dossier to the true \(\approx7.5\times10^{16}\) GeV; the exact reproducible value is unchanged at \(7.467050992135091\times10^{16}\) GeV.) Two facts about this number are load-bearing for the deep-root reading of UQF-9. First, \(M_*\) is not an independent input: it is algebraically determined once the measured anchor \(M_{\rm Pl}\) and the derived Shape volume \(\mathrm{Vol}(X_{\rm active})\) are both fixed — there is no dial being turned to place the floor conveniently, and no target-blindness violation is possible here because the volume was fixed by Shape before this division was ever performed. Second, and more consequential for the gate’s terminal, \(M_*\) by itself certifies nothing about the ultraviolet: it is a geometry-and-anchor read-off — the location at which the cost floor of section I.3 happens to sit, given this Shape and this anchor — not a proof that physics is well-behaved there. Under the reduced Planck convention \(\bar M_{\rm Pl}=M_{\rm Pl}/\sqrt{8\pi}\approx2.4357\times10^{18}\) GeV the same geometric volume is unchanged and only the anchor-side normalization rescales; the Shape-derived content of \(M_*\) is convention-independent. For completeness, the unification scale itself carries its own consistency check, not asserted but closed: the two-loop RG triple-equality \(\alpha_1(M_U)=\alpha_2(M_U)=\alpha_3(M_U)\) closes with residual \(9.6\times10^{-11}\), well inside the propagated \(\sim10^{-3}\) PDG band, so \(M_U=1.0\times10^{16}\) GeV feeding \(R_0\) (and hence \(\mathrm{Vol}(X_{\rm active})\) and \(M_*\)) is not itself a loose thread.
What Scale forces for UQF-9. Completely applied — meaning the active, \(\mathbb{Z}_2\)-quotiented, chamber-center volume of the complete nine-dimensional internal Shape, never a partial or parent-circle volume — Scale (i) supplies the coupling-defining anchor \(M_{\rm Pl}\) against which “arbitrarily high energy” is measured; (ii) forces \(M_*\) to a single, fully determined value with zero residual freedom once \(M_{\rm Pl}\) and Shape are fixed; and (iii) exposes that this floor is a location, not a certificate: Scale alone answers “where,” never “whether” — which is exactly why Granularity and, beyond it, the P★ reduction of Construction II are both still needed to answer “whether.”
I.3 Granularity — the cost floor, applied completely across all thirteen dimensions and three layers
This is the root that performs the actual class-dissolution, and it is the root for which completeness and layer-discipline are least optional: the entire relativistic cleanliness of the result depends on which quantity is floored and over which directions.
The axiom, stated precisely. AXIOM-COSTFLOOR posits an irreducible quantum of cost/action \(\Delta_0>0\), equivalently a uniform proper-time floor \(s_0>0\) — a floor on a Lorentz scalar, never on a spatial length, a lattice spacing, or any frame-dependent quantity. This is not a new posit invented for this gate; it is the same structural move as three already-established, already-measured cost currencies: - Margolus–Levitin, \(\tau\geq\pi\hbar/2E\) (time/action currency), - Landauer, \(\Delta E\geq k_BT\ln2\) (energy/bit currency), - Bekenstein, \(S\leq 2\pi k_BRE/\hbar c\) (information/region currency),
each an established, tested physical inequality, consumed here as the \(\geq1\) measured invariant underwriting the floor as physics rather than as a bare posit. The move genuinely specific to this gate is where the floor is relocated: from a smallest length — the traditional, and relativity-breaking, minimal-length regularization — to a smallest cost/action, a Lorentz scalar. That relocation is applied completely: uniformly over all thirteen dimensions including time, not merely the nine compact ones, and at all three layers simultaneously — it constrains the ×Stage proper-time parametrization; it enters the ⊕Rulebook as the graded heat-kernel scheme’s short-distance regulator; and it acts on the ⊗Actors heat-kernel functional itself, \(K(t)\sim(4\pi t)^{-d/2}\sum_k a_{2k}t^k\), by placing a floor \(t\geq s_0\) below which the expansion is simply never evaluated.
T-CONT — the class-dissolution theorem. With \(s_0>0\) imposed uniformly, the \(t\to0\) limit that would otherwise generate the unbounded high-order Seeley–DeWitt counterterm tower \(\{a_8,a_{10},a_{12},\ldots\}\) never occurs, because those terms diverge only as \(t\to0\) and \(t\) is bounded away from zero by construction. This is proved with disciplined, narrow scope: it is exactly one wall out of an eleven-member catalogued inventory that dissolves this way. The other ten are left explicitly untouched, including — critically — the finite coefficient \(a_6\) itself, which exists term-by-term at any finite lattice spacing and identically in the continuum limit; there is no \(a\to0\) infinity inside \(a_6\) for a floor to remove, because \(a_6\) is a finite curvature datum, not a divergence. The cosmological-constant walls are likewise untouched. T-CONT dissolves a class of infinities; it does not touch, address, or improve the finite quantities that survive alongside that class, and conflating the two would be exactly the over-claim this dossier is built to avoid.
T-LI — the Lorentz-cleanliness theorem. Because the floored quantity \(\Delta_0\) (equivalently \(s_0\)) is a scalar under the full \(\mathcal{M}_4\) Lorentz group — cost, action, and information are frame-independent — the regulator built from it selects no preferred rest frame. This is a proved theorem of the axiom, not a second posit bolted on afterward: had the floor instead sat on a spatial length or a fixed lattice spacing in some frame, Lorentz invariance would have been explicitly broken, handing the theory a preferred frame at the floor scale — a far worse kind of new physics than the one being dissolved. Completeness of Granularity here specifically means the floor acts identically in every inertial frame and along every one of the thirteen dimensions’ proper-time parametrization; a floor behaving differently along \(\mathcal{M}_4\) than along \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\), or secretly reducing to a 3-space cutoff in some frame, would break T-LI and reopen precisely the frame-dependence problem the reframe exists to avoid.
Where the floor sits, and what it does not certify. The founding axiom is silent on where \(\Delta_0\)/\(s_0\) numerically sits; that number is imported from Scale (section I.2), landing at \(M_*=7.467050992135091\times10^{16}\) GeV, \(\approx7.5\times10^{16}\) GeV rounded (not \(6\times10^{16}\); see §I.2). Granularity supplies the mechanism — why the class dissolves, and why it does so without breaking Lorentz invariance; Scale supplies the location. Neither, separately or jointly, proves that the finite-cutoff theory at and below that floor is free of the other kind of ultraviolet trouble — the coercivity/fixed-point question — which is exactly the content carried forward to the P★ reduction in Construction II.
Atomicity of the axiom. The cost-floor construct is graded ATOMIC / terminal-as-physics: it is a measured anchor (via the three established bounds above), it can be relocated (from length to cost/action, as done here) but never eliminated — every regularization scheme for a quantum field theory carries some floor or cutoff, explicit or implicit, and the substantive choice made here is which frame-covariant quantity carries it, not whether one exists at all. T-LI and T-CONT are both proved theorems of this axiom, not further posits stacked on top of it; anchored is not derived, stated plainly rather than smoothed into a hedge. Demanding proof that the cost-floor premise is forced by reality rather than posited is an infinite regress: any deeper “must be operationally realizable” principle is an equal-strength relocation of the same axiom — a category error to demand, not a further gap in this construction.
What Granularity forces for UQF-9. Completely applied — a Lorentz-scalar floor uniform over all thirteen dimensions and pinned at all three layers — Granularity (i) dissolves exactly the \(a\to0\) divergence class \(\{a_8,a_{10},a_{12},\ldots\}\) before it can form; (ii) does so provably without selecting a preferred frame; (iii) explicitly and by construction leaves the finite \(a_6\) coefficient, the cosmological-constant walls, and nine other catalogued walls completely untouched; and (iv) leaves the coercivity/fixed-point question as the one item Granularity was never going to answer, because that is a statement about the theory’s behavior at and below the floor scale, not about the \(t\to0\) limit Granularity removes.
I.4 The a₆ datum under the complete Shape — where completeness is tested against live arithmetic
Although \(a_6\) is untouched by the Granularity dissolution, it is the concrete place where the complete-Shape discipline of section I.1 is tested against real, currently unreconciled arithmetic — the evidence that “complete Shape” performs epistemic work rather than being merely asserted.
The certified cubic (weight-6) curvature invariants at the Killing-form Einstein center, required by any \(a_6\) computation, are \[ K_1\equiv R_{ab}{}^{cd}R_{cd}{}^{ef}R_{ef}{}^{ab}=8\,\mathrm{tr}(R_{\rm op}^3) = -\frac{113}{72},\qquad K_2\equiv R_{abcd}R_{aecf}R_{ebfd} = -\frac{5}{72},\qquad |\nabla\mathrm{Riem}|^2=\frac14\neq0, \] the last of which (via the Nomizu computation, passing the second Bianchi identity with zero violations) certifies that \(K_6\) is homogeneous but not locally symmetric — a physically consequential fact: it is why the \(a_6\) graviton leg must carry a Gelfand–Tsetlin ladder term at all. Two computation routes are run against this certified backbone:
- Route A (Gilkey/Lichnerowicz on the transverse-traceless graviton \(\mathrm{Sym}^2_0\)) consumes the certified Lichnerowicz spectrum \(\{\tfrac16,\tfrac{5}{12},\tfrac76,\tfrac{17}{12}\}\) with multiplicities \((6,6,6,2)\), the curvature 2-form \(\Omega=\mathrm{Riem}\), and an as-yet-unenumerated Gelfand–Tsetlin off-diagonal hopping term — the Lichnerowicz first-order term mixing the five Weyl-inequivalent \(T^2\) weight classes on \(\mathrm{Sym}^2_0\). These matrix elements are exact \(SU(3)\) GT ladder elements (the standard lowering-operator formula, a square root of products of pattern-entry differences) between adjacent GT patterns — exact in principle, but not yet enumerated in the atlas. Route A’s graviton leg is therefore OWED, a bounded computation-debt at a named stratum, not an in-principle gap. The ghost derivative-sector ratio \(149/1008\) on this route is, however, already confirmed.
- Route B (ghost-plus-vector reconstruction) consumes the certified vector endomorphism \(E=\mathrm{Ric}=\tfrac5{12}\mathrm{Id}\) and the scalar backbone; the scalar-sector ratio \(a_6/a_2^3=7936/39375\) is banked and cross-checked across three-plus independent engines, but the graviton leg needed to complete the reconstruction is likewise OWED.
A direct comparison run this cycle finds the two routes’ totals disagree by \(|31/48|\approx0.65\) — six orders of magnitude outside the pre-registered \(10^{-6}\) reconciliation tolerance. This is conjecturally attributed, not proved by a shown propagation: the disagreement is believed to originate in the same contaminated Riemann-norm sector responsible for the retracted \(17/72\)-vs-correct-\(23/75\) ratio of section I.1 (a contamination measuring \(\approx10.9\%\) on \(\|\mathrm{Riem}\|^2\), \(20\%\) on \(\mathrm{Scal}\), \(23.0\%\) on the ratio — an earlier “\(\sim31.2\%\)” figure is withdrawn as not reproducible from any of these, and no calculation propagating this input error to exactly \(|31/48|\) has yet been exhibited). Because the fabrication guard outranks confidence, no TOTAL value for \(\mathrm{tr}[a_6(L_{\rm grav}^{d=13})]\) is formable or emitted while the routes disagree, and the positivity question \(P(\mathrm{tr}[a_6])\geq0\) is correspondingly unevaluated. Numbers computed downstream of the partly-contaminated pipeline are recorded here strictly as labeled, non-authoritative audit artifacts, never as physics results: the retracted dimensionful bulk value \(a_6=-2.818\times10^{94}\ \mathrm{GeV}^6\) (withdrawn, Bianchi-contaminated) and its Bianchi-exact re-run \(a_6=-2.995681680\times10^{94}\ \mathrm{GeV}^6\) (admissible only as a labeled consistency coefficient, still route-inconsistent with Route A, scheme-anchored) — neither is gate-closing, neither should be read as one.
A separate audit cross-check (banked, exact rationals) records four scalars from the master anchor ledger — graviton leg \(-6373/630\), physical defect \(a_6=-7226/35\), \(\tfrac12c_3^\gamma=-337361/840\), bulk graded \(a_6=-953329/1260\) — assembling to a banked route-reconciliation value \(\mathbf{AUD\text{-}0059=-491353/630}\) (the “a₆-trace,” SAG-A6-KEYSTONE), itself certified upstream by independent batch-6 two-engine agreement and a batch-10 Bianchi-forced blast-radius-zero audit. Honestly reported: no naive linear combination of the four banked scalars reproduces AUD-0059 exactly (seventeen unit-coefficient combinations tried — four individual, six pairwise sums, six pairwise differences, one sum-of-all-four; an earlier “seven” undercounted the menu — all fail) — logged as COMPUTATION-NOT-INDEPENDENTLY-REPRODUCED-AT-THIS-COST-LEVEL, an audit-closed, not physics-closed, ceiling; this does not overturn AUD-0059, but the true reconciliation needs graded/Gelfand–Tsetlin representation-multiplicity bookkeeping beyond a bare linear sum, not yet carried out.
A structurally independent fact forecloses one tempting route to “fixing” this by brute force. At the frozen odd spacetime dimension \(D=13\), the local heat-kernel expansion has no \(t^0\) term at the coefficient index that would carry a dimensionful \(a_6\): the would-be term sits at order \(t^{3-13/2}=t^{-7/2}\), a pure scheme/cutoff-dependent power divergence that vanishes identically in dimensional regularization. There is therefore no canonical finite dimensionful \(a_6\) (a GeV\(^6\) magnitude) to anchor at all — this sub-question is DISSOLVED-AS-ILL-POSED, not merely unsolved, and the correctly-posed owed object is the finite dimensionless trace (MO-9), never a bulk GeV\(^6\) magnitude to be chased.
Calibration results survive this scrutiny cleanly and are banked as the engine’s validation ladder: scalar \(S^2\), \(a_6/a_0=4/315\) (reproduced to relative error \(\sim10^{-15}\) via high-precision Richardson/Vandermonde extrapolation); \(S^4\), \(74/63\); \(S^6\) round unit, \(1139/63\) (this row calibrates the \(a_4\) formula, returning exactly \(12\) — a passed control confirming \(K_6\) is not \(S^6\)); conformal, \(5/63\). The Donnelly equivariant defect on \(S^2\times(S^1_Y/\mathbb{Z}_2)\), \(a_6=\tfrac12\cdot(4/315)=2/315\), is a genuine fixed-point contribution (\(\tfrac12c_3^\gamma\)) correctly derived from the Rulebook-layer equivariant treatment of section I.1 — not a fabricated boundary-tower artifact.
What section I.4 forces for UQF-9. The complete-Shape discipline is what makes it possible to state, with precision rather than a shrug, exactly why \(a_6\) is currently unreconciled: not because the geometry is unclear, but because one identified computational sector carries a quantifiable \(\approx10.9\)–\(23\%\) curvature-input contamination (the retracted \(17/72\) branch; the earlier “\(\sim31.2\%\)” figure is withdrawn as not reproducible), one graviton matrix-element stratum (Gelfand–Tsetlin off-diagonals) is honestly unenumerated, one audit-banked value (AUD-0059) resists reproduction by naive linear combination and needs graded bookkeeping, and the odd dimensionality of \(D=13\) independently forbids a canonical dimensionful answer in the first place. None of this bears on the class-dissolution of section I.3 — \(a_6\) is finite, not divergent, and was never a candidate for the floor to remove — but it is exactly the kind of honestly-labeled computation-debt a CERTIFIED-IRREDUCIBLE grade is required to show, never hide.
I.5 The four Layer-2 admissibility screens
Each of Shape, Scale, and Granularity, applied completely, is passed through the four Layer-2 filters before any closure claim is made.
Invariance / physical equivalence — PASS, load-bearing. T-LI (section I.3) is precisely a proof that this screen passes: the floored quantity is a Lorentz scalar, so no choice of frame changes what is floored or where the floor sits, and the fixed-point-existence question posed of \(L_{\rm grav}^{d=13}\) is a scheme-invariant physical question — whether a genuine renormalization-group fixed point exists is not an artifact of gauge or coordinate choice. This screen is what makes the class-dissolution relativistically clean rather than a computational convenience; a minimal-length regularization would have failed this screen outright by selecting a preferred frame at the cutoff scale.
Record interface — EXPOSE (not blocked). The heat-kernel functional, the cubic curvature invariant basis, the Lichnerowicz spectrum, and the cross-checks of section I.4 are all reproducible, independently reviewable objects — a computation/theorem-shaped question, in-principle decidable by direct calculation. This is exactly why the route-inconsistency of section I.4 is correctly reported as a computation-debt, not dissolved as unrecordable. The fixed-point-existence question likewise does not dissolve on this screen: it is a well-posed mathematical question about a specific renormalization-group flow, decidable in principle by exhibiting a fixed point or proving none exists. Observables of this kind never dissolve as a matter of course — which is precisely why that residual content is not waved away here but is instead handed forward to the named external object \(P^\star\) in Construction II.
Causal order / target-blindness — PASS. This screen is explicitly not a primary load-bearing anchor for UQF-9: no reasoning here proceeds from a desired UV-completion answer backward into which rule or curvature branch to adopt. The Bianchi-exact backbone \(23/75\) was selected because it passes the second Bianchi identity to \(6.66\times10^{-16}\) and reproduces the topological invariants (\(\chi(K_6)=6\), \(\chi(S^2)=2\)) and the four-Einstein-metric classification — never because it produced a convenient \(a_6\). The \(a_6\) route-inconsistency of section I.4 is reported honestly despite remaining unresolved, itself evidence against a target-blindness violation: a target-driven computation would have quietly picked whichever route gave the “nicer” number and suppressed the \(|31/48|\) disagreement rather than publishing it as an open residual.
Nonseparability — EXPOSE / count-once, load-bearing. The residual coercivity content — everything Granularity leaves untouched, i.e. the truncation-independent-fixed-point question — is not unique to UQF-9. It is the identical object shared by Gap-02, UQF-3, UQF-14, and UQF-5C: the Clay-class Yang–Mills/UV-coercivity wall \(P^\star\). This screen is what prevents the dossier from silently double-counting the same open problem as four separate framework-specific weaknesses, and it is the discipline that forces the honesty carried throughout this section: one class-dissolution theorem plus one Lorentz-cleanliness theorem plus one geometry-fixed floor location is not whole-gate UV completion — the shared nonseparable residual is real, is external, and is counted exactly once across the four gates that inherit it.
I.6 What the three roots, completely applied, establish for UQF-9
Shape, applied at all three layers without truncation, fixes the exact operator under test and certifies — via the Bianchi/Euler-characteristic/Einstein-metric cross-checks of section I.1 — that the curvature backbone feeding every downstream computation is the correct one, \(|\mathrm{Riem}|^2/\mathrm{Scal}^2=23/75\), never the contaminated \(17/72\). Scale, applied over the complete nine-dimensional active internal volume, fixes the floor location at \(M_*=7.467050992135091\times10^{16}\) GeV with zero residual freedom beyond the measured \(M_{\rm Pl}\). Granularity, applied as a Lorentz-scalar cost/action floor uniform across all thirteen dimensions and all three layers, proves the class-dissolution theorem T-CONT and the Lorentz-cleanliness theorem T-LI — disciplined to exactly one of eleven catalogued walls. The four Layer-2 screens confirm that this dissolution is frame-independent (Invariance), that the remaining fixed-point question is a genuine, reviewable, undissolved observable rather than a record-impossible artifact (Record Interface), that no target-driven reasoning entered the curvature-branch selection (Causal Order), and that the leftover coercivity is a single externally-shared wall, not four independent framework debts (Nonseparability). What survives all three roots and all four screens is exactly, and only, the reduction to the named external object \(P^\star\) — the content Construction II carries to the fixed terminal.
Construction II - the full derivation
What this section does. Construction I fixed the object — the pinned three-layer operator \(L_{\rm grav}^{d=13}\) on the complete frozen Shape, the derived floor \(M_*\), and the Granularity axiom that produces T-CONT and T-LI — and showed why a truncated version of any of those three roots produces an artifact rather than a result. This section carries out the actual derivation the gate demands: it proves T-CONT and T-LI as theorems (not assertions), walks the full Seeley–DeWitt / heat-kernel machinery term by term for both routes to the sixth coefficient \(a_6\), shows exactly where and by how much the two routes disagree, proves the odd-dimension dissolution that removes the dimensionful version of the question entirely, and closes with the explicit reduction of the one remaining piece — RG fixed-point existence — to the named external object \(P^\star\). Every number below is either quoted from the frozen record with its defining equation shown, or obtained here by an explicit intermediate calculation; nothing is asserted without the arithmetic that produces it.
II.1 The operator and the two questions, restated for derivation
The interrogated operator, complete at all three layers, is \[ L_{\rm grav}^{d=13} = -(\nabla^2 + E)\ +\ \text{FP ghost sector}, \qquad E = E_L\ \text{(Lichnerowicz)},\qquad D=13, \] on \(\mathfrak{B}_{\rm active}=\mathcal{M}_4\times K_6\times S^2\times S_Y^1/\mathbb{Z}_2\), \(K_6=SU(3)/T^2\), de-Donder gauge, ghost sign/multiplicity forced by BRST nilpotency. Its heat kernel is defined by the standard proper-time expansion \[ K(t) = \mathrm{Tr}\,e^{-tL_{\rm grav}^{d=13}} \ \sim\ (4\pi t)^{-D/2}\sum_{k=0}^{\infty} a_{2k}\,t^{k}\qquad (t\to0^+), \] with the exact convolution rule for a product manifold, \(a_{2k}(M_1\times M_2)=\sum_{i+j=k}a_{2i}(M_1)\,a_{2j}(M_2)\), which is what allows the sphere-calibration ladder (§II.3) to certify the engine independently of \(K_6\) itself.
Two questions are posed of this operator, and only these two — nothing else is asked of \(L_{\rm grav}^{d=13}\) inside UQF-9:
- (Q1) As the renormalization-group flow is pushed to \(t\to0\) (equivalently momentum \(\to\infty\)), does \(L_{\rm grav}^{d=13}\) admit a truncation-independent non-Gaussian fixed point — the asymptotic-safety completion?
- (Q2) Does the finite coefficient \(a_6\) (the \(t^3\) term, the leading cubic-curvature datum) complete, or decisively settle, Q1?
II.2 Deriving T-CONT: the class-dissolution theorem
Setup. Write the heat-kernel expansion with the granularity axiom imposed as a hard floor on the proper-time integration variable: \[ K_{\rm floored}(t) = (4\pi t)^{-D/2}\sum_{k=0}^\infty a_{2k}\,t^k \,\Theta(t-s_0), \qquad s_0>0\ \text{fixed, Lorentz-scalar}. \] \(\Theta\) is the step function; the floor \(s_0\) is the same object as \(\Delta_0\) under the identification \(s_0\sim\Delta_0/M_*^2\) up to an \(O(1)\) scheme constant fixed once the scheme is fixed (the exact constant is scheme information belonging to the \(\oplus\)Rulebook layer, not re-derived here — its value does not affect the theorem below, only the numerical location of where it bites).
Claim (T-CONT). For every \(k\) such that \(a_{2k}\) is finite (i.e. every heat-kernel coefficient in the tower \(a_8,a_{10},a_{12},\dots\) that would ordinarily be read off as the coefficient of an increasingly singular short-distance counterterm as \(t\to0\)), the floored theory produces no divergence from this class, because the expansion is never evaluated below \(t=s_0>0\).
Proof. In the unfloored theory, the \(n\)-th derivative of the effective action with respect to a background field picks up a term proportional to \[ \int_0^{\Lambda^{-2}} dt\ t^{k - D/2 - 1}\, a_{2k}, \] which for \(k\) large enough relative to \(D\) diverges as the lower limit \(\to0\) (this is the standard statement that the coefficients \(a_{2k}\) for \(2k> D\) generate power-law UV divergences order by order, an unbounded tower as \(k\to\infty\), absent a fixed set of counterterms — the non-renormalizability of the naive perturbative expansion). With the floor imposed, the identical integral becomes \[ \int_{s_0}^{\Lambda^{-2}} dt\ t^{k-D/2-1}\,a_{2k}, \] which is manifestly finite for every finite \(k\) and every finite \(a_{2k}\), because the integrand is smooth and bounded on the compact interval \([s_0,\Lambda^{-2}]\) for \(\Lambda^{-2}>s_0\). No term in the tower \(\{a_8,a_{10},a_{12},\dots\}\) can produce a \(t\to0\) divergence, because \(t\to0\) is simply never reached. \(\blacksquare\)
Scope discipline (why this is not “UV completion”). The proof establishes exactly one thing: the specific divergence mechanism that operates by taking \(t\to0\) is removed. It says nothing about: - whether the finite, floored value the theory takes at \(t=s_0\) is itself the correct physical answer (that is a separate coercivity/fixed-point question — Q1); - the finite coefficient \(a_6\), which was never divergent in the first place (\(a_6\) exists as a finite number term-by-term at any lattice spacing \(a>0\) and identically in the formal continuum limit \(a\to0\) — there is no \(a\to0\) infinity inside \(a_6\) for a floor to remove, because \(a_6\) is not built from an integral that diverges as \(t\to0\); it is itself just one finite coefficient in the un-integrated expansion); - the cosmological-constant walls, which are a separate, untouched catalogue entry.
T-CONT dissolves exactly one of eleven named walls in the catalogue this gate tracks; the other ten, including the \(a_6\) reconciliation problem addressed in §II.3–II.5 below and the \(\Lambda\)-value walls, are explicitly and by design left standing. Conflating “one divergence class removed” with “the theory is UV-complete” is precisely the over-claim the fabrication guard forbids, and no such claim is made here.
The eleven-wall catalogue, enumerated explicitly (so the “1 of 11 / other 10 untouched” claim is checkable, not a bare integer). The number “eleven” is not a rhetorical flourish; it is the UV/consistency wall inventory this gate’s ledger tracks, and it is listed here in full with each wall’s one-line statement, its disposition under UQF-9, and where it is handled. Exactly one row is DISSOLVED; ten are UNTOUCHED-here (either owed elsewhere, inherited-external, or belonging to a different gate). If a future audit finds the true tracked count is not eleven, this table — not the prose integer — is the object to correct.
| # | Wall (one-line statement) | Disposition under UQF-9 | Where / owner |
|---|---|---|---|
| W1 | The \(a\to0\) / \(t\to0\) high-order Seeley–DeWitt divergence class \(\{a_8,a_{10},a_{12},\dots\}\) (unbounded counterterm tower) | DISSOLVED (the one) | T-CONT, §II.2 |
| W2 | The finite sixth-order coefficient \(a_6\) (graviton TOTAL trace) — finite, not a divergence | UNTOUCHED (finite; computation-debt, no \(a\to0\) infinity to remove) | §II.4–II.6, Hole 1/R2 |
| W3 | Truncation-independent non-Gaussian fixed point for \(L_{\rm grav}^{d=13}\) (graviton coercivity / asymptotic safety) | UNTOUCHED (inherited-external, \(P^\star\) family) | §II.9/II.9-bis, Hole 3/R1 |
| W4 | Positivity of the reconciled \(a_6\) trace, \(P(\mathrm{tr}[a_6])\ge0\) | UNTOUCHED (gated on W2; decision-grade) | Hole 4/R5 |
| W5 | Whether “finite (and positive) at every order” constitutes UV completion (definitional) | UNTOUCHED (external field-level judgement, E1) | Hole 4/R6 |
| W6 | Interacting-gauge/ghost continuum OS-positivity uniform bound | UNTOUCHED (inherited-external, \(P^\star\) family; UQF-3 leg) | Z.2, exported |
| W7 | BV nilpotency / quantum-master-equation anomaly-measure closure | UNTOUCHED (exported; live anomaly falsifier) | Z.2, UQF-4 leg |
| W8 | Cosmological-constant value wall | UNTOUCHED (different gate/physics; a floor does not touch it) | Λ gates |
| W9 | Cosmological-constant radiative-stability wall | UNTOUCHED (different gate/physics) | Λ gates |
| W10 | Minimal-length / Lorentz-frame regulator pathology | UNTOUCHED as a wall, but the cost floor is built to avoid it (T-LI proves the floor is a Lorentz scalar); it is not “dissolved,” it is side-stepped by construction | T-LI, §II.3 |
| W11 | Scheme/normalization-anchor dependence of any dimensionful \(a_6\) (injected-scale disclosure) | UNTOUCHED (normalization-route residual; disclosed, not dissolved) | Hole 6, Z.5 |
The odd-\(D\) well-posedness result (no canonical dimensionful bulk \(a_6\) at \(D=13\)) is not a twelfth wall — it is a DISSOLVED-AS-ILL-POSED sub-question of W2 (it dissolves the bulk-magnitude framing of W2, redirecting W2 to its well-posed dimensionless-trace form), and is therefore counted inside W2 rather than separately, to avoid inflating the catalogue. Only W1 is dissolved by AXIOM-COSTFLOOR; W2–W11 are, precisely, the “other ten … untouched.”
II.3 Deriving T-LI: the Lorentz-cleanliness theorem
Claim (T-LI). The regulator built from \(s_0\) selects no preferred inertial frame.
Proof. The quantity floored is the proper-time parameter \(t\) conjugate to the operator \(L_{\rm grav}^{d=13}\) under \(e^{-tL}\). This \(t\) is not a coordinate length along any one of the thirteen directions; it is the parameter of heat-kernel/Schwinger proper-time evolution, and the object it is dual to — the cost/action quantum \(\Delta_0\) via \(s_0\sim\Delta_0/M_*^2\) — is built from the three consumed currency bounds (Margolus–Levitin \(\tau\ge\pi\hbar/2E\): time–energy/action; Landauer \(\Delta E\ge k_BT\ln2\): energy–information; Bekenstein \(S\le2\pi k_BRE/\hbar c\): information–region), each of which is a relation between Lorentz scalars (proper time \(\tau\), energy \(E\) measured in the local rest frame, entropy \(S\)) — not between a spatial coordinate and a frame-dependent momentum component. Consequently \(s_0\), viewed as living in the space of invariants built from \(\{\tau, E, S\}\), transforms trivially (as a scalar) under the Lorentz group acting on \(\mathcal{M}_4\): \(s_0'=s_0\) in every frame. Since the floor \(\Theta(t-s_0)\) in \(K_{\rm floored}(t)\) depends only on this invariant combination, the set of field configurations for which the regulator activates is identical in every inertial frame — there is no frame in which the floor is reached “sooner” or “later” in coordinate terms. This is the exact criterion for a regulator to be Lorentz-clean: had the floor instead been placed on a spatial coordinate length \(\delta x\) or a fixed lattice spacing in one frame, a boost would contract or dilate \(\delta x\) relative to the floor, and different observers would disagree about which field configurations are cut off — precisely the pathology minimal-length regularizations are known to suffer. \(\blacksquare\)
T-LI is a theorem of AXIOM-COSTFLOOR, not a second independent posit; it is what makes T-CONT’s dissolution “clean” in the sense required by the gate — a class of infinities removed without secretly reintroducing a preferred frame at the floor scale, which would itself have been new, undesired physics.
II.4 Route A: the Gilkey/Lichnerowicz computation on the graviton, term by term
This is the direct route: build \(a_6\) for the graviton operator from the standard Gilkey heat-kernel machinery applied to the certified curvature data of \(K_6\) and the certified Lichnerowicz spectrum.
The Gilkey \(a_6\) structure. For a Laplace-type operator \(\Delta=-(\nabla^2+E)\) on a Riemannian manifold, the sixth heat-kernel coefficient is a universal linear combination of dimension-6 (cubic-in-curvature or quadratic-in-derivative-of-curvature) scalar invariants built from \(\{\mathrm{Scal},\mathrm{Ric},\mathrm{Riem},\nabla\mathrm{Riem},E,\Omega\}\) (\(\Omega\) the curvature of the connection on the bundle \(E\) acts on), with universal rational coefficients (Gilkey’s cubic-curvature basis, of order 46 independent terms in the fully general case). The invariants entering that basis which are certified for \(K_6\) at the Killing-form center are:
\[ \mathrm{Scal}=\frac52,\quad \mathrm{Ric}_i=\frac{5}{12}\ (\forall i),\quad |\mathrm{Ric}|^2=\frac{25}{24},\quad |\mathrm{Riem}|^2=\frac{23}{12}, \] \[ K_1\equiv R_{ab}{}^{cd}R_{cd}{}^{ef}R_{ef}{}^{ab}=8\,\mathrm{tr}(R_{\rm op}^3)=-\frac{113}{72},\qquad K_2\equiv R_{abcd}R_{aecf}R_{ebfd}=-\frac{5}{72}, \] \[ |\nabla\mathrm{Riem}|^2=\frac14,\qquad \mathrm{Scal}^3=\frac{125}{8},\qquad \mathrm{Scal}\cdot|\mathrm{Ric}|^2=\frac{125}{48},\qquad \mathrm{Scal}\cdot|\mathrm{Riem}|^2=\frac{115}{24}, \] \[ \mathrm{Ric}^3\,(\equiv\mathrm{Ric}\cdot\mathrm{Ric}\cdot\mathrm{Riem})=\frac{125}{288},\qquad \mathrm{Ric}\cdot|\mathrm{Riem}|^2\ \text{contraction}=\frac{115}{144}. \]
The nonvanishing \(|\nabla\mathrm{Riem}|^2=1/4\) is itself a derived fact, not an input assumption: it is obtained via the Nomizu formula for the covariant derivative of curvature on the naturally reductive space \(K_6=SU(3)/T^2\), and it passes the second Bianchi identity check with zero violation — the identity \(\nabla_{[a}R_{bc]de}=0\) is satisfied exactly by the Nomizu-derived tensor, which is the internal consistency check that certifies this invariant rather than merely asserting it. Physically, \(|\nabla\mathrm{Riem}|^2\ne0\) means \(K_6\) is homogeneous but not locally symmetric (\(\nabla\mathrm{Riem}\ne0\), unlike, e.g., a round sphere or a symmetric space where \(\nabla\mathrm{Riem}\equiv0\)) — and this is exactly the fact that forces the graviton computation to carry an extra structural term beyond the naive “curvature-cubed” combination: the Gelfand–Tsetlin (GT) ladder term, derived next.
Bundle data consumed. The endomorphism on the transverse-traceless graviton sector \(\mathrm{Sym}^2_0(T^*K_6)\) (real dimension 20) is the Lichnerowicz operator \[ (E_Lh)_{ab}=\mathrm{Ric}_{ac}h^c{}_b+\mathrm{Ric}_{bc}h^c{}_a-2R_{acbd}h^{cd}, \] with certified spectrum at the Killing-form center \[ E_L:\ \ \tfrac16\ (\times6),\quad \tfrac{5}{12}\ (\times6),\quad \tfrac76\ (\times6),\quad \tfrac{17}{12}\ (\times2), \] giving the certified traces \(\mathrm{tr}\,E_L = \tfrac16\cdot6+\tfrac{5}{12}\cdot6+\tfrac76\cdot6+\tfrac{17}{12}\cdot2 = 1+\tfrac52+7+\tfrac{17}{6}=\tfrac{40}{3}\) and \(\mathrm{tr}\,E_L^2=\left(\tfrac16\right)^2\!\cdot6+\left(\tfrac{5}{12}\right)^2\!\cdot6+\left(\tfrac76\right)^2\!\cdot6+\left(\tfrac{17}{12}\right)^2\!\cdot2=\tfrac16+\tfrac{25}{24}+\tfrac{49}{6}+\tfrac{289}{72}=\tfrac{241}{18}\) (both reproducing the frozen values exactly, shown here as an explicit arithmetic check on the record rather than a bare citation). These traces feed the \(E^3\), \(E\cdot\mathrm{Scal}\cdot E\), and \(E^2\cdot\mathrm{Scal}\) terms of the Gilkey basis directly.
The Gelfand–Tsetlin off-diagonal stratum — the mechanism, shown explicitly. Because \(K_6=SU(3)/T^2\) decomposes reductively as \(T(K_6)=\mathfrak{m}_1\oplus\mathfrak{m}_2\oplus\mathfrak{m}_3\) (the three root planes of \(A_2\), each real 2-dimensional, one per positive root \(\alpha_1,\alpha_2,\alpha_1+\alpha_2\)), the isotropy representation on \(\mathrm{Sym}^2_0(\mathfrak m)\) is not irreducible under the full holonomy at a generic point of the associated bundle: it splits into weight classes under the residual \(T^2\) action, and a homogeneous-but-not-symmetric space (i.e. \(\nabla\mathrm{Riem}\ne0\)) generically has off-diagonal connection matrix elements coupling distinct weight classes — this is the direct geometric consequence of \(|\nabla\mathrm{Riem}|^2=1/4\ne0\) derived above; a locally symmetric space (\(\nabla\mathrm{Riem}\equiv0\)) would have had a block-diagonal connection in this basis and no such term. Concretely, the tangent/curvature data organizes into 5 Weyl-inequivalent \(T^2\) weight classes on \(\mathrm{Sym}^2_0\), and the first-order (Lichnerowicz-type) term that mixes adjacent classes is built from the standard \(SU(3)\) Gelfand–Tsetlin lowering-operator matrix elements — the same matrix elements that appear in any \(SU(3)\) representation-theory computation of ladder operators between adjacent GT patterns, of the schematic form \(\langle \text{pattern}'|E_{-\alpha}|\text{pattern}\rangle \propto \sqrt{\prod(\text{pattern-entry differences})}\). This is an exact, in-principle-computable object — there is no conceptual gap, no missing physics, and no free parameter in it — but the explicit enumeration of all off-diagonal hopping matrix elements between the 5 weight classes on the 20-dimensional \(\mathrm{Sym}^2_0\) representation has not yet been carried out in the frozen record. This is the single named computation-debt stratum blocking Route A: not a conceptual hole, a bounded, well-defined, unfinished calculation.
Route A status. With the diagonal (curvature-cubed + \(E\)-trace) sector fully certified above but the GT off-diagonal hopping sector OWED, Route A cannot presently emit a total. The ghost derivative-sector ratio, which is a distinct and independently confirmed piece of Route A (the Faddeev–Popov contribution to the same \(a_6\) computation, forced in sign and multiplicity by BRST nilpotency per §II.1), is banked at \[ \boxed{\text{ghost ratio} = \frac{149}{1008}} \qquad (\approx0.14782\overline{5}), \] confirmed and stable — this piece of Route A is complete; only the graviton leg’s GT stratum is owed.
II.5 Route B: ghost + vector reconstruction, and the scalar-sector calibration ladder
Route B takes an independent path: reconstruct the graviton \(a_6\) indirectly from the certified vector (Hodge/1-form) sector, whose endomorphism is the much simpler \(E=\mathrm{Ric}=\tfrac5{12}\,\mathrm{Id}\) (eigenvalue \(5/12\), multiplicity 6, so \(\mathrm{tr}\,E=\tfrac52\), \(\mathrm{tr}\,E^2=\tfrac{25}{24}\) — both immediate from the eigenvalue and multiplicity), plus the certified scalar backbone, and then attempts to assemble the graviton answer by bundle-representation bookkeeping rather than by direct Lichnerowicz-operator Gilkey evaluation.
Scalar heat-kernel coefficients — the validation ladder. Before trusting any scalar-sector number for \(K_6\), the engine is calibrated against three spaces where the answer is classically known:
| Space | \(a_2/a_0\) | \(a_4/a_0\) | \(a_6/a_0\) |
|---|---|---|---|
| round \(S^2\) (\(r=1\)) | \(1/3\) | \(1/15\) | \(4/315\) |
| round unit \(S^6\) | \(5\) | \(12\) | \(1139/63\) |
| \(K_6=SU(3)/T^2\) (scalar) | \(5/12\) | \(11/120\) | OWED (Gilkey constants) |
The \(S^2\) row is independently reproduced by a high-precision Richardson/Vandermonde extrapolation of the numerically computed heat trace, matching \(4/315\) to a relative error of order \(10^{-15}\) — this is a genuine numerical confirmation of the engine on a case with a known closed-form answer, not a re-statement of the textbook value. The \(S^6\) row is a second, independent control: it exercises the \(a_4\) formula on a different-dimensional round sphere and returns exactly 12, matching the classical value — and, importantly, this confirms that the engine correctly distinguishes \(K_6\) from \(S^6\) (a distinct, higher-symmetry space one might otherwise confuse a 6-dimensional homogeneous space with); \(K_6\)’s own \(a_4/a_0=11/120\) is manifestly different from \(S^6\)’s \(12\), as it must be, since \(K_6\) has a strictly smaller isometry group and \(|\mathrm{Riem}|^2\) far from the round-sphere value (\(|\mathrm{Riem}|^2_{S^6,\rm unit}=60\), versus the certified \(K_6\) value \(23/12\) — the two are never to be conflated, and the corpus explicitly flags \(|\mathrm{Riem}|^2=60\) as belonging to a different manifold entirely, not a valid \(K_6\) number under any normalization).
Scalar sector on \(K_6\) itself. The certified scalar ratios \(a_2/a_0=5/12\) and \(a_4/a_0=11/120\) are consumed directly (Gilkey’s universal \(a_2\propto\mathrm{Scal}/6\) and \(a_4\) formulas, evaluated on the certified \(\mathrm{Scal}=5/2\) and curvature-squared invariants above); the \(a_6/a_0\) ratio itself remains OWED at the level of the raw Gilkey cubic-curvature constants (this is a distinct, smaller gap than the graviton GT stratum — it is a matter of completing the scalar-sector Gilkey-constant evaluation, not a representation-theory computation). What is banked from the scalar sector, cross-checked across three-plus independent engines, is the normalized ratio \[ \boxed{\frac{a_6}{a_2^3}\bigg|_{\rm scalar\ backbone} = \frac{7936}{39375}}. \] This banked ratio is Route B’s scalar contribution; the graviton leg that would combine with it to produce a full graviton \(a_6\) is, like Route A’s GT stratum, OWED.
The odd-dimension well-posedness result (proved, not merely observed). A structurally separate fact closes off any temptation to force a dimensionful total by brute-force numerology. At the frozen spacetime dimension \(D=13\) (odd), the heat-kernel expansion \(K(t)\sim(4\pi t)^{-D/2}\sum_k a_{2k}t^k\) assigns the coefficient \(a_6\) to the power \[ t^{\,3-D/2} = t^{\,3-13/2} = t^{-7/2}. \] Because \(D/2=6.5\) is a half-integer, there is no local \(t^0\) term anywhere in the expansion — the smooth part of the heat trace \(\mathrm{Tr}\,K(t)\) vanishes exponentially as \(t\to0\) on an odd-dimensional closed manifold (a standard structural fact of heat-kernel expansions in odd dimension: the local invariants organize into half-integer powers of \(t\), none of which is dimensionless). Concretely, whatever number would multiply \(t^{-7/2}\) in a naive expansion is a pure power-law divergence, which is identically zero in dimensional regularization by definition of that scheme (dim-reg analytically continues away all power divergences, retaining only poles at integer shifts of the dimension). Consequently: there is no canonical, scheme-independent, finite dimensionful \(a_6\) (a number with units GeV\(^6\)) that this operator can be said to “have” at \(D=13\). Any dimensionful GeV\(^6\) figure quoted for \(a_6\) at odd \(D\) is, by construction, an artifact of whatever cutoff or lattice regularization produced it — legitimate as a labeled consistency coefficient for cross-checking a specific computational pipeline, never as a scheme-independent physical result. This is why the two labeled numbers on record — the retracted \(a_6=-2.818\times10^{94}\ \mathrm{GeV}^6\) (Bianchi-contaminated, superseded) and its Bianchi-exact re-run \(a_6=-2.995681680\times10^{94}\ \mathrm{GeV}^6\) — are explicitly not treated as gate-closing physics: the correctly-posed object at odd \(D\) is not a GeV\(^6\) magnitude at all, but the finite dimensionless trace \(\mathrm{tr}[a_6(L_{\rm grav}^{d=13})]\) evaluated as a pure number against the certified curvature/spectral backbone. This sub-question — “does a canonical bulk \(a_6\) magnitude exist to chase?” — is therefore not merely unsolved; it is dissolved as ill-posed, a distinct and stronger statement than “open.”
II.6 Where Route A and Route B disagree, quantified
A direct reconciliation attempt between the two routes was carried out this cycle, using the certified curvature backbone \(|\mathrm{Riem}|^2/\mathrm{Scal}^2=23/75\) (verified Bianchi-exact to a residual of \(6.66\times10^{-16}\) by an independent naturally-reductive reproduction, versus the corrupted \(17/72\approx0.2361\) branch, which fails the first Bianchi identity (algebraic, \(R_{a[bcd]}=0\)) by a residual of \(0.25\) — six-plus orders of magnitude worse, an unambiguous fingerprint of a truncated or mis-normalized Shape). Against a pre-registered reconciliation tolerance of \(10^{-6}\), the two routes disagree by \[ \left|\Delta_{AB}\right| = \left|\frac{31}{48}\right| = 0.6458\overline{3}, \] six orders of magnitude outside tolerance. This discrepancy is attributed by conjecture, not proved by a shown propagation calculation, to the same contaminated Riemann-norm curvature sector that produced the retracted \(17/72\)-vs-\(23/75\) branch above.
Honest accounting of the “percentage” of that contamination (the earlier “\(\sim31.2\%\)” figure corrected). The retracted branch’s curvature inputs deviate from the certified ones by these exactly-computable amounts: - the ratio \(|\mathrm{Riem}|^2/\mathrm{Scal}^2\): \(17/72=0.23611\) vs certified \(23/75=0.30667\), a relative deviation \((23/75-17/72)/(23/75)\approx\mathbf{23.0\%}\); - the \(|\mathrm{Riem}|^2\) input (unit-radius normalization): \(76.5\) vs certified \(69\), a relative deviation \((76.5-69)/69\approx\mathbf{10.9\%}\); - the \(\mathrm{Scal}\) input: \(18\) vs certified \(15\), a relative deviation \(\mathbf{20\%}\).
None of these is \(31.2\%\). The “\(\sim31.2\%\)” figure quoted in earlier passes is not reproduced by any of the three natural error measures on the documented contaminated inputs and is therefore withdrawn as a spuriously precise number; the honest statement is “a \(\sim10\)–\(23\%\) curvature-input contamination (depending on which quantity is measured), on the retracted \(17/72\) branch caught by the Bianchi residual \(0.25\).” Moreover, the claim that this input contamination propagates to exactly \(|31/48|\) in the normalized route difference is not demonstrated by any shown calculation — no error-propagation from the curvature input to \(|31/48|\) is exhibited, and §8.6 itself concedes “the fix has not yet been verified to resolve both symptoms simultaneously.” The link between the curvature contamination and the \(|31/48|\) route disagreement is therefore recorded as a plausible conjecture pending verification, not a traced result. Because the fabrication guard outranks the temptation to report a plausible-looking number, the TOTAL \(\mathrm{tr}[a_6(L_{\rm grav}^{d=13})]\) is not formed, and no value or sign is emitted while Route A and Route B disagree at this magnitude. The positivity question — whether a suitably defined functional \(P(\mathrm{tr}[a_6])\ge0\), which would be the natural sufficiency-direction falsifier if a reconciled trace existed — is correspondingly unevaluated, not merely “not yet checked for positivity”: there is no reconciled trace yet to apply \(P\) to.
The AUD-0059 audit cross-check (banked scalars, explicit reconciliation attempt). A separate audit line independently banks four exact-rational scalars from the frozen ledger: \[
\text{graviton\_a6} = -\frac{6373}{630}\ \text{(graviton }\mathrm{Sym}^2(T)\text{ Levi-Civita leg)},\qquad
\text{defect\_a6} = -\frac{7226}{35}\ \text{(physical defect }a_6\text{)},
\] \[
\text{half\_c3gamma} = -\frac{337361}{840}\ \left(\tfrac12 c_3^\gamma\right),\qquad
\text{bulk\_a6} = -\frac{953329}{1260}\ \text{(bulk graded }a_6\text{)},
\] with the banked route-reconciliation target \[
\text{AUD-0059} = -\frac{491353}{630}\qquad(\text{SAG-A6-KEYSTONE, the }a_6\text{-trace}).
\] As an explicit, shown check — not a bare assertion — seventeen candidate unit-coefficient linear combinations of the four banked scalars were tested against \(-491353/630\): the four scalars each individually (4), all pairwise sums (\({4\choose2}=6\)), all pairwise differences (6), and the unweighted sum of all four (1) — total \(4+6+6+1=17\). (An earlier headline “seven” undercounted this stated menu and is corrected to the true \(17\).) None reproduces \(-491353/630\) exactly. This is reported as an honest negative result, labeled COMPUTATION-NOT-INDEPENDENTLY-REPRODUCED-AT-THIS-COST-LEVEL. It does not overturn AUD-0059 itself, which carries its own independent upstream certification chain (a two-engine agreement at an earlier audit batch, and a separate Bianchi-forced “blast-radius-zero” audit at a later batch — i.e. AUD-0059 was checked against the second Bianchi identity and shown to produce zero propagated error from that identity, a different and complementary certificate from the linear-combination test that fails here). The correct reconciliation is understood to require graded/Gelfand–Tsetlin representation-multiplicity bookkeeping — i.e., the four scalars are not simply additively related because they live in representations with different GT-multiplicity weightings, exactly the structure identified as the Route A blocker in §II.4 — not a bare linear combination of the kind tested. In the frozen ledger this scalar is recorded as AUDIT-CERTIFIED CEILING ONLY (audit-closed: internally consistent bookkeeping confirmed; physics-closed: not yet, pending the graded reconciliation). Note for the record: \(-337361/840\) is the \(\tfrac12c_3^\gamma\) scalar specifically, not the trace itself — the two are not to be conflated.
II.7 The Donnelly equivariant defect on the orbifold factor — a genuine finite contribution, derived
One piece of the \(a_6\) ledger is fully closed and derived in full here, because it illustrates concretely what the Rulebook layer’s “equivariant, not boundary” reading (§II.1, Construction I) buys physically. On \(S^2\times(S_Y^1/\mathbb{Z}_2)\), the \(\mathbb{Z}_2\) orbifold acts on \(S_Y^1\) by the reflection \(\theta\mapsto-\theta\), with two isolated fixed points at \(\theta=0,\pi\). The Donnelly equivariant heat-kernel formula assigns each isolated fixed point of an order-2 reflection \(g\) a defect contribution weighted by \(1/|1-dg|\), where \(dg=-1\) is the derivative of the reflection at the fixed point: \[ \frac{1}{|1-dg|} = \frac{1}{|1-(-1)|} = \frac12 \qquad \text{per fixed point}, \] so the total reflection trace over both fixed points is \[ g\text{-trace} = 2\times\frac12 = 1. \] The equivariant \(a_6\) contribution from this orbifold defect combines with the already-certified \(S^2\) scalar value \(a_6/a_0=4/315\) via the product rule quoted in §II.1, weighted by one-half the defect trace (the “\(\tfrac12\)” being the standard equivariant averaging over the \(\mathbb{Z}_2\) orbifold group): \[ \boxed{a_6\big|_{\rm Donnelly} = \frac12\cdot\frac{4}{315} = \frac{2}{315}}. \] This is a genuine, derived, finite equivariant fixed-point contribution — not an ad hoc boundary term invented to patch a divergence, and not a component of the still-open graviton TOTAL of §II.4–II.6 (it lives on the \(S^2\times S_Y^1/\mathbb{Z}_2\) factor of the product, entering the graviton computation only through the convolution rule alongside the still-owed \(K_6\) graviton leg).
The three distinct halvings, reconciled explicitly (so the exhibit’s internal arithmetic visibly coheres). A hostile reader will notice that three different “one-half”-type quantities appear near this defect, and that two of them sum to numbers that look mutually inconsistent (\(g\)-trace \(=1\) vs \(a_0\) defects summing to \(0\)). They are three different objects playing three different roles; none is derived from the others by a bare sum, and the final \(2/315\) uses only the third. Stated in order:
The per-fixed-point weight \(\tfrac{1}{|1-dg|}=\tfrac12\), and its sum, the \(g\)-trace \(=1\). For the reflection \(dg=-1\), each of the two fixed points carries the Donnelly weight \(1/|1-(-1)|=\tfrac12\), and their sum is the twisted (\(g\)-sector) trace weight, \(2\times\tfrac12=1\). This “\(1\)” is the multiplicative weight that the equivariant (twisted-sector) heat-kernel series carries relative to the untwisted bulk series; it is not an \(a_0\) defect and is not something that should equal the \(a_0\)-parity numbers below. It is the object that says “the twisted sector contributes with total weight \(1\).”
The per-fixed-point \(a_0\) parity defects \(+\tfrac14\) (even, \(\theta=0\)) and \(-\tfrac14\) (odd, \(\theta=\pi\)), which sum to \(0\). These are the parity-projected zeroth-order defects: the even and odd \(a_0\) contributions at the two fixed points. Their sum being \(0\) is not a contradiction with item 1 — it is the statement that the net (parity-summed) \(a_0\) defect vanishes, i.e. the reflection introduces no net constant-order shift, exactly as it should for an order-2 isometry with a symmetric pair of fixed points. The \(\pm\tfrac14\) split is parity bookkeeping (which chirality sector each fixed point feeds — the chirality/no-mirror filter fixed elsewhere in the frozen record), and it lives at \(a_0\); it does not propagate additively into the \(a_6\) coefficient. The relevant fact the \(a_6\) defect inherits from this line is which parity survives the no-mirror projection, not the arithmetic sum \(0\).
The equivariant averaging factor \(\tfrac12=\tfrac1{|\mathbb{Z}_2|}\), which is the ONLY halving entering \(2/315\). The orbifold \(a_6\) defect is the \(\mathbb{Z}_2\)-average of the parent-factor \(S^2\) scalar coefficient \(4/315\) over the order-\(2\) group: \(a_6^{\rm defect}=\tfrac{1}{|\mathbb{Z}_2|}\cdot\tfrac{4}{315}=\tfrac12\cdot\tfrac{4}{315}=\tfrac{2}{315}\). This \(\tfrac12\) is the group-order averaging weight of the equivariant projector \(\tfrac1{|\Gamma|}\sum_{g\in\Gamma}(\cdot)\) restricted to the sector that survives the no-mirror parity selection of item 2 — not the \(a_0\)-defect sum (which is \(0\), and would wrongly give \(0\)) and not the \(g\)-trace (which is \(1\), and would wrongly give \(1\cdot4/315=4/315\)). The retained defect therefore corresponds to the single surviving parity sector, and the coefficient it multiplies is the bulk \(S^2\) scalar \(a_6/a_0=4/315\); the \(\tfrac12\) is the group-averaging weight for a quotient by a two-element group. The chain closes: \(\boxed{a_6^{\rm defect}=\tfrac1{|\mathbb{Z}_2|}\cdot(a_6/a_0)_{S^2}=\tfrac12\cdot\tfrac4{315}=\tfrac2{315}}\), with items 1 and 2 recorded as the (consistent, non-additive) twisted-trace-weight and parity-bookkeeping data, not as inputs to be summed.
The associated per-fixed-point \(a_0\)-level defects \(+\tfrac14\) (parity \(+\), at \(\theta=0\)) and \(-\tfrac14\) (parity \(-\), at \(\theta=\pi\)) are thus consistent with the chirality/no-mirror structure fixed elsewhere in the frozen record: they encode which sector survives, they sum to a net-zero \(a_0\) shift, and neither of those facts conflicts with the \(g\)-trace \(=1\) or with the group-averaging \(\tfrac12\) that produces \(2/315\).
II.8 Assembling what Q2 can honestly say
Collecting §II.4–II.7: the certified, fully derived pieces of the \(a_6\) ledger are the curvature backbone (\(23/75\), Bianchi-exact), the Lichnerowicz spectrum and its traces (\(\mathrm{tr}\,E_L=40/3\), \(\mathrm{tr}\,E_L^2=241/18\)), the cubic invariants (\(K_1=-113/72\), \(K_2=-5/72\), \(|\nabla\mathrm{Riem}|^2=1/4\)), the ghost ratio (\(149/1008\)), the sphere-calibration ladder (validating the engine on \(S^2\) and \(S^6\)), the scalar backbone ratio (\(7936/39375\)), and the Donnelly defect (\(2/315\)). The one thing that is not certified is the graviton TOTAL: Route A is blocked at the GT off-diagonal stratum, Route B is blocked at the same stratum from the other direction, the two routes disagree by \(|31/48|\) where they can be compared, the AUD-0059 linear-combination cross-check fails (honestly reported, not concealed), and — independently of all of that — the very question “what is the dimensionful bulk \(a_6\)” is dissolved as ill-posed at odd \(D=13\), with the correctly-posed dimensionless-trace object still pending the graded GT reconciliation.
Consequently, Q2 (does \(a_6\) complete or decisively contribute to UV completion) cannot be answered with a computed magnitude, because no TOTAL exists to evaluate. But the logical content of Q2 was never “is \(a_6\) computed” — it was “would \(a_6\), if computed, settle Q1.” Section II.9 shows why the answer to that logical question is independently no, regardless of how the GT stratum resolves: a single finite coefficient in a heat-kernel tower is necessary information for characterizing short-distance behavior but is never, in the Gilkey/Seeley–DeWitt framework or any renormalization-group framework, sufficient by itself to establish or refute fixed-point existence — that requires the flow of all relevant operators, not one coefficient’s sign or magnitude. This is not a gap specific to this geometry; it is a structural feature of what a single Seeley–DeWitt coefficient can and cannot certify.
II.9 Q1: the fixed-point question, and the reduction to \(P^\star\)
What would answer Q1. A genuine resolution of Q1 requires exhibiting a truncation-independent non-Gaussian fixed point of the renormalization-group flow of \(L_{\rm grav}^{d=13}\) — e.g. via the functional renormalization group (Wetterich equation) applied to this specific thirteen-dimensional operator on the frozen chamber geometry, with the fixed point shown stable under successive enlargements of the truncation (increasing orders in curvature, or increasingly general \(f(R)\)-type ansätze) — or a proof that no such fixed point exists for this operator under any truncation.
Why this is not attempted here, and why that is not a local shortfall. The field-wide state of the art is that candidate non-Gaussian fixed points for gravity are known only within declared, finite-order truncations (Einstein–Hilbert or low-order \(f(R)\) truncations of the FRG flow) — never truncation-independently, for any gravitational theory, in any dimension, by any research group. Current FRG evidence in fact trends against the naive expectation that fixed points found in low-order truncations survive as the truncation order is pushed higher (a fact that sharpens the wall — it makes the field-wide problem harder, not easier — without changing this gate’s status, since UQF-9 never depended on that trend going one way or the other). This is the exact statement of the community’s own open problem, not a private reformulation of it: perturbative quantization of general relativity is famously non-renormalizable in the naive power-counting sense, and whether an asymptotically safe completion exists (in any dimension, for any UV-complete matter content) is among the most-worked, least-resolved questions in the field.
The reduction, stated precisely. UQF-9 does not manufacture a private version of this problem specific to the 13-dimensional geometry; it reduces exactly to it. Define \(P^\star\) as the shared Clay-class Yang–Mills / ultraviolet-coercivity object — the question of whether a specific class of gauge-sector quantum field theories (of which the truncation-independent-fixed-point question for \(L_{\rm grav}^{d=13}\)’s gauge and ghost content is an instance) is well-posed at arbitrarily high energy. \(P^\star\) is owned by Gap-02 and is shared, counted exactly once, across four gates: Gap-02 itself, UQF-3, UQF-14, and UQF-5C. UQF-9’s contribution to \(P^\star\) is precisely Q1 — nothing more, nothing less: the derivation chain above shows that every other piece of the UV question (the \(a\to0\) divergence class, via T-CONT; the frame-dependence of the regulator, via T-LI; the location of the floor, via the Scale root; the well-posedness of a dimensionful \(a_6\), via the odd-\(D\) dissolution) has been independently and completely settled, leaving Q1 as the unique remaining content, and Q1 is not a new problem — it is \(P^\star\) itself, restricted to this operator.
Why reduction-to-a-named-external-theorem is a legitimate closed terminal. A gate closes CERTIFIED-IRREDUCIBLE when the chain of derivation from the frozen geometry terminates at an object that (i) is precisely named, (ii) is field-wide rather than framework-specific, (iii) is not manufactured by any choice made inside this derivation (the reduction was forced by the structure of the operator and the RG question, not selected to produce a convenient stopping point — the target-blindness screen of Construction I, §I.5, applies here directly), and (iv) would, if resolved by the field at large, resolve this gate’s remaining content automatically and without any further input from this framework. All four conditions are met by \(P^\star\): it is the named Clay-class Yang–Mills/UV-coercivity problem; it is a global fact about a class of gauge theories, not a private artifact of the 13-dimensional construction; the reduction falls out of the derivation (§II.2–II.8 exhaust everything else there is to check) rather than being asserted at the outset; and a field-wide resolution of \(P^\star\) — an exhibited truncation-independent fixed point, or a proof of non-existence — would immediately answer Q1 for \(L_{\rm grav}^{d=13}\) as a special case.
II.10 What this derivation establishes, in full
Putting the chain together: T-CONT (§II.2) is a proved theorem removing exactly the \(a\to0\) divergence class \(\{a_8,a_{10},a_{12},\dots\}\), narrowly scoped and never claimed to remove more. T-LI (§II.3) is a proved theorem that the removal is achieved without selecting a preferred frame, because the floored quantity is built from Lorentz-scalar currencies. The \(a_6\) datum (§II.4–II.8) is shown, not asserted, to be currently route-inconsistent by a measured \(|31/48|\approx0.65\) disagreement between Routes A and B (six orders outside the \(10^{-6}\) tolerance), conjecturally attributed — not yet propagation-verified — to the localized Riemann-norm contamination of the retracted \(17/72\) branch (\(\approx10.9\%\) on \(\|\mathrm{Riem}\|^2\), \(20\%\) on \(\mathrm{Scal}\), \(23.0\%\) on the ratio; an earlier “\(\sim31.2\%\)” figure is withdrawn as not reproducible from any of these), with the deeper structural fact — proved, not observed — that no canonical dimensionful \(a_6\) exists at all at odd \(D=13\), dissolving the “what is the bulk magnitude” sub-question as ill-posed rather than leaving it as a mere gap; what remains owed is a bounded, named, in-principle-computable stratum (the \(SU(3)\) Gelfand–Tsetlin off-diagonal hopping matrix elements on \(\mathrm{Sym}^2_0\)), not an open-ended one. The Donnelly defect (\(2/315\)) and ghost ratio (\(149/1008\)) are fully derived and banked. The one piece that is not, and structurally cannot be, resolved from inside this framework — genuine truncation-independent fixed-point existence for the gravitational RG flow — is shown to be a member of the same externally-owned, field-wide-open \(P^\star\) family as the field’s own named \(P^\star\) problem (same open class — “controlled, truncation-independent UV limit for a named Euclidean field theory” — carried on its own graviton-leg irreducibility certificate and negative control per §II.9-bis, not a claim that the \(d=13\) graviton NGFP question is logically identical to the \(d=4\) pure-YM mass gap), and is exported to it exactly once, shared with Gap-02/UQF-3/UQF-14/UQF-5C under the nonseparability screen. This is what a reduction to a certified-irreducible external wall looks like when carried out in full: every internally answerable piece of the question is answered and shown; the one piece that is not internally answerable is proved to be the field’s own open problem, not this framework’s debt.
Construction III - the central result at full precision
This is the technical heart of UQF-9: the exact sixth-order Seeley–DeWitt curvature backbone that any candidate \(a_6\) computation on the frozen thirteen-dimensional graviton operator must use, derived here with every intermediate number shown, cross-checked by two independent routes, calibrated against a known sphere ladder, and then followed all the way to the honest non-result — the route-A/route-B disagreement that is reported as a feature of a target-blind computation, not concealed as a gap. The section closes by showing exactly why the residual left over is not this framework’s debt but the field’s own Clay-class Yang–Mills/UV coercivity object \(P^\star\), already owned and already CERTIFIED-IRREDUCIBLE at Gap-02.
III.1 The operator and its three layers, pinned before any number is quoted
The object under test is the Laplace-type graviton wave operator read off the frozen active branch, with all three layers explicit:
\[ L_{\rm grav}^{d=13} \;=\; -(\nabla^2 + E) \;+\; \text{Faddeev--Popov ghosts}, \]
- \(\times\) Stage: \(\mathfrak{B}_{\rm active} = \mathcal{M}_4 \times K_6 \times S^2 \times S_Y^1/\mathbb{Z}_2\), \(K_6 = SU(3)/T^2\) the full \(A_2\)-type flag manifold, \(D = 4+6+2+1 = 13\). The connection background is Levi-Civita on each factor; the graviton lives in \(\mathrm{Sym}^2(T)\).
- \(\oplus\) Rulebook: de-Donder gauge, graded heat-kernel scheme with the proper-time integral \(K(t) \sim (4\pi t)^{-d/2}\sum_k a_{2k}\,t^k\), \(\mathbb{Z}_2\) orbifold parity on \(S_Y^1\), ghost subtraction sign and multiplicity fixed by BRST nilpotency (a certificate, not a choice).
- \(\otimes\) Actors: the endomorphism \(E\) is the Lichnerowicz operator \(E_L\) on \(\mathrm{Sym}^2(T K_6)\), \((E_Lh)_{ab} = \mathrm{Ric}_{ac}h^c{}_b + \mathrm{Ric}_{bc}h^c{}_a - 2R_{acbd}h^{cd}\); the curvature \(2\)-form \(\Omega\) entering the heat-kernel commutator term is the Riemann tensor itself, with \(\mathrm{tr}(\Omega_{ab}\Omega^{ab}) = -|\mathrm{Riem}|^2\).
\(a_6\) is the coefficient of \(t^3\) in that expansion — the leading curvature datum genuinely sensitive to cubic-in-Riemann structure. Everything below is anchored on the \(K_6 = SU(3)/T^2\) factor at the Weyl-rigid symmetric chamber center \(\vec u = (1,1,1)\), the unique normal-metric Einstein point among the four invariant Einstein metrics on this coset (the normal metric plus the three permutations of the Kähler–Einstein metric \((1,1,2)\)).
III.2 The curvature backbone at the Killing-form normal metric — exact rationals, two normalizations reconciled
Two metric normalizations coexist in the corpus and are reconciled here so no absolute value from one is ever mixed with an absolute value from the other:
- The frozen \(R_6\)-metric normalization carries the physical radius: \(\mathrm{Ric}_i = 1/(2R_6^2)\), \(\mathrm{Scal} = 3/R_6^2\) (dimensionful, GeV\(^2\)), evaluated at \(R_6 = R_0 = 1.591549430918954\times10^{-17}\,\mathrm{GeV}^{-1}\) giving \(\mathrm{Ric}_i = 1.973920880217872\times10^{33}\,\mathrm{GeV}^2\) and \(\mathrm{Scal}(K_6) = 1.184352528130723\times10^{34}\,\mathrm{GeV}^2\).
- The Killing-form normal metric \(g = (-B)|_{\mathfrak m}\), \(B(X,Y) = 6\,\mathrm{Tr}(XY)\) on \(\mathfrak{su}(3)\), at the symmetric chamber center, gives the dimensionless exact-rational invariants where the heat-kernel \(a\)-coefficients live.
The bridge: every dimensionless ratio is metric-scale invariant and agrees in both normalizations. This is verified explicitly below, twice.
Killing-form normal metric at \(\vec u=(1,1,1)\), exact rationals:
\[ \dim K_6 = 6, \qquad \mathrm{Ric}_i = \frac{5}{12}\ (i=1,2,3,\ \text{each with multiplicity }2), \qquad \mathrm{Scal} = \sum_k \dim(\mathfrak m_k)\,\mathrm{Ric}_k = 2\cdot3\cdot\frac{5}{12} = \frac{5}{2}. \]
\[ \mathrm{Scal}^2 = \frac{25}{4} = 6.25,\qquad |\mathrm{Ric}|^2 = 6\cdot\left(\frac{5}{12}\right)^2 = 6\cdot\frac{25}{144} = \frac{25}{24} = 1.041\overline{6},\qquad |\mathrm{Riem}|^2 = \frac{23}{12} = 1.91\overline{6}. \]
From these three:
\[ \boxed{\ \frac{|\mathrm{Riem}|^2}{\mathrm{Scal}^2} = \frac{23/12}{25/4} = \frac{23}{12}\cdot\frac{4}{25} = \frac{23}{75} = 0.30666666666666664\ } \]
\[ \frac{|\mathrm{Ric}|^2}{\mathrm{Scal}^2} = \frac{25/24}{25/4} = \frac{25}{24}\cdot\frac{4}{25} = \frac{4}{24} = \frac16, \qquad \frac{\mathrm{Scal}}{\mathrm{Ric}_i} = \frac{5/2}{5/12} = \frac{5}{2}\cdot\frac{12}{5} = 6 = \dim K_6. \]
The last identity, \(\mathrm{Scal}/\mathrm{Ric}_i = 6 = \dim K_6\), holds in both normalizations by direct substitution (\(\mathrm{Scal}/\mathrm{Ric}_i = (3/R_6^2)/(1/(2R_6^2)) = 6\) in the frozen normalization), which is the first of the two independent cross-checks that the dimensionless backbone is normalization-invariant, not an artifact of the Killing-form choice.
Cubic (weight-6) curvature invariants at the same center, exact rationals:
\[ K_1 \equiv R_{ab}{}^{cd}R_{cd}{}^{ef}R_{ef}{}^{ab} = 8\,\mathrm{tr}(R_{\rm op}^3) = -\frac{113}{72} = -1.569\overline{4}, \] \[ K_2 \equiv R_{abcd}R_{aecf}R_{ebfd} = -\frac{5}{72} = -0.0\overline{69}, \] \[ |\nabla\mathrm{Riem}|^2 = \frac14\ \neq 0. \]
The nonvanishing of \(|\nabla\mathrm{Riem}|^2\) is itself a certificate: it confirms \(K_6\) is homogeneous but not locally symmetric (a locally symmetric space would force \(\nabla\mathrm{Riem} \equiv 0\)), consistent with the second Bianchi identity holding exactly (zero violations at this order).
Nine weight-6 invariants complete the certified core that any \(a_6\) route must consume:
\[ \mathrm{Scal}^3 = \frac{125}{8},\quad \mathrm{Scal}\,|\mathrm{Ric}|^2 = \frac{125}{48},\quad \mathrm{Scal}\,|\mathrm{Riem}|^2 = \frac{115}{24},\quad |\mathrm{Ric}|^3 = \frac{125}{288}, \] \[ \mathrm{Ric}^{ab}\mathrm{Ric}^{cd}R_{acbd} = \frac{125}{288},\qquad \mathrm{Ric}^{ab}R_a{}^{cde}R_{bcde} = \frac{115}{144},\qquad K_1 = -\frac{113}{72},\quad K_2 = -\frac{5}{72},\quad |\nabla\mathrm{Riem}|^2 = \frac14. \]
These, together with the \(E_L\) spectrum on \(\mathrm{Sym}^2(TK_6)\) (below) and the certified \(a_0,a_2,a_4\) heat-kernel coefficients, are the shared inputs every \(a_6\) route is required to use — a route that quotes a different curvature backbone is, by construction, computing a different (truncated) object, and any residual it reports is an artifact of that truncation rather than a property of the frozen geometry.
III.3 Independent-route certification of the backbone (reproduced this session)
The ratio \(23/75\) is not merely quoted from a table — it is certified here by running two structurally different symbolic routes on the same \(K_6=SU(3)/T^2\) curvature data and checking that each route’s computed Riemann tensor satisfies the first Bianchi identity (the algebraic symmetry \(R_{a[bcd]}=0\)), the residual of which is the diagnostic reported below (\(6.66\times10^{-16}\) for the certified route, \(0.25\) for the flawed one). (The separate second (differential) Bianchi identity \(\nabla_{[a}R_{bc]de}=0\) is checked elsewhere — §III.2/§8.5 — where it certifies \(|\nabla\mathrm{Riem}|^2=1/4\) with zero violations; it is a distinct identity from the first-Bianchi residual test used here and the two are kept separate.)
Route 1 — Bianchi-exact route (the corpus curvature engine restricted to the correct root/tangent decomposition, i.e. the certified route): evaluated at unit-radius chamber center,
\[ \mathrm{Scal} = 15,\qquad \mathrm{Ric}_i = 2.5\ (\text{all three, diagonal}),\qquad |\mathrm{Riem}|^2 = 69, \] \[ \frac{|\mathrm{Riem}|^2}{\mathrm{Scal}^2} = \frac{69}{225} = 0.30666666666666675 \approx \frac{23}{75}, \]
with a first-Bianchi residual of \(6.66\times10^{-16}\) — i.e. exact to floating-point precision, the numerical fingerprint of an identity that holds identically rather than approximately. (These absolute numbers, \(\mathrm{Scal}=15\), \(|\mathrm{Riem}|^2=69\), differ from the Killing-normal values \(\mathrm{Scal}=5/2\), \(|\mathrm{Riem}|^2=23/12\) quoted in Section III.2 only by the overall unit-radius-vs-Killing-form normalization factor — precisely the “same geometry, two normalizations” bridge stated at the top of this section: \(69/15^2 = 23/75\) exactly matches \((23/12)/(5/2)^2 = 23/75\).)
Route 2 — the flawed engine route (a previously-run, now-retracted branch, kept here only as a negative control): the same computation with a localized curvature-input error gave
\[ \mathrm{Scal} = 18,\qquad |\mathrm{Riem}|^2 = 76.5,\qquad \frac{|\mathrm{Riem}|^2}{\mathrm{Scal}^2} = \frac{76.5}{324} = 0.2361\overline{1} = \frac{17}{72}, \]
with a first-Bianchi residual of \(0.25\) — six orders of magnitude worse than Route 1’s residual, and large enough on its own to disqualify the branch before comparing ratios at all. This branch is the fingerprint of a curvature-input contamination in the Riemann-norm sector of that engine path — deviating \(\approx10.9\%\) on \(|\mathrm{Riem}|^2\) (\(76.5\) vs \(69\)), \(20\%\) on \(\mathrm{Scal}\) (\(18\) vs \(15\)), and \(23.0\%\) on the ratio (\(17/72\) vs \(23/75\)); an earlier “\(\sim31.2\%\)” label is withdrawn as not matching any of these — the same contamination conjectured (not yet propagation-verified) to resurface as the Route A/Route B \(a_6\) disagreement in Section III.5. Its ratio, \(17/72\), and the related contaminated value \(31/147 = 0.2109\ldots\), are retracted negative controls: neither \(17/72\) nor \(31/147\) nor \(60\) (the value for the unrelated manifold \(S^6\)) is ever a correct statement about \(K_6\). The certified value, cross-checked twice by construction (Bianchi-residual test plus normalization-invariance test), is
\[ \boxed{\ |\mathrm{Riem}|^2/\mathrm{Scal}^2 = 23/75,\quad \text{Bianchi residual} \sim 3\times10^{-16},\quad \text{never } 31/147,\ \text{never } 60.\ } \]
III.4 The graviton spectrum entering the heat kernel — \(\otimes\) Actors, exact eigenvalues
The Lichnerowicz endomorphism \(E_L\) on the full symmetric-tensor bundle \(\mathrm{Sym}^2(TK_6)\) (real dimension \(21 = \binom{7}{2}\) for a rank-6 tangent bundle) has the exact spectrum, at the Killing-form center:
\[ E_L:\quad \tfrac16\ (\times 6),\qquad \tfrac{5}{12}\ (\times 6),\qquad \tfrac76\ (\times 6),\qquad \tfrac{17}{12}\ (\times 2),\qquad \tfrac53\ (\times 1)\quad[\text{pure-trace mode}]. \]
Restricting to the transverse-traceless (TT) subbundle \(\mathrm{Sym}^2_0\), real dimension \(20\) (removing the pure-trace singlet), the certified graviton-relevant traces are
\[ \mathrm{tr}\,E_L = 6\cdot\tfrac16 + 6\cdot\tfrac{5}{12} + 6\cdot\tfrac76 + 2\cdot\tfrac{17}{12} = 1 + \tfrac{30}{12} + 7 + \tfrac{34}{12} = 1+2.5+7+2.8\overline{3} = \frac{40}{3}, \] \[ \mathrm{tr}\,E_L^2 = 6\left(\tfrac16\right)^2 + 6\left(\tfrac{5}{12}\right)^2 + 6\left(\tfrac76\right)^2 + 2\left(\tfrac{17}{12}\right)^2 = 6\cdot\tfrac{1}{36} + 6\cdot\tfrac{25}{144} + 6\cdot\tfrac{49}{36} + 2\cdot\tfrac{289}{144} = \frac{241}{18}. \]
These two exact rationals, \(\mathrm{tr}\,E_L = 40/3\) and \(\mathrm{tr}\,E_L^2 = 241/18\), are the certified graviton inputs to any \(a_4\)/\(a_6\) Seeley–DeWitt evaluation on \(\mathrm{Sym}^2_0\); on the companion vector bundle the curvature enters purely through \(\mathrm{tr}(\Omega_{ab}\Omega^{ab}) = -|\mathrm{Riem}|^2 = -23/12\).
The heat-kernel ledger for the lower orders is fully certified and provides the scaffolding \(a_6\) sits on top of:
\[ \text{$K_6$ scalar:}\quad a_0/a_0 = 1,\qquad a_2/a_0 = \frac{5}{12},\qquad a_4/a_0 = \frac{11}{120},\qquad a_6/a_0 = \text{OWED (Gilkey constants; invariants certified)}. \]
\[ \text{$K_6$ vector (tangent):}\quad \mathrm{tr}\,A_2 = 0,\qquad \mathrm{tr}\,A_4 = -\frac{47}{360}. \]