# 4.2.13.2.10 TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions — `-man` ↔ `-cas` diff 报告
> **交付形态说明**：本报告随专家交付包分发——`-man`/`-cas` 脚本包 zip 与 190server HTML 执行日志已内联至 `packages/`、`evidence-html/`，相应路径已相对化；TTR、spec_intl、caseir 等仓内留痕仍为生成机原始路径（未随包）。

- 生成时间：2026-10-08 22:57:10 ｜引擎：holiday-blk5/0.1｜配对状态：`PAIRED`
- 分母口径：卡侧 61 之一

## 1. 配对与包

| 侧 | 包/源 | sha256 | 源类型 | 入口用例 |
|---|---|---|---|---|
| `-man` | 4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-man.zip | `d61d8160a156c9b2146a87d0ae9232a01478de9cac2b95b1d9a6196217a2e187` | zip | TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions |
| `-cas` | 4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-cas.zip | `f4b615c3244e4137c9b061674bb80c2196707338b16c962c56feeb76f1b12756` | zip | — |

- man 源路径：`../../packages/man/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-man.zip`
- cas 源路径：`../../packages/cas/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-cas.zip`
- 上游来源：{"man_ledger": true, "cas_ledger": true, "naming_map": true, "html_probe": true, "man_package": true, "cas_package": true}
- 适用性：naming-map=`N/A/M` ["N/A", "M", "M"]；caseir=`M`

## 2. 执行摘要（双方 job/终态）

| 侧 | 终态/计划 | 备注 | ErrorCount | job_id | 业务状态 | TTR | 诊断包 |
|---|---|---|---|---|---|---|---|
| `-man` | `ok` | `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行） | 0 | `20261007_115651:af8c612bbccc4fcd9f64d90667a28c57` | — | `/Users/yuhu/cas/原料/切片/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions/logs/20260907_123821_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions.ttr` | `—` |
| `-cas` | `failed` | 纯 native 零卡态前置（N0） | 3 | `ab27ab83d6d245d5ad7ec7dfb4f6ec5c` | — | `/Users/yuhu/cas/experiments/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-20260929_034348/logs/ab27ab83d6d245d5ad7ec7dfb4f6ec5c/result/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`verify`；job=`ab27ab83d6d245d5ad7ec7dfb4f6ec5c`；gaps=["trace verdict=PASS", "结果通道 verdict='FAIL'"]
- cas 失败归因引用（块4）：`b1-attribution.md`, `b10-b11-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.13.2.10/man/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions.html`；sha256 `c87a2b86e22183278b521a98c43504b667b43f80e3e2176d4b42c8469a469ce3`；80171 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.13.2.10/cas/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_merged.html`；sha256 `3c5926e503bed069222e51c16e43a5825ed8d590e3c90e3e76cc5ff59cc73989`；18962 bytes）
- 纪律：原生缺失 → `HTML_UNAVAILABLE` 显式阻断（附探针结论）；派生件仅标 `DERIVED_NOT_NATIVE`，不冒充原生。

## 4. L1 脚本/依赖/命名差异（源文件闭包级）

- 闭包规模：man 34 文件 / cas 82 文件；同名 31（字节同 30，内容异 1）
- 同名内容异：`Import/TestCase_SGP_23.js`
- man-only 文件 3：`ESIM_TEST_SGP_23.UCE`, `ESIM_TEST_SGP_23.sol`, `MANIFEST.json`
- cas-only 文件 51：`Import/CapInfo.js`, `Import/ExecuteTestCase.js`, `Import/ExecuteTestCase_CSC.js`, `Import/ExecuteTestCase_LoadProfile_via_bip.js`, `Import/ExecuteTestCase_Local_Management.js`, `Import/ExecuteTestCase_Non_Telecom_Profile.js`, `Import/ExecuteTestCase_Performance.js`, `Import/ExecuteTestCase_PressureTest.js`, `Import/ExecuteTestCase_ProfileFormatTest_V_2_3_1.js`, `Import/ExecuteTestCase_ProfileServicesListTest.js` …
- 注：man 包＝切片最小闭包（`script/` 投影）；cas 包＝slice_native 全工程投影（厂商参照闭包＋生成体）。闭包规模差为打包形态差异；同名文件字节差集中于 `Import/TestCase_SGP_23.js`（TC 入口本体）。

### 4.1 入口代码对照

- 行数：man 34 / cas 105；字符：man 1231 / cas 8667
- man 顶层调用 Top：[["TestStepStart2", 4], ["TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions", 2], ["TraceStart", 1], ["Ini_powerOn_eUICC_LPAe_not_activate", 1], ["TS_MANAGE_CHANNEL_OPEN", 1], ["TS_SELECT", 1], ["EUICCInfo2", 1], ["LPAd_Transport_data_to_eUICC", 1], ["checkCardResDataFormat", 1], ["CheckData", 1]]
- cas bind 调用：[["checkData", 15], ["sendApdu", 4], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 2 |

<details><summary>unified diff（截断预览）</summary>

```diff
--- man
+++ cas
@@ -1,33 +1,104 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260929-120402
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions，Test Sequence #01 Nominal – additionalEuiccProfilePackageVersions field，适用性 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 ANY_ADD_PP_VERSIONS conditional on #IUT_EUICC_ADD_PP_VERSIONS oracle
+//   S1-C4 ANY_ADD_PP_VERSIONS conditional on #IUT_EUICC_ADD_PP_VERSIONS oracle
+//   S1-C5 ANY_ADD_PP_VERSIONS encodes Annex K listed value
+//   S1-C6 RQ43_002 EUICCInfo2 received from eUICC
+// 本函数由 CaseIR 4.2.13.2.10 编译生成（R2，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_additionalEuiccProfilePackageVersions_01_merged() {
+    var bind = curBind;
 
