--- man
+++ cas
@@ -1,507 +1,304 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_02_Error_Disable_Profile_by_an_unknown_ICCID + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_03_Error_Disable_Profile_by_ISD_P_AID_is_not_possible_when_this_Operational_Profile_is_in_Disabled_state + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_04_Error_Disable_Profile_by_ICCID_is_not_possible_when_this_Operational_Profile_is_in_Disabled_state + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_05_Error_Disable_Profil_by_ISD_P_AID_not_possible_when_PPR1_is_set + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_06_Error_Disable_Profil_by_ICCID_not_possible_when_PPR1_is_set + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_07_Error_Disable_Profile_by_ISD_P_AID_without_refreshFlag_while_proactive_session_is_ongoing_catBusysupported + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_08_Error_Disable_Profile_by_ICCID_with_refreshFlag_set_while_proactive_session_is_ongoing_catBusysupported (extracted verbatim)
-
-function TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID()
-{
-	if(!Card_Have_ECC_Cert)
-		return;
-
-	TestOfMEPMode = 0;
-
-	initial_condition_PROFILE_OPERATIONAL1_is_Enabled();
-	var ISD_P_Test01 = 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命令，执行DisableProfileRequest，refreshFlag为 TRUE；");
-	var disableProRequest = new DisableProfileRequest();
-	disableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_AIDX);
-	disableProRequest.refreshFlag = BooleanValue_BerCode_True;
-	disableProRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(disableProRequest.hexData,"91","00","9000");
-	curStrHandle.CheckData("BF3203800101", respData, "DisableProfileResponse");
-
-
-  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);
-
-
-	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_ENABLED, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileState, "profile State");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-	RecoverCard();
-
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4，Test Sequence #01 unknown ISD-P AID; #02 unknown ICCID; #03 disable when Disabled (ISD-P AID); #04 disable when Disabled (ICCID); #05 PPR1 set (ISD-P AID); #06 PPR1 set (ICCID); #07 catBusy refreshFlag not set; #08 catBusy refreshFlag set，适用性 M。
+// Test points: S1-C1 SW；S1-C2 disableResult iccidOrAidNotFound；S2-C1 SW
+//   S2-C2 contains PROFILE_INFO1；S2-C3 contains entries1 iccid 989209012143658709F5；S3-C1 SW
+//   S3-C2 disableResult iccidOrAidNotFound；S4-C1 SW；S4-C2 contains PROFILE_INFO1
+//   S4-C3 contains entries1 iccid 989209012143658709F5；S5-C1 SW
+//   S5-C2 disableResult profileNotInEnabledState；S6-C1 SW；S6-C2 contains PROFILE_INFO1_DISABLED
+//   S6-C3 contains entries1 iccid 989209012143658709F5；S7-C1 SW
+//   S7-C2 disableResult profileNotInEnabledState；S8-C1 SW；S8-C2 contains PROFILE_INFO1_DISABLED
+//   S8-C3 contains entries1 iccid 989209012143658709F5；S9-C1 SW
+//   S9-C2 disableResult disallowedByPolicy；S10-C1 SW；S10-C2 contains PROFILE_INFO4_ENABLED
+//   S10-C3 contains entries1 iccid 989209015476981032F9；S11-C1 SW
+//   S11-C2 disableResult disallowedByPolicy；S12-C1 SW；S12-C2 contains PROFILE_INFO4_ENABLED
+//   S12-C3 contains entries1 iccid 989209015476981032F9；S13-C1 SW in 9000/91XX
+//   S13-C2 disableResult catBusy；S14-C1 proactive command envelope；S15-C1 SW；S16-C1 SW
+//   S16-C2 contains PROFILE_INFO1；S16-C3 contains entries1 iccid 989209012143658709F5
+//   S17-C1 SW in 9000/91XX；S17-C2 disableResult catBusy；S18-C1 proactive command envelope；S19-C1 SW
+//   S20-C1 SW；S20-C2 contains PROFILE_INFO1；S20-C3 contains entries1 iccid 989209012143658709F5
+// 本函数由 CaseIR 4.2.22.2.4 编译生成（fullwave-blindgen-live-70-W1-A3，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 环境前置承担。
+// PRECONDITION (declared, NOT compiled): initial_conditions 缺语料过程体（Annex C.2 absent from input package, corpus vacuum）: IC 序列属测试工具/卡态编排责任，本脚本不虚构初始化步骤；语义影响见 CaseIR open_items。
+// GIC1 The PROFILE_OPERATIONAL1 has been installed on the eUICC.（Seq#5/#6 以 'PROFILE_OPERATIONAL1 is not loaded' 覆盖本条）: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq01-IC PROFILE_OPERATIONAL1 is Enabled; corresponds to <ISD_P_AID1>; the Operational Profile identified by <ISD_P_AIDX> is not loaded. IC1=PROC_EUICC_INITIALIZATION_SEQUENCE; IC2=PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR.: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq02-IC PROFILE_OPERATIONAL1 is Enabled; the Operational Profile identified by ICCID #ICCID_OP_PROFX is not loaded. IC1/IC2 同上。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq03/04-IC PROFILE_OPERATIONAL1 is Disabled on the eUICC（Seq03 另记 corresponds to <ISD_P_AID1>）。IC1/IC2 同上。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq05/06-IC PROFILE_OPERATIONAL1 is not loaded（覆盖 GIC）；PROFILE_OPERATIONAL4 installed and Enabled（Seq05 另记 corresponds to <ISD_P_AID4>）。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq07/08-IC PROFILE_OPERATIONAL1 is Enabled（Seq07 另记 corresponds to <ISD_P_AID1>）；IC3: S_Device → eUICC MTD_SEND_SMS_PP([GET_MNO_SD]) → SW=0x91XX（开启 proactive session）；IC4: Do not send FETCH command。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// PREFLIGHT_CONTEXT AUTHORIZED_DISCOVERY: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+function TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged");
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain; context_lineage: {"context_id": "f3b0c696af229268", "authority_reference": "E_tc_4222/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});
+    // runtime-bound payload: ISD_P_AID4 stays in execution domain; context_lineage: {"context_id": "f3b0c696af229268", "authority_reference": "E_tc_4222/1-1/G_annexB_dynamic:L52"}
+    var cardCtxLoad2 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID4", {"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": "f3b0c696af229268", "authority_reference": "E_tc_4222/1-1/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});
+
+    // 步骤 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");
+
+    // 步骤 2：Seq#01 Step1] MTD_STORE_DATA（tc_step；REQ: RQ32_031, RQ32_032, RQ57_142_2, RQ57_142_3, RQ57_142_4, RQ57_142_15, RQ57_149, RQ57_150）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    // runtime-bound payload: ISD_P_AIDX stays in execution domain
+    var s2 = bind.sendApdu(null, "E2", "91", "00", BindEs10xProcProfileDynamic.bindProfileAidTemplate(bind, "ISD_P_AIDX", "BF32154F10", "0101FF", profileAidSession), "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s2.sw);
+    BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AIDX", s2.cmd, profileAidSession);
+    var r2w2 = BindGecaProc.parseGecaResponse(s2.resp, {outer: "BF32", required: ["80"]});
+    bind.checkData("S1-C2 disableResult iccidOrAidNotFound", "01", (r2w2.ok && r2w2.fields["80"] === "01") ? "01" : (r2w2.fields["80"] || "absent"));
+
+    // 步骤 3：Seq#01 Step2] MTD_STORE_DATA（tc_step；REQ: RQ32_031, RQ32_032, RQ57_142_2, RQ57_142_3, RQ57_142_4, RQ57_142_15, RQ57_149, RQ57_150）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain
…（差异行超限，共 813 行，此处截断）