--- man
+++ cas
@@ -1,387 +1,422 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_02_Delete_Profile_not_possible_with_unknown_ICCID + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_03_Delete_Profile_by_ISDP_AID_not_possible_when_this_Operational_Profile_is_in_Enabled_state + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_04_Delete_Profile_by_ICCID_not_possible_when_this_Operational_Profile_is_in_Enabled_state + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_05_Delete_Profile_by_ISDP_AID_not_possible_not_possible_when_PPR2_is_set + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_06_Delete_Profile_by_ICCID_not_possible_not_possible_when_PPR2_is_set (extracted verbatim)
-
-function TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID()
-{
-	initial_condition_PROFILE_OPERATIONAL1_is_Disabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
-
-	initial_condition_PROFILE_OPERATIONAL2_is_Enabled();
-	var ISD_P_Test02 = curProfile_ISD_P_AID;
-
-	tracenamestr = "测试目的：通过未知的ISD-P AID删除profile应不成功";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行DeleteProfileRequest，通过ISD-P AID删除profile；");
-	var deleProfileRequest = new DeleteProfileRequest();
-	deleProfileRequest.isdpAid = ISD_P_AIDX;
-	deleProfileRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(deleProfileRequest.hexData,"91","00","9000");
-
-	curStrHandle.CheckData("BF3303800101", respData, "DeleteProfileResponse");
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile状态；");
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.tagList = "5A4F9F70";
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-
-
-	var proInfoListResponse = new  ProfileInfoListResponse();
-	proInfoListResponse.checkCardResDataFormat(respData);
-
-	try
-	{
-		curStrHandle.CheckData(ICCID_OP_PROF1, proInfoListResponse.profileInfoListOk.arrOfElement[0].iccid, "ICCID");
-		curStrHandle.CheckData(ISD_P_Test01, proInfoListResponse.profileInfoListOk.arrOfElement[0].isdpAid, "ISD-P AID");
-		curStrHandle.CheckData(Profile_DISABLED, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileState, "profile State");
-
-		curStrHandle.CheckData(ICCID_OP_PROF2, proInfoListResponse.profileInfoListOk.arrOfElement[1].iccid, "ICCID");
-		curStrHandle.CheckData(ISD_P_Test02, proInfoListResponse.profileInfoListOk.arrOfElement[1].isdpAid, "ISD-P AID");
-		curStrHandle.CheckData(Profile_ENABLED, proInfoListResponse.profileInfoListOk.arrOfElement[1].profileState, "profile State");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-021956
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4，Test Sequence #01-#06 (Error: unknown ISD-P AID / unknown ICCID / Enabled by ISD-P AID / Enabled by ICCID / PPR2 by ISD-P AID / PPR2 by ICCID)，适用性 M。
+// Test points: IC2-IC1-K1-C1 ATR_present；IC2-IC1-K2-C2 FCP_Template；IC2-IC1-K2-C4 SW
+//   IC2-IC1-K3-C4 SW；IC2-IC1-K4-C4 final SW；IC3-IC2-K1-C4 SW；IC3-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC3-IC2-K2-C4 SW；S3-C1 SW；S3-C2 deleteResult iccidOrAidNotFound；S4-C1 SW
+//   S4-C2 contains PROFILE_INFO1_DISABLED；S4-C2 contains PROFILE_INFO2_ENABLED
+//   IC6-IC1-K1-C1 ATR_present；IC6-IC1-K2-C2 FCP_Template；IC6-IC1-K2-C4 SW；IC6-IC1-K3-C4 SW
+//   IC6-IC1-K4-C4 final SW；IC7-IC2-K1-C4 SW；IC7-IC2-K1-C3 CHANNEL_NUMBER extracted；IC7-IC2-K2-C4 SW
+//   S7-C1 SW；S7-C2 deleteResult iccidOrAidNotFound；S8-C1 SW；S8-C2 contains PROFILE_INFO1_DISABLED
+//   S8-C2 contains PROFILE_INFO2_ENABLED；IC10-IC1-K1-C1 ATR_present；IC10-IC1-K2-C2 FCP_Template
+//   IC10-IC1-K2-C4 SW；IC10-IC1-K3-C4 SW；IC10-IC1-K4-C4 final SW；IC11-IC2-K1-C4 SW
+//   IC11-IC2-K1-C3 CHANNEL_NUMBER extracted；IC11-IC2-K2-C4 SW；S11-C1 SW
+//   S11-C2 deleteResult profileNotInDisabledState；S12-C1 SW；S12-C2 contains PROFILE_INFO1_DISABLED
+//   S12-C2 contains PROFILE_INFO2_ENABLED；IC14-IC1-K1-C1 ATR_present；IC14-IC1-K2-C2 FCP_Template
+//   IC14-IC1-K2-C4 SW；IC14-IC1-K3-C4 SW；IC14-IC1-K4-C4 final SW；IC15-IC2-K1-C4 SW
+//   IC15-IC2-K1-C3 CHANNEL_NUMBER extracted；IC15-IC2-K2-C4 SW；S15-C1 SW
+//   S15-C2 deleteResult profileNotInDisabledState；S16-C1 SW；S16-C2 contains PROFILE_INFO1_DISABLED
+//   S16-C2 contains PROFILE_INFO2_ENABLED；IC18-IC1-K1-C1 ATR_present；IC18-IC1-K2-C2 FCP_Template
+//   IC18-IC1-K2-C4 SW；IC18-IC1-K3-C4 SW；IC18-IC1-K4-C4 final SW；IC19-IC2-K1-C4 SW
+//   IC19-IC2-K1-C3 CHANNEL_NUMBER extracted；IC19-IC2-K2-C4 SW；S19-C1 SW
+//   S19-C2 deleteResult disallowedByPolicy；S20-C1 SW；S20-C2 contains PROFILE_INFO1_DISABLED
+//   S20-C2 contains PROFILE_INFO2_ENABLED；S20-C2 contains PROFILE_INFO3；IC22-IC1-K1-C1 ATR_present
+//   IC22-IC1-K2-C2 FCP_Template；IC22-IC1-K2-C4 SW；IC22-IC1-K3-C4 SW；IC22-IC1-K4-C4 final SW
+//   IC23-IC2-K1-C4 SW；IC23-IC2-K1-C3 CHANNEL_NUMBER extracted；IC23-IC2-K2-C4 SW；S23-C1 SW
+//   S23-C2 deleteResult disallowedByPolicy；S24-C1 SW；S24-C2 contains PROFILE_INFO1_DISABLED
+//   S24-C2 contains PROFILE_INFO2_ENABLED；S24-C2 contains PROFILE_INFO3
+// 本函数由 CaseIR 4.2.23.2.4 编译生成（fullwave-blindgen-live-70-W1-laneA5，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_ErrorCases_Case4_01_06_merged() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged");
+    // runtime-bound payload: ISD_P_AID2 stays in execution domain; context_lineage: {"context_id": "6c06e5257cb7cc55", "authority_reference": "E_tc_4223/330-330/G_annexB_dynamic:L52"}
+    var cardCtxLoad1 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID2", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+    // runtime-bound payload: ISD_P_AID3 stays in execution domain; context_lineage: {"context_id": "6c06e5257cb7cc55", "authority_reference": "E_tc_4223/373-373/G_annexB_dynamic:L53"}
+    var cardCtxLoad2 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID3", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+    // runtime-bound payload: ISD_P_AIDX stays in execution domain; context_lineage: {"context_id": "6c06e5257cb7cc55", "authority_reference": "E_tc_4223/281-281/G_annexB_dynamic:L55"}
+    var cardCtxLoad3 = BindCardContext.load(bind, profileAidSession, "ISD_P_AIDX", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+    // GIC-1 卡态编排：PROFILE_OPERATIONAL1 已安装；PROFILE_OPERATIONAL2 已安装: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S1-IC <ISD_P_AIDX> 标识的 Profile 未装载；PROF1 Disabled（对应 <ISD_P_AID1>）；PROF2 Enabled（对应 <ISD_P_AID2>）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S2-IC #ICCID_OP_PROFX 标识的 Profile 未装载；PROF1 Disabled；PROF2 Enabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S3/S4-IC PROF1 Disabled（对应 <ISD_P_AID1>）；PROF2 Enabled（对应 <ISD_P_AID2>）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S5/S6-IC PROFILE_OPERATIONAL3 已安装且 Disabled（对应 <ISD_P_AID3>，Nickname=#NICKNAME3）；PROF1 Disabled；PROF2 Enabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // PREFLIGHT_CONTEXT AUTHORIZED_DISCOVERY: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+
+    // 步骤 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");
+
+    // IC ref inline @E 步骤 2（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1）：RESET（K 语料机械展开）
+    var s26 = bind.resetAndAtr();
+    bind.checkData("IC2-IC1-K1-C1 ATR_present", "1", s26.atr_hex !== "" ? "1" : "0");
+
+    // IC ref inline @E 步骤 2（IC1 → 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 s27 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("IC2-IC1-K2-C2 FCP_Template", "1", s27.resp.length > 0 ? "1" : "0");
…（差异行超限，共 811 行，此处截断）