It seems that document currently expresses that “the AT Protocol, which powers the Bluesky social network” is “[a] major protocol in competition with the Fediverse”, which suggests that neither “the AT Protocol” nor “Bluesky” are included in the Fediverse.
Moreover, “AT Protocol” and “Bluesky” are conspicuously absent from the second paragraph of the article content / lead section.
The majority of Fediverse platforms are based on free and open-source software, and create connections between servers using the ActivityPub protocol. Some software still supports older federation protocols as well, such as OStatus, the Diaspora protocol and Zot. Diaspora* is the only actively developed software project classified under the original definition of Fediverse that does not support ActivityPub.
I believe you’re quoting https://en.wikipedia.org/wiki/Fediverse
It seems that document currently expresses that “the AT Protocol, which powers the Bluesky social network” is “[a] major protocol in competition with the Fediverse”, which suggests that neither “the AT Protocol” nor “Bluesky” are included in the Fediverse.
Moreover, “AT Protocol” and “Bluesky” are conspicuously absent from the second paragraph of the article content / lead section.
There discussion related to this around https://thebrainbin.org/m/fediverse@lemmy.world/t/705694/-/comment/5682552