Shooting on 4K is fine as long as there is a way of outputting your 4K material onto your NLE. I have had to abandon my review of the Sony AX-1, 4K camcorder for various reasons.
The Sony AX1 delivers 4K footage onto XAVC S which cripples FCPX and takes a lifetime to transcode rendering it useless, a slightly better solution is to use PAVTUBE which still allows your 4K picture but converts into ProRes making it far more usable in FCPX.
The Sony AX1 also uses 4:2:0 8bit processing which still gives a fantastic HD picture but not a patch on the professional Z100 at 4:2:2 10bit camcorder.
These green screen shots are from the Sony AX1, the wider shot is the full 4K picture onto a 720 50p timeline the closer shot is a 156% enlargement from the same footage allowing you to re-frame shots as needed during an interview of PTC. This is a good use of 4K in an HD environment but only the latest MacPro is advised if you want to use “S” files natively.
I also discovered that XAVC S will not work from a Sony XQD card reader even with XQD drivers installed onto my iMac, only the camcorder with the mini USB cable attached allows you to transfer XAVC S footage !
So far I have had too many negatives using the XAVC S codec and have requested a Sony Z100 to review, I will keep you posted.