I've never heard of the lights transmitting their timing
This article from SFMTA erroneously states that the busses use "GPS to communicate with the traffic signal", lol, what is the actual band used ?
https://www.sfmta.com/blog/green-lights-muni