Autonomi utan verifierbart bevis är omöjligt att skilja från blind tillit. För att autonoma agenter ska kunna verka säkert i stor skala måste deras handlingar vara bevisbara, begränsade och granskabara enligt design.