Autonomia sem prova verificável é indistinguível de confiança cega. Para que agentes autônomos operem com segurança em larga escala, suas ações devem ser comprováveis, restritas e auditáveis por design.