La gente asume que la "verificación de IA" significa demostrar que el modelo es correcto. El verdadero problema es demostrar que la ejecución realmente ocurrió tal y como afirma el agente. Eso es lo que SPEX intenta formalizar, no la seguridad teórica, sino la fidelidad en tiempo de ejecución. Y ese es el enfoque de @wardenprotocol.