Wenn ich heute nochmal darüber nachdenke, finde ich addr:postcode anstelle von postal_code definitiv besser. Wir reden hier ja wirklich von der Adresse des Objekts, während postal_code immer an Objekten verwendet wird, wo es nicht als Adresse dient.
Ob addr:city neben addr:postcode notwendig ist, ist eine andere Frage. Ich würde sowohl mit als auch ohne aber nicht als Fehler ansehen. Die Postleitzahl enthält ja eigentlich schon alle Informationen und kann in OSM auch gegen die Grenzpolygone validiert werden.
Dem kann ich nur zustimmen.