I like how the @ split is derived as two encoding systems rather than one Unicode email type. Domain is IDNA, local part is EAI, and Punycode never applies left of @. Lowercasing the whole address then collides two policies the receiving MTA still owns.