I think at this point it's pretty clear that BlueSky is in the traditional social media business instead of being in the decentralized social media business.
Maybe that's a good decision for BlueSky, they certainly seem to have the growth at the moment, but I think we probably have to forget the dreams of it ever pushing the decentralization angle again.
From decentralised perspective the verification data is stored in the verifiers PDS rather than having the verified-certificate in the subjects PDS which means this particular check is always for the official BlueSky server only and won’t be federated anywhere else. Other potential servers are free to implement their own (potentially different!) local verification scheme with it, but it’s never going to be network wide and it never federates anywhere except the server where it’s implemented.
This is why I commented earlier about their decision to move to ”traditional” social networking space and away from decentralised networking