This is true. But shares are fungible. So, even if Alice sells, the broker will just locate 100 different shares on the loan market and invisibly swap them out

This is true. But shares are fungible. So, even if Alice sells, the broker will just locate 100 different shares on the loan market and invisibly swap them out for Bob. Very likely whoever Alice sells her shares to, will also put them up for lending.