There were a lot of people on Mastodon doubting federation would happen (despite a lot of incentives for Meta to federate), but this is a very definitive statement.