TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/QUARTER-STRESS-CURRENT-RECOVERY.txt
Original file SHA-256: 5861c8516e38bd1ed303622e019c7bef182d9312a25142bc754456beac573141
Inclusive original lines: 1-162
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 | RECOVERED ORIGINAL WINDING TRANSPORT AND THE LOCAL CURRENT NET
000002 | ==============================================================
000003 | 26 October 2026
000004 | Claim MATH.ORIGINAL-SEAM.QUARTER-STRESS-CURRENT.01
000005 | Verdict: PROVED in the existing cut-cover CAR source; original P1 image OPEN.
000006 | 
000007 | 1. What was recovered from the old work
000008 | ---------------------------------------
000009 | Two already existing formulas compose to a local operator result:
000010 | 
000011 |   (a) The original quarter stress family has the same CAR coefficients
000012 |       r+alpha+n/2 and the same normal-ordering sea, r<0.
000013 |   (b) The original cover winding exchanges the two quarter factors by
000014 |       u_cov W0=W1 and u_cov W1=W0 u_base.
000015 | 
000016 | Their composition reconstructs the original level-one current. In addition
000017 | to the previously proved global stress cyclicity, the TRANSPORTED pair now
000018 | generates the local current algebra on each base interval. The actual
000019 | geometric support is the inverse image of that interval on the double cover.
000020 | No new scalar coupling, current normalization or comparison matrix is chosen.
000021 | 
000022 | Old sources actually read:
000023 |  joint-native-algebra-selection-20261016/
000024 |  ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt:33-65;
000025 |  canonical-seam-fermionization-20261025/
000026 |  MOBIUS-QUARTER-OPERATOR-DICTIONARY.txt:171-276;
000027 |  original-admissible-source-closure-20261025/
000028 |  FOCK-DEFECT-REVIEW.txt:14-58,64-130.
000029 | All three paths are under experiments/theory-contracts/.
000030 | 
000031 | 2. Exact synthesis on the common source core
000032 | ---------------------------------------------
000033 | Put p=alpha-1/2. On the same CAR finite-energy core,
000034 | 
000035 |   L_n^alpha=L_n^(1/2)+p J_n+(p^2/2) delta_(n,0).
000036 | 
000037 | This includes the original relative charge Q=J0. At the two quarter values,
000038 | p_plus=1/4 and p_minus=-1/4, the quadratic constants agree. Therefore
000039 | 
000040 |   J_n=2(L_n^(3/4)-L_n^(1/4))                           (1)
000041 | 
000042 | for EVERY integer n, including n=0 and nonzero charge sectors.
000043 | The exact coefficient search imposes equality of the original CAR matrix
000044 | units for symbolic r,n. It finds the unique solution (2,-2). A stochastic
000045 | genetic search is unnecessary for this affine identity: exact elimination
000046 | decides the entire declared coefficient class at once.
000047 | 
000048 | Equation (1) initially compares two families on the SAME CAR generators.
000049 | It does not permit subtraction of unrelated operators merely because both
000050 | represent c=1 Virasoro algebras with lowest weight1/32.
000051 | 
000052 | 3. The actual winding supplies that comparison on the old full cover
000053 | --------------------------------------------------------------------
000054 | Write the already given source as Hcov=H0 direct-sum H1, with H0=W0K and
000055 | H1=W1K. On K direct-sum K the source winding is
000056 | 
000057 |   U=u_cov=[[0,u_base],[I,0]],       u_base e_m=e_(m+1).
000058 | 
000059 | The polarization is C=C0 direct-sum C1, with both Cj the sea m<0.
000060 | Only the wrap arrow contains u_base, so [C,U] has rank one. The already
000061 | used CAR implementability theorem gives a Fock unitary V=Gamma(U), unique
000062 | up to phase. Ad(V) is independent of that phase.
000063 | 
000064 | On the FIRST arrow, H0 to H1, U is exactly I in the common K chart.
000065 | Cover modes 2m go to2m+1. Their occupation signs agree for every m:
000066 | 
000067 |   2m<0 iff 2m+1<0.
000068 | 
000069 | Thus pulling the second factor's CAR matrix units back by Ad(V)^(-1)
000070 | preserves their Wick subtraction. It also preserves the vacuum state on
000071 | that factor. Consequently the literal full-cover identity is
000072 | 
000073 |   J_0(f)=2(Ad(V)^(-1)(T_(3/4)(f))-T_(1/4)(f)),          (2)
000074 | 
000075 | where subscript0 on J labels H0, not a Fourier zero mode.
000076 | 
000077 | The second arrow goes from2m+1 to2m+2. At m=-1 it crosses the sea boundary.
000078 | That rank-one charge carry is retained. In particular V does NOT preserve
000079 | the full cover vacuum. Its state-preserving restriction used in (2) and
000080 | its global charged action are different statements and are compatible.
000081 | 
000082 | 4. The local algebra, with its real support
000083 | ---------------------------------------------
000084 | Let I be a proper interval of the base circle x=2theta. The fields of each
000085 | character factor over I are supported on p^(-1)(I), the two preimage arcs
000086 | of the cover. U=e^(i theta) multiplies pointwise and does not enlarge support.
000087 | 
000088 | Let M_pair(I) be the von Neumann algebra generated by both stress unitary
000089 | groups in (2), for smooth real f supported in I. On their common core the
000090 | difference is J0(f). For the existing current representation, J(f) and the
000091 | Sugawara stress are essentially self-adjoint on the finite-energy core.
000092 | The same holds for their real shifted stress families. These are the
000093 | standard current-net facts stated in Tanimoto, arXiv:1807.11723v2, sections
000094 | 3.1 and3.2. Local current conjugation gives the shifted stress within the
000095 | same current net, so M_pair(I) is contained in A_J0(I).
000096 | 
000097 | Conversely, use the unitary product formula on the common core:
000098 | 
000099 |  exp(i t J0(f))
000100 |    =strong-lim_N [ Ad(V)^(-1)(exp(i2t T_(3/4)(f)/N))
000101 |                     exp(-i2t T_(1/4)(f)/N) ]^N.         (3)
000102 | 
000103 | The products are stable with norm1. Their derivative on the core is iJ0(f),
000104 | whose closure is the generator of a unitary group. The Trotter/Chernoff
000105 | criterion applies; this is not a formal BCH truncation. Strong closure
000106 | therefore proves the reverse inclusion:
000107 | 
000108 |   M_pair(I)=A_J0(I).                                   (4)
000109 | 
000110 | This is a local algebra statement in the existing source. It does not
000111 | identify stress control parameters with physical time or claim a performed
000112 | pulse protocol. The later eightfold W8 support must still be transported
000113 | through its existing field dictionary. Equation (4) alone is not a claim
000114 | that a scalar original current subnet already contains every multi-arc
000115 | CAR charge transporter or every folded field.
000116 | 
000117 | 5. A decisive negative control
000118 | --------------------------------
000119 | Without Ad(V), the two cover factors commute. For
000120 | 
000121 |   D_n=2(L_n^plus tensor I-I tensor L_n^minus),
000122 |   c_plus=c_minus=1, h_plus=h_minus=1/32,
000123 | 
000124 | the tensor-ground-state commutator is
000125 | 
000126 |   <[D_n,D_-n]>=n(4n^2-1)/6.                            (5)
000127 | 
000128 | It gives1/2 and5 at n=1,2. A level-one current gives1 and2. No common
000129 | rescaling repairs both. For any real combination aLplus+bLminus the cubic
000130 | coefficient is(a^2+b^2)/12, which vanishes only for the trivial combination.
000131 | This exhausts the declared real linear class. It rejects precisely the
000132 | untransported two-factor replacement, not the actual transported source.
000133 | 
000134 | 6. Verification and the remaining physical arrow
000135 | -------------------------------------------------
000136 | check_quarter_stress_current.py solves (1) symbolically, replays126 literal
000137 | old CAR vector/mode pairs, retains the zero-mode charge terms, checks the
000138 | current central term on the exact interior core at modes1 through7 and
000139 | checks (5). The winding matrix-unit pullback and the exceptional wrap mode
000140 | are explicit. Normal and python -OO result files are byte-identical.
000141 | The finite truncation's empty-state test also demonstrates that no full
000142 | finite-dimensional CCR representation is being asserted.
000143 | 
000144 | QUARTER-STRESS-CURRENT-INDEPENDENT-REVIEW.txt independently reviews the
000145 | formula, source comparison, domain/core conditions, local algebra result
000146 | and negative control.
000147 | 
000148 | The original primitive P1 definition still needs the local physical image
000149 | of this specified source, with its state, time, reflection, collar/reference
000150 | domains and the complete folded-field support. The scalar circle and its
000151 | winding do not by themselves derive the CAR kernel of that primitive seed.
000152 | The old source paper gives a forward Seedop to boundary functor; it does
000153 | not invert it. Nothing here closes TFPT.TOE.COMPLETE.01 or a physical T gate.
000154 | 
000155 | References
000156 | -----------
000157 | Y. Tanimoto, Ground state representations of some non-rational conformal
000158 | nets, arXiv:1807.11723v2, sections3.1 and3.2:
000159 | https://arxiv.org/pdf/1807.11723
000160 | H.F. Trotter, On the product of semi-groups of operators,
000161 | Proc. Amer. Math. Soc.10(1959),545-551:
000162 | https://doi.org/10.1090/S0002-9939-1959-0108732-6