Even that would be technically incorrect. I believe you could put an A record on a TLD if you wanted. In theory, my email could be me@example.
Another hole to poke in the single dot regex: I could put in fake@com. with a dot trailing after the TLD, which would satisfy “dot after @” but is not an address to my knowledge.