Vamos a ver, yo tengo al developer oficial de miui.com 7.3.16, es decir la última que me saltó ayer por OTA y actualice, entonces si quiero pasar a las estables de miui.com, si las instalo desde la carpeta "downloaded_rom", no me deja, entonces puede ser porque lo que no te deja es pasar a una versión anterior?, para pasar a estable sin desbloquear el boadloader ni hacerlo por edl, tendré que esperar a que salga la nueva versión de estable, y podré hacerlo desde "downloaded_rom".
Un saludo a la comunidad.