My standpoint is that, not only should all social software support ActivityPub, it should be required by law.
Further to that, all social software should have an account migration path towards and away from it.
No, I’m not saying all servers should federate with each other. What I am saying is that it should be impossible for any one server software to monopolize the network effect.