Verified Spec-Driven Development (VSDD)
Le VSDD fusionne le développement guidé par les spécifications, le développement piloté par les tests et le développement orienté vérification dans un pipeline piloté par l'IA, où l'humain demeure l'autorité stratégique. La phase 1 crystallise les spécifications comportementales, l'architecture de vérification et la frontière de pureté, associant chaque exigence à des propriétés vérifiables et à une traçabilité Chainlink. La phase 2 applique le test-first, générant les tests à partir de la spec, écrivant le minimum de code pour les faire passer et procédant au refactoring sous contrôle humain. La phase 3 soumet le code à un Adversarial Refinement, où Sarcasmotron évalue fidélité, qualité des tests, qualité du code et sécurité, avec un reset de contexte à chaque passe et des critiques ciblées. Le processus se poursuit par un durcissement formel et une convergence multidimensionnelle où spécifications, tests, implémentation et preuves formelles convergent et restent parfaitement traçables.