The idea of validating deps comes up from time to time, we had a custom task for at 4sq IIRC. The problem is it’s hard to come up with a generally useful set of rules. I think the best way to do this is with labels: Targets can have arbitrary labels, and you can set up rules saying which labels can or cannot depend on which other labels. And a target type can be an implicit label for all targets of that type.