TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/TRANSFER-EXTRACTION.txt Original file SHA-256: 3a1a844f8f4e9ad5642abd627ae207d83deb11d68342e8e0bab929fff7ea7f2f 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 | K: EXTRACT THE WHOLE TRANSFER GENERATOR FROM THE ORIGINAL FIELD SOURCE 000002 | joint_origin, 3 November2026. Atlas243787ad18ac2965cbccd2bf, plan92. 000003 | Read-only canonical continuation. J/G/H/I and R104/R105 retained. 000004 | 000005 | CENTRAL RESULT 000006 | 000007 | The complete original source already determines its own transfer through 000008 | its shifted FULL word kernel. No Hamiltonian is obtained by exponentiating 000009 | S_adm. The smallest sufficient comparison with a proposed SAME-field 000010 | generator is equality of the complete zero-time boundary pairing and its 000011 | ONE full infinitesimal time insertion, together with the original sewing. 000012 | For the literal sixteen-mode candidate this becomes one finite, 000013 | REST-OPERATOR-VALUED Berezin polynomial identity, displayed in section4. 000014 | It tests every matrix element simultaneously, including all density 000015 | vertices, the16-creation and16-annihilation vertices, and all rest legs. 000016 | 000017 | The original physical-net definition already uses restriction to a 000018 | reducing admissible sector. Thus repeated global compression is not its 000019 | definition. Where a proposed transfer really is compressed, its failure 000020 | to sew is an exact positive leakage kernel, section5. This decides the 000021 | whole projection class without another finite countermodel. 000022 | 000023 | The actual existing producer for eliminating outer fields is the WHOLE 000024 | ordered unnormalized fiber integral, with its determinant and exterior 000025 | source polynomial. This is already proved; no new measure is requested. 000026 | What must be evaluated for R105 is that producer's original infinitesimal 000027 | boundary insertion on the actually identified sixteen fields. The cited 000028 | blocked C6 transfer paragraph does not supply its value, nor does the 000029 | given DET16 parent prove that value from the action. All original seam/top 000030 | and additional vertices remain inside the proposed evaluation. 000031 | 000032 | 1. READ THE LIVE R105 RECORD BEFORE ANY NEW TEST 000033 | 000034 | The complete editable record problem:original-det16-vertex-source- 000035 | identification was read at Atlas243787ad18ac2965cbccd2bf. Its three scoped 000036 | findings, all premises and open original-coefficient task were retained. 000037 | assess_research_plan on its exact strategy and all four premise IDs 000038 | returned reuse_result. No low-charge or MPS counterfamily was rerun. 000039 | DET16-ORIGIN-TEST.txt:1-190 was freshly read, exact source S1 below. 000040 | 000041 | In particular the common action is not globally declared quadratic. 000042 | The original 4D action demand retains S_seam/top, scalar/link fields and 000043 | later Hamiltonian amendments. A single fixed bilinear fiber does not 000044 | describe every source vertex. A closed16-point response is not itself 000045 | the open generator's charge16 block. R105's test is used only after the 000046 | actual original field, projection, time and reference maps are supplied. 000047 | 000048 | 2. THE SOURCE ITSELF GIVES A FORCED TRANSFER KERNEL 000049 | 000050 | Use the SAME full moment functional q=Z/Z[0] and the original supported 000051 | half-word operations, reflection and Euclidean time translation theta_t. 000052 | Without choosing a new boundary state or discarding any memory, define 000053 | 000054 | G(F,G)=q((Theta F)G), 000055 | K_t(F,G)=q((Theta F)theta_t G). (1) 000056 | 000057 | Under the already applicable original OS time-shift construction, 000058 | K_t(F,G)=<[F],T_t[G]>, T_t=exp(-tH_source). 000059 | This is the original full functional read with moved insertion times, 000060 | not a reconstructed action inserted as an operator. All original local 000061 | fields, composite legs and higher moments participate in(1). If the 000062 | source is only formal, this is its formal kernel identity; analytic 000063 | operator conclusions retain the actual original positivity/domain 000064 | hypotheses. J's vacuum construction is not repeated here. 000065 | For a source given only on a finite thermal circle, do not infer this 000066 | global vacuum semigroup or identify its thermal GNS Liouvillian with 000067 | the ordinary H. Its actual open slab construction(5) is the appropriate 000068 | way to extract that ordinary transfer, with the given temporal closing 000069 | rule retained when forming the thermal trace. 000070 | 000071 | The infinitesimal source insertion is the quadratic form 000072 | 000073 | h(F,G)=-d/dt K_t(F,G)|_(t=0+). (2) 000074 | 000075 | It is the derivative of the actual FIELD WORD'S displacement, or the 000076 | equivalent original slab-width variation, not S_adm evaluated as H. 000077 | For a finite regulator and a spanning family of original boundary words, 000078 | write their full Gram matrix as G_0 and their cross kernel as K_t. 000079 | On the positive support of G_0 the actual operator chart is 000080 | G_0^(-1/2) K_t G_0^(-1/2). 000081 | Thus its whole generator is 000082 | -G_0^(-1/2) K'_0 G_0^(-1/2). (3) 000083 | This is a forced use of the source pairing, not a newly chosen metric. 000084 | Null vectors are quotiented, never made invertible by hand. Mixing a 000085 | source field with a new arbitrary Gram basis does not preserve its CAR 000086 | label map unless the actual fields are transported with that basis. 000087 | 000088 | Suppose an actual unital field/boundary intertwiner W identifies these 000089 | words with a dense invariant domain for H_target. Equality of G and 000090 | h(F,G)= (4) 000091 | on that entire domain determines H_source= W*H_target W at a bounded 000092 | finite regulator. Hence all times, insertions and ordered source words 000093 | agree, with the actual reflection/state map. In an unbounded setting 000094 | use a common operator core or equality of the closed semibounded forms; 000095 | mere agreement on an unspecified set of matrix elements is insufficient. 000096 | No independent search over all word lengths is needed once(4) is proved. 000097 | This sufficiency uses the SAME time-homogeneous source underlying the 000098 | stated autonomous target H. With an actual externally time-varying 000099 | background, use its original two-time propagator K(t,s), its cocycle 000100 | sewing, and the same infinitesimal identity at every original base time s. 000101 | A derivative at one base time does not determine a different later action. 000102 | If the original supplies only a fixed discrete step a, the corresponding 000103 | complete origin test is its WHOLE one-step kernel K_a and exact discrete 000104 | sewing. For a positive strictly invertible transfer its generator is 000105 | -a^(-1)log T_a by the given spectral calculus. One must not assume an 000106 | extra epsilon-family, varying lattice spacing or continuum limit merely 000107 | to use the infinitesimal version(2). Equality of the actual K_a already 000108 | determines all its discrete transfer words with the same source legs. 000109 | 000110 | The zero-time pairing matters first. On an open projected boundary it 000111 | is the reproducing kernel of that actual projection, not the ambient 000112 | identity on a presumed entire sixteen-mode Fock factor. Reference or 000113 | state normalization cannot restore a removed boundary direction. 000114 | 000115 | 3. OPEN SLABS AND THE EXISTING BEREZIN/FIBER PRODUCER 000116 | 000117 | If the original action is evaluated on a slab of width epsilon, retain 000118 | its complete boundary configuration b, including any original exterior 000119 | fields/carry needed for sewing. With the ORIGINAL ordered boundary map, 000120 | domain and base functional, its open coefficient is 000121 | 000122 | K_epsilon(b_out,b_in;J) 000123 | = integral_(original interior fibers with these boundary legs) 000124 | dI_epsilon exp(-S_adm,epsilon + original source insertions). (5) 000125 | 000126 | Equation(5) uses S_adm as the actual weight; it does not identify it with 000127 | a Hamiltonian. Its derivative includes the original kinetic overlap, 000128 | every seam/top and other vertex, Jacobians, varying domains and moving 000129 | boundary legs. A change of boundary frame contributes its given endpoint 000130 | connection. Neither a potential term alone nor delta Gamma alone is 000131 | generally this derivative. The original reference/eta/zero-source 000132 | functor must travel as in G, not be fitted to the target afterward. 000133 | 000134 | For genuinely Markov/local slab variables, sewing integrates over the 000135 | COMPLETE shared boundary with its original measure. For a time-nonlocal 000136 | weight one must retain its actual memory or use the full word space(1). 000137 | Keeping only instantaneous selected fields need not give an autonomous 000138 | semigroup. This is not a demand that the bare spectral ansatz survive 000139 | blocking. The existing exact whole-fiber operation is sufficient and 000140 | retains its effective action and exterior responses. 000141 | 000142 | The proved original producer S6 gives 000143 | K(p;J_outer)=integral_fiber r(p,dq) exp(-V(p,q)+J_outer.q), 000144 | with all exterior source legs and conditional higher cumulants; successive 000145 | elimination obeys the tower law. In the complex/Berezin case this means 000146 | ordered unnormalized integration, not positive probability conditioning. 000147 | For a given Gaussian kinetic fiber the independently proved S7 gives 000148 | K_eff=K_bb-K_bi K_ii^(-1)K_ib AND scalar det K_ii, 000149 | together with shifted retained legs and the outer-source quadratic term. 000150 | At singular K_ii keep the original complementary-minor polynomial. 000151 | Neither K_bb nor a normalized compressed covariance is this whole answer. 000152 | 000153 | These operations can be applied to OPEN boundary legs in(5). Their 000154 | existence does not supply the value of an unspecified S_seam/top insertion 000155 | or identify its boundary CAR modes. Conversely, a source that really 000156 | supplies (5), its boundary map and full sewing needs no separately chosen 000157 | new transfer kernel. Its generator is already forced by(2). 000158 | 000159 | 4. ONE COMPLETE COHERENT POLYNOMIAL FOR THE LITERAL DET16 COMPARISON 000160 | 000161 | Assume the actual boundary map has identified the SAME16 original CAR 000162 | operators and their native vacuum0/full stateF, with all rest factors 000163 | retained. Use unnormalized coherent boundary vectors and the original 000164 | Grassmann order. Put 000165 | E(bar_eta,xi)=(bar_eta|xi)=exp(SUM_i bar_eta_i xi_i), 000166 | u=(bar_eta|F), v= (bar_eta|B|xi) injective on the 000170 | ENTIRE finite CAR operator algebra. Its coefficients are all matrix 000171 | elements, not just normal/anomalous two-point functions. 000172 | 000173 | The positive parallel source comparison FIELD-PROJECTOR-MAP.txt is 000174 | retained: its explicit signed W intertwines ALL45 internal Spin(10) 000175 | generators between the original S+=Lambda-even C^5 and the native DET16 000176 | one-particle convention, with det W=+1. Its Fock lift therefore transports 000177 | the full CAR polynomial without an extra determinant phase. This removes 000178 | the internal representation ambiguity; it is not rerun here. The original 000179 | spacetime smear/equal-time polarization and source-time map still belong 000180 | to the boundary embedding, as that same review explicitly states. The 000181 | five auxiliary exterior carrier operators are not the16 physical CAR 000182 | letters in(6)-(10). 000183 | 000184 | For phi=(0+exp(i theta)F)/sqrt2 the actual projector kernel is 000185 | 000186 | p_theta=(bar_eta|P_phi|xi) 000187 | =[1+u v+exp(i theta)u+exp(-i theta)v]/2. (6) 000188 | 000189 | For the original FLAT parent H_m=2(I-P_phi), not the later additive N_a, 000190 | the exact whole kernel is 000191 | k_epsilon=exp(-2epsilon)E+(1-exp(-2epsilon))p_theta. (7) 000192 | For the actual R104 factorized ambient H=H_R+H_m, the whole rest-valued 000193 | kernel therefore is exp(-epsilon H_R) k_epsilon and its FIRST insertion 000194 | is exactly 000195 | 000196 | -K'_0=(H_R+2I_R) E -2I_R p_theta. (8) 000197 | 000198 | Thus(8) is ONE complete all-operator equality to evaluate on the actual 000199 | source(5). It includes the entire density polynomial, the scalar, both 000200 | determinant transitions and every rest operator. Its pure-u coefficient