Theorem: Independent physical-containment certificate

Assign every port of the complete encoded–computed–decoded network an event in the fixed regular host. Suppose every dependency edge has an actual future-causal route inside its supported operational presentation. Then

Interventions outside the prescribed physical past of the declared joint output have zero signalling, including with untouched references.

Proof. The support theorem gives the first inclusion. Concatenate the supplied causal curves along each scheduled path. Transitivity gives the second inclusion. Apply Proposition prop:nosignal.