Embedding the specified finite dynamics in continuous time
Original ledger classification: Contract [E] (finite kernel embedding, sympy-exact; v971) + [O] (field level)
Recorded statement: THE MARKOV EMBEDDING CONTRACT (registered 2026-08-27; 'three meanings of dynamics' split, step (a)->(b)). FINITE KERNEL HALF [E] (v971, sympy-exact): for the v221 seam transfer kernel T (spectrum exactly {1, 64/729, 1/729}) the principal…
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
DYN.MARKOV.EMBED.01
Original ledger classification: Contract [E] (finite kernel embedding, sympy-exact; v971) + [O] (field level)
Original claim text
THE MARKOV EMBEDDING CONTRACT (registered 2026-08-27; 'three meanings of dynamics' split, step (a)->(b)). FINITE KERNEL HALF [E] (v971, sympy-exact): for the v221 seam transfer kernel T (spectrum exactly {1, 64/729, 1/729}) the principal logarithm Q = log T is an EXACT classical Markov generator -- e^Q = T by exact spectral calculus; row sums symbolically zero; off-diagonals exactly {ln(9/8), 2 ln 3, 2 ln 3} = {0.117783, 2.197225, 2.197225} > 0 (the reviewer's independently verified numbers), diagonals -ln(81/8), -ln(81/8), -4 ln 3; uniformization certificate Q + (4 ln 3) I >= 0 entrywise (diagonals ln 8, ln 8, 0, exact) => e^{tQ} positivity-preserving doubly stochastic for ALL t >= 0, T embeddable, every root T^{1/n} stochastic; spec(Q) = -spec(H_mod) = {0, -6 ln(3/2), -6 ln 3} (gap = Delta = 6 ln(3/2)); detailed balance w.r.t. the uniform state. NEGATIVE CONTROL: second eigenvalue -1/10 gives det = -1/200 < 0 -- provably NOT embeddable (det e^Q = e^{tr Q} > 0 always); embeddability is not generic, the RP/OS spectral positivity (CONTRACT.F.01 axiom 3) is the enabling fact. WHAT STAYS [O]: the same embedding statement at FIELD level (reconstructed net / quasi-local algebra, uniform in system size). FIREWALL: e^{tQ} is irreversible statistical dynamics (H-theorem), NOT unitary evolution -- step (b)->(c) is the separate contract DYN.UNITARY.DILATION.01; the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). Python-only per GATE.WOLFRAM.02 (matrix-log/spectral identities; the exact rationals 64/729, 1/729 already mirrored).
Original classification detail
[E] the finite kernel half: Q = log T is an exact Markov generator (row sums 0, off-diagonals ln(9/8), 2ln3, 2ln3 > 0, uniformization positivity for all t >= 0); [O] the field-level embedding
Dependencies as recorded
v221 (kernel); v957 (T = e^{-H_mod}); CONTRACT.F.01 (axiom 3 positivity); v723/v724/v777 (external clocks)
Open the original ledger source, row 741Location 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
- 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
- Certifiability and recommended ordertfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')tfpt research contracts
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')Research contracts
All 14 linked sections
- Front matter / support
- 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)
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)
- Certifiability and recommended order
- Certifiability and recommended order
Registered verification modules
- v971_markov_embedding_generator.pyRegistered verification module · frontier
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.