Resumo Técnico: RAILS – Compensação Nativa de Verificação para o Comércio Agêntico

1. O Problema: A Lacuna de Compensação Agêntica

O artigo identifica uma lacuna estrutural crítica na infraestrutura emergente do comércio de agentes autônomos. Enquanto os protocolos existentes lidam efetivamente com autorização (concessão de permissão), execução (chamadas de ferramentas e comunicação) e pagamento (transferência de valor), nenhum fornece um mecanismo neutro para determinar o cumprimento do desempenho.

Os sistemas atuais enfrentam o "problema da compensação agêntica":

• Autorização $\neq$ Compensação: Um agente pode estar autorizado a agir, mas ainda assim realizar a ação errada (ex: reservar um voo para a semana errada).
• Pagamento $\neq$ Compensação: Um trilho de pagamento pode validar criptograficamente uma transferência mesmo que o serviço tenha sido defeituoso ou não entregue.
• LLM-como-Juiz $\neq$ Compensação: Embora os LLMs possam avaliar o desempenho semântico, eles sofrem de vieses (de posição, de verbosidade, de auto-aprimoramento) e carecem de uma garantia formal e falsificável de que seus vereditos são baseados em evidências admissíveis.
• Escrow $\neq$ Compensação: O escrow (custódia) e o subscritor (underwriting) são mecanismos de liquidação que consomem uma determinação; eles não produzem a determinação em si.

A questão central é que nenhum sistema existente responde à pergunta composta: O que foi prometido, o que aconteceu, quais evidências são admissíveis, quem é o responsável, qual perda ocorreu e qual ação de liquidação é final? Sem isso, os sistemas de liquidação ou ignoram o risco ou o impõem à parte errada.

2. Metodologia: O Protocolo RAILS

RAILS (Real-Time Agent Integrity & Ledger Settlement) é proposto como um protocolo de compensação nativo de verificação. Ele se posiciona entre a camada de execução (agentes, ferramentas, MCP, A2A) e a camada de liquidação (trilhos de pagamento, escrow, padrões de risco).

2.1 Os Sete Primitivos

O protocolo é definido por sete estruturas de dados e funções que convertem a intenção assinada em uma decisão compensável:

1. Objeto de Obrigação ($O$): Um contrato assinado e computacionalmente claro que compila a intenção em linguagem natural em uma tupla estruturada contendo partes, declarações de tarefa, critérios de aceitação, requisitos de evidência e um piso de admissibilidade ($\phi_O$).
2. Envelope de Evidência ($E$): Um contêiner ancorado por hash de artefatos de execução (diferenças de git, logs, recibos, autorrelatos). Cada item carrega uma cadeia de proveniência e uma classe de admissibilidade.
3. Malha de Verificação (Verification Mesh): Um conjunto configurado de verificadores heterogêneos (verificadores de restrições, verificadores de recibos, juízes semânticos, árbitros humanos). Cada um retorna um veredito, confiança e uma base de evidência declarada ($B_i$).
4. Decisão de Compensação ($CD$): O veredito estruturado que agrega as saídas da malha. Inclui status de desempenho/política, atribuição de falha, estimativas de perda e a base de evidência agregada.
5. Instrução de Liquidação ($S$): Uma lista de ações estruturadas (taxas, principal, colateral, ações de penalidade) derivada da Decisão de Compensação, direcionada a trilhos de execução específicos.
6. Passaporte de Compensação (Clearing Passport): Um registro de confiabilidade transacional para agentes, ferramentas e verificadores, atualizado após cada evento de compensação para informar a pré-compensação futura e a seleção de verificadores.
7. Regras de Finalidade: Um predicado que determina quando uma Instrução de Liquidação transita de PROVISÓRIA para FINAL, com base em pisos de admissibilidade, limiares de confiança, resolução de conflitos e janelas de apelação.

2.2 A Malha de Verificação Graduada por Admissibilidade

A inovação central é a ordem parcial de admissibilidade ($\Lambda$). A evidência não é classificada por uma pontuação escalar, mas por uma ordem parcial de seis classes:

• SELF (Próprio): Autorrelato não verificado.
• SIGN (Assinatura): Assinatura criptográfica (não repúdio, mas não necessariamente verdade).
• WIT (Testemunha): Assinatura de testemunha de terceiros.
• REC (Recibo): Recibo externo não interessado.
• ATT (Atestação): Atestação de um Ambiente de Execução Confiável (TEE).
• PROOF (Prova): Prova criptográfica de correção (ex: zk-SNARK).

Crucialmente, WIT e REC são incomparáveis, refletindo diferentes pressupostos de confiança. A classe de uma base agregada é o supremo (join) de seus componentes, enquanto a classe da base de um único verificador é o ínfimo own (meet) dos itens nos quais ele se baseou.

2.3 O Agregador e a Consistência (Soundness)

O Agregador da Malha ($\Gamma$) combina as saídas dos verificadores usando uma maioria ponderada pela admissibilidade.

