getprop("ro.product.device") == "dandelion" || abort("E3004: This package is for \"dandelion\" devices; this is a \"" + getprop("ro.product.device") + "\".");
ui_print("Source: Redmi/dandelion_eea2/dandelion:11/RP1A.200720.011/V12.5.12.0.RCZEUXM:user/release-keys");
ui_print("Target: Redmi/dandelion_eea2/dandelion:11/RP1A.200720.011/V12.5.13.0.RCZEUXM:user/release-keys");
ui_print("Verifying current system...");
getprop("ro.build.fingerprint") == "Redmi/dandelion_eea2/dandelion:11/RP1A.200720.011/V12.5.12.0.RCZEUXM:user/release-keys" ||
    getprop("ro.build.fingerprint") == "Redmi/dandelion_eea2/dandelion:11/RP1A.200720.011/V12.5.13.0.RCZEUXM:user/release-keys" ||
    abort("E3001: Package expects build fingerprint of Redmi/dandelion_eea2/dandelion:11/RP1A.200720.011/V12.5.12.0.RCZEUXM:user/release-keys or Redmi/dandelion_eea2/dandelion:11/RP1A.200720.011/V12.5.13.0.RCZEUXM:user/release-keys; this device has " + getprop("ro.build.fingerprint") + ".");
patch_partition_check(concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:b5427362956da8a7c25ce284b229e7dc0faea13b"),
                      concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:7860aafec5190ee82b667545f2b06a9f2d030b6e")) ||
    abort(concat("E3005: \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:b5427362956da8a7c25ce284b229e7dc0faea13b"),"\" or \"",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:7860aafec5190ee82b667545f2b06a9f2d030b6e"),"\" has unexpected contents."));
apply_patch_space(67108864) || abort("E3006: Not enough free space on /cache to apply patches.");
if (range_sha1(map_partition("system"), "12,1,32,45,56,17123,557060,557072,564311,566004,574973,575099,575100") == "e5cd8a003b36995201834e2b7a27c2fafc9849f0" || 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"), "12,1,32,45,56,17123,557060,557072,564311,566004,574973,575099,575100") && 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"), "34,1,41,44,45,48,49,52,53,56,60,63,64,67,68,71,72,75,76,767,768,1731,1732,2586,2587,2837,3005,3053,98337,98338,114332,114680,116499,116539,116540") == "aba9b18d122aa6c316683971d4cdd750202e3865" || 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"), "34,1,41,44,45,48,49,52,53,56,60,63,64,67,68,71,72,75,76,767,768,1731,1732,2586,2587,2837,3005,3053,98337,98338,114332,114680,116499,116539,116540") && 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"), "106,1,15,6504,6505,15190,15191,29805,29806,32768,32776,32917,32918,36218,36219,36581,36582,36594,36595,38435,38436,42450,42451,56840,56841,65536,65542,76344,76345,97588,97589,97596,97597,98304,98312,104954,104955,122600,122601,122655,122656,125074,125075,131072,131078,135038,135039,140155,140156,140179,140180,140202,140203,146501,146502,146510,146512,146520,146521,146522,146523,146525,146526,146538,146539,146542,146544,146545,146546,146547,146548,146560,146561,146562,146565,147014,147015,147386,147387,148872,148873,163840,163874,173733,173734,196608,196640,210435,210436,210972,210973,211635,211636,213129,213130,229376,229384,241689,241690,247175,247176,251013,251016,261587,265735,265801,265802") == "ef6a9fd5aaa97ca82fb063e558992b052f397b0b" || 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"), "106,1,15,6504,6505,15190,15191,29805,29806,32768,32776,32917,32918,36218,36219,36581,36582,36594,36595,38435,38436,42450,42451,56840,56841,65536,65542,76344,76345,97588,97589,97596,97597,98304,98312,104954,104955,122600,122601,122655,122656,125074,125075,131072,131078,135038,135039,140155,140156,140179,140180,140202,140203,146501,146502,146510,146512,146520,146521,146522,146523,146525,146526,146538,146539,146542,146544,146545,146546,146547,146548,146560,146561,146562,146565,147014,147015,147386,147387,148872,148873,163840,163874,173733,173734,196608,196640,210435,210436,210972,210973,211635,211636,213129,213130,229376,229384,241689,241690,247175,247176,251013,251016,261587,265735,265801,265802") && 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:b5427362956da8a7c25ce284b229e7dc0faea13b"),
                concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:7860aafec5190ee82b667545f2b06a9f2d030b6e"),
                package_extract_file("boot.img.p")) ||
    abort(concat(        "E3008: Failed to apply patch to ",concat("EMMC:","/dev/block/platform/bootdevice/by-name/boot",":67108864:7860aafec5190ee82b667545f2b06a9f2d030b6e")));
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("lk.img", "/dev/block/platform/bootdevice/by-name/lk2");
package_extract_file("scp.img", "/dev/block/platform/bootdevice/by-name/scp2");
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("lk", "lk2");
switch_active("scp1", "scp2");
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("lk.img", "/dev/block/platform/bootdevice/by-name/lk");
package_extract_file("scp.img", "/dev/block/platform/bootdevice/by-name/scp1");
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("lk2", "lk");
switch_active("scp2", "scp1");
switch_active("preloader2", "preloader");
),
ui_print("main loader images are already updated");
);
delete("/cache/recovery/last_mtupdate_stage");
package_extract_file("vbmeta_vendor.img", "/dev/block/platform/bootdevice/by-name/vbmeta_vendor");
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");
post_ota_action();
set_progress(1.000000);
