Resumen Técnico: MemTX – Compromiso de Creencia Transaccional para la Memoria de Agentes con Estado

1. Declaración del Problema

Los sistemas actuales de memoria para agentes de Modelos de Lenguaje Extensos (LLM) tratan cada escritura aceptada como una verdad inmediatamente accionable. En entornos multi-agente o de memoria compartida persistente, este diseño confunde el registro de una observación con el compromiso de una creencia. Esta confusión conduce a la corrupción del estado, donde datos no validados, obsoletos o contaminados impulsan silenciosamente llamadas a herramientas irreversibles (por ejemplo, reembolsos, reservas, correos electrónicos).

El documento identifica seis familias específicas de modos de falla resultantes de esta falta de disciplina:

1. Contaminación de resultados de herramientas: Salidas de herramientas contaminadas que se resumen en perfiles que persisten después de que la fuente es corregida.
2. Escrituras tardías obsoletas: Actualizaciones que llegan después de una corrección y que sobrescriben silenciosamente el estado válido.
3. Lecturas sucias de estado tentativo: Actuar sobre datos no comprometidos o no verificados.
4. Conflicto semántico: Creencias contradictorias que coexisten sin adjudicación.
5. Lavado de permisos: Registros privados que son parafraseados en alcances compartidos, escapando de sus controles de acceso originales.
6. Fallos de reversión en cascada: La incapacidad de reparar registros derivados y efectos secundarios de herramientas cuando una creencia padre es retractada.

Los sistemas existentes se centran en el almacenamiento y la recuperación o en la resolución de contradicciones en el momento de la escritura, pero no llegan hasta el límite de la acción. No rastrean si una creencia ha madurado lo suficiente como para ser objeto de acción, ni reparan lo que una creencia retractada ha contaminado.

2. Metodología: El Protocolo MemTX

MemTX es un middleware agnóstico al modelo que introduce un protocolo de compromiso de creencia transaccional. Trata la memoria no como un simple registro, sino como una máquina de estados gobernada donde una escritura es distinta de un compromiso (commit).

2.1 Modelo de Datos y Ciclo de Vida de la Creencia

Cada registro de memoria es un objeto gobernado que contiene:

• Evidencia: Autoridad de la fuente y confianza del escritor.
• Permisos: Propietario, roles de lector/escritor y alcance (privado, compartido, público).
• Procedencia: Un Grafo Acíclico Dirigido (DAG) de aristas de derivación.
• Validez: Un intervalo de reloj lógico.
• Tipo: Distingue entre creencias, resúmenes, perfiles y acciones de herramientas.

Los registros progresan a través de un ciclo de vida de ocho estados:

• Bruto (Raw) $\to$ Tentativo $\to$ Validado $\to$ Comprometido $\to$ Seguro para la Acción (Action-Safe).
• Estados de Rama: En cuarentena (falló la validación, revalidable), Suplantado (desplazado por adjudicación) y Revocado (terminal).

2.2 Transacciones y el Pipeline de Compromiso

MemTX utiliza transacciones de aislamiento por instantánea (snapshot-isolated). Cuando se abre una transacción, captura una instantánea de los registros visibles en un nivel de aislamiento específico. Las escrituras se preparan como tentativas e invisibles para otros agentes hasta que se comprometen.

El Pipeline de Compromiso admite registros preparados a través de cuatro verificaciones ordenadas:

1. Verificación de Evidencia: Requiere una confianza del escritor $\ge$ 0.6 (a menos que la autoridad de la fuente sea $\ge$ 0.9).
2. Verificación de Validez: Asegura que el intervalo de validez del registro contenga el tiempo lógico actual.
3. Verificación de Conflicto Semántico: Adjudica escrituras al mismo ente/atributo.
   • Las escrituras tardías obsoletas (rivales comprometidas después de la instantánea) abortan.
   • Fuentes de mayor autoridad suplantan a las de menor autoridad.
   • La autoridad igual de diferentes fuentes activa la cuarentena para revisión.
   • Bloquea registros derivados de padres revocados o el lavado de permisos (privado $\to$ compartido).
4. Verificación de Estabilidad de Dependencias: Rechaza registros con ancestros transitivos que enfrentan una revocación pendiente.

Los registros fallidos entran en cuarentena; los que pasan son promovidos a comprometidos, y a seguros para la acción solo dentro de transacciones de acción externa.

2.3 Puerta de Control de Acciones Irreversibles

Un Puente de Acción (Action Gate) bloquea llamadas a herramientas irreversibles bajo dos condiciones:

1. Estado Tentativo en Vuelo: Cualquier registro tentativo fuera de la instantánea de la transacción está en vuelo (incluyendo el propio estancamiento no comprometido del agente).
2. Falta de Soporte Seguro para la Acción: En transacciones de acción externa, la instantánea debe contener al menos un registro seguro para la acción.

