Proposition: No instantaneous exchange on one slice

A zero-duration remote SWAP between distinct ports of a single regular marking cannot satisfy this causal architecture.

Proof. Lemma lem:slices makes the marking strictly spacelike: its time difference is bounded by $\lambda$ times spatial path length. The ports are spacelike. A SWAP would have the unit intervention witness just used, contradicting physical containment.