--- man
+++ cas
@@ -1,319 +1,288 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10a_SetDefaultDpAddress_01_Nominal_Set_SM_DP_Address_with_Address_Empty_in_eUICC + TC_eUICC_ES10a_SetDefaultDpAddress_02_Nominal_Set_SM_DP_Address_with_SM_DP_Address_already_in_eUICC + TC_eUICC_ES10a_SetDefaultDpAddress_03_Nominal_Set_Empty_SM_DP_Address_with_SM_DP_Address_already_in_eUICC + TC_eUICC_ES10a_SetDefaultDpAddress_04_Nominal_Set_Empty_SM_DP_Address_with_Empty_SM_DP_Address_in_eUICC (extracted verbatim)
-
-function TC_eUICC_ES10a_SetDefaultDpAddress_01_Nominal_Set_SM_DP_Address_with_Address_Empty_in_eUICC()
-{
-
-	tracenamestr = "测试目的：eUICC上SM-DP+地址为空，设置SM-DP+地址";
-	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命令，执行SetDefaultDpAddressRequest，defaultDpAddress为空，清空卡内的default SM-DP+ address；");
-	var setDefaultDpAddressRequest = new SetDefaultDpAddressRequest();
-	setDefaultDpAddressRequest.defaultDpAddress = "";
-	setDefaultDpAddressRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(setDefaultDpAddressRequest.hexData);
-	curStrHandle.CheckData("BF3F03800100", respData,"SetDefaultDpAddress Response");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行EuiccConfiguredAddressesRequest，获取卡片的defaultDpAddress和rootDsAddress；");
-	var respData = LPAd_Transport_data_to_eUICC(EuiccConfiguredAddressesRequestHexStr);
-	var euiccConfiguredAddressesResponse = new  EuiccConfiguredAddressesResponse();
-	euiccConfiguredAddressesResponse.checkCardResDataFormat(respData);
-
-	try
-	{
-		if (typeof(euiccConfiguredAddressesResponse.defaultDpAddress) != "undefined")
-			obj.SubLevelError("卡片应当没有defaultDpAddress返回,");
-		curStrHandle.CheckData(TEST_ROOT_DS_ADDRESS, euiccConfiguredAddressesResponse.rootDsAddress,"root Ds Address");
-
-
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行SetDefaultDpAddressRequest，设置DefaultDpAddressRequest为TEST_DP_ADDRESS1；");
-	var setDefaultDpAddressRequest = new SetDefaultDpAddressRequest();
-	setDefaultDpAddressRequest.defaultDpAddress = TEST_DP_ADDRESS1;
-	setDefaultDpAddressRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(setDefaultDpAddressRequest.hexData);
-	curStrHandle.CheckData("BF3F03800100", respData,"SetDefaultDpAddress Response");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行EuiccConfiguredAddressesRequest，获取卡片的defaultDpAddress和rootDsAddress；");
-	var respData = LPAd_Transport_data_to_eUICC(EuiccConfiguredAddressesRequestHexStr);
-	var euiccConfiguredAddressesResponse = new  EuiccConfiguredAddressesResponse();
-	euiccConfiguredAddressesResponse.checkCardResDataFormat(respData);
-	try
-	{
-		curStrHandle.CheckData(setDefaultDpAddressRequest.defaultDpAddress, euiccConfiguredAddressesResponse.defaultDpAddress,"default Dp Address");
-		curStrHandle.CheckData(TEST_ROOT_DS_ADDRESS, euiccConfiguredAddressesResponse.rootDsAddress,"root Ds Address");
-
-
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行SetDefaultDpAddressRequest，defaultDpAddress为空，清空卡内的default SM-DP+ address；");
-	var setDefaultDpAddressRequest = new SetDefaultDpAddressRequest();
-	setDefaultDpAddressRequest.defaultDpAddress = "";
-	setDefaultDpAddressRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(setDefaultDpAddressRequest.hexData);
-	curStrHandle.CheckData("BF3F03800100", respData,"SetDefaultDpAddress Response");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行EuiccConfiguredAddressesRequest，获取卡片的defaultDpAddress和rootDsAddress；");
-	var respData = LPAd_Transport_data_to_eUICC(EuiccConfiguredAddressesRequestHexStr);
-	var euiccConfiguredAddressesResponse = new  EuiccConfiguredAddressesResponse();
-	euiccConfiguredAddressesResponse.checkCardResDataFormat(respData);
-
-	try
-	{
-		if (typeof(euiccConfiguredAddressesResponse.defaultDpAddress) != "undefined")
-			obj.SubLevelError("卡片应当没有defaultDpAddress返回,");
-		curStrHandle.CheckData(TEST_ROOT_DS_ADDRESS, euiccConfiguredAddressesResponse.rootDsAddress,"root Ds Address");
-
-
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-021945
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10a.SetDefaultDPAddress，Test Sequence #01–#04 Nominal（空→置1 / 置1→置2 / 置1→置空 / 空→置空），适用性 M。
+// Test points: S1-C1 ATR_present；S2-C2 FCP_Template；S2-C1 SW；S3-C1 SW；S4-C1 final SW；S5-C1 SW
+//   S5-C2 CHANNEL_NUMBER extracted；S6-C1 SW；S7-C1 SW；S7-C2 setDefaultDpAddressResult ok；S8-C1 SW
+//   S8-C2 defaultDpAddress testsmdpplus1.example.com；S8-C2 rootDsAddress testrootsmds.example.com
+//   S9-C1 ATR_present；S10-C2 FCP_Template；S10-C1 SW；S11-C1 SW；S12-C1 final SW；S13-C1 SW
+//   S13-C2 CHANNEL_NUMBER extracted；S14-C1 SW；S15-C1 SW；S15-C2 setDefaultDpAddressResult ok
+//   S16-C1 SW；S16-C2 defaultDpAddress testsmdpplus2.example.com；S17-C1 ATR_present
+//   S18-C2 FCP_Template；S18-C1 SW；S19-C1 SW；S20-C1 final SW；S21-C1 SW
+//   S21-C2 CHANNEL_NUMBER extracted；S22-C1 SW；S23-C1 SW；S23-C2 setDefaultDpAddressResult ok
+//   S24-C1 SW；S24-C2 defaultDpAddress absent；S24-C2 rootDsAddress present；S25-C1 ATR_present
+//   S26-C2 FCP_Template；S26-C1 SW；S27-C1 SW；S28-C1 final SW；S29-C1 SW
+//   S29-C2 CHANNEL_NUMBER extracted；S30-C1 SW；S31-C1 SW；S31-C2 setDefaultDpAddressResult ok
+//   S32-C1 SW；S32-C2 defaultDpAddress absent
+// 本函数由 CaseIR 4.2.9.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_ES10a_SetDefaultDPAddress_01_04_Nominal_1_1_2_1() {
+    var bind = curBind;
+    // IC1 PROC_EUICC_INITIALIZATION_SEQUENCE（各序列）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（各序列）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+
+    // 步骤 1：Seq#01 IC1/1: RESET（PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4，K_annexC2_procs 表1256）（procedure_expansion）
+    var s1 = bind.resetAndAtr();
+    bind.checkData("S1-C1 ATR_present", "1", s1.atr_hex !== "" ? "1" : "0");
+
+    // 步骤 2：Seq#01 IC1/2: [SELECT_MF]（展开2/4）（procedure_expansion）
+    // 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 s2 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("S2-C2 FCP_Template", "1", s2.resp.length > 0 ? "1" : "0");
…（差异行超限，共 609 行，此处截断）