Esto asegura que los agentes no puedan actuar sobre creencias no verificadas o creencias que podrían ser retractadas.

2.4 Reparación en Cascada Tipada

Cuando una creencia es retractada (vía aborto o revocación), MemTX ejecuta una rutina de reparación en cascada tipada:

• Creencias: Revocadas.
• Vistas Derivadas (resúmenes, perfiles): Puestas en cuarentena para su reconstrucción desde fuentes supervivientes.
• Acciones de Herramientas: Compensadas si son reversibles; registradas como "filtradas" si son irreversibles.
  Este proceso recorre el DAG de derivación, asegurando que la eliminación de una creencia raíz invalide todos los artefactos dependientes.

2.5 Invariantes y Verificación

MemTX mantiene dos invariantes verificados por máquina:

• I1 (Puerta de Seguridad de Acción): Las llamadas irreversibles se ejecutan solo si no hay registros tentativos en vuelo y existe soporte seguro para la acción para acciones externas.
• I2 (Completitud de la Reparación en Cascada): Tras la retracción, todos los descendientes no terminales están inactivos (revocados, en cuarentena o compensados).

Estos fueron verificados mediante pruebas basadas en propiedades y enumeración exhaustiva acotada de 5.5 millones de estados de protocolo, resultando en cero violaciones.

3. Configuración Experimental

Los autores construyeron una suite de conformidad de 90 casos (60 trampas, 30 controles) que cubren las seis familias de corrupción, junto con una suite endurecida de 56 casos que presentan corrupciones compuestas.

• Líneas Base: Ocho sistemas existentes o reimplementados (ej., Cordon, Verified Concurrency, TOKI, MemState).
• Backbones (Arquitecturas base): Cinco modelos en tres familias (Qwen3-8B, Qwen2.5-14B, GLM-4.7-Flash, GPT-5.4-mini, GPT-5.5).
• Métricas: Éxito de la tarea, daño descendente (errores irreversibles realizados), recuperación de abortos y cumplimiento de permisos.

4. Resultados Clave

• Éxito de la Tarea: MemTX ocupó el primer lugar en cuatro de cinco backbones. En el backbone más fuerte (GPT-5.5), empató estadísticamente con la mejor línea base (Cordon + revocación) en la suite principal, pero superó significativamente a esta en la suite endurecida.
• Daño Descendente: MemTX fue el único método en lograr cero daños descendentes en todos los backbones. Otros métodos, incluso con alto éxito de tarea, incurrieron en errores irreversibles (ej., reembolsos incorrectos).
• Significancia Estadística: MemTX mostró una mejora significativa ($p < 0.00001$) sobre todas las ocho líneas base en pruebas de McNemar emparejadas en cuatro backbones.
• Estudios de Ablación: El margen de rendimiento se atribuyó a tres componentes centrales:
  1. Adjudicación de conflicto semántico: Evita que la autoridad sobrescriba la precedencia temporal.
  2. Herencia de permisos: Evita el lavado de permisos.
  3. Reversión en cascada: Asegura que los registros derivados sean reparados, no solo eliminados.
• Costo: La latencia de MemTX se mantuvo dentro de la banda de la línea base, con un aumento de tokens de hasta un 14% en modelos más débiles debido a las llamadas al verificador.

5. Significancia y Reivindicaciones

El documento argumenta que la capacidad del backbone no sustituye la disciplina del compromiso. Incluso los modelos más fuertes (GPT-5.5) fallan en prevenir el daño descendente sin un protocolo estructurado de compromiso de creencias.

Reivindicaciones Clave:

• Distinción Operativa: MemTX logra operacionalizar la distinción entre registrar una observación y comprometer una creencia, extendiendo la corrección de la memoria desde el momento de la escritura hasta el momento de la acción y la reparación post-hoc.
• Seguridad sin Intercambio por Disponibilidad: MemTX logra cero daños descendentes sin sacrificar la capacidad de ejecutar acciones legítimas (las tasas de permiso se mantuvieron altas, 0.911–0.978).
• Limitaciones: Los autores reconocen un "punto ciego de alcance": si un agente transcribe contenido privado a un resumen compartido sin declarar el padre en la procedencia (un patrón de "transcripción y reintento"), el sistema no puede detectar el lavado. Esto sigue siendo un problema abierto que requiere una procedencia que siga el contenido hasta el momento de la acción.

En conclusión, MemTX demuestra que tratar la memoria de los agentes como un sistema transaccional con ciclo de vida explícito, puerta de madurez y reparación tipada es esencial para la coordinación segura de multi-agentes con estado.