Established in scope
Holomorphic KMS theorem assumes charged net and supplies no microscopic generator
In the question: Historical: common source, state and event selection
Source-reviewedconditionaluniqueness reused,notrefutationofabstractmaintheoremorgeneralKMSreconstructionno-go. ThistheoremalonedoesnotcloseFE-GEN/ALG-EXH/P1. MCPnavigationlimits separatelydocumented: exactclaimnot_compiled despiteknownproblemreviewedfindings;450kpacketexceeds60kAPI. Completecanonicalprogram.jsonrecordchecked; noserverfixorfullMCPpacketdeliveryclaimed.
Read the exact result, assumptions and evidence
Result
Originalarticle§1/§4 assumesB,mu_B1,c8,index4A=B^Z4 anddefinesomega_beta=Phi_beta^B|A. KMSextension existence is therebygiven; groupaverageE/invariantstateuniqueness applyonexistingB. Eprojectsneutralgrades,doesnotgeneratechargedlocalfields. Originalconclusion explicitlyretainsmicroscopicnonbilinear/lineidentificationgap. RotationalKMSclassification usesL0,notuncheckedH_source=8(L0+delta.p).
Required assumptions
- Given holomorphic KMS inclusion with distinct local/global domains
Testing the cited abstract theorem assumes already existing holomorphic conformal c8netB,mu_B1,A=B^Z4,irreducible localindex4 andinternalgauge commutingwithrotations. omega_beta is DEFINED as Gibbs(B)restriction. Distinguish globalGNS KMSmodulargroup,L0rotations andlocalmodulargroups ofrestrictedfaithfulstates. These premises do not constructmicroscopicBfromP1; originalH_source=8(L0+delta.p) isnot silentlyidentifiedwithL0orphysicalbeta_angle2pi.
- 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
- ATLAS-KMS-LOCALITY-AND-SOURCE-WINDING.txt lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/ATLAS-KMS-LOCALITY-AND-SOURCE-WINDING.txt
a072b1a28c1e065ae3311df9a3e9cdbbeff6f4838a81e739e69490c6cc43618e
- 001-section-setting-and-correction-of-terminology.tex lines 44–118
Source checked at this snapshot
Original location and fingerprint
documents/articles--2026-08-29--holomorphic_kms_extension_en/sections/001-section-setting-and-correction-of-terminology.tex
68bd3c0ff07ad36144b286c908a2de2dfebbfa260c0892e334f795fe0c6ae063
- 002-subsection-the-frozen-car-covariance.tex lines 68–105
Source checked at this snapshot
Original location and fingerprint
documents/articles--2026-08-29--holomorphic_kms_extension_en/sections/002-subsection-the-frozen-car-covariance.tex
afb3b8aa137042aa4829e06b04c177fbb7f21661493ce2a5dbab66e2669c21ea
- 003-section-what-this-closes-and-does-not-close.tex lines 73–92
Source checked at this snapshot
Original location and fingerprint
documents/articles--2026-08-29--holomorphic_kms_extension_en/sections/003-section-what-this-closes-and-does-not-close.tex
e6c0def35adfd7171a4b9510577d146b3f19125050aed8bfe95de209a56f6e0b
- ATLAS-MCP-ROUTE-20261023.txt lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/ATLAS-MCP-ROUTE-20261023.txt
f813ccd04d8e494b01a5741abb7b2be86dc76c9c48993ca7fb7bec4b94501138
- CLAUDE-KMS-AND-WINDING-REVIEW.txt lines 1–44
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/CLAUDE-KMS-AND-WINDING-REVIEW.txt
3c8a3e179a9a986441523c429fe905995f5d81d42129ec735f21ec32750f2642
finding:holomorphic-kms-extension-assumes-charged-net-and-not-microscopic-generator