WIP: track which direct deps induced which constraints.

Completely untested. Moving in the direction of error reporting.