[Jamaika]

I also make mistakes, but maybe something like this:

ffmpeg.exe -s 3840x2160 -r 25.000 -i "import.mp4" -an -sn -f rawvideo -pix_fmt yuv420p10le - | 
x264.10bpp.exe --demuxer raw --threads 4 --input-depth 10 --input-csp i420 --input-res 3840x2160 --output-csp i420 --keyint 25 --min-keyint 1 --bitrate 40000 --vbv-bufsize 120000 --vbv-maxrate 120000 --open-gop --fps 25.000 
--preset veryslow --tune stillimage --range tv --colormatrix bt2020nc --colorprim bt2020 --transfer bt2020-10 - --output "output_x264.h264"

x265.10bpp.exe                           --input-depth 10 --input-csp i420 --input-res 3840x2160 --output-depth 10 --keyint 25 --min-keyint 1 --bitrate 40000 --vbv-bufsize 120000 --vbv-maxrate 120000 --open-gop --fps 25.000 
--preset slow                       --range limited --colormatrix bt2020nc --colorprim bt2020 --transfer bt2020-10 - --output "output_x265.h265"

vpxenc.exe -v --threads=4 --bit-depth=10 --input-bit-depth=10       --i420 -w 3840 -h 2160                    --kf-max-dist=25 --kf-min-dist=0 --target-bitrate=40000 --drop-frame=0 --fps=25000/1000 
--good --profile=3 --codec=vp9 --passes=1 --pass=1 --cpu-used=3 --color-space=bt2020 --aq-mode=1 - -o "vp90_422p10le.webm"

MP4Box doesn't use to files 10bit!
ffmpeg.exe -s 3840x2160 -r 25.000 -i "output_x264/x265.h264/h265" -i audio.aac -i subtitle.srt -f mp4 -c copy -movflags faststart -pix_fmt yuv420p10le "output.mp4"