Where should the building outline end?

Hello everyone, I am trying to map this building, I have a few questions:

  • I know that the orange area should be mapped as a porch and the white walkways as covered=colonnade, but where exactly should the building outline extend? should it stop at the inner wall of the building or at the outline of the porch and the covered wallkway
  • In either case, should the covered walkway be a building part or not? I am pretty sure the porch should be a building part but I could be wrong
  • If both of those are building parts, should I make them overlap or make 2 covered walkways at either side of the porch

Hereโ€™s what I did so far: OpenStreetMap

  • ืœื“ืขืชื™ ืืคืฉืจื•ืช 2

  • ืœื“ืขืชื™ ื’ื ื›ืŸ ื–ื” ืืžื•ืจ ืœื”ื™ื•ืช ื—ืœืง ืžื”ืžื‘ื ื”

  • ื’ื ืืคืฉืจื•ืช 2 (ืœื“ืขืชื™)

Based on that photo, everything with a roof could be mapped as a building.

I imagine there are a few ways to map it, e.g. building=roof over highway=service or building=yes with tunnel=building_passage.