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: 118-150
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.

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