TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/NATIVE-IR.txt
Original file SHA-256: e9dd9bf162c75b6185af694c5579a6d62758e4928447046207305f87bd88afb8
Inclusive original lines: 1-166
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 | ACTUAL NATIVE IR CONSUMER: COUPLED STIFFNESS AND SPINOR COMPANION
000002 | L20261102I, 2 November2026. Canonical unchanged.
000003 | Entry research-state revision351a3f2e6587f443125feb65, plan88.
000004 | Direct existing calls only. Numeric output: NATIVE-IR.json.
000005 | 
000006 | RESULT
000007 | 
000008 | The executed v1011 B8 path contains a genuinely coupled, finite,
000009 | Gauss-reduced thermodynamic X/Y response. It is not just a free-sector
000010 | test: the complete256-dimensional link/matter Hamiltonian enters its
000011 | log partition function. The reproduced stiffnesses at the original
000012 | g=0.8 are
000013 |  Kx=0.2921723188988497,
000014 |  Ky=0.2921723189292652,
000015 |  |Kx-Ky|=3.0415503449177095e-11.
000016 | 
000017 | The subsequent chiral-dispersion consumer uses a SEPARATE free
000018 | Wilson-Dirac slab, dressed by one scalar kinetic ratio extracted from
000019 | that coupled source. This is exactly the original declared scope:
000020 | the native preregistration explicitly says that this companion is
000021 | not the same Fock sector and supplies no volume limit. It is not a
000022 | newly discovered inconsistency or a global TFPT exclusion.
000023 | 
000024 | Thus this actual running path establishes coupled finite static
000025 | in-face symmetry and its given dressed spinor witness. It does not
000026 | execute a common pole/lightcone measurement for all fields of one
000027 | coupled source. The original shared full S/Z and G/H results remain.
000028 | 
000029 | 1. ORIGINAL ENTRY AND SOURCE DISCOVERY
000030 | 
000031 | Graph-first discovery followed the actual verification entry:
000032 |  source:c45bb0f2f93d11361e77:1-80,116-174,267-320,
000033 |  verification/v1011_3p1d_ladder_battery.py,
000034 |  SHA256 59252fefd0c7f2d1507c48c1ff12f559e2c2f921d964b417aa11d0df4eedefec.
000035 | These ranges were freshly hash-read through the theory Atlas. The code
000036 | graph provided the exact native functions below, which were then run
000037 | through v1011.load_probe rather than reimplemented.
000038 | 
000039 | Actual loaded original native sources, hashes recorded at execution:
000040 |  experiments/tfpt-discovery/tfpt3p1d_minimal_probe.py,
000041 |  SHA256 28dbb3b845e28ca24013586e72252b2c056e2727f65e9bdf250e13dc1b224bf9;
000042 |  experiments/tfpt-discovery/tfpt3p1d_periodic_face_probe.py,
000043 |  SHA256 9f20b109b9152f7e4188f668dafbfbcc6c91bc1f4c5071adfbda025fb07c1552.
000044 | 
000045 | Exact graph-read functions:
000046 |  minimal_probe.surface_dispersion414-423,
000047 |  minimal_probe.wilson_dirac_slab360-386,
000048 |  periodic_face_probe.hamiltonian360-443,
000049 |  periodic_face_probe.gamma450-470,
000050 |  periodic_face_probe.stiffness473-495,
000051 |  periodic_face_probe.gauge_link_renormalization531-553,
000052 |  periodic_face_probe.spinor_companion556-579.
000053 | The probe head1-82 and original constants/imports were also directly read.
000054 | This is a targeted consumer check, not a repository-wide absence search.
000055 | 
000056 | 2. WHAT THE FREE B6 CALL ACTUALLY COMPUTES
000057 | 
000058 | The v1011 B6 consumer141-146 calls
000059 |  surface_dispersion(ISOTROPY_MOMENTUM,0),
000060 |  surface_dispersion(0,ISOTROPY_MOMENTUM).
000061 | The native function is exactly
000062 |  E(kx,ky)=hypot(t_x sin(kx),t_y sin(ky)),
000063 | with its original t_x=t_y=1. It accepts no coupled Hamiltonian, gauge
000064 | state, dynamical link, or full Gibbs functional as an argument.
000065 | At the original momentum0.2 the actual outputs are
000066 |  E_x=E_y=0.19866933079506122.
000067 | This is the intended free in-face dispersion formula, evaluated with
000068 | its own given parameters. It is not a measurement of all coupled
000069 | species or evidence that RG time equals physical time.
000070 | 
000071 | 3. WHAT THE GENUINELY COUPLED B8 CALL COMPUTES
000072 | 
000073 | v1011 B8 explicitly calls the original periodic-face Hamiltonian,
000074 | stiffness(g=0.8,axis=0/1), gauge_link_renormalization(0.8), and then
000075 | spinor_companion(link_factor). The execution here used those exact
000076 | existing calls and no parameter scan. All original defaults remained:
000077 |  g=0.8, HOPPING=0.6, MASS_COEFFICIENT=0.3, BETA=4,
000078 |  RICHARDSON_STEP=0.04, TREE_A=[0,1,2,8,9,10,11], open_x=False.
000079 | 
000080 | The native periodic-face field list is explicit in its head:
000081 |  eight vertices, twelve directed links, four physical-face spinless
000082 |  charged JW modes with even parity, a2x2 periodic physical face and
000083 |  an open-z tree stub. The exact maximal-tree physical basis has
000084 |  32 cycle configurations times8 matter occupations=256 states.
000085 | The actual H includes the electric, face-plaquette, every gauge-dressed
000086 | face hopping and staggered mass term. Its native Hermiticity residual
000087 | was exactly0. No v989 Z4 projector was imported into this DIFFERENT
000088 | Z2 source; the original native Gauss quotient was retained.
000089 | 
000090 | gamma() computes the entire original finite thermal quantity
000091 |  Gamma(theta)=-log Tr_phys exp[-BETA H(theta)].
000092 | stiffness() applies its original Richardson rule to the second twist
000093 | derivative, K_mu=Gamma_mu''(0)/4. Consequently Kx and Ky above really
000094 | are responses of the FULL coupled physical Hamiltonian. Their agreement
000095 | passes the original1e-9 tolerance. This positive result is preserved.
000096 | 
000097 | This measured object is a static finite thermal holonomy curvature.
000098 | It has no frequency variable or extraction of a momentum-dependent
000099 | spectral pole. Its x/y equality therefore does not itself identify a
000100 | common dynamical lightcone. It also does not measure z propagation
000101 | through a spatial volume limit; z is represented by the original stub.
000102 | These are distinctions between the actual computed observables, not
000103 | additional hypotheses imposed on the existing finite witness.
000104 | 
000105 | 4. FOLLOW THE OUTPUT INTO THE ACTUAL SPINOR CONSUMER
000106 | 
000107 | gauge_link_renormalization(g) differentiates the same full free energy
000108 | under a COMMON scale on both original hopping directions and takes its
000109 | absolute ratio to the original g=0.2 control. Its original derivative
000110 | step is0.001. At the actual g=0.8 call it returns
000111 |  link_factor=0.9890925399844381.
000112 | The g=0.2 control is internal to this ORIGINAL callable, not a newly
000113 | selected second coupling or a scan performed for this review.
000114 | 
000115 | The downstream spinor_companion does the following:
000116 |  * diagonalizes wilson_dirac_slab(0,0), a separate six-layer four-band
000117 |    free Wilson-Dirac matrix;
000118 |  * resolves its zero-mode frame by the layer-position operator;
000119 |  * sets dressed_energy=link_factor*sin(0.2);
000120 |  * obtains a mirror threshold from the separate original DET4 edge
000121 |    cluster_hamiltonian(0,True).
000122 | 
000123 | Actual outputs:
000124 |  physical-face localization weight=1,
000125 |  mirror-face localization weight=1.0000000000000013,
000126 |  dressed energy=0.19650235301309565,
000127 |  mirror-cluster gap=1.9999999999999996.
000128 | The dressed-energy equality to link_factor*sin(0.2) has residual0.
000129 | All executed original witness conditions pass.
000130 | 
000131 | The original probe's preregistration states literally:
000132 |  spinor=separate_4band_WilsonDirac_Lz6_with_2component_surface_and_link_renormalized_velocity
000133 |  scope=holonomy_reduced_model_dim256_spinor_companion_not_same_Fock_sector_no_volume_limit
000134 | and its v2 statement says
000135 |  spinor_response=separate_reduced_companion_typed_not_common_Fock_sector.
000136 | The following source paragraph repeats that this is a reduced companion,
000137 | not an enlarged common Fock sector. The observed separation is therefore
000138 | already part of the actual original contract and is not reclassified
000139 | here as a new failure of that contract.
000140 | 
000141 | 5. SMALLEST DECISIVE TEST AND RESULT SCOPE
000142 | 
000143 | The decisive first identification is determined by the native argument
000144 | and consumer chain. The full H enters Gamma(theta) and the static
000145 | kinetic ratio. Only that ONE scalar ratio enters spinor_companion;
000146 | its actual spinor eigensystem comes from the separately supplied free
000147 | slab. Thus the executed consumer is not a spectral calculation of all
000148 | coupled propagators in the same physical H/Gauss/state representation.
000149 | The direct original calls reproduced both its coupled and free parts,
000150 | without constructing a new Hamiltonian, mode truncation, fitting law,
000151 | parameter family or common-lightcone harness.
000152 | 
000153 | This is compatible with the original verification head32-36, which
000154 | states tiny Z2 cuboids, factorized or translation-coherent blocks, and
000155 | no4D volume/continuum theorem. It preserves the already established
000156 | finite coupling/backreaction results. It does not claim that every
000157 | IR result in the corpus is absent or that all TFPT source callers must
000158 | pass through this lattice class. The later IR theorem/common-lightcone
000159 | claim route is separately reviewed by joint_origin. This report makes
000160 | no negative inference from a bounded search failing to display it.
000161 | 
000162 | No Gauss test was rerun here. H's physical source and G's full geometric
000163 | and U transport remain unchanged. No Lieb-Robinson upper bound is
000164 | reinterpreted as equality of species velocities. The native outputs
000165 | are finite source diagnostics, not predicted physical couplings,
000166 | measured propagation speeds, or a new physical completion verdict.