Parametric B-Rep Feature-DAG & 164-Mate Assembly Verifier
A feature dependency graph is re-evaluated against 164 assembly mates to catch over-constrained and dangling references before export. Rank-nullity on the constraint Jacobian isolates every conflict with its participating mate indices.