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

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

## 1. 配对与包

| 侧 | 包/源 | sha256 | 源类型 | 入口用例 |
|---|---|---|---|---|
| `-man` | 4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection-man.zip | `8116e86f9ee377041e54a8870ed3bbeb6a63871d92b83e5ab53c2bee9eb593b4` | zip | TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R |
| `-cas` | 4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection-cas.zip | `30130d40f6a912f65fdda9ab5e2da14bd4b8ff14de7ffbdf4a7f1510fbe89321` | zip | — |

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

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

| 侧 | 终态/计划 | 备注 | ErrorCount | job_id | 业务状态 | TTR | 诊断包 |
|---|---|---|---|---|---|---|---|
| `-man` | `ok` | `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行） | 0 | `20261007_115106:cb17cad9b6394ecfae36d676a3888f62` | — | `/Users/yuhu/cas/原料/切片/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/logs/20260822_134957_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R.ttr` | `—` |
| `-cas` | `green` | 产物 placed（job 6e1cdcc6…）＋20261005_231340_ok native 首波；本轮不重跑 | 0 | `32d8ca9c858d4ba4b9c8723bbe2761c5` | — | `/Users/yuhu/cas/experiments/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection-u3-step4-20260829/logs/32d8ca9c_gapfix1/result/TC_eUICC_ATR_And_ISDR_Selection/TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R.ttr` | `—` |
- cas 块4账本：decision=`REUSE_GREEN`；route=`native_N0`；live 事件 1 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`green`；stage=`cas_gapfix_rerun`；job=`32d8ca9c858d4ba4b9c8723bbe2761c5`；gaps=["gapfix-rerun：当前 canonical 包字节面真卡绿"]
- cas 证据来源分层：`REUSE_GREEN` → 历史复用（prior evidence，本轮未重跑）

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.1.2.1/man/TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R.html`；sha256 `e60d35604f1496c315c261f28ac171c7818ab54133e86b3c5de2b6c4bfafd6ce`；21390 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.1.2.1/cas/TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R.html`；sha256 `006aecf4f09b6a52f3da85681c4442bb513c80fcb7eab6a7ef1e246a404f4352`；18091 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 44 / cas 72；字符：man 1323 / cas 5538
- man 顶层调用 Top：[["TestStepStart2", 5], ["SubLevel", 3], ["CheckData", 2], ["TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R", 1], ["check_Applicability_of_tests_RSP_SGP23_test", 1], ["TraceStart", 1], ["ResetCard", 1], ["ATR_Obj", 1], ["SelectFileMFPara_3G", 1], ["SendAPDU", 1]]
- cas bind 调用：[["checkData", 24], ["sendApdu", 3], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

| 方言映射对 | 命中数 |
|---|---|
| ResetCard() ↔ bind.resetAndAtr() | 1 |
| SendAPDU() ↔ bind.sendApdu() | 1 |
| TS_*_cmd() ↔ bind.* 命令封装 | 3 |

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

```diff
--- man
+++ cas
@@ -1,43 +1,71 @@
-// slice of Import\TestCase_SGP_23.js — single case: TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R
+// Author: 卡思Cas智能体
+// Date: 20260902-172111
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ATR_And_ISDR_Selection，Test Sequence #01 Nominal: ATR and Select ISD-R，适用性 C006。
+// Test points: S1-C1 ATR_present；S1-C1 T15_present；S1-C1 first_tB_after_T15
+//   S1-C2 first_tB_after_T15；S1-C2 tB_b2；S2-C1 FCP_Template；S2-C2 SW；S3-C1 SW；S3-C2 request data
+//   S3-C3 eUICC_TLV_tag 83；S4-C1 final SW；S5-C1 FETCH Le；S6-C1 TERMINAL RESPONSE
+//   S4-C3 ongoing_proactive_commands；S7-C1 SW；S7-C2 CHANNEL_NUMBER extracted
+//   S7-C3 CHANNEL_NUMBER extracted；S8-C1 outer tag 6F；S8-C2 tag 84 value；S8-C3 A5 present
+//   S8-C4 ISDR E0 present；S8-C4 ISDR svn member (82 03)；S8-C5 SW
+//   S8-C6 ISDR svn-only (lpaeSupport absent)
+// 本函数由 CaseIR 4.2.1.2.1 编译生成（SPECONLY-421-R1，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).
+// 适用性 C006：编译期门，运行时由 harness 环境前置承担。
+function TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R() {
+    var bind = curBind;
 
-function TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R()
-{
+    // 步骤 1：RESET（tc_step；REQ: RQ34_001）
+    var s1 = bind.resetAndAtr();
+    bind.checkData("S1-C1 ATR_present", "1", s1.atr_hex !== "" ? "1" : "0");
+    bind.checkData("S1-C1 T15_present", "present", s1.atr_parse.t15_round !== null ? "present" : "absent");
+    bind.checkData("S1-C1 first_tB_after_T15", "present", s1.atr_parse.first_tbi_after_t15 !== null ? "present" : "absent");
+    bind.checkData("S1-C2 first_tB_after_T15", "present", s1.atr_parse.first_tbi_after_t15 !== null ? "present" : "absent");
+    bind.checkData("S1-C2 tB_b2", "1", s1.atr_parse.euicc_b2.present ? String(s1.atr_parse.euicc_b2.b2) : "absent:" + s1.atr_parse.euicc_b2.reason);
 
+    // 步骤 2：SELECT_MF（tc_step）
+    // 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 s2 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("S2-C1 FCP_Template", "1", s2.resp.length > 0 ? "1" : "0");
+    bind.checkData("S2-C2 SW", "9000", s2.sw);
 
-	//测试入口条件
-	if(!check_Applicability_of_tests_RSP_SGP23_test("C006"))
-		return;
+    // 步骤 3：TERMINAL_CAPABILITY_LPAd（tc_step）
+    var s3 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("S3-C1 SW", "9000", s3.sw);
+    bind.checkData("S3-C2 request data", "A9058100830107", s3.cmd.substring(10));
+    bind.checkData("S3-C3 eUICC_TLV_tag 83", "present", s3.cmd.indexOf("83") >= 0 ? "present" : "absent");
 
-	tracenamestr = "正常测试：检查ATR 并选择ISD-R";
-	curDis.TraceStart(sno++,tracenamestr);
+    // 步骤 4：TERMINAL_PROFILE（tc_step）；折叠 procedure_expansion 步骤 5, 6（经 runToSteadyState）
+    var steady4 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000/91XX");
+    });
+    bind.checkData("S4-C1 final SW", "9000", steady4.final.sw);
+    for (var i4 = 0; i4 < steady4.iterations.length; i4++) {
+        bind.checkData("S5-C1 FETCH Le", steady4.iterations[i4].trigger_sw.substring(2, 4), steady4.iterations[i4].fetch_le);
+        bind.checkData("S6-C1 TERMINAL RESPONSE", "sent", steady4.iterations[i4].tr_sw ? "sent" : "absent");
+    }
+    bind.checkData("S4-C3 ongoing_proactive_commands", "0/1", String(steady4.max_in_flight));
+    // S4-C2: 'interim_SW' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
+    // S4-C2: 'fetch_issued' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule).
+    // S4-C2: binding:runToSteadyState_structural(chaining-rule) (check_attestation)
+    // S6-C2: binding:buildTrData_result_830100(golden-line) (check_attestation)
 
