Singlet-triplet measurement causality obstruction ($\mathcal{M}(\rho )=P_s\rho P_s+(I-P_s)\rho (I-P_s)$)

The binary Lüders rule measurement of singlet versus triplet preserves the entire triplet subspace, but its nonselective channel permits signalling. Starting with $|00⟩$, Bob retains $|0⟩$. If Alice instead applies a local Pauli X gate, the input is $|10⟩$ and the channel outputs the equal mixture of $|{\Psi }^{+}⟩$ and $|{\Psi }^{-}⟩$; Bob has reduced density matrix $I/2$. Thus no spacelike local implementation can realize this channel. A Bell-state nondemolition measurement has a finer triplet readout and a different nonselective channel, so this obstruction does not exclude it.