I know the PTv2 rules, that's why I flagged the duplicated platforms in Filuxbus routes.

If the same platform has multiple names from different operators, then something like name:<operator>= should be used, similarly to ref:<operator>=(https://wiki.openstreetmap.org/wiki/Tag:public_transport%3Dplatform), not 2 platform objects, but yes, there is probably not much support in apps for that yet. I see there is at_name used for this on this stop.
I think https://www.openstreetmap.org/way/465614276 should lose the public_transport=platform and bus=yes tags as it no longer represents the bus stop (the node does), but that is just my preference and is up to you. I think the situation is much better now, thank you.