Module docs 

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.

mailbox

Bounded mailbox: capacity contract, overflow, anti lost-wakeup.

security

Security model: authenticated sender, FlowCap, invariants S1–S7.

vm_safety

Trust boundary: what verify settles statically vs what the Vm checks per step, and why a fault never becomes a panic.