as pessoas assumem que “verificação de IA” significa provar que o modelo está correto. o verdadeiro problema é provar que a execução ocorreu realmente da forma como o agente afirma. é isso que o SPEX tenta formalizar, não a segurança teórica, mas a fidelidade em tempo de execução. e é essa a perspetiva do @wardenprotocol