Google verified an AI-generated Rust rewrite by fuzzing it against the original C library for 200 million iterations.
Ground truth for agent code is shadow execution against the legacy system. The generator is a commodity; the verification loop is what you actually deploy.