Ya lo he pillado.
Para UHD real en TVE 4K bajo tecnología DVB-T, el 75% del mux RGE2 estaría dedicado íntegramente a TVE 4K. No cabería Tdt HD, por mucho que se mueva Clan HD al RGE1.
La solución sería Tdt HD y TVE UHD falsos (esta versión de La 1 sin desconexión territorial para evitar el SD). Ambos canales en el RGE2 bajo DVB-T.
En el mux experimental UHF lo dejaría encendido hasta 2030 con emisiones regulares 24H: TVE-1 4K y TVE-2 4K, bajo DVB-T2, internet e IPTV (plataformas de telecos).