Schedule locality and causal certificate transport

A complete finite schedule includes every quantum input, classical control, record, guard, and routing decision actually used. At each tick the complete channel factors over disjoint declared blocks.

For terminal region $Y$, define backward block sets by