TFPT scientific source excerpt Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/ATLAS-KMS-LOCALITY-AND-SOURCE-WINDING.txt Original file SHA-256: a072b1a28c1e065ae3311df9a3e9cdbbeff6f4838a81e739e69490c6cc43618e Inclusive original lines: 1-41 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. 000001 | UR.SEAM.MIXED_CURRENT_ORIGIN.01 -- 23 October 2026 000002 | Atlas re-audit: can modular/KMS reconstruction make the global spinor map local? 000003 | Verdict: PARTIAL. The proposed automatic KMS/local-modular rescue fails. 000004 | No new physical P1 spinor sector is constructed or universally excluded. 000005 | 000006 | 1. Why this route, and what is already decided 000007 | 000008 | The live Atlas has113source-reviewed findings for the common-source problem. 000009 | The actual neutral8preimage pair, exact global odd-spinor Phi and conditional 000010 | local parity-Gauss completion are POSITIVE results retained here. Fixed-source 000011 | nonunitary compactness and complete-Dirac vector cancellation are reused; 000012 | no new profile, source-copy multiplication or scalar phase search is run. 000013 | The changed question is whether the older KMS/modular uniqueness theorem 000014 | provides the missing physical local operator comparison for that global Phi. 000015 | 000016 | Original sources actually checked through Atlas read_source: 000017 | documents/articles--2026-08-29--holomorphic_kms_extension_en/sections/ 000018 | 001-section-setting-and-correction-of-terminology.tex, lines44-118,163-190; 000019 | 002-subsection-the-frozen-car-covariance.tex, lines68-228; 000020 | 003-section-what-this-closes-and-does-not-close.tex, lines73-92. 000021 | Also ODD-SECTOR-REFIELDING-AND-NAHT.txt, sections2-5, and the full-source 000022 | spectral exhaustion. The older17September audit concerns real dilation vs 000023 | unitary phase, a distinct previously excluded identification not rerun here. 000024 | 000025 | 2. First identification: what the KMS theorem actually assumes 000026 | 000027 | The holomorphic-KMS paper assumes B exists, has c8,mu_B1 and an irreducible 000028 | index4 inclusion A=B^Z4. Its subnet state is DEFINED as Phi_beta^B|A. 000029 | Consequently Phi_beta^B is an extension by definition. Once these hypotheses 000030 | hold, averaging E and invariant-state extension uniqueness are valid: 000031 | E=(1/4)sum_r alpha_r, psi invariant => psi=psi|A composed E. 000032 | None of this constructs B, its charged local generators or their products. 000033 | E is defined ON B and kills nonzero grading components. The paper itself 000034 | explicitly retains the microscopic non-bilinear-field identification gap. 000035 | The parent theorem is not refuted by observing this conditional structure. 000036 | 000037 | There is also a time distinction: that theorem uses conformal rotation L0. 000038 | The actual given folded SOURCE time is H_source=8K, K=L0+delta.p. 000039 | Neither angular beta2pi nor the rotational-KMS classification is silently 000040 | identified with a physical beta for H_source. The thermal test below is 000041 | valid for EVERY beta>0 for the specified H_source; no temperature is fitted.