Function intersect_curve2_certified

pub fn intersect_curve2_certified(
    first: &BSplineCurve2,
    second: &BSplineCurve2,
    options: CertifiedCurveIntersectionOptions,
) -> GeomResult<CertifiedCurveIntersection2>

Classify intersections of two clamped planar B-spline curves.

The complete proof path covers exact-sign single-span polynomial lines, zero-length line PointContacts, and strict-interior Krawczyk isolation of transverse polynomial or positive-weight rational Bézier roots. Unsupported singular, tangential, coincident, seam, or proof-insufficient candidates return CurveIntersectionDegeneracy::Unresolved rather than an uncertified root.