conditionalFlowIntoJoin

Sequence flow into a converging gateway (join) carries a conditionExpression — joins consume tokens unconditionally, so the condition is silently ignored.

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