Люди предполагают, что «проверка ИИ» означает доказательство правильности модели. На самом деле важно доказать, что выполнение действительно произошло так, как утверждает агент. Именно это пытается формализовать SPEX — не теоретическую безопасность, а соответствие выполнения в реальном времени. И это тот подход, который использует @wardenprotocol.