I tried the following command line (see below). To my great chagrin, TVAI decided to not convert the final .mov file to a playable format. So, is there any way to repair the resultant .mov file? (normally you get a file name ending in the name of the filter).
ffmpeg "-hide_banner" "-i" "F:/jobs/mars.mkv" "-sws_flags" "spline+accurate_rnd+full_chroma_int" "-filter_complex" "tvai_up=model=rhea-1:scale=0:w=3840:h=2160:preblur=0:noise=0:details=0:halo=0:blur=0:compression=0:estimate=8:device=0:vram=1:instances=1,scale=w=3840:h=2160:flags=lanczos:threads=0" "-fflags" "+flush_packets" "-c:v" "prores_ks" "-profile:v" "3" "-vendor" "apl0" "-quant_mat" "hq" "-bits_per_mb" "1350" "-pix_fmt" "yuv422p10le" "-an" "-map_metadata" "0" "-map_metadata:s:v" "0:s:v" "-movflags" "frag_keyframe+empty_moov+delay_moov+use_metadata_tags+write_colr" "-bf" "0" "-metadata" "videoai=Enhanced using rhea-1; mode: auto; revert compression at 0; recover details at 0; sharpen at 0; reduce noise at 0; dehalo at 0; anti-alias/deblur at 0; focus fix Off; and recover original detail at 20. Changed resolution to 3840x2160" "F:\veai/mars_154794595.mov"