If this is correct, then the situation is currently uncertain.
In which case (highway=pedestrian) without any explicit access tags is not correct, since this implies: [bicycle=no]. As a fact. Therefore bicycle navigation is not possible.
And I know for a fact that bicycle navigation is possible, allowed, not forbidden. But also traffic_signals are often (still?) missing.

To temporary resolve the issue I suggest (FWIW): (highway=road).
This type of highway will be rendered by OFM as highway=unclassified, therefore navigation is possible for all vehicle).

See:
This tag is used for a road/way/path/street/alley/motorway/etc. with an unknown classification. This tag is intentionally vague: Anything which has been tagged highway=road can basically be any kind of “road” from the smallest footpath to the largest motorway (see it as a “wildcard” for highway=* values). Warning: This tag should only be used temporarily until the road/way/etc. has been properly surveyed. Do not use this tag when the type of road/etc. is known. As soon the road type is known, use one of the more specific values of highway=*.

To – perhaps - add doubts about access:
(motor_vehicle)=permissive ("unknown” is not very correct tagging)
(fixme = access unknown after reconstruction started by the end of Floriade 2022)