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