Resumo

  • A proposta exige que o valor entregue por um agente seja o mesmo recebido pelo seguinte, dentro de uma relação autenticada.
  • Receber 1 e passar 1, depois receber 3 e passar 2, produz dois testes locais positivos sem produzir uma cadeia.

O primeiro agente recebe 1 e entrega 1. O segundo recebe 3 e entrega 2. Em cada etapa a saída pode ser julgada NO_BROADER, ou seja, não mais ampla que a entrada. É uma ótima demonstração para uma apresentação comercial: dois acertos, uma linha verde. Só falta explicar quem transformou o 1 que saiu do primeiro no 3 que entrou no segundo. Ninguém mostrou esse elo.

O exemplo está na revisão 03 de A Policy Grammar for Inter-Domain Agent Routing, apresentada por Sumit P. Ahuja em 20 de outubro. Trata-se de um Internet-Draft individual, sem aprovação como padrão do IETF. Seu alvo é uma conclusão indevida: somar verificações locais e chamar o resultado de autorização de ponta a ponta.

O texto separa quatro atributos. Um domínio pode reduzir gradualmente a disposição de receber tarefas, indicar uma preferência não obrigatória por seus próprios agentes ou anexar uma etiqueta cujo significado depende de acordo bilateral. Esses três atributos não carregam uma decisão válida para toda a cadeia.

A quarta categoria, validade da cadeia, tem justamente essa ambição e precisa de prova adicional.

Em uma sequência com mais de um repasse, cada comparação deve resultar em NO_BROADER. A saída de uma etapa tem de ser idêntica à entrada da próxima, com essa identidade estabelecida na relação autenticada entre elas. Os testes precisam empregar a mesma definição imutável de perfil e a mesma regra de comparação. A transitividade da regra deve resultar da definição ou de verificação mecânica. Uma afirmação sem demonstração conserva o resultado no âmbito local, marcado LOCAL_ONLY.

A exigência de perfil imutável também aparece no rascunho de recibos de capacidade citado por Ahuja. Um nome de versão que pode mudar de significado não preserva a prova antiga. Mais importante, o documento de Ahuja exige que outra camada autentique a ligação entre repasses; ele próprio não gera o artefato. A mesma cautela vale para UNDECIDED, quando falta comparação confiável: isso é diferente de BROADER, quando a comparação encontra ampliação, mas nenhum dos dois autoriza aceitar a tarefa.

Não há contagem de implantação nem série de incidentes na proposta. Uma implementação entre domínios independentes, com valores adjacentes autenticados e perfis fixos verificáveis, mudaria a avaliação prática.

Por enquanto, a pergunta de compra cabe numa linha: mostre o valor no meio e quem comprovou a entrega.

Proposta principal · Recibos de capacidade · Requisitos de comunicação entre agentes