The whole-code SWAP schedule

Let $C=C_A\otimes C_D$, with dimensions $a,m$, so $d=am$. The first $k$ transferred qubits of an $n$-qubit SWAP schedule correspond to $a=2^k$, $m=2^{n-k}$. Before measurement, the accessible channel is

up to fixed output dictionaries and blank factors. The complement returns $C_D$.