The axolotl ratchet has been used in at least two different federated protocols that I am aware of. There is no plan to federate signal itself, but he not only allows, but seems to encourage the protocol's use elsewhere.