--- man
+++ cas
@@ -1,48 +1,89 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-021956
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DeleteProfile_Case4，Test Sequence #01-#02 Nominal（本 TC 全部 2 条 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 SW；S1-C2 deleteResult ok；S2-C1 SW；S2-C2 profileInfoListOk empty；S3-C1 SW
+//   S3-C2 deleteResult ok；S4-C1 SW；S4-C2 profileInfoListOk empty
+// 本函数由 CaseIR 4.2.23.2.3 编译生成（4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-20261004_021956，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_ES10c_DeleteProfile_Case4_01_02_Nominal_TC_2_Test_Sequence() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_DeleteProfile_Case4_01_02_Nominal_TC_2_Test_Sequence");
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain; context_lineage: {"context_id": "5e43d9f19c242cac", "authority_reference": "E_tc_4223/38-38/G_annexB_dynamic:L51"}
+    var cardCtxLoad1 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID1", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+    // PREFLIGHT_CONTEXT AUTHORIZED_DISCOVERY: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID()
-{
-	initial_condition_PROFILE_OPERATIONAL1_is_Disabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s6 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s6.atr_hex !== "" ? "1" : "0");
 
-	tracenamestr = "测试目的：通过ISD-P AID删除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 s7 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s7.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s7.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 s8 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s8.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 steady9 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady9.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 s10 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s10.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s10.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 s11 = 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", s11.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行DeleteProfileRequest，通过ISD-P AID删除profile；");
-	var deleProfileRequest = new DeleteProfileRequest();
-	deleProfileRequest.isdpAid = ISD_P_Test01;
-	deleProfileRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(deleProfileRequest.hexData,"91","00","9000");
+    // 步骤 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 s1 = bind.sendApdu("81", "E2", "91", "00", "BF2D035C014F", "00", "9000");
 
-	curStrHandle.CheckData("BF3303800100", respData, "DeleteProfileResponse");
+    // 步骤 2：Seq#01] MTD_STORE_DATA（tc_step；REQ: RQ24_010, RQ24_016, RQ24_020, RQ32_049, RQ32_051, RQ32_052, RQ57_154, RQ57_158, RQ57_159, RQ57_160）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla2 = s10.chan !== null ? (s10.chan <= 3 ? 128 + s10.chan : 188 + s10.chan).toString(16).toUpperCase() : null;
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain
+    var s2 = bind.sendApdu(sdCla2, "E2", "91", "00", BindEs10xProcProfileDynamic.bindProfileAidTemplate(bind, "ISD_P_AID1", "BF33124F10", "", profileAidSession), "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s2.sw);
+    BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AID1", s2.cmd, profileAidSession);
+    var r2w2 = BindGecaProc.parseGecaResponse(s2.resp, {outer: "BF33", required: ["80"]});
+    bind.checkData("S1-C2 deleteResult ok", "00", (r2w2.ok && r2w2.fields["80"] === "00") ? "00" : (r2w2.fields["80"] || "absent"));
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile状态；");
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.isdpAid,ISD_P_Test01);
-	proInfoListRequest.tagList = "5A4F9F70";
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
+    // 步骤 3：Seq#01] MTD_STORE_DATA（tc_step；REQ: RQ24_010, RQ24_020, RQ57_119）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla3 = s10.chan !== null ? (s10.chan <= 3 ? 128 + s10.chan : 188 + s10.chan).toString(16).toUpperCase() : null;
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain
+    var s3 = bind.sendApdu(sdCla3, "E2", "91", "00", BindEs10xProcProfileDynamic.bindProfileAidTemplate(bind, "ISD_P_AID1", "BF2D14A0124F10", "", profileAidSession), "00", "9000");
+    bind.checkData("S2-C1 SW", "9000", s3.sw);
+    BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AID1", s3.cmd, profileAidSession);
+    var r2p3 = BindEs10xProcProfile.walkChoiceList(s3.resp, {respTag: "BF2D", okTag: "A0", errTag: "81"});
+    bind.checkData("S2-C2 profileInfoListOk empty", "1", (r2p3.branch_tag === "A0" && r2p3.elements.length === 0) ? "1" : "0");
 
-	var proInfoListResponse = new  ProfileInfoListResponse();
-	proInfoListResponse.checkCardResDataFormat(respData);
-	try
-	{
-		curStrHandle.CheckData("00", obj.ToHex(proInfoListResponse.profileInfoListOk.arrOfElement.length),"Profile Info number");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
+    // 步骤 4：Seq#02] MTD_STORE_DATA（tc_step；REQ: RQ24_016, RQ24_020, RQ32_049, RQ32_051, RQ32_052, RQ57_154, RQ57_158, RQ57_159）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla4 = s10.chan !== null ? (s10.chan <= 3 ? 128 + s10.chan : 188 + s10.chan).toString(16).toUpperCase() : null;
+    var s4 = bind.sendApdu(sdCla4, "E2", "91", "00", "BF330C5A0A989209012143658709F5", "00", "9000");
+    bind.checkData("S3-C1 SW", "9000", s4.sw);
+    var r2w4 = BindGecaProc.parseGecaResponse(s4.resp, {outer: "BF33", required: ["80"]});
+    bind.checkData("S3-C2 deleteResult ok", "00", (r2w4.ok && r2w4.fields["80"] === "00") ? "00" : (r2w4.fields["80"] || "absent"));
 
-	RecoverCard();
…（差异行超限，共 128 行，此处截断）