The lattice fundamental interpretation
Original ledger classification: Decision (registered route/typing; no [E] claim, no marker move; QFT4D.OS.RECON.01 unchanged as the math program)
Recorded statement: THE LATTICE-FUNDAMENTAL READING (registered 2026-08-28 as a typed DECISION, not an [E] claim and not a marker move). DECISION: TFPT's PHYSICAL completeness criterion is the finite, local, unitary lattice quantum theory -- Hamiltonian…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
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.LATTICE.FUNDAMENTAL.01
Original ledger classification: Decision (registered route/typing; no [E] claim, no marker move; QFT4D.OS.RECON.01 unchanged as the math program)
Original claim text
THE LATTICE-FUNDAMENTAL READING (registered 2026-08-28 as a typed DECISION, not an [E] claim and not a marker move). DECISION: TFPT's PHYSICAL completeness criterion is the finite, local, unitary lattice quantum theory -- Hamiltonian route: Gauss-law Hilbert space, hermitian local H, T = e^{-aH} positive by construction, Lieb-Robinson cone -- while the exact continuum Osterwalder-Schrader limit (QFT4D.OS.RECON.01) is retyped as MATHEMATICAL REINFORCEMENT, a named strengthening program, no longer the physical bottleneck. Poincare invariance is an IR fixed-point property with experimentally bounded irrelevant Lorentz-violating operators. JUSTIFICATION ANCHORS (v989): today's Euclidean T2 kill of the overlap shortcut (exact; N_t-exact confirmation: violation ABSENT at N_t=2, APPEARS at N_t=4 det-only -0.249; Wilson control PSD everywhere -- pinned on overlap time nonlocality) and the Hamiltonian route clearing T2 by construction (interior Gauss exact, seam-sector intertwiner, H = H^dag). DISPLAY: nothing closes; QFT4D.OS.RECON.01 UNCHANGED as the math program; TFPT4D.LATTICE.ACTION.01 stays [O] as the constructive 4D lattice contract. AMENDMENT (2026-08-29, review wave 4): the reviewer's precision is accepted -- 'a single finite box is not a world'. The fundamental object is the QUASILOCAL CONSISTENT FAMILY {H_Lambda} with the thermodynamic-limit dynamics tau_t = lim e^{it H_Lambda} A e^{-it H_Lambda}. Binding phrasing: CONTINUUM (a -> 0) OPTIONAL (mathematical reinforcement); THERMODYNAMIC LIMIT (|Lambda| -> infinity) AND CONTROLLED IR UNIVERSALITY MANDATORY. Decision typing UNCHANGED; no [E] claim, no marker move. WAVE-7 (2026-08-30, v1008): 2+1D master-object scaffold-coherent -- combinatorial K=0 (plaquette exponents cancel), frozen-link q^2~4, unique-contractive selector |R'|<1, QWZ wall + DET4 mirror, Z6/Z4 four-block assembly. L=3 262144 / matter 129024 out of suite. Decision typing UNCHANGED; no [E] claim, no marker move. LATE EVENING (2026-08-30, v1013): MANDATORY-DYNAMICS LEG CLOSED at Hamiltonian-class level (theorem memorandum articles/2026-08-30/tfpt_thermodynamic_dynamics_en.tex/pdf). Uniform Lieb-Robinson bound J=12/5, R=2, z=4, kappa=16043/450, v_LR=32086 e/225 ~ 387.64; norm-convergent thermodynamic-limit dynamics tau_t; gauge-invariant quasilocal algebra A^G (Gauss caveat resolved via the invariant subalgebra); existence of ground and beta-KMS states. Numeric twin: measured v=2.0 << proved bound; convergence bound dominates nested differences at buffers 8/16/32. Remaining: phase uniqueness, limit gap, IR universality. Decision typing UNCHANGED; no [E] claim, no marker move.
Original classification detail
Decision: physical completeness = finite local unitary lattice QFT (Hamiltonian route); continuum OS limit retyped as mathematical reinforcement. No [E] claim, no marker move; QFT4D.OS.RECON.01 unchanged as the math program. | 2026-08-29: quasilocal family {H_Lambda} is the fundamental object; continuum (a->0) optional; thermodynamic limit + controlled IR universality mandatory. Decision typing UNCHANGED. | WAVE-7 (2026-08-30, v1008): 2+1D scaffold-coherent (K=0 theorem, contractive-root selector, wall/mirror, Z6 assembly); no marker move. | AFTERNOON (2026-08-30 v1011): 3+1D minimal object viable; fully coupled link-wall dynamics demonstrated at minimal scale; Kronecker limitation removed. Decision typing UNCHANGED. | LATE EVENING (2026-08-30 v1013): mandatory-dynamics leg CLOSED at class level (LR + tau_t + A^G + state existence proved); remaining phase uniqueness, limit gap, IR universality. Decision typing UNCHANGED.
Dependencies as recorded
TFPT4D.LATTICE.ACTION.01; QFT4D.OS.RECON.01; CHIRAL4D.NOMIRROR.01; DYN.UNITARY.DILATION.01
Open the original ledger source, row 760Location 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.
- Frontier and open physical interfaces
- 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.
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)tfpt research contracts
- Thermodynamic Dynamics for the TFPT Finite-Range\\ Master-Hamiltonian Classarticles 2026-08-30 tfpt thermodynamic dynamics en
- 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 — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)tfpt research contracts
- =150 2026-08-30 (CXLVIII) (late-evening harvest — thermodynamic-dynamics theorem [formula in source] detline/W-bridge refinements graduate as v1013– v1014; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1012, engine still DEFERRED_NO_ENGINE). (1) v1013_ thermodynamic_ dynamics.py ( [formula in source] ): the mandatory-dynamics leg of QFT4D.LATTICE.FUNDAMENTAL.01 is CLOSED at Hamiltonian-class level. Cited articles/ 2026-08-30/ tfpt_ thermodynamic_ dynamics_ en.tex/ .pdf: uniform Lieb–Robinson bound [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] ; norm-convergent [formula in source] ; gauge-invariant quasilocal [formula in source] (Gauss caveat resolved on the invariant subalgebra); existence of ground and [formula in source] -KMS states. Numeric twin: measured [formula in source] proved bound; analytic finite-volume bound dominates nested differences at buffers [formula in source] ; [formula in source] mutant ratio [formula in source] ; Gauss-positive control commutes, violating embedding has commutator norm [formula in source] . Remaining: phase uniqueness, limit gap, IR universality. Decision typing UNCHANGED. (2) v1014_ bridge_ refinements.py ( [formula in source] ): finite detline restriction isomorphism VERIFIED ( [formula in source] constancy [formula in source] , conjugation covariance exact, [formula in source] / mirror [formula in source] ); orientation fixes only the conjugate branch ( [formula in source] ); the residual constant [formula in source] is the [formula in source] reference normalization — recorded on ALPHA.QUILLEN.EXACT.01. W-bridge: P-anch DERIVED ( [formula in source] via the winding lock); P-dem PARTIAL (the [formula in source] average annihilates the nontrivial character space); missing object [formula in source] the character-blind determinant-response map — the same MMST/Quillen externalized leg as TEL-B/ALG-EXH/P1. AX.P2.01 stays an axiom. Convergence: every remaining axiom-core and continuum gap now runs through ONE externalized theorem. Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier [formula in source] introduction late-evening note; website papers.ts / VerificationDag.Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-30 (CXLV) (review wave 7 — four exploration strands graduate as v1006– v1009: the MMST lemma battery, the DET16 stability battery, the [formula in source] D master-object assembly scaffold, and the [formula in source] constrained minimizer; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1005). (1) v1006_ mmst_ lemma_ battery.py ( [formula in source] ): five lemmas in-house on SEAM.MMST.TYPEIII.CHARGED.01 \ — L3 crossed-product; UGF [formula in source] (measured plateau [formula in source] , max measured [formula in source] [formula in source] at [formula in source] ); TEL-a [formula in source] with exact isometries ( [formula in source] , measured envelope [formula in source] ); integer D5+A3 pairings; [formula in source] outerness in the limit [formula in source] finite-inner correction. Residual boxed: TEL-B-EXTERNAL (Hankel [formula in source] ; HS remainder sourced from the paper max [formula in source] / fit [formula in source] / v998 bound [formula in source] , not recomputed) [formula in source] ALG-EXH (two Buchholz–Verch estimates). Display stays . Cited articles/2026-08-30/mmst_charged_scaling_limit_en.tex ( [formula in source] pp) [formula in source] externalization_mmst_handoff_v2_en.html. (2) v1007_ det16_ stability_ battery.py ( [formula in source] ): T1/T2 proved (v1002); T3 Michalakis–Zwolak cited-verified (LTQO, [formula in source] , gap [formula in source] ). Counting line [formula in source] ; [formula in source] closing scan through [formula in source] ; dynamical [formula in source] uniquely gapped (full-probe min [formula in source] pinned; compressed suite). SW [formula in source] ; [formula in source] bounded. [formula in source] boxed (ordinary hopping not block-diagonal); BDL boxed (no volume-uniform gap remainder). CHIRAL4D.MIRROR.DET16.01 stays ; CHIRAL4D.NOMIRROR.01 unmoved. Cited articles/2026-08-30/det16_mirror_gap_theorem_en.tex. (3) v1008_ master_ assembly_ scaffold.py ( [formula in source] ): [formula in source] D master-object scaffold-coherent — combinatorial [formula in source] ; frozen-link [formula in source] , [formula in source] ; unique-contractive [formula in source] ; QWZ wall slope [formula in source] , DET gap [formula in source] through [formula in source] ; assembly [formula in source] [formula in source] , clock [formula in source] . [formula in source] spaces [formula in source] / [formula in source] out of suite. Decision QFT4D.LATTICE.FUNDAMENTAL.01 and GAUGE.DETLINE.FIXPOINT.01 \ unmoved. (4) v1009_ rho0_ minimizer.py ( [formula in source] ): finite uniqueness of the KMS compression (Klein); Hessian strictly positive; centre dim [formula in source] ; identity [formula in source] . TYPED: V1000_CONSEQUENCE_MISMATCH (compression kills the SK response vs frozen contrast [formula in source] ) [formula in source] CENTER_FLATNESS_PREMISE_FALSE. Canonical formula needs a weaker admissible set. FTRANSFER.SK.RHO0.01 stays . Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier wave-7 paragraph; introduction status card; website papers.ts / VerificationDag.Research changelog; TFPT — Introduction and reading guide
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)Research contracts
All 17 linked sections
- =150 2026-08-30 (CXLVI) (afternoon harvest — simplicity campaign [formula in source] [formula in source] D ladder graduate as v1010– v1011; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1009). (1) v1010_ simplicity_ bridge_ census.py ( [formula in source] ): derivation matrix over four frozen seeds, unique remainder min [formula in source] ; anchor [formula in source] is not among the three declared Milnor maps; [formula in source] four novel candidates NULL. Bridge [formula in source] CANONICAL — the bit-selector ladder forces [formula in source] and family [formula in source] forces [formula in source] column sums [formula in source] ; [formula in source] 's carrier-looking [formula in source] is inherited from [formula in source] column [formula in source] , not inserted (the v1005 circularity flag is corrected as forced provenance). Bridge [formula in source] CHOICE-but-conditionally-unique: spectrum [formula in source] alone has [formula in source] solutions; democratic-image [formula in source] carrier-anchor kernel leave exactly the corpus shift (count [formula in source] ); remaining obligation [formula in source] seam-geometric derivation of those two directional premises. Milnor strong all-structure bridge NONEXISTENT at [formula in source] (clock [formula in source] vs [formula in source] , CP rank [formula in source] vs [formula in source] ) and at every upstairs home ( [formula in source] , Gaussian [formula in source] , affine); only the coarse [formula in source] -module [formula in source] pairing bridge exists (witness constructed; [formula in source] , [formula in source] ). Ring-internal identities of v1004 (rank clock, socle CP, self-clock) unaffected. SEAM.MILNOR.LOCALRING.01 stays \ (canonical status SHARPENED); AX.P2.01 stays an axiom (pencil rehabilitated, W premises remain). (2) v1011_ 3p1d_ ladder_ battery.py ( [formula in source] ): B6–B9 compressed — minimal [formula in source] D viable (exact Gauss [formula in source] , confinement [formula in source] vs [formula in source] , exact in-face isotropy, [formula in source] ); exact tree-fixing [formula in source] with tree-independence [formula in source] ; DET survives coupling; back-reaction; periodicity restores holonomy [formula in source] ; charged channels [formula in source] at weak [formula in source] ; charge- [formula in source] control matches B8 to [formula in source] ; [formula in source] collapses above [formula in source] . BINDING: the matching point of the coupling functional must sit in the deconfined/weak regime. QFT4D.LATTICE.FUNDAMENTAL.01 Decision typing UNCHANGED (Kronecker limitation removed); GAUGE.DETLINE.FIXPOINT.01 stays \ with the matching-scale constraint recorded. Surfaces: tfpt_research_contracts executed-update paragraphs (MILNOR sharpening, P2 rehabilitation, QFT4D ladder, DETLINE matching-scale); tfpt_4_frontier [formula in source] introduction afternoon note; website papers.ts / VerificationDag.
- =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).
- Front matter / support
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Thermodynamic Dynamics for the TFPT Finite-Range\\ Master-Hamiltonian Class
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)
- Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)
- Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)
- Full quantum gravity — induced from the boundary kernel
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.
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)tfpt research contracts
- Research Contract — GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings from one zeta-det functional)tfpt research contracts
- Source contract and nomenclature.tfpt research contracts; tfpt research contracts; Research contracts
- Round 7: the actual DET parent, its exact factorized gap, and the local-defect obstructiontfpt research contracts; tfpt research contracts; Research contracts
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)Research contracts
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- =150 2026-08-30 (CXLVII) (evening TOE-gate wave — four executed witnesses graduate as v1012; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1011). v1012_ toe_ gate_ witnesses.py ( [formula in source] ): T5 IR universality on the physical QWZ edge — [formula in source] (limit [formula in source] ), clustering dichotomy [formula in source] vs power-law exponent [formula in source] , Lieb–Robinson cone [formula in source] with leakage [formula in source] , cubic curvature [formula in source] with volume; TYPED SPLIT: gauge holonomy [formula in source] seam clock are not propagating modes, so the common- [formula in source] test needs dynamical gauge excitations. T8 [formula in source] eight-candidate table ALL unique; hard sectors kill the SK response ( [formula in source] ); every response-alive set is exactly [formula in source] even without [formula in source] — entropic-proximity selection is VACUOUS at finite level; verdict NO_SET_WORKS with the double diagnosis; binding requirement [formula in source] a non-entropic principle (Euclidean-cap / orientation-branch). T6 [formula in source] six-fold NULL: six pre-declared D4-odd candidates, all parity-checked, all NULL (five at [formula in source] ; [formula in source] is [formula in source] too large); the [formula in source] cancellation requires the true [formula in source] D functional — third and final scaffold-level nu-mechanism bound this week. T7 interacting TT: conserved interaction-complete lattice stress [formula in source] , TT spectral positivity exact, sum rules [formula in source] , dominant positive- [formula in source] pole persists under [formula in source] (gapped); [formula in source] trend [formula in source] suppressed [formula in source] / [formula in source] enhanced [formula in source] ; free analytic match. Missing: TFPT content, [formula in source] volume scaling, Ward identities. Ledger notes only on TFPT.TOE.COMPLETE.01, FTRANSFER.SK.RHO0.01, FLAV.NU.TEXTURE.MECHANISM.01, GRAV.SPIN2.EMERGENCE.01 (all stay ). Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier [formula in source] introduction evening-wave note; website papers.ts / VerificationDag.Research changelog; TFPT — Introduction and reading guide
- Proof.tfpt research contracts; tfpt research contracts; Research contracts
All 14 linked sections
- Reproducibility and claim boundary.
- Exact theorem for the parent that v1008 actually computes.
- Research Contract — GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings from one zeta-det functional)
- Research Contract — GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings from one zeta-det functional)
- Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)
- 2026-10-18: Project separation and retained physics history
Registered verification modules
- v989_lattice_gate_battery.pyRegistered verification module · frontier
- v1008_master_assembly_scaffold.pyRegistered verification module · frontier
Read the description recorded in the module registry
QFT4D.LATTICE.FUNDAMENTAL.01 Decision / GAUGE.DETLINE.FIXPOINT.01 [O] (Review-Welle 7, 2026-08-30; 2+1D-Scaffold kohaerent): Prototyp K=0 Plaquette-Exponenten; Materie frozen-link q^2~4, K(q=0)=0, kontraktiver Selektor |R'|<1; Wand/Spiegel QWZ-Steigung ~-0.9989, DET-Gap >=1.5 bis t=0.6; Assembly Z6 (1,2,3,0), Uhr [0,1,1,2], chi_phys vs chi_mirror. Keine Marker-Bewegung. Python-only / Wolfram-Spiegel zurueckgestellt.
- v1011_3p1d_ladder_battery.pyRegistered verification module · frontier
Read the description recorded in the module registry
3+1D-Leiter B6-B9 (Nachmittag 2026-08-30): minimales 3+1D viable (Gauss 32768, Confinement, exakte Isotropie, g*~1.915); exaktes Tree-Fixing 524288 -> 4096, Tree-Unabhaengigkeit, DET unter Kopplung, Back-Reaction; Periodizitaet stellt K wieder her; geladene Kanaele ~2.014x bei schwachem g; K kollabiert in der confined Phase. BINDEND: Matching-Skala des Kopplungsfunktionals muss im deconfined/weak Regime sitzen. QFT4D.LATTICE.FUNDAMENTAL.01 bleibt Decision; GAUGE.DETLINE.FIXPOINT.01 bleibt [O]. Python-only / Wolfram zurueckgestellt.
- v1013_thermodynamic_dynamics.pyRegistered verification module · frontier
Read the description recorded in the module registry
Thermodynamische Dynamik (Spaetabend 2026-08-30): Pflicht-Dynamik-Bein auf Hamiltonian-Klasse GESCHLOSSEN (Theorem-Memo). Uniforme LR-Schranke J=12/5, R=2, z=4, kappa=16043/450, v_LR=32086 e/225 ~387.64; normkonvergente tau_t; eichinvariante quasilokale Algebra A^G; Existenz von Grund/beta-KMS-Zustaenden. Numerischer Zwilling: gemessenes v=2.0 << bewiesene Schranke; Konvergenzschranke dominiert Puffer 8/16/32. Rest: Phaseneindeutigkeit, Limes-Luecke, IR-Universalitaet. QFT4D.LATTICE.FUNDAMENTAL.01 bleibt Decision. Python-only / Wolfram zurueckgestellt.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.