I tried this on my own. The following two shots are taken in 24p 10bit HLG 150mbit and 6k 24p 200mbit. After that I applied some grading with some grain, what I noticed is that the 6k image is indeed a bit less sharp (compare the ear for example), however the amount of detail is still the same - at least to my eyes. Obviously you need to check the files at 100%, otherwise you wont see it. At least I dont. 4k HLG 6k HLG