The unitary extension of the specified dynamics
Original ledger classification: Open [O] + finite ladder complete [E]/[N] (discrete/kernel/field-free/interacting-classical/quantum-coupled/continuous-time; open = thermodynamic field limit only)
Recorded statement: THE UNITARY DILATION CONTRACT [O] (registered 2026-08-27; 'three meanings of dynamics' split, step (b)->(c)). The continuous semigroup e^{tQ} (DYN.MARKOV.EMBED.01) is irreversible statistical dynamics; fundamental quantum dynamics needs T…
Statement, assumptions and sources
Paper context: Origin Theory
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.UNITARY.DILATION.01
Original ledger classification: Open [O] + finite ladder complete [E]/[N] (discrete/kernel/field-free/interacting-classical/quantum-coupled/continuous-time; open = thermodynamic field limit only)
Original claim text
THE UNITARY DILATION CONTRACT [O] (registered 2026-08-27; 'three meanings of dynamics' split, step (b)->(c)). The continuous semigroup e^{tQ} (DYN.MARKOV.EMBED.01) is irreversible statistical dynamics; fundamental quantum dynamics needs T = e^{-aH} -> (OS) -> U(t) = e^{-itH} with H positive self-adjoint. DEMAND: (D1) a Stinespring/Hamiltonian dilation of the semigroup with (quasi-)local generator; (D2) size consistency (compatible with the thermodynamic limit -- no pathologically growing environment); (D3) a Lieb-Robinson bound (finite propagation speed of the dilated dynamics); (D4) the OS analytic continuation to a unitary one-parameter group on the reconstructed Hilbert space. KILL TESTS: every dilation of the seam semigroup is provably nonlocal; the Lieb-Robinson velocity diverges in the scaling limit; the OS continuation fails on the interacting algebra. RELATION: demand D2 of CCC.SEAM.CROSSOVER.01 (Stinespring isometry at field level) presupposes this contract -- named here as its prerequisite. NOTHING here is closed by the finite v971 result. [2026-08-27 lift-structure note (v976/v977, marker UNCHANGED): the dilation the corpus actually deploys (K_ij = sqrt(T_ij)|i><j|, the CCC Stinespring reading of the v221 kernel) is PROVABLY entanglement breaking (measure-and-prepare; quantum capacity 0; C_0 = 0) -- it cannot carry the coherent transport this contract demands, so any closing dilation must be a genuinely different object. The classical kernel admits the full lift trichotomy {EB dilation | random-permutation fibre with the hidden circulation parameter t (v976) | reversible unistochastic macro-gate with the hidden orientation bit sgn J = +-1/27 (v977)} -- the same classical data, three inequivalent quantum dynamics; and no fixed microstep unitary generates the relaxing sequence (Dirichlet recurrence witness), so repeated steps REQUIRE environment/dephasing between steps -- exactly the D1-D4 demand.] EXECUTED UPDATE (2026-08-28, v987): the OS/dilation LADDER is executed at kernel + free-field + interacting-kernel + quantum-coupled band level -- B = P1+(2/3)P2+(1/3)P3 > 0, H = -log B PSD (gap log(3/2)), T(t) semigroup inside the stochastic cone, U(t) = e^{-itH} with Wick anchor U(-in) = B^n (n=1..6); size-uniform free-band gap; congruence interacting family SPD; quantum SWAP coupling d(theta)~theta^2, CPTP, LR radius 1. MUST-FAIL: v971 negative kernel has no real half-step; one-sided mutant K B^(x L) is not symmetric. FIREWALL: continuous field-level OS reconstruction, thermodynamic-limit branch selection and any 3+1D reading stay [O]. Python-only / Wolfram mirror deferred. EXECUTED UPDATE (2026-08-29, review wave 4, v999): the finite ladder is now COMPLETE -- discrete / kernel / field-free / interacting-classical / quantum-coupled / CONTINUOUS-TIME. Weak-collision Hudson-Parthasarathy: generator extraction Richardson 1.098e-10, diag(L_GKSL)==Q=log B symbolic, e^Q=B exact, GNS splitting defect 0, locality 1.355e-20, strong-collision singularity contrast rank 9/81. Open = thermodynamic field limit only. Display stays [O]; no marker move.
Original classification detail
[E] (2026-08-28, v984): discrete collision/QCA-band dilation. [E] (2026-08-28, v987): kernel OS continuation exact + size-uniform free band + interacting congruence family + quantum SWAP coupling (d(theta)~theta^1.99, CPTP, LR radius 1). [O] continuous field-level OS reconstruction, thermodynamic-limit branch selection, any 3+1D reading; no marker move. | 2026-08-29 v999: finite ladder COMPLETE (incl. continuous-time weak-collision HP); open = thermodynamic field limit only. Display stays [O].
Dependencies as recorded
DYN.MARKOV.EMBED.01; CCC.SEAM.CROSSOVER.01 (D2); QFT4D.OS.RECON.01
Open the original ledger source, row 742Location 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 — 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
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
All 24 linked sections
- Certifiability and recommended order
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')
- =150 2026-08-28 (CXXXVIII) (the master-object wave, part 2 — the second external bird's-eye review (``one 4D lattice [formula in source] one seam simple current [formula in source] one unitary dilation [formula in source] one determinant line [formula in source] one [formula in source] '') adjudicated: its four machine-checkable candidate results verified and integrated as FOUR new modules (suite [formula in source] , ledger [formula in source] : one new row FLAV.NUSCALE.05; three contract rows updated, NO status-marker moves). (1) v983_ simple_ current_ generator.py: the SEAM.SIMPLECURRENT.GENERATOR.01 generator is identified — the glue vector [formula in source] with [formula in source] , [formula in source] , order 4 in the discriminant group [formula in source] of [formula in source] ; isotropic glue [formula in source] even unimodular rank-8 overlattice ( [formula in source] ); coset root census [formula in source] — the odd fusion powers of the ONE class carry the full [formula in source] spinor sector; kill tests (vector-class / mismatched glue) fire; holomorphy shadow [formula in source] vs [formula in source] at the lattice level; the analytic half (G1–G4) stays . (2) v984_ markov_ qca_ dilation.py: the DISCRETE leg of DYN.UNITARY.DILATION.01 realized constructively — the collision step [formula in source] is exactly unitary, the Stinespring identity [formula in source] holds symbolically, [formula in source] and six fresh ancillas give [formula in source] exactly (radius-1 collision band); must-fail fires ( [formula in source] ); typed remark AGAINST the review text: a reused mod-3 adder ancilla still reproduces the populations exactly; the continuous Hamiltonian/OS legs stay . (3) v985_ quillen_ channel_ swap.py: the v974 CHANNEL-SWAP face of ALPHA.QUILLEN.EXACT.01 resolved at the finite level by [formula in source] -character grading — the deck swap [formula in source] maps the jump spectrum [formula in source] onto the mark pattern [formula in source] exactly (odd swap fails), the graded [formula in source] difference is [formula in source] -free [formula in source] , the channelwise unit ratio is uniform [formula in source] ; continuum Bismut–Freed, KMS rigidity and the [formula in source] compensation stay . (4) v986_ nu_ scalaron_ rung.py: the SCALARON-TRACE RUNG [formula in source] GeV — a structured point INSIDE the v481 window, [formula in source] from the 1-loop requirement (the review claimed [formula in source] 1\%; the honest value is 1.8), [formula in source] sharper than the declined integer rung; exact ladder position [formula in source] , [formula in source] from the closed [formula in source] Clebsch door — adjacency TYPED, not consumed (v488 killed the Clebsch mechanism; the generation-blind scalaron trace is a different class, itself ); kill test [formula in source] eV; new row FLAV.NUSCALE.05 [C]/[N], no seesaw closure. The remaining review content is typed, not consumed: the axion line ( [formula in source] , [formula in source] ) and the Riemann–Roch carrier ARE the existing v185/v211/v189; the 4D action, chiral measure, OS package, bulk dictionary, determinant-line unification, [formula in source] , transduction matrix and joint likelihood stay open contracts exactly as registered on 2026-08-27. Paper surfaces: tfpt_research_contracts (three executed-update paragraphs), tfpt_2_standard_model (scalaron-trace rung paragraph).)
- =150 2026-08-29 (CXLII) (review wave 4 — four exploration probes graduate as v998– v1001 plus the lattice-fundamental quasilocal-family amendment, the [formula in source] closed-metrology retype, the ALPHA.QUILLEN relative-determinant note, and the master contract TFPT.TOE.COMPLETE.01; suite [formula in source] , ledger [formula in source] : two new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v997). (1) v998_ seam_ modular_ closure.py ( [formula in source] ): two-edge HS remainder bounded by [formula in source] on the frozen plateau [formula in source] ; lattice character [formula in source] EXACT four orders [formula in source] ; [formula in source] as Eisenstein series, [formula in source] -expansion match to [formula in source] orders exact (Jacobi identity; the reviewer's C7 sharpening); [formula in source] numeric transform at [formula in source] digits with [formula in source] -weight bookkeeping. Ledger notes on SEAM.EQUIV.MMST.01 and SEAM.SIMPLECURRENT.GENERATOR.01: C7 arithmetic shadow now exact; net-level C7 stays cited/open. (2) v999_ weak_ collision_ hp.py ( [formula in source] ): the continuous-time dilation leg — generator extraction Richardson [formula in source] ; [formula in source] symbolic; [formula in source] exact; GNS splitting defect [formula in source] ; locality [formula in source] ; strong-collision singularity contrast rank [formula in source] . DYN.UNITARY.DILATION.01: the finite ladder is now COMPLETE (discrete/kernel/field-free/interacting-classical/quantum-coupled/continuous-time); open [formula in source] the thermodynamic field limit only; contract stays . (3) v1000_ spin2_ sk_ witnesses.py ( [formula in source] ): lattice graviton — positivity exact, [formula in source] TT helicities at all [formula in source] momenta ( [formula in source] ), [formula in source] exact; SK — KMS/FDT [formula in source] , [formula in source] -dependence contrast [formula in source] vs static [formula in source] , saddle [formula in source] -fold degenerate with [formula in source] unique in the [formula in source] lift . GRAV.SPIN2.EMERGENCE.01 quadratic Hamiltonian half executed; FTRANSFER.SK.RHO0.01 mechanism executed; both contracts stay . (4) v1001_ nu_ pentagon_ chain.py ( [formula in source] ): [formula in source] inventory theorem; misalignment [formula in source] ; pentagon double hit [formula in source] frozen, all three measured angles [formula in source] (honest max pull [formula in source] ) at [formula in source] , unique LEE survivor [formula in source] ; v3 chain SHA-16 a4c28732fa687620 with [formula in source] eV, [formula in source] meV, [formula in source] meV, [formula in source] ; v270– [formula in source] tension [formula in source] TYPED; census null [formula in source] . NEW ledger row FLAV.NUSCALE.06 Candidate \ (pentagon-class misalignment; mechanism [formula in source] the [formula in source] -to-flavor operator ; kills DESI/DUNE [formula in source] vs [formula in source] /JUNO). NO seesaw closure; FLAV.NUSCALE.05 unmoved. (5) Amendments (typed; no marker moves). QFT4D.LATTICE.FUNDAMENTAL.01: a single finite box is not a world — the fundamental object is the quasilocal consistent family [formula in source] with [formula in source] ; continuum ( [formula in source] ) optional, thermodynamic limit and controlled IR universality mandatory (dated 2026-08-29). ANCHOR.VGEO.01/ .02: display retyped from open-physics/primitive phrasing to CLOSED METROLOGY STRUCTURE ( [formula in source] unit torsor; one dimensionful calibration necessary by dimensional analysis — No-Unit v153/ v725); display stays , no physical . ALPHA.QUILLEN.EXACT.01: the correct object is the relative determinant [formula in source] ; BFK [formula in source] is [formula in source] -independent at fixed cut number so [formula in source] — no physical compensation (consistent with COMPENSATION_INTERNAL). NEW master contract TFPT.TOE.COMPLETE.01 : eight gates T1–T8 with the binding separation [formula in source] vs [formula in source] AND independent holdouts; every existing [formula in source] D/dilation/detline/SK/flavor/gravity contract is a child of one gate. Surfaces: tfpt_research_contracts (executed-update paragraphs at MMST/SIMPLECURRENT, DILATION, GRAV.SPIN2, SK.RHO0; new sections TOE.COMPLETE and NUSCALE.06; lattice-fundamental amendment; ALPHA relative-det note); tfpt_4_frontier [formula in source] introduction status card / [formula in source] row; tfpt_2 (NUSCALE.06 candidate paragraph).
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')
- Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')
- The unique attractor: a gapped transport selects ONE fixed point
- 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)
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)
- =150 2026-08-27 (CXXXVI) (the transport-lift wave — the two external-review rounds on the quantum structure of the seam transport graduate from the experiments tree into the load-bearing suite as v976_seam_lift_birkhoff.py and v977_transfer_unistochastic_wilson.py (suite [formula in source] , ledger [formula in source] : new rows TRANSFER.HIDDEN.CIRCULATION.01 and TRANSFER.COHERENT.WILSON.01, both ``executed half [E] / selection open [O]''; the exploration probes transfer_ birkhoff_ circulation_ probe.py 42/42 and transfer_ coherent_ wilson_ probe.py 28/28 stay in experiments/tfpt-discovery/ as the discovery record). (1) v976 — the Birkhoff fibre and the entanglement-breaking no-go. The Birkhoff (random-permutation) fibre of the seam single step [formula in source] (exact sixth root of the v221 kernel, [formula in source] bit-exact) is exactly a one-parameter line [formula in source] ; the hidden coordinate is the sign-character Fourier coefficient [formula in source] , populations are exactly [formula in source] -free, and no fibre member is chiral ( [formula in source] forced). The one-step coherence spectrum is [formula in source] and the triangle loop current is an exact eigen-observable [formula in source] — one step plus one current readout measures [formula in source] without an ancilla. On the contrast qubit the Choi partial transpose has spectrum [formula in source] : the deployed sixth-root spectrum sits exactly on the entanglement-breaking boundary because [formula in source] (mutated spectra miss by [formula in source] ); at the full three-level the family stays NPT at every tested iteration with [formula in source] , [formula in source] -independent. The no-go that sharpens DYN.UNITARY.DILATION.01: the deployed Kraus dilation [formula in source] is measure-and-prepare, hence entanglement breaking with quantum capacity [formula in source] and [formula in source] exactly — any dilation closing that contract must be a genuinely different object. Shannon KKT certificates: [formula in source] is exactly capacity-achieving for both [formula in source] and [formula in source] ( [formula in source] bit, [formula in source] bit, ratio [formula in source] ) — the surviving classical message is binary on every scale. The defect–Birkhoff value coincidence (weights [formula in source] vs the v652 ladder [formula in source] ) is recorded typed [C] with its honest multiplicity audit; the forcing functor is the named open contract TRANSFER.DEFECT.BIRKHOFF.01. (2) v977 — the unistochastic [formula in source] lift and the 5-12-13 Wilson code. [formula in source] is unistochastic: an exact [formula in source] with [formula in source] entrywise, angles forced by [formula in source] ( [formula in source] , [formula in source] , [formula in source] ), [formula in source] unique, lift set [formula in source] up to rephasing; Jarlskog [formula in source] exactly, and the real part of every Wilson plaquette is fixed by [formula in source] through unitarity — the full rephasing-invariant Wilson data is classical up to the [formula in source] orientation bit [formula in source] . The main plaquette is [formula in source] , normalized [formula in source] with [formula in source] (atoms: [formula in source] , [formula in source] , [formula in source] ); all nine plaquettes close on four Gaussian phase types with norms exclusively [formula in source] . The center bridge: [formula in source] for the v530 atom matrix, [formula in source] , and the v530 sibling quotients fail the identity — the bridge selects the atom quotient. Rationality selection: [formula in source] is rational only at [formula in source] (the deployed step hits [formula in source] exactly, so [formula in source] ); census over 238 valid family points: exactly one full-code point [formula in source] the deployed [formula in source] ( [formula in source] the preregistered [formula in source] kill). No fixed microstep: [formula in source] and a Dirichlet recurrence witness ( [formula in source] ) shows no single closed unitary generates the relaxing sequence — repeated steps require dephasing between steps, the six-step macro-gate [formula in source] (the coherent sharpening of clock-vs-walk). The PMNS near-miss stays a negative control ( [formula in source] vs [formula in source] ; [formula in source] ; no PMNS derivation). Surfaces. Research-contracts document: the DYN.UNITARY.DILATION.01 section gains the executed lift-structure sharpening, the CCC reduced-channel prose and the two former ``exploration-only'' citations of rounds DCXCVI/DCXCVII are upgraded to veri citations; origin_theory gains the honest ``what the classical transport does not determine'' paragraph next to the v221 recoverability code; tfpt_2 gains the [formula in source] bridge corollary in the v530 center-quotient block. No status marker moves; both contracts stay open; no PMNS/CP/flavor claim.)
- Certifiability and recommended order
- The unique attractor: a gapped transport selects ONE fixed point
- Certifiability and recommended order
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
- Full quantum gravity — induced from the boundary kernelFrontier and open physical interfaces
Registered verification modules
- v984_markov_qca_dilation.pyRegistered verification module · frontier
Read the description recorded in the module registry
DYN.UNITARY.DILATION.01 [O-Update: das DISKRETE Bein konstruktiv realisiert] (Externe Master-Objekt-Review Welle 2, 2026-08-28): **das exakte Kollisionsmodell — B^n als reduzierte Dynamik eines exakt unitaeren, strikt lokalen QCA-Bandes** — der Kollisionsschritt V = C (U_B (x) I) mit dem mod-3-Rekord C|j,k> = |j, j+k> ist unitaer auf System + Ancilla; die STINESPRING-IDENTITAET Phi(rho) = Tr_A[V (rho x |0><0|) V^dag] = sum_j P_j U_B rho U_B^dag P_j gilt als symbolische Operatoridentitaet (Kraus-Vollstaendigkeit sum K_j^dag K_j = I); diag Phi(diag p) = B p exakt mit verschwindenden Nebendiagonalen; SECHS frische Ancillas geben diag Phi^6 = B^6 p = T p exakt — das v977-Makro-Gate als reduzierte Dynamik eines Radius-1-Kollisionsbandes. MUST-FAIL FEUERT: der geschlossene Unitaer hat |U_B^2|^2 != B^2 (31/54 vs 0.2450) — die Dilatation ist notwendig. TYPISIERTE BEMERKUNG (Probenbefund GEGEN den Review-Text): eine WIEDERVERWENDETE mod-3-Addierer-Ancilla gibt diag = B^2 p weiterhin exakt (der Rekord j1+i bleibt unterscheidbar) — frische Ancillas braucht man fuer die Kohaerenzen, nicht fuer die Populationen. Der konjugierte Zweig V* dilatiert dasselbe B (sgn J = +-1/27 bleibt klassisch unsichtbar; Auswahl bleibt [O]). FIREWALL: nur das diskrete endliche Bein; quasi-lokale Hamilton-Dilatation, OS-Fortsetzung zu e^{-itH} und jede 3+1D-Lesart bleiben [O]; keine Marker-Bewegung.
- v987_os_dilation_package.pyRegistered verification module · frontier
- v999_weak_collision_hp.pyRegistered verification module · frontier
Read the description recorded in the module registry
DYN.UNITARY.DILATION.01 [O-Update: endliche Leiter jetzt VOLLSTAENDIG -- diskret/Kernel/feld-frei/wechselwirkend-klassisch/quantum-gekoppelt/KONTINUIERLICHE ZEIT; offen = thermodynamisches Feldlimit] (Review-Welle 4, 2026-08-29): Schwache-Kollision/HP -- Richardson 1.098e-10, diag L=Q symbolisch, e^Q=B exakt, GNS-Splitting-Defekt 0, Lokalitaet 1.355e-20, starke Kollision Rang 9/81. Vertrag bleibt [O]. Python-only / Wolfram-Spiegel zurueckgestellt.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.