I am not sure what you mean by iD messup?

area:highway was correct - it describes the shape of the wide road area. It doesn't mean you can drive in everywhich direction here, which is what area=yes on highway=* implies.

I was talking about the artificial bus way loop. None of these intersections exist.