multiInstanceLoopInvalid

Loop characteristics with non-positive cardinality, no cardinality source, or no termination condition cannot drive a loop.

Full reference documentation for multiInstanceLoopInvalidis 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.