Established in scope
Signed one-particle modular weight differs from positive even heat operator
In the question: Automated construction of operator maps and sources
Only the literal operator comparison, not every correctly defined source transport or the supplied KMS theorem. Exponential domain controls the negative tail and is neither simply H1 nor a subset of all Sobolev domains.
Read the exact result, assumptions and evidence
Result
The given two-sided signed circle generator has positive unbounded exp(-k), whereas even heat operators are bounded. A two-level exact test separates them. Finite Fock and GNS modular densities act on different spaces. Valid v259 moment arithmetic is retained, while literal untransported operator equality cannot derive the heat profile.
Required assumptions
- Constant odd circle-source coefficient with existing sea and full boundary graph
In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.
- 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
- B1-OPERATOR-INFORMATION.txt lines 1–155
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-OPERATOR-INFORMATION.txt
f9ef51cfad6d16ce0b95b9a6793a4604f8d15a8bf08993aee197191b7af73e5c
- check_b1_operator_information.py lines 1–63
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_b1_operator_information.py
3fcbbc88f79fcaeaf0b6c53b3381efb97d2ac77f95e8a11200ff4b3f6314adcb
- B1-OPERATOR-INFORMATION.json lines 1–49
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-OPERATOR-INFORMATION.json
7b2a14013e1e9af782691fa4e82d01f592dbb052632538b025b4cba8171c2f8b
- v259_modular_cutoff_kappa.py lines 1–106
Source checked at this snapshot
Original location and fingerprint
verification/v259_modular_cutoff_kappa.py
cc4ed41b68b91dba52e8e30552a41e671bba1d84a1c03837455c96c5121c18b8
finding:signed-one-particle-modular-weight-is-not-the-positive-even-heat-operator