Resumen Técnico: La verificación local no puede detectar la no-transportabilidad

Declaración del Problema

Los sistemas de IA agéntica transportan cada vez más conclusiones a través de diversos contextos biológicos, clínicos y comerciales. Las arquitecturas de vanguardia actuales (por ejemplo, Medea) dependen de la verificación local: comprobar en cada paso que las entidades son representables, que los parámetros son compatibles y que los resultados son coherentes con el plan. Estas comprobaciones son "locales" en el sentido de que están soportadas en piezas acotadas de espacio de contexto (contextos únicos, pares o tríos).

El artículo identifica una incompletitud estructural en este enfoque. Si bien las comprobaciones locales pueden detectar tipos específicos de errores, son ciegas a la no-transportabilidad estructural. Esto se manifiesta como una situación en la que un agente supera todas las verificaciones locales pero produce una conclusión que depende de la ruta de razonamiento específica tomada. Este fenómeno es formalmente análogo a la "inconsistencia de bucle" en los metaanálisis de redes, donde la evidencia directa e indirecta alrededor de un bucle cerrado es individualmente sólida pero conjuntamente incoherente.

Metodología

Marco Teórico

El autor modela el problema utilizando topología algebraica y teoría de esquemas (sheaf theory):

1. Sitio de Contexto: El espacio de situaciones relevantes para la decisión $X$ está cubierto por un conjunto finito de contextos $\mathcal{U} = \{U_i\}$. Se construye el nervio $N(\mathcal{U})$, donde los vértices son contextos, las aristas representan solapamientos (evidencia de puente) y los triángulos representan solapamientos triples.
2. Cociente de Evidencia: La evidencia se modela como un cociente de 1-forma real $\omega \in C^1(N(\mathcal{U}); \mathbb{R})$, que asigna un contraste medido a cada solapamiento.
3. Transporte Agéntico como Integración de Trayectoria: Un agente que transporta una afirmación desde un ancla $a$ hacia un objetivo $t$ realiza una integración de trayectoria: $\hat{\theta}_t = \theta_a + \langle \omega, \gamma \rangle$, donde $\gamma$ es la trayectoria en el nervio.
4. Descomposición de Hodge: El espacio de cocientes de 1-forma se descompone ortogonalmente en tres componentes:
   • Gradiente ($g = \delta_0 \beta$): Desplazamientos de instrumentos por contexto. Eliminables mediante recalibración.
   • Rotacional/Curl ($c \in \text{im}(\delta_1)^\top$): Inconsistencias locales detectables en solapamientos triples (no nulo $\delta_1 c$).
   • Armónico ($h \in H^1$): El componente en el núcleo tanto de $\delta_1$ como de $\delta_0^\top$. Esto representa la primera clase de cohomología de Čech $[\omega] \in H^1$.

Resultados Teóricos Clave

• Independencia de la Trayectoria: La estimación transportada es independiente de la trayectoria si y solo si el cociente de evidencia es exacto ($\omega \in \text{im } \delta_0$).
• Holonomía: El desacuerdo entre dos rutas de razonamiento es exactamente la holonomía de la clase de cohomología $[\omega]$.
• Ceguera de la Verificación Local: Cualquier comprobación de consistencia soportada en símplices (aristas, triángulos) no puede distinguir entre un cociente exacto y uno perturbado por un componente armónico. Dado que los componentes armónicos satisfacen $\delta_1 h = 0$, pasan todas las comprobaciones de solapamiento triple, pero generan un desacuerdo no nulo entre trayectorias.
• Mecanismo de Obstrucción: El componente armónico surge de la modificación de efecto combinada con la composición de población específica del contexto (paradoja de Simpson en una red). Si la modificación de efecto está ausente, la energía armónica desaparece hasta la precisión de la máquina.

Método Propuesto: Ks.etra

El autor propone Ks.etra (Ksetra), un procedimiento que:

1. Construye el sitio de contexto y ensambla el cociente de evidencia.
2. Descompone $\omega$ en partes de gradiente, rotacional y armónica mediante mínimos cuadrados.
3. Triaje:
   • Gradiente Dominante $\to$ Recalibrar instrumentos.
   • Rotacional/Curl Dominante $\to$ Re-medir o volver a ejecutar la deliberación (inconsistencia local).
   • Armónico Dominante $\to$ Obstrucción estructural; el recubrimiento debe ser refinado (estratificación).
4. Filtrado (Gating): El sistema se abstiene de tomar una decisión si la energía armónica $\|\omega_h\|$ excede un umbral. Tras la abstención, emite el ciclo específico que porta la mayor holonomía como una instrucción de recolección de datos.

Resultados

Estudios de Simulación

El autor realizó simulaciones en dos dominios:

