Expand description
Long-form design notes shipped inside the crate (also under docs/ on GitHub).
These modules exist so docs.rs shows the same guides as the repository, not only API rustdoc.
Modules§
- atomic_
hop - Atomic Hop: Message-only Send, FlowCap addressing, Ask, selective receive.
- error_
model - Fail-closed error taxonomy and mutex policy.
- security
- Security model: authenticated sender, FlowCap, invariants S1–S7.