Oito erros, sete camadas

… O agente não se irrita nem um pouco com mensagens de erro. Para ele são simplesmente uma informação sobre para onde ir em seguida, e quanto mais precisas as verificações, mais rápido ele chega a um código que passa em todas. Aqui se fecha o círculo que Pelevin começou. A esteira de verificações é o teste exaustivo do método de Reznik, só que montado com ferramentas de verdade. O modelo gera variantes, a esteira as seleciona, e a qualidade do resultado é determinada pela qualidade da seleção. A inteligência do sistema, como antes, mora na verificação.