--- man
+++ cas
@@ -1,587 +1,790 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile + TC_eUICC_ES10c_eUICCMemoryReset_02_Nominal_Reset_All_Operational_Profiles_with_Enabled_Profile + TC_eUICC_ES10c_eUICCMemoryReset_03_Nominal_Reset_the_Default_SMDP_Address_only + TC_eUICC_ES10c_eUICCMemoryReset_04_Nominal_Reset_All_Operational_Profiles_and_the_Default_SMDP_Address + TC_eUICC_ES10c_eUICCMemoryReset_05_Nominal_eUICCMemoryReset_when_this_Operational_Profile_is_in_Enabled_state_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_eUICCMemoryReset_06_Nominal_eUICCMemoryReset_when_this_Profile_is_in_Enabled_state_while_proactive_sessionisongoing_catBusynotsupported (extracted verbatim)
-
-function TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile()
-{
-	initial_condition_Start();
-
-	initial_condition_Install_PROFILE_OPERATIONAL1();
-
-	initial_condition_Set_SMDP_Address(TEST_DP_ADDRESS1);
-
-	initial_condition_Install_PROFILE_OPERATIONAL3();
-
-	initial_condition_set_Profile_Nickname("读卡器向卡片发送 StoreData命令，执行SetNickname，profileNickname为NICKNAME3；", ICCID_OP_PROF3, NICKNAME3);
-
-	initial_condition_Remove_All_Notification();
-
-	tracenamestr = "测试目的：没有处于激活状态的profile，重置所有的Operational 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命令，执行GET_EUICC_INFO2，获取卡片的剩余不可变空间大小；");
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
-
-	var euiccInfo2 = new EUICCInfo2();
-	euiccInfo2.checkCardResDataFormat(hexData);
-	var FREE_MEM_OP_PROF_INSTALLED = 0;
-	try
-	{
-		var extCardResourceObj = new ExtendedCardResource();
-		extCardResourceObj.SetHexData(euiccInfo2.extCardResource);
-		FREE_MEM_OP_PROF_INSTALLED = parseInt(extCardResourceObj.FreeNonVolatileMemory, 16);
-	}catch(e){
-		obj.SubLevel(display_rsp_card_data_format_check_fail, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行EuiccMemoryResetRequest，删除OperationalProfile；");
-	var euiMemoryResetRequest = new EuiccMemoryResetRequest();
-	euiMemoryResetRequest.resetOptions = "0780";
-	euiMemoryResetRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(euiMemoryResetRequest.hexData);
-	curStrHandle.CheckData("BF3403800100", respData, "EuiccMemoryResetResponse");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_PROFILES_INFO_ALL，期望返回列表为空；");
-	var respData = LPAd_Transport_data_to_eUICC(RetrieveProfileInfoAll);
-	curStrHandle.CheckData(ProfileInfoListResponse_empty, respData, "ProfileInfoListResponse");
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，LIST_NOTIF_ALL；");
-	var resdata = LPAd_Transport_data_to_eUICC(listNotificationAllRequest);
-	var listNotificationResponse = new ListNotificationResponse();
-	listNotificationResponse.checkCardResDataFormat(resdata);
-
-	Max_seqNumber_Of_Notification ++;
-	var arr1 = listNotificationResponse.notificationMetadataList.arrOfElement;
-	curStrHandle.CheckData("1", arr1.length.toString(), "Number of Notification");
-
-	if (arr1.length >= 1)
-	{
-		curStrHandle.CheckData(Max_seqNumber_Of_Notification.toString(), parseInt(arr1[0].seqNumber,16).toString(), "seqNumber");
-		curStrHandle.CheckData("0410", arr1[0].profileManagementOperation, "profileManagementOperation");
-		curStrHandle.CheckData(TEST_DP_ADDRESS1, arr1[0].notificationAddress, "notificationAddress");
-		curStrHandle.CheckData(ICCID_OP_PROF1, arr1[0].iccid, "iccid");
-	}
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GET_EUICC_INFO2，获取卡片的剩余不可变空间大小，剩余不可变空间应变大；");
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
-	var euiccInfo2 = new EUICCInfo2();
-	euiccInfo2.checkCardResDataFormat(hexData);
-
-	var FREE_MEMORY_NO_PROFILE = 0;
-	try
-	{
-
-		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);
-	}
-
-	if (FREE_MEMORY_NO_PROFILE > FREE_MEM_OP_PROF_INSTALLED)
-		obj.SubLevel("删除后的卡片剩余不可变空间变大了", 1);
-	else
-		obj.SubLevel("删除后的卡片剩余不可变空间没有变大", 0);
-
-		obj.SubLevel("euiccInfo2.extCardResource.FreeNonVolatileMemory"+euiccInfo2.extCardResource.FreeNonVolatileMemory,1);
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_EUICC_CONFIGURED_ADDRESSES，检查defaultDpAddress应没有改变；");
-	var hexData = LPAd_Transport_data_to_eUICC(EuiccConfiguredAddressesRequestHexStr);
-	var resObj = new EuiccConfiguredAddressesResponse();
-	resObj.checkCardResDataFormat(hexData);
-
-	curStrHandle.CheckData(TEST_DP_ADDRESS1, resObj.defaultDpAddress, "defaultDpAddress");
-	curStrHandle.CheckData(TEST_ROOT_DS_ADDRESS, resObj.rootDsAddress, "rootDsAddress");
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-143902
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.eUICCMemoryReset，Test Sequence #01-#06 (Nominal: Reset OP without/with Enabled Profile / Reset Default SM-DP+ Address only / Reset All / catBusy not supported ×2)，适用性 M (序列#01-#04) / C039 (序列#05、#06)。
+// Test points: IC1-IC1-K1-C1 ATR_present；IC1-IC1-K2-C2 FCP_Template；IC1-IC1-K2-C4 SW
+//   IC1-IC1-K3-C4 SW；IC1-IC1-K4-C4 final SW；IC2-IC2-K1-C4 SW；IC2-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC2-IC2-K2-C4 SW；S3-C1 free non-volatile memory tag 82 present；S4-C1 SW；S4-C2 resetResult ok
+//   S5-C1 SW；S5-C2 profileInfoListOk empty；S6-C1 SW
+//   S6-C2 notificationMetadataList contains NOTIF_METADATA_DELETE1
+//   S7-C1 free non-volatile memory lower than step 7；S7-C2 free non-volatile memory tag 82 present
…（差异行超限，共 1379 行，此处截断）