Excluded changes

The width remains fixed. Positivity at that width proves no statement about $\epsilon \to 0$. No sharp limit is used to avoid the orbit theorem.

The convolution coordinate response

and the ramp response ${\mathsf{Co}}_1$ remain their source definitions. An Enter operation acts on a finite encoding or record, not on either classical definition.

Subtracting a coordinate term, changing a switch, or replacing convolution by the ramp would require a new classical prescription and covariance proof. Those changes are outside this release, not measurement updates.