EDIT: It could be that this list is incomplete or something went wonky when they went through their domain drama. Looking around some of the larger servers hexbear.net is on the blocked list, but that isn’t being reflected on the tool linked above. Some servers are defederated from either side but certainly not most.
They’re defederated from a couple of the larger servers and a few of the smaller ones.
https://federation-checker.vercel.app/
EDIT: It could be that this list is incomplete or something went wonky when they went through their domain drama. Looking around some of the larger servers hexbear.net is on the blocked list, but that isn’t being reflected on the tool linked above. Some servers are defederated from either side but certainly not most.