Deterministic checks for AI-written migrations

Coding agents write database migrations quickly and confidently, and the mistakes they make are the same ones people make. Why the check that catches