I admit my knowledge about phones is limited (i'm only former admin /with stroke/).
But, if 5 app tells something else..
"The others use pixel binning 12mp (standard resolution and mode). 4 pixels are merged to one in this scenario."
Xiaomi works as if there is 12mp !
Period.
Friend of mine...