TFPT scientific source excerpt
Original repository path: verification/v1013_thermodynamic_dynamics.py
Original file SHA-256: 7e452d27001848478ff5b08acd0c13831d9e9591d15e2a7bea3b2fd31c6c14fe
Inclusive original lines: 1-37
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | #!/usr/bin/env python3
000002 | """v1013 -- thermodynamic-dynamics theorem + Lieb-Robinson numeric twin
000003 | (late-evening harvest, 2026-08-30).  No marker move.
000004 | 
000005 | Provenance: articles/2026-08-30/tfpt_thermodynamic_dynamics_en.tex (FULLY
000006 | PROVED at Hamiltonian-class level) + experiments/tfpt-discovery/
000007 | lieb_robinson_witness_probe.py (8/8).  The probe is the numeric twin;
000008 | the theorem document carries the proof.  experiments/ is not a
000009 | verification-module import in the sense of a claim source.
000010 | 
000011 | THE POINT.  The MANDATORY-DYNAMICS LEG of QFT4D.LATTICE.FUNDAMENTAL.01
000012 | is CLOSED at Hamiltonian-class level:
000013 | 
000014 |   [E-class] uniform Lieb-Robinson bound with frozen assembled constants
000015 |         J = 12/5, R = 2, z = 4, kappa = 16043/450,
000016 |         v_LR = 2 e kappa R = 32086 e / 225 ~ 387.639.
000017 |   [E-class] norm-convergent thermodynamic-limit dynamics tau_t on every
000018 |         local observable (explicit Cauchy bound).
000019 |   [E-class] gauge-invariant quasilocal algebra (Gauss caveat resolved
000020 |         on the invariant subalgebra A^G, not a naive Hilbert embedding).
000021 |   [E-class] existence of at least one ground state and, for every
000022 |         beta > 0, at least one KMS state.
000023 |   [N]   numeric twin: measured cone v = 2.0 << proved class bound;
000024 |         analytic finite-volume bound dominates nested differences at
000025 |         buffers 8/16/32; 1/r mutant violates the inapplicable
000026 |         finite-range line; Gauss-positive control commutes, the
000027 |         constraint-violating embedding has commutator norm 1.
000028 | 
000029 | MUST-FAIL: the 1/r all-to-all mutant (outside the finite-range
000030 | hypothesis) violates the inapplicable bound; a constraint-violating
000031 | embedding fails to commute with the Gauss projector.
000032 | 
000033 | HONEST SCOPE (firewall / BOUNDARY BOX): no uniqueness / phase
000034 | structure, no thermodynamic-limit gap, no IR universality / common
000035 | light cone / continuum.  Those remain the T3/T5 contents.
000036 | QFT4D.LATTICE.FUNDAMENTAL.01 Decision typing UNCHANGED.  Python-only /
000037 | Wolfram mirror deferred (numerical twin + analytic memorandum).