Definition: Complete-output assignment

Every fixed mixed auxiliary is purified. Every inaccessible purifier, uncollected mode, controller register, detector environment, and discarded carrier belongs to the complete residual appropriate to the claim. A later physical operation enlarges that residual before a postoperation leakage claim is made.