fediverseの定義にはなんの技術を使うかは規定されてないのでfediverseには含まれると思います。

Blueskyもfediverseの一形態と言えるはず