wfNetSoundness

Formal soundness analysis via BPMN→WF-net translation (option to complete, proper completion, no dead transitions).

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