Reference-preserving finite approximation

This section proves the finite-channel approximation for the interacting model itself. It does not assume source relaxation, Markovian reduced dynamics, or a small complementary channel.

Let $N_B=\mathrm{d}\Gamma (I)$, and let $P_m$ project onto reservoir sectors with at most $m$ particles.