getprop("ro.product.device") == "cezanne" || abort("E3004: This package is for \"cezanne\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Source: Redmi/cezanne/cezanne:10/QP1A.190711.020/V12.0.13.0.QJNCNXM:user/release-keys");
ui_print("Target: Redmi/cezanne/cezanne:10/QP1A.190711.020/V12.0.16.0.QJNCNXM:user/release-keys");
ui_print("Verifying current system...");
getprop("ro.build.fingerprint") == "Redmi/cezanne/cezanne:10/QP1A.190711.020/V12.0.13.0.QJNCNXM:user/release-keys" ||
    getprop("ro.build.fingerprint") == "Redmi/cezanne/cezanne:10/QP1A.190711.020/V12.0.16.0.QJNCNXM:user/release-keys" ||
    abort("E3001: Package expects build fingerprint of Redmi/cezanne/cezanne:10/QP1A.190711.020/V12.0.13.0.QJNCNXM:user/release-keys or Redmi/cezanne/cezanne:10/QP1A.190711.020/V12.0.16.0.QJNCNXM:user/release-keys; this device has " + getprop("ro.build.fingerprint") + ".");
show_progress(0.100000, 10);
patch_partition_check("EMMC:/dev/block/by-name/boot:67108864:981a9ff999c46ddc55470f56ab0ad162ebc64ae2",
                      "EMMC:/dev/block/by-name/boot:67108864:053ddd52c9e82d03a76d8498d8da289524fcd6cf") ||
    abort("E3005: \"EMMC:/dev/block/by-name/boot:67108864:981a9ff999c46ddc55470f56ab0ad162ebc64ae2\" or \"EMMC:/dev/block/by-name/boot:67108864:053ddd52c9e82d03a76d8498d8da289524fcd6cf\" has unexpected contents.");
apply_patch_space(74690560) || abort("E3006: Not enough free space on /cache to apply patches.");
patch_partition_check("EMMC:/dev/block/by-name/md1img:74927344:a5d15c0f9a15ae91a31996b932ad072f34713e27",
                      "EMMC:/dev/block/by-name/md1img:74932336:57581884f1058844cdd87ff4d484aa794c40afc3") ||
    abort("E3005: \"EMMC:/dev/block/by-name/md1img:74927344:a5d15c0f9a15ae91a31996b932ad072f34713e27\" or \"EMMC:/dev/block/by-name/md1img:74932336:57581884f1058844cdd87ff4d484aa794c40afc3\" has unexpected contents.");
