Remark: Required implementation checks

For a supplied single update operator, require ${M_a}^{†}{M}_a=E_a$; for several operators use their sum. Declared footprints do not establish tensor locality. Remote postselection is not a trace-preserving unconditioned channel. Finally, equality of effects does not imply equality of instruments.