I think the closest you will find to this would (monorepo) build tools like Bazel or nix where due to their enforcement of hermeticity all used interfaces have

I think the closest you will find to this would (monorepo) build tools like Bazel or nix where due to their enforcement of hermeticity all used interfaces have to explicitly specified and their implementations pulled in. This coupled with the build graph then allows you to determine which downstream projects would be affected if you were to upgrade the version of the product.