Otonomi tanpa bukti yang dapat diverifikasi tidak dapat dibedakan dari kepercayaan buta. Agar agen otonom dapat beroperasi dengan aman dalam skala besar, tindakan mereka harus dapat dibuktikan, dibatasi, dan dapat diaudit dengan desain.