Computational support and independent causal containment

Every preparation, encoder, decoder, measurement outcome, controller variable, route-selection bit, reset, and retained record read by an operation belongs to its declared interface. All network maps are unconditional CPTP maps. Classical feed-forward is represented by controlled channels, not by a hidden state-functional scheduler.

For finite site set $X$, let