Cross-Stage Invariants
Kind: algorithm
Record: algorithms:cross-stage-invariants
Canonical: Algorithms
Closure: Dependencies in load order
Bind every stage to the always-and-never rules of the generator — resolve authority and directionality before planning, discover before assuming, activate principles with a bound validator, order by dependency with severity as routing metadata, read only the prior stage's output contract through one evidence-bearing handoff, represent all four graph axes, require evidence for every claim, separate generation gates from future execution gates, repair from the earliest invalid stage, and render deterministically.
Listed in Algorithm contracts, after Explicit Termination and before Checklist Creation Kernel.