Function one_sided_boundary_hausdorff_with_budget 

pub fn one_sided_boundary_hausdorff_with_budget(
    from: &ExactBRep,
    to: &ExactBRep,
    accuracy: f64,
    tolerance: Tolerance,
    max_splits: usize,
) -> Result<HausdorffBounds, ExactMeasureError>

one_sided_boundary_hausdorff with the caller’s refinement budget: at most max_splits splits of from’s face patches and edge spans (#227).

The interval is sound whatever the budget; a small one only leaves it wider than accuracy. Translated and identical copies close in a few dozen splits, so a caller comparing versions of a model can cap the work per pair and read an interval left open as “not evaluated”.

Errors

As one_sided_boundary_hausdorff.