Module config 

Scheduler configuration — annotatable knobs with a nice default.

The default (SchedulerConfig::default) is the fair, predictable, fully-deterministic baseline: a FIFO ready queue on a logical clock. Programs opt into the other disciplines (via a ## Scheduler: <policy> decorator, wired in a later phase) or callers build a config with the fluent setters.

Structs

SchedulerConfig

All scheduler knobs, bundled. Has a Default and fluent setters so it is easy to annotate while still having a sensible baseline.

Enums

ClockMode

How the scheduler’s clock advances.

SchedulePolicy

The ready-task selection discipline. Determinism holds under every policy: Fifo/Lifo/RoundRobin/Priority are deterministic by construction, and Random resolves its pick through the seeded Chooser, so it is reproducible under a fixed seed.