The map $\Phi_2$ of the dimension-ten pair is PPT

The explicit map $\Phi_2 : M_{10}(\mathbb C) \to M_{10}(\mathbb C)$ of the source, $\Phi_2(B) = R^{\dagger}(E^* B E)$ where $R(A) = K\,S(A)^T K^*$ is the complementary map built from $S$ and the Hodge-type signed permutation $K$ on $\mathbb C^6$, and $R^\dagger$ is its Hilbert–Schmidt adjoint, is PPT: it is complex linear, completely positive, and its output transpose $B \mapsto \Phi_2(B)^T$ is completely positive, with complete positivity in the amplification sense of the mission.