Hi,  pluton_od!
My name is Stepan and I’m a mapper on the OSM team at Lyft. I'm sorry for adding the wrong tag for the segment: https://www.openstreetmap.org/way/1187792165. Of course the hov:lanes tag is more appropriate for such cases, but on this segment there are really no hov lanes. I deleted the wrong tag in the changeset: https://www.openstreetmap.org/changeset/138413356 . 
Thank you so much for bringing this to our attention.
Best regards, Stepan!