Module scheduler 

Re-exports

pub use budget_grant::BudgetGrant;

pub use budget_grant::ResourceBudget;

pub use cross_operation::CrossOperationMessage;

pub use cross_operation::CrossOperationRouter;

pub use cross_operation::CrossOperationRouterSnapshot;

pub use cross_operation::DeliveryFailure;

pub use cross_operation::DeliverySettlement;

pub use cross_operation::DeliveryState;

pub use cross_operation::OperationAddress;

pub use cross_operation::OperationRegistration;

pub use cross_operation::PayloadAvailability;

pub use cross_operation::PayloadLocator;

pub use cross_operation::RouteOutcome;

pub use entropy::EntropySample;

pub use entropy::EntropyTracker;

pub use entropy::EntropyWatchConfig;

pub use mailbox::Channel;

pub use mailbox::LogicalTime;

pub use mailbox::Mailbox;

pub use mailbox::MailboxMessage;

pub use mailbox::MessageId;

pub use milestone::MilestoneTracker;

pub use tcb::BudgetLedger;

pub use tcb::TaskId;

pub use tcb::TaskLifecycle;

pub use tcb::TaskTable;

pub use tcb::Tcb;

Modules

budget_grant

spc_005: hierarchical resource budget — Σ GrantedChildBudget ≤ ParentRemainingBudget recursively at any tree depth. Additive-only in this card: defines the shape, wires nothing.

cross_operation

spc_016-05: deterministic cross-operation message routing.

entropy

Session-entropy sampling — the kernel-side measurement behind a host “heartbeat entropy watch” source.

mailbox

spc_006: Task-to-task IPC — point-to-point Mailbox (this card + spc_006-02/03) and many-to-one/one-to-many Channel (spc_006-04). Additive-only in this card: the message shape only, no send/receive, no wiring onto super::tcb::Tcb.

milestone

Milestone contract tracking extracted from LoopStateMachine.

policy

rollback

Pure helpers for turn-transaction rollback messaging.

runnable

Deterministic merge point for every kind of local runnable work.

state_machine

tcb

Primitive P2: Task Control Block + unified scheduling entity.

wait_index

WaitIndex is the derived reverse index that turns “an event arrived” into “which tasks wake up” without scanning every task. It is rebuilt from durable task wait sets after restore.