Skeletons, support, and complete control

Its complete channel ${\Phi }_{\Gamma }$ is evaluated in a topological order. Independent operations on disjoint owned factors commute, so the channel does not depend on the chosen legal order.

Operation support means the labelled vertex points, or their declared compact neighborhoods. Wire routes and retained memories are also part of the skeleton, but are not reselected when a local instrument is replaced.

The class is closed under finite disjoint composition and under well-typed recorded continuations whenever their gluing is acyclic and obeys the displayed causal constraints.