Make every line of AI‑generated code provably correct.