Waze has settings for this.
It's NOT easy to time the release of such a feature.
In fact, since this is not easy, I see a big opportunity for a competitor to Waze.
I had a friend I helped move and we had to deal with google continually routing us towards low bridges.
Is it mathematically proven, that every bridge is always appearing in the dataset after it is possible to drive underneath it? Or over it?
No map data supplier warrants that their data is free from errors, and even if they did the data could be out-of-date within hours as roads are being built all the time.
There is no proof - mathematical or otherwise - a sat nav won't switch off if you fail to plug it in. Neither is there any proof a bridge won't be closed due to roadworks, an accident, or other reasons.