Scoped exclusion
Untransported independent quarter stress pair is not a current
In the question: Common clock sectors, quartic geometry and operational reconstruction
Complete exclusion of the named real linear class of independent stress factors. No exclusion of the transported common CAR factor,general nonlinear source operations or P1. Finite CAR checks are not asserted to be full finite CCR representations.
Read the exact result, assumptions and evidence
Result
For the untransported two-factor difference D_n=2(L_n^+⊗I−I⊗L_n^−),c±1,h±1/32,the ground-state commutator is exactly n(4n²−1)/6. Values1/2 and5 at n1,2 contradict a level1 current with1,2;no common rescaling works. Every real self-adjoint linear combination aLplus+bLminus has cubic coefficient(a²+b²)/12 and thus can yield a Heisenberg algebra only trivially. The proved actual winding transport above avoids this false replacement.
Required assumptions
- Existing full cut-cover CAR source with actual winding and sea
The already constructed NS double-cover source Hcov=W0K⊕W1K is given, with common negative sea m<0 and original winding U=[[0,u_base],[I,0]], u_base e_m=e_(m+1). Quarter stress fields retain their original CAR coefficients and Wick ordering. Base intervals carry two cover preimages. This assumes the mathematical source realization and does not derive its physical P1 field map or descent into a fixed Pin collar domain.
- Original quarter CAR source with fixed fold and current dictionary
The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention data.
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original evidence
- QUARTER-STRESS-CURRENT-RECOVERY.txt lines 118–150
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/QUARTER-STRESS-CURRENT-RECOVERY.txt
5861c8516e38bd1ed303622e019c7bef182d9312a25142bc754456beac573141
- QUARTER-STRESS-CURRENT-INDEPENDENT-REVIEW.txt lines 72–106
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/QUARTER-STRESS-CURRENT-INDEPENDENT-REVIEW.txt
7cfb5a8ed59e6286e817e26733b4f9d32609825c2e093f2153c3d93d891114ef
- check_quarter_stress_current.py lines 51–99
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/check_quarter_stress_current.py
9e0378b16674598c99b08c19e633cc3108c84ba33c1ae14d5235f695f1544007
- quarter-stress-current-results.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/quarter-stress-current-results.json
d80d8494d40ac47751f90ba5dd9480cd20ddc73ea8b906b5d5ce3fcf51155668
finding:untransported-independent-quarter-stress-pair-is-not-current