The exact finite-domain interaction

This is coherent extraction, not copying all number labels while leaving a distinguishable low-number environment. Finite output does not imply a finite environment on the whole oscillator: an isometry from an infinite-dimensional input cannot have finite-dimensional output and environment simultaneously.