Preview documentation. Delegation proof format and cascade revocation semantics documented next.
Anti-amplification is mandatory. A delegate can never receive scopes the delegator does not have. AEGIS enforces this at every step.
Delegation trees support cascade revocation — revoking a delegate immediately invalidates every downstream delegation in its subtree (BFS traversal).