I wonder if the ActivityPub spec has some allowance for the eliding of the "user" part of a handle. So instead of "@/[email protected]" it could just be "@/myserver.social" (without "/").
If not I think that would be a nice add. Maybe just some convention like "If user not present in handle, assume "@/[email protected]".