The explicitly added residual programs

This is no-signalling, not a statement that conditional radiation states cannot change. Conditioning on a supplied measurement outcome is a different operation.

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