Manuscript En05-C@1 · En05-C.tex · section · aa213ea6
Stage C: independent references and complete instruments
Stage C: independent references and complete instruments · lines 703–712
This tensor product represents an independent external reference, not a spatial complement of the gauge system. It is the matrix-level version of the reference clause in the supplied comparison and soundness interfaces CheungEn05A,CheungEn05B,CheungEn06A,CheungEn02C. The operator-system framework distinguishes matrix-level positivity from mere scalar positivity Arveson.
Nearby in this section
- corollary: Corollary: Reference-stable comparison
- remark: Remark: The joint-snapshot caveat
- remark: Remark: References carrying shared gauge charge
- definition: Definition: Complete algebraic recorded instrument
- proposition: Proposition: Complete record accounting
- section: Stage C: independent references and complete instruments