diNegativeDimensions

<BPMNShape> dc:Bounds width / height must be non-negative — negative values are rejected by BPMN modelers.

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