ISSUE: Mathematica (v14.1): Known Apple BUG: macOS Ventura: M1 Max/Silicon: Export to "PRORES422-AVF" or "PRORES4444-AVF" is buggy! [Since Mathematica v14.2 you can use "PRORES-AW" or "PRORES-KS" instead]

UPDATE: Mathematica v14.2 now supports many more codecs, including "PRORES-AW" and "PRORES-KS", both of which support Alpha (transparency):

---

Mathematica v14.2 also now supports the "DXV" format from Resolume, but does not seem to support the "with Alpha" mode or distinguish between DXV Normal or DXV High (it would seem to generate DXV Normal No Alpha).

---

The following ISSUE is still valid for Mathematica v14.2 but no longer as relevant

The following DOES NOT WORK on M1 Max with macOS Ventura:

Export[
  "video.mov", 
   video, 
   "QuickTime", 
   VideoEncoding -> "PRORES422-AVF"
]

Export::interr2: An unknown internal error occurred. Consult Internal`$LastInternalFailure for potential information.

The same issue occurs also with "PRORES4444-AVF" (has Alpha support). The issue seems to be due to a known Apple BUG and afflicts all ProRes codecs.

This Stack Overflow forum posting claims that the known bug was fixed by Apple in MacOS 13 (Ventura 13.6.3) but that doesn't seem to be the case (tested against Ventura 13.6.3 on M1 Max silicon)

OLDER PNG WORKAROUND: Since Mathematica v14.2 use "PRORES-AW" instead

If you want the ProRes for transparency support, a workaround is to go via PNG then convert to ProRes4444 (supports alpha) using Mac Compressor or Handbrake (or you can use the free Alley from Resolume to convert to ProRes or Resolume DXV):

Export[
 "video.PNG.mov",
  video,
 "QuickTime",
 VideoEncoding -> "PNG",
 VideoTransparency -> True,
 Background -> None
]

This of course creates larger intermediate files, but you can delete them after conversion, and you can get very high quality results.