Verification Loops: Make It Prove Itself

Часть курса Vibe Coding: Advanced Engineering

Модель скажет вам, что её код правильный. Она не врёт и не права: узнать этого она не может. Правильность устанавливается запуском кода против определения того, что считать правильным, и для зрелого инженера интересен вопрос, как написать такое определение, чтобы оно ловило именно те сбои, которые бывают у сгенерированного кода.

Попросите у модели функцию вместе с тестами, и вы получите тесты ровно на те случаи, которые реализация уже обрабатывает. Дело не в злом умысле: один и тот же порождающий процесс делает обе вещи из одного и того же понимания. Тесты наследуют слепые пятна реализации в точности. ...