The ambient gravitational measure problem
Original ledger classification: Open (decoupled general QG; non-TFPT)
Recorded statement: DECOUPLED GENERAL QG PROBLEM, NOT a TFPT-specific gate (reclassified 2026-06-22, v335): the ambient/metric-sector measure IS the general Euclidean-QG conformal-factor problem (Gibbons-Hawking-Perry 1978), inherited not TFPT-specific. TFPT…
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
QG.AMB.01
Original ledger classification: Open (decoupled general QG; non-TFPT)
Original claim text
DECOUPLED GENERAL QG PROBLEM, NOT a TFPT-specific gate (reclassified 2026-06-22, v335): the ambient/metric-sector measure IS the general Euclidean-QG conformal-factor problem (Gibbons-Hawking-Perry 1978), inherited not TFPT-specific. TFPT is rigorously GAP-DECOUPLED from it: margin Delta - 31/(4 pi^2) = 6 ln(3/2) - 31/(4 pi^2) ~ 1.648 > 0 (v76/v311/v330/v332/v335), so NO TFPT prediction depends on the ambient measure. The conformal-mode obstruction is characterized (v332) and conditionally resolved by GHP rotation + IDG (v334); its construction is a separate QG programme (Picard-Lefschetz + IDG). Reclassified from 'TFPT structural frontier' to 'inherited, decoupled general QG problem' -- it is no longer counted among TFPT's open structural items.
Original classification detail
Open (decoupled general QG; non-TFPT)
Dependencies as recorded
QGAMB.METRIC.01; QGAMB.CONFORMAL.01; v76; v330; v332; v334; v335
Open the original ledger source, row 47Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- =150 2026-08-27 (CXXXI) (the external deep-review round — dimension / dynamics / gravity firewalls and the 4D construction ladder: the review diagnosis ``chiral [formula in source] D seam net [formula in source] local, interacting [formula in source] D quantum world'' is implemented as eight new contract IDs in tfpt_research_contracts plus one new load-bearing module. (1) DIMENSION.UPLIFT.FIREWALL.01 (standing rule, in force): no [formula in source] D theorem closes a [formula in source] D claim; every contract closure states the spacetime dimension of hypotheses AND conclusion; audit census recorded (SEAM.EQUIV.01 is [formula in source] D in and out — even fully proved it is a boundary building block, not the 4D theory; the v957 kinematic uplift does not close it; the anomaly-inflow bulk is invertible/topological, never to be silently equated with physical spacetime); the realistic route ordering (seam as boundary module [formula in source] genuine 4D Euclidean lattice [formula in source] OS package [formula in source] chirality/no-mirror [formula in source] only then BW/CHM [formula in source] entanglement gravity [formula in source] bulk–seam equivalence) is registered as the programme skeleton. (2) SEAM.BULK4D.RECON.01 : the previously implicit seam [formula in source] bulk theorem made explicit (4D local algebras/Schwinger functions; locality/microlocality, Poincar\'e covariance [formula in source] spectrum condition, spin-statistics [formula in source] CPT, both helicities, clustering, nontrivial S-matrix, unique operator dictionary). (3) the dynamics split DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (``three meanings of dynamics'': relaxation [formula in source] / dissipative semigroup [formula in source] / unitary [formula in source] ): the finite kernel half of MARKOV.EMBED is executed \ as v971_markov_embedding_generator.py ( [formula in source] , sympy-exact) — [formula in source] of the v221 seam kernel is an EXACT classical Markov generator: [formula in source] by spectral calculus, row sums symbolically zero, off-diagonals exactly [formula in source] (the reviewer's independently verified numbers), uniformization certificate [formula in source] entrywise [formula in source] [formula in source] positivity-preserving doubly stochastic for all [formula in source] , [formula in source] (gap [formula in source] ), negative control: second eigenvalue [formula in source] gives [formula in source] — provably NOT embeddable; the field level and the local size-consistent unitary dilation (Stinespring [formula in source] Lieb–Robinson [formula in source] OS continuation) stay ; binding precision: the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). (4) QFT4D.OS.RECON.01 \ (the genuine 4D Euclidean lattice OS package) with the binding phrasing rule: the v381 all-orders leg is a local perturbative construction under the stated EG/BRST hypotheses (Duch weak adiabatic limit cited, hypotheses unverified for the concrete model; no confinement / mass gap / asymptotic charged states / nonperturbative Higgs vacuum / full S-matrix follows) — tfpt_2 and tfpt_5 phrasing restricted accordingly. (5) CHIRAL4D.NOMIRROR.01 \ (explicit GW/overlap chiral lattice operator; local gauge-invariant measure, perturbative [formula in source] global anomaly freedom, no Witten [formula in source] anomaly, no mirrors, correct index/charges, stable continuum limit; Mastropietro arXiv:2303.02790 as calibration). (6) GRAV.NONCIRCULAR.01 (standing rule, in force): BW is a theorem WITHIN a local Poincar\'e-covariant QFT (Mund/Morinelli counterexample landscape cited), never a generator of Lorentz spacetime from a modular flow; every BW/CHM use declares assumption-vs-result; audit census: the entanglement-equilibrium Einstein derivation (v323/v358/v359) is typed ASSUMPTION (conditional on the 4D package, never citable as evidence for it), QG.AMB.01 correctly declared, the seam KMS [formula in source] chain dimension-typed, the intrinsic-BW programme the honest result-direction attempt. (7) OBS.TRANSDUCTION.01: the transduction principle (internal eigenvalue [formula in source] nonvanishing projection [formula in source] [formula in source] physical coupling [formula in source] observable signature; without the middle arrow neither non-observation falsifies nor observation confirms; minimal model machine-checked at exploration level in fo01, uniform functional blind to [formula in source] , character channel recovers [formula in source] to [formula in source] ; the ACT [formula in source] Planck birefringence proximity typed coincidence-level pending the shared-action proof). (8) PRED.JOINTLIKELIHOOD.01 : evidence reorganized from hit-counting into overdetermined relation bundles (flavor sum rule; [formula in source] , [formula in source] ; one normalized axion action; character-resolved transfer) with the statistical demand (joint likelihood, atom-induced covariance, effective dof, prespecified null [formula in source] formula grammar, real holdout); the v100 ``13/13, [formula in source] '' statement retyped as a look-elsewhere quantifier under its declared null — the 2026-06-09 freeze protects FUTURE measurements, it does not retroactively make historically known data blind. Docs corrected in the same change: docs/OPEN_PROBLEMS.md (the Einstein-derivation overstatement rewritten to the conditional Jacobson-route typing with the explicit does-NOT-follow list; ``zero open internal mechanisms'' fixed to match the contract scope fence — ledger wins; the all-orders phrasing restricted) and docs/FALSIFICATION.md (the null-model section retitled and rescoped, freeze and kill tests unchanged). Ledger [formula in source] rows; suite [formula in source] modules; bash build.sh audit and the manifest regeneration are the joint exit gate)Research changelog; TFPT — Introduction and reading guide
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)tfpt research contracts
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- Honest statusinput 4 origin theory
- 2026-06-23 (External-review closure: the two genuine residual targets named — v381 the all-order Epstein–Glaser/BRST contract for [formula in source] , and v382 the Quillen determinant-line variation as a tracked target)Research changelog; TFPT — Introduction and reading guide
- 2026-06-22 (keystone unification + status reframe: ONE open theorem, ONE decoupled foreign problem: v335, FORM.QGEO.BW.01 qgeoSymIsCorollary)Research changelog; TFPT — Introduction and reading guide
- 2026-06-25 (No-Ambient-Dependency: no frozen readout is computed from QG.AMB.01: v423)Research changelog; TFPT — Introduction and reading guide
- 2026-06-19 (an infinite-derivative narrowing of the Stelle-ghost attack, the double-pushout figure, and the ``constancy of [formula in source] '' framing of SEAM.EQUIV.01: v304)Research changelog; TFPT — Introduction and reading guide
All 53 linked sections
- 2026-06-18 (scale + frontier round: [formula in source] -mass scale, EG gauge running, over-determination, QG roadmap, v272– v275)
- 2026-06-24 (Cross-surface consistency sweep: papers, website, gates, figures realigned)
- 2026-06-23 (Status propagation: the v365– v380 [formula in source] FORM.SEAM.MMST.01 status carried into the remaining papers, the README and the Zenodo description)
- 2026-06-18 (4D QFT: the [formula in source] LSZ bridge [formula in source] one-loop unitarity, v278)
- 2026-06-23 (the FULL covariant Einstein equation, parameter-free: the fixed-volume entanglement equilibrium gives [formula in source] with BOTH coefficients TFPT-fixed ( [formula in source] from v358, [formula in source] from [formula in source] via v60); B6 closed at the local level: v359)
- 2026-06-23 (Directions 3 \& 7 — the two hard functional-analysis residuals ADVANCED: the QG measure as one-loop fluctuations around the parameter-free saddle ( v365), and the seam collar verified IN MMST's free-fermion class so the scaling limit is [formula in source] ( v366))
- Front matter / support
- 2026-06-24 (Harvesting the QFT/gravity machinery: v385 the UV-branch kill-test surface, v386 the graviton-exchange amplitude, v387 the gap-driven correction calculus)
- 2026-06-18 (Zenodo release 5.2 (rev 191) — the perturbative 4D-QFT layer + scale closure, v269–v275)
- Research Contract 1 — [formula in source]
- Honest status
- What this means for the theory-of-everything question
- 2026-06-24 (The five TOE/QFT closure contracts v398– v402 + a ledger rescope)
- 2026-06-18 (4D QFT: the perturbative S-matrix as an Epstein–Glaser / pAQFT skeleton, v269)
- 2026-06-21 (TOE-roadmap solver round: the SEAM.EQUIV.01 keystone certificate, the modular bedrock, the carrier [formula in source] SM closure, the gap-decoupled measure, and the sharpened hypergraph substrate: v308– v312)
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- The hard reduction: the live residual as typed interfaces
- 2026-06-22 (endgame round: the necessity of [formula in source] reduced to the order-4 CM selection, the QG metric sector characterized as the conformal-mode problem, [formula in source] and the [formula in source] commutation grounded in Lean: v331, v332, FORM.MU4COMM.01)
- Honest status
- 2026-06-23 (Bird's-eye synthesis: two new structural patterns — v383 the universal spectral-gap principle and v384 the residual is certification, not construction)
- Front matter / support
- Front matter / support
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)
- Research Contract 2 — [formula in source]
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)
- Front matter / support
- Front matter / support
- 2026-06-22 (consistency + de-accretion editorial pass: current-state alignment across papers, website and ledger; no new modules)
- Front matter / support
- 2026-06-23 (Track 2 of the forward plan v2 — the AMBIENT REDUNDANCY statement ( v369): the holographic route to Gravity-complete that sidesteps building the general Euclidean QG measure)
- 2026-06-23 (S3 closure stack — the target of the seam scaling limit pinned at EVERY computable level: central charge [formula in source] from the lattice ( v376), the [formula in source] character ( v377), the genus-1 torus count [formula in source] ( v378), and reflection positivity ( v379); only the abstract continuum existence (cited MMST) stays external)
- 2026-06-18 (4D QFT: a concrete Epstein–Glaser one-loop quartic renormalization, v271)
- 2026-06-18 (Red Team Target F — adversarial audit of the v269–v275 round, rt_F)
- Honest status
- Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)
- 2026-06-17 (The Modular Spectral Closure: Dirac as covariance induction, the modular cutoff, the Kummer/K3 unification, and the assembly certificate, v258– v261)
- 2026-06-22 (next-steps round: the one open lemma literature-anchored, the Decoupling Theorem, the holomorphy discriminator hardened in Lean, and the [formula in source] budget: v336, v337, v338, FORM.CARTAN.DET.01)
- Research Contract 1 — [formula in source]
- 2026-06-23 (Consistency pass: the parameter-free full covariant Einstein equation ( v358/ v359) propagated across ALL stale paper and website surfaces; new v359 keybox; homepage gravity animation)
- Front matter / support
- Research Contract 2 — [formula in source]
- 2026-06-18 (QG.AMB.01 Tier-B made concrete: the seam-Calder\'on [formula in source] match, v277)
- Full quantum gravity — induced from the boundary kernel
- Front matter / support
Registered verification modules
No separate module is linked in this claim record. This is a coverage statement, not a verdict about its truth.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.