La mayoría de la gente piensa que la verificación de IA consiste en comprobar si la lógica del modelo es sólida. Pero aquí está el asunto: lo que realmente importa es confirmar que la ejecución ocurrió exactamente como el agente informó.

Ahí es donde entra en juego SPEX. No persigue algún ideal abstracto de seguridad. En su lugar, formaliza la fidelidad en tiempo de ejecución, asegurándose de que lo que ocurrió en la cadena coincida con lo que se suponía que debía ocurrir. Transparencia en la ejecución por encima de la perfección teórica, básicamente.