Schedule past and metric containment

Consider finitely many finite carrier spaces at prescribed sites. At tick $j$, let the complete channel factor over a partition ${\mathcal{B}}_j$ of those sites. Include every classical control wire in this network. For terminal sites $Y$, define