Reported flat-limit and front samples

At $\zeta =3$ and $\psi /(\pi \alpha )=0.5$, the supplied untwisted flat-limit samples are:

These are compatible with the restricted limit in Appendix app:flat; they do not establish uniform coverage near a boundary.

For the massless diffracted front at

the supplied values of $\sqrt{t^2-{{\rho }_0}^2}{G}_{+}^{\mathrm{dif}}$, at $t-{\rho }_0=10^{-2},10^{-4},10^{-6}$, are respectively

The supplied comparison coefficient is $0.0229564$. The exact coefficient is (eq:front).

finite-coverage inference. The finite samples test the stated implementations at the stated inputs. They do not test every angular boundary, every test function, every extension, or every residual distribution. Proposition prop:coverage remains the relevant logical distinction.