--- man
+++ cas
@@ -1,164 +1,112 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-022947
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_DeleteProfile_ISDP_And_Components，Test Sequence #01 Nominal: ISD-P and Profile Components Deletion（本 TC 单条 Test Sequence），适用性 M。
+// Test points: ICH-IC1-K1-C1 ATR_present；ICH-IC1-K2-C2 FCP_Template；ICH-IC1-K2-C4 SW
+//   ICH-IC1-K3-C4 SW；ICH-IC1-K4-C4 final SW；ICH-IC2-K1-C4 SW；ICH-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   ICH-IC2-K2-C4 SW；S1-C1 R_EUICC_INFO2 outer tag；S1-C1 R_EUICC_INFO2 required members present
+//   S1-C2 free non-volatile memory tag 82 present；S4-C1 R_EUICC_INFO2 outer tag
+//   S4-C1 R_EUICC_INFO2 required members present；S4-C2 free non-volatile memory tag 82 present
+//   S4-C3 free non-volatile memory lower than step 1；S7-C1 R_EUICC_INFO2 outer tag
+//   S7-C1 R_EUICC_INFO2 required members present；S7-C2 free non-volatile memory tag 82 present
+//   S7-C3 free non-volatile memory higher than step 4
+// 本函数由 CaseIR 5.2.5.2.1 编译生成（5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-20261004_022947，SGP.23 v1.16 × SGP.22 v2.7）：字节权威=CaseIR，非誊录黄金脚本。
+// Value-free template: every data byte is injected from CaseIR fields; no scaffold globals (see docs/speconly/compile-symbol-migration.md).
+// 适用性 M：编译期门，运行时由 harness 环境前置承担。
+function TC_eUICC_DeleteProfile_ISDP_And_Components_01_merged() {
+    var bind = curBind;
+    // SEQ-IC-1 卡态声明（E 段 Initial Conditions，编排责任）：There is no Profile installed on the eUICC: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion()
-{
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s8 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s8.atr_hex !== "" ? "1" : "0");
 
-	tracenamestr = "验证删除profile后，eUICC移除ISD-P和所有profile内容，并且检查空间变化";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 2)：SELECT_MF（K 语料机械展开）
+    // FCP outer tag not materialized from clause: tag-face asserted only when corpus fixes the tag byte (e.g. TS 102 221 FCP '62').
+    var s9 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s9.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s9.sw);
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s10 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s10.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady11 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady11.final.sw);
 
-	curLogicChannel = 1;
+    // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 1)：MANAGE_CHANNEL_OPEN（K 语料机械展开）
+    // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s12 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s12.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s12.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 2)：MTD_SELECT（K 语料机械展开）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s13 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", null, "9000");
+    // MTD_SELECT expected face is SW-only (K Annex C.2 open-channel procedure step 2: no FCI content assertion in corpus); no fabricated template parse.
+    bind.checkData("ICH-IC2-K2-C4 SW", "9000", s13.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo2Request，获取eUICC的剩余不可变空间；");
-	var euiccInfo2 = new EUICCInfo2();
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
+    // 步骤 1：MTD_STORE_DATA（tc_step）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s12.chan !== null ? (s12.chan <= 3 ? 128 + s12.chan : 188 + s12.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2200", "00", null);
+    // geca-proc ES10b Info 响应面（R_EUICC_INFO2，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+    var gw1 = BindGecaProc.parseGecaResponse(s1.resp, {outer: "BF22", required: ["81", "82", "83", "84", "85", "88", "A9", "AA", "04", "0C"], optional: ["86", "87"]});
+    bind.checkData("S1-C1 R_EUICC_INFO2 outer tag", "BF22", gw1.outer_tag === null ? "absent" : gw1.outer_tag);
+    bind.checkData("S1-C1 R_EUICC_INFO2 required members present", "1", gw1.ok ? "1" : "0");
+    var ext1 = BindEs10xSingleRequest.parseBerTlv(gw1.fields["84"] || "");
+    var freeVal1 = null; for (var fti1 = 0; fti1 < ext1.length; fti1++) { if (ext1[fti1].tag === "82") { freeVal1 = ext1[fti1].value; } }
+    bind.checkData("S1-C2 free non-volatile memory tag 82 present", "1", freeVal1 !== null ? "1" : "0");
 
-	euiccInfo2.checkCardResDataFormat(hexData);
+    // 步骤 2：Install PROFILE_OPERATIONAL1（tc_step）
+    // card-state orchestration declaration (no APDU face): execution is
+    // the batch card_state prep framework's responsibility (4227 ruling B
+    // same-family scope; ensure_profile_state / prep_packager);
+    // no fabricated bytes emitted here; see CaseIR unresolved/open_items.
 
-	var FREE_MEMORY_NO_PROFILE = 0;
+    // 步骤 3：Remove all Install Notifications from eUICC（tc_step）
+    // card-state orchestration declaration (no APDU face): execution is
+    // the batch card_state prep framework's responsibility (4227 ruling B
+    // same-family scope; ensure_profile_state / prep_packager);
+    // no fabricated bytes emitted here; see CaseIR unresolved/open_items.
 
-	try
-	{
-		if (check_format_extCardResource)
-			FREE_MEMORY_NO_PROFILE = parseInt(euiccInfo2.extCardResource.FreeNonVolatileMemory, 16);
-		else
-		{
-			var extCardResourceObj = new ExtendedCardResource();
-			extCardResourceObj.SetHexData(euiccInfo2.extCardResource);
-			FREE_MEMORY_NO_PROFILE = parseInt(extCardResourceObj.FreeNonVolatileMemory, 16);
-		}
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
+    // 步骤 4：MTD_STORE_DATA（tc_step；REQ: RQ31_027, RQ31_028, RQ57_051, RQ57_052, RQ57_054, RQ31_183）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla4 = s12.chan !== null ? (s12.chan <= 3 ? 128 + s12.chan : 188 + s12.chan).toString(16).toUpperCase() : null;
+    var s4 = bind.sendApdu(sdCla4, "E2", "91", "00", "BF2200", "00", null);
+    // geca-proc ES10b Info 响应面（R_EUICC_INFO2，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+    var gw4 = BindGecaProc.parseGecaResponse(s4.resp, {outer: "BF22", required: ["81", "82", "83", "84", "85", "88", "A9", "AA", "04", "0C"], optional: ["86", "87"]});
+    bind.checkData("S4-C1 R_EUICC_INFO2 outer tag", "BF22", gw4.outer_tag === null ? "absent" : gw4.outer_tag);
+    bind.checkData("S4-C1 R_EUICC_INFO2 required members present", "1", gw4.ok ? "1" : "0");
+    var ext4 = BindEs10xSingleRequest.parseBerTlv(gw4.fields["84"] || "");
+    var freeVal4 = null; for (var fti4 = 0; fti4 < ext4.length; fti4++) { if (ext4[fti4].tag === "82") { freeVal4 = ext4[fti4].value; } }
+    bind.checkData("S4-C2 free non-volatile memory tag 82 present", "1", freeVal4 !== null ? "1" : "0");
+    bind.checkData("S4-C3 free non-volatile memory lower than step 1", "1", (freeVal4 !== null && freeVal4 !== undefined && freeVal1 !== null && freeVal1 !== undefined && parseInt(freeVal4, 16) < parseInt(freeVal1, 16)) ? "1" : "0");
…（差异行超限，共 265 行，此处截断）