What're the tagging rules for "transitive" separate sidewalks?

https://www.openstreetmap.org/way/619241252#map=19/53.805620/-1.532968&layers=N

1) The road has `cycleway:left = separate` (err this one doesn't, but the other side does -- pretend this is true)
2) The cycleway has `sidewalk:left = separate`

So by transitivity, the road has a separate sidewalk on the left side.

Should the road have `sidewalk:left = separate` or `sidewalk:left = no`? Is it "double tagging" to mark this on both the road and cycleway? It's more like repeating a pointer to something else, rather than mapping it twice.

The issue is about OpenStreetMap tagging rules for sidewalks and cycleways. Start by reading the OSM wiki on sidewalk and cycleway tagging, then examine the code in the speedwalk repository that processes these tags. Look for existing logic handling 'transitive' tagging to understand the current behavior. Determine if the road should inherit sidewalk:left=separate from the cycleway or if it should be marked as no.

Written by the indexing model from the issue text.