Hier sieht man wo überall Gehsteige (oder die Abwesenheit davon) in Innsbruck erfasst worden sind https://qlever.cs.uni-freiburg.de/osm-planet/NYzqj6 auf "execute" und dann "map view" klicken.

Mir ging es beim Erfassen von Gehsteigen nie um Micro Details sondern darum Straßen kenntlich zu machen die Raum für Leute bieten die zu Fuß unterwegs sind.

Bis dato ist mir kein Router bekannt der mit separaten Wegen genauso gut konsumierbare Anweisungen ausgibt wie mit auf Attributen basierenden. Vielleicht wird das ja noch werden, wer weiß, ich halte nicht den Atem an.

Den Namen der Straße an den Gehsteig hängen geht scheints auch mit "street:name", das macht um einiges weniger Aufwand als die von der Berliner Verkehrswende empfohlenen drei oder vier Tags. https://community.openstreetmap.org/t/124205