general question: 1) is it forbidden to have both a rule from A -> B and a rule from B -> A registered in the engine at the same time? 2) if so, can we make the error message for this better?

yes, i believe that it is. relates to https://github.com/pantsbuild/pants/issues/7710, but isn't exactly that ticket.