Resumen

  • Una comparación favorable en cada relevo no demuestra que el valor enviado por uno sea el recibido por el siguiente.
  • El borrador ofrece una prueba brutalmente corta: un relevo recibe 1 y entrega 1; otro recibe 3 y entrega 2. Ambos pueden pasar por separado.

Quien compra un sistema de agentes delegados puede recibir un informe con dos aprobaciones y ninguna cadena. La primera aprobación compara 1 con 1. La segunda compara 3 con 2. En ambos casos la salida no supera la entrada. Falta la operación decisiva: demostrar cómo el 1 del primer participante llegó a ser el 3 del segundo. No llegó.

Sumit P. Ahuja escribió ese ejemplo en la revisión 03 de A Policy Grammar for Inter-Domain Agent Routing, fechada el 20 de octubre. Es una presentación individual al repositorio de Internet-Drafts, sin respaldo ni condición de norma IETF. Su interés reside en precisar qué afirmación autoriza un control local y cuál exige evidencia adicional.

El texto propone cuatro atributos. La reducción gradual de prioridad permite que un dominio pida menos trabajo sin desaparecer. Una preferencia entre sus propios puntos finales orienta, pero no obliga al otro dominio. Las etiquetas opacas expresan acuerdos cuyo significado solo conocen sus partes. Los tres son bilaterales. El cuarto atributo, la validez de la cadena, pretende sostener una conclusión a través de varios relevos. Ahí cambia la carga de prueba.

Para más de un relevo, cada comparación debe dar NO_BROADER. Además, la salida y la entrada contiguas deben ser idénticas dentro de una relación autenticada. Todos los controles usados en la conclusión global deben compartir la misma definición inmutable de perfil y de regla. La transitividad tiene que surgir de la definición o quedar comprobada mecánicamente. Si solo se afirma, el resultado favorable conserva alcance local: LOCAL_ONLY.

El borrador tampoco fabrica la prueba de unión. Exige que otra capa autentique la relación entre participantes. Sin esa pieza, dos registros separados se pueden presentar como una historia continua. La propuesta de recibos de capacidad que cita aporta la disciplina de fijar la identidad del perfil: una referencia mutable no puede cambiar mañana el significado de la comparación de hoy.

Hay un segundo detalle de operación. BROADER identifica una ampliación indebida; UNDECIDED indica que falta una comparación fiable. No son el mismo fallo, y ninguno permite aceptar la delegación. El texto no incluye cifras de implantación, mediciones ni incidentes. La prueba que falta es una implementación entre dominios distintos que conserve el valor común, su vínculo autenticado y la definición exacta del perfil. Hasta verla, un vendedor que enseñe dos marcas verdes debe enseñar también la costura.

Borrador de Ahuja · Recibos de capacidad · Requisitos de agentes