# 4.2.13.2.8 TC_eUICC_ES10b.GetEUICCInfo_SVN — `-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.8-TC_eUICC_ES10b.GetEUICCInfo_SVN-man.zip | `67f8d02c6acad506a6410a8eb1d167f490a40f979d25c83e093b7471b716e0be` | zip | TC_eUICC_ES10b_GetEUICCInfo_SVN_01_Nominal_SVNValue |
| `-cas` | 4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN-cas.zip | `223515e93ab1d94364bce67bf8760f69f98436234a20667ffda29f652bcdf23f` | zip | — |

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

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

| 侧 | 终态/计划 | 备注 | ErrorCount | job_id | 业务状态 | TTR | 诊断包 |
|---|---|---|---|---|---|---|---|
| `-man` | `ok` | `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行） | 0 | `20261007_122405:ce4b8c05a3be4512b6fbc3fa9053ddf3` | — | `/Users/yuhu/cas/原料/切片/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN/logs/20260907_121849_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo_SVN_01_Nominal_SVNValue.ttr` | `—` |
| `-cas` | `green` | 纯 native 零卡态前置（N0） | 0 | `4f6e32ac09844952b61e25105050b1a6` | — | `/Users/yuhu/cas/experiments/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN-20260929_034348/logs/4f6e32ac_gapfix1/result/TC_eUICC_ES10b_GetEUICCInfo_SVN/TC_eUICC_ES10b_GetEUICCInfo_SVN_01_02_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`green`；stage=`cas_gapfix_rerun`；job=`4f6e32ac09844952b61e25105050b1a6`；gaps=["gapfix-rerun：当前 canonical 包字节面真卡绿"]
- cas 失败归因引用（块4）：`b1-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.13.2.8/man/TC_eUICC_ES10b_GetEUICCInfo_SVN_01_Nominal_SVNValue.html`；sha256 `d3834dd38ed9262782d50a0eda54d324bb07cdd564f23050220783305b8d4a4f`；78423 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.13.2.8/cas/TC_eUICC_ES10b_GetEUICCInfo_SVN_01_02_merged.html`；sha256 `2e0952eedcc1a2dae6eed584a887a4505a0ab3f30e38e81369656b0e2ed7d82b`；27002 bytes）
- 纪律：原生缺失 → `HTML_UNAVAILABLE` 显式阻断（附探针结论）；派生件仅标 `DERIVED_NOT_NATIVE`，不冒充原生。

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

- 闭包规模：man 34 文件 / cas 82 文件；同名 31（字节同 29，内容异 2）
- 同名内容异：`CardAbilityConfig/eUICC_SGP_23_Options_EDITABLE.xml`, `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 80 / cas 145；字符：man 3141 / cas 11911
- man 顶层调用 Top：[["TestStepStart2", 11], ["checkCardResDataFormat", 4], ["CheckData", 4], ["LPAd_Transport_data_to_eUICC", 3], ["TC_eUICC_ES10b_GetEUICCInfo_SVN_02_Nominal_ES10b_SVN", 2], ["TraceStart", 2], ["Ini_powerOn_eUICC_LPAe_not_activate", 2], ["TS_MANAGE_CHANNEL_OPEN", 2], ["TS_SELECT", 2], ["EUICCInfo1", 2]]
- cas bind 调用：[["checkData", 36], ["sendApdu", 8], ["manageChannelOpen", 2], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1]]

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

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

```diff
--- 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 行，此处截断）
```

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

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

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

- 命令计数：man 39 / cas 22；精确对齐 8，核心（CLA·INS·P1·P2·Lc）同 3，man-only 28，cas-only 11