1. RWE Farmacéutica: Contextos definidos por (Estadio de CKD $\times$ Entorno de atención). El espacio de atributos es contractible; $H^1$ surge solo de brechas de evidencia.
2. Crédito al Consumo: Contextos definidos por (Región $\times$ Régimen macroeconómico). El eje del régimen es cíclico (expansión $\to$ recuperación), creando una obstrucción topológica por construcción.

Hallazgos Clave:

• Poder Predictivo: En el modelo mecanístico donde la holonomía emerge de la modificación de efecto, tanto la energía armónica como la del rotacional son comparablemente predictivas del error irreducible del estimador óptimo (Spearman $\rho \approx 0.37$ para la armónica y $0.33$ para el rotacional). Esta correlación surge porque una causa latente única (modificación de efecto) genera ambos componentes. Sin embargo, la energía armónica retiene un valor predictivo independiente tras condicionar sobre los otros componentes ( $\rho$ parcial $\approx 0.19$), mientras que el rotacional no lo hace. La distinción operativa entre ambos se define por su remedio (re-medición para el rotacional vs. refinamiento para la armónica), no solo por su valor predictivo.
• Dependencia de la Trayectoria: Tanto los componentes armónicos como los del rotacional predicen la dependencia de la trayectoria (dispersión a través de rutas de razonamiento), pero solo el armónico predice el límite inferior de error de forma independiente a los otros componentes.
• Rendimiento: Ks.etra (filtrado basado en energía armónica) supera a una línea base de "Filtrado por residuo" (filtrado basado en conflicto total) en el Área Bajo la Curva de Riesgo-Cobertura (AURC), reduciéndola en 0.029 (farmacia) y 0.039 (crédito).
• Costo de Deriva: El "ensanchamiento silencioso" (colapsar contextos sin verificación) incurre en un error significativo incluso en sistemas perfectos.

Caso de Prueba Financiera (FX e IFRS 9)

• Prueba F Exacta: El autor deriva una prueba F exacta para la existencia de una afirmación global, particionando los grados de libertad en calibración, coherencia local y transporte. La prueba tiene el tamaño correcto bajo ruido isotrópico.
• Arbitraje FX: En un complejo de 15 divisas construido con restricciones de ejecutabilidad, el componente armónico detecta "arbitraje de bucle" (P&L en ciclos no completados por triángulos ejecutables) que las comprobaciones estándar de arbitraje triangular (rotacional) pasan por alto.
• IFRS 9: Aplicado a un inventario de modelos de PD sobre un espacio de regímenes cíclicos, el método identifica 17 bucles independientes capaces de portar historias incoherentes indetectables mediante validación de pares o tríos.

Significancia y Reivindicaciones

El artículo presenta un resultado negativo como su contribución central: Ninguna familia de comprobaciones de consistencia soportadas en símplices puede detectar la obstrucción armónica. Esto implica que las estrategias de verificación agéntica actuales, independientemente de la calidad de su implementación, tienen un punto ciego fundamental.

Significancia:

1. Teórica: Identifica la inconsistencia de bucle en la síntesis de evidencia como la primera cohomología de un sitio de contexto, extendiendo el concepto de las redes de tratamiento a recubrimientos de contexto arbitrarios.
2. Operativa: Replantea la abstención de un puntaje de confianza heurístico a una cantidad cohomológica. Un componente armónico no nulo no es solo una advertencia; es una instrucción específica para refinar el recubrimiento (estratificar más profundamente) en lugar de recolectar más evidencia a la misma granularidad. La distinción entre el componente rotacional y el armónico se define por su remedio (re-medición vs. refinamiento), no únicamente por su valor predictivo.
3. Económica: El método ofrece un mapeo transparente de la geometría del riesgo selectivo hacia los resultados de cartera, mostrando que el filtrado cohomológico es económicamente viable solo donde el costo de un compromiso erróneo supera materialmente la ganancia de uno correcto (por ejemplo, decisiones terapéuticas reguladas y de crédito).

Limitaciones y Modestia:

• El artículo establece explícitamente que no contiene validación con datos reales. Las simulaciones son validaciones controladas de la teoría.
• El mecanismo de generación armónica (modificación de efecto) es modelado, no observado en trazas de agentes del mundo real.
• El autor reconoce que los errores correlacionados a través de solapamientos y la elicitación de la factorización de factores de contexto correcta son problemas abiertos no resueltos aquí.
• La contribución se enmarca como una identificación teórica de un punto ciego y un remedio propuesto, con el llamado a la validación con datos reales (por ejemplo, usando metaanálisis de redes publicados o los benchmarks de levadura de Medea) como el siguiente paso necesario para trasladar los resultados fuera de la simulación.