Channels and account scope
Model channels for operational boundaries and predictable access control.
Promise
Per-account channels and scoped reads/writes.
Proof
Type references define channel shape and semantics.
Limits
- No hidden global channel access.
- No silent channel mutation.