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

The explicit map $\Phi_1 : M_{10}(\mathbb C) \to M_{10}(\mathbb C)$ of the source, $\Phi_1(A) = E\, S(A^{T})\, E^*$ where $S(A) = V^*(L \otimes L)(U A U^*) V$ is built from the integer pencil map $L$, the symmetric isometry $U$, the exterior isometry $V$ and the coordinate inclusion $E : \mathbb C^6 \to \mathbb C^{10}$, is PPT: it is complex linear, completely positive, and its output transpose $A \mapsto \Phi_1(A)^T$ is completely positive. Complete positivity is taken in the amplification sense: for every $k \ge 1$, applying the map to the second factor of a positive semidefinite matrix on $\mathbb C^k \otimes \mathbb C^{10}$ gives a positive semidefinite matrix.