Verification Loops: Make It Prove Itself

Parte do curso de Vibe Coding: Advanced Engineering

Um modelo vai lhe dizer que o código dele está correto. Ele não está mentindo e não está certo; ele não tem como saber. Correção é algo que se estabelece rodando código contra uma definição de correto, e a pergunta interessante para uma pessoa sênior é como escrever essa definição de modo que ela pegue as falhas que o código gerado de fato tem.

Peça a um modelo uma função e os testes dela, e você recebe testes para os casos que a implementação já trata. Isso não é má-fé, é o mesmo processo generativo produzindo os dois artefatos a partir do mesmo entendimento. Os testes herdam exatamente os pontos cegos da implementação. ...