The assumptions needed for geometric modular flow
Original ledger classification: Firewall (standing discipline rule, in force; audit census recorded)
Recorded statement: THE BISOGNANO-WICHMANN DIRECTION FIREWALL (registered 2026-08-27, with audit census). BW is a theorem WITHIN an already-local Poincare-covariant QFT with suitable vacuum (wedge modular flow = boost); it does NOT generate Lorentz spacetime…
Statement, assumptions and sources
Paper context: Research contracts
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
GRAV.NONCIRCULAR.01
Original ledger classification: Firewall (standing discipline rule, in force; audit census recorded)
Original claim text
THE BISOGNANO-WICHMANN DIRECTION FIREWALL (registered 2026-08-27, with audit census). BW is a theorem WITHIN an already-local Poincare-covariant QFT with suitable vacuum (wedge modular flow = boost); it does NOT generate Lorentz spacetime from an arbitrary modular flow (Poincare-covariant nets violating BW exist: Mund arXiv:hep-th/0101227, Morinelli arXiv:1703.06831). Correct order: 4D net + locality + vacuum + spectrum condition => BW => geometric modular time. NEVER: KMS/modular spectrum => Lorentz space => BW. RULE: every BW/CHM use must declare ASSUMPTION (imported; result conditional on QFT4D.OS.RECON.01-class existence) or RESULT (derived intrinsically). AUDIT CENSUS at registration: entanglement-equilibrium Einstein derivation (v323/v358/v359) = ASSUMPTION (CHM ball + BW boost are inputs; conditional on the 4D package; never citable as evidence FOR it); QG.AMB.01 redundancy (v369) = ASSUMPTION declared ('conditional on SEAM.EQUIV.01 + BW'); seam KMS normalisation chain (v259/v526, beta_angle = 2 pi) = ASSUMPTION dimension-typed (Tomita-Takesaki on 1+1D/2D seam objects, a normalisation, not a spacetime derivation); intrinsic-BW programme (v438/v440/v446, HSMI/Borchers route) = RESULT-DIRECTION, open (corpus already records the v215 circularity warning); v478 CHM-parabola flow = EVIDENCE not derivation; origin_theory 'BW downstream of the seam being a chiral net' = CONDITIONAL declared. No marker moves; binds all future uses.
Original classification detail
Firewall in force: every BW/CHM use declares assumption-vs-result; Einstein-derivation chain typed conditional on the 4D package; census of all current usages recorded
Dependencies as recorded
QFT4D.OS.RECON.01; QGEO.SYM.01; QG.AMB.01; SEAM.EQUIV.01
Open the original ledger source, row 747Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Research contracts
Sections 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
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)tfpt research contracts
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)tfpt research contracts
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)tfpt research contracts
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)Research contracts
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)Research contracts
All 17 linked sections
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- =150 2026-08-28 (CXL) (review wave 3 — the third external bird's-eye review adjudicated and integrated: ONE new module v993 plus THREE new \ contracts plus a v986 motivation retype plus the dual-rest formula; suite [formula in source] , ledger [formula in source] ; NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v992). (1) v993_ minimal_ defect_ selector.py ( [formula in source] ): the FULL rank-8 ADE census (SNF of Cartan) with cyclic [formula in source] glue on BOTH factors selects [formula in source] uniquely ( [formula in source] aliases collapsed) — the [formula in source] architecture of v624 is an OUTPUT of (rank 8 [formula in source] cyclic [formula in source] ), not an INPUT; kill tests [formula in source] / [formula in source] (product 16, fail cyclicity) and the [formula in source] control [formula in source] ; [formula in source] exact (lattice shadow of [formula in source] ); the [formula in source] average is the UNIQUE trace-preserving finite conditional expectation (uniqueness needs the module property; kernel dim [formula in source] without it). Ledger notes on AX.P1.01/ AX.P2.01: axiom typing UNCHANGED; the equidistribution identification stays the open \ of v813; cited-not-proved remain [formula in source] and holomorphic uniqueness of [formula in source] . SEAM.SIMPLECURRENT.GENERATOR.01 canonical status grows the [formula in source] parity-shadow line. (2) Three new research contracts, all , no scripts: GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings as unique stationary points of one nonabelian zeta-det/inflow functional; generalizes ALPHA.QUILLEN.EXACT.01; honest: [formula in source] is currently an external input); GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 pole from the same spectral determinant; Einstein equation stays downstream/conditional; GRAV.NONCIRCULAR.01 binding); FTRANSFER.SK.RHO0.01 (cosmological transfers need [formula in source] , not [formula in source] alone; typed candidate [formula in source] , [formula in source] orientation picks [formula in source] ; FTRANSFER.GENERATING.01 covers equilibrium only). (3) v986 docstring retype: the [formula in source] motivation is loose ( [formula in source] ); the operator reading is the [formula in source] eigenvalue route [formula in source] ; texture data-constrains-texture; check logic and pass/fail UNCHANGED. (4) Dual rest: introduction status card (and the research-contracts keybox, with a brief frontier mirror) now carries [formula in source] (compiler) beside [formula in source] (strict-physical-TOE accounting of the 2026-08-27/28 contract wave); nothing in the second formula is claimed closed. Exploration not promoted: the wave-3 Quillen zero-mode Gram identity is a reformulation ( [formula in source] ), not a Quillen-metric object.
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
- Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
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.