Detection and cost in a bandlimited explicit-formula certificate: an exact predicate, a corrected reach law, and a finite-model frame-theory comparison
Bandlimited positivity certificates for the Weil explicit formula choose a finite-dimensional space of real, even test functions supported in $[-L,L]$ and try t