Last released Apr 11, 2026
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.
Supported by
