Ich kann mir beim besten Willen nicht vorstellen, dass das Verwenden von zweimal demselben Tag spezifikationskonform ist, weil dann das Unterscheidungskritierium für den Renderer fehlt. Und das muss nach meiner Auffassung vorgegeben werden, weil sich ansonsten das Ergebnis zwischen den Renderern auch bei spezifikationskonformer Implementierung unterscheiden kann. Aber ich kann ja  JOSM mal fragen, ob er das für formal korrekt hält, wenn in eine Richtung sowohl destination wie auch destination:lanes gemappt sind. Am Ende ist aber auch das nur ein Hinweis und kein Beweis.