Lemma: One-layer support

The reduced output channel on $Y$ depends only on the block channels meeting $Y$.

Proof. The complement of $U_s(Y)$ is a union of blocks. The output observable is the identity on those blocks. Their adjoints are unital, since their complete channels are trace preserving. They contribute only input identities. The remaining factors act inside $U_s(Y)$.