The common terminal detector

This is the trace-distance measurement principle Helstrom1976, not a license to compare unbounded generators in diamond norm.

Ideal $x^2$ readout preserves position total variation for even densities: folding sends $f(x)$ to $2f(|x|)$. An odd density difference is lost. Finite response, binning, and jitter can lose more information.