Tarsius: Behavioral Safety Layer for IBM Bob 2.0
Tarsius is a behavioral safety layer for IBM Bob 2.0 that captures undocumented legacy business rules into binding contracts (.tarsius/) and verifies modernized code via differential testing, ensuring 100% behavioral equivalence.