Schedule locality, transport, and a resource ledger

A complete finite schedule includes every quantum register, classical record, guard, and control actually used. At each tick let the channel factor over disjoint declared blocks. Reserve output records as explicit registers.

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