Corollary: A fixed inaccessible register does not emit by itself

If a code has constant accessible channel at a fixed cut, operations confined to $B$, with no outputs delivered across that cut, cannot make that accessible channel input dependent.

Proof. Apply Lemma lem:local to each local operation and compose.