I played around with both the blu-ray and 4K blu-ray, and the 10 bit color of the HDR version definitely has more information that can be recovered, of course it is more demanding on a computer to work with and you have to deal with the HDR to SDR tonemapping as well.
I appreciate you taking at look at it yourself. Let me know if you have anything that can help with this project.
I feel like anyone who can understand that kind of terminology is better suited to this than I am. 😄