Visão geral da pesquisa aplicada
Evidência diante de uma afirmação
AnyVerify
Um resultado de verificação só vale algo se mantiver separadas duas fontes que discordam e uma checagem que não pôde ser realizada.
Estado: Conceito de pesquisa · protótipo não publicado
O modelo, de forma interativa
Afirmação: a declaração de origem desta remessa coincide com um registro independente. O perfil compara cinco atributos, cada um com o seu próprio comparador. Mude o que o registro devolveu e observe o resultado.
| Atributo | Declaração | Registro | Comparador | Checagem |
|---|---|---|---|---|
| País de origem | BR | BR | exato | Coincide |
| Nome do produtor | Cooperativa São João | COOPERATIVA SAO JOAO | texto normalizado | Coincide |
| Quantidade | 19,200 kg | 19,450 kg | número, ±2% | Coincide |
| Data da colheita (opcional) | 2026-06-10 | 2026-06-12 | data, ±3 dias | Coincide |
| Referência do registro | BA-0427-7731 | BA-0427-7731 | exato | Coincide |
Resultado
Corroborado: as duas fontes concordam em todos os atributos obrigatórios.
Razão de concordância
1,00
5 / 5
A pergunta de pesquisa
A evidência disponível sustenta de fato uma afirmação específica, atributo por atributo, e como um sistema deve dizê-lo quando não consegue saber?
- Em quais atributos as fontes concordam?
- Onde discordam, e por quanto?
- O que não pôde ser checado de modo algum?
- Quando uma pessoa precisa decidir?
Primitivas centrais
Caso de verificação
AnyVerifyCaseUma afirmação sobre um objeto, verificada diante de um perfil versionado, ligada ao caso que ela verifica.
Perfil
profiles/*.yamlQuais atributos comparar, entre quais duas fontes, com qual comparador e tolerância, e quais são obrigatórios. Dados, validados no carregamento, negados por padrão.
Checagem
AnyVerifyCheckUm atributo comparado: coincide, diverge, ausente ou inconclusivo, com os valores vistos e um código de motivo.
Resultado
VerificationResultCorroborado, contradito, insuficiente, resolvido por revisão ou pendente. Insuficiente e contradito nunca são fundidos.
Razão de concordância
attribute-agreement-ratioA parcela dos atributos checados que concordam, nomeada como um método, não apresentada como uma probabilidade.
Revisão e atestação
kernel authority actUma pessoa com a atribuição registra uma decisão e o seu motivo. O resultado da máquina é mantido, não substituído.
Um cenário, passo a passo
O que acontece entre a chegada de uma declaração e um resultado em que alguém possa se apoiar.
Passo 1 de 6: Abrir um caso diante de um perfil
A afirmação, o objeto a que ela se refere e a versão do perfil são fixados no início, para que o resultado sempre possa dizer contra o que foi medido.
A declaração do fornecedor e o registro são anexados como evidência, cada um com a sua fonte e o seu horário.
Cinco comparações, cada uma registrada separadamente. Um valor faltante é registrado como ausente, não como divergente.
O avaliador de regras lê as checagens. Fontes que discordam em um atributo obrigatório dão contradito; um atributo obrigatório que não pôde ser comparado dá insuficiente.
Uma contradição abre uma tarefa de revisão. A atestação do revisor resolve o caso e fica ao lado do resultado da máquina, que continua legível.
Todo resultado tem uma janela de validade vinda do perfil. Depois dela, o resultado está desatualizado e precisa ser reavaliado em vez de reutilizado.
O que o diferencia
- AnyValid
A pergunta dele
O que a própria fonte com autoridade disse?
Por que isto não é aquilo
O AnyVerify compara fontes entre si. Não pede veredito a nenhuma autoridade e não consulta nada.
- AnyTrace
A pergunta dele
Por onde esta coisa passou?
Por que isto não é aquilo
O AnyVerify toma um caso de rastreio como objeto e diz se uma afirmação sobre ele se sustenta.
- AnyUSMCA
A pergunta dele
A evidência de origem atende a um conjunto de regras nomeado?
Por que isto não é aquilo
O AnyUSMCA usa os resultados do AnyVerify como entradas; o AnyVerify não sabe nada sobre regras comerciais.
Limites e não objetivos
- Duas fontes que concordam são corroboração, não prova. Ambas podem estar erradas.
- Não é um mecanismo de consulta e não consulta nenhuma autoridade.
- Um resultado não é uma certificação e não tira nenhuma conclusão jurídica.
- Os dois perfis são perfis de referência, não a lista de checagem oficial de ninguém.
O que existe, e o que não existe
No repositório
- app/products/anyverify/{service,compare}.py: comparadores, checagens, decisão, revisão, expiração, reutilização
- Dois perfis de referência: origin-declaration.v1 e supplier-identity.v1
- tabelas anyverify_cases e anyverify_checks
- 10 rotas autenticadas
- tests/any_family/test_anyverify.py: os quatro resultados de comparador, insuficiente versus contradito, revisão, expiração (36 testes)
Agenda de pesquisa, não construída
- Uma conexão com qualquer registro real; as fontes são fornecidas por quem chama
- Comparação entre mais de duas fontes para um atributo
- Qualquer aferição da razão de concordância diante de desfechos reais
Onde fica na AnyLAI
AnyVerify
- Application kernelChecagens, resultados e revisões são evidências, eventos, tarefas e atos de autoridade do núcleo.
- AnyTraceLiga-se ao caso de rastreio que verifica.
- AnyUSMCAOs seus resultados são a evidência de origem em que as regras do AnyUSMCA se apoiam.
- Trust architectureO mesmo princípio da arquitetura de confiança: uma pessoa onde a evidência é incerta.
- ligação entre casos pelo núcleo
- uso direto de outro módulo ou sistema
- chamada em modo sombra: registrada, nunca executada
Estado atual
Estado da pesquisa
- Conceito de pesquisa · protótipo não publicado
- Não publicado: rotas desligadas
- Sem uso em produção, sem dados reais
- 36 testes no repositório
Um módulo protótipo sobre o núcleo compartilhado, com dois perfis de referência, um serviço, tabelas, rotas e testes. Desligado, não publicado, não usado com dados reais.
Suíte de testes: python-backend/tests/any_family/test_anyverify.py
Projeto de pesquisa · P&D independente · Não é uma oferta comercial