La Guerre du Codage IA se Déplace vers la Vérification : CI, Tests et Fusions Sécurisées