I suspect the Arri Alexas are not on the list because they do not have "a true 4K sensor (equal to or greater than 4096 photosites wide)." The SXT has a 3404 x 2202 resolution when used in open-gate format.

The Alexa SXT doesn't match the first requirement - a true 4K sensor. It has a 3424x2202 sensor.

That's valid. And kinda surprised it's not listed. Any other cameras that would make sense to be on the list?