Finds the bounding box and related properties of a DAGMC geometry
SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic
