TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/QUANTUM-OCTIC-COMPLETION.txt
Original file SHA-256: 2a075b2f0fc18c4133175eec20ef9b173fff7b23c3b66ef18c80c8505785f6c1
Inclusive original lines: 175-206
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.

000175 | 6. Literal original CAR operator and quarter response
000176 | -----------------------------------------------------
000177 | For the state-field map replace h_j(-n) in (1) by
000178 | 
000179 |   partial^(n-1) H_j(z)/(n-1)!.
000180 | 
000181 | Use the original chart transport and
000182 | H_conf(z)=O^T M(j_sea(z)+delta/z). Transport p8 with the same root isometry.
000183 | Normal products use the retained bosonic current prescription, equivalently
000184 | the existing point-split even-CAR limits with their derivative subtractions.
000185 | Equation (1) is therefore already a neutral even-CAR composite. Root fields
000186 | are used to characterize its symmetry, not to adjoin new charged fields to
000187 | the physical CAR net or transfer the old gap theorem to a bigger module.
000188 | 
000189 | The supplied source retains its state, original time and eight preimage arcs.
000190 | The field has fold weight eight and original excitation grade64. This does
000191 | not declare a c=8 point-local net equal to the original c=1 point-local net.
000192 | 
000193 | For both ACTUAL old shifts alpha=1/4 and alpha=3/4, let
000194 | d=O^T M delta and q=d.d. The exact existing source gives
000195 | 
000196 |  q=85/128,   p8(d)=1566549975/268435456,
000197 | 
000198 |  <Y_d(W8,z)> = z^-8 [p8(d)-30q^4
000199 |              +(3600q-11004q^2+10164q^3-2178q^4)/1333]
000200 |             = z^-8 *25123488075/357824462848.              (5)
000201 | 
000202 | The signs follow from partial^(n-1)(d/z)/(n-1)!=(-1)^(n-1)d/z^n;
000203 | every contraction monomial in (1) has total sign plus. No additional shift,
000204 | profile or coefficient is inserted. Equality of the two one-point values
000205 | does not identify their full quarter modules or reflection data.
000206 |