P.S. ganz vergessen, dass "bicycle=optional_sidepath" ein weiterer guter Indikator für einen vorhandenen separat gemappten Radweg ist -- ein Tagging, welches ebenfalls in den letzten Jahren neu entstanden ist und hier mMn eine sinnvolle Ergänzung darstellt.

Damit wäre es sogar mit Overpass möglich, solche Situationen herauszufiltern. Straßensegmente mit Hochbordradwegen würde man dann also entweder direkt am baulichen Tagging erkennen ("cycleway=track" oder "cycleway=separate") oder zusätzlich auch am rechtlichen Tagging ("bicycle=optional_sidepath" oder "bicycle=use_sidepath").