When I last spoke(on this forum) with Dan (from C-D), they were trying to figure out how to access 4k from the camera and down convert it to one of their compressed codecs. They can't provide 4k, directly, per Sony, but, they may be able to provide a downconverted file. For example, if they can provide DNx220x, downconverted from 4k, rather than taken from the camera's 8-bit stream, then they can supply a 12-bit stream and record it to a 10-bit wrapper. That's really where I'm placing my hopes...
OK I think I'm now getting it, after researching the issue some more.
Apparently 2K RAW, whether normal or high frame rate, will suffer from pixel binning, which I understand leads to aliasing even at normal frame rates.
So CD is trying to work around this Sony downside by getting 4K stream and then downsizing it to either 2K or HD (alas up to 30p framerate), while getting NO pixel binning and no aliasing artifacts, hopefully. Is this understanding correct ?
