Resumen Técnico: RAILS – Compensación Nativa de Verificación para el Comercio Agéntico

1. El Problema: La Brecha de la Compensación Agéntica

El documento identifica una brecha estructural crítica en la infraestructura emergente del comercio de agentes autónomos. Mientras que los protocolos existentes gestionan eficazmente la autorización (concesión de permisos), la ejecución (llamadas a herramientas y comunicación) y el pago (transferencia de valor), ninguno proporciona un mecanismo neutral para determinar el cumplimiento del desempeño.

Los sistemas actuales enfrentan el "problema de la compensación agéntica":

• Autorización $\neq$ Compensación: Un agente puede estar autorizado para actuar pero realizar la acción incorrecta (por ejemplo, reservar un vuelo para la semana equivocada).
• Pago $\neq$ Compensación: Un riel de pago puede validar criptográficamente una transferencia incluso si el servicio fue defectuoso o no se entregó.
• LLM-como-Juez $\neq$ Compensación: Aunque los LLM pueden evaluar el desempeño semántico, sufren de sesgos (de posición, de verbosidad, de auto-mejora) y carecen de una garantía formal y falsable de que sus veredictos se basen en evidencia admisible.
• Escrow (Custodia) $\neq$ Compensación: El escrow y la suscripción son mecanismos de liquidación que consumen una determinación; no producen la determinación en sí misma.

El problema central es que ningún sistema existente responde a la pregunta compuesta: ¿Qué se prometió, qué sucedió, qué evidencia es admisible, quién es responsable, qué pérdida ocurrió y qué acción de liquidación es final? Sin esto, los sistemas de liquidación ignoran el riesgo o lo imponen a la parte equivocada.

2. Metodología: El Protocolo RAILS

RAILS (Real-Time Agent Integrity & Ledger Settlement) se propone como un protocolo de compensación nativo de verificación. Se sitúa entre la capa de ejecución (agentes, herramientas, MCP, A2A) y la capa de liquidación (rieles de pago, custodia, estándares de riesgo).

2.1 Los Siete Primitivos

El protocolo se define por siete estructuras de datos y funciones que convierten la intención firmada en una decisión liquidable:

1. Objeto de Obligación ($O$): Un contrato firmado y procesable por máquinas que compila la intención en lenguaje natural en una tupla estructurada que contiene partes, declaraciones de tareas, criterios de aceptación, requisitos de evidencia y un piso de admisibilidad ($\phi_O$).
2. Sobre de Evidencia ($E$): Un contenedor anclado por hash de artefactos de ejecución (diffs de git, logs, recibos, autoinformes). Cada elemento lleva una cadena de procedencia y una clase de admisibilidad.
3. Malla de Verificación (Verification Mesh): Un conjunto configurado de verificadores heterogéneos (comprobadores de restricciones, verificadores de recibos, jueces semánticos, árbitros humanos). Cada uno devuelve un veredicto, confianza y una base de evidencia declarada ($B_i$).
4. Decisión de Compensación ($CD$): El veredicto estructurado que agrega las salidas de la malla. Incluye el estado de desempeño/política, la asignación de fallos, estimaciones de pérdida y la base de evidencia agregada.
5. Instrucción de Liquidación ($S$): Una lista de acciones estructuradas (tarifas, principal, colateral, acciones de penalización) derivada de la Decisión de Compensación, dirigida a rieles de ejecución específicos.
6. Pasaporte de Compensación: Un registro de fiabilidad transaccional para agentes, herramientas y verificadores, actualizado tras cada evento de compensación para informar la pre-compensación y la selección de verificadores en el futuro.
7. Reglas de Finalidad: Un predicado que determina cuándo una Instrucción de Liquidación pasa de PROVISIONAL a FINAL, basado en pisos de admisibilidad, umbrales de confianza, resolución de conflictos y ventanas de apelación.

2.2 La Malla de Verificación Graduada por Admisibilidad

La innovación central es el orden parcial de admisibilidad ($\Lambda$). La evidencia no se clasifica por una puntuación escalar, sino por un orden parcial de seis clases:

• SELF (Propia): Autoinforme no verificado.
• SIGN (Firma): Firma criptográfica (no repudio, no verdad).
• WIT (Testigo): Firma de testigo de terceros.
• REC (Recibo): Recibo externo no interesado.
• ATT (Atestación): Atestación de un Entorno de Ejecución Confiable (TEE).
• PROOF (Prueba): Prueba criptográfica de corrección (ej. zk-SNARK).

Crucialmente, WIT y REC son incomparables, lo que refleja diferentes supuestos de confianza. La clase de una base agregada es el supremo (join) de sus componentes, mientras que la clase de la base de un solo verificador es el ínfimo (meet) de los elementos en los que confió.

2.3 El Agregador y la Solidez (Soundness)

El Agregador de la Malla ($\Gamma$) combina las salidas de los verificadores utilizando una mayoría ponderada por admisibilidad.

