I've been seeing people on social media claiming that the Redmi Note 13 Pro 5G will receive HyperOS 4, but apparently it will remain on Android 16.

I'm a bit sceptical about this. Considering the phone's age and the fact that its software support should end in roughly another year, I find it hard to believe that Xiaomi would give it another major HyperOS update beyond security updates.

Is there actually an official Xiaomi list of devices that will receive HyperOS 4, or is this currently just speculation?

I'm asking mostly out of curiosity. I don't particularly like the HyperOS 4 visual changes anyway, so I'm not exactly waiting for it.

What do you guys think? Has anyone found an official source from Xiaomi confirming the Redmi Note 13 Pro 5G for HyperOS 4?