#mutation-testing_

Writing

How to validate AI-written code: tests, mutation testing, proofsWhen coding agents write more code than anyone can read, checking it becomes the main job. The validation stack from types to proofs: what each layer catches and misses, what it costs, how well agents write it, how agents game their own checks, and what to use for which code. Every rule is graded by its evidence.Article6 November 2026