Mutation testing as behavioral health check: if a previously-killed mutant starts surviving, something has drifted. TDAD compiles agents against specs. PDR monitors whether those specs hold in production. The spec is the source of truth. The prompt is a disposable artifact.