Contract-first validation framework for reproducible computational workflows. Six kernel invariants, 23 scientific domains, 746 proven theorems, 20,221 tests, three-layer C/C++/Python architecture, three-valued verdicts.