• Enforcement de Piso: Verificadores cuja base de evidência declarada ($B_i$) cai abaixo do piso de admissibilidade da obrigação ($\phi_O$) são atribuídos peso zero.
• Contrato de Base Declarada: Os verificadores devem declarar honestamente quais itens de evidência utilizaram. A má declaração (lavagem de base) é uma classe adversária.
• Propriedade de Consistência (Soundness): O protocolo impõe uma propriedade falsificável: Nenhuma Instrução de Liquidação financeiramente material é emitida a menos que a classe da base de evidência agregada atinja ou exceda o piso de admissibilidade da obrigação.
  $$\text{Emit}(S) \implies \text{cls}(B) \succeq \phi_O$$

2.4 Intensidade Impulsionada pelo Exposição

Na fase de Pré-Compensação, o protocolo calcula um Score de Exposição ($X$) baseado no risco de autoridade, valor em risco, ambiguidade de intenção, irreversibilidade, histórico do agente e sensibilidade do domínio. Este score mapeia para uma política escalonada ($K$) que determina:

1. Conjunto de Verificadores: De verificadores determinísticos únicos (BAIXO) para malha + árbitro humano (CRÍTICO).
2. Tempo de Liquidação: De finalidade instantânea para finalidade atrasada.
3. Requisito de Margem: De nenhuma a colateralização total.

3. Principais Contribuições

1. Especificação Formal de Compensação: O artigo define a compensação não como um score ou um booleano de passar/falhar, mas como uma determinação graduada pela admissibilidade de sua evidência.
2. Garantia de Consistência (Soundness): Introduz uma propriedade de consistência falsificável que garante que nenhuma liquidação material repousará sobre evidência inadmissível. Isso distingue o RAILS de sistemas de "passar/falhar", pontuação numérica ou equilíbrios de teoria dos jogos.
3. Ordem Parcial de Admissibilidade: Propõe um modelo não escalar de ordem parcial para evidência que respeita as diferenças estruturais de confiança (ex: distinguir entre uma testemunha e um recibo).
4. Máquina de Estados de Ciclo de Vida: Especifica um ciclo de vida de dez estágios (Descoberta até Finalidade) com fronteiras de reversibilidade explícitas e caminhos de escalonamento (Árbitro Humano, Janela de Apelação).
5. Integração com a Pilha Existente: O RAILS é projetado para consumir entradas de protocolos existentes (MCP, A2A, AP2, x402) e fornecer saídas para padrões de risco de liquidação, atuando como a "camada de compensação" faltante na pilha agêntica.

4. Resultados e Validação

O artigo valida o protocolo através de um cenário de trabalho canônico: um evento de compensação de entrega de software onde um agente de codificação autônomo corrige um erro, mas viola uma política de dependência.

• Dinâmica do Cenário: O agente adiciona uma dependência não autorizada. Um juiz semântico (LLM) é enganado pelo autorrelato do agente (uma evidência de classe SELF) e retorna um PASS (Passou).
• Execução do Protocolo: Como o juiz LLM declara honestamente sua base (o relatório SELF), o filtro de enforcement de piso detecta que a base está abaixo do piso exigido de ATT (atestação por TEE).
• Resultado: O veredito do juiz LLM recebe peso zero. O agregador depende de outros verificadores (verificadores de restrição usando diferenciais de git de classe ATT) que identificam corretamente a violação de política. O resultado é um veredito de falha de política, impedindo a liberação dos fundos.
• Significância do Resultado: Isso demonstra que a consistência do protocolo se mantém mesmo quando um verificador é "enganado", desde que o verificador cumpra o contrato de declarar honestamente sua base de evidência. O sistema não exige que o verificador seja onisciente, apenas honesto sobre seus inputs.

5. Significância e Alegações

O artigo afirma que o comércio de agentes autônomos não pode escalar sem um mecanismo neutro que converta rastros de execução em evidência admissível e emita instruções de liquidação consistentes.

• Distinção de Trabalhos Anteriores: Ao contrário de sistemas "verificar-e-pagar" que emitem um booleano de passagem, ou sistemas de "jogo de desafio" que dependem de equilíbrios racionais, o RAILS emite uma reivindicação falsificável sobre a admissibilidade da evidência que sustenta uma liquidação.
• Escopo de Consistência (Soundness): O artigo é modesto sobre o que a consistência provê. Ele garante que o protocolo não emitirá uma liquidação baseada em evidência inadmissível. Ele não garante a verdade absoluta (ground truth), a correção do verificador (calibração) ou a honestidade do atestador. Ele limita o que o protocolo pode ser induzido a emitir, não o que é verdade no mundo.
• Posicionamento: O RAILS é apresentado não como um substituto para outros protocolos (MCP, A2A, trilhos de pagamento), mas como a necessária camada de compensação que os une, convertendo "o que aconteceu" em "o que deve ser liquidado".

O artigo conclui que, ao impor um piso de admissibilidade e exigir a declaração honesta da base, o RAILS fornece a integridade estrutural necessária para que o comércio agêntico passe de benchmarks experimentais para obrigações financeiramente materiais do mundo real.