Finite polynomial data and arithmetic enclosure

On a cell of width $h_k$, choose a concrete polynomial

Store its coefficients and endpoint-matching conditions. Its derivative is explicit. Outward-rounded interval or ball evaluation must enclose the residual on the entire cell, including input-parameter and coefficient-evaluation uncertainties.