Doğrulanabilir kanıt olmadan özerklik, kör güvenden ayırt edilemez. Otonom ajanların ölçekte güvenli şekilde çalışabilmesi için, eylemlerinin tasarım gereği kanıtlanabilir, kısıtlanmış ve denetlenebilir olması gerekir.