--- man
+++ cas
@@ -1,765 +1,1144 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions + TC_eUICC_ES8_LoadProfileElements_02_Error_MCCMNC_of_EFIMSI_different_from_MCCMNC_of_Profile_Owner_present_in_Metadata + TC_eUICC_ES8_LoadProfileElements_03_Error_Session_MAC_chaining_used_instead_of_new_Initial_MAC_chaining + TC_eUICC_ES8_LoadProfileElements_04_Error_SMAC_used_instead_of_PPKMAC + TC_eUICC_ES8_LoadProfileElements_05_Error_SENC_used_instead_of_PPKENC + TC_eUICC_ES8_LoadProfileElements_06_Error_Profile_Downloading_stopped_by_a_Reset + TC_eUICC_ES8_LoadProfileElements_07_Nominal_ICCID_in_the_ProfileHeader_PE_is_ignored_by_the_eUICC + TC_eUICC_ES8_LoadProfileElements_08_Nominal_With_gid1_and_gid2_set + TC_eUICC_ES8_LoadProfileElements_09_Error_gid1_and_gid2_provided_in_the_Profile_Metadata_but_not_in_the_Profile_Package + TC_eUICC_ES8_LoadProfileElements_10_Error_gid1_and_gid2_not_provided_in_the_Profile_Metadata_but_present_in_the_Profile_Package (extracted verbatim)
-
-function TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions()
-{
-	tracenamestr = "测试目的：执行LoadProfileElements，EFICCID与Profile元数据中提供的ICCID不同";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	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命令，执行GetEuiccInfo1Request；");
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	Profile_load_procedure.ICCID = ICCID_OP_PROF2;//
-	Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest；");
-	Profile_load_procedure.ES10b_PrepareDownload();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccDataRequest(GetEID)；");
-	Profile_load_procedure.ES10b_GetEID();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行BoundProfilePackage，EFICCID与配置文件元数据中提供的ICCID不一致；");
-	Profile_load_procedure.serviceProviderName = SP_NAME1;
-	Profile_load_procedure.profileName = PROFILE_OPERATIONAL1_NAME1;
-	Profile_load_procedure.iconType = "01";
-	Profile_load_procedure.icon = ICON_OP_PROF1;
-	Profile_load_procedure.notificationConfigurationInfo = new SequenceOfElement("30");
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0] = new NotificationConfigurationInformation();
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].profileManagementOperation = "04F0";
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].notificationAddress = TEST_DP_ADDRESS1;
-	Profile_load_procedure.profileClass = "02";
-	Profile_load_procedure.profilePolicyRules = "0640";
-	Profile_load_procedure.mccMnc = MCC_MNC1;
-
-	Profile_load_procedure.simaResponse = "";
-	Profile_load_procedure.isErrorTest = true;
-	Profile_load_procedure.bppCommandId = BppCommandId.loadProfileElements;
-	Profile_load_procedure.errorReason = ErrorReason.installFailedDueToDataMismatch;
-
-	Profile_load_procedure.ES10b_LoadBoundProfilePackage();
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile1状态；");
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF1);
-	proInfoListRequest.tagList = "5A4F9F70";
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-
-	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);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile2状态；");
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF2);
-	proInfoListRequest.tagList = "5A4F9F70";
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-
-	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);
-	}
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES8+.LoadProfileElements，Test Sequence #01–#12（#01-#06/#09/#10/#12 Error、#07/#08/#11 Nominal）；B 表两行：#11/#12 仅 V2.5+ C064 行 + 全版本 M 行，适用性 M。
+// Test points: S4-C1 SW；S5-C1 SW；S6-C1 SW；S7-C1 SW；S7-C1 resp present；S8-C1 SW
+//   S8-C2 profileInfoListOk empty；S9-C1 SW；S9-C2 profileInfoListOk empty；S13-C1 SW；S14-C1 SW
+//   S15-C1 SW；S16-C1 SW；S16-C1 resp present；S17-C1 SW；S17-C2 profileInfoListOk empty；S21-C1 SW
+//   S22-C1 SW；S23-C1 SW；S24-C1 SW；S25-C1 SW；S25-C1 resp present；S26-C1 SW
+//   S26-C2 profileInfoListOk empty；S30-C1 SW；S31-C1 SW；S32-C1 SW；S33-C1 SW；S34-C1 SW
+//   S34-C1 resp present；S35-C1 SW；S35-C2 profileInfoListOk empty；S39-C1 SW；S40-C1 SW；S41-C1 SW
+//   S42-C1 SW；S43-C1 SW；S43-C1 resp present；S44-C1 SW；S44-C2 profileInfoListOk empty；S48-C1 SW
+//   S49-C1 SW；S50-C1 SW；S51-C1 SW；S52-C1 ATR_present；S53-C2 FCP_Template；S53-C1 SW；S54-C1 SW
+//   S55-C1 final SW；S56-C1 SW；S56-C2 CHANNEL_NUMBER extracted；S57-C1 SW；S58-C1 SW
+//   S58-C2 profileInfoListOk empty；S62-C1 SW；S63-C1 SW；S64-C1 SW；S65-C1 SW；S65-C2 SW
+//   S65-C2 resp present；S66-C1 SW；S66-C2 contains ICCID_OP_PROF1；S70-C1 SW；S71-C1 SW；S72-C1 SW
+//   S73-C1 SW；S73-C2 SW；S73-C2 resp present；S74-C1 SW；S74-C2 profileOwner mccMnc/gid1/gid2 present
+//   S78-C1 SW；S79-C1 SW；S80-C1 SW；S81-C1 SW；S81-C1 resp present；S82-C1 SW
+//   S82-C2 profileInfoListOk empty；S86-C1 SW；S87-C1 SW；S88-C1 SW；S89-C1 SW；S89-C1 resp present
+//   S90-C1 SW；S90-C2 profileInfoListOk empty；S94-C1 SW；S95-C1 SW；S96-C1 SW；S97-C1 SW；S97-C2 SW
+//   S97-C2 resp present；S98-C1 SW；S98-C2 contains ICCID_OP_PROF10；S102-C1 SW；S103-C1 SW；S104-C1 SW
+//   S105-C1 SW；S105-C1 resp present；S106-C1 SW；S106-C2 profileInfoListOk empty
+// 本函数由 CaseIR 4.2.7.2.1 编译生成（fullwave-blindgen-live-70，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_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged() {
+    var bind = curBind;
…（差异行超限，共 1911 行，此处截断）