Assuming an Active Directory domain with FQDN "domain.local" and NetBIOS name "DOMAIN", there are two standard formats to identify user accounts:
DOMAIN\username
username@domain.local
(The second one is called the "UserPrincipalName", or "UPN").
They need not have the same username part, so you can also have
DOMAIN\somename
someothername@domain.local
Also, the UPN can have a different suffix from the actual domain FQDN:
DOMAIN\username
username@something.else
Last but not least, you can even mix both:
DOMAIN\somename
someothername@something.else
All fine and good and well known.
However, several times I've seen someone using the intermediate format domain.local\username
. Which AFAIK is not defined or documented anywhere, and yet often works, but sometimes fails; I've not done extensive research on it, but I think it fails in one or more of the last three examples, i.e. when non-standard mappings between username, UPN and domain FQDN are involved.
My question: is this kind of login name actually defined or documented anywhere?
If yes, how is it called and what are its requirements to work?
If not, why does it even work at all?