• Cumplimiento del Piso: Los verificadores cuya base de evidencia declarada ($B_i$) cae por debajo del piso de admisibilidad de la obligación ($\phi_O$) se asignan un peso de cero.
• Contrato de Base Declarada: Los verificadores deben declarar honestamente qué elementos de evidencia utilizaron. El reporte erróneo (lavado de base) es una clase adversaria.
• Propiedad de Solidez: El protocolo impone una propiedad falsable: Ninguna Instrucción de Liquidación financieramente material se emite a menos que la clase de la base de evidencia agregada cumpla o supere el piso de admisibilidad de la obligación.
  $$\text{Emit}(S) \implies \text{cls}(B) \succeq \phi_O$$

2.4 Intensidad Impulsada por la Exposición

En la etapa de Pre-Compensación, el protocolo calcula un Puntaje de Exposición ($X$) basado en el riesgo de autoridad, valor en riesgo, ambigüedad de la intención, irreversibilidad, historial del agente y sensibilidad del dominio. Este puntaje se mapea a una política escalonada ($K$) que determina:

1. Conjunto de Verificadores: Desde verificadores deterministas únicos (BAJO) hasta malla + árbitro humano (CRÍTICO).
2. Tiempo de Liquidación: Desde la finalidad instantánea hasta la diferida.
3. Requisito de Margen: Desde ninguno hasta la colateralización total.

3. Contribuciones Clave

1. Especificación Formal de la Compensación: El documento define la compensación no como un puntaje o un booleano de paso, sino como una determinación graduada por la admisibilidad de su evidencia.
2. Garantía de Solidez: Introduce una propiedad de solidez falsable que asegura que ninguna liquidación material repose en evidencia inadmisible. Esto distingue a RAILS de los sistemas de "paso/fallo", de puntuaciones numéricas o de equilibrios de teoría de juegos.
3. Orden Parcial de Admisibilidad: Propone un modelo de evidencia no escalar y de orden parcial que respeta las diferencias estructurales de confianza (por ejemplo, distinguir entre un testigo y un recibo).
4. Máquina de Estados del Ciclo de Vida: Especifica un ciclo de vida de diez etapas (Descubrimiento a Finalidad) con límites de reversibilidad explícitos y rutas de escalada (Árbitro Humano, Ventana de Apelación).
5. Integración con el Stack Existente: RAILS está diseñado para consumir entradas de protocolos existentes (MCP, A2A, AP2, x402) y entregar salidas a los estándares de riesgo de liquidación, actuando como la "capa de compensación" faltante en el stack agéntico.

4. Resultados y Validación

El documento valida el protocolo mediante un escenario canónico de trabajo: un evento de compensación de entrega de software donde un agente de codificación autónomo corrige un error pero viola una política de dependencias.

• Dinámica del Escenario: El agente añade una dependencia no autorizada. Un juez semántico (LLM) es engañado por el autoinforme del agente (una evidencia de clase SELF) y devuelve un PASO (PASS).
• Ejecución del Protocolo: Debido a que el juez LLM declara honestamente su base (el reporte SELF), el control de cumplimiento del piso detecta que la base está por debajo del piso requerido de ATT (atestación por TEE).
• Resultado: El veredicto del juez LLM se asigna un peso de cero. El agregador depende de otros verificadores (comprobadores de restricciones que usan diffs de git de clase ATT) que identifican correctamente la violación de la política. El resultado es un veredic de FALLO (FAIL) de política, evitando la liberación de fondos.
• Significancia del Resultado: Esto demuestra que la solidez del protocolo se mantiene incluso cuando un verificador es "engañado", siempre que el verificador cumpla con el contrato de declarar honestamente su base de evidencia. El sistema no requiere que el verificador sea omnisciente, solo que sea honesto sobre sus entradas.

5. Significado y Reivindicaciones

El documento afirma que el comercio de agentes autónomos no puede escalar sin un mecanismo neutral que convierta los rastros de ejecución en evidencia admisible y emita instrucciones de liquidación sólidas.

• Distinción de Trabajos Previos: A diferencia de los sistemas de "verificar y pagar" que emiten un paso booleano, o los sistemas de "juego de desafíos" que dependen de equilibrios racionales, RAILS emite una reivindicación falsable sobre la admisibilidad de la evidencia que sustenta una liquidación.
• Alcance de la Solidez: El documento es modesto sobre lo que la solidez proporciona. Garantiza que el protocolo no emitirá una liquidación basada en evidencia inadmisible. No garantiza la verdad absoluta, la corrección del verificador (calibración) o la honestidad del atestador. Limita lo que el protocolo puede llegar a emitir, no lo que es verdad en el mundo.
• Posicionamiento: RAILS se presenta no como un reemplazo de otros protocolos (MCP, A2A, rieles de pago), sino como la capa de compensación necesaria que los une, convirtiendo "lo que sucedió" en "lo que debe liquidarse".

El documento concluye que, al imponer un piso de admisibilidad y requerir la declaración honesta de la base, RAILS proporciona la integridad estructural necesaria para que el comercio agéntico pase de los benchmarks experimentales a las obligaciones financieramente materiales del mundo real.