--- man
+++ cas
@@ -1,79 +1,144 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_GetEUICCInfo_SVN_01_Nominal_SVNValue + TC_eUICC_ES10b_GetEUICCInfo_SVN_02_Nominal_ES10b_SVN (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260929-120334
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetEUICCInfo_SVN，Test Sequence #01 Nominal – SVN as per declared IUT setting; #02 Nominal – SVN value consistent across ES10b calls，适用性 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；S0-C1 SW；S0-C2 R_EUICC_INFO1 outer tag
+//   S0-C2 R_EUICC_INFO1 required members present；S0-C3 svn equal to #RSP_SVN_H
+//   S0-C4 svn one of SGP.23 §1.2 versions；S0-C5 RQ43_004 svn present；S1-C1 SW
+//   S1-C2 CHANNEL_NUMBER extracted；S2-C1 SW；S2-C2 outer tag 6F；S2-C3 tag 84 value
+//   S2-C4 svn extracted from SELECT response；S3-C1 SW；S3-C2 R_EUICC_INFO1 outer tag
+//   S3-C2 R_EUICC_INFO1 required members present；S3-C3 svn consistency with step 3
+//   S3-C4 RQ43_004 svn present；S3-C5 svn VersionType value is 3 bytes (major/minor/revision)
+//   S4-C1 SW；S4-C2 R_EUICC_INFO2 outer tag；S4-C2 R_EUICC_INFO2 required members present
+//   S4-C3 svn consistency with step 3；S4-C4 RQ43_004 svn present；S5-C1 SW
+//   S5-C2 R_CHALLENGE outer tag；S5-C2 euiccChallenge tag；S5-C2 euiccChallenge length
+//   S5-C3 EUICC_CHALLENGE extracted
+// 本函数由 CaseIR 4.2.13.2.8 编译生成（q3-w0-expand-20260929，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_GetEUICCInfo_SVN_01_02_merged() {
+    var bind = curBind;
+    // S7 MTD_STORE_DATA_SCRIPT(#AUTHENTICATE_SMDP): declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_ES10b_GetEUICCInfo_SVN_01_Nominal_SVNValue()
-{
-	tracenamestr = "测试目的：验证eUICC返回的SVN字段";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s7 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s7.atr_hex !== "" ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 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 s8 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s8.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s8.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s9 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s9.sw);
 
-	curLogicChannel = 1;
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady10 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady10.final.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // 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 s11 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s11.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s11.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request，获取EUICCInfo1；");
-	var euiccInfo1 = new EUICCInfo1();
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo1RequestHexStr);
+    // 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 s12 = 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", s12.sw);
 
-	euiccInfo1.checkCardResDataFormat(hexData);
+    // 步骤 1：MTD_STORE_DATA（tc_step；REQ: RQ43_004）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s11.chan !== null ? (s11.chan <= 3 ? 128 + s11.chan : 188 + s11.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2000", "00", "9000");
+    bind.checkData("S0-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("S0-C2 R_EUICC_INFO1 outer tag", "BF20", gw1.outer_tag === null ? "absent" : gw1.outer_tag);
+    bind.checkData("S0-C2 R_EUICC_INFO1 required members present", "1", gw1.ok ? "1" : "0");
+    // S0-C3: #RSP_SVN_H 实断言——期望 = 声明 #IUT_RSP_VERSION（2.5）按 VersionType 三字节机械编码（020500）；值来自声明面，绝不取响应实测或记忆字节。
+    var svnRaw1 = gw1.fields["82"] || "";
+    if (svnRaw1.length === 10 && svnRaw1.substring(0, 2) === "04") { svnRaw1 = svnRaw1.substring(4); }
+    bind.checkData("S0-C3 svn equal to #RSP_SVN_H", "020500", svnRaw1 === "" ? "svn_absent" : svnRaw1.toUpperCase());
+    // S0-C4: svn 的 major/minor 属 SGP.23 v1.16 §1.2 冻结版本集（规范派生机械常量，非声明值；ES3/JScript 安全手写成员循环）。
+    var svnMM1 = gw1.fields["82"] || "";
+    if (svnMM1.length === 10 && svnMM1.substring(0, 2) === "04") { svnMM1 = svnMM1.substring(4); }
+    svnMM1 = svnMM1.length === 6 ? svnMM1.substring(0, 4) : "";
+    var svnMMSet1 = ["0202", "0203", "0204", "0205", "0206"];
+    var svnMMOk1 = false;
+    for (var svnMMi1 = 0; !svnMMOk1 && svnMMi1 < svnMMSet1.length; svnMMi1++) { if (svnMMSet1[svnMMi1] === svnMM1.toUpperCase()) { svnMMOk1 = true; } }
+    bind.checkData("S0-C4 svn one of SGP.23 §1.2 versions", "1", svnMMOk1 ? "1" : "0");
+    bind.checkData("S0-C5 RQ43_004 svn present", "1", gw1.fields["82"] !== undefined ? "1" : "0");
 
-	try
-	{
-		curStrHandle.CheckData(O_RSP_VERSION, euiccInfo1.svn, "svn");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
+    // 步骤 2：MANAGE_CHANNEL_OPEN（tc_step）
+    // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s2 = bind.manageChannelOpen("9000");
+    bind.checkData("S1-C1 SW", "9000", s2.sw);
+    bind.checkData("S1-C2 CHANNEL_NUMBER extracted", "1", s2.chan !== null ? "1" : "0");
 
-	RecoverCard();
+    // 步骤 3：MTD_SELECT（tc_step；REQ: RQ57_003）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s3 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", "00", "9000");
+    var fci3 = CasBind.parseSelectResponse(s3.resp, { outer: "6F", required: ["84"] });
+    bind.checkData("S2-C1 SW", "9000", s3.sw);
+    bind.checkData("S2-C2 outer tag 6F", "present", fci3.tags["6F"] ? "present" : "absent");
+    bind.checkData("S2-C3 tag 84 value", "A0000005591010FFFFFFFF8900000100", (fci3.inner_tags && fci3.inner_tags["84"]) ? fci3.inner_tags["84"].value : "absent");
+    // S2-C4: kind 'field_compare' pattern has no static generation face (corpus vacuum; see CaseIR unresolved).
+    // S2-C4: svn 提取（6F FCI 一级成员 E0 ISDRProprietaryApplicationTemplate → 82 svn，SGP.22 §5.7.1 锚；E0 一级挂载 = 421 S6-C3 R4 结构重裁定）：
+    var svn3 = "";
…（差异行超限，共 215 行，此处截断）