Pure-state gentle measurement bound

If $M$ is a positive contraction and $p=⟨\psi |M^2|\psi ⟩>0$, the normalized successful post-measurement state is $M|\psi ⟩/\sqrt{p}$. Since $M^2\le M$,A likely outcome therefore preserves a pure input well in quantum fidelity when its measurement operator is positive. Positivity excludes a hidden unitary rotation that could otherwise change the state even for an outcome of probability one.