A lógica de governança é segura até que alguém encontre um desvio de votação através de uma dessincronização de estado. Isso não aparece na cobertura do código. Aparece em mutantes lógicos.
