Scoped exclusion
Direct sharp half flux fails register/quotient locality and local normality
In the question: Historical: common source, state and event selection
Only unchanged sharp actions under their separate actual contracts. Smooth punctured-circle sectors may be locally normal and globally inequivalent and remain open; full-CAR implementability does not imply trivial even sectors. Phi/Sigma witnesses not identified without a map. RightHom(s tensor beta,beta) absorber distinguished from charged field. No all-P1 assertion or microscopic E8 closure. Unavailable user18+38 package not claimed replayed; own original controls and analytic proofs separated.
Read the exact result, assumptions and evidence
Result
22Oct pasted half-flux report independently checked: F_A Z F_A*=-Z while registerZ stays even; finite matterAdP_A inner despite transport/fusion/exchange relations; v746 pair-currentK_j even,clock-invariant and half-flux-flipped in each base window. Direct sharp chiral sign change has non-HS covariance difference near jump with log((eps+delta)^2/(4epsdelta)) divergence; Araki root-HS necessity and even crossed-product extension exclude local normality also on standard even free net. Current v1033 builder Nx8Ny8 confirmsR(d,k)=(2,1),NS(0,0); uniform fixed-filled R has<nLnR>0 versus quasifree1/4,purity1/2. Common flux changes both edges. F_A does not identify complete prescribed NS/R state responses.
Required assumptions
- Sharp half flux in separate original net/state contracts
Check separately under their own premises: v1033 with expressly ADDED M4 flux register,F_A=X² tensor(-1)^N_A,even algebra M4 tensor CAR+,common strip flux and uniform fixed zero-space filling; v746 with full CAR of paired window I union(I+N/2),NS-clockS^(N/2),halfcircle sign; direct chiral free limit as sharp-sign Bogoliubov on standard locally normal NS CAR net. No unproved identification of these nets and no exhaustion of smooth/renormalized outer-field limits. Even-to-full normality argument uses the standard free local factor contract.
- 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
- HALBFLUSS-UND-CLAUDE-REVIEW.md lines 1–102
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/HALBFLUSS-UND-CLAUDE-REVIEW.md
2132c27bf458130c0c184636256f709a6806c46471ac2c3e6593bce051a7014f
- check_half_flux_audit.py lines 1–90
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/check_half_flux_audit.py
fe487e44b56d4ca278bf51b299df0c529eafa3a34b2c5dae8403260a5860bb06
- half-flux-audit-results.json lines 1–47
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/half-flux-audit-results.json
b6b385cbd57357a5e102f5c50072d270c802eded0bff2ea90f819bd950d46041
finding:sharp-half-flux-register-quotient-and-local-normality-exclusion