-function TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions()
-{
-	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_PP_VERSION) != "undefined")
-			curStrHandle.CheckData(IUT_PP_VERSION, euiccInfo2.ppVersion, "ppVersion");
-	}catch(e){
-		obj.SubLevel("EUICCInfo2数据内容检查不通过", level_of_SubLevel.error);
-	}
-	RecoverCard();
-
+    // 步骤 1：MTD_STORE_DATA（tc_step；REQ: RQ43_002）
+    // <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", "8F"]});
+    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: ANY_ADD_PP_VERSIONS conditional on #IUT_EUICC_ADD_PP_VERSIONS——语料真空诚实面（iut_euicc_add_pp_versions_constant 不在输入包，fail-closed 登记，禁凭记忆补造断言字节）。
+    bind.checkData("S1-C3 ANY_ADD_PP_VERSIONS conditional on #IUT_EUICC_ADD_PP_VERSIONS oracle", "iut_euicc_add_pp_versions_constant", "oracle_absent_corpus_vacuum");
+    // S1-C4: ANY_ADD_PP_VERSIONS conditional on #IUT_EUICC_ADD_PP_VERSIONS——语料真空诚实面（iut_euicc_add_pp_versions_constant 不在输入包，fail-closed 登记，禁凭记忆补造断言字节）。
+    bind.checkData("S1-C4 ANY_ADD_PP_VERSIONS conditional on #IUT_EUICC_ADD_PP_VERSIONS oracle", "iut_euicc_add_pp_versions_constant", "oracle_absent_corpus_vacuum");
+    // S1-C5: 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) {
…（差异行超限，共 132 行，此处截断）
```

</details>
### 4.2 UCE/命名对照

- man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions', 'TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
- cas：`TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions.uce`；入口 [('TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_merged', 'TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

## 5. L2 步骤/APDU/step_map 差异（结构化对齐）

- 命令计数：man 40 / cas 13；精确对齐 7，核心（CLA·INS·P1·P2·Lc）同 3，man-only 30，cas-only 3

| # | `-man` | `-cas` | 对齐 |
|---|---|---|---|
| 1 | `@RESET` | `@RESET` | exact |
| 2 | `00A40004023F00` | `00A40004023F0000` | core_same |
| 3 | `00C0000020` | `00C0000020` | exact |
| 4 | `80AA000007A9058100830137` | `80AA000007A9058100830107` | core_same |
| 5 | `801200000F` | `801200000F` | exact |
| 6 | `801400000C810301250082028281830100` | `801400000C810301250082028281830100` | exact |
| 7 | `0070000001` | `0070000001` | exact |
| 8 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF8900000100` | exact |
| 9 | `01C0000021` | `01C0000021` | exact |
| 10 | `81E2910003BF2200` | `81E2910003BF220000` | core_same |
| — | man-only: `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `0070000000`, `01C0000000`, `01C0000012`, `@RESET`, `00A40004023F00`, `00C0000020`, `80AA000007A9058100830137`, `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `801200000F`, `801400000C810301250082028281830100`, `0070000000` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81C0000000`, `81C0000012` | | |

## 6. L3 规范字段/Expected/REQ/通过条件差异

- spec：/Users/yuhu/cas/原料/切片/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions/spec_intl/SGP.23-v1.16_4.2.13_GetEUICCInfo_additionalEuiccProfilePackageVersions.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-20260929_034348/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA (#GET_EUICC_INFO2) | 1 | ["RQ43_002"] | ["S1-C1", "S1-C2", "S1-C3", "S1-C4", "S1-C5", "S1-C6"] | ["RQ43_002"] | `LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr)`（L | 通过（GET RESPONSE SW=9000，`BF22 82010D 81 03 020301 82 03 020500 … 8B 01 02 04 03 020100 …`；**ppVersion 期望 020100 = 实际 020100**（ttr APDU46-48 期望/实际行在案）；ttr APDU40-APDU48） |

### 6.1 充分性分析（启发式，不作最终裁定）

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 6 项 / 生成体 checkData 15 次 / S 标号重合 6 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 14 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：mapping 行 4 / 规范步 1；TTR 期望/实际回声 58；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - #IUT_EUICC_ADD_PP_VERSIONS 为 IUT 声明依赖：Annex F.1 已定义其编码口径（VersionType 值部分级联、不含 tag/length）与适用条件（eUICC 支持 SGP.22 v2.3+），具体值由 EUM 随 IUT 交付，S1-C3/S1-C4 空/非空分支维持动态声明
  - 测试序列执行后须执行 clean-up procedure (CU) 恢复 Common Initial State（Annex G），属卡态编排/测试工具责任，非 CaseIR 范围
  - 61XX 链式续取的实际触发取决于 IUT 返回的 EUICCInfo2 实际长度，属执行期动态行为
  - R5 形态对齐：6 条 K 过程物化步折叠回 IC1/IC2 声明（geca_variant 门禁合同 = 变体表 IC 纯 PROC 折叠、步序仅编号 tc_step——折叠非降级，PRECONDITION 面由编译器发射，EXP1/EXP2 先例）；check 重编号 S7-C*→S1-C*，coverage/cross_step_refs 同步重映射（通道绑定面 = cla_rule + step1 unresolved 登记，.9 同形）

## 7. 分类结论（封闭枚举）

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 87 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 30 / cas-only 3 |

- 置信度：heuristic；需人工复核：False

## 8. 证据路径

- man 包：`../../packages/man/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions/logs/20260907_123821_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_Nominal_additionalEuiccProfilePackageVersions.ttr`
- cas 包/源：`../../packages/cas/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-20260929_034348/logs/ab27ab83d6d245d5ad7ec7dfb4f6ec5c/result/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions/TC_eUICC_ES10b_GetEUICCInfo_additionalEuiccProfilePackageVersions_01_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions/spec_intl/SGP.23-v1.16_4.2.13_GetEUICCInfo_additionalEuiccProfilePackageVersions.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.13.2.10-TC_eUICC_ES10b.GetEUICCInfo_additionalEuiccProfilePackageVersions-20260929_034348/caseir_materialized_gate.json`
- step_map：`—`