Tự chủ mà không có bằng chứng xác thực thì không khác gì niềm tin mù quáng. Để các tác nhân tự động hoạt động an toàn ở quy mô lớn, hành động của chúng phải có thể chứng minh, bị hạn chế và có thể kiểm toán theo thiết kế.