Assumption: One-qubit quantum comparison class

Conditional on input-independent shared classical randomness, the complete input-dependent retained quantum system is a qubit. No additional input-dependent system or preshared entanglement is available to the decoder.

Fresh decoder ancillas are independent of the encoded input and can be absorbed into a qubit POVM.