We need a goal (or enforcer rule?) that finds all instances of dependency convergence and checks if a resolution occurred between semver-incompatible dependencies.

We will probably need custom version API to account for terms like beta-XXX