Summary

  • Dans sa révision 02 du 19 octobre, Girish Konda considère une donnée périmée seulement lorsque son âge dépasse la limite fixée. Son cas TC-2 précise que l’égalité reste dans la fenêtre.
  • Dans la révision 05 publiée le 28 octobre, Wes Jackson interdit au vérificateur d’utiliser une donnée à partir de l’instant où sa durée maximale est atteinte. Sans réponse de la source, il prescrit un refus provisoire.
  • Konda décrit l’état de la preuve et laisse la décision finale à la politique locale. Il n’ordonne pas d’accepter la demande à la limite.

Le même dossier, deux conclusions sur la preuve

Imaginons une information sur la qualité d’un émetteur reçue à l’instant A, avec une durée admissible M. À A+M, la source est hors service. Le vérificateur possède toujours la réponse positive antérieure. Peut-il encore dire que cette qualité est établie ?

Le texte de Konda, Preserving Evaluation State in Agent Protocol Decisions, répond par sa définition : une valeur devient trop ancienne si son âge est supérieur à M. L’égalité compte encore. Son test TC-2 confronte explicitement cette règle au projet de Jackson. Konda insiste aussi sur une distinction souvent perdue : une vérification qui établit un résultat négatif, une source inaccessible et une donnée trop ancienne ne racontent pas le même événement. Les confondre sous une étiquette de refus brouille les reprises et les responsabilités.

Jackson place la borne autrement dans Verifier-Side Evaluation Semantics for Delegated Authority Chains. La section 3 interdit d’employer une donnée récupérée à l’instant de son horizon ou après celui-ci. Il faut interroger de nouveau la source. Dans son annexe A.3, si une réponse fraîche confirme la qualité de l’émetteur, la demande peut passer ; si la source reste muette, le refus est provisoire et le journal indique que l’évaluation n’a pas abouti. Il n’affirme pas que l’émetteur a perdu sa qualité.

Le désaccord ne porte donc pas sur une panne observée ou sur une décision de l’IETF. Les deux textes sont des Internet-Drafts individuels actifs. Il porte sur le pouvoir accordé à une preuve au dernier instant de sa fenêtre. Un système peut encore classer la valeur comme établie, tout en appliquant éventuellement une politique restrictive. L’autre doit constater que l’entrée nécessaire manque et remettre la demande à plus tard. Pour l’équipe d’exploitation, ce sont deux causes et deux gestes différents.

Le test décisif tient dans une ligne : évaluer à A+M avec une source indisponible. Une révision commune ou des cas de conformité qui fixent ensemble cette égalité et le traitement de l’indisponibilité permettraient de clore le différend. En attendant, les opérateurs doivent rendre leur comparaison explicite dans les traces, sans laisser un simple message « refusé » jouer au juge.

Sources