A registered result in its source context
Original ledger classification: Open (research contract; binding phrasing rule in force for the perturbative leg)
Recorded statement: THE 4D OSTERWALDER-SCHRADER PACKAGE CONTRACT [O] (registered 2026-08-27; step (3) of the DIMENSION.UPLIFT.FIREWALL.01 route ordering). INPUT: TFPT fixes the discrete data (representation content, charge lattice, coupling relations,…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
QFT4D.OS.RECON.01
Original ledger classification: Open (research contract; binding phrasing rule in force for the perturbative leg)
Original claim text
THE 4D OSTERWALDER-SCHRADER PACKAGE CONTRACT [O] (registered 2026-08-27; step (3) of the DIMENSION.UPLIFT.FIREWALL.01 route ordering). INPUT: TFPT fixes the discrete data (representation content, charge lattice, coupling relations, boundary conditions -- the seam as internal/topological boundary module); the genuine 4D Euclidean lattice carries spacetime, gauge fields, Higgs, fermions. DEMAND: (O1) reflection positivity of the lattice measure; (O2) Euclidean covariance restoration (hypercubic -> full Euclidean group); (O3) clustering; (O4) uniform bounds (uniform in lattice spacing and volume); (O5) continuum limit; (O6) OS reconstruction of the Wightman/Haag-Kastler theory. BINDING PHRASING RULE (the perturbative firewall): QFT4D.EG.ALLORDER.01 (v381) is a LOCAL PERTURBATIVE CONSTRUCTION UNDER THE STATED EG/BRST HYPOTHESES and no more -- the weak adiabatic limit for massless particles is the cited Duch theorem (arXiv:1801.10147) whose hypotheses must be verified for the concrete TFPT model; a seam-transfer gap does not substitute for the IR structure of massless photons/gluons; even full EG/BRST success yields NONE of: confinement/hadron spectrum, Yang-Mills mass gap, asymptotic charged states in QED, nonperturbative Higgs vacuum, controlled full S-matrix.
Original classification detail
Open: the nonperturbative 4D OS package (RP, Euclidean covariance, clustering, uniform bounds, continuum limit, reconstruction); the all-orders EG/BRST leg is fenced as local-perturbative-under-hypotheses
Dependencies as recorded
DIMENSION.UPLIFT.FIREWALL.01; QFT4D.EG.ALLORDER.01 (fenced perturbative leg)
Open the original ledger source, row 745Location 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 Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)tfpt research contracts
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)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 Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)tfpt research contracts
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
All 29 linked sections
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)
- Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)
- (4) Constructive QFT closure of the admissible physical sector /
- 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)
- Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)
- Firewall Contract — DIMENSION.UPLIFT.FIREWALL.01 (no [formula in source] D theorem closes a [formula in source] D claim)
- (4) Constructive QFT closure of the admissible physical sector /
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- Full quantum gravity — induced from the boundary kernel
- 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.