Such check is already done by allowing (or not) some transitions on workflow state

Client is sending Access-Control-Request-Headers, server shall respond with
Access-Control-Allow-Headers.

This allow to propagate destroyed state

It manages the Sale Packing List.

Sale Order creation is now done in an interaction workflow triggered by the
instance state change.