Structural analysis for compiled workflow graphs.

The workflow compiler remains responsible for validating individual fields and executable descriptors. This module looks at the graph as a whole. It deliberately separates hard errors from diagnostics which are useful to a developer but cannot be proved invalid in the presence of trusted route and action callbacks.