Last released Sep 6, 2026
Deterministic verification for AI coding agents: did it fix the source, or just hack the tests?