Definition: Causal finite circuit

A causal finite circuit assigns a complete finite hybrid channel ${\Phi }_v$ to each vertex of a typed skeleton. Initial fixed resources are prepared at declared source vertices. The unknown external input may be entangled across its ports and with an untouched reference.

Every classical control read at a vertex is part of an incident or locally retained wire factor. The channel at that vertex is fixed before the unknown input is supplied.