And what is that experience of yours? Do you have experience from deployments with many independent atproto data servers and relays federating together?
Or do you have experience from bluesky, meaning you're only interacting with one central server and none of the complexities of federation come into play?
If you use bsky.app, you still see posts from other servers (Blacksky, Eurosky, W Social, and so on). But yes, by the protocol's design you're primarily interacting with one central aggregator of everything (Bluesky's AppView).
This is exactly why I clarified with "as a user".
I just checked and yes, I follow someone that's on Eurosky. Maybe I follow multiple, I honestly don't know because it isn't at all noticeable. It just works.
That’s like saying that someone using Google Reader doesn’t “experience federation of RSS”.
Yes, my experience using the Bluesky app includes the Bluesky app server aggregating from many independent PDS hosts (because people I follow like that). But it doesn’t show up in user experience because that’s the whole point.
And yes, I can use another aggregator instead of the Bluesky app, or even use a client which has no backend and relies on community-run Constellation index. It all roughly works the same.