Summary

  • O Internet-Draft individual de Girish Konda, revisão 02 de 19 de outubro, só classifica uma entrada como antiga quando sua idade ultrapassa o limite. O teste TC-2 mantém a igualdade dentro da janela.
  • A revisão 05 do projeto individual de Wes Jackson, publicada em 28 de outubro, impede o verificador de usar a entrada no instante em que ela atinge o horizonte. Sem resposta de uma fonte necessária, há recusa temporária.
  • O modelo de Konda descreve o estado da evidência e deixa a decisão final à política local. Estar dentro da janela não obriga ninguém a autorizar a chamada.

O recibo que vence na borda

Imagine que a condição de um emissor foi verificada no momento A. Quem depende dessa informação fixa a idade máxima M. A chamada chega em A+M, e o servidor da fonte não responde. O verificador ainda guarda uma resposta afirmativa anterior. A disputa não é se o emissor foi formalmente revogado, mas se aquela resposta ainda constitui evidência estabelecida para a decisão de agora.

Em Preserving Evaluation State in Agent Protocol Decisions, Konda define como antiga uma entrada cuja idade é maior que o limite. Igual ao limite continua valendo para essa classificação. O caso TC-2 menciona a diferença diante do texto de Jackson. Konda separa uma negativa efetivamente constatada de uma informação que nunca pôde ser estabelecida. Uma recusa sem essa distinção mistura falha de política com falha da fonte, leva o chamador a repetir ou abandonar a operação pelo motivo errado e atrapalha a reconstrução posterior.

Jackson, em Verifier-Side Evaluation Semantics for Delegated Authority Chains, coloca a cancela no próprio horizonte: tempo de origem mais idade máxima. A seção 3 proíbe usar o dado adquirido a partir desse instante. É preciso consultá-lo de novo. No anexo A.3, o caso G2 permite a admissão quando chega uma resposta nova confirmando a condição do emissor. Em G3, a fonte não responde, e a recusa é temporária; o registro diz que a avaliação não foi concluída. Não diz que o emissor perdeu sua condição.

Assim, no mesmo A+M, o dado armazenado é estabelecido no modelo de Konda e insuficiente pela regra de Jackson. A política local de uma implementação de Konda ainda pode negar a chamada por outros motivos. O efeito do conflito é anterior à decisão final: define que fato o verificador tem em mãos e que tipo de falha entrega à equipe operacional. Em uma rede de agentes com domínios diferentes, essa diferença pode transformar uma retomada útil numa investigação errada.

O Datatracker classifica ambos como Internet-Drafts individuais ativos; nenhum é um RFC adotado. O episódio é uma divergência escrita entre propostas, não um incidente de produção observado. Uma revisão que harmonize o comparador, ou casos conjuntos de conformidade para a igualdade com fonte disponível e indisponível, alteraria a leitura. Até lá, testar apenas “antes” e “depois” do prazo é deixar de fora o único instante que decide a disputa.

Fontes originais