I think if you run it through vlc the pixel rate will change. That can be a good thing or a bad thing depending on what you are watchingAll I know is that when I am watching a 4k UHD channel my hardware monitoring reports
2160p 50hz which is 50 frames per second and HDR (HLG) is enabled. The same reporting for any other format.