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/lancelot:11/RP1A.200720.011/V12.0.1.0.RJCCNXM:user/release-keys");
ui_print("Target: Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.1.0.RJCCNXM:user/release-keys");
ui_print("Verifying current system...");
getprop("ro.build.fingerprint") == "Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.0.1.0.RJCCNXM:user/release-keys" ||
    getprop("ro.build.fingerprint") == "Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.1.0.RJCCNXM:user/release-keys" ||
    abort("E3001: Package expects build fingerprint of Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.0.1.0.RJCCNXM:user/release-keys or Redmi/lancelot/lancelot:11/RP1A.200720.011/V12.5.1.0.RJCCNXM:user/release-keys; this device has " + getprop("ro.build.fingerprint") + ".");
patch_partition_check(concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:a58c9708bc064e0652b4fc7dfeaf2a8427f0297b"),
                      concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:99c686588d5922c370d39b86db9c5744022be676")) ||
    abort(concat("E3005: \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:a58c9708bc064e0652b4fc7dfeaf2a8427f0297b"),"\" or \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:99c686588d5922c370d39b86db9c5744022be676"),"\" has unexpected contents."));
apply_patch_space(89755648) || abort("E3006: Not enough free space on /cache to apply patches.");
if (range_sha1(map_partition("system"), "82,1,30,38,41,42,53,2055,137724,137829,400206,400212,400213,400931,400933,400944,400945,400967,400968,401813,401814,401816,401817,403340,591356,591409,591411,591568,591628,591737,591858,591911,591917,592178,592253,592365,601933,601937,601982,601987,601991,601995,602049,602053,602072,602082,602091,602102,602117,602127,602135,602139,602169,602179,602189,602191,602197,602203,602219,602239,602244,602252,602257,602288,602297,602305,602318,602322,602325,602328,605386,605747,605785,605786,607200,609959,851977,851982,861328,863940,877629,877810,877811") == "c00e149f74a59aadd938a07132c9bd8c387d31c1" || 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"), "82,1,30,38,41,42,53,2055,137724,137829,400206,400212,400213,400931,400933,400944,400945,400967,400968,401813,401814,401816,401817,403340,591356,591409,591411,591568,591628,591737,591858,591911,591917,592178,592253,592365,601933,601937,601982,601987,601991,601995,602049,602053,602072,602082,602091,602102,602117,602127,602135,602139,602169,602179,602189,602191,602197,602203,602219,602239,602244,602252,602257,602288,602297,602305,602318,602322,602325,602328,605386,605747,605785,605786,607200,609959,851977,851982,861328,863940,877629,877810,877811") && 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"), "48,1,35,40,41,43,44,46,47,49,50,535,536,538,539,541,542,544,545,547,548,683,684,686,687,901,902,981,982,1052,1053,1236,1237,1315,1316,1395,1396,1475,1476,1862,1866,2374,2375,2397,191136,191722,194762,194817,194818") == "bb33b2c748ebee4d14ef6b6c1422637d71e028aa" || 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"), "48,1,35,40,41,43,44,46,47,49,50,535,536,538,539,541,542,544,545,547,548,683,684,686,687,901,902,981,982,1052,1053,1236,1237,1315,1316,1395,1396,1475,1476,1862,1866,2374,2375,2397,191136,191722,194762,194817,194818") && 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"), "126,1,23,28,29,31,32,15309,15310,31877,31878,32768,32784,34339,34340,37831,37832,44451,44452,44464,44468,44471,44472,44473,44474,44476,44477,44478,44479,44481,44484,44933,44934,45305,45306,46791,46792,46882,46884,46886,46887,46889,46890,46892,46893,46895,46896,46898,46899,46901,46902,46904,46905,46907,46908,46910,46911,46913,46914,46916,46917,46919,46920,46924,46925,46945,46946,46952,46953,46973,46974,46990,46991,46995,46996,47013,47014,47019,47020,47039,47040,47054,47055,47059,47060,47079,47080,47086,47087,47107,47108,47123,47124,47128,47129,47131,47132,47134,47135,47137,47138,47140,47141,47143,47144,47150,47151,47153,47154,47156,47157,47159,47160,47162,47163,47165,47167,47171,47175,47179,47180,47817,47821,47981,48745,48770,48771") == "48fdca17612744d332d93279caab52440e7b2ac3" || 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"), "126,1,23,28,29,31,32,15309,15310,31877,31878,32768,32784,34339,34340,37831,37832,44451,44452,44464,44468,44471,44472,44473,44474,44476,44477,44478,44479,44481,44484,44933,44934,45305,45306,46791,46792,46882,46884,46886,46887,46889,46890,46892,46893,46895,46896,46898,46899,46901,46902,46904,46905,46907,46908,46910,46911,46913,46914,46916,46917,46919,46920,46924,46925,46945,46946,46952,46953,46973,46974,46990,46991,46995,46996,47013,47014,47019,47020,47039,47040,47054,47055,47059,47060,47079,47080,47086,47087,47107,47108,47123,47124,47128,47129,47131,47132,47134,47135,47137,47138,47140,47141,47143,47144,47150,47151,47153,47154,47156,47157,47159,47160,47162,47163,47165,47167,47171,47175,47179,47180,47817,47821,47981,48745,48770,48771") && 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 ---


# Update dynamic partition metadata

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

# 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.");

# 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:a58c9708bc064e0652b4fc7dfeaf2a8427f0297b"),
                concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:99c686588d5922c370d39b86db9c5744022be676"),
                package_extract_file("boot.img.p")) ||
    abort(concat(        "E3008: Failed to apply patch to ",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:99c686588d5922c370d39b86db9c5744022be676")));
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);
