--- man
+++ cas
@@ -1,63 +1,118 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_GetEID_01_Nominal + TC_eUICC_ES10c_GetEID_02_Error (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260906-184033
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.GetEID，Test Sequence #01 Nominal + #02 Error，适用性 M。
+// Test points: S1-C1 ATR_present；S2-C1 FCP_Template；S2-C2 FCP tag 62；S2-C3 SW；S3-C1 SW
+//   S4-C2 final SW；S5-C1 SW；S5-C2 CHANNEL_NUMBER extracted；S6-C1 SW；S7-C1 SW；S7-C4 eidValue
+//   S7-C4 eidValue length；S7-C3 EID object 5A10；S7-C2 outer tag BF3E；S8-C1 ATR_present
+//   S9-C1 FCP_Template；S9-C2 FCP tag 62；S9-C3 SW；S10-C1 SW；S11-C2 final SW；S12-C1 SW
+//   S12-C2 CHANNEL_NUMBER extracted；S13-C1 SW；S14-C1 SW != 9000；S14-C2 response data absent
+//   S14-C3 response data absent
+// 本函数由 CaseIR 4.2.25.2.1 编译生成（regen-421，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_ES10c_GetEID_01_Nominal_02_Error() {
+    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).
 
-function TC_eUICC_ES10c_GetEID_01_Nominal()
-{
-	tracenamestr = "测试目的：获取EID正确性测试";
-	curDis.TraceStart(sno++,tracenamestr);
+    // 步骤 1：RESET（procedure_expansion）
+    var s1 = bind.resetAndAtr();
+    bind.checkData("S1-C1 ATR_present", "1", s1.atr_hex !== "" ? "1" : "0");
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 步骤 2：SELECT_MF（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-C1 FCP_Template", "1", s2.resp.length > 0 ? "1" : "0");
+    bind.checkData("S2-C2 FCP tag 62", "62", s2.resp.substring(0, 2));
+    bind.checkData("S2-C3 SW", "9000", s2.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // 步骤 3：TERMINAL_CAPABILITY_LPAd（procedure_expansion）
+    var s3 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("S3-C1 SW", "9000", s3.sw);
 
-	curLogicChannel = 1;
+    // 步骤 4：TERMINAL_PROFILE（procedure_expansion）
+    var steady4 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000/91XX");
+    });
+    bind.checkData("S4-C2 final SW", "9000", steady4.final.sw);
+    // S4-C1: 'interim_SW' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
+    // S4-C1: 'fetch_issued' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
+    // S4-C1: 'terminal_response' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
+    // S4-C1: binding:runToSteadyState_structural(chaining-rule) (check_attestation)
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // 步骤 5：MANAGE_CHANNEL_OPEN（procedure_expansion）
+    // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s5 = bind.manageChannelOpen("9000");
+    bind.checkData("S5-C1 SW", "9000", s5.sw);
+    bind.checkData("S5-C2 CHANNEL_NUMBER extracted", "1", s5.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_EID");
-	var getEuiccDataRequest = new GetEuiccDataRequest();
-	getEuiccDataRequest.tagList = "5A";
-	var getEuiccDataRequestHexStr = getEuiccDataRequest.GenHexData();
-	var hexData = LPAd_Transport_data_to_eUICC(getEuiccDataRequestHexStr);
+    // 步骤 6：MTD_SELECT（procedure_expansion）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s6 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", "00", "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("S6-C1 SW", "9000", s6.sw);
 
-	var getEuiccDataResponse = new GetEuiccDataResponse();
+    // 步骤 7：MTD_STORE_DATA（tc_step；REQ: RQ33_002, RQ57_171, RQ57_172）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla7 = s5.chan !== null ? (s5.chan <= 3 ? 128 + s5.chan : 188 + s5.chan).toString(16).toUpperCase() : null;
+    var s7 = bind.sendApdu(sdCla7, "E2", "91", "00", "BF3E035C015A", "00", "9000");
+    bind.checkData("S7-C1 SW", "9000", s7.sw);
+    var eidExp7 = "89049032123451234512345678901235";
+    var eidLen7 = null, eidVal7 = "absent";
+    for (var i7 = 0; i7 + 4 <= s7.resp.length; i7 += 2) {
+        if (s7.resp.substring(i7, i7 + 2) === "5A") {
+            eidLen7 = s7.resp.substring(i7 + 2, i7 + 4);
+            eidVal7 = s7.resp.substring(i7 + 4, i7 + 4 + eidExp7.length);
+            break;
+        }
+    }
+    bind.checkData("S7-C4 eidValue", "89049032123451234512345678901235", eidVal7);
+    bind.checkData("S7-C4 eidValue length", "10", eidLen7 === null ? "absent" : eidLen7);
+    bind.checkData("S7-C3 EID object 5A10", "1", s7.resp.indexOf("5A10") >= 0 ? "1" : "0");
+    bind.checkData("S7-C2 outer tag BF3E", "BF3E", s7.resp.substring(0, 4));
 
-	getEuiccDataResponse.checkCardResDataFormat(hexData);
+    // 步骤 8：RESET（procedure_expansion）
+    var s8 = bind.resetAndAtr();
+    bind.checkData("S8-C1 ATR_present", "1", s8.atr_hex !== "" ? "1" : "0");
 
-	var eidValue = getEuiccDataResponse.eidValue;
+    // 步骤 9：SELECT_MF（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 s9 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("S9-C1 FCP_Template", "1", s9.resp.length > 0 ? "1" : "0");
+    bind.checkData("S9-C2 FCP tag 62", "62", s9.resp.substring(0, 2));
+    bind.checkData("S9-C3 SW", "9000", s9.sw);
 
-	curStrHandle.CheckData(EID1, eidValue, "eidValue");
+    // 步骤 10：TERMINAL_CAPABILITY_LPAd（procedure_expansion）
+    var s10 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("S10-C1 SW", "9000", s10.sw);
 
+    // 步骤 11：TERMINAL_PROFILE（procedure_expansion）
+    var steady11 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000/91XX");
+    });
+    bind.checkData("S11-C2 final SW", "9000", steady11.final.sw);
+    // S11-C1: 'interim_SW' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
+    // S11-C1: 'fetch_issued' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
…（差异行超限，共 171 行，此处截断）