--- man
+++ cas
@@ -1,110 +1,153 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_eUICCMemoryReset_01_Error_eUICC_Memory_Reset_while_proactive_session_is_ongoing + TC_eUICC_ES10c_eUICCMemoryReset_02_Error_Nothing_to_delete (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-143902
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.eUICCMemoryReset_ErrorCases，Test Sequence #01-#02 (Error: catBusy supported / Error: Nothing to delete)，适用性 M/C038 (序列#01) / M (序列#02)。
+// 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 SW1 91；S5-C1 SW in 9000/91XX；S5-C2 resetResult catBusy；S7-C1 SW；S8-C1 SW
+//   S8-C2 contains PROFILE_INFO1；S8-C2 contains PROFILE_INFO2；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
+//   IC10-IC2-K1-C4 SW；IC10-IC2-K1-C3 CHANNEL_NUMBER extracted；IC10-IC2-K2-C4 SW；S11-C1 SW
+//   S11-C2 resetResult nothingToDelete
+// 本函数由 CaseIR 4.2.24.2.2 编译生成（fullwave-blindgen-live-70-W1-laneA5，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/C038 (序列#01) / M (序列#02)：编译期门，运行时由 harness 环境前置承担。
+function TC_eUICC_ES10c_eUICCMemoryReset_ErrorCases_01_02_merged() {
+    var bind = curBind;
+    // S1-IC 卡态编排：PROFILE_OPERATIONAL1 已安装且 Enabled；PROFILE_OPERATIONAL2 已安装且 Disabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S2-IC 卡态编排：eUICC 上未装载任何 Profile: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_ES10c_eUICCMemoryReset_01_Error_eUICC_Memory_Reset_while_proactive_session_is_ongoing()
-{
-	initial_condition_Start();
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1）：RESET（K 语料机械展开）
+    var s12 = bind.resetAndAtr();
+    bind.checkData("IC1-IC1-K1-C1 ATR_present", "1", s12.atr_hex !== "" ? "1" : "0");
 
-	initial_condition_Install_PROFILE_OPERATIONAL1();
-	initial_condition_Enable_Profile("Enable Profile1", ICCID_OP_PROF1);
-	initial_condition_Install_PROFILE_OPERATIONAL2();
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 2）：SELECT_MF（K 语料机械展开）
+    // 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 s13 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("IC1-IC1-K2-C2 FCP_Template", "1", s13.resp.length > 0 ? "1" : "0");
+    bind.checkData("IC1-IC1-K2-C4 SW", "9000", s13.sw);
 
-	tracenamestr = "测试目的：eUICC支持catBusy，主动式会话进行中时，执行eUICCMemoryReset";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3）：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s14 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("IC1-IC1-K3-C4 SW", "9000", s14.sw);
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4）：TERMINAL_PROFILE（K 语料机械展开）
+    var steady15 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("IC1-IC1-K4-C4 final SW", "9000", steady15.final.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC ref inline @E 步骤 2（IC2 → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 1）：MANAGE_CHANNEL_OPEN（K 语料机械展开）
+    // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s16 = bind.manageChannelOpen("9000");
+    bind.checkData("IC2-IC2-K1-C4 SW", "9000", s16.sw);
+    bind.checkData("IC2-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s16.chan !== null ? "1" : "0");
 
-	curLogicChannel = 1;
+    // IC ref inline @E 步骤 2（IC2 → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 2）：MTD_SELECT（K 语料机械展开）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s17 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", null, "9000");
+    // MTD_SELECT expected face is SW-only (K Annex C.2 open-channel procedure step 2: no FCI content assertion in corpus); no fabricated template parse.
+    bind.checkData("IC2-IC2-K2-C4 SW", "9000", s17.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // 步骤 3：IC3: MTD_SEND_SMS_PP（tc_step）
+    // MTD_SEND_SMS_PP ENVELOPE (H Annex C.1 表1238 Details: 80 C2 00 00 <L>): SCP80-packed SMS-PP body is runtime-domain
+    // (<MNO_SCP80_COUNTER>/<CC>/<C_APDUS_SCRIPT>) — no bytes fabricated; the embedded STORE DATA
+    // script executes via the proactive FETCH / TERMINAL RESPONSE chain, not in this response.
+    var s3 = bind.sendApdu("80", "C2", "00", "00", null, null, null);
+    bind.checkData("S3-C1 SW1 91", "91", s3.sw.substring(0, 2));
 
-	curLogicChannel = 0;
-	var sSendType = SendTypeByOTA.SMS;
-	KIC = MNO_SCP80_ENC_KEY;
-	KID = MNO_SCP80_AUTH_KEY;
-	KIK = MNO_SCP80_DATA_ENC_KEY;
-	curDis.TestStepStart2(stno++,"SCP80,发送get status命令，使用MNO-SD的tar");
-	sAPDU = "80F28002024F0000";
-	SendMessageToCard_GP(sSendType,"91XX",0,"B20100","12210015",sAPDU);
-	HaveReEntry91XX = true;
-	var ss = obj.GetState();
-	ReEntry91XXLength = ss.substr(2,2);
+    // 步骤 4：IC4: Do not send FETCH command（序列#01：保持 proactive session 挂起）（tc_step）
+    // FETCH header literals follow the golden wire evidence 8012 (same
+    // anchor as runToSteadyState; J Annex D.4 has no FETCH row, D 2.2.2
+    // gives mechanism only). Le = pending length from the last 91XX
+    // (chain rule, binding-internal state).
+    var s4 = bind.fetchPending("80", "12", "00", "00", null);
+    // S4：主动会话协议闭合（TS 102 223 §6.3：主动命令必须 TR 应答；
+    // UICC Reset 变体 E 表无 TR 行属编辑省略，golden U3 线证同构）。
+    var s4tr = bind.terminalResponseForPending("80", "14", "00", "00", "9000");
 
-	curLogicChannel = 1;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，Reset All Operational Profiles");
-	var euiMemoryResetRequest = new EuiccMemoryResetRequest();
-	euiMemoryResetRequest.resetOptions = "0780";
-	euiMemoryResetRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(euiMemoryResetRequest.hexData, "91", "00", "9000/91XX");
+    // 步骤 5：MTD_STORE_DATA（tc_step；REQ: RQ57_165_1）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla5 = s16.chan !== null ? (s16.chan <= 3 ? 128 + s16.chan : 188 + s16.chan).toString(16).toUpperCase() : null;
+    var s5 = bind.sendApdu(sdCla5, "E2", "91", "00", "BF340482020780", "00", "9000/91XX");
+    bind.checkData("S5-C1 SW in 9000/91XX", "1", (s5.sw === "9000" || (s5.sw.substring(0, 2) === "91")) ? "1" : "0");
+    // es10x-proc-profile 响应面（TC_eUICC_ES10c.eUICCMemoryReset_ErrorCases，SGP.22 §5.7.15 结构 + vendor ABI 分支锚；断言参数经 spec_pattern 子句注入）：
+    var pw5 = BindEs10xProcProfile.walkChoiceList(s5.resp, {respTag: "BF34", okTag: "A0", errTag: "81"});
+    var r2w5 = BindGecaProc.parseGecaResponse(s5.resp, {outer: "BF34", required: ["02"]});
+    bind.checkData("S5-C2 resetResult catBusy", "05", (r2w5.ok && r2w5.fields["02"] === "05") ? "05" : (r2w5.fields["02"] || "absent"));
 
-	curStrHandle.CheckData("BF3403800105", respData, "EuiccMemoryResetResponse");
+    // 步骤 6：FETCH 'XX'（序列#01 步2：取回挂起的 proactive 命令）（tc_step）
+    // FETCH header literals follow the golden wire evidence 8012 (same
+    // anchor as runToSteadyState; J Annex D.4 has no FETCH row, D 2.2.2
+    // gives mechanism only). Le = pending length from the last 91XX
+    // (chain rule, binding-internal state).
…（差异行超限，共 246 行，此处截断）