人々は「AI検証」と聞くと、モデルが正しいことを証明する意味だと想定します。しかし本当の問題は、エージェントが主張する通りに実行が実際に行われたことを証明することです。SPEXが形式化しようとしているのは理論的な安全性ではなく、実行時の忠実性です。そしてそれが@wardenprotocolの視点です。