Spectator-extension invariance

A spectator extension of ${\rho }_{\Gamma }$ to a disjoint interface $N$ is any admissible state satisfying

The extension may be entangled. Existing classical registers must remain classical in the full joint state.