Zugegebenermaßen habe ich einige dieser Weichen übersehen, zudem es von den Definitionen her auch selber komplex ist, insbesondere wenn einige unverbundene Betriebsstellen selber separat sind (z.B. Dreieich-Buchschlag, dessen S-Bahnhof separat vom Regionalbahnhof ist) und manchmal auch selbst mit Verbindung (z.B. Berlin-Charlottenburg, S- und Fernbahn physisch miteinander Verbunden sind und dennoch separate Betriebsstellen/Bahnhöfe bilden).
Meine Änderungen habe ich jedenfalls rückgängig gemacht.

Was ich allerdings definitiv sagen kann: Abzweige bilden keine Bahnhöfe, sondern Haltestellen!
Bei der Galluswarte habe ich stattdessen eine Überleitstelle für die S-Bahn bemerkt, was es erlaubt, die Züge dort zu wenden aber nicht abzustellen und selbst hierzu gibt es widersprüchliche Definition, ob diese als Bahnhöfe oder Haltestellen gelten (z.B. laut Definition im Wiki ist die Galluswarte kein Bahnhof, wenn man den S-Bahn-Bereich isoliert betrachtet: osm.wiki/File:Station-or-halt.svg).

Nö, war auch falsch. Am Gutenbergplatz hatte ich auch den gleichen Fehler gemacht, zudem ich auch nicht weiß, wie viele Halte davon in Mainz auch eingetragen sind.

Zu 2 und 3: Das Problem ist hier, was hier de-jure ausgeschildert ist und was de-facto tatsächlich gemeint ist und für OSM spielt Letzteres eher die Rolle als Ersteres.
Eine Fußgängerstraße mag ja zwar rechtlich keine Bürgersteige oder Fahrbahn haben, die Ludwigsstraße hat aber immer eine identifizierbare Fläche, wo die Busse fahren und von der Erfahrung her läuft darauf auch regelmäßig kein Mensch drauf.

highway=busway ist ein ganz guten Beispiel dazu: Offiziell (d.h. so wie es akzeptiert wurde, sowohl weltweit als auch speziell hier) wird es nicht für jegliche beliebige Straßen verwendet, die mit einem 245er gekennzeichnet sind, sondern primär für Nebenfahrbahnen (dazu zähle ich auch einfache Bordsteine als Trennung zur Hauptfahrbahn) oder eigenständige Verkehrskorridore (Busstraßen), was bei der Schöfferstraße nicht zutrifft (das 245er fungiert hier primär als Filter). Außerdem passt hier highway=busway auch mit deiner Version nicht, weil der "Bussonderfahrstreifen" auch nur für diesen Bushalt gilt somit sich eher den Bushalten von Sankt Bernhard ähneln als z.B. der Busweg an der Rheinstraße.
Dazu liegt die Straße immer noch in einer die Fußgängerzone, die m.W.n. auch nicht aufgehoben wird ähnlich wie man auf Radwegen in verkehrsberuhigten Bereichen immer noch in Schrittgeschwindigkeit fahren muss.

Und highway=footway vs. highway=pedestrian: Diese werden auf OSM z.T. als Synonyme verwendetet und nur durch die Breite des Weges unterschieden d.h. wie gut darauf mit einen Vierräder physisch fahren kann (z.B. ein schmaler Weg, welcher mit einen 242er gekennzeichnet ist, ist ein highway=footway statt highway=pedestrian oder umgekehrt, ein breiter 239er-Weg ist highway=pedestrian statt highway=footway). Die Unterscheidung ist z.T. Subjektiv, in dem Fall aber ist es von der Funktion her ein highway=footway, gerade wenn man das hier verwenden würde, wenn die Schöfferstraße in dem Bereich auch keine Fußgängerstraße wäre.

Mit den Änderungen bin ich nicht ganz einverstanden: Erstes gibt es zwar eine allgemeine Regel, dass ein Schild, allerdings können Schilder an Kreuzungen wegen der Sichtbarkeit hinter ihrer legalen Wirkung platziert werden (ähnliches gilt z.B. für Zone 30 oder auch Straßennamen, die man u.a. über ALKIS sehen kann), zweitens sind die Bürgersteige an der Schöfferstraße keine von normalen Fahrzeugen befahrbaren Wege und sind eher als highway=footway zu taggen (analog zu den Fußwegen an der Ludwigsstraße oder wie jeder anderer Bürgersteig) und drittens ist highway=busway im OSM-Sinne, nicht unbedingt eine Straße, die nur von Bussen befahren kann sondern das Bus-Gegenstück für Straßenbahnen der besonderen Bauart während die Schöfferstraße ähnlich wie der Münsterplatz gebaut ist, nur eben mit den Unterschied, dass die Einschränkung über 245 statt 250/267+1026-32 geregelt ist.

Habe ich selber vor einem halben Jahr herausgefunden und vermutlich auch nur durch Zufall beim lesen von type=boundary entdeckt.