4KとフルHDの両方で撮影した動画を1本の動画として編集している人に聞きたいけど

4KをいったんフルHDにしてからフルHD動画として編集作業をしているのか
4KとフルHDを同じTLで編集してエンコード時にフルHDにサイズ変更ですか？

そろそろ4K撮影を始めようと思うけどソフトはAviUtl使っていたけど4K未対応なので、
永久ライセンスのあるFilmora9買おうと思っている。