С чего ты взял? Если Дюнкерк, снятый на аналоговую пленку, а потом "без потерь" переведенный в цифру, был в разрешении 16,5K. И для всех это было шоком.
Все зависит не от того, на IMAX фильм снят или нет, а от камеры. Большинство фильмов Marvel, хоть и показывают в IMAX, просто адаптированы в этот формат, т.к. сняты на камеры RED. Это можно узнать в финальных титрах по надписям "Adapted on IMAX" и "Shot on RED". Также это можно понять, когда смотришь фильм дома, а он идет в соотношении 2,35:1.
Так что повезет, если фильм снятый в 3D будет в разрешении максимум 5K.
Да и полностью фильм в IMAX никто не снимает, только экшен. Самый большой материал, отснятого в IMAX, это как раз у Дюнкерка, это 75% фильма.

Вот в среднем - скорее всего.

Ну... Вот нет. Уже 4К просили.