Gate 24 / UQF-5A–5B — Graviton Sector and Four-Dimensional Infrared Limit
Complete hostile-review technical dossier
Canonical branch:
\[ 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, \qquad D=13. \]
Corrected terminal:
- UQF-5A, four-dimensional infrared graviton: CLOSED-SCOPED / DERIVED-GIVEN-DYNAMICS-AND-A-CONSTRUCTION-ANCHORED-4D-VACUUM. Given the locked positive-sign Einstein–Hilbert term, finite internal volume, an even constant internal zero mode, and a four-dimensional diffeomorphism-invariant vacuum of the declared zero-mode EFT, the descended tensor sector contains one massless spin-2 field with two physical helicities, a positive massless pole, luminal two-derivative propagation, and the Newtonian long-distance limit.
- UQF-5B, full graviton/compactification sector: CLOSED-NEGATIVE AS WRITTEN. The canonical product has not been derived as a stable solution of a complete thirteen-dimensional action, and the verified homogeneous shape-doublet mode has \(m^2=-1/3\). The zero-mode stabilizing potential is only a construction anchor. Shape alone therefore does not force a stable physical graviton background.
- UQF-5B, legacy \(a_6\)-sign obligation: DISSOLVED-AS-WRONG-OBJECT. A Seeley–DeWitt coefficient is a local counterterm coefficient, not a universal Hilbert-space-positivity or graviton-unitarity observable. Odd-dimensional bulk power counting does not rescue the claim, because the orbifold has fixed sets/boundary data and because the physically relevant observer theory is four-dimensional. No sign of \(a_6\) can certify the quantum graviton.
- Replacement quantum obligation: CLOSED-SCOPED at free/quadratic EFT level; exported above that scope. The correct first checks are positive kinetic residue, BRST cohomology, absence of tachyonic or negative-residue poles in the retained quadratic spectrum, and a valid physical Hilbert/reduction map. Reflection positivity is owned by Gate 22, global gauge anomalies by Gate 23, complete KK/background stability by UQF-10/SG-6, and interacting/UV completion by Gate 25 and the later UV gates.
Project board disposition: RESOLVED +0, but only after the gate is split by physical obligation and the retired overclaims are removed. This dossier does not claim an unqualified derivation of gravity from the frozen Shape.
Reviewer first read
The legacy Gate-24 record mixed four different questions and allowed an invalid fifth object to decide all of them:
- Does the four-dimensional observer theory contain a massless spin-2 zero mode?
- Does that mode have exactly two physical helicities?
- Does its low-energy propagation reproduce the luminal Einstein/Newton limit?
- Is the compactified background a solution and stable in the complete thirteen-dimensional Dynamics?
- Does the sign of one heat-kernel coefficient certify quantum consistency?
The first three are ordinary but real Kaluza–Klein/EFT obligations. They can be proved, with explicit assumptions, from the positive Einstein–Hilbert term and an admissible four-dimensional vacuum. The fourth is stronger and is not proved by the current project; the corrected Dynamics dossier says the full branch is not stable as written. The fifth is not a legitimate physics obligation. Heat-kernel coefficients parameterize local ultraviolet terms; their signs are not equivalent to positivity of the physical Hilbert space, and the dimensional argument used in the older dossier neglected the orbifold boundary/fixed-set sector and the distinction between the thirteen-dimensional bulk operator and the four-dimensional observer EFT.
The resulting verdict is not a cosmetic downgrade. It is a cleaner closure:
The project has a valid construction-level four-dimensional infrared graviton, not a Shape-only derivation of a stable thirteen-dimensional gravitational vacuum. The proposed \(a_6\)-sign test is retired as a wrong object.
A hostile reviewer can reproduce the central chain without trusting any project-specific curvature number:
- The parent action contains \(\frac12 M_*^{11}R_{13}\) with positive coefficient.
- On a compact connected internal space with the graviton-even boundary condition, the normalized constant scalar harmonic exists.
- Expanding \(h_{\mu\nu}(x,y)=V_9^{-1/2}h^{(0)}_{\mu\nu}(x)+\cdots\) gives a four-dimensional massless tensor zero mode whenever the background/reduction is valid.
- Four-dimensional diffeomorphism invariance removes all but two helicities.
- The quadratic TT action has a positive coefficient \(M_P^2/8\), so the massless pole has positive residue.
- At the two-derivative level on a Lorentz-invariant background, \(\omega^2=|\mathbf k|^2\); at distances much larger than every compactification radius, the potential is \(-G_Nm_1m_2/r\) plus Yukawa-suppressed KK corrections.
- None of these statements establishes the full compactification, the nonlinear consistent truncation, or UV quantum gravity.
The dossier also corrects a Planck-normalization mismatch in the project record. With the parent action written as \(\frac12M_*^{11}R_{13}\), dimensional reduction produces the reduced Planck mass:
\[ M_P^2=M_*^{11}V_9, \qquad M_P=(8\pi G_N)^{-1/2}. \]
Using the project volume \(V_9=3.704417261398702\times10^{-148}\,\mathrm{GeV}^{-9}\) gives
\[ M_*=5.5699921668\times10^{16}\,\mathrm{GeV} \]
when calibrated with the reduced Planck mass. The legacy value \(7.4670509921\times10^{16}\,\mathrm{GeV}\) results from inserting the ordinary Planck mass into a reduced-Planck action convention. It may be retained only if the parent coefficient is rewritten consistently.
One-page verdict
Exact gate contract
Physical obligation 5A. Determine whether the declared theory, on the declared branch and within a stated validity window, produces a four-dimensional massless spin-2 field with a positive kinetic term, two observer-accessible helicities, luminal low-energy propagation, and the Newtonian long-distance force law.
Physical obligation 5B. Identify the first genuinely required quantum-consistency test for that field. Determine whether the historically proposed sign predicate on \(a_6\) is such a test.
Project-dependency obligation. Place every residual under its correct owner so that the infrared graviton is not held hostage to an irrelevant coefficient and a full-13D failure is not concealed inside a four-dimensional EFT success.
Verdict matrix
| Obligation | Result | Evidence class | What would reopen it |
|---|---|---|---|
| Positive Einstein–Hilbert tensor kinetic term | PASS, conditional on the locked parent action and reduction | DERIVED-GIVEN-DYNAMICS | Wrong sign, vanishing effective Planck mass, or invalid reduction |
| Constant even internal scalar harmonic | PASS for the declared compact connected Stage and parity | DERIVED-GIVEN-SHAPE+BC | Disconnected/noncompact internal space, incompatible boundary condition, or non-normalizable zero mode |
| Four-dimensional massless spin-2 zero mode | PASS at construction-level zero-mode EFT | CLOSED-SCOPED | No admissible 4D vacuum, explicit diffeomorphism breaking, or a generated Fierz–Pauli mass |
| Exactly two 4D helicities | PASS in the massless 4D BRST/constraint sector | EXACT/REPRESENTATION-THEORETIC | Broken 4D diffeomorphism invariance or extra tensor constraints failing |
| Positive pole residue | PASS at quadratic EFT level | DERIVED-GIVEN-POSITIVE \(M_P^2\) | Negative/zero \(M_P^2\), higher-derivative ghost pole below cutoff |
| Luminal low-energy tensor speed | PASS at two derivatives on Lorentz-invariant vacuum | DERIVED-GIVEN-DYNAMICS | Lorentz breaking, derivative matter coupling, or higher-derivative operator shifting \(c_T\) in range |
| Newtonian \(1/r\) potential and \(1/r^2\) force | PASS for \(r\gg R_i\) | DERIVED-GIVEN-ZERO-MODE COUPLING | No universal stress-tensor coupling, light extra scalar, or unsuppressed KK mode |
| Stable complete 13D graviton/compactification sector | FAIL / CLOSED-NEGATIVE AS WRITTEN | Corrected Dynamics authority; shape-doublet \(m^2=-1/3\) | A new complete action and boundary inventory with a stable solution and full KK certificate |
| Legacy \(P(a_6)\ge0\) quantum test | RETIRED / WRONG OBJECT | WRONG-OBJECT DISSOLUTION | A theorem relating the specified renormalized coefficient to a physical amplitude/positivity inequality |
| Free/quadratic quantum consistency | PASS-SCOPED | BRST + positive residue + Gate 22 interface | Negative-norm BRST cohomology, tachyon, or negative-residue pole |
| Interacting/UV graviton | EXCLUDED from Gate 24 | Gate 25/UQF-9/UQF-14 | Owned downstream |
Final status
\[ \boxed{ \begin{aligned} \mathrm{G24A}_{\rm IR} &= \text{CLOSED-SCOPED},\\ \mathrm{G24B}_{\rm full\ sector} &= \text{CLOSED-NEGATIVE AS WRITTEN},\\ \mathrm{G24B}_{a_6\ sign} &= \text{DISSOLVED-WRONG-OBJECT},\\ \mathrm{G24}_{\rm project\ dependency} &= \text{RESOLVED }(+0). \end{aligned}} \]
This is the strongest terminal supported by the corrected project authorities and standard field theory. An unconditional DERIVED-GIVEN-SHAPE terminal would be an overclaim.
Table of contents
- Authority, provenance, and status migration
- Gate charter and completion contract
- Plain-language explanation
- Definitions and notation
- Constitutional projection: Shape, Scale, Granularity, Dynamics
- Implicit-assumption and wrong-object audit
- Parent action and background-solution test
- Exact zero-mode reduction
- Planck normalization and convention repair
- Two-helicity and BRST/constraint count
- Positive residue and quadratic stability
- Luminality and the observational ruler
- Newtonian limit and KK corrections
- Thirteen-dimensional counts versus four-dimensional observables
- Internal Lichnerowicz data: what they do and do not prove
- Gate 5B: heat-kernel adjudication
- Correct quantum-consistency stack
- Complete branch grammar and forced truth table
- Negative controls and destruction tests
- Hostile-review objections and answers
- Reproducibility package
- Dependency, ownership, and preservation ledger
- Final adjudication and reopen protocol
- Appendices
Part I — Authority, provenance, and status migration
1. Authority stack
This dossier applies the project authority order rather than inheriting the strongest sentence from the historical gate text:
- Gate Closure Constitution and acceptable terminal taxonomy.
- Discovery and Gate Closure Constitution handoff.
- Corrected July 12 Shape, Scale, Granularity, and Dynamics root dossiers.
- Master Implicit-Assumptions Ledger v1.3.
- GATES — Source of Truth, used as the historical/canonical gate record but corrected where it conflicts with later root authority or standard physics.
- QUANTUM review bundle, used for provenance, negative controls, and legacy claim audit.
- External mathematical and physics literature, used only for general results not owned by the project.
Historical text never overrides the current Dynamics root. That matters here because the old Gate-24 dossier says the same frozen Shape by itself yields a correctly behaved physical graviton, while the corrected Dynamics root says:
- the parent action remains a skeleton with unenumerated localized terms and counterterms;
- the reduction map is locked only at linear scope;
- the pure-curvature compactification has a negative shape-doublet mode;
- the positive zero-mode stabilizing potential is a construction anchor;
- the full 13D/KK/global/tunnelling branch is not stable as written.
1.1 Status migration
The legacy record carried the gate as CERTIFIED-IRREDUCIBLE / RESOLVED +0, with 5A described as forced by Shape and 5B closed because an \(a_6\)-positivity slot allegedly did not exist in odd total dimension. The corrected migration is:
| Legacy statement | Technical finding | Corrected status |
|---|---|---|
| The Shape alone produces the physical graviton | A physical fluctuation spectrum requires an action, a background solution, boundary conditions, and a reduction map | Replace by DERIVED-GIVEN-DYNAMICS and a construction-anchored 4D vacuum |
| The 13D product automatically supports the linearized massless graviton | The displayed product is not a pure-Einstein solution and the full compactification has a verified tachyon | UQF-5B CLOSED-NEGATIVE AS WRITTEN |
| \(91-2\cdot13=65\) proves the two-helicity 4D graviton | 65 is the D=13 massless little-group count / bulk graded count, not the 4D zero-mode count | Keep 91/13/65 as a bulk audit; derive two helicities separately in 4D |
| The listed \(E_L\) eigenvalues are the graviton spectrum | They are eigenvalues/traces of an algebraic fiber endomorphism, not the full KK Lichnerowicz spectrum | Demote to local operator data |
| Odd D means no relevant anomaly/log coefficient at all | Closed odd manifolds lack the corresponding bulk coefficient, but boundaries/fixed sets can contribute; the 4D observer theory has its own logs | Retire parity shortcut as a closure theorem |
| A sign of \(a_6\) certifies quantum positivity | No general theorem supports that predicate | DISSOLVED-WRONG-OBJECT |
| The project value of \(M_*\) follows from the written action | Ordinary and reduced Planck conventions were mixed | Correct \(M_*\) or rewrite the action convention |
1.2 Preservation rule
This dossier preserves all legitimate project content:
- the 13D Stage and three-layer architecture;
- the positive-sign Einstein–Hilbert parent term;
- the finite internal volume and radius ledger;
- the exact component counts \(91\), \(13\), and the D-dimensional physical count \(65\);
- the internal curvature invariants as geometric data;
- the named \(a_6\) computation debt for consumer gates;
- the measured GW170817/GRB170817A speed constraint as a consistency record;
- the ratified project-dependency disposition.
It retires only the inferential links that do not survive the full authority and same-ruler audit.
Part II — Gate charter and completion contract
2. Frozen charter
GATE: 24 / UQF-5A–5B
AUDIT MODE: dossier repair + wrong-object audit + constitutional integration
PHYSICAL OBLIGATION: establish the physical 4D infrared graviton and identify the first required quantum consistency checks
PROJECT-DEPENDENCY OBLIGATION: separate 5A, 5B, and excluded 5C and route every residual to one owner
MEASURED RECORDS: long-range universal gravity; two tensor polarizations; graviton speed bound; Newtonian/GR infrared behavior; positive-energy physical states
OWNED STRUCTURES: parent EH term, 13D Stage, internal volume, graviton-even boundary condition, zero-mode reduction, 4D BRST/constraint sector
BRANCH: M3,1 x SU(3)/T2 x S2 x I_chi with construction-anchored 4D vacuum
DIMENSION: 13D parent; 4D observer EFT
FRAME: 4D Einstein frame for observable comparison
VALIDITY WINDOW: E << M_KK and r >> max(R_i); free/quadratic tensor sector unless explicitly stated
EXPLICIT NON-CLAIMS: stable complete 13D vacuum; exact nonlinear consistent truncation; all-KK stability; interacting quantum gravity; UV completion
LEGITIMATE TERMINALS: CLOSED-SCOPED, DERIVED-GIVEN-DYNAMICS, DISSOLVED-WRONG-OBJECT, CLOSED-NEGATIVE, NOT-CLOSED
REOPEN TRIGGERS: listed in Part XXIII
2.1 Completion conditions for 5A
5A closes at scoped level only if all of the following are explicit:
- Background/reduction condition. There is a declared four-dimensional vacuum or slowly varying background on which the tensor operator is defined.
- Positive Einstein coefficient. The coefficient multiplying \(R_4\) is finite and positive.
- Normalizable zero mode. The internal wavefunction of the external tensor zero mode is normalizable and satisfies the orbifold boundary conditions.
- Gauge condition. Four-dimensional diffeomorphism invariance survives the reduction.
- Physical degree count. The observer-accessible massless tensor has two helicities, derived in four dimensions rather than inferred from the thirteen-dimensional component count.
- Pole test. The propagator has a massless pole with positive residue and no additional retained negative-residue tensor pole.
- Same-ruler comparison. Luminality and Newtonian behavior are evaluated in the four-dimensional Einstein-frame zero-mode EFT.
- Scope fence. No zero-mode result is promoted to full KK or UV completion.
2.2 Completion conditions for 5B
A proposed quantum-consistency obligation is legitimate only if:
- it is invariant under field redefinitions and regularization conventions at the stated scope;
- it is tied to a physical amplitude, state norm, spectral pole, or reconstruction theorem;
- its sign or value has a theorem-level connection to the claimed property;
- it uses the correct dimension and observer map;
- boundary/fixed-set terms are included if the operator lives on the orbifold;
- failing the test would genuinely falsify the quadratic graviton sector.
The legacy \(P(a_6)\ge0\) predicate fails these conditions.
2.3 Stop rule
The dossier stops at CLOSED-SCOPED rather than attempting to manufacture an unqualified closure. The full 13D background is not solved, and the interacting/UV graviton belongs to other gates. This is not incompleteness inside the scoped charter; it is correct dependency placement.
Part III — Plain-language explanation
3. What this gate is really asking
A graviton is not obtained merely by writing the word “metric” on a thirteen-dimensional manifold. A physical graviton claim needs three layers:
- a metric field with an Einstein-type kinetic term;
- a background on which small fluctuations are meaningful;
- a reduction showing what a four-dimensional observer can actually detect.
Once those are supplied, the infrared result is robust. The constant internal harmonic of the external metric component gives a four-dimensional massless tensor. Four-dimensional coordinate redundancy removes the unphysical components, leaving two wave polarizations. The positive Einstein coefficient makes the pole residue positive. The ordinary two-derivative wave equation makes the mode luminal. Exchange between conserved sources gives the Newtonian potential at distances much larger than the internal radii.
The project can earn that result, but not from Shape alone. Its own corrected Dynamics file says the full compactification is unstable as written and that the stable zero-mode potential is declared rather than derived. The right claim is therefore:
Given the declared Dynamics and its construction-anchored four-dimensional vacuum, the theory contains the correct infrared graviton.
The wrong claim is:
The frozen geometry by itself proves a stable physical graviton and its quantum consistency.
3.1 Why the old quantum test had to be removed
The heat kernel is an excellent bookkeeping tool for one-loop local terms. It tells us which curvature invariants appear in a regulated effective action. But a coefficient can be positive or negative without deciding whether the physical Hilbert space has negative norm, whether the S-matrix obeys the optical theorem, or whether the graviton propagator has a ghost pole. Those are different mathematical objects.
The older dossier also argued that odd total dimension removes the relevant logarithmic slot. That statement is only clean for a closed smooth bulk operator. Gate 24 lives on an orbifold interval with fixed sets and boundary conditions, where boundary coefficients can occur; moreover the measured object is the four-dimensional zero-mode EFT, whose loop expansion is four-dimensional. The dimension parity of the parent bulk does not dissolve the observer-level quantum-consistency obligations.
The correct result is therefore not “quantum consistency passed because the test is absent.” It is “the proposed test was not a valid obligation; use the actual quadratic and Hilbert-space tests instead.”
3.2 What remains unknown
The dossier does not establish:
- that the complete thirteen-dimensional equations admit the exact frozen product as a stable solution;
- that the unknown fixed-set action and counterterms preserve the zero mode;
- that truncating to the retained fields is nonlinearly consistent;
- that every scalar/vector/tensor KK mode is stable;
- that higher-curvature operators introduce no pole below the cutoff;
- that the interacting theory has a UV completion.
These residuals are explicit and owner-routed. They do not invalidate the conditional infrared theorem, and the theorem does not solve them.
Part IV — Definitions and notation
4. Stage, dimensions, and indices
The metric Stage is
\[ X_{13}=M_4\times Y_9, \qquad Y_9=K_6\times S^2\times I_\chi. \]
Indices are:
- \(M,N=0,\ldots,12\) for the full 13D spacetime;
- \(\mu,\nu=0,\ldots,3\) for the external observer spacetime;
- \(m,n=1,\ldots,9\) for the internal space.
The background metric is written
\[ \bar G_{MN}dX^MdX^N =\bar g_{\mu\nu}(x)dx^\mu dx^\nu +\bar\gamma_{mn}(y)dy^m dy^n \]
when a direct-product ansatz is being tested. A warped or backreacted solution would require a different reduction and does not inherit the formulas automatically.
4.1 Parent action
The corrected Dynamics skeleton contains
\[ S_{13}=\int d^{13}X\sqrt{|G|} \left[ \frac{M_*^{11}}{2}\bigl(R[G]-2\Lambda_{13}\bigr) +\mathcal L_{\rm matter} \right] +S_{\rm fixed\ sets}+S_{\rm boundary}+S_{\rm ct}. \]
Only the sign and tensor structure of the Einstein term are used to prove the scoped infrared graviton. The unspecified matter/fixed-set terms prevent a full background derivation.
4.2 Mode expansion
For the external tensor component,
\[ h_{\mu\nu}(x,y)=\sum_n h^{(n)}_{\mu\nu}(x)\psi_n(y), \qquad -\Delta_{Y_9}\psi_n=\lambda_n\psi_n, \]
with boundary conditions fixed by the orbifold parity and variational principle. On a compact connected internal space, the constant function is a scalar Laplacian zero mode. With the external metric assigned even parity,
\[ \psi_0(y)=V_9^{-1/2}, \qquad \lambda_0=0, \qquad V_9=\int_{Y_9}d^9y\sqrt{\gamma}. \]
4.3 Four-dimensional Planck mass
In the unwarped reduction convention used here,
\[ M_P^2=M_*^{11}V_9, \]
where \(M_P=(8\pi G_N)^{-1/2}\) is the reduced Planck mass. Warping, localized Einstein terms, or a varying internal volume modify this relation.
4.4 Massless spin-2 and helicities
A four-dimensional massless spin-2 field is a symmetric tensor with gauge transformation
\[ \delta h_{\mu\nu}=\partial_\mu\xi_\nu+\partial_\nu\xi_\mu. \]
Its physical one-particle states furnish the helicity \(+2\) and \(-2\) representations of the massless little group. “Two helicities” is a four-dimensional observer statement; it is not the same as the number of polarizations of a thirteen-dimensional graviton.
4.5 Heat-kernel notation
For a Laplace-type Euclidean operator \(L\),
\[ \mathrm{Tr}\,e^{-tL} \sim (4\pi t)^{-D/2}\sum_{n\ge0}A_n(L)t^{n/2}. \]
On a smooth closed manifold without boundary, odd \(A_n\) vanish for standard Laplace-type problems. With boundaries, orbifold fixed sets, mixed conditions, or singular strata, half-integer powers and odd-index integrated coefficients generally occur. Some project documents use \(a_{2k}\) for bulk even coefficients and call the cubic-curvature term “\(a_6\).” The index convention must be stated before dimensional arguments are made.
Part V — Constitutional projection
5. Shape projection
Stage
Shape fixes the factorization, topology, dimensions, and internal symmetry data. It provides:
- a compact finite-volume internal candidate \(Y_9\);
- a constant scalar harmonic on each connected compact component;
- an orbifold parity choice that can preserve an even external tensor zero mode;
- exact internal curvature data needed to define the fluctuation operators.
Shape does not provide:
- the sign of the Einstein kinetic term;
- a solution of the field equations;
- a stabilizing stress tensor or potential;
- the physical state space;
- the observer reduction map.
Rulebook
The Rulebook fixes the parity, gauge slice, BRST grading, and scope. For Gate 24 the indispensable entries are:
- external \(h_{\mu\nu}\) even at both fixed sets;
- boundary conditions compatible with a well-posed variational problem;
- four-dimensional diffeomorphism invariance of the zero-mode action;
- no promotion of determinant supertraces to physical state counts;
- no use of a scheme-dependent local coefficient as a universal positivity test.
Actors
The load-bearing Actors are the metric, ghost/antighost pair in the gauge-fixed formulation, any stabilizing fields or potential, and the conserved four-dimensional stress tensor to which the zero-mode graviton couples. The existence of a bundle label without an action term is insufficient.
6. Scale projection
Scale supplies:
- the reduced Planck calibration \(M_P\);
- the internal radii and volume;
- the hierarchy \(E\ll M_{\rm KK}\) and \(r\gg R_i\);
- the cutoff below which the two-derivative EFT is valid.
Using the project radius
\[ R_0=(2\pi M_U)^{-1}=1.591549430918954\times10^{-17}\ \mathrm{GeV}^{-1}, \]
one characteristic inverse radius is
\[ R_0^{-1}=2\pi M_U=6.283185307179586\times10^{16}\ \mathrm{GeV}. \]
Actual first KK masses depend on the relevant scalar/vector/tensor eigenvalue and boundary condition; \(R_0^{-1}\) is a scale, not the full spectrum.
7. Granularity projection
Granularity supplies finite audit windows and forbids treating arbitrarily short-distance idealizations as measured records. It does not:
- derive the Einstein term;
- remove a negative-residue pole;
- guarantee a stable compactification;
- make a heat-kernel coefficient positive;
- replace the UV completion.
The correct Granularity role is scope control: all claims in this dossier are about a finite-energy EFT below its cutoff and about observer-accessible zero modes.
8. Dynamics projection
Dynamics is decisive. It supplies the parent action, boundary terms, field equations, and reduction map. Gate 24 uses two different Dynamics statements:
- Locked skeleton: positive-sign 13D Einstein–Hilbert term and a linear KK reduction map.
- Construction-anchored zero-mode vacuum: a declared positive Wilsonian potential stabilizing the retained zero modes.
The corrected root explicitly denies a completed full-13D stability proof. Therefore the scoped graviton is derived given Dynamics plus the construction anchor, not given Shape alone.
9. Evidence tiers
| Claim | Tier |
|---|---|
| Algebraic component counts | Exact identity |
| Existence of constant harmonic under declared BC | Theorem given compactness/connectedness/BC |
| Four-dimensional two-helicity count | Standard representation/constraint theorem |
| Positive pole residue | Derived given positive \(M_P^2\) and no retained higher-derivative ghost |
| Luminality | Derived at two-derivative Lorentz-invariant scope |
| Newtonian limit | Derived at \(r\gg R_i\) with universal coupling |
| 4D vacuum | Construction anchor in current project |
| Full 13D stability | Not established; closed-negative as written |
| \(a_6\) value | Named finite computation debt for other gates |
| \(a_6\)-sign positivity theorem | No such theorem supplied; wrong object |
Part VI — Implicit-assumption and wrong-object audit
10. Assumption sweep
A-08 — Same ruler is automatic
The old dossier compared a 13D determinant count, a 4D helicity count, an internal endomorphism spectrum, a 4D propagation speed, and a Newtonian force law as though they were one quantity. They are not. Each requires its own observer map.
A-09 — Zero mode proves full KK tower
A healthy massless zero mode does not prove that every vector, scalar, or massive spin-2 KK mode is non-tachyonic and positive norm. The project’s shape-doublet instability is a direct counterexample.
A-10 — Local proves global
Local curvature and a pointwise endomorphism spectrum do not prove global spectral positivity or existence of a stable vacuum.
A-11 — EFT proves UV completion
The two-derivative graviton is a valid low-energy field even when the UV completion is unknown. Conversely, low-energy validity cannot be promoted to an interacting 13D quantum-gravity theorem.
A-12 — Every measured ruler must be derived
The Planck scale and the GW propagation record are measured calibrations. The gate owes consistency and transport, not a from-nothing derivation of those numbers.
A-21 — Compute before geometry and constraints
Before computing \(a_6\), the gate must ask whether its sign is physically required. That audit removes the legacy burden.
A-22 — Stage alone is the theory
A manifold without action, boundary law, and state space does not carry a physical graviton.
A-24 — Ansatz equals derivation
Declaring the product metric or a positive stabilizing potential does not prove that the parent action selects it.
A-25 — Reachable point equals prediction
A construction-anchored stable vacuum is a valid scoped mechanism, not a prediction of the vacuum from Shape.
10.1 Gate-specific hidden assumptions
G24-A1 — Any metric perturbation is a graviton
False. Gauge invariance, a background solution, constraints, and a positive physical state space are required.
G24-A2 — De Donder gauge removes exactly the physical modes
False as stated. Gauge fixing creates an invertible operator but does not by itself identify BRST cohomology or solve the Hamiltonian constraints.
G24-A3 — The bulk graded count is the observer helicity count
False. \(91-26=65\) matches the D=13 massless polarization count, while the 4D zero mode has two helicities.
G24-A4 — An algebraic \(E_L\) eigenvalue list is the KK spectrum
False. The full Lichnerowicz operator includes derivatives, global topology, boundary conditions, and mode mixing.
G24-A5 — Flat \(M_4\) times positively curved internal factors is automatically an Einstein background
False for pure Einstein–Hilbert plus one cosmological constant. Product Einstein factors must share the same normalized Einstein constant; additional stress is required here.
G24-A6 — Odd bulk dimension removes every logarithmic or anomalous quantum term
False with boundaries/fixed sets and false for the four-dimensional observer EFT.
G24-A7 — Heat-kernel coefficient positivity equals state positivity
False absent a specific amplitude theorem.
G24-A8 — GW170817 proves all tensor modes are luminal
False. It constrains the observed low-energy propagation channel subject to emission-model assumptions; it does not constrain the full KK tower or above-cutoff theory.
G24-A9 — Newton’s inverse-square law excludes every extra mode
False. Heavy KK modes give exponentially small corrections; light stabilized moduli can give fifth forces and must be independently bounded.
G24-A10 — A positive Einstein coefficient excludes higher-derivative ghosts
False. Higher-curvature terms can add poles. The scoped claim assumes they are absent below the EFT cutoff or treated perturbatively rather than resummed as fundamental poles.
10.2 Minimal thought experiments
Thought experiment 1 — Same Shape, opposite Einstein sign. Keep the geometry fixed and flip the sign of the Einstein term. The Stage is unchanged, but the massless pole residue becomes negative. Therefore Shape does not own positivity.
Thought experiment 2 — Same local curvature, unstable global mode. Hold the pointwise \(E_L\) matrix fixed while changing the global boundary condition or adding a negative potential for a modulus. The local eigenvalues remain, while the spectrum becomes unstable. Therefore local fiber data do not close the full operator.
Thought experiment 3 — Same 13D bulk, different orbifold boundary action. Add a localized Einstein term or a diffeomorphism-breaking mass at one fixed set. The bulk heat kernel is unchanged at leading order, while the zero-mode normalization or mass changes. Therefore the fixed-set Dynamics is load-bearing.
Thought experiment 4 — Same healthy zero mode, bad KK tower. Construct a Sturm–Liouville tower with \(\lambda_0=0\) and one negative higher eigenvalue. The infrared graviton survives while the compactification fails. Therefore zero-mode closure and full stability must be separate.
Thought experiment 5 — Same \(a_6\), different pole structure. Two EFTs can share a finite set of local heat-kernel coefficients yet differ by nonlocal form factors or higher-derivative poles. Therefore \(a_6\) cannot be a complete quantum-consistency certificate.
Part VII — Parent action and background-solution test
11. The background is part of the physical object
Linearization is defined around a stationary point of the action. If \(\bar G_{MN}\) is not a solution, the expansion contains a nonzero tadpole,
\[ S[\bar G+h]=S[\bar G] +\int d^{13}X\,\frac{\delta S}{\delta G_{MN}}\bigg|_{\bar G}h_{MN} +O(h^2), \]
and the quadratic operator is not the fluctuation operator of a vacuum. Gauge identities still exist, but the inferred mass spectrum is not a physical on-shell spectrum.
11.1 Pure-Einstein product condition
For a direct product \(M_d\times N_n\) solving vacuum Einstein equations with a single cosmological constant,
\[ R_{AB}=\lambda G_{AB}, \]
both factors must be Einstein with the same normalized constant:
\[ R_{\mu\nu}(M_d)=\lambda g_{\mu\nu}, \qquad R_{mn}(N_n)=\lambda\gamma_{mn}. \]
The declared branch uses approximately flat \(M_4\), positively curved \(K_6\) and \(S^2\), and a flat interval direction. Those factors do not share one \(\lambda\). Hence the bare product is not a solution of the pure Einstein–Hilbert plus single-\(\Lambda_{13}\) equations.
This is not fatal in principle. Fluxes, localized tensions, Casimir energy, form fields, or a scalar potential can support a product or warped solution. But those sources must be specified and solved. The parent skeleton presently leaves part of that inventory schematic.
11.2 Corrected project result
The July 12 Dynamics root gives two relevant results:
- the symmetric pure-curvature compactification has a negative shape-doublet Hessian, \(-\tfrac13 I_2\), and is a verified saddle;
- a positive Wilsonian zero-mode potential can be declared to stabilize the retained moduli, but its target radii and masses are matching parameters and its 13D origin is not derived.
Therefore:
\[ \boxed{\text{full 13D background derivation: not closed}} \]
while
\[ \boxed{\text{construction-level 4D zero-mode vacuum: admissible and scoped}} \]
11.3 Strongest legal use of the construction anchor
The construction anchor may be used to define a valid 4D EFT around a local vacuum if:
- the 4D Einstein coefficient is positive;
- all retained scalar masses at that point are nonnegative;
- the vacuum energy is calibrated to the background curvature being used;
- the tensor sector does not receive a mass term;
- the omitted KK tower is explicitly outside the certificate.
It may not be used to claim that the full 13D equations select the vacuum or that every omitted mode is stable.
11.4 Boundary and Gibbons–Hawking–York requirement
Because \(I_\chi\) has fixed sets/boundaries in the interval description, a well-posed metric variational problem requires the appropriate boundary term and boundary conditions. Schematically,
\[ S_{\rm GHY}=M_*^{11}\int_{\partial X_{13}}d^{12}x\sqrt{|h|}\,K \]
with orbifold/fixed-set modifications and any localized action included. The external tensor zero mode must satisfy the induced parity/Robin/Neumann condition. The historical dossier’s bulk-only discussion did not fully close this leg; the scoped certificate treats the even constant mode as part of the declared boundary contract.
Part VIII — Exact zero-mode reduction
12. Reduction of the Einstein term
For an unwarped product with frozen internal metric,
\[ R_{13}=R_4+R_9 \]
up to fields omitted from the simple ansatz. Inserting into the Einstein term gives
\[ S_{13}\supset \frac{M_*^{11}}{2} \int d^4x\sqrt{-g_4}\,R_4 \int d^9y\sqrt{\gamma_9} = \frac{M_P^2}{2}\int d^4x\sqrt{-g_4}\,R_4, \]
where
\[ M_P^2=M_*^{11}V_9. \]
The 4D massless graviton is therefore not an extra Actor added after reduction; it is the zero mode of the external block of the parent metric, provided the reduction assumptions hold.
12.1 Normalized constant harmonic
Let \(Y_9\) be compact and connected and impose the graviton-even boundary condition. The scalar Laplacian obeys
\[ -\Delta_{Y_9}\psi_n=\lambda_n\psi_n, \qquad \lambda_n\ge0 \]
for the standard positive self-adjoint problem. The constant mode
\[ \psi_0=V_9^{-1/2} \]
satisfies \(\Delta\psi_0=0\). Expanding
\[ h_{\mu\nu}(x,y)=V_9^{-1/2}h^{(0)}_{\mu\nu}(x) +\sum_{n>0}h^{(n)}_{\mu\nu}(x)\psi_n(y), \]
produces a massless 4D tensor at \(n=0\) and massive tensor towers with masses set by internal eigenvalues, modulo curvature and mixing terms appropriate to the solved background.
12.2 Why the zero mode is protected
A local Fierz–Pauli mass term
\[ m_g^2(h_{\mu\nu}h^{\mu\nu}-h^2) \]
breaks the linearized 4D diffeomorphism symmetry unless generated through a consistent Higgs/Stückelberg mechanism. The locked reduction preserves the external diffeomorphism zero mode, so no such mass is allowed in the scoped two-derivative action. Boundary terms or background effects that explicitly break the symmetry would reopen the gate.
12.3 Quadratic 4D action
Expanding the 4D Einstein action around Minkowski space and imposing transverse-traceless gauge gives
\[ S^{(2)}_{\rm TT} =\frac{M_P^2}{8} \int d^4x\, \partial_\rho h^{\rm TT}_{\mu\nu} \partial^\rho h_{\rm TT}^{\mu\nu}, \]
up to signature convention and boundary terms. The coefficient is positive when \(M_P^2>0\), yielding a positive-residue massless pole.
12.4 Coupling to matter
Four-dimensional diffeomorphism invariance gives the universal linear coupling
\[ S_{\rm int}=-\frac{1}{2}\int d^4x\,h_{\mu\nu}T^{\mu\nu} \]
in an unnormalized metric perturbation convention, or equivalently \(-h^{(c)}_{\mu\nu}T^{\mu\nu}/M_P\) after canonical normalization. Conservation \(\partial_\mu T^{\mu\nu}=0\) removes gauge-dependent exchange contributions.
12.5 Scope of the proof
This reduction proves a zero-mode theorem conditional on:
- a valid background/reduction;
- finite internal volume;
- external tensor even parity;
- unbroken 4D diffeomorphism invariance;
- positive Einstein coefficient.
It does not prove that the frozen direct product is the background selected by the full 13D Dynamics.
Part IX — Planck normalization and convention repair
13. Reduced versus ordinary Planck mass
Two common definitions are:
\[ M_{\rm Pl}=G_N^{-1/2}\approx1.2209\times10^{19}\ \mathrm{GeV}, \]
\[ M_P=(8\pi G_N)^{-1/2}=\frac{M_{\rm Pl}}{\sqrt{8\pi}} \approx2.435\times10^{18}\ \mathrm{GeV}. \]
The action
\[ S_4=\frac{M_P^2}{2}\int\sqrt{-g}\,R \]
uses the reduced Planck mass. Therefore the parent action written as
\[ S_{13}=\frac{M_*^{11}}{2}\int\sqrt{-G}\,R_{13} \]
uses the reduced higher-dimensional convention, and the correct reduction is
\[ M_P^2=M_*^{11}V_9. \]
13.1 Numerical correction
Using the project’s active internal volume
\[ V_9=3.704417261398702\times10^{-148}\ \mathrm{GeV}^{-9} \]
and \(M_P=M_{\rm Pl}/\sqrt{8\pi}\),
\[ M_*= \left(\frac{M_P^2}{V_9}\right)^{1/11} =5.569992166793342\times10^{16}\ \mathrm{GeV}. \]
The legacy result
\[ 7.467050992135091\times10^{16}\ \mathrm{GeV} \]
comes from inserting the ordinary \(M_{\rm Pl}\) into the reduced-action formula. That number is not discarded as arithmetic; it is reclassified as a convention mismatch.
13.2 Equivalent ordinary-Planck convention
One may instead define an ordinary higher-dimensional Planck scale \(\mathcal M_*\) by
\[ S_{13}=\frac{\mathcal M_*^{11}}{16\pi}\int\sqrt{-G}\,R_{13}. \]
Then
\[ M_{\rm Pl}^2=\mathcal M_*^{11}V_9. \]
The old numerical value is compatible with this equation, but \(\mathcal M_*\) is not the same convention as the \(M_*\) appearing in the project’s displayed \(M_*^{11}/2\) action.
13.3 Why the correction matters
The factor does not change the existence or two-helicity count of the zero mode. It does affect:
- the canonical normalization of \(h_{\mu\nu}\);
- gravitational interaction strengths;
- comparisons between \(M_*\), \(M_U\), and the KK scale;
- any loop estimate carrying powers of the gravitational coupling.
A technical dossier must therefore freeze one convention globally.
Part X — Two-helicity count and BRST/constraint structure
14. Four-dimensional physical count
A symmetric tensor in four dimensions has ten components. The massless Einstein equations possess four gauge functions. A careful Hamiltonian or BRST analysis removes gauge variables and constraints, leaving
\[ N_{\rm phys}^{(4)}=\frac{4(4-3)}{2}=2. \]
Equivalently, a massless particle in four dimensions is classified by the little group and a parity-invariant graviton carries helicities \(+2\) and \(-2\).
A mnemonic subtraction “10 minus twice 4 equals 2” reproduces the count but should not be mistaken for the full constraint proof; the ghost determinant cancels gauge-volume contributions, while the physical cohomology is defined by BRST or Hamiltonian constraints.
14.1 De Donder gauge
The covariant gauge condition is
\[ F_N=\nabla^Mh_{MN}-\frac12\nabla_Nh=0. \]
The gauge-fixing action makes the quadratic operator minimal on suitable backgrounds. Faddeev–Popov ghosts are vector-valued Grassmann fields. Their role is to divide by gauge-orbit volume in the functional integral, not to become negative-norm physical particles.
14.2 BRST statement
With BRST charge \(Q\), physical states are cohomology classes
\[ \mathcal H_{\rm phys}=\ker Q/\operatorname{im}Q. \]
Nilpotency \(Q^2=0\), a compatible inner product, and a non-anomalous gauge symmetry are required. Gate 22 owns the positive physical Hilbert reconstruction; Gate 23 owns the relevant descended anomaly check. Gate 24 consumes those interfaces at the scoped level rather than re-proving them.
14.3 Thirteen-dimensional count
A 13D symmetric tensor has
\[ N_{\rm comp}^{(13)}=\frac{13\cdot14}{2}=91 \]
components. A massless 13D graviton has
\[ N_{\rm phys}^{(13)}=\frac{13(13-3)}{2}=65 \]
physical polarizations, equivalently the dimension of a symmetric traceless rank-two tensor of the little group \(SO(11)\):
\[ \frac{11\cdot12}{2}-1=65. \]
The gauge-fixed bulk determinant has a graviton fiber of 91 and a complex vector ghost fiber of 13, producing a leading graded rank \(91-2\cdot13=65\). This is a useful bulk consistency check. It is not the derivation of the two helicities of the 4D zero mode.
14.4 Decomposition after compactification
The parent metric decomposes schematically into:
- \(h_{\mu\nu}\): 4D spin-2 towers;
- \(h_{\mu m}\): 4D vector towers;
- \(h_{mn}\): 4D scalar towers.
The 65 parent polarizations reorganize across these sectors. The external constant tensor mode contributes two; the remaining degrees appear in massive spin-2 fields, geometric vectors, radions/moduli, or are removed/projected by boundary conditions. Any claim that all 65 become a single 4D graviton is false.
Part XI — Positive residue and quadratic stability
15. Pole-residue test
The gauge-invariant exchange amplitude between conserved sources has the massless spin-2 pole
\[ \mathcal A(k)\propto \frac{1}{M_P^2} \frac{T_{\mu\nu}T^{\mu\nu}-\tfrac12 T^2}{k^2+i\epsilon} \]
in four dimensions. The residue is positive on physical transverse-traceless states when \(M_P^2>0\). This is the correct quadratic positivity object for the graviton, not the sign of an unrelated local heat-kernel coefficient.
15.1 Tachyon test
The zero mode has \(m_0^2=0\) because it is associated with the constant internal harmonic and protected by diffeomorphism invariance. Massive tensor modes require \(m_n^2\ge0\). That condition depends on the complete internal operator and background. It is not established for the full branch by the local \(E_L\) data.
15.2 Higher-derivative terms
An EFT contains terms such as
\[ \int\sqrt{-g}\left(c_1R^2+c_2R_{\mu\nu}R^{\mu\nu}+c_3R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}+\cdots\right). \]
If treated perturbatively below a cutoff, these are controlled corrections. If resummed as a fundamental polynomial propagator, some combinations introduce additional poles, including a negative-residue spin-2 pole. Gate 24’s scoped certificate requires no such pole below the retained cutoff; it does not prove the all-orders UV propagator.
The project’s \(R^2\) scalaron construction adds a scalar mode but does not by itself add a massive spin-2 ghost. Generic Ricci-squared terms would require a separate pole audit.
15.3 Shape-doublet failure is not a graviton ghost
The \(-1/3\) shape-doublet Hessian is a tachyonic modulus of the compactification branch, not a negative-norm helicity of the 4D massless graviton. It still invalidates the claim that the full background is stable. The dossier keeps these diagnoses separate:
- tensor zero-mode kinetic sign: scoped PASS;
- compactification scalar stability as written: FAIL;
- full KK tensor stability: unproved.
Part XII — Luminality and the observational ruler
16. Structural low-energy speed
On a Lorentz-invariant four-dimensional vacuum, the quadratic TT equation from the Einstein term is
\[ \Box h^{\rm TT}_{\mu\nu}=0, \]
so plane waves obey
\[ \omega^2=|\mathbf k|^2, \qquad c_T=1. \]
This is a structural prediction of the two-derivative zero-mode EFT, not a fit parameter. It can fail if the vacuum breaks Lorentz invariance, if matter defines a disformal metric, if higher-derivative operators modify the principal symbol in the observed range, or if the observed wave is not the pure zero mode.
16.1 GW170817/GRB170817A consistency record
The joint observation constrained the difference between gravitational-wave and electromagnetic propagation speeds to roughly the \(10^{-15}\) level under assumptions about emission delay and the common path. This is a strong consistency check for the low-energy tensor mode. It is not:
- a derivation of \(c_T=1\);
- a measurement of the speed of heavy KK gravitons;
- a proof of high-frequency or UV causality;
- a proof that every extra scalar/vector mode is absent.
16.2 Same-ruler tuple
The comparison is valid only for the tuple
(theory dimension = 4D observer EFT,
mode = tensor zero mode,
frame = matter/Einstein frame as declared,
frequency = astrophysical band,
background = late-time weak curvature,
projection = detector strain,
propagation model = common causal path,
emission model = bounded source delay)
Changing any coordinate changes the claim.
16.3 Higher-curvature and cosmological backgrounds
In \(f(R)\) gravity the tensor principal speed is ordinarily luminal, while an extra scalar polarization can propagate. General higher-derivative or Lorentz-breaking terms require a separate principal-symbol calculation. Therefore the scoped certificate says “the retained Einstein/scalaron tensor mode is luminal,” not “every possible completion of the project is luminal.”
Part XIII — Newtonian limit and KK corrections
17. Long-distance exchange
For nonrelativistic conserved sources, zero-mode graviton exchange produces
\[ V_0(r)=-\frac{G_Nm_1m_2}{r}, \qquad F_0(r)=-\frac{G_Nm_1m_2}{r^2}. \]
The potential—not the force—is \(1/r\). The legacy dossier sometimes used “Newtonian \(1/r^2\) limit” as shorthand; this dossier states both objects explicitly.
17.1 KK corrections
Massive modes contribute Yukawa terms,
\[ V(r)=-\frac{G_Nm_1m_2}{r} \left[1+\sum_{n>0}\alpha_ne^{-m_nr}\right] \]
in a simple discrete tower, with coefficients determined by mode wavefunctions and source localization. At
\[ r\gg m_1^{-1}\sim R_{\rm eff}, \]
these terms are exponentially suppressed and four-dimensional gravity emerges.
17.2 Short-distance crossover
At distances below the compactification scale, an unwarped isotropic \((4+n)\)-dimensional theory would generically approach a higher-dimensional potential scaling \(1/r^{1+n}\) and force scaling \(1/r^{2+n}\). The present internal space is anisotropic and curved, so the detailed crossover requires the spectral Green function. Gate 24 does not need that short-distance solution to close the long-distance limit.
17.3 Scalar fifth forces
A light radion or shape modulus couples to the trace of the stress tensor and can modify the Newtonian potential. The full branch’s shape instability makes this a real concern. The construction-level zero-mode EFT closes the Newtonian tensor limit only if all retained moduli are sufficiently massive or screened. That condition is owned by SG-6/UQF-10 and must not be silently imported from the graviton helicity count.
17.4 Universal coupling and equivalence principle
The massless metric zero mode couples universally because all matter sees the same four-dimensional metric in the minimal reduction. Localized or nonminimal terms can violate universality and must be audited in the complete action. The project currently has a skeleton rather than a complete fixed-set inventory, so the strongest claim is the universal coupling of the declared minimal zero-mode EFT.
Part XIV — Thirteen-dimensional data versus four-dimensional observables
18. Correct object map
| Project datum | Mathematical object | Legitimate use | Forbidden use |
|---|---|---|---|
| \(D=13\) | parent spacetime dimension | component counts, dimensional reduction, bulk power counting | direct claim about 4D helicities |
| 91 | rank of \(\mathrm{Sym}^2T^*X_{13}\) | off-shell graviton fiber count | physical mode count |
| 13 | vector ghost rank | gauge-fixed determinant count | number of physical constraints by itself |
| 65 | D=13 massless polarizations / leading graded rank | bulk cross-check | two-helicity 4D proof |
| 2 | 4D massless helicities | detector/observer tensor states | count of all compactified fields |
| \(E_L\) fiber eigenvalues | algebraic endomorphism at the chosen internal metric | local heat-kernel traces | full global Lichnerowicz/KK spectrum |
| \(a_6\) | local heat-kernel coefficient under a specified convention | counterterms, threshold data, consumer-gate computations | universal state positivity |
| GW speed bound | measured zero-mode propagation constraint | consistency of 4D tensor principal speed | UV/full-tower causality |
| Newtonian law | 4D long-distance potential/force | IR observer limit | proof of short-distance 13D behavior |
18.1 Why the 65 equality is useful but limited
The equality
\[ 91-2(13)=65=\frac{13(10)}{2} \]
is not accidental. It reflects the leading cancellation of gauge directions in a massless spin-2 functional determinant and matches the 13D little-group count. It is a robust negative control against the earlier fabricated 67 bulk component count.
However, determinant supertraces include unphysical fields and are not state-space decompositions. Compactification reorganizes the parent degrees among lower-dimensional tensors, vectors, and scalars. The two-helicity theorem must be run after the zero-mode projection.
18.2 Orbifold grading counts
The project archive also contains parity-graded traces such as 67/11/45 for a reflection operator. Those are traces of an involution on field fibers, not dimensions of the full fibers and not physical degree counts. They may enter fixed-point heat kernels but must never replace 91/13/65 or 2.
Part XV — Internal Lichnerowicz data
19. Operator structure
For a metric perturbation on an Einstein background, the gauge-fixed quadratic operator is Lichnerowicz-type. On an internal symmetric tensor,
\[ (\Delta_L h)_{mn} =-\nabla^2h_{mn} +R_m{}^ph_{pn}+R_n{}^ph_{mp} -2R_{mpnq}h^{pq} \]
up to sign convention. The project records an algebraic endomorphism spectrum on the internal traceless symmetric fiber at the symmetric \(K_6\) metric:
\[ \left\{ \frac16\ (\times6), \frac5{12}\ (\times6), \frac76\ (\times6), \frac{17}{12}\ (\times2) \right\}, \]
with traces \(40/3\) and \(241/18\).
19.1 What this certifies
If the calculation is correct, it certifies local algebraic curvature coupling data needed for:
- the pointwise Weitzenböck/Lichnerowicz endomorphism;
- low-order heat-kernel traces;
- consistency checks of the homogeneous curvature engine;
- inputs to a future global spectral computation.
19.2 What it does not certify
It does not certify:
- eigenvalues of \(-\nabla^2+E_L\) on global sections;
- transverse-traceless mode completeness;
- boundary conditions on \(I_\chi\);
- the scalar/vector sectors mixed with metric fluctuations;
- positivity of every KK mass;
- nonlinear stability;
- the existence of the background solution.
A positive endomorphism can coexist with a negative global mode if other terms or sectors contribute. Conversely, a locally negative curvature term can be overcome by a positive Laplacian eigenvalue. Only the full self-adjoint operator decides the spectrum.
19.3 Relation to the shape-doublet saddle
The compactification shape Hessian is a separate finite-dimensional second variation of the effective potential. Its \(-1/3\) mode is sufficient to show local instability of that branch even if the displayed \(E_L\) fiber eigenvalues are positive. This is a concrete demonstration that the two objects cannot be conflated.
Part XVI — Gate 5B: heat-kernel adjudication
20. What a heat-kernel coefficient means
For a Euclidean Laplace-type operator, the one-loop effective action can be represented by a proper-time integral. The short-time expansion organizes ultraviolet local terms. The coefficient called \(a_6\) in the project is a cubic-curvature/derivative coefficient of a particular operator and normalization. It can be valuable for:
- local counterterm classification;
- threshold corrections after dimensional reduction;
- beta functions or anomalous terms when it occupies the relevant dimensional slot;
- spectral checks in consumer gates.
None of these roles makes its sign a universal norm-positivity theorem.
20.1 Dimensional indexing
Using
\[ K(t)\sim(4\pi t)^{-D/2}\sum_n A_nt^{n/2}, \]
the logarithmic ultraviolet divergence in a \(D\)-dimensional bulk is associated with the integrated coefficient \(A_D\). On a smooth closed manifold, odd \(A_n\) vanish for standard Laplace-type operators, so a closed odd-dimensional bulk has no local bulk logarithmic divergence of that type.
The older dossier instead tracked the project’s “\(a_6\)” and evaluated a Mellin location \(s=D/2-3\). That correctly shows that this coefficient is not the 13D bulk log coefficient. It does not prove the absence of every quantum consistency condition.
20.2 Boundary/fixed-set correction
The active Stage contains \(I_\chi=S^1/\mathbb Z_2\). In the interval description there are fixed sets and boundary conditions. Heat kernels on manifolds with boundary contain additional coefficients, including half-integer powers and boundary invariants. Consequently:
- the closed-manifold parity theorem cannot be applied to the complete orbifold problem without qualification;
- fixed-set/localized logarithmic terms can exist even when a smooth closed odd-dimensional bulk term is absent;
- the relevant coefficient depends on the full elliptic boundary-value problem.
This is why the missing mixed boundary coefficient remains a legitimate spectral computation debt for gates that consume it.
20.3 Four-dimensional observer correction
After compactification, loops of zero modes and KK fields contribute to a four-dimensional effective action. Four-dimensional logarithms and amplitudes are not erased by the odd parity of the parent dimension. The correct comparison dimension depends on the observable:
- 13D bulk counterterm: use the complete 13D bulk/fixed-set operator;
- internal spectral threshold: use the internal operator and product formula;
- 4D graviton scattering or state positivity: use the 4D effective theory.
The old gate used the first ruler to adjudicate the third object.
20.4 No universal sign predicate
Heat-kernel coefficients are sums of curvature, endomorphism, field-content, ghost, and boundary terms. Their signs can change under:
- matter content;
- boundary conditions;
- nonminimal couplings;
- field basis and use of equations of motion;
- subtraction scheme for power divergences;
- choice of operator and gauge, while physical amplitudes remain gauge independent after full assembly.
A sign becomes a physical positivity bound only after a theorem relates a renormalized amplitude coefficient to analyticity, unitarity, crossing, and a specified subtraction. No such theorem is supplied for the project’s raw ghost-subtracted \(a_6\).
20.5 Correct terminal for 5B
\[ \boxed{\mathrm{UQF\text{-}5B}:\ \text{DISSOLVED-AS-WRONG-OBJECT}} \]
This terminal means:
- the project does not owe \(P(a_6)\ge0\) as a graviton-consistency certificate;
- the numerical \(a_6\) debt remains real for consumer gates that need local spectral data;
- quantum consistency is not thereby proven;
- the replacement obligations are listed in Part XVII.
Part XVII — Correct quantum-consistency stack
21. Quadratic/free layer
The first required tests are:
- Positive physical pole residue. The coefficient of the massless TT propagator is positive.
- No tachyon in retained tensor modes. \(m^2\ge0\) for the modes inside the certificate.
- No extra negative-residue pole below cutoff. Higher-derivative terms are treated consistently.
- BRST nilpotency and cohomology. Gauge modes and ghosts decouple from physical states.
- Self-adjoint boundary problem. Boundary/fixed-set conditions yield a well-defined operator.
Gate 24 closes these only for the massless zero-mode tensor under the construction-level 4D EFT assumptions.
21.1 State/Hilbert layer
Gate 22 owns positive normalized states, physical-algebra reconstruction, complete positivity of the observer map, and the distinction between internal orbifold reflection and Osterwalder–Schrader time reflection. Gate 24 consumes that interface; it does not substitute \(a_6\) for it.
21.2 Anomaly layer
Gate 23 closes the scoped four-dimensional global gauge anomaly problem for the faithful Standard Model quotient. Gravitational BRST anomalies, boundary inflow, and the complete 13D fixed-set system require their own dimensional/tangential classification. A healthy classical zero mode does not automatically close them.
21.3 EFT interacting layer
Below the cutoff, gravity can be treated as an effective field theory. Required checks include:
- optical theorem/order-by-order unitarity for physical amplitudes;
- gauge-independent on-shell results;
- controlled higher-dimensional operators;
- decoupling/matching of heavy KK modes;
- causality/analyticity within the EFT domain.
These are not encoded in the sign of one local coefficient.
21.4 Full KK/background layer
UQF-10/SG-6 owns:
- full scalar/vector/tensor mass matrices;
- boundary spectra;
- modulus stability;
- global and tunnelling stability;
- consistent truncation or controlled EFT matching.
The current branch fails the full stability claim as written.
21.5 UV layer
Gate 25/UQF-5C and later UQF-9/UQF-14 own the interacting strong-coupling and above-cutoff completion. Gate 24 makes no claim that a finite operational cutoff constructs that completion.
21.6 Replacement certificate matrix
| Layer | Physical object | Gate-24 result | Owner of remaining work |
|---|---|---|---|
| Classical zero mode | 4D Einstein tensor | PASS-SCOPED | Gate 24 |
| Free quantum pole | TT propagator + BRST cohomology | PASS-SCOPED | Gate 24 + Gate 22 interface |
| 4D global gauge anomaly | Dai–Freed/bordism class | Consumed as closed-scope | Gate 23 |
| Complete 13D anomaly/inflow | bulk + fixed-set determinant line | Not claimed | Gate 23/UQF-7 interface |
| Full KK stability | complete fluctuation operator | Not closed | SG-6/UQF-10 |
| One-loop local coefficients | full bulk/boundary heat kernel | Computation debt | Gap-01/UQF-9 |
| Interacting EFT | amplitudes below cutoff | General EFT scope only | UQF-9/UQF-14 |
| UV completion | nonperturbative theory | Excluded | Gate 25 and downstream |
Part XVIII — Complete branch grammar and forced truth table
22. Branch coordinates
A complete Gate-24 branch is the tuple
\[ \mathcal B_{24}= (\mathcal A,\mathcal V,\mathcal P,\mathcal W,\mathcal H,\mathcal K,\mathcal Q), \]
where:
- \(\mathcal A\): parent gravitational action and sign;
- \(\mathcal V\): background/vacuum and stabilizing source;
- \(\mathcal P\): parity/boundary contract;
- \(\mathcal W\): warp/product reduction geometry;
- \(\mathcal H\): physical Hilbert/BRST structure;
- \(\mathcal K\): KK spectrum and validity cutoff;
- \(\mathcal Q\): proposed quantum-consistency observable.
The canonical scoped branch is:
A = positive Einstein-Hilbert skeleton (+ optional perturbative scalaron R^2)
V = construction-anchored stable 4D zero-mode vacuum
P = external graviton even; self-adjoint boundary problem assumed in the declared contract
W = unwarped linear zero-mode reduction; exact nonlinear truncation not claimed
H = positive physical-algebra/BRST interface from Gate 22
K = only massless tensor zero mode certified; full tower exported
Q = positive pole residue / BRST / spectrum, not sign(a6)
22.1 Forced truth table
| A | V | P | Result for 4D graviton |
|---|---|---|---|
| positive EH | valid 4D vacuum | even constant mode | massless positive-residue zero mode |
| negative EH | any | even | ghostlike massless pole |
| positive EH | no stationary background | even | no physical vacuum spectrum; tadpole |
| positive EH | valid | odd Dirichlet external tensor | no constant graviton zero mode |
| positive EH | valid | even but diffeo-breaking boundary mass | massive/broken tensor; reopen |
| positive EH + generic higher derivatives | valid | even | zero mode plus possible extra poles; pole audit required |
| positive EH | valid zero-mode EFT but unstable omitted KK | even | IR PASS, full compactification FAIL |
22.2 Quantum-object truth table
| Proposed object | Can decide state positivity? | Can decide local counterterms? | Gate disposition |
|---|---|---|---|
| massless pole residue | yes at quadratic tensor level | no | required |
| BRST cohomology norm | yes at free gauge level | no | required/interface |
| full spectral eigenvalues | detects tachyons/ghost poles with norms | indirectly | required for full tower |
| reflection positivity / GNS | reconstructs physical Hilbert under conditions | no | Gate 22 |
| raw \(a_6\) sign | no general theorem | yes, local term data | retired as gate switch |
| on-shell forward amplitude coefficient with dispersion theorem | can yield scoped positivity bound | yes after matching | legitimate future test |
| odd-D absence of a closed-bulk log | no | classifies one divergence slot | not a quantum certificate |
22.3 Architecture ranking
The simplest architecture that meets the scoped gate is the declared 4D Einstein zero-mode EFT with stabilized moduli. Adding an \(a_6\)-sign requirement increases complexity without adding a valid observable. Adding a UV completion inside Gate 24 violates ownership. The selected architecture is therefore minimal relative to the gate charter, not a claim that the full theory is complete.
Part XIX — Negative controls and destruction tests
DT-01 — Flip the Einstein sign
Operation. Replace +M_^{11}R/2 by -M_^{11}R/2 while leaving Shape fixed.
Expected result. The massless pole residue becomes negative. This kills the claim that Shape alone guarantees positivity.
DT-02 — Remove the background solution
Operation. Expand around a metric with a nonzero Einstein-equation tadpole.
Expected result. A formal quadratic operator still exists, but it is not the spectrum of a vacuum. Full 13D closure fails.
DT-03 — Make the external tensor orbifold-odd
Operation. Impose Dirichlet/odd parity on h_{mu nu} at both fixed sets.
Expected result. The constant internal harmonic is projected out; no massless 4D graviton remains.
DT-04 — Add a localized Fierz-Pauli mass
Operation. Place a diffeomorphism-breaking quadratic metric term on one fixed set.
Expected result. The zero mode becomes massive or inconsistent. Boundary inventory is therefore load-bearing.
DT-05 — Use a disconnected internal space
Operation. Split Y9 into disconnected components without gluing constraints.
Expected result. Multiple constant harmonics can produce multiple massless spin-2 candidates; a multigravity consistency analysis is required.
DT-06 — Use a noncompact infinite-volume internal space
Operation. Let V9 diverge.
Expected result. The constant mode is non-normalizable and the effective 4D Planck mass diverges; ordinary localized gravity is not obtained.
DT-07 — Set V9 to zero
Operation. Collapse the internal volume in the reduction formula.
Expected result. The 4D Einstein coefficient vanishes or the EFT breaks down. Positive finite volume is essential.
DT-08 — Mix ordinary and reduced Planck conventions
Operation. Use M_Pl in M_P2=M_^11 V while retaining the coefficient M_11/2.
Expected result. The inferred M_* shifts by (8pi)^(1/11). The verification suite must fail this convention mismatch.
DT-09 — Identify 65 with two
Operation. Use the D=13 bulk graded count as the detector polarization count.
Expected result. The observer map fails: compactification decomposes parent polarizations into 4D tensors, vectors, and scalars.
DT-10 — Identify 91 with physical states
Operation. Treat every component of h_MN as a propagating particle.
Expected result. Gauge redundancy and constraints are ignored; the result contains unphysical negative-norm directions.
DT-11 — Drop the antighost factor
Operation. Use 91-13 instead of 91-26 in a determinant supertrace.
Expected result. The bulk rank no longer matches the D-dimensional little-group count. This catches ghost-multiplicity errors.
DT-12 — Replace 91 by the parity trace 67
Operation. Confuse an involution trace with a fiber dimension.
Expected result. The operator rank becomes wrong; the old fabricated count is detected.
DT-13 — Use local E_L eigenvalues as global masses
Operation. Read {1/6,5/12,7/6,17/12} directly as the KK spectrum.
Expected result. Derivative, topology, boundary, and mode-mixing data are omitted. The conclusion is invalid.
DT-14 — Ignore the shape-doublet tachyon
Operation. Declare full stability because the tensor zero mode is healthy.
Expected result. The compactification remains unstable; zero-mode tensor health cannot close the branch.
DT-15 — Add a light radion
Operation. Leave a scalar modulus nearly massless and universally coupled.
Expected result. The force law gains a fifth-force contribution. Newtonian closure requires the SG-6 interface.
DT-16 — Break source conservation
Operation. Couple h_mu nu to a nonconserved external tensor.
Expected result. Gauge-dependent longitudinal exchange survives; the universal massless spin-2 amplitude is inconsistent.
DT-17 — Break Lorentz invariance
Operation. Introduce a preferred-time kinetic coefficient for the tensor.
Expected result. The dispersion becomes omega2=c_T2 k^2 with c_T not forced to one.
DT-18 — Add a disformal matter metric
Operation. Let photons and gravitons propagate on different effective metrics.
Expected result. GW/emission speed comparison changes frame and requires a new same-ruler audit.
DT-19 — Add Ricci-squared nonperturbatively
Operation. Resum a generic R_mu nu R^mu nu term as a fundamental propagator.
Expected result. An extra massive spin-2 pole can have negative residue. Positive EH alone is insufficient.
DT-20 — Treat R^2 scalaron as a third tensor helicity
Operation. Count the scalar polarization as a graviton tensor state.
Expected result. The 4D massless tensor still has two helicities; the scalar is a separate Actor.
DT-21 — Use the force law at r much smaller than R
Operation. Apply the 4D 1/r potential inside the compactification scale.
Expected result. The KK Green function is unsuppressed and higher-dimensional behavior can emerge.
DT-22 — Assume every KK coefficient alpha_n is positive
Operation. Infer the sign of corrections without mode/source overlaps.
Expected result. Boundary wavefunctions and tensor structures can alter coefficients; the spectral coupling must be computed.
DT-23 — Delete universal coupling
Operation. Allow different matter sectors to see different 4D metrics.
Expected result. The equivalence-principle/Newtonian claim fails even though a massless tensor exists.
DT-24 — Use GW170817 as a UV theorem
Operation. Apply the 10^-15 speed bound to Planck-energy or heavy KK modes.
Expected result. The measurement scope is exceeded; the conclusion is invalid.
DT-25 — Set a6 positive by scheme choice
Operation. Change subtraction of power divergences and call the sign physical.
Expected result. A scheme-dependent coefficient cannot be a universal gate switch.
DT-26 — Set a6 to zero in dimensional regularization
Operation. Conclude quantum consistency because a power divergence vanishes in that scheme.
Expected result. Only the bookkeeping term is removed; physical amplitudes and boundary logs remain.
DT-27 — Ignore fixed sets in odd-D parity
Operation. Apply the closed-manifold vanishing theorem to the orbifold interval.
Expected result. Boundary/fixed-set coefficients are missed; the dimensional dissolution is invalid.
DT-28 — Use 13D power counting for a 4D amplitude
Operation. Classify a 4D observer loop solely by D=13 parity.
Expected result. The wrong dimension is used. KK reduction and matching must occur first.
DT-29 — Make a6 negative
Operation. Choose field content or boundary terms that give a negative local coefficient while keeping the free pole healthy.
Expected result. The physical tensor can remain positive; this disproves the proposed universal sign implication.
DT-30 — Keep a6 fixed but add a ghost pole
Operation. Add a higher-derivative nonlocal/polynomial term not fixed by the finite coefficient set.
Expected result. Quantum inconsistency can appear without changing the audited a6. The test is incomplete.
DT-31 — Gauge-dependent heat-kernel comparison
Operation. Compare graviton and ghost coefficients computed in inconsistent gauges/operators.
Expected result. The local result is not a physical observable; full gauge-consistent assembly is required.
DT-32 — Non-elliptic boundary problem
Operation. Choose boundary conditions that make the Euclidean gauge-fixed operator non-strongly-elliptic.
Expected result. The heat trace may fail to be trace class; coefficient arguments are not valid.
DT-33 — Anomalous BRST charge
Operation. Let quantum anomalies spoil Q^2=0.
Expected result. The free gauge cancellation no longer defines a physical cohomology. Gate 23/UQF-7 interfaces reopen.
DT-34 — Positive Hilbert space but unbounded Hamiltonian
Operation. Keep norms positive while making a tensor mode tachyonic.
Expected result. Norm positivity and stability are distinct; both are required.
DT-35 — Stable classical mode but non-CP observer map
Operation. Reduce the state with a map that is positive only on unentangled inputs.
Expected result. The observer theory can fail on reference-entangled states. Gate 22 remains load-bearing.
DT-36 — Exact zero mode but nonlinear inconsistent truncation
Operation. Excite the zero mode and allow interactions to source omitted KK fields.
Expected result. The 4D action is only an EFT, not an exact subsector. Scope must remain explicit.
DT-37 — Warp the internal geometry
Operation. Introduce y-dependent warp factors without recomputing normalization and mode equations.
Expected result. M_P, zero-mode profile, and KK masses change. Unwarped formulas cannot be inherited.
DT-38 — Time-dependent internal volume
Operation. Let the radion roll during wave propagation.
Expected result. The effective Planck mass and damping vary; simple luminal/Newtonian statements require refinement.
DT-39 — Multiple massless spin-2 zero modes
Operation. Engineer more than one normalizable external tensor zero mode.
Expected result. Interacting multigravity is highly constrained; the single-graviton claim no longer follows.
DT-40 — Change the matter frame
Operation. Perform a conformal transformation but compare speeds and G_N without transforming detectors and units.
Expected result. Apparent discrepancies are frame artifacts; the same-ruler audit fails.
Part XX — Hostile-review objections and answers
O-01 — You have downgraded a ratified closed gate.
Answer. The project-dependency terminal remains RESOLVED +0. The physical claim is repaired so that the terminal does not rely on a false Shape-only derivation or an invalid a6 predicate. Governance permits strengthen-or-correct changes when a named physics error is found.
O-02 — A metric theory always has a graviton, so the background caveat is pedantic.
Answer. A gauge field variable exists off shell, but a particle spectrum is defined around a solution or controlled background. A nonzero tadpole and an unstable compactification invalidate an on-shell spectrum claim.
O-03 — Diffeomorphism invariance alone guarantees the zero mode on any compactification.
Answer. It protects a massless external gauge mode if the background, boundary conditions, and reduction preserve external diffeomorphisms. Odd parity, localized mass terms, nonnormalizability, or no vacuum can remove the physical conclusion.
O-04 — The constant function is always a zero mode, so the gate is fully derived.
Answer. The constant scalar harmonic is one leg. The kinetic sign, background solution, boundary variational problem, coupling, and state-space positivity come from Dynamics and Rulebook.
O-05 — The July 12 shape instability is a scalar issue and should not affect the graviton gate.
Answer. It does not turn the massless tensor into a ghost, but it prevents the claimed full 13D background from being a stable vacuum. The gate must distinguish IR tensor closure from full compactification closure.
O-06 — A construction anchor is enough; why say full 13D is open?
Answer. It is enough for a scoped 4D EFT. It is not a derivation of the stabilizing source from the parent action and cannot certify omitted KK modes or tunnelling channels.
O-07 — The internal factors need not share an Einstein constant because matter is present.
Answer. Correct. That is precisely why the full matter/flux/fixed-set stress tensor must be specified and solved. The current skeleton does not complete that calculation.
O-08 — Your product-Einstein objection ignores warping.
Answer. Warping is a possible repair, not an automatic solution. A warped branch requires its own equations, zero-mode profile, normalization, and stability analysis.
O-09 — The old 91/13/65 calculation was correct, so no correction is needed.
Answer. The arithmetic is correct as a bulk determinant/little-group check. The error was using 65 as evidence for the two helicities of the 4D zero mode.
O-10 — Ghost subtraction literally counts physical states, so 91-26 is sufficient.
Answer. Functional determinant ranks and BRST cohomology are related but not identical. Constraints, zero modes, boundary conditions, and global gauge issues must be handled; the 4D physical count is derived after reduction.
O-11 — The little group SO(11) proves the parent theory is unitary.
Answer. It classifies polarizations of a free massless representation assuming a positive Hilbert space. It does not prove the interacting action realizes that representation without ghosts or anomalies.
O-12 — Two helicities are experimentally known; the theory merely assumes them.
Answer. The measurement is a consistency record. The theory derives the two-helicity count from unbroken 4D diffeomorphism symmetry and the massless zero-mode action, conditional on the declared Dynamics.
O-13 — A massless spin-2 field necessarily reproduces GR nonlinearly.
Answer. Consistency arguments strongly constrain interacting massless spin-2 theories, but Gate 24 does not derive the complete nonlinear truncation or all higher-dimensional interactions. It claims the Einstein zero-mode EFT supplied by the parent EH term.
O-14 — The Newtonian force is 1/r^2, so writing a 1/r potential is a change of claim.
Answer. It is a precision correction. The potential scales as 1/r and its force as 1/r^2. Both reproduce the standard Newtonian limit.
O-15 — KK modes give power-law, not Yukawa, corrections.
Answer. A compact discrete spectrum gives a sum of Yukawa terms at distances above the compactification scale; the sum approaches higher-dimensional power-law behavior when many modes are unsuppressed at short distance.
O-16 — The first KK mass is exactly 1/R0.
Answer. Only for a simple circle mode with the corresponding boundary condition. Curved factors have eigenvalue-dependent masses. The dossier uses 1/R0 as a characteristic scale, not a full spectrum.
O-17 — The graviton speed is exactly c by coordinate choice.
Answer. The physical statement compares tensor and matter characteristic cones in the same frame. A coordinate rescaling cannot remove a genuine relative speed difference.
O-18 — GW170817 has source-delay uncertainty, so it should not appear.
Answer. The dossier states the assumptions and uses the event only as a consistency bound, not as a derivation or exact equality.
O-19 — f(R) gravity adds a scalar, so the claim of two polarizations is false.
Answer. The massless tensor sector still has two helicities. The scalaron is an additional scalar polarization/field and is separately inventoried.
O-20 — Higher-curvature terms always create ghosts.
Answer. Generic Ricci-squared terms can create a massive spin-2 ghost if treated nonperturbatively. Pure f(R) adds a scalar. In EFT, higher-curvature terms may be treated perturbatively below cutoff without interpreting every truncated pole as fundamental.
O-21 — Positive M_P^2 is enough for all quadratic stability.
Answer. It fixes the residue of the massless tensor pole only. Scalar, vector, massive tensor, and higher-derivative poles require separate checks.
O-22 — Your corrected M_* is arbitrary because Planck conventions are conventions.
Answer. The physics is convention-invariant, but an action coefficient and calibration formula must use the same convention. The numerical mismatch is exactly calculable and affects reported scales.
O-23 — The project may define M_* however it wants.
Answer. Yes, if the definition is explicit. It cannot simultaneously write M_*^11/2 and use the ordinary-Planck reduction formula without a factor of 8pi.
O-24 — Boundary terms do not matter for a bulk zero mode.
Answer. They determine the variational problem, parity, normalization, and can contain localized kinetic or mass terms. On an orbifold they are part of the physical object.
O-25 — Orbifolds have no real boundary, so boundary heat-kernel terms are irrelevant.
Answer. The quotient can be treated equivariantly on the covering space or as an interval with fixed-set contributions. Either formulation includes localized/fixed-point spectral data absent from a smooth closed bulk.
O-26 — Odd dimensions have no conformal anomaly, so 5B was correctly dissolved.
Answer. The absence of a smooth closed-bulk local Weyl anomaly does not imply absence of boundary anomalies, parity/eta effects, 4D EFT logs, or state-space consistency obligations. It also does not make an a6 sign a valid test.
O-27 — Dimensional regularization sets power divergences to zero, proving they are unphysical.
Answer. Their scheme-dependent parts are not universal observables, but matching coefficients and boundary terms can still matter. Setting a regulator artifact to zero does not prove unitarity.
O-28 — If a6 is scheme dependent, why keep the computation debt?
Answer. Consumer gates may need a fixed-scheme local coefficient for threshold matching, spectral action terms, or cross-route verification. A quantity can be useful without being a universal positivity predicate.
O-29 — Heat-kernel coefficients do encode anomalies, so their signs can be physical.
Answer. Specific coefficients in specific dimensions can encode anomaly coefficients. The physical interpretation is theorem- and observable-dependent; there is no universal rule that the raw ghost-subtracted a6 must be nonnegative.
O-30 — Positivity bounds are often signs of EFT coefficients; your dismissal is too broad.
Answer. The dossier does not dismiss amplitude positivity bounds. It requires the dispersion-relation bridge from a renormalized on-shell amplitude to the coefficient. The legacy raw heat-kernel sign lacks that bridge, especially with massless gravity and boundary subtleties.
O-31 — The a6 test could be a project axiom even if not standard.
Answer. It could be declared as a new construction rule, but then it is an axiom/selector, not a physically required graviton consistency obligation. It could not be used as evidence without an observable link.
O-32 — The Lichnerowicz endomorphism eigenvalues are positive, proving no ghost.
Answer. Ghosts concern kinetic norms/residues; tachyons concern full operator eigenvalues. A local positive algebraic term proves neither by itself.
O-33 — The internal E_L spectrum was machine verified, so it is the full spectrum.
Answer. Machine verification of the implemented matrix only establishes that matrix. It cannot change the mathematical type of the object from pointwise endomorphism to global differential spectrum.
O-34 — The Bianchi residual validates all curvature-based claims.
Answer. It validates an internal consistency identity of the curvature engine. It does not establish the background equations, boundary problem, or physical spectrum.
O-35 — A stable zero-mode potential can always be uplifted to 13D.
Answer. No. Locality, covariance, boundary conditions, flux quantization, and source stress tensors constrain uplifts. The absence of an explicit parent is the current open item.
O-36 — The full branch being unstable means the infrared graviton should be marked failed.
Answer. An unstable vacuum cannot describe nature as a complete branch, but a construction-level EFT can still contain a mathematically healthy massless tensor. The dossier records both outcomes instead of collapsing them.
O-37 — CLOSED-SCOPED is just a euphemism for open.
Answer. It is a precise terminal: the stated conditional theorem is complete, while a stronger different obligation remains not closed and owner-routed.
O-38 — RESOLVED +0 is inconsistent with NOT CLOSED.
Answer. The project-dependency gate is resolved because 5A and 5B have legitimate terminals and the stronger residual is assigned to SG-6/UQF-10/Gate 25. The physical full-13D claim is explicitly not marked closed.
O-39 — The gate should be CLOSED-NEGATIVE because the branch is unstable.
Answer. That is the full-compactification terminal. The 4D construction-level infrared graviton has a separate scoped positive result. The split prevents one obligation from erasing the other.
O-40 — A massless graviton on Minkowski is inconsistent with the observed cosmological constant.
Answer. The observed late-time background is weakly de Sitter rather than exact Minkowski. The local subhorizon helicity and luminality results persist with appropriate curved-background refinements. The dossier uses Minkowski for the laboratory/IR limit and does not derive Lambda.
O-41 — On de Sitter, helicity language is subtle, so two helicities cannot be claimed.
Answer. The exact global particle interpretation is background-dependent, but the massless tensor sector still carries two local propagating tensor degrees in four-dimensional GR. The scoped claim is the weak-curvature observer limit.
O-42 — Massless gravitons on non-Einstein backgrounds are impossible, so the construction EFT is invalid.
Answer. The declared 4D EFT vacuum is chosen to satisfy its own renormalized equations. The objection applies to linearizing the unsolved bare 13D product, which this dossier refuses to do as a full derivation.
O-43 — Universal coupling is assumed rather than derived.
Answer. It follows in the minimal reduction because all matter couples to the same parent metric. The incomplete localized action means the strongest result is conditional on no equivalence-principle-violating fixed-set terms.
O-44 — You have not calculated the exact Newtonian coefficient.
Answer. The coefficient is fixed by the measured reduced Planck mass after normalization. The gate does not predict G_N from Shape; Scale treats it as a calibration.
O-45 — Using measured M_P makes the graviton a fit.
Answer. The existence, masslessness, helicity count, and functional form of the long-range interaction are structural. The absolute strength is a measured Scale anchor, as the project constitution permits.
O-46 — No continuum limit means no graviton propagator.
Answer. Granularity restricts operational claims but the declared Dynamics currently uses continuum EFT mathematics. It cannot both use the propagator and dissolve its consistency by denying the continuum selectively.
O-47 — A finite cutoff automatically removes the higher-derivative ghost.
Answer. A cutoff can place an extra pole outside the EFT domain, but the coefficient and pole location must be checked. A negative-residue pole below cutoff remains fatal.
O-48 — The physical Hilbert result from Gate 22 already proves Gate 24.
Answer. Gate 22 supplies general positivity/reconstruction conditions. Gate 24 must still identify the graviton mode, its kinetic operator, zero-mode projection, and coupling.
O-49 — The anomaly result from Gate 23 is irrelevant to gravitons.
Answer. Gauge/BRST anomalies can spoil the constraint structure of a gauge-fixed theory. Gate 24 uses the anomaly-free descended matter/gauge interface but does not claim full gravitational/fixed-set anomaly closure.
O-50 — You cite standard KK literature, so this is not a project result.
Answer. The theorem is standard; its application to the project branch and the correction of the project’s status/normalization/wrong-object logic are the dossier’s contribution. Novelty is not a closure criterion.
O-51 — A technical AI reviewer may prefer the old, more decisive terminal.
Answer. Review survival depends on valid entailment, not confidence. The repaired split supplies explicit premises, calculations, negative controls, and reopen triggers that a reviewer can verify.
Part XXI — Reproducibility package
23. Hand-checkable identities
A reviewer can reproduce the central numerical and algebraic checks:
- \(D=4+6+2+1=13\).
- Internal dimension \(n=9\).
- Symmetric-tensor component count \(13\cdot14/2=91\).
- D-dimensional massless graviton count \(13(13-3)/2=65\).
- Four-dimensional count \(4(4-3)/2=2\).
- Ghost graded rank \(91-2\cdot13=65\).
- Characteristic inverse radius \(1/R_0=2\pi\times10^{16}\,\mathrm{GeV}\).
- Reduced Planck conversion \(M_P=M_{\rm Pl}/\sqrt{8\pi}\).
- Corrected \(M_*=(M_P^2/V_9)^{1/11}\).
- Legacy/corrected scale ratio \((8\pi)^{-1/11}\).
23.1 Deterministic verification script
The accompanying script checks:
- all integer counts;
- Planck convention conversion and both reported \(M_*\) values;
- positivity of the zero-mode kinetic coefficient under the declared inputs;
- failure of the product-Einstein equality for flat external and positively curved internal factors;
- heat-kernel exponent placement of the project \(a_6\) term in \(D=13\);
- explicit distinction between closed-bulk and boundary coefficient logic;
- required phrases and status consistency in this Markdown file.
The script does not claim to compute the full KK spectrum or the missing heat-kernel coefficient.
23.2 Reproduction pseudocode
D = 13
assert D*(D+1)//2 == 91
assert D*(D-3)//2 == 65
assert 91 - 2*D == 65
assert 4*(4-3)//2 == 2
Mred = Mpl_ordinary / sqrt(8*pi)
Mstar_reduced = (Mred**2 / V9)**(1/11)
Mstar_legacy = (Mpl_ordinary**2 / V9)**(1/11)
assert Mstar_reduced < Mstar_legacy
# Pure product Einstein test
lambda_external = 0
lambda_internal = positive
assert lambda_external != lambda_internal
# Project a6 term in 13D bulk expansion
exponent = (6-D)/2
assert exponent == -3.5
# This is not the D-dimensional log coefficient A_D.23.3 What remains unreproduced
- complete 13D solution with all source terms;
- complete bulk/fixed-set gauge-fixed operator;
- global KK spectrum in every spin sector;
- two-route \(a_6\) assembly;
- nonlinear consistent truncation;
- interacting quantum-gravity amplitudes.
No placeholder result is presented as computed.
Part XXII — Dependency, ownership, and preservation ledger
24. Dependency graph
Shape + boundary parity
|
v
constant internal scalar harmonic
|
Dynamics: positive EH term + valid 4D vacuum
|
v
4D Einstein zero-mode action ----> reduced Planck normalization
|
+--> massless pole / positive residue
+--> 4D diffeo/BRST constraints --> two helicities
+--> Lorentz principal symbol --> c_T = 1 at two derivatives
+--> universal conserved-source coupling --> Newtonian limit
Full 13D background/stability ----> SG-6 / UQF-10 (not closed)
Physical Hilbert/reduction maps --> Gate 22
Global gauge anomalies ----------> Gate 23
Local heat-kernel a6 ------------> Gap-01 / UQF-9 consumer debt
Interacting/UV graviton ---------> Gate 25 / UQF-9 / UQF-14
24.1 Ownership table
| Object | Owner | Gate-24 action |
|---|---|---|
| Stage and factor dimensions | Shape root / SG-1 | consume |
| Parent EH sign and action | Dynamics root | consume and audit |
| Zero-mode stabilizing potential | SG-6/Dynamics | label construction anchor |
| Full compactification stability | SG-6/UQF-10 | export; record failure as written |
| Positive state/reduction map | Gate 22 | consume scoped interface |
| Descended global gauge anomaly | Gate 23 | consume scoped interface |
| Graviton \(a_6\) | Gap-01/UQF-9 | preserve debt; remove as Gate-24 switch |
| 5C interacting completion | Gate 25 | excluded |
| Above-cutoff causality/unitarity | UQF-14 | excluded |
| Measured \(G_N\) and speed bound | Scale/experiment | calibrate/compare, do not derive |
24.2 Preservation rules
Future edits must preserve:
- the split between 4D scoped closure and full 13D nonclosure;
- the distinction between 65 parent polarizations and two 4D helicities;
- the reduced/ordinary Planck convention repair;
- the status of \(a_6\) as useful computation debt but invalid positivity switch;
- the boundary/fixed-set caveat to odd-dimensional heat-kernel arguments;
- the shape-doublet saddle as a real compactification failure;
- the exclusion of 5C from this gate.
No later summary may compress these distinctions into “gravity falls out of Shape and passes quantum positivity.”
Part XXIII — Final adjudication and reopen protocol
25. Final adjudication
25.1 UQF-5A infrared physical object
Given the locked positive Einstein–Hilbert Dynamics, a finite-volume connected internal Stage, an even external tensor boundary condition, and the declared construction-level four-dimensional vacuum, the reduction produces a normalizable massless spin-2 zero mode. The 4D gauge/constraint structure leaves two helicities. The positive Einstein coefficient gives a positive massless pole residue. At two derivatives the mode is luminal, and at distances larger than the compactification scale its exchange gives the Newtonian potential and inverse-square force with KK corrections suppressed.
Terminal:
\[ \boxed{\text{CLOSED-SCOPED / DERIVED-GIVEN-DYNAMICS + CONSTRUCTION-ANCHOR}} \]
25.2 UQF-5B full graviton/compactification sector
The complete parent action, fixed-set inventory, background solution, nonlinear reduction, and full KK stability are not established. The corrected project authority records a shape-doublet saddle and a closed-negative full compactification as written.
Terminal:
\[ \boxed{\text{CLOSED-NEGATIVE / FULL BRANCH NOT STABLE AS WRITTEN}} \]
25.3 UQF-5B legacy quantum test
The sign of the project’s raw \(a_6\) coefficient is not a theorem-level state-positivity or graviton-unitarity observable. Odd-dimensional bulk parity does not remove boundary/fixed-set or four-dimensional observer obligations.
Terminal:
\[ \boxed{\text{DISSOLVED-AS-WRONG-OBJECT}} \]
25.4 Overall project dependency
The gate no longer blocks downstream work because the actual infrared graviton obligation is closed at its honest scope, the wrong test is retired, and the stronger residuals have explicit owners.
\[ \boxed{\text{GATE 24 PROJECT DEPENDENCY: RESOLVED }(+0)} \]
25.5 Reopen triggers
Reopen the scoped positive terminal only on a named finding:
- The parent Einstein coefficient is negative or zero after correct normalization.
- The external tensor zero mode is projected out or non-normalizable.
- A fixed-set term gives the zero mode a mass or breaks external diffeomorphisms.
- The physical BRST cohomology contains a negative-norm tensor state.
- A retained higher-derivative operator creates a negative-residue tensor pole below cutoff.
- A retained tensor mode is tachyonic.
- The declared 4D vacuum is not a stationary point of the scoped EFT.
- Matter couples to a different metric so the claimed universal Newtonian/luminal observer map fails.
- A theorem is produced showing the raw specified \(a_6\) sign is a necessary physical positivity condition; in that case 5B must be reformulated and computed.
- A complete 13D solution is constructed and contradicts the zero-mode assumptions.
Do not reopen the scoped terminal merely because the UV completion is unknown, the measured Planck scale is an anchor, or the full branch remains unstable; those are already correctly scoped and owner-routed.
25.6 Upgrade path
An unqualified full-physics closure would require:
- a fully enumerated 13D action including boundary/fixed-set terms;
- an exact or controlled background solution on the canonical topology;
- proof of local and global stability for the full KK spectrum;
- a consistent nonlinear truncation or explicit EFT matching theorem;
- complete BRST/anomaly/inflow compatibility;
- an interacting quantum-gravity completion or an honestly scoped external wall.
Until those are supplied, the words “derived from the same Shape” must remain conditional on Dynamics and the construction anchor.
Appendix A — Full notation and convention ledger
| Symbol | Meaning | Convention |
|---|---|---|
| \(X_{13}\) | full metric Stage | Lorentzian parent spacetime |
| \(Y_9\) | internal compact candidate | \(K_6\times S^2\times I_\chi\) |
| \(K_6\) | full flag manifold | \(SU(3)/T^2\) |
| \(I_\chi\) | orbifold interval | \(S^1/\mathbb Z_2\) |
| \(M_*\) | reduced 13D Planck scale | coefficient \(M_*^{11}/2\) |
| \(\mathcal M_*\) | optional ordinary 13D Planck scale | coefficient \(\mathcal M_*^{11}/16\pi\) |
| \(M_P\) | reduced 4D Planck mass | \((8\pi G_N)^{-1/2}\) |
| \(M_{\rm Pl}\) | ordinary 4D Planck mass | \(G_N^{-1/2}\) |
| \(V_9\) | internal volume | unwarped Einstein-frame reduction |
| \(h_{MN}\) | parent metric perturbation | \(G=\bar G+h\) |
| \(h^{(0)}_{\mu\nu}\) | 4D tensor zero mode | constant internal harmonic |
| \(\Delta_L\) | Lichnerowicz operator | sign stated locally |
| \(E_L\) | algebraic curvature endomorphism | not full spectrum |
| \(A_n\) | integrated heat-kernel coefficient | \(t^{(n-D)/2}\) convention |
| project \(a_6\) | cubic-curvature coefficient | legacy \(a_{2k}\) notation, \(k=3\) |
| \(M_{\rm KK}\) | characteristic KK threshold | eigenvalue-dependent, not always \(1/R\) |
A.1 Signature and sign
The dossier uses mostly-plus Lorentzian signature when discussing propagation. Euclidean heat-kernel operators are obtained by Wick rotation only when the background and boundary problem permit it. A positive Lorentzian kinetic energy corresponds to the standard positive Euclidean TT quadratic form after gauge fixing, but Euclidean conformal-factor issues prevent treating the full metric measure as an ordinary positive scalar measure.
A.2 Normalization of perturbations
If
\[ g_{\mu\nu}=\eta_{\mu\nu}+\frac{2}{M_P}h^{(c)}_{\mu\nu}, \]
then \(h^{(c)}\) is canonically normalized and couples as \(-h^{(c)}_{\mu\nu}T^{\mu\nu}/M_P\) up to convention. Other factors of two are harmless if used consistently.
Appendix B — Derivation of the four-dimensional Fierz–Pauli operator
Expanding the Einstein–Hilbert action to quadratic order about Minkowski space gives, up to total derivatives,
\[ \mathcal L^{(2)}=\frac{M_P^2}{8} \left[ \partial_\rho h_{\mu\nu}\partial^\rho h^{\mu\nu} -2\partial_\mu h^{\mu\nu}\partial^\rho h_{\rho\nu} +2\partial_\mu h^{\mu\nu}\partial_\nu h -\partial_\rho h\partial^\rho h \right] \]
with sign adjusted to the chosen metric convention. This action is invariant under
\[ \delta h_{\mu\nu}=\partial_\mu\xi_\nu+\partial_\nu\xi_\mu. \]
Adding the de Donder gauge-fixing term
\[ \mathcal L_{\rm gf}=-\frac{M_P^2}{4} \left(\partial^\mu h_{\mu\nu}-\frac12\partial_\nu h\right)^2 \]
produces a minimal kinetic operator. For a conserved source, the gauge-dependent propagator terms do not contribute. Imposing the equations and residual gauge freedom yields
\[ \partial^\mu h_{\mu\nu}=0, \qquad h=0, \qquad \Box h_{\mu\nu}=0, \]
and a plane wave traveling in the \(z\) direction has only the plus and cross components. This is the direct two-helicity derivation relevant to detectors.
The derivation is independent of the internal pointwise \(E_L\) spectrum. The internal geometry enters through the existence/normalization of the zero mode and through the heavy tower.
Appendix C — Product-background equation audit
For
\[ S=\frac{M_*^{D-2}}{2}\int\sqrt{-G}(R-2\Lambda), \]
the vacuum equation is
\[ R_{MN}-\frac12RG_{MN}+\Lambda G_{MN}=0. \]
Taking the trace gives
\[ R=\frac{2D}{D-2}\Lambda, \qquad R_{MN}=\frac{2\Lambda}{D-2}G_{MN}\equiv\lambda G_{MN}. \]
For an unwarped direct product, the Ricci tensor is block diagonal, so every factor must have the same \(\lambda\). A flat \(M_4\) block has \(\lambda=0\); a positive Einstein \(K_6\) or round \(S^2\) block has \(\lambda>0\). Therefore the product cannot solve the bare equation for any single \(\Lambda\).
With matter,
\[ R_{MN}-\frac12RG_{MN}+\Lambda G_{MN}=M_*^{-11}T_{MN}, \]
anisotropic stress can support different factor curvatures. But the required fluxes, localized tensions, quantum stress, and boundary junction conditions must be stated. This is the exact missing Dynamics leg.
Appendix D — Heat-kernel dimensional guide
D.1 Closed smooth case
For a Laplace-type operator on a smooth compact manifold without boundary,
\[ K(t)\sim\sum_{n=0}^\infty t^{(n-D)/2}A_n. \]
Local invariance implies the odd coefficients vanish in the standard closed case. The logarithmic divergence in the proper-time integral is associated with the \(t^0\) heat term, \(n=D\). Thus a smooth closed odd-dimensional manifold has no local bulk \(A_D\) coefficient of the standard type.
D.2 Boundary/orbifold case
With a boundary, the expansion contains boundary invariants and generally half-integer powers in the older \(a_{k/2}\) notation. Odd-index integrated coefficients need not vanish. Gauge theories and gravity can require generalized boundary conditions whose strong ellipticity must be checked. Fixed-point/equivariant formulations carry localized contributions equivalent to the interval boundary data.
D.3 Why project \(a_6\) is not the 13D log coefficient
The project coefficient called \(a_6\) multiplies a term with six derivatives/curvatures in an even-index bulk convention. In \(D=13\), its heat exponent is
\[ \frac{6-13}{2}=-\frac72, \]
not zero. It is therefore not the 13D bulk logarithmic coefficient. The 13D bulk log slot would be \(A_{13}\), which vanishes in the smooth closed case but can have boundary/fixed-set analogues.
D.4 Why this does not decide positivity
Logarithmic/anomaly coefficients can be physical, but their signs are not universally positive. Positivity of states is a property of the inner product/reconstruction; positivity bounds on Wilson coefficients require on-shell dispersion relations and assumptions. The heat kernel supplies local coefficient data, not that theorem automatically.
Appendix E — Literature and external theorem map
This dossier relies on standard results rather than claiming they were invented by the project:
- Kaluza–Klein reduction and zero modes. Reviews and action-level reductions establish that a compact internal manifold yields discrete towers, with lower-dimensional massless fields associated with zero modes of the higher-dimensional gauge symmetries. See Overduin & Wesson, Kaluza–Klein Gravity, arXiv:gr-qc/9805018; and Bonifacio & Hinterbichler, Kaluza–Klein Reduction of Massive and Partially Massless Spin-2 Fields, arXiv:1611.00362.
- Background condition. The action-level spin-2 reduction literature emphasizes Einstein/product background conditions for consistent massless propagation. The project’s unsolved source-supported background is therefore a real obligation, not optional pedantry.
- Gravity as EFT. Donoghue, General Relativity as an Effective Field Theory, arXiv:gr-qc/9405057, and later reviews explain why low-energy quantum gravity can be predictive without a known UV completion.
- Heat kernels and boundaries. Vassilevich, Heat Kernel Expansion: User’s Manual, arXiv:hep-th/0306138, reviews bulk, boundary, singular-stratum, gauge, and gravity coefficients. Avramidi & Esposito, arXiv:math-ph/9812010 and hep-th/9701018, discuss generalized gravitational boundary problems and ellipticity.
- Observed tensor speed. The LIGO/Virgo/Fermi/INTEGRAL analysis of GW170817/GRB170817A, arXiv:1710.05834, gives the standard low-energy speed constraint and its assumptions.
- Massless versus massive spin-2 degrees. Standard spin-2 reviews, including Hinterbichler, arXiv:1105.3735, distinguish the two helicities of a 4D massless graviton from additional massive or scalar modes.
These references support general theorems. They do not validate the project-specific internal spectrum, background, or compactification.
Appendix F — Legacy claim correction ledger
| Legacy phrase | Replacement required in all future summaries |
|---|---|
| “Gravity falls out of the same Shape with no additional input.” | “Given the locked Einstein–Hilbert Dynamics and the construction-anchored 4D vacuum, the branch contains the correct infrared graviton zero mode.” |
| “The Lichnerowicz spectrum is {1/6,5/12,7/6,17/12}.” | “The recorded algebraic Lichnerowicz endomorphism on the internal fiber has those eigenvalues; the global KK spectrum is not computed.” |
| “91/13/65 gives exactly two helicities.” | “91/13/65 audits the 13D bulk field/ghost count; the 4D zero mode has two helicities by its own 4D gauge/constraint analysis.” |
| “a6 is the anomaly coefficient in D=13.” | “The project a6 is not the 13D bulk log coefficient and has no universal positivity meaning.” |
| “Odd D means no positivity slot exists.” | “The closed-bulk log slot is absent in the smooth odd-dimensional case, but boundary/fixed-set and 4D EFT obligations remain.” |
| “a6 debt cannot affect any graviton claim.” | “It cannot gate the free 4D graviton through a raw sign predicate, but it remains a real local spectral debt for consumer gates.” |
| “M_* = 7.467…e16 GeV from M_*^11/2 action.” | “M_* = 5.56999…e16 GeV in the reduced-action convention; the old value belongs to an ordinary-Planck coefficient convention.” |
| “Full 13D graviton sector is closed.” | “Infrared zero-mode tensor is closed-scoped; full 13D background and KK stability are not closed.” |
Appendix G — Machine-readable endpoint record
gate: 24
name: UQF-5A-5B graviton sector
canonical_date: 2026-07-16
branch:
stage: M3,1 x SU(3)/T2 x S2 x I_chi
parent_dimension: 13
observer_dimension: 4
dynamics: positive Einstein-Hilbert skeleton
vacuum: construction-anchored 4D zero-mode vacuum
status:
project_dependency: RESOLVED+0
uqf_5a_ir: CLOSED-SCOPED
uqf_5b_full_sector: CLOSED-NEGATIVE-AS-WRITTEN
uqf_5b_legacy_a6_sign: DISSOLVED-WRONG-OBJECT
uqf_5c: EXCLUDED-OWNED-BY-GATE-25
certified:
- constant even internal harmonic under declared boundary contract
- positive 4D Einstein coefficient given positive Mstar and finite V9
- massless 4D tensor zero mode in the scoped reduction
- two 4D tensor helicities
- positive massless pole residue at quadratic level
- luminal two-derivative tensor principal speed
- Newtonian long-distance tensor limit with KK suppression
corrected:
- Shape-only graviton claim
- 65-to-2 degree-of-freedom conflation
- E_L endomorphism-to-global-spectrum promotion
- odd-D no-boundary shortcut
- a6-sign positivity predicate
- reduced/ordinary Planck normalization mismatch
open_or_exported:
- full 13D background solution
- full KK stability
- complete fixed-set action and boundary spectrum
- nonlinear consistent truncation
- full graviton a6 assembly for consumer gates
- interacting and UV quantum gravity
reopen_triggers:
- negative_or_zero_Einstein_coefficient
- zero_mode_projected_out_or_nonnormalizable
- diffeomorphism_breaking_mass
- negative_norm_BRST_cohomology
- negative_residue_pole_below_cutoff
- retained_tensor_tachyon
- invalid_4D_vacuum
- observer_map_or_universal_coupling_failureAppendix H — Technical-AI review checklist
A reviewing model should answer each item with PASS, FAIL, or NOT ESTABLISHED, quoting the exact section:
- Does the dossier distinguish Shape from Dynamics?
- Is the background a solution of the complete action?
- Is the full 13D branch stable?
- Is the zero mode normalizable and boundary-compatible?
- Is the 4D Planck convention internally consistent?
- Are 91, 65, and 2 assigned to different objects correctly?
- Is BRST cohomology distinguished from ghost determinant rank?
- Is the local \(E_L\) endomorphism distinguished from the global spectrum?
- Is the tensor zero mode distinguished from scalar/vector/modulus modes?
- Is luminality scoped to a frame, mode, frequency, and background?
- Is the GW170817 record used only as a consistency bound?
- Is the Newtonian potential distinguished from the force?
- Are KK corrections and light-modulus fifth forces acknowledged?
- Are boundary/fixed-set terms included in the heat-kernel logic?
- Is the parent dimension distinguished from the observer dimension?
- Is a theorem supplied for every positivity-sign claim?
- Does the dossier avoid using dimensional regularization as a physical proof?
- Is the missing \(a_6\) computation preserved for its legitimate consumers?
- Is Gate 5C excluded rather than hidden?
- Are reopen triggers finite, named, and falsifiable?
A technical AI should reject any summary that says simply “D=13 eliminates the quantum consistency test, so the graviton is certified.”
Part XXIV — Staged calculation record
Stage 1 — Authority and exact gate charter
S1.1 Why the gate had to be split before calculation
The inherited label “UQF-5A/5B — graviton sector” was too coarse for a technical review because it bundled several claims that have different mathematical prerequisites and different possible endpoints. A massless four-dimensional tensor zero mode can exist in a reduced effective theory even when the chosen compactification is not a stable solution of the complete parent dynamics. Conversely, a stable classical zero mode does not establish a positive quantum Hilbert space, an anomaly-free BRST complex, or ultraviolet completion. The dossier therefore freezes the following sub-obligations before doing any calculation:
- 5A-1 — zero-mode existence. Does the external metric block have a normalizable, boundary-compatible constant internal harmonic?
- 5A-2 — physical spin content. Does the observer-accessible massless mode have exactly the two helicities of a four-dimensional graviton rather than the 65 polarizations of a thirteen-dimensional parent graviton or the 91 components of an unconstrained symmetric tensor?
- 5A-3 — infrared dynamics. Is the kinetic residue positive, is the two-derivative principal speed luminal on the declared background, and does exchange between conserved nonrelativistic sources recover the Newtonian potential at distances large compared with every compactification radius?
- 5B-1 — full-sector validity. Is the complete thirteen-dimensional background a stationary and stable solution, including homogeneous shape modes, the volume mode, boundary/fixed-set sectors, and the complete Kaluza–Klein spectrum?
- 5B-2 — quantum admissibility. Are the physical BRST cohomology, state space, anomalies, and retained propagator poles consistent in the stated EFT window?
- Legacy 5B-a6 — historical sign test. Is the sign of the raw project coefficient called \(a_6\) a necessary or sufficient test of any item above?
These obligations cannot share one binary switch. In particular, a positive answer to 5A-1 through 5A-3 does not erase a negative answer to 5B-1. The final ledger therefore records both the scoped positive infrared result and the adverse full-sector result.
S1.2 Authority ordering used in this reconstruction
The controlling project source is the July 12 physics handoff, which explicitly retires the older “33 resolved, no open physics” statement as a physics claim and records UQF-5A as a massless-pole success while UQF-5B inherits the compactification tachyon. The canonical gate ledger and older quantum review bundle remain valuable provenance, but where they say that the shape alone supplies a complete graviton or that odd dimension dissolves quantum consistency, those statements are superseded by the corrected Dynamics root and the implicit-assumptions ledger.
The authority stack for this dossier is:
- corrected root and per-gate physics statuses from the July 12 handoff;
- the gate-closure constitution and acceptable-terminal taxonomy;
- the master implicit-assumptions ledger, especially wrong-ruler, zero-mode-to-full-tower, local-to-global, EFT-to-UV, Stage-only, and ansatz-equals-derivation screens;
- exact project geometry and arithmetic records;
- standard external theorems of general relativity, Kaluza–Klein reduction, BRST quantization, spectral geometry, and gravitational EFT;
- historical prose, only when it survives the preceding levels.
This ordering prevents an administrative status label from overriding a physical calculation.
S1.3 Frozen terminal grammar
The terminal vocabulary is applied as follows:
| Object | Terminal | Meaning |
|---|---|---|
| 4D massless tensor zero mode | CLOSED-SCOPED | Derived once the positive Einstein–Hilbert Dynamics and construction-anchored 4D vacuum are granted. |
| Two-helicity observer state | DERIVED-GIVEN-4D-DIFF | Exact representation/constraint result in the 4D massless sector. |
| Positive massless pole | DERIVED-GIVEN-POSITIVE \(M_P^2\) | Quadratic EFT result; not an all-poles theorem. |
| Luminal low-energy tensor | CLOSED-SCOPED | Principal-symbol result for the two-derivative Lorentz-invariant observer EFT. |
| Newtonian limit | CLOSED-SCOPED | Long-distance zero-mode exchange, with explicit KK and scalar caveats. |
| Full compactification/graviton sector | CLOSED-NEGATIVE AS WRITTEN | A verified shape-doublet mode has \(m^2=-1/3\); the declared branch is not a stable vacuum. |
| Raw \(a_6\)-sign predicate | DISSOLVED-WRONG-OBJECT | No theorem identifies its sign with Hilbert positivity or graviton unitarity. |
| Interacting/UV quantum gravity | EXPORTED | Owned by Gate 25 and the later UV/unitarity gates. |
| Administrative project dependency | RESOLVED +0 | The gate no longer blocks the project because every sub-obligation has an honest owner and terminal. |
“Resolved” in the final row does not mean physically positive. A closed-negative result is resolved because the branch has produced a decisive adverse answer.
S1.4 Pre-registered stop rule
The calculation stops with a positive 5A endpoint if and only if all of the following are established within the scoped EFT: positive Einstein coefficient, normalizable even constant harmonic, unbroken external diffeomorphism invariance, two physical 4D tensor helicities, positive massless-pole residue, and the correct long-distance source exchange. It stops with a negative 5B endpoint if any retained physical mode has negative mass squared on the declared background or if the background fails the complete field equations. It is forbidden to rescue 5B by citing the existence of the 5A zero mode, and forbidden to fail 5A merely because the UV completion is not known.
Stage 2 — Wrong-object and same-ruler audit
S2.1 Component counts are not physical-state counts
The number 91 is the dimension of \(\mathrm{Sym}^2(T^*X_{13})\):
\[ \frac{13\cdot14}{2}=91. \]
It counts components of an unconstrained parent metric fluctuation. The number 65 is the physical polarization count of a massless thirteen-dimensional graviton:
\[ \frac{13(13-3)}{2}=65, \]
or, equivalently, the dimension of the symmetric traceless rank-two representation of the massless little group \(SO(11)\). The number 2 is the physical polarization count of the four-dimensional massless zero mode. These are three different objects. The equality \(91-2\cdot13=65\) is a leading graded-rank check in a gauge-fixed parent determinant; it is not a derivation of the 4D helicity count.
A useful kinematic consistency identity appears after a simple 13D-to-4D split with nine internal directions:
\[ 65=2+2\times9+\frac{9\times10}{2}=2+18+45. \]
The right-hand side is the toroidal-style decomposition into one 4D graviton, nine 4D vectors, and 45 internal-metric scalars. Curvature, topology, boundary conditions, and gauge identifications can lift or project many of those vectors and scalars, so the identity is a count of how parent polarizations can reorganize, not a claim that all corresponding fields remain massless on the actual curved orbifold.
S2.2 The local Lichnerowicz endomorphism is not the global KK spectrum
The algebraic map
\[ (E_Lh)_{mn}=R_{mp}h^p{}_n+R_{np}h^p{}_m-2R_{mpnq}h^{pq} \]
is one part of the Laplace-type operator. Its pointwise eigenvalues on invariant tensor components can test algebraic signs and trace identities, but the global spectrum depends on the covariant derivative, representation content, boundary conditions, mixing between sectors, and the background equations. A positive list of local \(E_L\) eigenvalues therefore does not prove that every KK eigenvalue is nonnegative, nor does it exclude a separate homogeneous modulus instability. The verified shape-doublet tachyon is the canonical counterexample: it is a physical negative Hessian direction even though a selected local endomorphism table can contain only positive entries.
S2.3 Shape does not replace Dynamics
A manifold and bundle inventory defines the kinematic arena. A physical graviton requires a parent action, a background solving the resulting equations, boundary conditions making the variational problem well posed, and a stable fluctuation operator. The Stage alone cannot supply these. In the present project, the positive Einstein–Hilbert term is a Dynamics choice and the stabilizing zero-mode potential is a construction Actor. Consequently the strongest truthful wording is “the frozen Stage supports a graviton zero mode under the locked Dynamics and construction-level vacuum,” not “the Shape by itself derives gravity.”
S2.4 The pure-product background is not automatically a solution
For the unwarped ansatz \(M_4\times K_6\times S^2\times S^1/\mathbb Z_2\), the factors do not share a common Einstein constant. Minkowski space has \(R_{\mu\nu}=0\), the selected \(K_6\) metric has positive Ricci curvature, the round \(S^2\) has positive Ricci curvature, and the circle/interval bulk is flat. In pure Einstein gravity with one cosmological constant, an unwarped direct product must satisfy the same proportionality \(R_{MN}=\lambda G_{MN}\) on every factor. It does not. Matter stress, flux, localized fixed-set terms, warping, or an explicit potential can alter the equations, but then those structures—not Shape alone—own the solution.
S2.5 Odd parent dimension does not erase boundary and observer logarithms
On a smooth closed manifold without boundary, the heat trace of a Laplace-type operator has integer-order bulk coefficients. In that restricted setting an odd-dimensional bulk has no coefficient at total order \(D\) built from an integer \(a_{2k}\), so the familiar integrated bulk logarithmic divergence is absent. The project, however, uses an orbifold interval with fixed sets. Boundary and fixed-point expansions contain additional orders, including half-integer powers in conventional indexing, and the reduced observer theory is four-dimensional, where the logarithmic coefficient is the 4D \(a_4\) object. Therefore “\(D=13\)” cannot be used as a universal solvent for all anomaly, boundary, or renormalization questions.
The narrower statement that survives is precise: the raw bulk coefficient called \(a_6\) sits at zeta location
\[ s=\frac{13}{2}-3=\frac72, \]
so it is not the smooth-bulk 13D logarithmic coefficient. This does not imply that it vanishes physically, that all boundary logarithms vanish, or that its sign controls unitarity.
S2.6 Heat-kernel signs and Hilbert positivity use different rulers
A heat-kernel coefficient is a local invariant controlling a term in an asymptotic effective action. Positivity of the physical state space is a statement about norms, spectral measures, BRST cohomology, or reflection positivity. Positivity bounds on scattering amplitudes are dispersion-relation statements about particular combinations of Wilson coefficients after assumptions such as analyticity, crossing, unitarity, and polynomial boundedness. There is no general map
\[ \operatorname{sign}(a_6)\longrightarrow\text{positive physical graviton Hilbert space}. \]
The legacy predicate is therefore the wrong object. A future theorem could define a specific renormalized coefficient combination and connect it to a physical amplitude inequality, but that would create a new, sharply defined test rather than vindicate the old raw-sign rule.
S2.7 Complete same-ruler tuple
Every comparison in this gate is required to state
(parent dimension, observer dimension, background, frame, gauge,
operator domain, boundary/parity sector, KK level, energy window,
normalization convention, and measured observable).
The final comparisons are:
- 13D parent component count \(91\) compared only with parent gauge-fixed bookkeeping;
- 13D parent physical count \(65\) compared only with the \(SO(11)\) massless representation;
- 4D helicity count \(2\) compared with the external massless zero mode;
- low-frequency 4D tensor speed compared with the GW/EM propagation record, not with an arbitrary internal or high-frequency KK mode;
- 4D Newtonian potential compared at \(r\gg R_i\), not at distances resolving the compact space;
- 4D reduced Planck mass compared with an action normalized as \(M_P^2R/2\), not with the ordinary Planck mass inserted into that convention.
Stage 3 — Classical infrared graviton calculation
S3.1 Parent action and dimensional reduction
Take the two-derivative parent term
\[ S_{13}=\frac{M_*^{11}}{2}\int d^{13}X\sqrt{-G}\,R[G]+S_{\rm matter}+S_{\rm boundary}+\cdots, \]
with positive \(M_*^{11}\). For a valid unwarped reduction with a frozen internal metric \(\gamma_{mn}\),
\[ ds^2= g_{\mu\nu}(x)dx^\mu dx^\nu+\gamma_{mn}(y)dy^m dy^n, \]
and finite internal volume
\[ V_9=\int_{Y_9}d^9y\sqrt{\gamma}, \]
the external Einstein term becomes
\[ S_4\supset\frac{M_*^{11}V_9}{2}\int d^4x\sqrt{-g}\,R[g]. \]
Thus
\[ M_P^2=M_*^{11}V_9, \]
where \(M_P=(8\pi G_N)^{-1/2}\) is the reduced Planck mass. The relation is exact within the unwarped frozen-volume ansatz. Warping replaces \(V_9\) by the appropriate weighted integral, and a time-dependent volume makes \(M_P\) dynamical.
S3.2 Constant harmonic and orbifold parity
On a compact connected internal space with a self-adjoint scalar Laplacian, the constant function spans the zero eigenspace:
\[ -\Delta_{Y_9}\psi_0=0, \qquad \psi_0=V_9^{-1/2}. \]
For the standard reflection of the internal coordinate, the external tensor component \(h_{\mu\nu}\) is even. Therefore the constant harmonic is compatible with the parity projection. The expansion
\[ h_{\mu\nu}(x,y)=V_9^{-1/2}h^{(0)}_{\mu\nu}(x) +\sum_{n>0}h^{(n)}_{\mu\nu}(x)\psi_n(y) \]
contains a normalizable zero mode. This argument is conditional on the boundary operator being self-adjoint and on the fixed-set action not generating an external diffeomorphism-breaking mass term.
S3.3 Quadratic action and pole residue
Expanding the reduced Einstein action about a stationary 4D vacuum and imposing transverse-traceless conditions on the tensor sector gives
\[ S^{(2)}_{\rm TT}=\frac{M_P^2}{8} \int d^4x\,\partial_\rho h^{\rm TT}_{\mu\nu} \partial^\rho h_{\rm TT}^{\mu\nu} \]
in the mostly-plus convention up to the conventional integration-by-parts sign. Canonically normalizing \(h^{(c)}_{\mu\nu}=M_Ph_{\mu\nu}/2\) yields the standard massless propagator. Between conserved sources, gauge-dependent longitudinal terms vanish and the exchange amplitude is proportional to
\[ \mathcal A(k)=\frac{1}{M_P^2} \frac{T_{\mu\nu}T^{\mu\nu}-\tfrac12T^2}{k^2+i\epsilon}. \]
The residue on transverse-traceless states is positive when \(M_P^2>0\). This proves the sign of the massless tensor pole only; it does not inspect additional massive poles from higher-derivative operators or the complete KK tower.
S3.4 Exactly two 4D helicities
A symmetric tensor in four dimensions has ten components. In the Hamiltonian formulation, the lapse and shift enforce constraints rather than propagating, and first-class diffeomorphism constraints remove gauge directions. The result is
\[ N_{\rm phys}^{(4)}=\frac{4(4-3)}{2}=2. \]
In particle language the massless little group leaves helicities \(+2\) and \(-2\). The result requires unbroken linearized 4D diffeomorphism invariance. A Fierz–Pauli mass, anomalous BRST charge, or explicit fixed-set symmetry breaking would change the count.
The parent result is separately
\[ N_{\rm phys}^{(13)}=\frac{13(13-3)}{2}=65. \]
The exact kinematic decomposition
\[ 65=2+18+45 \]
shows how the parent representation can distribute into a 4D tensor, nine vectors, and internal-metric scalars before curvature and projections are applied. It is an especially useful negative control against the legacy implication that the 65 bulk count somehow equals or proves the two observer helicities.
S3.5 Luminal two-derivative principal symbol
For the transverse tensor zero mode on a locally Lorentz-invariant 4D background, the two-derivative equation has principal part
\[ \Box_4 h^{\rm TT}_{\mu\nu}=0. \]
In a local inertial frame this gives
\[ \omega^2=|\mathbf k|^2, \qquad c_T=1. \]
This is a structural statement about the principal symbol in the low-energy Einstein frame. It is not a coordinate tautology: Lorentz-breaking backgrounds, disformal matter coupling, higher-derivative dispersion, or propagation of a different KK tensor can modify the observed relation. The joint GW170817/GRB 170817A observation constrains the propagation speed of the detected low-frequency tensor relative to light to roughly the \(10^{-15}\) level after source-delay assumptions; it is a consistency record, not a proof of the parent theory at all frequencies.
S3.6 Newtonian coefficient from source exchange
For nonrelativistic sources, \(T_{00}\simeq m\delta^{(3)}(\mathbf x)\) and spatial stresses are negligible. Fourier transforming the static massless propagator uses
\[ \int\frac{d^3\mathbf k}{(2\pi)^3} \frac{e^{i\mathbf k\cdot\mathbf r}}{\mathbf k^2} =\frac{1}{4\pi r}. \]
With \(G_N=(8\pi M_P^2)^{-1}\), the potential is
\[ V_0(r)=-\frac{G_Nm_1m_2}{r}, \qquad |\mathbf F|=\frac{G_Nm_1m_2}{r^2}. \]
Massive tensor and scalar modes produce corrections of the schematic form
\[ \Delta V(r)=-\frac{G_Nm_1m_2}{r} \sum_n\alpha_n e^{-m_nr}, \]
where the \(\alpha_n\) depend on mode normalization, source overlap, tensor structure, and possible brane/fixed-set localization. The coefficients need not all be positive. At distances far larger than the inverse mass of every coupled extra mode, the zero mode dominates. At distances comparable to the compactification radii the potential can cross over to higher-dimensional behavior, so the 4D Newton law is explicitly a long-distance statement.
S3.7 Numerical normalization audit
The project’s internal volume is
\[ V_9=3.704417261398702\times10^{-148}\ \mathrm{GeV}^{-9}. \]
Using the ordinary Planck mass supplied in the earlier project record,
\[ M_{\rm Pl}=1.2209\times10^{19}\ \mathrm{GeV}, \]
the corresponding reduced mass is
\[ M_P=\frac{M_{\rm Pl}}{\sqrt{8\pi}} =2.4353431507\times10^{18}\ \mathrm{GeV}. \]
For the action coefficient \(M_*^{11}/2\),
\[ M_*=\left(\frac{M_P^2}{V_9}\right)^{1/11} =5.5699921668\times10^{16}\ \mathrm{GeV}. \]
The older \(7.4670509921\times10^{16}\,\mathrm{GeV}\) value is exactly the result of using the ordinary Planck mass in the same algebra. It is valid only in a convention where the parent action coefficient is written with the corresponding \(1/(16\pi)\) normalization. This correction changes normalization-dependent loop estimates but does not change the existence or helicity count of the zero mode.
For the project radius \(R_0=(2\pi M_U)^{-1}\) with \(M_U=10^{16}\,\mathrm{GeV}\),
\[ R_0=1.5915494309\times10^{-17}\ \mathrm{GeV}^{-1} =3.1405564336\times10^{-33}\ \mathrm m, \]
and the simple inverse-radius scale is \(1/R_0=6.2831853072\times10^{16}\,\mathrm{GeV}\). Actual first KK masses carry geometry- and representation-dependent eigenvalue factors, so \(1/R_0\) is a scale estimate, not a claimed exact spectral eigenvalue.
S3.8 Stage-3 terminal
The classical infrared calculation passes under its declared assumptions:
\[ \boxed{\text{5A: CLOSED-SCOPED / DERIVED-GIVEN-DYNAMICS + 4D VACUUM CONSTRUCTION ANCHOR}.} \]
It establishes a normalizable massless tensor zero mode, two physical helicities, positive massless-pole residue, luminal two-derivative propagation, and Newtonian long-distance exchange. It does not establish the full parent background or its stability.
Stage 4 — Full compactification and extra-mode audit
S4.1 Background equation before perturbation theory
The graviton Hessian is physically meaningful only at a stationary point of the complete action. For pure Einstein gravity with cosmological constant,
\[ R_{MN}-\frac12RG_{MN}+\Lambda G_{MN}=0 \]
implies
\[ R_{MN}=\frac{2\Lambda}{D-2}G_{MN}. \]
An unwarped direct product therefore requires every factor to be Einstein with the same constant. The declared factors fail that test: the external Minkowski factor and the circle bulk have zero Ricci curvature, while \(K_6\) and \(S^2\) are positively curved. The direct product can still be a solution of a more complete theory if stress-energy, fluxes, localized fixed-set tensions, warping, or a potential supplies the mismatched components. But each such ingredient must be enumerated and varied consistently. A zero-mode potential written only after reduction is not automatically the dimensional reduction of a legal parent stress tensor.
S4.2 The verified shape-doublet instability
The corrected Shape/Dynamics audit evaluates the homogeneous squashing doublet at the selected symmetric point and finds a negative Hessian eigenvalue. In the project normalization,
\[ m^2_{\rm shape}=-\frac13. \]
The exact dimensional conversion depends on the normalization of the modulus kinetic term and curvature scale, so the dossier does not manufacture a GeV value. The sign is sufficient: the selected point is a saddle rather than a local minimum in that physical scalar direction. This is not a statistical preference or an unrun calculation; it is a closed-negative result for the branch as written.
S4.3 Why the tachyon does not erase the 5A theorem
A tachyonic modulus and a negative-norm spin-2 ghost are different failures. The modulus is an ordinary physical scalar with negative mass squared, so the background rolls away from the selected point. The massless tensor can still have a positive kinetic residue at the instantaneous or construction-level background. Therefore:
- it would be wrong to claim that the tensor zero mode has negative norm merely because the modulus is tachyonic;
- it would also be wrong to call the full graviton sector stable merely because the tensor pole itself has positive residue.
The correct split is a scoped positive 5A and an adverse 5B.
S4.4 Full KK stability contract
A complete stability certificate requires more than the homogeneous Hessian. At minimum it must include:
- all scalar, vector, and tensor harmonics on \(K_6\times S^2\times I_\chi\);
- mixing induced by curvature, flux, matter, gauge fixing, and boundary terms;
- self-adjoint and strongly elliptic boundary conditions for the Euclideanized spectral problem where heat-kernel methods are used;
- positivity of every physical mass-squared eigenvalue in the retained window;
- absence of negative-norm states in BRST cohomology;
- control of the volume mode and any localized fixed-set bending or radion modes;
- a check that integrating out heavy modes does not destabilize the retained branch;
- a nonlinear consistency statement ensuring that solutions of the truncated EFT uplift, at the claimed order, to solutions of the parent equations.
The project does not currently possess this certificate. The local invariant-tensor \(E_L\) list and the 91/13/65 graded count do not substitute for it.
S4.5 Boundary and variational completion
Because the internal quotient is represented by an interval with fixed sets, the gravitational action must have a well-posed variational principle. In a boundary description the Einstein term requires the appropriate Gibbons–Hawking–York term, and localized matter or tension contributes junction/boundary equations. In an orbifold description the same physics appears through parity and fixed-set matching conditions. Either language is acceptable if used consistently, but one may not call the space boundaryless for the variational problem and boundaryful for chirality or heat-kernel defects only when convenient.
A fixed-set term can preserve the external tensor zero mode, alter its normalization, or generate symmetry-breaking effects depending on its form. The final 5A certificate therefore explicitly assumes that the complete fixed-set inventory preserves 4D diffeomorphisms and the even constant tensor harmonic. The absence of a complete inventory is part of the reason 5B cannot pass positively.
S4.6 Warped and time-dependent alternatives
Warping can reconcile factor curvatures and localize a graviton zero mode. A general ansatz
\[ ds^2=e^{2A(y)}g_{\mu\nu}(x)dx^\mu dx^\nu+\gamma_{mn}(y)dy^m dy^n \]
changes the effective Planck mass to a weighted internal integral and changes the tensor Sturm–Liouville problem. A time-dependent internal volume produces scalar-tensor behavior and a varying effective Planck mass. These are legitimate repair branches, not automatic properties of the frozen direct product. Any proposed repair must specify \(A(y)\), its source equations, fixed-set matching, normalizability, and the full stability operator.
S4.7 Nonlinear consistent truncation
The fact that a linearized zero mode exists does not prove that setting every other mode to zero is consistent at nonlinear order. Products of zero-mode fields can source massive harmonics, and curved cosets often require symmetry arguments or a special ansatz for consistency. For low-energy EFT it may be enough to integrate out heavy modes perturbatively, generating higher-dimension operators. But an exact statement that every 4D Einstein solution uplifts to the 13D theory requires a separate consistent-truncation theorem, which is absent here.
S4.8 Stage-4 terminal
The full-sector obligation receives a decisive adverse answer:
\[ \boxed{\text{5B FULL GRAVITON/COMPACTIFICATION SECTOR: CLOSED-NEGATIVE AS WRITTEN}.} \]
The immediate falsifier is the verified \(m^2=-1/3\) shape-doublet direction. Independent additional deficits are the incomplete parent action/fixed-set inventory, the unsolved common-curvature problem, the missing full KK certificate, and the missing nonlinear uplift theorem. A new stabilization structure can open a replacement branch, but it cannot retroactively turn the current branch into a stable derivation.
Stage 5 — Quantum-consistency adjudication
S5.1 The correct hierarchy of quantum questions
“Quantum consistency of the graviton” is not one sign test. It is a stack:
- quadratic propagator: positive residue for physical tensor poles and no tachyonic retained tensor;
- gauge/BRST layer: nilpotent non-anomalous BRST charge and positive physical cohomology;
- state layer: positive normalized states and a stable Hamiltonian in the scoped theory, interfacing with Gate 22;
- anomaly/inflow layer: cancellation of relevant local and global anomalies, interfacing with Gate 23 and any fixed-set inflow calculation;
- Wilsonian EFT layer: renormalizable order-by-order expansion in local operators below a cutoff, with physical amplitudes independent of field redefinitions and scheme choices;
- full compactification layer: stable complete KK spectrum and a valid background;
- interacting/UV layer: unitarity, causality, and completion at or above the cutoff, owned by Gate 25 and later gates.
Gate 24 closes only the first item for the massless 4D tensor and consumes scoped interfaces from items 2–4. Item 6 fails for the branch as written. Item 7 is exported.
S5.2 Heat-kernel expansion at the correct scope
For a positive elliptic Laplace-type operator on a smooth closed \(D\)-dimensional Euclidean manifold,
\[ \operatorname{Tr}e^{-tL}\sim(4\pi t)^{-D/2} \sum_{k\ge0}a_{2k}t^k. \]
The Mellin transform relates \(a_{2k}\) to zeta singularities near
\[ s=\frac D2-k. \]
In a smooth closed bulk the logarithmic divergence in even \(D\) is associated with the total order \(2k=D\). For \(D=13\), the project’s bulk \(a_6\) has \(k=3\) and therefore lies at \(s=7/2\), not at the logarithmic slot. On a manifold with boundary or an orbifold/fixed set, the expansion includes additional boundary terms and conventional half-integer orders. The reduced 4D observer theory has its own \(a_4\) logarithmic coefficient. These facts invalidate the old global claim that odd bulk dimension removes the relevant quantum question, while preserving the narrower conclusion that raw 13D bulk \(a_6\) is not the universal log/anomaly coefficient.
S5.3 Why dimensional regularization cannot certify the graviton
Dimensional regularization discards power divergences in many mass-independent schemes. Setting a power-divergent term to zero in that scheme does not prove that the corresponding Wilsonian sensitivity is absent, and it certainly does not prove positive norm or unitarity. Scheme-independent nonanalytic amplitude terms, beta functions of appropriate couplings, anomalies, and pole residues are different observables. The dossier therefore forbids the inference
\[ a_6\text{ vanishes in a chosen regulator}\Rightarrow\text{quantum graviton is consistent}. \]
S5.4 Higher-derivative pole audit
The 4D EFT contains curvature-squared and higher operators. At energies well below the cutoff they are treated perturbatively and generate controlled corrections. If a finite polynomial in derivatives is instead resummed as an exact fundamental propagator, generic Ricci-tensor-squared terms produce an additional massive spin-2 pole with opposite-sign residue, while an \(R^2\) term produces an additional scalar pole whose health depends on its coefficient. This is why the positive Einstein pole does not prove that every pole is healthy.
The correct scoped requirement is: no additional negative-residue or tachyonic pole may lie within the retained EFT domain. A pole inferred near or above the cutoff from truncating the derivative expansion is not automatically a physical state of the UV theory. Conversely, a finite cutoff does not automatically remove a genuine low-energy ghost if one is present.
S5.5 Relation to positivity bounds
Modern positivity bounds constrain specific low-energy amplitude coefficients under analyticity, unitarity, crossing, and high-energy boundedness assumptions. Gravity introduces infrared subtleties because of the massless \(t\)-channel pole, so subtractions or regulated observables are needed. Such bounds may eventually constrain combinations of curvature operators. They do not create a universal positivity theorem for the sign of an unrenormalized local heat-kernel coefficient. The legacy \(P(a_6)\ge0\) predicate therefore remains retired unless the project supplies a precise amplitude, subtraction prescription, coefficient map, and proof of necessity.
S5.6 Gate interfaces
- Gate 22: supplies the scoped positive-state/GNS and stable-Dynamics admissibility floor. It does not solve the 13D compactification.
- Gate 23: supplies the scoped 4D global gauge-anomaly result for the faithful gauge group. It does not compute gravitational boundary inflow for the full 13D orbifold.
- SG-6/UQF-10: own compactification and full KK stability; their shape-tachyon result is inherited here.
- UQF-9/Gap-01: may still consume a numerical \(a_6\) for counterterm or spectral purposes. Retiring its sign as Gate-24’s positivity switch does not erase that computation debt.
- Gate 25/UQF-14: own interacting/UV graviton consistency and above-cutoff causality.
S5.7 Stage-5 terminal
The free/quadratic 4D tensor passes at scoped EFT level given the Gate-22/23 interfaces and the positive Einstein coefficient. The full sector fails because of the compactification tachyon. The old raw-sign test dissolves as a category error:
\[ \boxed{\text{legacy }P(a_6)\ge0:\ \text{DISSOLVED-AS-WRONG-OBJECT}.} \]
This dissolution is not counted as evidence for quantum gravity; it merely removes an invalid test.
Stage 6 — Integrated hostile-review adjudication
S6.1 Forced truth table
| Question | Forced answer | Reason |
|---|---|---|
| Does the declared Stage admit an even constant external-tensor harmonic? | Yes, conditional on the stated self-adjoint parity problem. | Compact connected internal space; constant scalar harmonic; external tensor even. |
| Does that alone prove a physical vacuum? | No. | The background must solve the complete Dynamics and be stable. |
| Is the reduced Einstein coefficient positive? | Yes, given positive parent coefficient and positive finite weighted volume. | \(M_P^2=M_*^{11}V_9>0\). |
| Does the 4D zero mode have two helicities? | Yes, given unbroken 4D diffeomorphisms. | 4D massless spin-2 constraint/little-group result. |
| Does \(91-26=65\) prove two helicities? | No. | It is a parent graded-rank count. |
| Is the zero-mode pole residue positive? | Yes at quadratic Einstein level. | Positive \(M_P^2\). |
| Is low-energy tensor propagation luminal? | Yes on the declared two-derivative Lorentz-invariant background. | Principal symbol \(\Box_4\). |
| Is the Newtonian limit recovered? | Yes for \(r\gg R_i\), absent a coupled light scalar. | Universal zero-mode exchange. |
| Is the frozen direct product a stable full 13D vacuum? | No as written. | Shape-doublet \(m^2=-1/3\); complete solution/KK certificate absent. |
| Does positive local \(E_L\) data reverse that result? | No. | Local endomorphism is not the global coupled Hessian. |
| Does odd \(D=13\) remove all log/anomaly terms? | No. | Orbifold/fixed-set and 4D observer sectors remain; boundary orders differ. |
| Is raw \(a_6\) sign a graviton positivity theorem? | No. | It is a local counterterm coefficient without the required state/amplitude theorem. |
| Is UV quantum gravity solved? | No. | Exported to Gate 25 and later gates. |
S6.2 Final physical status
The gate’s physical result is intentionally two-sided:
\[ \boxed{ \begin{aligned} \mathrm{UQF\!\!\!-5A}_{\rm 4D\ IR} &=\text{CLOSED-SCOPED / DERIVED-GIVEN-DYNAMICS + CONSTRUCTION-ANCHORED VACUUM},\\ \mathrm{UQF\!\!\!-5B}_{\rm full\ sector} &=\text{CLOSED-NEGATIVE AS WRITTEN},\\ \mathrm{legacy}\ P(a_6) &=\text{DISSOLVED-WRONG-OBJECT},\\ \mathrm{Gate\ 24}_{\rm administrative\ dependency} &=\text{RESOLVED }(+0). \end{aligned}} \]
The project may continue to consume the scoped 4D graviton EFT, but it may not describe the full canonical compactification as stable or claim that gravity has been derived from Shape alone.
S6.3 What would turn the adverse result positive
A replacement branch must provide all of the following:
- a complete 13D bulk and fixed-set action with frozen coefficients and a well-posed variational principle;
- a solution on the intended topology, possibly warped or flux-supported, satisfying every bulk and boundary equation;
- a positive normalized kinetic matrix for all retained fields;
- a nonnegative physical mass spectrum for homogeneous moduli and the complete relevant KK tower;
- an observer-compatible normalizable tensor zero mode with universal coupling;
- a consistent nonlinear truncation or controlled matching theorem;
- BRST, anomaly/inflow, and state-space certificates at the same scope;
- a Wilsonian validity range with no negative-residue pole below the cutoff.
The repair must be frozen before comparison with the failed \(-1/3\) mode. Adding a potential term solely to flip that number without an independent derivation is a construction anchor, not a from-nothing solution.
S6.4 Finite reopen triggers
The positive 5A subterminal reopens if the zero mode is projected out or non-normalizable, the effective Einstein coefficient is nonpositive, external diffeomorphisms are broken, a coupled light scalar invalidates the claimed Newtonian observer map, a negative-residue tensor pole enters below the cutoff, or the declared 4D stationary point does not exist. The negative 5B terminal is superseded only by a new stable branch that passes the complete contract. The wrong-object dissolution reopens only if a theorem connects a precisely specified renormalized heat-kernel combination to a necessary physical positivity inequality for this theory.
S6.5 Reviewer-grade anti-overclaim paragraph
A technically correct summary is:
The locked positive Einstein–Hilbert Dynamics, finite internal volume, even constant harmonic, and construction-level 4D vacuum yield a conventional massless 4D graviton zero mode with two helicities, positive Einstein pole, luminal two-derivative propagation, and Newtonian long-distance exchange. The full canonical 13D compactification is nevertheless unstable as written because a verified shape-doublet mode has \(m^2=-1/3\), so UQF-5B closes negatively. The historical raw \(a_6\)-sign criterion is not a valid Hilbert-positivity or unitarity test and is retired rather than counted as a pass. Interacting and UV completion remain downstream.
Any shorter summary that omits either the scoped positive result or the adverse full-sector result is materially misleading.
S6.6 External theorem map
The dossier’s non-project ingredients are standard and separately checkable:
- Kaluza–Klein zero-mode reduction and the distinction between parent and reduced fields: Overduin and Wesson, Kaluza–Klein Gravity, Phys. Rept. 283 (1997), arXiv:gr-qc/9805018; and modern spin-2 reduction analyses such as Bonifacio and Hinterbichler, arXiv:1611.00362.
- Boundary/fixed-set relevance and heat-kernel coefficient structure: Vassilevich, Heat kernel expansion: user’s manual, Phys. Rept. 388 (2003), arXiv:hep-th/0306138.
- Gravity as a low-energy effective field theory: Donoghue, arXiv:1209.3511 and arXiv:2211.09902.
- Higher-derivative spin-2 pole issue when finite derivative actions are treated nonperturbatively: Stelle, Phys. Rev. D 16, 953 (1977).
- Near-luminal propagation record for the observed low-frequency tensor: LIGO/Virgo/Fermi/INTEGRAL, arXiv:1710.05834.
These references support the general theorems. They do not validate the project-specific background or shape stability, which are decided by the project calculations.
Appendix I — Final concise certificate
Certificate G24-IR. Let the parent theory contain a positive-sign thirteen-dimensional Einstein–Hilbert term. Let the declared compact connected internal space have finite volume and boundary/parity data preserving the normalized constant harmonic of the external metric block. Let the declared four-dimensional zero-mode EFT possess a stationary vacuum preserving four-dimensional diffeomorphism invariance, and let no retained higher-derivative tensor ghost pole lie below the cutoff. Then the reduced theory contains a massless spin-2 tensor with two physical four-dimensional helicities and positive pole residue. On a Lorentz-invariant two-derivative background it propagates with \(c_T=1\); exchange between conserved nonrelativistic sources produces \(V(r)=-G_Nm_1m_2/r\) plus KK-suppressed corrections for \(r\gg R_i\).
Boundary of certificate. The present project has not derived the required vacuum from a complete stable 13D action; it supplies it as a construction anchor, while the full compactification is unstable as written. The raw sign of the project’s \(a_6\) heat-kernel coefficient is not a necessary or sufficient quantum-consistency test and is retired from Gate 24. Interacting/UV completion is not claimed.
This certificate is the canonical one-paragraph replacement for the legacy Gate-24 headline.
Appendix J — Constraint-count derivation and dimensional decomposition
J.1 Hamiltonian count in arbitrary spacetime dimension
The compact formula
\[ N_{\rm graviton}(D)=\frac{D(D-3)}{2} \]
is sometimes quoted without its assumptions. The derivation is short and makes clear why it cannot be used interchangeably at \(D=13\) and \(D=4\).
Let \(d=D-1\) be the number of spatial dimensions. In ADM variables, the spatial metric \(q_{ij}\) has
\[ N_q=\frac{d(d+1)}2=\frac{D(D-1)}2 \]
configuration components. The lapse and shifts have no independent kinetic terms; their variations impose one Hamiltonian constraint and \(d\) momentum constraints, for \(D\) first-class constraints in total. Each first-class constraint removes one configuration degree of freedom and its conjugate momentum, so the number of physical configuration degrees of freedom is
\[ N_q-D =\frac{D(D-1)}2-D =\frac{D(D-3)}2. \]
Thus
\[ N_{\rm graviton}(4)=2, \qquad N_{\rm graviton}(13)=65. \]
The derivation assumes a massless Einstein-type gauge symmetry with a regular first-class constraint algebra. A Fierz–Pauli mass changes the constraint system and gives five polarizations in four dimensions. An anomalous or explicitly broken diffeomorphism symmetry can change the count. The formula therefore certifies the state count only after the symmetry and background assumptions are checked.
J.2 Little-group derivation
For a massless particle in \(D\)-dimensional Minkowski space, the compact rotation part of the little group is \(SO(D-2)\). A parity-even graviton transforms as a symmetric traceless rank-two tensor of that group. With \(n=D-2\), its dimension is
\[ \dim\mathrm{STT}_2(\mathbb R^n) =\frac{n(n+1)}2-1 =\frac{(D-2)(D-1)}2-1 =\frac{D(D-3)}2. \]
This reproduces the Hamiltonian result. In four dimensions the \(SO(2)\) representation is naturally labeled by helicities \(\pm2\). In thirteen dimensions the representation has 65 independent polarizations. Compactification changes the observer’s Poincaré group and decomposes the parent representation; it does not force the observer to see a 65-polarization massless particle.
J.3 Kinematic 13D-to-4D split
Write the parent indices as \(M=(\mu,m)\) with \(\mu=0,\ldots,3\) and \(m=1,\ldots,9\). The metric perturbation divides into
\[ h_{MN} ightarrow \{h_{\mu\nu},\ h_{\mu m},\ h_{mn}\}. \]
At the level of massless toroidal kinematics:
- \(h_{\mu\nu}\) contains one 4D graviton with 2 physical states;
- each of the nine \(h_{\mu m}\) fields can behave as a 4D vector with 2 physical states, totaling 18;
- the symmetric internal block \(h_{mn}\) has \(9\cdot10/2=45\) scalar components.
Therefore
\[ 2+18+45=65. \]
On the actual \(K_6\times S^2\times I_\chi\) background this is not a masslessness claim. Vectors survive massless only when associated with appropriate unbroken isometries and parity assignments. Internal scalars can be lifted by curvature, flux, boundary potentials, or stabilization. Some are gauge artifacts or combine with massive fields through Stückelberg mechanisms. The identity remains valuable because it shows exactly where the parent polarizations can go and why the two-helicity zero mode is compatible with a 65-polarization parent theory.
J.4 Massive KK levels and Stückelberg organization
For a nonzero internal eigenvalue, the 4D tensor generally becomes massive. A massive spin-2 particle in four dimensions carries five states. The additional longitudinal states are assembled from components that, at the zero level, would be interpreted as vectors and scalars. Higher-dimensional diffeomorphism invariance appears after reduction as a tower of Stückelberg symmetries. This is another reason the naive subtraction of fiber ranks cannot be applied separately to each un-diagonalized block.
The correct spectral procedure is:
- choose a solved parent background;
- decompose fluctuations into irreducible harmonics of the internal geometry and fixed-set parity;
- include all curvature and matter-induced mixing;
- fix gauge or construct gauge-invariant combinations;
- diagonalize the self-adjoint physical operator;
- count states only after constraints and boundary conditions are imposed.
The project has not completed this procedure for the full branch. Its exact 91/13/65 arithmetic is retained as a consistency check but cannot promote the full KK sector to stable.
J.5 BRST rank versus cohomology
In a one-loop determinant, a complex vector ghost contributes twice the vector fiber rank with a minus sign, which explains the leading identity
\[ 91-2\times13=65. \]
This is a graded heat-kernel rank. The physical state space is instead the cohomology
\[ \mathcal H_{\rm phys}=\ker Q/\operatorname{im}Q. \]
Equality of the graded leading coefficient with the little-group count is a strong sanity check that the gauge complex has the expected size. It does not prove nilpotency on the interacting background, absence of anomalies, positivity of the cohomology norm, or stability of every eigenvalue. Those are separate checks and are routed to the appropriate gates.
Appendix K — Green-function derivation of the Newtonian and KK limits
K.1 Spectral Green function on a compact internal space
Let the relevant internal tensor profile problem have orthonormal modes \(\psi_n(y)\) with nonnegative eigenvalues \(m_n^2\) in a stable branch. For sources at internal positions or profiles \(f_1(y)\) and \(f_2(y)\), define overlaps
\[ g_n^{(i)}=\int_{Y_9}d^9y\sqrt\gamma\,f_i(y)\psi_n(y). \]
The static 4D Green function is then schematically
\[ G(\mathbf r;y_1,y_2) =\sum_n g_n^{(1)}g_n^{(2)} \int\frac{d^3\mathbf k}{(2\pi)^3} \frac{e^{i\mathbf k\cdot\mathbf r}}{\mathbf k^2+m_n^2}. \]
Using
\[ \int\frac{d^3\mathbf k}{(2\pi)^3} \frac{e^{i\mathbf k\cdot\mathbf r}}{\mathbf k^2+m^2} =\frac{e^{-mr}}{4\pi r}, \]
the potential is a zero-mode \(1/r\) term plus Yukawa corrections. For the normalized constant mode \(\psi_0=V_9^{-1/2}\), a normalized bulk matter profile couples universally to the same zero-mode metric. Localized sources can have different overlaps with massive modes while retaining the universal zero-mode coupling if they couple minimally to the same induced metric.
K.2 Exact zero-mode normalization
The parent coupling is controlled by \(M_*^{11}\). The constant-mode wavefunction contributes \(V_9^{-1/2}\) at each source vertex, while the integrated kinetic term contributes \(M_*^{11}V_9=M_P^2\). After canonical normalization the zero-mode exchange coefficient is therefore \(1/M_P^2\), and
\[ G_N=\frac{1}{8\pi M_P^2}. \]
This derivation is the gravitational analogue of normalizing a gauge-field zero mode. It shows why the compactification volume affects the measured four-dimensional gravitational coupling but does not create an additional independent helicity or a graviton mass.
K.3 Tensor numerator and the nonrelativistic limit
The massless spin-2 exchange between conserved sources contains
\[ T_{\mu\nu}^{(1)}T^{(2)\mu\nu}-\frac12T^{(1)}T^{(2)}. \]
For slowly moving point masses, \(T_{00}\) dominates. With the mostly-plus metric, the trace and sign conventions combine to produce an attractive potential. Matching to the conventional Einstein action fixes
\[ V(r)=-\frac{G_Nm_1m_2}{r}. \]
Differentiation gives the inverse-square force magnitude. The dossier deliberately states both potential and force, because historical summaries sometimes called the \(1/r\) potential an “inverse-square law” without distinguishing the two objects.
K.4 Massive spin-2 tensor structure
A massive spin-2 exchange has a different trace coefficient from a massless one. In a naive zero-mass limit this produces the van Dam–Veltman–Zakharov discontinuity; nonlinear screening or the full KK gauge structure can alter the phenomenology. The present gate does not claim that every massive KK correction is obtained by multiplying the Newton potential by a positive scalar coefficient. The compact expression
\[ \Delta V(r)\sim-\frac{G_Nm_1m_2}{r}\sum_n\alpha_ne^{-m_nr} \]
is a bookkeeping form. Each \(\alpha_n\) must be derived from the physical tensor/scalar decomposition and source overlap.
K.5 Scalar forces and why tensor success is insufficient
A light volume modulus or shape scalar can mediate an additional long-range force. In an Einstein-frame description its coupling may be written schematically as
\[ \frac{\beta\varphi}{M_P}T. \]
Its exchange adds
\[ \Delta V_\varphi(r) =-2\beta_1\beta_2\frac{G_Nm_1m_2}{r}e^{-m_\varphi r} \]
up to normalization conventions. Composition dependence or nonuniversal \(\beta_i\) would violate the equivalence-principle claim even if the tensor zero mode is perfect. Because the current branch contains an unstable shape direction, the dossier cannot use the tensor calculation alone to certify the complete observed gravitational sector.
K.6 Long- and short-distance regimes
For a compactification scale \(R\), the long-distance regime \(r\gg R\) suppresses massive modes and yields four-dimensional gravity. At distances shorter than the characteristic radii, a local flat-space approximation to the full internal dimensions can produce a potential scaling as
\[ V_{4+n}(r)\propto-\frac{1}{r^{1+n}} \]
for \(n\) effectively resolved flat compact dimensions. Curved and anisotropic spaces can show multiple crossover scales. Since the project radii are near \(10^{-33}\) m, this crossover is far beyond present direct tests, but that numerical fact is a consistency observation rather than a derivation of the internal spectrum.
K.7 Observer-map kill conditions
The Newtonian certificate fails if any of the following occurs:
- the zero mode does not couple to the measured matter stress tensor;
- matter sectors couple to inequivalent effective metrics;
- a light scalar produces an unsuppressed fifth force;
- a fixed-set kinetic term changes the normalization without being included in \(M_P\);
- an ultralight KK tensor contributes at tested distances;
- the background evolves so rapidly that a static potential description is invalid.
These are finite and testable conditions. They are stronger than the vague phrase “gravity looks four-dimensional.”
Appendix L — Orbifold, boundary, and variational completion
L.1 Two equivalent descriptions that must not be mixed opportunistically
The quotient \(S^1/\mathbb Z_2\) can be described as an orbifold with fixed points or as an interval with boundaries and parity-imposed field content. The local bulk equations are related, but boundary/fixed-set terms and variational conditions must be translated consistently. The project uses the quotient for chirality and mode projection, so it cannot ignore the same fixed sets when discussing gravitational variation or spectral asymptotics.
L.2 Standard parity pattern for metric fluctuations
Under the reflection \(y\mapsto-y\), a conventional metric assignment is
| Component | Parity | Zero-mode consequence |
|---|---|---|
| \(h_{\mu\nu}\) | even | external tensor zero mode allowed |
| \(h_{\mu y}\) | odd | no constant vector zero mode along the reflected direction |
| \(h_{yy}\) | even | radion-like scalar zero mode allowed unless lifted |
| ghost/diffeomorphism parameter \(\xi_\mu\) | even | external 4D diffeomorphism survives |
| ghost/diffeomorphism parameter \(\xi_y\) | odd | reflected-direction gauge parameter has no constant zero mode |
This table explains why the chirality interval can retain a 4D graviton while projecting a graviphoton. It also exposes a stability obligation: the even \(h_{yy}\) scalar is not automatically absent. A boundary potential or bulk dynamics must control it.
L.3 Einstein–Hilbert variation
Variation of the Einstein–Hilbert action produces a boundary term involving normal derivatives of \(\delta g\). For a manifold-with-boundary formulation, the Gibbons–Hawking–York term cancels the unwanted normal-derivative variation under a Dirichlet metric problem. Other boundary conditions require corresponding boundary functionals. Localized fixed-set stress tensors alter the matching conditions. Consequently a complete Gate-24 background certificate must freeze:
- the bulk action and sign conventions;
- the fixed-set action, tensions, and induced curvature terms;
- the field parity and operator domains;
- the matching/junction equations;
- the gauge-fixing and ghost boundary conditions.
The current project does not yet supply a complete inventory at this level.
L.4 Self-adjointness and strong ellipticity
A real physical mass spectrum requires a self-adjoint Lorentzian evolution problem or, after Euclidean continuation for heat-kernel work, a strongly elliptic boundary-value problem. Mixed tensor boundary conditions can fail strong ellipticity in some gauges. If the problem is not strongly elliptic, a formal heat-kernel coefficient table may not represent a well-defined spectral trace. The final dossier therefore treats every boundary heat-kernel statement as conditional on a valid gauge-compatible elliptic problem.
L.5 Boundary heat-kernel orders
For a smooth boundary, the heat trace contains both bulk and boundary invariants. In common notation,
\[ K(t)\sim(4\pi t)^{-D/2} \sum_{j\ge0}A_j t^{j/2}, \]
where even \(j\) include bulk contributions and odd \(j\) are purely boundary in standard local problems. In an odd-dimensional bulk, a coefficient with \(j=D\) can therefore be a boundary contribution to the logarithmic structure. Orbifold fixed sets have analogous equivariant terms determined by the fixed-set codimension and group action. This is the precise mathematical reason the old sentence “odd \(D\) means no logarithmic term at all” was too strong.
It remains true that the project’s object labeled bulk \(a_6\) has total derivative order six and is not the total order-thirteen logarithmic coefficient. The correction therefore weakens the parity argument without restoring the invalid sign test.
L.6 Boundary terms can alter normalization without adding a mass
A fixed-set induced Einstein term can add to the zero-mode kinetic coefficient. Schematically,
\[ M_{P,\rm eff}^2=M_*^{11}V_9+\sum_i M_{i,\rm ind}^2. \]
If the induced coefficients are positive, the tensor pole remains healthy but the volume-only Planck relation changes. A fixed-set Fierz–Pauli-type term would break external diffeomorphisms and can give the mode a mass or introduce an extra scalar. A tension term changes the background equations without directly giving a covariant graviton mass. These distinctions must be maintained in any future complete action.
L.7 Boundary completion verdict
The current gate may assume a parity-compatible zero mode for the scoped EFT because that is the declared construction. It may not claim a complete 13D derivation until the boundary/fixed-set action and spectral domain are fully enumerated. This deficit independently supports the negative full-sector verdict but does not invalidate the conditional zero-mode theorem.
Appendix M — Full-sector stability matrix and repair grammar
M.1 Sector-by-sector matrix
| Sector | Required physical check | Current project evidence | Verdict |
|---|---|---|---|
| External massless tensor zero mode | normalizable even harmonic; positive kinetic residue | demonstrated conditionally | PASS-SCOPED |
| Massive tensor KK tower | full self-adjoint Lichnerowicz spectrum; no tachyons/ghosts below cutoff | local endomorphism data only | NOT ESTABLISHED |
| Vector modes \(h_{\mu m}\) | parity/isometry spectrum; healthy kinetic matrix | partial geometry routing | NOT ESTABLISHED |
| Volume/radion scalar | positive kinetic term and nonnegative mass | complete parent stabilization absent | NOT ESTABLISHED |
| Shape doublet | nonnegative Hessian | verified \(m^2=-1/3\) | FAIL / CLOSED-NEGATIVE |
| Other internal metric scalars | full coupled Hessian | incomplete | NOT ESTABLISHED |
| Fixed-set bending/local modes | action, junction conditions, spectrum | incomplete inventory | NOT ESTABLISHED |
| Ghost/BRST complex | nilpotent, anomaly-free, positive cohomology | scoped interfaces only | PASS-SCOPED / FULL OPEN |
| Higher-derivative tensor poles | none negative-residue below cutoff | coefficient inventory incomplete | CONDITIONAL |
| Nonlinear truncation | uplift or controlled matching | absent | NOT ESTABLISHED |
One failed physical retained mode is enough to prevent a positive full-sector certificate. The table is therefore not averaged: the shape-doublet failure controls UQF-5B as written.
M.2 Legal repair families
A future repair may use one or more of the following structures, provided they are derived or honestly charged as construction anchors:
- flux or gauge-field stress supporting the internal curvature;
- a bulk scalar potential with a stationary point and positive full Hessian;
- fixed-set tensions and localized curvature terms satisfying junction equations;
- warping that solves the parent equations and normalizes the tensor zero mode;
- quantum/Casimir corrections with a frozen regulator and scheme-independent stability conclusion;
- a different admissible metric point or topology selected before loading the failed eigenvalue;
- a complete Scherk–Schwarz or gauged-supergravity-type reduction, if compatible with the project’s matter and chirality structure.
The repair must be tested against the entire coupled spectrum. Stabilizing only the named shape doublet while creating a volume tachyon, a ghost kinetic term, or a boundary instability does not close the gate.
M.3 Target-loading firewall
The failed result \(-1/3\) is now comparison data. A new term chosen solely because its coefficient makes the Hessian positive is a fitted rescue. To qualify as derived or predictive, its form and coefficient must be fixed by an upstream symmetry, quantized charge, independently measured anchor, or target-blind selection rule. Otherwise the strongest honest label is CONSTRUCTION-ANCHOR, even if the repaired spectrum is mathematically healthy.
M.4 Minimum machine certificate for a replacement branch
A reproducible package should contain:
- a content-addressed action and boundary manifest;
- exact background fields and residuals for every field equation;
- gauge-fixed quadratic operators by spin/parity sector;
- a proof or numerical certificate of self-adjointness and boundary compatibility;
- the complete eigenvalue list below a frozen cutoff, with degeneracies;
- kinetic-norm signs for each physical mode;
- a second independent implementation of the lowest eigenvalues;
- negative controls that deliberately flip the Einstein sign, parity, and stabilizing term;
- a source-overlap computation for the 4D tensor and any light scalar;
- a machine-readable terminal file that fails closed when any residual exceeds tolerance.
Until such a package exists, prose cannot upgrade the full sector.
Appendix N — Technical-AI adjudication rubric
N.1 Mandatory distinction tests
A reviewing AI must reject the dossier or any derivative summary if it fails any of these distinctions:
- 91 components versus 65 parent polarizations versus 2 observer helicities;
- massless tensor pole versus full compactification stability;
- tachyonic scalar modulus versus negative-norm spin-2 ghost;
- local endomorphism eigenvalues versus global KK spectrum;
- Stage geometry versus Dynamics/background solution;
- smooth closed odd-dimensional bulk versus orbifold/boundary spectral expansion;
- heat-kernel counterterm coefficient versus state positivity or amplitude positivity;
- reduced versus ordinary Planck mass conventions;
- 4D long-distance potential versus short-distance higher-dimensional behavior;
- scoped EFT validity versus interacting UV completion.
N.2 Recalculation prompts
A technical reviewer should independently recalculate:
- \(13\cdot14/2=91\);
- \(13(13-3)/2=65\);
- \(4(4-3)/2=2\);
- \(2+18+45=65\);
- \(M_P=M_{\rm Pl}/\sqrt{8\pi}\);
- \(M_*=(M_P^2/V_9)^{1/11}\);
- \(R_0=(2\pi M_U)^{-1}\);
- the bulk \(a_6\) zeta location \(13/2-3=7/2\);
- the project trace identities \(\sum m_i=20\), \(\mathrm{tr}E_L=40/3\), and \(\mathrm{tr}E_L^2=241/18\);
- the incompatibility of Einstein constants \(0\), \(5/12\), and the positive sphere value in a pure unwarped product.
The supplied verification script performs these arithmetic checks but deliberately returns no “background solved” Boolean beyond the common-curvature negative control.
N.3 Honest final grading rule
The correct grade is not chosen by counting how many rows pass. It follows a logical dependency:
IF positive EH coefficient
AND valid 4D construction vacuum
AND even normalizable constant harmonic
AND unbroken 4D diffeomorphism symmetry
THEN 5A_IR = CLOSED-SCOPED.
IF any retained full-sector physical mode has m^2 < 0
THEN 5B_full = CLOSED-NEGATIVE-AS-WRITTEN.
IF no theorem maps raw sign(a6) to physical positivity
THEN legacy_a6_test = DISSOLVED-WRONG-OBJECT.
Administrative dependency = RESOLVED only when all residuals have owners.
This rule prevents the positive 5A result from hiding the negative 5B result and prevents the negative 5B result from erasing a correct low-energy theorem.
N.4 Final reviewer answer key
A technically competent reviewer should return:
- PASS — the scoped zero-mode calculation and normalization;
- PASS — the independent two-helicity derivation;
- PASS-SCOPED — luminality and Newtonian exchange in the specified frame and regime;
- FAIL / CLOSED-NEGATIVE — the full branch as written because of the shape tachyon;
- REJECT AS TEST — raw \(a_6\) sign as a universal graviton positivity criterion;
- NOT CLAIMED — nonlinear full KK and UV quantum-gravity completion.
Any answer that says simply “Gate 24 passes” or simply “Gate 24 fails” is incomplete. The canonical answer is a scoped positive subgate embedded in a resolved adverse full-sector result.
Appendix O — Source traceability and correction provenance
O.1 Project-source map
This dossier was reconstructed from four distinct project layers, each used only for the job it can legitimately perform:
| Source layer | Information consumed | Information not accepted without re-audit |
|---|---|---|
GATES_SOURCE_OF_TRUTH.md |
original Gate-24 charter, exact geometry ledger, historical 91/13/65 count, project \(E_L\) traces, legacy terminal | its superseded claim that odd \(D=13\) itself certifies quantum consistency |
QUANTUM_review_bundle.zip |
prior graviton dossier, anchor ledger, open \(a_6\) calculations, operator conventions, historical negative controls | claims that local \(E_L\) data are a complete spectrum or that Shape alone proves the vacuum |
PHYSICS_HANDOFF_2026-07-12.zip |
corrected Dynamics authority, honest per-gate status, full-sector shape tachyon, administrative-versus-physical board distinction | older embedded status fragments that conflict with the handoff’s own top-level correction |
HIKING_PHYSICS_MASTER_IMPLICIT_ASSUMPTIONS_LEDGER_v1_3(2).md |
wrong-ruler, zero-mode/full-tower, local/global, EFT/UV, Stage-only, ansatz/derivation, and boundary assumptions | none of its research hypotheses are promoted into closure without a gate-specific certificate |
| Gate 22 and Gate 23 canonical dossiers | scoped physical-Hilbert and 4D global-anomaly interfaces | neither is promoted to full 13D compactification or UV closure |
| standard external literature | general KK, BRST, heat-kernel, boundary, EFT, and propagation theorems | no external theorem is treated as evidence that the project-specific branch solves its field equations |
This map matters because the old dossier was not merely incomplete; it contained a status migration. A technical reviewer needs to know which statements are frozen numerical inputs, which are corrected physics conclusions, and which are retained only as historical records.
O.2 Claim-by-claim correction ledger
Legacy claim: “The same frozen shape carries a graviton without another dial.”
Retained core: the external metric block and even constant harmonic are already present in the declared Stage, so no separate 4D spin-2 Actor is appended after reduction.
Correction: a physical graviton spectrum also needs the positive Einstein–Hilbert Dynamics, a valid background, boundary conditions, and a reduction map. The 4D vacuum is construction-anchored and the full branch is unstable. The corrected claim is conditional, not Shape-only.
Legacy claim: “The 91-component graviton minus two 13-component ghosts leaves 65, proving the physical graviton.”
Retained core: \(91-26=65\) is exact and matches the parent massless little-group count.
Correction: it proves a leading parent graded-rank identity, not the observer’s two-helicity state. The 4D count is derived independently from 4D constraints or the \(SO(2)\) little group.
Legacy claim: “The \(E_L\) eigenvalues certify the graviton spectrum.”
Retained core: the invariant-fiber eigenvalues and traces are useful exact checks for local curvature algebra and heat-kernel assembly.
Correction: the full spectrum belongs to \(-\nabla^2+E_L\) with representation, mixing, gauge, and boundary data. The local table cannot overrule the independently verified shape tachyon.
Legacy claim: “Odd total dimension removes the quantum positivity slot.”
Retained core: raw smooth-bulk \(a_6\) is not the order-thirteen logarithmic coefficient; its Mellin location is \(s=7/2\).
Correction: the orbifold/fixed-set problem can contain boundary orders, and the observer EFT is four-dimensional. More importantly, no universal theorem made the sign of raw \(a_6\) a state-positivity test in the first place. The test is retired for the stronger wrong-object reason.
Legacy claim: “The Planck reduction gives \(M_*=7.46705\times10^{16}\) GeV.”
Retained core: the arithmetic is correct when the ordinary Planck convention is used consistently.
Correction: the displayed parent action \(M_*^{11}R/2\) is in the reduced-Planck convention. In that convention the project volume gives \(5.5699921668\times10^{16}\) GeV. The older number can survive only with a correspondingly rewritten action normalization.
Legacy claim: “Gate 24 is a positive CERTIFIED-IRREDUCIBLE closure.”
Retained core: the gate can be administratively resolved because each obligation now has an endpoint and owner.
Correction: the physical endpoint is mixed: 5A is positive and scoped, 5B is closed-negative as written, and the historical \(a_6\) predicate dissolves. “Resolved” must not be rendered as “all physics passed.”
O.3 Evidence-grade ledger
| Result | Grade | Why |
|---|---|---|
| \(91\), \(65\), \(2\), and \(2+18+45\) | EXACT | finite representation/constraint arithmetic |
| reduced Planck normalization | EXACT-GIVEN-VOLUME-AND-ANCHOR | algebra using measured \(M_{\rm Pl}\) and project \(V_9\) |
| constant even zero mode | DERIVED-GIVEN-SHAPE+BOUNDARY-CONTRACT | spectral theorem on compact connected space plus parity |
| positive massless pole | DERIVED-GIVEN-POSITIVE-EH-DYNAMICS | quadratic action residue |
| luminal principal speed | DERIVED-GIVEN-2-DERIVATIVE-LORENTZ-BACKGROUND | principal symbol |
| Newtonian long-distance exchange | DERIVED-GIVEN-UNIVERSAL-COUPLING | zero-mode Green function |
| shape-doublet \(m^2=-1/3\) | PROJECT-VERIFIED CLOSED-NEGATIVE | corrected stability calculation |
| full KK stability | NOT ESTABLISHED | operator not fully assembled/diagonalized |
| legacy \(a_6\) positivity | CATEGORY ERROR | no necessary/sufficient theorem |
| UV completion | EXPORTED | Gate 25 and later UV gates |
O.4 Preservation checksum in prose
A future revision is allowed to change Gate 24 only if it preserves or explicitly supersedes all of the following: the 91/65/2 object distinction; the reduced-Planck convention; the background-before-Hessian rule; the \(-1/3\) adverse result unless a new branch is frozen; the boundary/fixed-set caveat; the non-equivalence of raw \(a_6\) sign and Hilbert positivity; the separation of tensor zero-mode success from scalar-modulus failure; and the exclusion of interacting UV gravity. A revision that silently drops any one of these items is not a refinement—it is a regression to a known failure mode.
O.5 Final traceability verdict
The completed dossier therefore survives a technical AI review not by maximizing the number of positive labels, but by making every inference reconstructible and every adverse result impossible to hide. The project earns a conventional low-energy graviton construction. It does not yet earn a stable full 13D graviton vacuum. That distinction is the canonical Gate-24 result.