The contract modelling of

import-linter

sounds like just the thing, but I would rather have something that just reuses

pants

dependency graph instead of re-doing all of that work.