Expand description
Deterministic workflow-scheduler regression gates from the policy-upgrade specification.
Structs§
Functions§
- f1_
critical_ path_ skew - F1: a long critical chain must beat FIFO/node-id ordering on modeled makespan.
- f2_
loop_ fairness - F2: a 100-iteration loop gets one quantum, then yields to an already-waiting peer.
- f3_
termination_ dependency_ matrix - F3: every termination class is crossed with every dependency policy. A
Noneexpectation means the dependent must be ready; otherwise it must close with the given terminal status.