Personally I both agree but also disagree here, I personally would like lane based tagging for sections of “lanes” and more generally buffer spaces between directions of travel on bidirectional roads. I start to disagree when this is applies to actually dual carriageway roads. As I see it if there is any kind of barrier (including kerbs) between directions of travel that makes the individual carriageways different areas and thus those different areas should be represented as different ways. So in essence I would like tagging for this but only have it used if the separator is purely made of paint (paint lines on roads), once there is an actual barrier between the carriageways should be split.

Miami Dade County already provides GTFS files of their network so you may not need to reach out to them directly. The reason I haven’t used these yet is because I am not 100% sure that they can be used as sources for OSM though I think they could due to Microdecisions, Inc. v. Skinner.