One-bit heralding of a remote state preparation block ($p_{\mathrm{success}}=2^{-n}$)

Apply heralded remote preparation of an arbitrary qubit independently to $n$ shared singlet states. The sender reports one bit indicating whether every local outcome was successful. A positive flag certifies that the receiver's block is the desired product of $n$ pure states; its probability is $2^{-n}$. A negative flag need not identify which states failed, since the whole block can be discarded.

// Target: algebra.bigb