Surveyed, didn't see any prohibited crossings.
It sounds like navigation of some app might need fixes if it shows non-existent explicit crossings, but OSM data seems good.
Closing for now - but if I missed something crucial, please feel free to reopen.