Credential

$\mathcal M_P(X)=PXP$ has Kraus representation $\{P\}$ and is completely positive.

Correction: the original iscptp expectation is superseded. This is a selective CP trace-nonincreasing operation.