>>963
結論から言うとmiflashで失敗時のスクショ撮ってxiaomiのサポートに聞いた方が早いし正確だと思う
あとredmi note5 proの場合(他機種はわからない)

・anti4→anti3にするとarbで文鎮になる
・デバッグモードでanti3、4の判別が可能

正常な時に予めバージョン毎に判別しておかないとわからないんじゃないかな?