correctness.unconditional_call_cycle
A deny rule, scope set. Channel_call edges that are all unconditional form a cycle, so every request into it fails at the depth limit.
Synopsis
$ orion-server clippy ./definitions
deny[correctness.unconditional_call_cycle] channel_call edges that are all unconditional form a cycle, so every request into it fails at the depth limit
Description
Static channel_call edges, joined to the set’s channel → workflow binding, restricted to edges whose calling task and workflow are unconditional. Any conditional edge, a computed channel, or a target outside the set keeps the rule silent. Bounded recursion with a base case is a legal pattern.
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.
- Shared definitions: the set the rule reads, and its fragments.
Last verified 14 September 2026