Error Bounds in Parametric Space
Validated ODE solver produces a priori enclosures in parametric space of each surface guaranteed to contain the true intersection curve segment.
The union of a priori enclosures bounds the true intersection curve segment in parametric space.