-	curDis.TestStepStart2(stno++,"复位；");
-	var curRST = ResetCard();
+    // 步骤 7：MANAGE_CHANNEL_OPEN（tc_step；REQ: RQ57_001）
+    // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s7 = bind.manageChannelOpen("9000");
+    bind.checkData("S7-C1 SW", "9000", s7.sw);
+    bind.checkData("S7-C2 CHANNEL_NUMBER extracted", "1", s7.chan !== null ? "1" : "0");
+    bind.checkData("S7-C3 CHANNEL_NUMBER extracted", "1", s7.chan !== null ? "1" : "0");
 
-	obj.SubLevel("curRST = " + curRST,1);
-	var atrObj = new ATR_Obj(curRST);
-	if (atrObj.supportEUICC)
-		obj.SubLevel("ATR指示卡片支持EUICC！",1);
-	else
-		obj.SubLevel("ATR指示卡片不支持EUICC！",0);
-
-	curDis.TestStepStart2(stno++,"选择MF；");
-	var para1 = new SelectFileMFPara_3G();
-	SendAPDU(para1.apdu);
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送Terminal Capability命令；");
-	TS_TERMINAL_CAPABILITY_cmd();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	var sres = TS_SELECT("Select ISD",ISD_R_AID,"9000");
-	var ResponseDataPar = new check_ISDRResponseData(sres);
-	curStrHandle.CheckData(ISD_R_AID,ResponseDataPar.ISD_R_AID,"ISD_R_AID");
-	curStrHandle.CheckData(RSP_SVN_H,ResponseDataPar.ISDRProprietaryApplicationTemplate.svn,"svn");
-
+    // 步骤 8：MTD_SELECT（tc_step；REQ: RQ57_003, RQ57_005, RQD0_001）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s8 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", "00", "9000");
+    var fci8 = CasBind.parseSelectResponse(s8.resp, { outer: "6F", required: ["84", "A5"] });
+    bind.checkData("S8-C1 outer tag 6F", "present", fci8.tags["6F"] ? "present" : "absent");
+    bind.checkData("S8-C2 tag 84 value", "A0000005591010FFFFFFFF8900000100", (fci8.inner_tags && fci8.inner_tags["84"]) ? fci8.inner_tags["84"].value : "absent");
+    bind.checkData("S8-C3 A5 present", "present", (fci8.inner_tags && fci8.inner_tags["A5"]) ? "present" : "absent");
+    var isdrE08 = (fci8.inner_tags && fci8.inner_tags["E0"]) ? fci8.inner_tags["E0"].value : "";
+    bind.checkData("S8-C4 ISDR E0 present", "present", isdrE08 !== "" ? "present" : "absent");
+    bind.checkData("S8-C4 ISDR svn member (82 03)", "present", (isdrE08.length >= 10 && isdrE08.substring(0, 2) === "82" && isdrE08.substring(2, 4) === "03") ? "present" : "absent");
+    bind.checkData("S8-C5 SW", "9000", s8.sw);
+    bind.checkData("S8-C6 ISDR svn-only (lpaeSupport absent)", "1", (isdrE08.length === 10 && isdrE08.substring(0, 2) === "82" && isdrE08.substring(2, 4) === "03") ? "1" : "0");
 }
