Remark: All states and complete outputs are essential

The proposition quantifies over all input states. Testing only a promise class can leave undetected directions. Also, equality of two separate input marginals on $A$ and $Q$ does not imply equality of their joint $AQ$ state.

A selectively normalized measurement branch is not generally a channel. It is not covered by the unital-adjoint proof.