--- man
+++ cas
@@ -1,890 +1,698 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_DisableProfile_Case3_02_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_DisableProfile_Case3_03_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_DisableProfile_Case3_04_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_DisableProfile_Case3_05_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_not_set + TC_eUICC_ES10c_DisableProfile_Case3_06_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_not_set + TC_eUICC_ES10c_DisableProfile_Case3_07_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case3_08_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case3_09_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_sessionisongoing_withTerminalResponseoutstanding_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case3_10_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_sessionisongoing_withTerminalResponseoutstanding_catBusynotsupported (extracted verbatim)
-
-function TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset()
-{
-	initial_condition_PROFILE_OPERATIONAL1_is_Enabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
-
-	tracenamestr = "测试目的：设备支持 “UICC Reset”，通过ISD-P AID去失效profile，并设置refreshFlag";
-	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为FF；");
-	var disableProRequest = new DisableProfileRequest();
-	disableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_Test01);
-	disableProRequest.refreshFlag = BooleanValue_BerCode_True;
-	disableProRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(disableProRequest.hexData,"90","00","91XX");
-
-	curStrHandle.CheckData("", respData, "DisableProfileResponse");
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 Fetch命令，主动式命令refresh；");
-
-	FetchStr = Fetch("","9000","");
-
-	var CmdDetails = GetValueByTag("01",1);
-	var CmdQualifier = CmdDetails.substr(4,2);
-	CheckData("04",CmdQualifier,"the command qualifier is equal to ’04’ (UICC Reset)");
-
-	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命令，执行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_DISABLED, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileState, "profile State");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 Select命令，选择ICCID；");
-	var para1 = new SelectFileEFPara_3G("2FE2");
-	para1.apdu.ressw = "6A82";
-	SendAPDU(para1.apdu);
-
-	RecoverCard();
-
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DisableProfile_Case3，Test Sequence #01-#10 Nominal (all 10 sequences)，适用性 M。
+// Test points: ICH-SEQ01-IC1-K1-C1 ATR_present；ICH-SEQ01-IC1-K2-C2 FCP_Template
+//   ICH-SEQ01-IC1-K2-C4 SW；ICH-SEQ01-IC1-K3-C4 SW；ICH-SEQ01-IC1-K4-C4 final SW
+//   ICH-SEQ01-IC2-K1-C4 SW；ICH-SEQ01-IC2-K1-C3 CHANNEL_NUMBER extracted；ICH-SEQ01-IC2-K2-C4 SW
+//   S1-C2 response data absent；S1-C1 SW1 91；S2-C1 proactive command envelope
+//   IC4-IC1-K1-C1 ATR_present；IC4-IC1-K2-C2 FCP_Template；IC4-IC1-K2-C4 SW；IC4-IC1-K3-C4 SW
+//   IC4-IC1-K4-C4 final SW；IC4-IC2-K1-C4 SW；IC4-IC2-K1-C3 CHANNEL_NUMBER extracted；IC4-IC2-K2-C4 SW
+//   S4-C1 SW；S4-C2 contains PROFILE_INFO1_DISABLED；S5-C1 SW；S6-C2 response data absent；S6-C1 SW1 91
+//   S7-C1 proactive command envelope；IC9-IC1-K1-C1 ATR_present；IC9-IC1-K2-C2 FCP_Template
+//   IC9-IC1-K2-C4 SW；IC9-IC1-K3-C4 SW；IC9-IC1-K4-C4 final SW；IC9-IC2-K1-C4 SW
+//   IC9-IC2-K1-C3 CHANNEL_NUMBER extracted；IC9-IC2-K2-C4 SW；S9-C1 SW
+//   S9-C2 contains PROFILE_INFO1_DISABLED；S10-C1 SW；S11-C2 response data absent；S11-C1 SW1 91
+//   S12-C1 proactive command envelope；S13-C1 SW；IC15-IC1-K2-C2 FCP_Template；IC15-IC1-K2-C4 SW
+//   IC15-IC1-K3-C4 SW；IC15-IC1-K4-C4 final SW；IC16-IC2-K1-C4 SW
+//   IC16-IC2-K1-C3 CHANNEL_NUMBER extracted；IC16-IC2-K2-C4 SW；S16-C1 SW
+//   S16-C2 contains PROFILE_INFO1_DISABLED；S17-C1 SW；S18-C2 response data absent；S18-C1 SW1 91
+//   S19-C1 proactive command envelope；S20-C1 SW；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 contains PROFILE_INFO1_DISABLED；S24-C1 SW；S25-C1 SW；S25-C2 response data absent
+//   S26-C1 SW；S26-C2 contains PROFILE_INFO1_DISABLED；S27-C1 SW；S28-C1 SW
+//   S28-C2 response data absent；S29-C1 SW；S29-C2 contains PROFILE_INFO1_DISABLED；S30-C1 SW
+//   S31-C1 SW1 91；S32-C2 response data absent；S32-C1 SW1 91；S33-C1 proactive command envelope
+//   IC35-IC1-K1-C1 ATR_present；IC35-IC1-K2-C2 FCP_Template；IC35-IC1-K2-C4 SW；IC35-IC1-K3-C4 SW
+//   IC35-IC1-K4-C4 final SW；IC35-IC2-K1-C4 SW；IC35-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC35-IC2-K2-C4 SW；S35-C1 SW；S35-C2 contains PROFILE_INFO1_DISABLED；S36-C1 SW；S37-C1 SW1 91
+//   S38-C1 SW；S38-C2 response data absent；S39-C1 SW；S39-C2 contains PROFILE_INFO1_DISABLED
+//   S40-C1 SW；S41-C1 SW1 91；S42-C1 proactive command envelope；S43-C1 SW；S43-C2 response data absent
+//   S44-C1 SW1 91；S45-C1 proactive command envelope；IC47-IC1-K1-C1 ATR_present
+//   IC47-IC1-K2-C2 FCP_Template；IC47-IC1-K2-C4 SW；IC47-IC1-K3-C4 SW；IC47-IC1-K4-C4 final SW
+//   IC47-IC2-K1-C4 SW；IC47-IC2-K1-C3 CHANNEL_NUMBER extracted；IC47-IC2-K2-C4 SW；S47-C1 SW
+//   S47-C2 contains PROFILE_INFO1_DISABLED；S48-C1 SW；S49-C1 SW1 91
+//   S50-C1 proactive command envelope；S51-C1 SW；S51-C2 response data absent；S52-C1 SW1 != 91
+//   S53-C1 SW；S53-C2 contains PROFILE_INFO1_DISABLED；S54-C1 SW
+// 本函数由 CaseIR 4.2.22.2.1 编译生成（fullwave-blindgen-live-70-W1-laneA2，SGP.23 v1.16 × SGP.22 v2.7）：字节权威=CaseIR，非誊录黄金脚本。
…（差异行超限，共 1590 行，此处截断）