-
```

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

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

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

- 命令计数：man 8 / cas 10；精确对齐 5，核心（CLA·INS·P1·P2·Lc）同 2，man-only 1，cas-only 3

| # | `-man` | `-cas` | 对齐 |
|---|---|---|---|
| 1 | `@RESET` | `@RESET` | exact |
| 2 | `00A40004023F00` | `00A40004023F0000` | core_same |
| 3 | `00C0000020` | `00C0000020` | exact |
| 4 | `80AA000007A9058100830107` | `80AA000007A9058100830107` | exact |
| 5 | `0070000001` | `0070000001` | exact |
| 6 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF890000010000` | core_same |
| 7 | `01C0000021` | `01C0000021` | exact |
| — | man-only: `0070000000` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `801200000F`, `801400000C810301250082028281830100` | | |
- step_map：6 步；状态分布 {"ok": 6}；unresolved 合计 10

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

- spec：/Users/yuhu/cas/原料/切片/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/spec_intl/SGP.23-v1.16_4.2.1_ATR_and_ISD-R_Selection.md（风格：table）；caseir：`/Users/yuhu/cas/产物/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | RESET | 1 | ["RQ34_001"] | ["S1-C1", "S1-C2"] | ["RQ34_001"] | `ResetCard()` → `new ATR_Obj(curRST)` 校验 supportEUICC + TCK | 通过（ATR 3B9D...EC，"ATR指示卡片支持EUICC"） |
| 2 | [SELECT_MF] | 2 | [] | ["S2-C1", "S2-C2"] | [] | `new SelectFileMFPara_3G()` → `SendAPDU`（00A400 0402 3F00 +  | 通过（SW=9000） |
| 3 | [TERMINAL_CAPABILITY_LPAd] | 1 | [] | ["S3-C1", "S3-C2", "S3-C3"] | [] | `TS_TERMINAL_CAPABILITY_cmd()`（80AA0000 07 A9058100830137） | 通过（SW=9000） |
| 4 | [TERMINAL_PROFILE] | 1 | [] | ["S5-C1", "S6-C1", "S6-C2", "S4-C1", "S4-C2", "S4-C3"] | [] | （工具内部随步骤 3 一并下发，日志未见独立步骤） | — |
| 5 | [MANAGE_CHANNEL_OPEN] | 2 | ["RQ57_001"] | ["S7-C1", "S7-C2", "S7-C3"] | ["RQ57_001"] | `TS_MANAGE_CHANNEL_OPEN()` → curLogicChannel=1 | 通过（SW=9000） |
| 6 | MTD_SELECT(#ISD_R_AID) | 3 | ["RQ57_003", "RQ57_005", "RQD0_001"] | ["S8-C1", "S8-C2", "S8-C3", "S8-C4", "S8-C5", "S8-C6"] | ["RQ57_003", "RQ57_005", "RQD0_001"] | `TS_SELECT("Select ISD", ISD_R_AID, "9000")` → `check_ISDRRe | 通过（AID、RSP_SVN_H 比对一致） |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=True）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 22 项 / 生成体 checkData 24 次 / S 标号重合 20 / 计数缺口 0 / 形态 `FULL`；执行面 `PASS`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 20 + binding 2 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
  - binding 覆盖示例：`S4-C2`→binding:runToSteadyState_structural(chaining-rule)；`S6-C2`→binding:buildTrData_result_830100(golden-line)
- cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S4-C2', 'S6-C2']
- man：mapping 行 6 / 规范步 6；TTR 期望/实际回声 24；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - 卡态编排责任：Annex G 公共初始态与 CU 清理定义不在输入包内（D_tc_structure_notation 引用 Annex G），卡态准备归测试工具/harness，非 CaseIR 范围
  - 执行前置确认：TE_eUICC 环境下被测 eUICC 的 IUT 能力 O_E_LPAe 须为 false（C006 → M），否则本 TC N/A
  - TERMINAL RESPONSE 实际编码由测试工具按收到的 proactive command 动态生成（D 2.2.2.4），CaseIR 仅落默认 general result 0x83 01 00 的锚
  - 本 TC 无 Initial Conditions 表（E_tc_421.md 步骤表直接从 Step 1 开始，2.2.2 声明 IC 表可选），initial_conditions 为空是规范原貌而非遗漏
  - der_encoding 为空：本 TC 无 DER 编码产物需要推导（SELECT ISD-R 为 APDU 级 BER-TLV 模板；#R_ISDR_SELECTION 为响应侧 value notation，其 DER 校验义务在测试工具，且编码字节包内不可闭合——见 step 8 unresolved）

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

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

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

## 7.1 人工注记（收尾循环）

- **S6-C2 定谳（council 仲裁闭环）**：当前批次 `check_attestation`（caseir sha `17cbed3e…`，与包同批）给出 `S6-C2 → binding:buildTrData_result_830100(golden-line)`——为**登记面缺口**（绑定层构造保证），非真覆盖缺口；折叠注释面已由 F3 补偿发射。
- **S8-C4/S8-C6 已修复（F4 残留轮）**：新增 `_emit_isdr_proprietary_select_faces` 对 FCI `6F` 一级成员 E0（SGP.22 §5.7.1 :8050-8060）做成员面断言——S8-C4＝E0 在场＋首成员 svn `82 03`；S8-C6＝E0 内容恰为 svn 单成员（`len==10`，lpaeSupport 缺席＝RQ57_005 字节级负向观测）。本 TC gap 由 2→0。
- **风险（F4 登记）**：S8-C6 对「广告 lpaeSupport 能力（支持≠激活）」的合规卡可能误红；依据是 E 表该步 Expected 模板仅列 svn（测试期望面），非通用激活判定；真卡未验。
- 人工注记生成/更新：收尾循环（2026-10-07）；口径：attestation 三形态为权威、启发式计数仅旁证。

## 8. 证据路径

- man 包：`../../packages/man/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/logs/20260822_134957_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R.ttr`
- cas 包/源：`../../packages/cas/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection-u3-step4-20260829/logs/32d8ca9c_gapfix1/result/TC_eUICC_ATR_And_ISDR_Selection/TC_eUICC_ATR_And_ISDR_Selection_01_Nominal_ATR_and_Select_ISD_R.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/spec_intl/SGP.23-v1.16_4.2.1_ATR_and_ISD-R_Selection.md`
- caseir：`/Users/yuhu/cas/产物/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/caseir_materialized_gate.json`
- step_map：`/Users/yuhu/cas/产物/4.2.1.2.1-TC_eUICC_ATR_And_ISDR_Selection/step_map.json`