La safety stack de l’AI: types, contracts, property tests et mutation gates
Si vous voulez que du code généré par AI tienne en production, le code review seul ne suffit pas. Il faut une safety stack en couches, des type constraints jusqu’au mutation testing et au runtime containment.
Le vrai danger du code généré par AI n’est pas qu’il soit toujours faux. Le vrai danger, c’est qu’il est souvent suffisamment plausible pour être mergé. C’est…