O processo de comparação das predições do modelo aos outros "verificado" códigos para determinar que o código do modelo é Carneiro corretamente.