Module types 

2026-09-25: Small value types shared by the routers.

Owner: scheduler. Invariants: none beyond the types.

Structs

DeviceFacts

2026-09-25: The KV pool and SSM snapshot counters a router reports.

Ticket

2026-09-25: A launched step, to be settled with DeviceIo::await_result.

Enums

DeviceError

2026-09-25: A device failure, split by when it happened: the forward itself (the batch may be preemptible), the readback after it, or an effect.

WaitPolicy

2026-09-25: How long a request router’s recv may wait for something to arrive.