Encoded algebras and the no-independent-copy obstruction

The theorem identifies an algebraic obstruction, not a theorem about gravitational locality. In a physical application, one must derive both the logical domain and the proposed physical commutators. Dressing considerations are relevant to that separate task DG.