Remark: The observable is not an unproved continuum compression

The target in (eq:named-observable) is defined in the finite model. If $P$ is an occupation cutoff in an infinite oscillator representation, then in general

when both sides are interpreted on the cutoff space. We do not identify our finite-matrix sine effect with the compression of an unregulated field effect. No cutoff-removal theorem or error to a continuum observable is asserted.