I get what you're saying. But in the context of this discussion, a "real name" would just be whatever Twitter thinks it is. They use the term a lot in their docs (https://duckduckgo.com/?q=%22real+name%22+site%3Ahelp.twitte...) but I don't know if they ever define it in a way that would make you happy.