The wiki documents crossing=traffic_signals as “This tag is used for traffic light controlled pedestrian crossings.”, i.e. the lights are for the traffic, not the pedestrians. That describes what’s here on the ground. Pedestrians cross when the lights are red, and vehicles won’t stop otherwise. IIRC there isn’t a button for pedestrians to request to cross, and that can be represented using button_operated=no. I didn’t add that tagging because I haven’t explicitly resurveyed it to check that.