Definition: Complete recorded instrument

A finite-outcome instrument is a family of completely positive maps $\{{\Phi }_y{\}}_y$ for which ${\sum }_y{\Phi }_y$ is trace preserving. Its recorded channel is

Every outcome, including failure, belongs to this complete channel. Discard of a classical output sums blocks without normalization.