I usually believe that devs choose the best option for their game given whatever constrains their working within.
But would a simple native resolution have been better for the 4pro?
It would have also been the easiest way, although people would've complained that they should have used cb.
If they patched it now, everyone would actually be happy
I agree the 1X does come away looking very good in all respects, I'm not sure anyone expected it to be native 4k without looking at sky (using a dynamic resolution)