Remark: References carrying shared gauge charge

If the reference shares a Gauss constraint with the system, an unrestricted tensor product is not its declared physical interface. Specify the joint constrained global and local algebras and apply Theorem thm:comparison to those inclusions. No claim of independent reference preparation then follows.