Function intersect_curve_surface_certified

pub fn intersect_curve_surface_certified(
    curve: &BSplineCurve<DVec3>,
    surface: &BSplineSurface,
    options: CertifiedCurveSurfaceIntersectionOptions,
) -> Result<CertifiedCurveSurfaceIntersection3, GeomError>

Certify all isolated transverse roots of curve(t) = surface(u, v).

The implementation accepts finite polynomial inputs and rational inputs with finite, strictly positive weights. All axes must be clamped and have continuous internal span joins (internal multiplicity 1..=degree). Full-multiplicity internal knots are valid NURBS representation but are not supported by this certified query. A successful certificate uses outward rational Bézier bounds and a strict interior 3D Krawczyk image. Tangential, singular, patch-boundary, and proof-insufficient cases are returned conservatively as Unresolved.