Please take a look at building:part key. Here w1236167006 describes the outline of the building and w473202641 and w1220095055 reflect parts of the building that are different in height.

If a footway crossing a building, the editor that I use, JOSM, gives a warning, not an error. I have now split the footway into parts and the part under the roof is now tagged with covered=yes.