For music-video productions (and lots of keying), of 1080p resolution, which is better:
1) 4K REDCODE --> to 1080p uncompressed
or
2) 1080p uncompressed RED ONE Shooting with HD-SDI output --> captured and worked uncompressed
4K REDCODE (original), downsampled Vs 1080p (original) but never compressed?
or
3) 1080p uncompressed RED ONE Shooting with HD-SDI output --> captured uncompressed and worked compressed with a low-compression codec more compatible (for example Apple ProRes 422 HQ 1080p)?


