getprop("ro.product.device") == "lancelot" || abort("E3004: This package is for \"lancelot\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Source: Redmi/lancelot_tr/lancelot:11/RP1A.200720.011/V12.5.4.0.RJCTRXM:user/release-keys");
ui_print("Target: Redmi/lancelot_tr/lancelot:11/RP1A.200720.011/V12.5.6.0.RJCTRXM:user/release-keys");
ui_print("Verifying current system...");
getprop("ro.build.fingerprint") == "Redmi/lancelot_tr/lancelot:11/RP1A.200720.011/V12.5.4.0.RJCTRXM:user/release-keys" ||
    getprop("ro.build.fingerprint") == "Redmi/lancelot_tr/lancelot:11/RP1A.200720.011/V12.5.6.0.RJCTRXM:user/release-keys" ||
    abort("E3001: Package expects build fingerprint of Redmi/lancelot_tr/lancelot:11/RP1A.200720.011/V12.5.4.0.RJCTRXM:user/release-keys or Redmi/lancelot_tr/lancelot:11/RP1A.200720.011/V12.5.6.0.RJCTRXM:user/release-keys; this device has " + getprop("ro.build.fingerprint") + ".");
patch_partition_check(concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:19114208c9b339e3f8de525905cbfa456f9b0e6b"),
                      concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:4581287d0b1e0a83a05e0b5ae0702cc87226fce6")) ||
    abort(concat("E3005: \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:19114208c9b339e3f8de525905cbfa456f9b0e6b"),"\" or \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:4581287d0b1e0a83a05e0b5ae0702cc87226fce6"),"\" has unexpected contents."));
apply_patch_space(67108864) || abort("E3006: Not enough free space on /cache to apply patches.");
if (range_sha1(map_partition("system"), "18,1,32770,32968,98306,98504,163842,164040,229378,229576,294914,295112,786445,786448,810896,813355,826244,826415,826416") == "a7d2ff5cfd4774476f2a117af3c73be68d7e3219" || 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"), "18,1,32770,32968,98306,98504,163842,164040,229378,229576,294914,295112,786445,786448,810896,813355,826244,826415,826416") && 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"), "60,1,78,84,85,88,89,92,93,96,97,612,613,616,617,620,621,624,625,628,629,790,791,794,795,1009,1010,1089,1090,1160,1161,1344,1345,1423,1424,1503,1504,1583,1584,2484,2485,2594,2602,3883,3884,4289,4290,5216,5384,5430,32770,32807,98306,98343,131101,131103,152935,153451,155886,155932,155933") == "2869f24b95739f836deff1898305a09ac2e6b08a" || 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"), "60,1,78,84,85,88,89,92,93,96,97,612,613,616,617,620,621,624,625,628,629,790,791,794,795,1009,1010,1089,1090,1160,1161,1344,1345,1423,1424,1503,1504,1583,1584,2484,2485,2594,2602,3883,3884,4289,4290,5216,5384,5430,32770,32807,98306,98343,131101,131103,152935,153451,155886,155932,155933") && 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"), "186,1,89,7330,7334,10133,10136,12946,12947,21360,21361,31288,31289,31964,31968,32768,32770,32843,32849,33016,33017,36172,36173,36535,36539,37058,37059,37071,37075,37079,37080,46831,46832,55057,55058,64900,64901,65536,65542,75985,75986,81361,81362,94132,94133,94140,94141,98304,98306,98379,98385,101745,101746,102986,102990,104003,104004,121412,121413,131072,131078,143283,143284,146159,146160,153461,153462,163840,163842,163915,163921,165250,165251,165258,165259,165265,165266,171885,171886,171898,171902,171905,171906,171907,171908,171909,171910,171922,171923,171926,171928,171929,171930,171931,171932,171946,171947,171948,171952,171956,171959,171963,171966,172415,172416,172787,172788,174273,174274,174364,174366,174369,174370,174373,174374,174377,174378,174381,174382,174385,174386,174389,174390,174393,174394,174400,174401,174407,174408,174414,174415,174421,174422,174428,174429,175262,175264,196608,196644,196645,196646,208036,208038,216663,216664,221838,221840,222083,222085,223481,223483,224921,224923,224968,227690,229376,229378,229451,229477,240057,240058,241934,241935,242599,242603,242619,242620,244193,244197,244222,244223,255055,255056,262144,262150,285951,285952,289817,289820,294912,294914,294987,294988,300589,305355,305429,305430") == "d383a9af00181f4cca1e12d622942df39f037bbf" || 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"), "186,1,89,7330,7334,10133,10136,12946,12947,21360,21361,31288,31289,31964,31968,32768,32770,32843,32849,33016,33017,36172,36173,36535,36539,37058,37059,37071,37075,37079,37080,46831,46832,55057,55058,64900,64901,65536,65542,75985,75986,81361,81362,94132,94133,94140,94141,98304,98306,98379,98385,101745,101746,102986,102990,104003,104004,121412,121413,131072,131078,143283,143284,146159,146160,153461,153462,163840,163842,163915,163921,165250,165251,165258,165259,165265,165266,171885,171886,171898,171902,171905,171906,171907,171908,171909,171910,171922,171923,171926,171928,171929,171930,171931,171932,171946,171947,171948,171952,171956,171959,171963,171966,172415,172416,172787,172788,174273,174274,174364,174366,174369,174370,174373,174374,174377,174378,174381,174382,174385,174386,174389,174390,174393,174394,174400,174401,174407,174408,174414,174415,174421,174422,174428,174429,175262,175264,196608,196644,196645,196646,208036,208038,216663,216664,221838,221840,222083,222085,223481,223483,224921,224923,224968,227690,229376,229378,229451,229477,240057,240058,241934,241935,242599,242603,242619,242620,244193,244197,244222,244223,255055,255056,262144,262150,285951,285952,289817,289820,294912,294914,294987,294988,300589,305355,305429,305430") && 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 ----


