Manuscript Oai280-A@1 · Oai280-A.tex · remark · 27038823
Remark: Reference and preparation qualifications
A tensor-free comparison used in the finite certificate · lines 714–724
A UCP factorization remains completely positive under independent matrix-reference amplification. This is not an identification of a reference carrying shared gauge constraints with an independent tensor factor.
The use of all states, or all normal states in the normal version, is essential. A restricted preparation family may fail to separate the regional algebra. Equality on that family alone does not prove the containment in Theorem thm:comparison.