Just wanted to update everyone on my recent exchange with Rokinon USA regarding the image circle of the 16mm T2.2. I finally received the news from the Samyang lens factory in South Korea. The answer is that the image circle for the Rokinon/Samyang 16mm Ciné T2.2 APS-C lens is... (drum roll please)... 30mm. Looks like good news since the diagonal on the new 4.6K is 29.08mm. No idea what the corners will look like until it's verified on the URSA/Mini, but it just may work on a true Super 35 3-perf sensor! I did ask them for the "useful" image circle so hoping the corners will be tolerable.
Rokinon also advised that the Rokinon 10mm T3.1 Ciné DS for APS-C cameras has an image circle of 28.37mm, so that won't work with the 4.6K sensor in open gate (for raw or ProRes that uses the full sensor area). But the 10mm will work on the URSA/Mini 4K and the BMPC4K.