Good questions about the MIUI 16 and Pengpai, yes. Both are still infinitely better and more unique names than HyperOS; that one is really VERY weird. Both Xiaomi and Redmi have that mi as a known trademark and a part of their brand recognition, thus it is (was?) in their skin/variant - MIUI. Simple and clear to everyone. This here sounds like something for young teens (those under 16) who find such names attractive or desirable 🤨
Speaking of Android One and *mi phones, in my experience those under "Android Enterprise Recommended" ( https://www.mi.com/global/support/android-enterprise-recommended ) program work pretty much flawlessly with their stable updates which are delivered on a regular frequency of 90 days. I have Redmi 10C now and I'm perfectly happy with it so far, getting regular updates and security fixes ( https://imgur.com/fmzSEn4 ), it will be officially supported to September 2025 I think, pretty damn good for a cheap 2022 phone (I am refusing to pay flagship prices for a phone when you can get a solid laptop for the same cost).
Meanwhile my friend's Redmi Note 9 Pro does not fall under that "Android Enterprise Recommended" and while she has no issues with it those updates are seemingly random both in frequency and battery stability (and they are also somewhat bloated in unnecessary apps, while I have no bloat at all except few easy to uninstall apps, no China-only goodies though). It would be interesting to hear experiences about other phones from that list on their link 🤔
I forgot to mention one thing - Xiaomi is still pretty user-friendly with giving freedom to flash custom ROMs on their phones. It is probably not as easy with all models but they are not strict to make you everything difficult for no particular reason (Samsung, Knox, hmm). So that fact alone is a good bonus in my book.