orang-orang mengira "verifikasi AI" berarti membuktikan bahwa model tersebut benar. Masalah sebenarnya adalah membuktikan bahwa eksekusi benar-benar terjadi seperti yang diklaim oleh agen. Itulah yang coba diformalkan oleh SPEX, bukan keamanan teoretis, tetapi kesetiaan saat runtime. Dan itulah sudut pandang @wardenprotocol