Established in scope
Intrinsic source variation separates frame rotation from genuine source/embedding change
In the question: Automated construction of operator maps and sources
Supplied finite/regulated charts; the state interpretation of h requires the quasi-free premise. No new physical gauge connection, Phi coupling or global anomaly/determinant-line triviality. Compression is not interchanged with functional calculus.
Read the exact result, assumptions and evidence
Result
For C_F=Q*C_Sigma Q, with a=Q*partial Q and N=(I-QQ*)partial Q, exactly nabla C_F=partial C_F+[a,C_F]=Q*(partial C_Sigma)Q+N*C_Sigma Q+Q*C_Sigma N. The existing faithful modular reader obeys nabla h(C_F)=Dh(C_F)[nabla C_F]. Pure frame motion can generate ordinary nonzero off-diagonal entries while both covariant variations vanish exactly. Genuine normal embedding motion remains; the identity does not select Q, Phi or their original provenance.
Required assumptions
- Given differentiable isometric embedding in fixed source charts
Q(Phi) is a differentiable isometry from finite/regulated carrier coordinates into a fixed source Hilbert chart, with differentiable covariance C_Sigma. a=Q*partial Q and N=(I-QQ*)partial Q are its induced frame/normal components. This premise does not select Q or Phi from P1; moving source charts and unbounded operators require additional connection/domain conditions.
- Given differentiable faithful covariance chart with explicit sector embedding
Finite or explicitly regulated CAR one-particle chart with 0<C<I; h(C)=log(I-C)-log C. The individual sector-block statement requires fixed sector projectors commuting with the background covariance; moving embedding, grading, scale and source must be differentiated separately. Interpretation as a complete state uses the quasi-free hypothesis. No physical P1 source or Phi insertion is selected.
- 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
- P1-COVARIANT-INSERTION.txt lines 26–146
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/P1-COVARIANT-INSERTION.txt
ebb9e0cb15cdc017914d8567131c8d8b75855f20e05551b6f7b350989061e152
- p1-covariant-source-jet.json lines 1–11
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-covariant-source-jet.json
8f8f9ae5da049b5d110ba74b0c4f042fcab652db69dfe2df8a8867086c23d7ff
finding:intrinsic-source-jet-removes-pure-field-frame-motion