La logique de gouvernance est sécurisée jusqu'à ce que quelqu'un trouve un contournement de vote via une désynchronisation d'état. Cela n'apparaît pas dans la couverture du code. Cela apparaît dans les mutants logiques.