# --- Start patching dynamic partitions ---


# Patch partition system

ui_print("Patching system image after verification.");
show_progress(0.700000, 0);
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.");

# Patch partition vendor

ui_print("Patching vendor image after verification.");
show_progress(0.100000, 0);
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.");
show_progress(0.100000, 0);
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.");

# --- End patching dynamic partitions ---

ui_print("Patching boot image...");
show_progress(0.100000, 10);
patch_partition(concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:19114208c9b339e3f8de525905cbfa456f9b0e6b"),
                concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:4581287d0b1e0a83a05e0b5ae0702cc87226fce6"),
                package_extract_file("boot.img.p")) ||
    abort(concat(        "E3008: Failed to apply patch to ",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:4581287d0b1e0a83a05e0b5ae0702cc87226fce6")));
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("dtbo.img", "/dev/block/platform/bootdevice/by-name/dtbo");
package_extract_file("logo.bin", "/dev/block/platform/bootdevice/by-name/logo");
package_extract_file("md1img.img", "/dev/block/platform/bootdevice/by-name/md1img");
package_extract_file("spmfw.img", "/dev/block/platform/bootdevice/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/platform/bootdevice/by-name/sspm_2");
package_extract_file("tee.img", "/dev/block/platform/bootdevice/by-name/tee2");
package_extract_file("scp.img", "/dev/block/platform/bootdevice/by-name/scp2");
package_extract_file("lk.img", "/dev/block/platform/bootdevice/by-name/lk2");
if get_storage_type() then 
 assert(package_extract_file("preloader_ufs.img", "/dev/block/mmcblk0boot1"));
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("lk", "lk2");
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/platform/bootdevice/by-name/sspm_1");
package_extract_file("tee.img", "/dev/block/platform/bootdevice/by-name/tee1");
package_extract_file("scp.img", "/dev/block/platform/bootdevice/by-name/scp1");
package_extract_file("lk.img", "/dev/block/platform/bootdevice/by-name/lk");
if get_storage_type() then 
 assert(package_extract_file("preloader_ufs.img", "/dev/block/mmcblk0boot0"));
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("lk2", "lk");
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/platform/bootdevice/by-name/vbmeta_system");
package_extract_file("vbmeta.img", "/dev/block/platform/bootdevice/by-name/vbmeta");
package_extract_file("vbmeta_vendor.img", "/dev/block/platform/bootdevice/by-name/vbmeta_vendor");
post_ota_action();
set_progress(1.000000);
