Validated spectral quadrature

The embedded optional validated calculation uses exact rational interval Taylor evaluations, including a Machin-identity enclosure for $\pi$. It does not assume floating-point trigonometric evaluations are rigorous. Ordinary floating central values are separately labelled diagnostic.