Cada fonte do seu relatório baixada de novo, com o hash do conteúdo e um carimbo de tempo, antes de você assinar e de forma demonstrável. O registro fica selado em uma cadeia de hashes, então não teve como ser feito depois.
Laudo pericial — versão 4
Os níveis de material particulado no ar da área excederam o valor-guia provisório nos quatro trimestres analisados, e a taxa de deposição registrada na divisa leste foi quase o dobro da média regional (Conselho Regional de Qualidade do Ar, 2024, tabela 6)1.
O próprio programa de monitoramento classifica seu registro como provisório, e o número da divisa citado acima aparece ali como faixa, e não como valor único (Programa de Monitoramento da Área, 2023, p. 41)2 — ponto que trato na seção 7.
Dois anos antes, um resultado comparável foi relatado para a bacia vizinha (Andrade e Vieira, 2022)3.
O registro estadual guarda as declarações de origem dos dois anos, entregues pela própria empresa operadora (Registro Estadual de Emissões, protocolo 8841)4.
Um boletim local publicou os mesmos números de forma resumida na primavera seguinte (boletim da Associação da Bacia, março de 2024)5.
Uma ilustração, não uma captura de tela: as cinco maneiras pelas quais uma citação pode voltar, desenhadas sobre uma página inventada. O verde aparece uma vez, e só onde a fonte respondeu e a citação foi lida dentro dela.
O material do seu cliente não sai do seu lado. O comprovante publica hashes, contagens e horários; nunca o texto.
Qualquer pessoa verifica com a nossa ferramenta de código aberto, offline, sem falar com a gente.
Não certificamos suas conclusões. Certificamos que você conferiu, e quando. Essa é a parte que depois não dá para reconstruir.
Ao vivo
Solte um relatório e veja a conferência acontecer.
Cada fonte baixada de novo, com o hash do conteúdo e um carimbo de tempo. Seu documento é descartado segundos depois do envio; ficam só trechos, hashes e contagens, e eles também expiram.
Este é o exemplo compartilhado: uma conferência de uma peça judicial pública, a mesma para todo visitante e somente leitura. Para selar um comprovante, envie o seu próprio relatório.
Rode aqui, no seu navegador, o mesmo verificador de código aberto que um desconhecido rodaria. Com uma conferência acima, ele lê um comprovante prévio montado a partir dela: sem assinatura e fora da cadeia, uma prévia, não algo selado.
verificando:o comprovante de exemplo, selado com uma chave de teste
Uma prévia ainda não tem assinatura: espera-se que a checagem de assinatura falhe até o relatório ser selado. Todo o resto —os hashes, as contagens, o formato— é o que o comprovante selado vai carregar.
requisições para nós durante a verificação: 0
Rodando o verificador em TypeScript (não deu para alcançar a build wasm); o resultado tem o mesmo formato.
O arquivo selado completo (o download de quem o criou) é o registro inteiro; a página pública de um comprovante carrega a projeção assinada dele, que se verifica sozinha.
Desconfiado? Abra as ferramentas de desenvolvedor → Rede, limpe e clique em Conferir de novo. Você vai ver o download único do verificador e um evento anônimo dizendo que uma verificação rodou e se ela passou. O comprovante que você colou não está em nenhum dos dois.
Mude um byte
Edite o comprovante. No instante em que um byte selado muda, o hash dele deixa de bater e a assinatura para de verificar, que é justamente a ideia.
A parte honesta
O que isto não consegue fazer
EXISTS
a fonte citada responde; nós a baixamos de novo, calculamos o hash dos bytes e pedimos a um arquivo da web que guardasse uma cópia. Quase determinístico.
SAYS
a fonte contém as palavras que você atribuiu a ela, ancoradas em posições de caracteres. Quase determinístico.
HOLDS
uma tentativa deliberada de refutar a afirmação, julgada por um terceiro modelo. Discorda dos peritos com frequência, devolve INSUFFICIENT_EVIDENCE com frequência e de propósito, vem desligado e nunca entra no registro selado.
Não certificamos suas conclusões. Não julgamos afirmações em disputa. Um comprovante não vai salvar um advogado em juízo e não afirma que nada seja correto.
Redações e equipes de checagem. Elas não pagam por isto; quem paga são os editais.
Advogados conferindo jurisprudência. O acervo de decisões pertence aos grandes fornecedores, e os tribunais já rejeitaram uma IA conferindo outra como verificação: aí um comprovante não te ajuda.
Governança de IA em grandes empresas. Uma homologação de fornecedor não cabe em uma ferramenta de autoatendimento tocada por uma pessoa só; lista de espera acima.
Programas de conformidade com o Regulamento Europeu de IA.
Comprovação de alegações publicitárias.
Qualquer selo público. Um selo no relatório de um cliente conta a ele que você usou IA e conta ao setor de compras dele a sua pontuação. Não vamos construir isso.