Resumen Técnico: Operacionalización de la Autoridad Reconstruida

Declaración del Problema

Los sistemas de agentes autónomos suelen fallar no por una lógica de toma de decisiones incorrecta, sino porque ejecutan decisiones cuya autoridad ya no se mantiene en tiempo de ejecución. En entornos dinámicos, las condiciones bajo las cuales se toma una decisión (tiempo de admisión) a menudo divergen de las condiciones en el momento de la ejecución. Los enfoques de validación anteriores, que tratan la autoridad como una propiedad estática heredada de un estado inicial, no pueden prevenir la ejecución bajo "autoridad obsoleta".

Los modelos existentes de aplicación de políticas (por ejemplo, XACML, OPA) suelen operar en un espacio de decisión binario: Admitir o Denegar. Estos modelos a menudo tratan los datos faltantes o inciertos como una denegación por defecto o un riesgo aceptable, sin distinguir entre autoridad inválida (donde se sabe que las condiciones son falsas) y autoridad indefinida (donde las condiciones no pueden determinarse debido a una observabilidad incompleta). Esta brecha estructural lleva a que los sistemas ejecuten acciones bajo incompletitud epistémica, violando las garantías de seguridad.

Metodología

Este artículo operacionaliza el Modelo de Autoridad Reconstruida (RAM), previamente definido teóricamente en el Artículo 5, en un protocolo concreto de ejecución en tiempo de ejecución. La metodología central cambia el paradigma de la "validación de la autoridad heredada" a la "construcción de la autoridad a partir del estado actual".

1. Fundamento Teórico

El sistema define la autoridad $A(t)$ no como una bandera estática, sino como una función $F$ del estado observable actual $O(t)$:
$$A(t) = F(O(t))$$
Dado que el estado real del sistema $S_r(t)$ no es totalmente observable, el sistema debe determinar si la autoridad es construible. La autoridad es construible solo si:

1. Observabilidad: Todas las variables de dependencia requeridas son observables con una incertidumbre por debajo de un umbral $\theta_{auth}$.
2. Cierre: El grafo de dependencias está completamente resuelto (no faltan dependencias aguas arriba).
3. Consistencia: No se detectan violaciones de invariantes sobre las dependencias evaluadas.

2. El Estado de Ejecución Ternario

El artículo introduce una extensión fundamental al espacio de estados de ejecución, avanzando más allá de la admisión/denegación binaria hacia un modelo de tres estados:

• Ejecutar: La autoridad es construible y evalúa a Verdadero.
• Denegar: La autoridad es construible pero evalúa a Falso (se sabe que se han violado las condiciones).
• Detener: La autoridad es no evaluable ($A(t) = \bot$). Esto ocurre cuando fallan las condiciones de construibilidad (por ejemplo, señales faltantes, alta incertidumbre o grafos de dependencias abiertos). Crucialmente, Detener es distinto de Denegar; representa una suspensión de la ejecución debido a la incompletitud epistémica, no un rechazo basado en violaciones de políticas conocidas.

3. Protocolo de Aplicación en Tiempo de Ejecución

La operacionalización se implementa mediante un Bucle de Aplicación en Tiempo de Ejecución que integra tres capas:

• Adquisición de Estado: Recopila $O(t)$ sin asumir completitud.
• Motor de Construcción de Autoridad: Resuelve dinámicamente las dependencias $D(a)$ requeridas para la acción $a$ basándose en el estado actual. Evalúa la observabilidad y la incertidumbre para cada variable.
• Puerta de Ejecución: Aplica la decisión ternaria. Si $A(t) = \bot$, el sistema entra en un estado Detener.

4. El Bucle de Recuperación

Para abordar el estado Detener, el artículo define un Bucle de Recuperación. En lugar de tratar Detener como un fallo terminal, el sistema:

1. Identifica las variables no resueltas específicas que causan la detención.
2. Activa la Capa de Monitoreo de Invariantes (IML) para detectar desviaciones o adquirir señales faltantes.
3. Aumenta el estado (por ejemplo, adquiriendo nuevos datos o reduciendo el alcance de la acción).
4. Intenta reconstruir la autoridad.
   La ejecución se reanuda solo cuando la autoridad vuelve a ser construible, asegurando vivacidad condicional.

Contribuciones Clave

1. Operacionalización del RAM: Proporciona el primer modelo de ejecución en tiempo de ejecución que hace cumplir la reconstrucción de la autoridad en el punto de acción, en lugar de depender de la validación en el momento de la admisión.
2. El Estado Detener: Formaliza un tercer estado de ejecución para manejar explícitamente la autoridad indefinida, evitando que el sistema ejecute bajo incertidumbre o trate los datos faltantes como una denegación por defecto.
3. Algoritmo de Resolución de Dependencias: Introduce un algoritmo dinámico donde las variables requeridas no están definidas estáticamente, sino que emergen del estado en tiempo de ejecución y de la función de construcción $F$.
4. Integración con la Pila de Gobernanza: Demuestra cómo el RAM se ajusta al Protocolo de Control de Agentes (ACP) y a la Capa de Monitoreo de Invariantes (IML) más amplios, actuando como el criterio de autorización en la puerta de ejecución (Etapa 3 del ACP) mientras permanece ortogonal a las capas de asignación y gobernanza composicional.
5. Garantías Formales:
   • Seguridad: Se demuestra que ninguna acción se ejecuta a menos que la autoridad sea tanto construible como válida (Teoremas 3 y 4).
   • Vivacidad Condicional: Se demuestra que la ejecución se reanudará si las variables faltantes que definen la autoridad eventualmente se vuelven observables (Teorema 2).

Resultados y Afirmaciones

El artículo no presenta datos experimentales empíricos, sino que proporciona un modelo operacional formal y pruebas lógicas. Los resultados principales son:

• Garantía de Seguridad: El modelo previene estructuralmente la ejecución bajo autoridad obsoleta o indefinida, un modo de fallo inherente a los sistemas que no vuelven a calcular la autoridad en tiempo de ejecución.
• Manejo de Desviaciones: Al acoplar el RAM con la IML, el sistema detecta la desviación de comportamiento e invalida la autoridad inmediatamente, forzando una detención antes de que ocurra la ejecución.
• Rastreabilidad: Cada intento de ejecución genera un artefacto de auditoría que detalla la ruta de resolución de dependencias, los niveles de incertidumbre y la razón específica para Detener, Denegar o Ejecutar.

Significado

El artículo afirma completar la "Serie de Gobernanza de Agentes" al cerrar la brecha entre las condiciones teóricas de gobernanza y la aplicación en tiempo de ejecución. Mientras que los Artículos 0–4 definen la solidez estructural de la gobernanza y el Artículo 5 define la naturaleza teórica de la autoridad reconstruida, el Artículo 6 define cómo se hace cumplir la autoridad en tiempo de ejecución.

El significado radica en replantear el control de ejecución de un problema de estimación y validación a uno de construibilidad y aplicación. Al negarse a ejecutar cuando la autoridad no puede construirse, el sistema prioriza la seguridad sobre la disponibilidad, asegurando que los agentes autónomos actúen solo cuando su autoridad se deriva activa y verificablemente del estado actual del mundo. Este enfoque proporciona las semánticas de ejecución necesarias para aplicar la autoridad reconstruida en sistemas dinámicos del mundo real.