Remark: Geometric embedding versus microscopic implementation

The theorem certifies the complete finite channel and the causal embedding of its tick-boundary dependencies. It supplies no continuous-time Hamiltonian that implements a two-site SWAP inside one tick, no detector model for its intermediate dynamics, and no field-theoretic derivation of the channel. Those are additional physical-realization obligations, not consequences of the endpoint permutation.