Proposition: Validated enclosure

For the explicit compact ghost of the science volume, with width $d=0.09$ and $p(u)=u$, monotone interval Riemann sums give

and $0$ is not in that interval. Support and regularity are exact by construction. The quadrature error is enclosed. The enclosure is corroboration of the analytic sign. It is not a substitute for Proposition prop:nonvanishing, and it is not a certificate that every kernel is obstructed.