| # | `-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 | `81E2910003BF2000` | `81E2910003BF200000` | core_same |
| 11 | `0070000001` | `0070000001` | exact |
| — | man-only: `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `0070000000`, `01C00000A9`, `@RESET`, `00A40004023F00`, `00C0000020`, `80AA000007A9058100830137`, `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `801200000F`, `801400000C810301250082028281830100`, `0070000000`, `01A4040010A0000005591010FFFFFFFF8900000100` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81C00000A9`, `02A4040010A0000005591010FFFFFFFF890000010000`, `02C0000021`, `82E2910003BF200000`, `82C00000A9`, `82E2910003BF220000`, `82C0000000`, `82C0000012`, `82E2910003BF2E0000`, `82C0000015` | | |

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

- spec：/Users/yuhu/cas/原料/切片/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN/spec_intl/SGP.23-v1.16_4.2.13_GetEUICCInfo_SVN.md（风格：table）；caseir：`/Users/yuhu/cas/产物/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA(#GET_EUICC_INFO1) | 1 | ["RQ43_004"] | ["S0-C1", "S0-C2", "S0-C3", "S0-C4", "S0-C5", "S3-C1", "S3-C2", "S3-C3", "S3-C4", "S3-C5"] | ["RQ43_004"] | `LPAd_Transport_data_to_eUICC(GetEuiccInfo1RequestHexStr)`（L | 通过（GET RESPONSE 9000，`BF20 81A5 8203020500 …`——svn=020500＝期望（适配后单值声明）＝实际；020500∈SGP.22 v2.5.0 版本集，ttr APDU40-APDU47） |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=True）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 23 项 / 生成体 checkData 36 次 / S 标号重合 23 / 计数缺口 0 / 形态 `FULL`；执行面 `PASS`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 31 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：mapping 行 4 / 规范步 1；TTR 期望/实际回声 58；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - Test Sequence 归属（R5 重排后口径）：步1 属 Test Sequence #01 的唯一测试步（E_tc_4213 lines 130-134，表137；初始条件 IC1+IC2）；步2-6 属 Test Sequence #02 步1-5（E_tc_4213 lines 143-147，表138；初始条件 IC1 单独）。两序列独立执行，每序列后须执行 clean-up procedure（CU）恢复 Common Initial State（D_tc_structure_notation line 50）；CU 与 Annex G 初始状态定义不在包内，属测试工具责任。
  - E 表138 步6 prose 输入准备行逐字保全（R5 非步骤化裁定，EXP1 IC5 先例；原文如下）：The following inputs are required for Step 7 as described in the InitiateAuthentication function:<br><S_TRANSACTION_ID><br><EUICC_CHALLENGE><br><S_SMDP_CHALLENGE><br><S_SMDP_SIGNATURE1><br>Set the <EUICC_CI_PK_ID_TO_BE_USED> to the CI Key ID in highest priority from the <EUICC_CI_PK_ID_LIST_FOR_SIGNING><br>Choose the #CERT_S_SM_DPauth_ECDSA leading to the same Root CI certificate
  - S7 MTD_STORE_DATA_SCRIPT(#AUTHENTICATE_SMDP) declared-unexpanded（E 表138 步7，4225-U5/EXP1 先例）：initial_conditions 声明面登记（ic=S7 + expansion_source 溯源 E :149）；本单元变体包无 crypto 物料（input/crypto/ 缺席）——declared 形态即终态，勿引入 dynamic-binding；其 svn 相等断言操作数（S7 响应 euiccSigned1.euiccInfo2.svn）缺席诚实面登记；原 cross_step_refs 指向步6/步7 的供给关系（<CHANNEL_NUMBER>、<ANY_SVN>、<EUICC_CHALLENGE>、<EUICC_CI_PK_ID_LIST_FOR_SIGNING>）随声明面转移收口于此。
  - #RSP_SVN_H（=#IUT_RSP_VERSION 的 VersionType 编码）具体值不在包内（F1_iut_euicc_settings 段未枚举 IUT_RSP_VERSION 行），S0-C3 断言以 IUT 声明值为准，执行期注入。
  - S7 的 #AUTHENTICATE_SMDP 请求体含执行期动态内容（<S_TRANSACTION_ID>、<EUICC_CHALLENGE>、<S_SMDP_CHALLENGE>、<S_SMDP_SIGNATURE1>、<EUICC_CI_PK_ID_TO_BE_USED>、#CERT_S_SM_DPauth_ECDSA），外层 tag 'BF38' 已定位（S22_tag_table），DER 由测试工具执行期生成。
  - MTD_STORE_DATA_SCRIPT 的 P1=1x/9x 与 P2=<STORE_DATA_BLOCK_NUM> 分块规则全文在 template_source 指向的方法体内（H_annexC1_methods :207-211；SGP.22 §5.7.2 P1 位语义一致：b8=more/last block、b1=Case 4）。

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `SCRIPT_DIALECT` | 93 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 28 / cas-only 11 |

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN/logs/20260907_121849_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo_SVN_01_Nominal_SVNValue.ttr`
- cas 包/源：`../../packages/cas/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN-20260929_034348/logs/4f6e32ac_gapfix1/result/TC_eUICC_ES10b_GetEUICCInfo_SVN/TC_eUICC_ES10b_GetEUICCInfo_SVN_01_02_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN/spec_intl/SGP.23-v1.16_4.2.13_GetEUICCInfo_SVN.md`
- caseir：`/Users/yuhu/cas/产物/4.2.13.2.8-TC_eUICC_ES10b.GetEUICCInfo_SVN/caseir_materialized_gate.json`
- step_map：`—`