Ah, so you've traded the possibility of bad dependencies for certainty.

Remember, our objective function here is “feels safe.”

How can you come to that conclusion, given the specific examples I have given, which are tedious to write, but easy to proof-read and test?