Scoped exclusion
Smooth unitary endpoint removal diverges at fixed compact source time
In the question: Historical: common source, state and event selection
Only normalized smooth UNITARY vector-state sequence on fixed compact source circle. Nonunitary sums/field intertwiners,microscopically derived charged covariance cocycles and decompactified time outside scope. Local normality away from removed point is not finite global original energy. Individuallambda_i±1/2 distinct from totalQ=sumlambda_i; two-point exponent/energy alone no128/FE-GEN/ALG-EXH proof.
Read the exact result, assumptions and evidence
Result
Original Weyl/CCR time formula andphi(theta)=f(8theta) give exactDeltaK=8sum_n>0 n²|f_n|²=(2/pi)int|f'|². Any pi->0 return squeezed intoeps costsDeltaK>=2pi/eps. Normalized W(phi)Omega states therefore have no bounded-energy separation limit under same global K reference; scalar normalization leaves Rayleigh quotient unchanged. Class lower bound,not profile scan. Known conditional K_lambda=K_0+lambda.p+lambda²/2+delta.lambda retained; its positive charged sectors are NOT excluded.
Required assumptions
- Smooth unitary pair return at fixed compact source time
Given original chiral current/Weyl source, sea and K=Hcover/8 with delta_k=(k+alpha)/8-1/2. Periodic real phi(theta)=f(8theta), normalized UNITARY vector state W(phi)Omega; pi->0 return squeezed into base width eps on fixed source circle, same original energy reference. No assertion about general nonunitary sums, charged covariant representations, sector energy connections or decompactified time. Conditional Sugawara sector energy already fixed once lambda is given.
- Fixed scalar Hardy model with quarter time
H=L²(S¹), C projects onto n≥0, B_alpha=−i∂theta+alpha with alpha=1/4 or 3/4. C and B remain fixed for every candidate. Consider scalar unimodular multiplication operators: continuous symbols for isometry classification and H1 symbols for finite excitation energy. This source class is not derived from P1/P2.
- 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
- NEUTRAL-DEFECT-PAIRS-AND-VECTOR-WARDS.txt lines 207–292
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/NEUTRAL-DEFECT-PAIRS-AND-VECTOR-WARDS.txt
e798405b02c979e0f9e77e223a097ea9ae269c3bd677a501f2becc8f00c0dda5
- ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt lines 208–223
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt
62a9eeb4519b59d4514445f9d4dd5d2059e29179956a4c97ec94b7bae9ae3094
- check_neutral_pairs_and_vector_wards.py lines 1–194
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/check_neutral_pairs_and_vector_wards.py
2f558542e6162dccdd123a2e68c2fd2a337e57adedb59a497779208c29a914c5
- neutral-pairs-and-vector-wards-results.json lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/neutral-pairs-and-vector-wards-results.json
3181894c8896cbdbfa2d6041ecbe1c6f21f6d41938d9b97f1cffddb92b415dad
finding:smooth-unitary-endpoint-removal-diverges-at-fixed-source-time