Hmm… So a rule may or may not be valid depending on what a dependee happens to have in implicit scope?

absolutely. the ambiguity case above is a bug, but in general, it makes sense that using a @rule has some requirements.