infiniteLoop

Cycle (multi-node SCC) with no exit edge to an end event — deadlock loop.

Full reference documentation for infiniteLoopis in progress. In the meantime, the rule's summary above describes the check, and the source implementation in lib/bpmn/rules/* on GitHub is the canonical specification.