correctness.unreachable_step

A deny rule, scope workflow. Steps after an unconditional terminal step can never run.

Synopsis

$ orion-server clippy ./definitions
deny[correctness.unreachable_step] steps after an unconditional terminal step can never run

Description

Everything in document order after a terminal step that is certain to be reached. Certain means no condition on it or on any enclosing group. A terminal task halts after it ran, so it must be unconditional. A terminal group halts when its span closes, whatever its members did.

Related

• Advisory checks: every rule, the levels, and where certainty comes from.
• orion-server clippy: the command, its flags and exit codes.
• Test workflows offline: running the rules against a set.
• Workflows: the step grammar the rule reads.

Last verified 14 September 2026