Function restore_containment 

pub fn restore_containment(
    model: &mut Model,
    shape: &Shape,
) -> OgeomResult<usize>

Restore tolerance containment below shape: every edge widened to at least the faces it bounds, every vertex to at least the edges it bounds.

The rule check enforces, established the only way the data model allows: by raising what is bounded, never lowering what bounds. Each face and then each edge is widened to its own tolerance through Model::widen, which cascades to everything below it and leaves anything already looser as it is. Returns how many entities grew.

An operation that widens an edge’s tolerance by writing it directly (a reader recording how far a pcurve sits from its curve) leaves the edge’s vertices behind; this is the pass that brings them along.

Errors

OgeomError::Dangling if the shape, or anything below it, does not resolve in this model.