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?
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.
My hosting is managed by Bluesky but it has nothing to do with Bluesky app. Hosting is a separate decoupled thing. I could move hosting to my own Docker container, and all aggregators would see my posts just as fine.
(Update: I actually have moved my hosting today but it seems like Blacksky is caching resolution too aggressively so it might not resolve it for a few more hours.)
Users of different appviews are just using a different aggregator/backend in effect. The network is still largely the same but there may be minor moderation or feature differences between appviews.
Users of different PDS would be the closest thing to a mastodon instance and there's thousands of different PDS without much issue. I'm on a "third party PDS" and I've had barely any issues.
I use a "third party" PDS, appview, PLC directory mirror, CDN, and client so 99.9% of my interaction with bluesky and atproto at large is independent of bluesky the corporation.
Despite using a third party "basically everything" my experience is essentially the same as a "default" bluesky user if not better in many ways
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).
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.