I’d suggest making this point clearer in the proposal. A possible alternative interpretation is that bicycle:dismount=yes means “you can only pass here with a bicycle by dismounting”, so bicycle=no would be redundant. I don’t think that is what you are suggesting, but as bicycle=dismount is tagged 190,000 times, it would be worth spelling this out explicitly.