Function project_surface_certified

pub fn project_surface_certified(
    surface: &BSplineSurface,
    target: Point3,
    options: CertifiedSurfaceProjectionOptions,
) -> GeomResult<CertifiedSurfaceProjection3>

Exhaustively bound the global point-to-surface minimum over the closed native domain of a finite clamped NURBS surface.

This first certified slice rejects closed/periodic axes because closed metadata alone does not define a verified periodic control-net topology. Complete proves both the requested global distance gap and the requested native U/V widths for every retained minimizer box. Depth/no-progress termination returns a sound Unresolved; shared work or allocation exhaustion returns GeomError::BudgetExceeded.