Section 09
Permission Security Invariants
The system must guarantee:
- Revoked permissions cannot execute.
- Expired permissions cannot execute.
- Unauthorized executors cannot execute.
- Asset restrictions cannot be bypassed.
- Chain restrictions cannot be bypassed.
- Destination restrictions cannot be bypassed.
- Spending limits cannot be bypassed.
- Strategy scope cannot be bypassed.
- Replay cannot execute.
- Invalid states fail closed.
