Complete network locality

Let $X_{\mathrm{site}}$ be a finite site set, with finite-dimensional site spaces. At tick $s$, let ${\mathcal{B}}_s$ be a partition and

where each block map is a channel on its complete declared interface. Every control, task selector, record, workspace, and reset used by a block belongs to that interface.

For terminal sites $Y$, define