--- man
+++ cas
@@ -1,34 +1,101 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_GetEUICCInfo_profileVersion_01_Nominal_profileVersionValue (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260929-120333
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetEUICCInfo_profileVersion，Test Sequence #01 Nominal – profileVersion，适用性 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_INFO2 outer tag
+//   S1-C2 R_EUICC_INFO2 required members present
+//   S1-C3 profileVersion equal to #IUT_SIMA_VERSION oracle
+//   S1-C4 profileVersion encodes Annex K listed value；S1-C5 RQ43_003 profileVersion present
+// 本函数由 CaseIR 4.2.13.2.9 编译生成（None，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_profileVersion_01_Nominal_profileVersion() {
+    var bind = curBind;
 
-function TC_eUICC_ES10b_GetEUICCInfo_profileVersion_01_Nominal_profileVersionValue()
-{
-	tracenamestr = "测试目的：验证eUICC返回的profileVersion值";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s2 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s2.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 s3 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s3.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s3.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 s4 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s4.sw);
 
-	curLogicChannel = 1;
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady5 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady5.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 s6 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s6.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s6.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo2Request，获取EUICCInfo2；");
-	var euiccInfo2 = new EUICCInfo2();
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
+    // 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 s7 = 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", s7.sw);
 
-	euiccInfo2.checkCardResDataFormat(hexData);
-	try
-	{
-		if(typeof(IUT_SIMA_VERSION) != "undefined")
-			curStrHandle.CheckData(IUT_SIMA_VERSION, euiccInfo2.profileVersion,"profileVersion");
-	}catch(e){
-		obj.SubLevel("EUICCInfo2数据内容检查不通过", level_of_SubLevel.error);
-	}
-
-	RecoverCard();
-
+    // 步骤 1：MTD_STORE_DATA（tc_step；REQ: RQ43_003）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s6.chan !== null ? (s6.chan <= 3 ? 128 + s6.chan : 188 + s6.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2200", "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s1.sw);
+    // geca-proc ES10b Info 响应面（R_EUICC_INFO2，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+    var gw1 = BindGecaProc.parseGecaResponse(s1.resp, {outer: "BF22", required: ["81", "82", "83", "84", "85", "88", "A9", "AA", "04", "0C"], optional: ["86", "87"]});
+    bind.checkData("S1-C2 R_EUICC_INFO2 outer tag", "BF22", gw1.outer_tag === null ? "absent" : gw1.outer_tag);
+    bind.checkData("S1-C2 R_EUICC_INFO2 required members present", "1", gw1.ok ? "1" : "0");
+    // S1-C3: profileVersion equal to #IUT_SIMA_VERSION——语料真空诚实面（iut_sima_version_constant 不在输入包，fail-closed 登记，禁凭记忆补造断言字节）。
+    bind.checkData("S1-C3 profileVersion equal to #IUT_SIMA_VERSION oracle", "iut_sima_version_constant", "oracle_absent_corpus_vacuum");
+    // S1-C4: Annex K v1.16 hash-bound 映射；SGP.22 SVN 缺席/未登记时 fail-closed。
+    var annexKMap1 = {"2.2.x":{"base_versions":["2.1","2.2","2.3.1"],"additional_applicable":false,"additional_min_version":null},"2.3":{"base_versions":["2.1","2.2","2.3.1"],"additional_applicable":true,"additional_min_version":"3.1"},"2.4":{"base_versions":["2.1","2.2","2.3.1"],"additional_applicable":true,"additional_min_version":"3.1"},"2.5":{"base_versions":["2.1","2.2","2.3.1"],"additional_applicable":true,"additional_min_version":"3.1"},"2.6":{"base_versions":["2.1","2.2","2.3.1"],"additional_applicable":true,"additional_min_version":"3.1"},"2.6.1":{"base_versions":["2.1","2.2","2.3.1"],"additional_applicable":true,"additional_min_version":"3.1"}};
+    function annexKEntryForVersion1(version, mapping) {
+        if (Object.prototype.hasOwnProperty.call(mapping, version)) { return mapping[version]; }
+        for (var keyName in mapping) {
+            if (!Object.prototype.hasOwnProperty.call(mapping, keyName)) { continue; }
+            if (keyName.slice(-2) !== ".x") { continue; }
+            var prefix = keyName.slice(0, -1);
+            if (version === prefix.slice(0, -1) || (version.indexOf(prefix) === 0 && /^\d+$/.test(version.substring(prefix.length)))) { return mapping[keyName]; }
+        }
+        return null;
+    }
+    function annexKVersion1(raw) {
+        var v = raw || "";
+        if (v.length !== 6 && v.substring(0, 2) === "04") {
+            var tlv = BindEs10xSingleRequest.parseBerTlv(v);
+            if (tlv.length !== 1 || tlv[0].tag !== "04" || tlv[0].len !== 3 || v.length !== 10) { return ""; }
+            v = tlv[0].value;
+        }
+        if (!/^[0-9A-Fa-f]{6}$/.test(v)) { return ""; }
+        var major = parseInt(v.substring(0, 2), 16); var minor = parseInt(v.substring(2, 4), 16); var rev = parseInt(v.substring(4, 6), 16);
+        return major + "." + minor + (rev === 0 ? "" : "." + rev);
+    }
+    function annexKAdditionalVersion1(raw) {
+        var values = BindEs10xSingleRequest.parseBerTlv(raw || "");
+        var encoded = String(raw || "").toUpperCase();
+        if (values.length !== 1 || values[0].tag !== "04" || values[0].len !== 3 || BindEs10xSingleRequest.buildTlv(values[0].tag, values[0].value) !== encoded) { return ""; }
+        return annexKVersion1(values[0].value);
+    }
+    function annexKAtLeast1(value, minimum) {
+        var v = String(value || "").split("."); var m = String(minimum || "").split(".");
+        if (v.length < 2 || m.length < 2) { return false; }
+        for (var i = 0; i < 3; i++) { var vi = parseInt(v[i] || "0", 10); var mi = parseInt(m[i] || "0", 10); if (isNaN(vi) || isNaN(mi)) { return false; } if (vi !== mi) { return vi > mi; } }
…（差异行超限，共 130 行，此处截断）