Last released Sep 25, 2026
Autonomous cross-boundary systems invariant verification engine built on IBM Bob 2.0