Complete schedule locality

Reserve a finite set of sites and records. At each tick the complete channel is a tensor product over disjoint blocks. Include control records and all accessible auxiliaries in that network. Require every input-output dependency to be mapped by the port-event dictionary into the prescribed causal relation.

For terminal region $Y$, recursively define