The external residual program

Thus the phrase “empty the bin” is only operational forgetting at this interface. It does not prove annihilation of the physical residual or its apparatus.

For an infinite residual, partial trace remains well defined. The theorem does not provide a finite program that measures infinitely many modes.