apply_patch_space(74927344) || abort("E3006: Not enough free space on /cache to apply patches.");
show_progress(0.100000, 70);
if (range_sha1(map_partition("system"), "26,1,32770,32994,77703,93688,98306,98530,163842,164066,229378,229602,294914,295138,819202,819426,884738,884962,884975,884978,917505,917520,917927,920681,935269,935462,935463") == "8a46dfc616ad0bbcbf70686fa74aa7a3bf50c76f" || block_image_verify(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat")) then
ui_print("Verified system image...");
else
check_first_block(map_partition("system"));
ifelse (block_image_recover(map_partition("system"), "26,1,32770,32994,77703,93688,98306,98530,163842,164066,229378,229602,294914,295138,819202,819426,884738,884962,884975,884978,917505,917520,917927,920681,935269,935462,935463") && block_image_verify(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat"), ui_print("system recovered successfully."), abort("E1004: system partition fails to recover"));
endif;
if (range_sha1(map_partition("vendor"), "72,1,116,122,126,130,131,775,779,796,797,799,800,811,815,819,820,1702,1703,15436,15437,15521,15526,32768,32770,32858,32879,59604,59605,60233,60235,60241,60243,65536,65554,67402,67403,95051,95052,96681,96682,98304,98306,98394,98412,104202,104207,114133,114135,115115,115116,115259,115260,115741,115742,116279,116280,116934,116935,118604,163842,163930,229378,229466,294914,295002,360455,360466,363422,364531,370310,370396,370397") == "cc8cb07dfe6d9542b416ea9324fb3626c9175219" || block_image_verify(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat")) then
ui_print("Verified vendor image...");
else
check_first_block(map_partition("vendor"));
ifelse (block_image_recover(map_partition("vendor"), "72,1,116,122,126,130,131,775,779,796,797,799,800,811,815,819,820,1702,1703,15436,15437,15521,15526,32768,32770,32858,32879,59604,59605,60233,60235,60241,60243,65536,65554,67402,67403,95051,95052,96681,96682,98304,98306,98394,98412,104202,104207,114133,114135,115115,115116,115259,115260,115741,115742,116279,116280,116934,116935,118604,163842,163930,229378,229466,294914,295002,360455,360466,363422,364531,370310,370396,370397") && block_image_verify(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat"), ui_print("vendor recovered successfully."), abort("E2004: vendor partition fails to recover"));
endif;
if (range_sha1(map_partition("product"), "24,1,38,40,41,43,44,159,163,167,168,14733,14734,30415,30416,31827,32770,32783,32797,32798,53240,53402,54252,54279,54280") == "845c17e25a628505192c504c0680ec9f9e71c037" || block_image_verify(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat", "product.patch.dat")) then
ui_print("Verified product image...");
else
ifelse (block_image_recover(map_partition("product"), "24,1,38,40,41,43,44,159,163,167,168,14733,14734,30415,30416,31827,32770,32783,32797,32798,53240,53402,54252,54279,54280") && block_image_verify(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat", "product.patch.dat"), ui_print("product recovered successfully."), abort("E2004: product partition fails to recover"));
endif;

# ---- start making changes here ----

ui_print("Patching boot image...");
show_progress(0.100000, 10);
patch_partition("EMMC:/dev/block/by-name/boot:67108864:981a9ff999c46ddc55470f56ab0ad162ebc64ae2",
                "EMMC:/dev/block/by-name/boot:67108864:053ddd52c9e82d03a76d8498d8da289524fcd6cf",
                package_extract_file("boot.img.p")) ||
    abort("E3008: Failed to apply patch to EMMC:/dev/block/by-name/boot:67108864:053ddd52c9e82d03a76d8498d8da289524fcd6cf");
show_progress(0.600000, 600);

# --- Start patching dynamic partitions ---


# Patch partition vendor

ui_print("Patching vendor image after verification.");
block_image_update(map_partition("vendor"), package_extract_file("vendor.transfer.list"), "vendor.new.dat", "vendor.patch.dat") ||
  abort("E2001: Failed to update vendor image.");

# Update dynamic partition metadata

assert(update_dynamic_partitions(package_extract_file("dynamic_partitions_op_list")));

# Patch partition product

ui_print("Patching product image after verification.");
block_image_update(map_partition("product"), package_extract_file("product.transfer.list"), "product.new.dat", "product.patch.dat") ||
  abort("E2001: Failed to update product image.");

# Patch partition system

ui_print("Patching system image after verification.");
block_image_update(map_partition("system"), package_extract_file("system.transfer.list"), "system.new.dat", "system.patch.dat") ||
  abort("E1001: Failed to update system image.");

# --- End patching dynamic partitions ---

show_progress(0.100000, 2);
show_mtupdate_stage("/cache/recovery/last_mtupdate_stage");
ifelse (
less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "1") ,
(
ui_print("start to update general image");
package_extract_file("audio_dsp.img", "/dev/block/by-name/audio_dsp");
package_extract_file("pi_img.img", "/dev/block/by-name/pi_img");
package_extract_file("cam_vpu3.img", "/dev/block/by-name/cam_vpu3");
package_extract_file("dtbo.img", "/dev/block/by-name/dtbo");
package_extract_file("cam_vpu2.img", "/dev/block/by-name/cam_vpu2");
package_extract_file("cam_vpu1.img", "/dev/block/by-name/cam_vpu1");
ui_print("Patching md1img image...");
show_progress(0.100000, 10);
patch_partition("EMMC:/dev/block/by-name/md1img:74927344:a5d15c0f9a15ae91a31996b932ad072f34713e27",
                "EMMC:/dev/block/by-name/md1img:74932336:57581884f1058844cdd87ff4d484aa794c40afc3",
                package_extract_file("patch/md1img.img.p")) ||
    abort("E3008: Failed to apply patch to EMMC:/dev/block/by-name/md1img:74932336:57581884f1058844cdd87ff4d484aa794c40afc3");
package_extract_file("spmfw.img", "/dev/block/by-name/spmfw");
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "1");
),
ui_print("general images are already updated");
);
ifelse (
less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "3") ,
(
if less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "2") then

ui_print("start to update alt loader image");
package_extract_file("sspm.img", "/dev/block/by-name/sspm_2");
package_extract_file("tee.img", "/dev/block/by-name/tee2");
package_extract_file("scp.img", "/dev/block/by-name/scp2");
package_extract_file("mcupm.img", "/dev/block/by-name/mcupm_2");
package_extract_file("gz.img", "/dev/block/by-name/gz2");
package_extract_file("lk.img", "/dev/block/by-name/lk2");
package_extract_file("dpm.img", "/dev/block/by-name/dpm_2");
if get_storage_type() then 
 assert(package_extract_file("preloader_ufs.img", "/dev/block/sdb"));
else 
 assert(set_emmc_writable("/sys/block/mmcblk0boot1/force_ro"),
        package_extract_file("preloader_emmc.img", "/dev/block/mmcblk0boot1"));
endif;
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "2");
endif;

switch_active("sspm_1", "sspm_2");
switch_active("tee1", "tee2");
switch_active("scp1", "scp2");
switch_active("mcupm_1", "mcupm_2");
switch_active("gz1", "gz2");
switch_active("lk", "lk2");
switch_active("dpm_1", "dpm_2");
switch_active("preloader", "preloader2");
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "3");
),
ui_print("alt loder images are already updated");
);
ifelse (
less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "5") ,
(
if less_than_int(get_mtupdate_stage("/cache/recovery/last_mtupdate_stage"), "4") then

ui_print("start to update main loader image");
package_extract_file("sspm.img", "/dev/block/by-name/sspm_1");
package_extract_file("tee.img", "/dev/block/by-name/tee1");
package_extract_file("scp.img", "/dev/block/by-name/scp1");
package_extract_file("mcupm.img", "/dev/block/by-name/mcupm_1");
package_extract_file("gz.img", "/dev/block/by-name/gz1");
package_extract_file("lk.img", "/dev/block/by-name/lk");
package_extract_file("dpm.img", "/dev/block/by-name/dpm_1");
if get_storage_type() then 
 assert(package_extract_file("preloader_ufs.img", "/dev/block/sda"));
else 
 assert(set_emmc_writable("/sys/block/mmcblk0boot0/force_ro"),
        package_extract_file("preloader_emmc.img", "/dev/block/mmcblk0boot0"));
endif;
set_mtupdate_stage("/cache/recovery/last_mtupdate_stage", "4");
endif;

switch_active("sspm_2", "sspm_1");
switch_active("tee2", "tee1");
switch_active("scp2", "scp1");
switch_active("mcupm_2", "mcupm_1");
switch_active("gz2", "gz1");
switch_active("lk2", "lk");
switch_active("dpm_2", "dpm_1");
switch_active("preloader2", "preloader");
),
ui_print("main loader images are already updated");
);
delete("/cache/recovery/last_mtupdate_stage");
package_extract_file("vbmeta_system.img", "/dev/block/by-name/vbmeta_system");
package_extract_file("vbmeta.img", "/dev/block/by-name/vbmeta");
package_extract_file("vbmeta_vendor.img", "/dev/block/by-name/vbmeta_vendor");
post_ota_action();
