diNegativeDimensions

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

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