One page per stage — what reaching it means and what evidence gets you there.
Position in a process as a fixpoint over the reached set — synchronous sweeps, sticky milestones, and regression by derivation.
