As discussed off-forum, the problem was within VLC. The user changed settings there, and all is now showing correctly. Though I don't know what settings they changed.
A likely issue is having the player set to handle Rec.709 media as "full", which is incorrect. Rec.709 media is 'full' by image dynamic range, but encoded in 'limited' range for historic reasons. It is then displayed, correctly, as full range values on a properly set system.
"Regular" Rec.709 is technically encoded as Y-Cb/Cr. The 4:4:4:4 media, like the ProRes4444HQ and DNxHR/444 are (technically" encoded as RGB ... and are supposed to be encoded as 'full' range. And will be shown as such by correctly set systems.
But if somewhere between the OS, GPU, or player settings, somehow Rec.709 got set to 'full', then normal Rec.709 is shown as full ... and the 4444/RGB codecs are displayed with crushed blacks and clipped whites.
That may have been an issue here.
Neil