TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/CONTINUOUS-TIME-NONUNITARY-SECTOR-TEST.txt
Original file SHA-256: eb31933e4bbf3c1da2b02661381ddf128d37a1d7ebc507bb66982c2c78944897
Inclusive original lines: 273-308
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.

000273 | 7. Necessary exclusions and countercontrols
000274 | 
000275 | (a) Without continuity F(0)=n: v_N a unit vector at energy E_N->infinity
000276 | has n_N=1,F_N(t)=exp(-tE_N)->0 for all t>0. The lost norm is a jump at0.
000277 | (b) A diverging first moment ALONE does not imply failure: put mass1/N at
000278 | energy N^2 and the rest in the vacuum. Mean energy diverges, while the
000279 | vectors converge in norm to the vacuum and F(t) is continuous at0.
000280 | (c) Without finite low multiplicities: H_N=I on N-dimensional degeneracy,
000281 | v_N=e_N, has continuous e^-t but no norm compactness in the fixed embedding.
000282 | (d) Without the full observable comparison B: the existing global odd
000283 | Phi can preserve H,Q and the neutral vacuum correlators while changing
000284 | the odd-sector Cartan action. It is outside B, not a counterexample.
000285 | These controls are essential; do not replace them by an energy-only or
000286 | norm-only conclusion. Local normality of a DHR sector alone supplies
000287 | neither A-D nor its microscopic source origin.
000288 | 
000289 | 8. Consequence for the original research decision
000290 | 
000291 | The actual neutral pair and its uniform16component parity-cut action
000292 | remain valid. No new local charged sector was produced by it. The whole
000293 | nonunitary fixed-source class with the SAME global norm, continuous time
000294 | and full retained observable map is now excluded as an origin of a
000295 | disjoint spinor representation.
000296 | 
000297 | A genuine escape must supply an originally justified charged comparison
000298 | of state, time/reference and observable action (or a demonstrably different
000299 | local-net/Gauss realization). The conditional charged energy rule K_lambda
000300 | is already fixed once the sector is given; freely writing it does not
000301 | prove that comparison. Singular limits losing the global time/norm
000302 | contract cannot be called a solution of that contract.
000303 | 
000304 | This remains a source-specific result, not an all-P1 no-go. Single-register
000305 | half-flux, original parity pairs, changed Gauss nets, the standard DHR
000306 | sectors and the original native Hamming/E8/J/4/5/20/carry structures keep
000307 | their separate, previously recorded scopes. The primitive P1/source-circle
000308 | and chiral measure origin are still not derived.