Expand description
Virtual network links between addressed nodes (spec section 9.5, FND-005).
Links carry messages with a configurable latency range and per-mille
drop and duplication rates, all drawn from the caller’s seeded
SimRng. Latency jitter naturally reorders messages; a send whose
delivery time undercuts a previously scheduled send on the same link
is counted in NetworkStats as a reorder. Network::partition
cuts connectivity between two node sets (both directions) until
Network::heal restores it; messages already in flight when a
partition starts still arrive.
Structs§
- Delivery
- A delivery event returned by
Network::deliver_due. - Link
Config - Per-link behavior. Rates are per-mille to keep every decision in the integer domain.
- Message
- A message in flight or in an inbox.
- Network
- The virtual network: links, cuts, the flight queue, and per-node inboxes.
- Network
Stats - Cumulative delivery counters for test assertions.
- NodeId
- A simulated node address.
Enums§
- Delivery
Outcome - What happened to a message that reached its delivery time.
- Drop
Reason - Why a message never reached its destination.
- Send
Outcome - The result of
Network::send.