Function intersect_surface_surface_certified

pub fn intersect_surface_surface_certified(
    first: &BSplineSurface,
    second: &BSplineSurface,
    options: CertifiedSurfaceSurfaceIntersectionOptions,
) -> Result<CertifiedSurfaceSurfaceIntersection3, GeomError>

Certify bounded intersections of two clamped, internally continuous NURBS surfaces.

Coordinate-hull exclusion is available for general polynomial and positive-weight rational inputs. Complete traced segments currently require single-span polynomial affine patches. Non-affine, multispan, coincident, tangential, corner-owned, and proof-insufficient candidates remain Unresolved.