1. You can draw the footway=sidewalk + covered=yes first
  2. It’s not that bad initially. But it overlaps with 1 if someone draws the footway=sidewalk , so 1 is easier.
  3. This doesn’t seem valid
  4. Please remember you need to create a type=building to relate the outline building= with the part building:part=roof that’s outside
  5. Please remember you need to create a building:part=commercial to cover the rest

3 is the simplest. But why do you say “seems obvious that the extended part is indeed separate from the main part”? If anything, this is attached as a cantilever. On the contrary, the other covered=arcade case is partially supported by its own, although such a layout may be a building:part=balcony .

1 Like