TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/ORIGINAL-IR.txt Original file SHA-256: 8abb97de3a4017b463fa4f6d21848bc682ede7dc22a68459451f2e4aeda7c6a6 Inclusive original lines: 1-200 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 | ORIGINAL IR AND COMMON-LIGHT-CONE SOURCE REVIEW 000002 | L20261102I. joint_origin, 2 November2026. Entry Plan88, Atlas 000003 | 351a3f2e6587f443125feb65. G/H accepted unchanged. Canonical unchanged. 000004 | 000005 | CENTRAL RESULT 000006 | 000007 | The original later IR witness is real and useful, but its common-speed 000008 | comparison is deliberately a SPLIT of different source parameters, not 000009 | the pole spectrum of one complete coupled source. Its replay confirms 000010 | that exact scope. It cannot be cited either as a common-light-cone proof 000011 | or as a physical counterexample to the original common-metric route. 000012 | 000013 | The positive full coupled v1011 static response is also retained. It is 000014 | a response of its actual whole thermal logZ, whereas the wall dispersion 000015 | consumer remains a different representative calculation. Neither result 000016 | is discarded or relabeled as the other. 000017 | 000018 | The first actual application question is which full physical source/state 000019 | the IR statement concerns. The H beta-KMS construction and a Lorentz- 000020 | invariant vacuum source are different original callers. No new temperature 000021 | or replacement state is selected in this report. A common metric with its 000022 | actual covariant Gamma/Ward hypotheses gives the positive original route; 000023 | the finite three-row proxy table does not test those hypotheses. 000024 | 000025 | 1. ORIGINAL PREMISE -> REQUIRED PROPERTY -> ACTUAL TEST -> VERDICT 000026 | 000027 | A. v1013 and H existence route 000028 | 000029 | Original premise: one supplied uniformly local bounded Hamiltonian 000030 | interaction, its actual Gauss constraints and common thermodynamic 000031 | state limit. The whole v1013 proof and its Boundary Box were read in H. 000032 | Required property for a vacuum IR Lorentz claim: the stated low-energy 000033 | physical state and source carry the actual common translations, spatial 000034 | directions, Ward symmetries and relevant pole/causal structure. 000035 | Smallest test: compare what the v1013 theorem actually concludes. It 000036 | proves common norm dynamics and ground/KMS-state existence; its source 000037 | explicitly does not prove IR universality, a common IR light cone or 000038 | Lorentz symmetry. Its LR bound controls propagation leakage, not equality 000039 | of species' relativistic pole speeds. 000040 | Verdict: established existence remains fully valid; it must not be 000041 | strengthened to Lorentz emergence by renaming its LR velocity. 000042 | 000043 | The original lattice-fundamental decision, ledger760, makes controlled 000044 | IR universality mandatory and a->0 optional. This distinction is retained. 000045 | 000046 | B. actual v1012 T5 IR witness 000047 | 000048 | Original premise: the existing ir_universality_witness_probe reuses four 000049 | specified earlier companion consumers. Its own source says they are 000050 | free or weakly coupled finite companions, not an interacting IR theorem. 000051 | Required property for a genuine all-sector common-c test: each row must 000052 | vary the SAME spatial translation momentum in the SAME coupled source 000053 | and state, with physical spectral support rather than a parameter label. 000054 | Smallest decisive actual test: inspect and execute its existing 000055 | velocity_witness() with ALL ORIGINAL DEFAULTS. Code discovery used the 000056 | codebase graph; no new Hamiltonian or wrapper theory was built. 000057 | 000058 | Observed actual output (momenta .16,.08,.04,.02): 000059 | physical gapless Bloch edge: c=.9957387913390375, 000060 | .9989336746146608,.9997333546658598,.9999333346666621; 000061 | gauge/link gap=.4976039834173107, L2 flat-holonomy proxy: 000062 | 0,0,0,.09653639896462174; 000063 | seam clock gap1, 0D deck-phase proxy: 0,0,0,0. 000064 | common_light_cone=False; 000065 | split_reason=stage2_holonomy_and_stage4_clock_not_common_propagating_modes. 000066 | 000067 | The full result is actual-IR-velocity.json. The nonzero final gauge proxy 000068 | is recorded literally; it is not rounded to a proven zero propagation 000069 | speed. In gauge_velocity_row:194-216, momentum is passed to the finite 000070 | sector's theta=momentum holonomy. In seam_velocity_row:219-239 it is 000071 | the deck phase of one four-state clock. In physical_edge_velocity:133-136 000072 | it is Bloch momentum of the actual QWZ branch. These are three different 000073 | parameter actions. The original checker correctly preserves this as a 000074 | typed SPLIT and does not call the table a physical common-c theorem. 000075 | 000076 | Verdict: the physical edge witness is retained. The attempted shared 000077 | momentum identification fails already at the actual input operation, so 000078 | the table settles neither the full common-metric source nor its IR 000079 | Lorentz claim. No new finite countermodel or velocity fit is justified. 000080 | 000081 | C. later v1011 complete coupled finite response 000082 | 000083 | Original premise: the existing B8 periodic-face Hamiltonian and its 000084 | provided thermal parameters and field content. 000085 | Required property: preserve the entire coupled H in the actual source 000086 | consumer instead of comparing a free dispersion to a scalar readout. 000087 | Smallest native test (origin_topology's independent execution): the 000088 | unchanged 256D physical tree-gauge source produces 000089 | Kx=.2921723188988497, Ky=.2921723189292652, 000090 | with difference3.04e-11, at its ORIGINAL g.8,beta4,t_hop.6,masscoef.3. 000091 | This is a positive joint thermal logZ stiffness/isotropy witness. 000092 | 000093 | The later consumer then passes the derived link ratio 000094 | .9890925399844381 to spinor_companion, which diagonalizes the free 000095 | wilson_dirac_slab(0,0) and reports ratio*sin(.2)=.19650235301309565. 000096 | The B6 surface_dispersion formula is separately the free two-direction 000097 | sin-momentum expression. These calls are source-typed in the sibling 000098 | native report; they are not a single all-sector pole computation. 000099 | Verdict: keep the positive coupled static response and the dressed wall 000100 | companion. Static isotropy is not a test of a common energy/momentum pole, 000101 | and a companion's z1 dispersion is not the full thermal spectral kernel. 000102 | 000103 | 2. ACTUAL LATER CLOSURES WERE READ BEFORE USING THE OLD BOUNDARY BOX 000104 | 000105 | The current frontier003:270-291 explicitly preserves both v1011's 000106 | coupled link-wall scaffold and v1012's typed IR SPLIT before restating 000107 | the v1013 existence theorem. It does not erase them as unconstructed. 000108 | 000109 | [OMITTED: non-scientific conversation or execution metadata] 000110 | [OMITTED: non-scientific conversation or execution metadata] 000111 | [OMITTED: non-scientific conversation or execution metadata] 000112 | [OMITTED: non-scientific conversation or execution metadata] 000113 | [OMITTED: non-scientific conversation or execution metadata] 000114 | [OMITTED: non-scientific conversation or execution metadata] 000115 | [OMITTED: non-scientific conversation or execution metadata] 000116 | [OMITTED: non-scientific conversation or execution metadata] 000117 | 000118 | The later v1031-v1035 statements in frontier003:342-357 give positive 000119 | free Lorentz-covariant curvature and physical-Fourier prescribed-source 000120 | Ward results, while explicitly separating their microscopic source 000121 | embedding and nonlinear dynamical matter coupling. They are retained 000122 | in their original target class, not declared a failure because they do 000123 | not themselves compute every physical full-source correlator. 000124 | 000125 | The latest source consolidation frontier003:359-376 additionally 000126 | constructs integer charged fields on its original width-eight QWZ strip 000127 | and an independent compact-U1 test parent's all-time quasi-local 000128 | dynamics/neutral physical ground representations. It explicitly keeps 000129 | their selection/chirality/continuum and common-parent identification 000130 | separate. Those later constructions are not overwritten by an older 000131 | blanket claim that no source or charged field exists. 000132 | 000133 | The v1020 spectator obstruction and its subsequent re-scoping are also 000134 | retained. It concerns uniqueness from ONLY seam data: adding a decoupled 000135 | trivial boundary spectator changes the bulk. It does not refute the 000136 | whole already specified S/Z source, and it does not create a new global 000137 | no-spectator requirement for every original route. This review therefore 000138 | does not rerun that known finite obstruction or repeat its old uniqueness 000139 | demand. The current original contract explicitly re-scopes it to its 000140 | chosen seam-generated completion category. 000141 | 000142 | 3. THE EXACT STATE/WARD DISTINCTION THAT MAKES THE NEXT TEST MEANINGFUL 000143 | 000144 | At finite beta the H construction is a thermal source for its supplied 000145 | time direction. Even an underlying relativistic theory has a thermal 000146 | rest direction; its in-medium correlators need not be functions only of 000147 | q_g=g^(mu nu)p_mu p_nu. Equality of all hydrodynamic/quasiparticle speeds 000148 | is therefore not an appropriate extra existence requirement for H. 000149 | This is not a TFPT exclusion. Bros-Buchholz's primary relativistic KMS 000150 | formulation itself retains beta*e as the thermal direction, with a 000151 | distinguished rest frame (hep-th/9807099: introduction, pp1-3). 000152 | 000153 | Conversely, the positive original common-g/Gamma argument concerns its 000154 | actual flat Lorentz-invariant vacuum and covariant physical Gamma. 000155 | With those hypotheses and actual physical modes, Lorentz symmetry 000156 | restricts invariant scalar pole functions to q_g and fixes the corresponding 000157 | tensor/spinor forms. It does not require a separately tuned velocity for 000158 | each species. The independent relational_logic review handles that 000159 | original same-S Ward proof; this report does not replace it with a 000160 | numerical lattice table. 000161 | 000162 | The meaningful next same-source test is therefore the actual covariance 000163 | of the given whole physical Hessian/pole kernel, including its state and 000164 | source labels, under the ORIGINAL translations/boosts/Ward operation. 000165 | It is not comparison of k, holonomy theta and deck phase as if they were 000166 | one momentum. For the lattice application, the same interaction/state 000167 | must supply the IR symmetry or controlled noncovariant remainder. 000168 | For the already covariant original Gamma branch, its own hypotheses 000169 | must be applied as stated instead of making speed matching a new input. 000170 | 000171 | No new microscopic state, temperature, spatial dimension or interaction 000172 | is chosen here. The report identifies the actual scope of existing 000173 | witnesses and the correct existing symmetry consumer. The positive 000174 | G/H source construction and its original normalization/reflection map 000175 | are unchanged. 000176 | 000177 | 4. EXACT SOURCE HANDLES AND READ EXTENTS 000178 | 000179 | * v1013 original theorem and its explicit scope: 000180 | paper-source:4cc6102a923009e972617edc:225-363 and 000181 | paper-source:6465508a38e869a2df13859c:107-156; 000182 | full original proof read in H, not repeated as a new result. 000183 | * actual v1012 conditional T5 consumer: 000184 | source:14e05b40fdf89a58d5e6:1-190, 000185 | verification/v1012_toe_gate_witnesses.py, 000186 | SHA25646f5214fd6fe22bd25539faefeb926a03e2ea288592b87ddbfef937851112a10. 000187 | * executed original ir_universality_witness_probe.py: 000188 | source path experiments/tfpt-discovery/ir_universality_witness_probe.py, 000189 | SHA256e8b64e4e908c07b8dc32674d2826f0fa162a9077083d41c7a5464adb12911afa. 000190 | Its registered paper-source:3d24e0a8f7e2d546b961ed35 currently covers 000191 | line1 only; that retrieval extent is not mistaken for scientific absence. 000192 | The real local original was read1-140, and its actual functions194-266 000193 | and430-438 were read through graph-first exact code snippets. 000194 | Only velocity_witness() was executed; no full second suite. 000195 | * v1027 actual supplied fixed-background theorem: 000196 | source:e8ed55267b757523a953:1-105, 000197 | SHA2566679297c3c53a86f4ef7d40c169caab64708885e891e68db365acfadfe9f0f4d. 000198 | * v1020 original typed obstruction, source:c293c6cfc6ae702f2a68:1-105, 000199 | SHA256cf62ace61ab774635e89df611336a6db6363e1c249e6d85f79431ec918c20647. 000200 | Actual re-scoped contract read at source:122d9ccbf30fd2ac969c:217-333,