Definition: Complete-output enlargement

Every added mixed auxiliary is purified. Its purifier, inaccessible controller registers, detector environments, discarded radiation, and other inaccessible dilation outputs belong to the complete residual unless explicitly made accessible. The ideal assignment $B=M$ does not justify ignoring new outputs.