defaultFlowNoCondition

A gateway's default sequence flow must not carry a <conditionExpression> — the default fires when all sibling conditions are false.

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