Verificar trabalho de agente de IA: confira o registro, não o resumo.

Primeiro, a resposta curta

Você não verifica o resumo. Você verifica o registro. Todo trabalho de agente se divide em afirmações: cada arquivo que ele diz que escreveu, cada mensagem que diz que enviou, cada número que diz que levantou. Cada afirmação ou tem um registro embaixo dela, feito na hora em que a chamada rodou, ou não tem. Essa divisão é o método inteiro. O resto desta página é executar o método num exemplo real, com calma, e deixar claro onde ele para.

O que é um recibo verificável

Um recibo verificável é o registro de uma chamada, fixado na hora da execução. Ele traz a ferramenta que rodou, o horário, as entradas registradas e o resultado salvo, e carrega um compromisso SHA-256 calculado sobre esse resultado salvo no momento em que a chamada terminou. Como o compromisso nasce junto com o resultado, qualquer mudança posterior no resultado muda a conta: recalcular e comparar mostra a diferença.

O formato desses recibos é o AER-1, publicado como IETF Internet-Draft draft-zambo-aer1-26, para que qualquer ferramenta possa emitir recibos no mesmo formato e qualquer pessoa possa conferir, sem conta no sistema de origem. No Zambo, a camada de trabalho verificável para IA, toda chamada feita por zambo.dev/mcp volta com o recibo dela na hora em que roda.

Um recibo verificável prova uma coisa precisa: o resultado salvo não foi alterado desde que foi salvo. Essa precisão é a força dele. Quem promete mais do que isso sobre um registro está vendendo outra coisa.

As três verificações

1. Recalcular. Refaça a conta do compromisso. Pegue o resultado salvo no recibo, calcule o SHA-256 sobre os bytes canônicos do registro e compare com o compromisso que o recibo carrega. Bateu, o resultado salvo é o resultado que a chamada salvou. Não bateu, o registro mudou depois da execução. Atalho honesto: cole o link do recibo em zambo.dev/verify e a página faz essa conta na sua frente, em cerca de 30 segundos, sem conta.
2. Comparar. Leia o resultado salvo, não a descrição que o agente fez dele. O resumo diz que o preço levantado foi um; o recibo guarda o valor que a chamada de fato retornou. É nessa leitura que moram as divergências que importam: etapa pulada descrita como feita, número arredondado virando número exato, fonte citada que diz outra coisa.
3. Confirmar o registro. Num trabalho de várias etapas, confira o registro do fluxo: a chamada aparece entre as etapas do trabalho, na ordem em que o agente afirma que ela rodou? O registro do fluxo amarra os recibos das chamadas em sequência, então etapa acrescentada, removida ou reordenada depois do fechamento aparece na comparação.

Recalcular sem comparar prova integridade sem julgar conteúdo. Comparar sem recalcular julga um texto que pode ter mudado. Confirmar o registro sem os dois primeiros aceita a ordem sem conferir as etapas. As três juntas são a verificação.

Exemplo trabalhado, com o mesmo recibo real

Verificação de um trabalho maior é a mesma operação repetida, etapa por etapa, começando pela chamada da qual dependem o pagamento ou a decisão. Se o seu caso é o agente que já declarou o trabalho pronto e você precisa provar o que ele fez, a página irmã trata exatamente disso: meu agente de IA disse que terminou, como eu provo?

Onde a verificação não alcança

Três limites práticos, ditos sem rodeio. Primeiro, trabalho que rodou sem registro não entra no método: não existe recibo para recalcular, e a saída é verificar efeitos no mundo, à mão. Segundo, o método confere chamadas registradas; trabalho que o agente fez fora delas, numa ferramenta sem registro, fica fora do alcance da checagem. Terceiro, integridade não é correção: um resultado pode estar intacto desde que foi salvo e ainda assim ser um resultado ruim, de uma fonte fraca ou de uma ferramenta mal escolhida. O julgamento continua sendo seu, agora sobre um registro que você conferiu.

Faça a verificação virar o padrão, não a exceção

Verificar dá trabalho quando o registro precisa ser reconstruído depois. Quando cada chamada já nasce com recibo, verificar vira recalcular e ler. É essa a proposta do Zambo: rode o trabalho por zambo.dev/mcp e cada chamada retorna com o recibo verificável dela, no formato AER-1, draft-zambo-aer1-26.

Para o problema desta página, o resumo que você não consegue conferir, a correção custa $0.99: um Day Pass do Zambo cobre 24 horas de chamadas, cada uma com recibo, para o próximo trabalho do seu agente chegar com a evidência junto e esta verificação levar minutos, não uma tarde.

Pessoas pagam por PayPal ou cartão via PayPal; agentes pagam em USDC na Base via x402. O uso contínuo é o Zambo Pass: $29 por 30 dias, em um pagamento único, ou $290 por ano, e $19 por mês para quem detém $ZAMBO. Uma conexão só, em zambo.dev/mcp, com 153 ferramentas no total e 35 na superfície padrão.

E quando o trabalho precisa mudar de IA no meio do caminho, o registro não precisa ficar para trás: veja passar um trabalho de uma IA para outra com o registro inteiro.

O que um recibo prova e o que não prova

O que ele prova. Um recibo verificável prova que o resultado salvo não foi alterado desde que foi salvo. Ele também fixa o registro em volta desse resultado: a ferramenta que rodou, o horário da chamada, as entradas registradas e, num trabalho de várias etapas, a ordem em que as etapas foram fechadas. Qualquer pessoa com o link do recibo pode refazer a verificação, sem conta e sem ajuda de quem fez o trabalho.

O que ele não prova. Ele não prova que o resultado estava certo: um preço pode estar desatualizado, um resumo pode ter escolhido a fonte errada e um código pode passar numa checagem e ainda assim fazer a coisa errada. Ele não prova que o agente escolheu a ferramenta certa, e não diz nada sobre trabalho que rodou fora das chamadas registradas. Correção é um julgamento seu, feito lendo o resultado salvo que o recibo protege. O recibo torna esse julgamento possível sobre um registro que você sabe que está intacto; ele nunca faz o julgamento por você.

O caso da lacuna. Uma etapa sem recibo não é uma etapa que falhou na verificação. É uma etapa que não pode ser verificada, e deve ser precificada, aprovada e tratada como aquilo que ela é: uma afirmação, não um trabalho verificado.