Constant REPLAY_STAGES 

pub const REPLAY_STAGES: [&'static str; 6];

The stages a replay establishes from a package’s bytes alone. lean_accepted is not among them: a replay never runs Lean, and says so rather than inheriting the producing run’s word.