erdl
Determinism isn't tested — it's proven. SMT-based formal verification for ERDL, the rule language of enterprise AI agents.