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

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

## 1. 配对与包

| 侧 | 包/源 | sha256 | 源类型 | 入口用例 |
|---|---|---|---|---|
| `-man` | 4.2.26.2.1-TC_eUICC_ES10c.SetNickname-man.zip | `9a8fabb8d301484d9910f991bcd87bc7447251c95be26b48e676a3943fac96c6` | zip | TC_eUICC_ES10c_SetNickname_01 |
| `-cas` | 4.2.26.2.1-TC_eUICC_ES10c.SetNickname-cas.zip | `b4a0489d0bfc96ce5f6c10a1b064df82c79c39aa66b983d8e98fbc4faaef8912` | zip | — |

- man 源路径：`../../packages/man/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-man.zip`
- cas 源路径：`../../packages/cas/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-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 | `20260908_140547_ok:54b17c3b3a924c1d9db1b3309c2380c2` | — | `/Users/yuhu/cas/原料/切片/4.2.26.2.1-TC_eUICC_ES10c.SetNickname/logs/20260908_140547_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_SetNickname_01.ttr` | `—` |
| `-cas` | `failed` | 纯 native 零卡态前置（N0） | 33 | `84cc599b3a85401396e3e0f8a840160c` | — | `/Users/yuhu/cas/experiments/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-20261004_021957/logs/84cc599b3a85401396e3e0f8a840160c/result/TC_eUICC_ES10c_SetNickname/TC_eUICC_ES10c_SetNickname_01_09_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 1 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`verify`；job=`84cc599b3a85401396e3e0f8a840160c`；gaps=["trace verdict=PASS", "结果通道 verdict='FAIL'"]
- cas 失败归因引用（块4）：`b2-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.26.2.1/man/TC_eUICC_ES10c_SetNickname_01.html`；sha256 `2a8f2725634f9390c6a3ffdc6fbbe23747ff46e2286f24581c859738bd3455d9`；268114 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.26.2.1/cas/TC_eUICC_ES10c_SetNickname_01_09_merged.html`；sha256 `a30bb6cab01575e530af21023c255127ce3eedddbad5bcb62c1f3a36e6648b6a`；157965 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 545 / cas 519；字符：man 23070 / cas 39795
- man 顶层调用 Top：[["CheckData", 89], ["TestStepStart2", 44], ["GenHexData", 17], ["LPAd_Transport_data_to_eUICC", 17], ["initial_condition_Start", 9], ["initial_condition_Install_PROFILE_OPERATIONAL1", 9], ["TraceStart", 9], ["Ini_powerOn_eUICC_LPAe_not_activate", 9], ["TS_MANAGE_CHANNEL_OPEN", 9], ["TS_SELECT", 9]]
- cas bind 调用：[["checkData", 106], ["sendApdu", 44], ["resetAndAtr", 9], ["runToSteadyState", 9], ["sendTerminalProfile", 9], ["manageChannelOpen", 9]]

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

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

```diff
--- man
+++ cas
@@ -1,544 +1,518 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_SetNickname_01 + TC_eUICC_ES10c_SetNickname_02 + TC_eUICC_ES10c_SetNickname_03 + TC_eUICC_ES10c_SetNickname_04 + TC_eUICC_ES10c_SetNickname_05 + TC_eUICC_ES10c_SetNickname_06 + TC_eUICC_ES10c_SetNickname_07 + TC_eUICC_ES10c_SetNickname_08 + TC_eUICC_ES10c_SetNickname_09 (extracted verbatim)
-
-function TC_eUICC_ES10c_SetNickname_01()
-{
-	initial_condition_Start();
-	initial_condition_Install_PROFILE_OPERATIONAL1();
-
-	tracenamestr = "测试目的：Operational Profile（未激活）没有Nickname，添加Nickname";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，SET_NICKNAME");
-	var setNicknameRequest = new SetNicknameRequest();
-	setNicknameRequest.iccid = ICCID_OP_PROF1;
-	setNicknameRequest.profileNickname = NICKNAME2;
-	setNicknameRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(setNicknameRequest.hexData);
-	curStrHandle.CheckData("BF2903800100", respData,"SetNickname Response");
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_PROFILE_INFO，检查Profile1的Nickname");
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF1);
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-	var proInfoListResponse = new  ProfileInfoListResponse();
-	proInfoListResponse.checkCardResDataFormat(respData);
-
-	try
-	{
-		var num = proInfoListResponse.profileInfoListOk.arrOfElement.length;
-		curStrHandle.CheckData("1", num.toString(), "ProfileInfo Num");
-
-		var profileInfoObj = proInfoListResponse.profileInfoListOk.arrOfElement[0];
-
-		curStrHandle.CheckData(ICCID_OP_PROF1, profileInfoObj.iccid, "iccid");
-		curStrHandle.CheckData(ISD_P_AID1, profileInfoObj.isdpAid, "isdpAid");
-		curStrHandle.CheckData(ProfileState.disabled, profileInfoObj.profileState, "profileState");
-		curStrHandle.CheckData(NICKNAME2, profileInfoObj.profileNickname, "profileNickname");
-		curStrHandle.CheckData(SP_NAME1, profileInfoObj.serviceProviderName, "serviceProviderName");
-		curStrHandle.CheckData(NAME_OP_PROF1, profileInfoObj.profileName, "profileName");
-		curStrHandle.CheckData(IconType.png, profileInfoObj.iconType, "iconType");
-		curStrHandle.CheckData(ICON_OP_PROF1, profileInfoObj.icon, "icon");
-		curStrHandle.CheckData(ProfileClass.operational, profileInfoObj.profileClass, "profileClass");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-021957
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.SetNickname，Test Sequence #01-#09 (Nominal: Add/Update/Remove/Remove-non-existing × Disabled/Enabled；Error: ICCID not found)，适用性 M。
+// Test points: IC1-IC1-K1-C1 ATR_present；IC1-IC1-K2-C2 FCP_Template；IC1-IC1-K2-C4 SW
+//   IC1-IC1-K3-C4 SW；IC1-IC1-K4-C4 final SW；IC2-IC2-K1-C4 SW；IC2-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC2-IC2-K2-C4 SW；S3-C1 SW；S3-C2 setNicknameResult ok；S4-C1 SW；S4-C2 profileNickname Nickname 2
+//   IC5-IC1-K1-C1 ATR_present；IC5-IC1-K2-C2 FCP_Template；IC5-IC1-K2-C4 SW；IC5-IC1-K3-C4 SW
+//   IC5-IC1-K4-C4 final SW；IC6-IC2-K1-C4 SW；IC6-IC2-K1-C3 CHANNEL_NUMBER extracted；IC6-IC2-K2-C4 SW
+//   S7-C1 SW；S7-C2 setNicknameResult ok；S8-C1 SW；S8-C2 profileNickname Nickname 2
+//   IC9-IC1-K1-C1 ATR_present；IC9-IC1-K2-C2 FCP_Template；IC9-IC1-K2-C4 SW；IC9-IC1-K3-C4 SW
+//   IC9-IC1-K4-C4 final SW；IC10-IC2-K1-C4 SW；IC10-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC10-IC2-K2-C4 SW；S11-C1 SW；S11-C2 setNicknameResult ok；S12-C1 SW；S12-C2 profileNickname absent
+//   IC13-IC1-K1-C1 ATR_present；IC13-IC1-K2-C2 FCP_Template；IC13-IC1-K2-C4 SW；IC13-IC1-K3-C4 SW
+//   IC13-IC1-K4-C4 final SW；IC14-IC2-K1-C4 SW；IC14-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC14-IC2-K2-C4 SW；S15-C1 SW；S15-C2 setNicknameResult ok；S16-C1 SW；S16-C2 profileNickname absent
+//   IC17-IC1-K1-C1 ATR_present；IC17-IC1-K2-C2 FCP_Template；IC17-IC1-K2-C4 SW；IC17-IC1-K3-C4 SW
+//   IC17-IC1-K4-C4 final SW；IC18-IC2-K1-C4 SW；IC18-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC18-IC2-K2-C4 SW；S19-C1 SW；S19-C2 setNicknameResult ok；S20-C1 SW
+//   S20-C2 profileNickname Nickname 2；IC21-IC1-K1-C1 ATR_present；IC21-IC1-K2-C2 FCP_Template
+//   IC21-IC1-K2-C4 SW；IC21-IC1-K3-C4 SW；IC21-IC1-K4-C4 final SW；IC22-IC2-K1-C4 SW
+//   IC22-IC2-K1-C3 CHANNEL_NUMBER extracted；IC22-IC2-K2-C4 SW；S23-C1 SW；S23-C2 setNicknameResult ok
+//   S24-C1 SW；S24-C2 profileNickname Nickname 2；IC25-IC1-K1-C1 ATR_present
+//   IC25-IC1-K2-C2 FCP_Template；IC25-IC1-K2-C4 SW；IC25-IC1-K3-C4 SW；IC25-IC1-K4-C4 final SW
+//   IC26-IC2-K1-C4 SW；IC26-IC2-K1-C3 CHANNEL_NUMBER extracted；IC26-IC2-K2-C4 SW；S27-C1 SW
+//   S27-C2 setNicknameResult ok；S28-C1 SW；S28-C2 profileNickname absent；IC29-IC1-K1-C1 ATR_present
+//   IC29-IC1-K2-C2 FCP_Template；IC29-IC1-K2-C4 SW；IC29-IC1-K3-C4 SW；IC29-IC1-K4-C4 final SW
+//   IC30-IC2-K1-C4 SW；IC30-IC2-K1-C3 CHANNEL_NUMBER extracted；IC30-IC2-K2-C4 SW；S31-C1 SW
+//   S31-C2 setNicknameResult ok；S32-C1 SW；S32-C2 profileNickname absent；IC33-IC1-K1-C1 ATR_present
+//   IC33-IC1-K2-C2 FCP_Template；IC33-IC1-K2-C4 SW；IC33-IC1-K3-C4 SW；IC33-IC1-K4-C4 final SW
+//   IC34-IC2-K1-C4 SW；IC34-IC2-K1-C3 CHANNEL_NUMBER extracted；IC34-IC2-K2-C4 SW；S35-C1 SW
+//   S35-C2 setNicknameResult iccidNotFound
+// 本函数由 CaseIR 4.2.26.2.1 编译生成（fullwave-blindgen-live-70-W1-laneA5，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_ES10c_SetNickname_01_09_merged() {
+    var bind = curBind;
+    // GIC-1 卡态编排：PROFILE_OPERATIONAL1 已装载到 eUICC: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S1/S4-IC PROF1 Disabled；Nickname 为空: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S2/S3-IC PROF1 Disabled；Nickname = #NICKNAME1（Nickname 1，F_annexA_constants）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S5/S8-IC PROF1 Enabled；Nickname 为空: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S9-IC PROF1 Disabled；#ICCID_UNKNOWN（0x98 92 01 0A 21 43 65 87 09 F8，F_annexA_constants）标识的 Profile 不存在: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1）：RESET（K 语料机械展开）
+    var s36 = bind.resetAndAtr();
+    bind.checkData("IC1-IC1-K1-C1 ATR_present", "1", s36.atr_hex !== "" ? "1" : "0");
+
+    // IC ref inline @E 步骤 1（IC1 → 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 s37 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("IC1-IC1-K2-C2 FCP_Template", "1", s37.resp.length > 0 ? "1" : "0");
+    bind.checkData("IC1-IC1-K2-C4 SW", "9000", s37.sw);
+
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3）：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s38 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("IC1-IC1-K3-C4 SW", "9000", s38.sw);
+
…（差异行超限，共 1064 行，此处截断）
```

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

- man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10c_SetNickname_01', 'ES10c(LPA -- eUICC):SetNickname', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_SetNickname_01)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
- cas：`TC_eUICC_ES10c_SetNickname/TC_eUICC_ES10c_SetNickname.uce`；入口 [('TC_eUICC_ES10c_SetNickname_01_09_merged', 'TC_eUICC_ES10c_SetNickname', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_SetNickname_01_09_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

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

- 命令计数：man 116 / cas 124；精确对齐 21，核心（CLA·INS·P1·P2·Lc）同 8，man-only 87，cas-only 95

| # | `-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 | `@RESET` | `@RESET` | exact |
| 11 | `00A40004023F00` | `00A40004023F0000` | core_same |
| 12 | `00C0000020` | `00C0000020` | exact |
| 13 | `80AA000007A9058100830137` | `80AA000007A9058100830107` | core_same |
| 14 | `801200000F` | `801200000F` | exact |
| 15 | `801400000C810301250082028281830100` | `801400000C810301250082028281830100` | exact |
| 16 | `0070000001` | `0070000001` | exact |
| 17 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF8900000100` | exact |
| 18 | `01C0000021` | `01C0000021` | exact |
| 19 | `81E291001BBF29185A0A989209012143658709F5900A4E69636B6E616D652032` | `81E291001BBF29185A0A989209012143658709F5900A4E69636B6E616D65203200` | core_same |
| 20 | `81E2910011BF2D0EA00C5A0A989209012143658709F5` | `81E2910011BF2D0EA00C5A0A989209012143658709F500` | core_same |
| 21 | `@RESET` | `@RESET` | exact |
| 22 | `00A40004023F00` | `00A40004023F0000` | core_same |
| 23 | `00C0000020` | `00C0000020` | exact |
| 24 | `80AA000007A9058100830137` | `80AA000007A9058100830107` | core_same |
| 25 | `801200000F` | `801200000F` | exact |
| 26 | `801400000C810301250082028281830100` | `801400000C810301250082028281830100` | exact |
| 27 | `0070000001` | `0070000001` | exact |
| 28 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF8900000100` | exact |
| 29 | `01C0000021` | `01C0000021` | exact |
| — | man-only: `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `0070000000`, `81E2910003BF2000`, `01C00000A9`, `81E2910003BF2E00`, `01C0000015`, `81E21100FFBF388202F030498010A3C5F2C981A5…7525350`, `81E21101FF54455354310B300906035504061302…603551D`, `81E29102F71104073005880388370A300E060355…3000010`, `01C0000000`, `01C0000000`, `01C0000000` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81E291001BBF29185A0A989209012143658709F5…5203200`, `81C0000006`, `81E2910011BF2D0EA00C5A0A989209012143658709F500`, `81C0000005`, `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81C0000006`, `81C0000005`, `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81E2910011BF290E5A0A989209012143658709F5900000`, `81C0000006`, `81E2910011BF2D0EA00C5A0A989209012143658709F500` | | |

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

- spec：/Users/yuhu/cas/原料/切片/4.2.26.2.1-TC_eUICC_ES10c.SetNickname/spec_intl/SGP.23-v1.16_4.2.26_SetNickname.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-20261004_021957/caseir_materialized_gate.json`

spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）：

| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| General IC＋私有 IC（PROF1 loaded/Disabled，nickname 空） | `initial_condition_Start()`（L5）＋`initial_condition_Install_PROFILE_OPE | 通过（Transaction 1＝APDU2-245：装载链全绿＋PIR〔ICCID `989209012143658709F5`〕——** |
| IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | `Ini_powerOn_eUICC_LPAe_not_activate()`（L13） | 通过（Transaction 2：复位/ATR/MF/TC/TP/FETCH/TR 全 9000） |
| IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | `TS_MANAGE_CHANNEL_OPEN()`（L16）＋`TS_SELECT("Select ISD", ISD_R_AID, "9 | 通过（开通道＋Select ISD-R SW 9000） |
| 1 MTD_STORE_DATA(#SET_NICKNAME_OP_PROF1) → SetNicknameResponse{setNicknameResult ok} SW=0x9000（RQ57_177/RQ57_178） | `SetNicknameRequest{iccid: ICCID_OP_PROF1, profileNickname: NICKNAME2} | 通过（APDU284 `81E291001BBF29185A0A989209012143658709F5900A4E69636B6E616D |
| 2 MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM) → profileInfoListOk 含 profileNickname #NICKNAME2 SW=0x9000（RQ57_174） | `ProfileInfoListRequest{searchCriteria: ChoiceObj(iccid, ICCID_OP_PROF | 通过（APDU293→APDU294-296 长响应链式 GET RESPONSE `BF2D8202F7…`——PIR **profile |
| （收尾，非规范步骤） | `RecoverCard()`（L61） | 通过（Transaction 3＝APDU330-499：MemoryReset 删 OP＋TP＋复位默认 SM-DP+ 地址＋PIR 空检 |

cas CaseIR 步骤/检查：

| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#01） | ["S1-C1"] | [] |
| 2 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#01） | ["S2-C1"] | [] |
| 3 | MTD_STORE_DATA(#SET_NICKNAME_OP_PROF1)（序列#01 步1：为 Disabled Profile 添加昵 | ["S3-C1", "S3-C2"] | ["RQ57_177", "RQ57_178"] |
| 4 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#01  | ["S4-C1", "S4-C2"] | ["RQ57_174"] |
| 5 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#02） | ["S5-C1"] | [] |
| 6 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#02） | ["S6-C1"] | [] |
| 7 | MTD_STORE_DATA(#SET_NICKNAME_OP_PROF1)（序列#02 步1：更新既有昵称 #NICKNAME1 → #N | ["S7-C1", "S7-C2"] | ["RQ57_177", "RQ57_178"] |
| 8 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#02  | ["S8-C1", "S8-C2"] | ["RQ57_174"] |
| 9 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#03） | ["S9-C1"] | [] |
| 10 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#03） | ["S10-C1"] | [] |
| 11 | MTD_STORE_DATA(#SET_NICKNAME_EMPTY_OP_PROF1)（序列#03 步1：以空串移除昵称） | ["S11-C1", "S11-C2"] | ["RQ57_177", "RQ57_178"] |
| 12 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#03  | ["S12-C1", "S12-C2"] | ["RQ57_175"] |
| 13 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#04） | ["S13-C1"] | [] |
| 14 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#04） | ["S14-C1"] | [] |
| 15 | MTD_STORE_DATA(#SET_NICKNAME_EMPTY_OP_PROF1)（序列#04 步1：移除不存在的昵称——非错误） | ["S15-C1", "S15-C2"] | ["RQ57_177", "RQ57_178"] |
| 16 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#04  | ["S16-C1", "S16-C2"] | ["RQ57_176"] |
| 17 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#05 = 序列#01 但 PROF1 Enabled） | ["S17-C1"] | [] |
| 18 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#05） | ["S18-C1"] | [] |
| 19 | MTD_STORE_DATA(#SET_NICKNAME_OP_PROF1)（序列#05 步1 = 序列#01 步1，PROF1 Enabl | ["S19-C1", "S19-C2"] | ["RQ57_177", "RQ57_178"] |
| 20 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#05  | ["S20-C1", "S20-C2"] | ["RQ57_174"] |
| 21 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#06 = 序列#02 但 PROF1 Enabled） | ["S21-C1"] | [] |
| 22 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#06） | ["S22-C1"] | [] |
| 23 | MTD_STORE_DATA(#SET_NICKNAME_OP_PROF1)（序列#06 步1 = 序列#02 步1，PROF1 Enabl | ["S23-C1", "S23-C2"] | ["RQ57_177", "RQ57_178"] |
| 24 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#06  | ["S24-C1", "S24-C2"] | ["RQ57_174"] |
| 25 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#07 = 序列#03 但 PROF1 Enabled） | ["S25-C1"] | [] |
| 26 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#07） | ["S26-C1"] | [] |
| 27 | MTD_STORE_DATA(#SET_NICKNAME_EMPTY_OP_PROF1)（序列#07 步1 = 序列#03 步1，PROF1 | ["S27-C1", "S27-C2"] | ["RQ57_177", "RQ57_178"] |
| 28 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#07  | ["S28-C1", "S28-C2"] | ["RQ57_175"] |
| 29 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#08 = 序列#04 但 PROF1 Enabled） | ["S29-C1"] | [] |
| 30 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#08） | ["S30-C1"] | [] |
| 31 | MTD_STORE_DATA(#SET_NICKNAME_EMPTY_OP_PROF1)（序列#08 步1 = 序列#04 步1，PROF1 | ["S31-C1", "S31-C2"] | ["RQ57_177", "RQ57_178"] |
| 32 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM))（序列#08  | ["S32-C1", "S32-C2"] | ["RQ57_176"] |
| 33 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#09） | ["S33-C1"] | [] |
| 34 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#09） | ["S34-C1"] | [] |
| 35 | MTD_STORE_DATA(#SET_NICKNAME_ICCID_UNKNOWN)（序列#09 步1：目标 Profile 不存在 →  | ["S35-C1", "S35-C2"] | ["RQ57_173", "RQ57_178"] |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 52 项 / 生成体 checkData 106 次 / S 标号重合 34 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 106 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- cas 未物化检查（绑定序列内且**完全未见**，共 18；方向性旁证，权威见上行 attestation）：含机械模式 18 项 ['S1-C1', 'S10-C1', 'S13-C1', 'S14-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S21-C1'] …；无模式 0 项 []
- man：映射行 6；TTR 期望/实际回声 216；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - PROC_EUICC_INITIALIZATION_SEQUENCE / PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR 已按 K_annexC2_procs 展开（R2 闭合）
  - 全部 SetNicknameRequest / ProfileInfoListRequest DER 已闭合（R2）；响应 DER 以 check 内完整字节断言
  - 序列#05-#08 为引用式定义（same as #01-#04，PROF1 Enabled），按本节 #01-#04 机械展开
  - 卡态编排责任：PROF1 装载、Enabled/Disabled 状态、Nickname 初值（空 / #NICKNAME1）

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 236 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 87 / cas-only 95 |
| `EVIDENCE_MISSING` | 18 | cas 声明但未物化的检查：['S1-C1', 'S10-C1', 'S13-C1', 'S14-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S21-C1', 'S22-C1', 'S25-C1', 'S26-C1', 'S29-C1', 'S30-C1', 'S33-C1', 'S34-C1', 'S5-C1', 'S6-C1', 'S9-C1'] |

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.26.2.1-TC_eUICC_ES10c.SetNickname/logs/20260908_140547_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_SetNickname_01.ttr`
- cas 包/源：`../../packages/cas/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-20261004_021957/logs/84cc599b3a85401396e3e0f8a840160c/result/TC_eUICC_ES10c_SetNickname/TC_eUICC_ES10c_SetNickname_01_09_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.26.2.1-TC_eUICC_ES10c.SetNickname/spec_intl/SGP.23-v1.16_4.2.26_SetNickname.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.26.2.1-TC_eUICC_ES10c.SetNickname-20261004_021957/caseir_materialized_gate.json`
- step_map：`—`