Vai oltre gli esempi scelti a mano. Specifica invarianti, lascia che un generatore vada a caccia di controesempi, e accoppia la disciplina con agent che propongono le proprietà che hai mancato.
Parte di: Code testing per agentic dev