The complete network

At each tick, let the complete finite channel factor over a prescribed partition of finite sites into blocks. Include all retained classical records and all control wires in the dependency description.

For a final site set $Y$, define backwards sets by