Re-exports§
pub use milestone::MilestoneTracker;pub use tcb::BudgetLedger;pub use tcb::BudgetSlice;pub use tcb::ScheduleDecision;pub use tcb::TaskId;pub use tcb::TaskState;pub use tcb::TaskTable;pub use tcb::Tcb;pub use tcb::WaitReason;
Modules§
- milestone
- Milestone contract tracking extracted from LoopStateMachine.
- policy
- rollback
- Pure helpers for turn-transaction rollback messaging.
- state_
machine - tcb
- Primitive P2: Task Control Block + unified scheduling entity.