Imagino que, una vez se hayan emitido "comercialmente" en la segunda cadena, TVE los hará disponibles en el formato 4K-HDR a través del botón rojo.

Saludos cordiales.