JL
ZH-CN
Get Started
Menu

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.