Lemma: Frequency-mesh error

For the occupation-truncated prepared isometries,

Proof. On sectors with at most $m$ particles,

The source and interaction terms are unchanged. Duhamel's formula for bounded self-adjoint operators gives the stated unitary difference. The invariant active-mode space realizes the discretized prepared evolution exactly. Restriction to the code preserves the bound.