The typed schedule bound

Let a finite metric site set $(X,d_{\mathrm{comp}})$ carry local finite quantum–classical algebras. At a prescribed layer, the complete channel factors over a partition ${\mathcal{B}}_t$, with ${\mathrm{diam}}_{d_{\mathrm{comp}}}B\le \Delta$. All control records read by a block belong to that block.

For a terminal region $Y$, define