Exactly, that is why it is an issue to have different global IDs for semantically equivalent projects, buildings, storeys etc. when they are in different files. Maybe you misread @igor.sokolov 's second case?
I guess we all agree that GlobalIds should be equal if and only if the identified products are semantically equivalent. Neither of the two violations should happen, but they do happen even if implemented properly because determining semantic equivalence is rarely possible without an educated user.