Function certify_surface_arcs

pub fn certify_surface_arcs(
    first: &BSplineSurface,
    second: &BSplineSurface,
    options: CertifiedSurfaceArcsOptions,
) -> Result<CertifiedSurfaceArcs3, GeomError>

Certify the transversality structure of a curved surface pair.

Subdivides the parameter domain until each leaf is provably empty, provably transversal, or provably not worth subdividing further, and returns every leaf. Unlike the affine path this never collapses to a single verdict, because a curved pair is routinely part-provable and collapsing is what loses geometry.

The returned regions always tile the domain exactly; see audit_coverage.