Function unreachable_steps 

pub fn unreachable_steps(
    run: &AgentRun,
    reachable: impl Fn(&RunStep) -> bool,
) -> Vec<&RunStep>

Steps whose documents this process cannot reach.

The pre-flight a coordinator runs before undoing anything. An empty result means every step can be attempted; a non-empty one is a refusal.