I might be totally imagining this but I vaguely recall the spec saying you need at least two levels (presumably to prevent confusion with twitter handles et al). lemme go double check...
if i'm on a PDS which provides `*.robocracy.org` handles to accounts, and I do `@hal` in my client, that could auto-expand to `@hal.robocracy.org` (hal as a "local" handle).
precedent is how DNS normally works, and fediverse. it is kind of a stretch and maybe a bad idea
I remember pitching paul on something like this (hiding the .bsky.social bit on the app here) but he didnt like it back then (probably for good reason)
I will do so in @skeets-app.bsky.social mainly for accessibility reasons (creates a lot of audio „garbage“ when using a Screenreader) and only display custom handles.