You are right. In principle, the AT protocol is designed for federation. But at the moment, there is only one Bluesky instance that everyone is signing up on. This makes it effectively centralized like Twitter. It is mind-boggling that people are ignoring Mastodon for this.
But...does it sync?