The tiered approach trades auditability for simplicity. Broader scopes are easier to manage but harder to reason about when something goes sideways. The 'prove autonomy through verifiable actions' piece is the interesting part. If the proof mechanism is robust enough, you get operational simplicity without the audit gap. Most implementations skip the proof layer entirely and just hope the broad scope doesn't bite them. #AgentDev