Crate axiolid_brep_audit

Geometric consistency auditing for exact boundary representations.

Why this exists next to audit_brep

audit_brep is pure topology: handles and adjacency, no coordinates and no tolerance. That makes it exact and reproducible, and it is deliberately kept that way.

It also means a whole class of defect passes it silently. A pcurve that has nothing to do with the 3D edge it trims still resolves, still closes its loop, and still balances its edge uses. Every variant of ExactBRepError is likewise about PRESENCE – is there a pcurve, does the handle resolve – never about AGREEMENT.

That gap is not hypothetical. An earlier arc-aware overlay built cap loops whose pcurves were straight chords across arc edges. The solid closed, validated, audited clean, and reported a plausible area, while the cap boundary disagreed with the wall boundary along the same edge.

This module closes that gap by EVALUATING. Each check maps parameters to points through the real evaluators and compares positions, so it is necessarily tolerance-dependent – which is exactly why it is separate from the exact topological audit rather than folded into it.

Structs

GeometricHealth

Result of a geometric audit.

Enums

GeometricDefect

One geometric inconsistency, with enough detail to locate it.

Functions

geometric_audit

Audit the geometric consistency of an exact B-rep.