Does anybody have any examples of properly mapped ASLs (aka bike box or advanced stop box)?

I believe highway=traffic_signals should be placed at the stop-line for cars, and cycleway=asl goes at the stop-line for bikes.
image

If the ASL has a highway=cyclist_waiting_aid, then that would go in between the 2 nodes:
image

I would also appreciate feedback if this is wrong, since we’ve mapped over 500 of these using this approach.