The scheduled locality theorem

At every tick, the complete finite channel factors over a supplied partition ${\mathcal{B}}_s$ of finite sites:

Every record, selector, task table, control, reset, and resource wire read by a block is included in its declared interface.

For terminal sites $Y$, define