
local-part
(до @) отводится целиком на усмотрение сервера, включая зависимость от регистра или её отсутствие таковой. при этом domain
(после @) таки да, определён как не зависящий от регистра (в DNS тоже, см. RFC4343)https://stackoverflow.com/a/9808332