Are these part of bluetooth spec itself? My guess is it's actually part of the managing software. Specifically I guess this because this is what my Airpods do

Are these part of bluetooth spec itself? My guess is it's actually part of the managing software. Specifically I guess this because this is what my Airpods do. They don't switch 'players' if I'm actively listening to something, but if I'm not, whatever 'boots' last is the one who gets to become my Airpod's player. The fact that we have different experiences tends me to think it's a higher layer that's doing the 'auto switching' and someone made too simplistic of an auto-switcher?