--- man
+++ cas
@@ -1,42 +1,207 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer (extracted verbatim)
-
-function TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer()
-{
-	tracenamestr = "测试目的：执行AuthenticateServer后获取EUICCInfo2";
-	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_PROF1;
-	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();
-	var euiccInfo2_hexData_1 = Profile_load_procedure.authServerResponse.authenticateResponseOk.euiccSigned1.euiccInfo2.hexData;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo2Request，获取EUICCInfo2；");
-
-	var euiccInfo2 = new EUICCInfo2();
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
-
-	euiccInfo2.checkCardResDataFormat(hexData);
-	curStrHandle.CheckData(euiccInfo2_hexData_1, euiccInfo2.hexData,"检查EUICCInfo2数据应与authServerResponse中返回的数据一致");
-
-	check_EUICCInfo2(euiccInfo2);
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20260928-203316
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetEUICCInfo2，Test Sequence #01 Nominal: GetEUICCInfo2 call after AuthenticateServer，适用性 M。
+// Test points: ICH-IC1-K1-C1 ATR_present；ICH-IC1-K2-C2 FCP_Template；ICH-IC1-K2-C4 SW
+//   ICH-IC1-K3-C4 SW；ICH-IC1-K4-C4 final SW；ICH-IC2-K1-C4 SW；ICH-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   ICH-IC2-K2-C4 SW；S1-C1 SW；S1-C2 R_EUICC_INFO1 outer tag
+//   S1-C2 R_EUICC_INFO1 required members present；S1-C3 CI PK lists share at least one key id
+//   S2-C1 SW；S2-C2 R_CHALLENGE outer tag；S2-C2 euiccChallenge tag；S2-C2 euiccChallenge length
+//   IC6-C1 MTD_STORE_DATA_SCRIPT(#AUTHENTICATE_SMDP) SW
+//   IC6-C2 #R_AUTHENTICATE_SMDP authenticateResponseOk structure (euiccSigned1)；S3-C1 SW
+//   S3-C2 R_EUICC_INFO2 outer tag；S3-C2 R_EUICC_INFO2 required members present
+//   S3-C3 IC6 euiccInfo2 equality (extCardResource excluded) oracle
+//   S3-C4 RQ57_051 function accepted at this sequence position；S3-C5 RQ57_053 command data
+//   S3-C6 RQ57_058 ts102241Version presence observed
+//   S3-C7 RQ57_059 globalplatformVersion presence observed；S3-C8 RQ57_062 rpmSupport bit is 0
+//   S3-C9 svn consistency with step (6) via IC6 equality oracle
+//   S3-C10 RQ43_001 eUICC information provided in response
+//   S3-C11 RQ43_002 EUICCInfo2 received from eUICC
+// 本函数由 CaseIR 4.2.13.2.4 编译生成（4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-20260928_043958，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_ES10b_GetEUICCInfo2_01_merged() {
+    var bind = curBind;
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s4 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s4.atr_hex !== "" ? "1" : "0");
+
+    // IC head inline (initial_conditions → 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 s5 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s5.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s5.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s6 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s6.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady7 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady7.final.sw);
+
+    // IC head inline (initial_conditions → 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 s8 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s8.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s8.chan !== null ? "1" : "0");
+
+    // IC head inline (initial_conditions → 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 s9 = 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("ICH-IC2-K2-C4 SW", "9000", s9.sw);
+
+    // 步骤 1：MTD_STORE_DATA（procedure_expansion）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s8.chan !== null ? (s8.chan <= 3 ? 128 + s8.chan : 188 + s8.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2000", "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s1.sw);
+    // geca-proc ES10b Info 响应面（R_EUICC_INFO1，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+    var gw1 = BindGecaProc.parseGecaResponse(s1.resp, {outer: "BF20", required: ["82", "A9", "AA"], optional: []});
+    bind.checkData("S1-C2 R_EUICC_INFO1 outer tag", "BF20", gw1.outer_tag === null ? "absent" : gw1.outer_tag);
+    bind.checkData("S1-C2 R_EUICC_INFO1 required members present", "1", gw1.ok ? "1" : "0");
+    var pkV1 = BindEs10xSingleRequest.parseBerTlv(gw1.fields["A9"] || "");
+    var pkS1 = BindEs10xSingleRequest.parseBerTlv(gw1.fields["AA"] || "");
+    var samePk1 = false;
+    for (var pvi1 = 0; pvi1 < pkV1.length; pvi1++) {
+        for (var psi1 = 0; psi1 < pkS1.length; psi1++) {
+            if (pkV1[pvi1].value !== "" && pkV1[pvi1].value === pkS1[psi1].value) { samePk1 = true; }
+        }
+    }
+    bind.checkData("S1-C3 CI PK lists share at least one key id", "1", samePk1 ? "1" : "0");
+
+    // 步骤 2：MTD_STORE_DATA（procedure_expansion）
…（差异行超限，共 251 行，此处截断）