What model checking taught me about evaluating AI coding agentsWhy a unit test is the wrong tool for a nondeterministic agent.May 25, 2026·3 min read