I was going to suggest (2) myself, but then I realized that it seems to follow directly from your definition of “dependent on”, so you must have thought of it yourself:
For D to depend on C means that if C has various logical outputs, we can infer new logical facts about D’s logical output in at least some cases, relative to our current state of non-omniscient logical knowledge. [emphasis added]
I was going to suggest (2) myself, but then I realized that it seems to follow directly from your definition of “dependent on”, so you must have thought of it yourself: