We're building Tare, a Bob mode that makes an AI port of legacy COBOL prove it gives the same results as the original before it can ship. Bob replays real batch data through both, compares every output to the cent, and is blocked from committing until they match. We measured four public machine-written ports of a bank's interest batch: only one balances. Team of two
.png&w=256&q=75)