Stage Ordering
Kind: algorithm
Record: algorithms:stage-ordering
Canonical: Algorithms
Closure: Dependencies in load order
Build the runnability DAG from dependsOn, topologically order the cascade by the invalidates relation so fixes point forward, partition into normalization prefix, structural band, and semantic suffix, and permit back-edges only inside the suffix.
Listed in Algorithm contracts, after Canonical Config Resolution and before Comment Normalization Remediation.