4.2.26.2.1 ES10c 设置 Profile 昵称

TC_eUICC_ES10c.SetNickname

章节：4.2.26 · ES10c (LPA -- eUICC): SetNickname配对状态：PAIRED报告生成：2026-10-08 22:57:11数据包生成：2026-10-08 22:57:09

-man 人工切片

终态: ok `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）
ErrorCount: 0
执行 job: 20260908_140547_ok:54b17c3b3a924c1d9db1b3309c2380c2
html_run: 20261007_152537
包 sha256: 9a8fabb8d301484d…
包大小: 243.4 KB

查看原生 HTML 执行日志下载脚本包（243.4 KB）

日志源（切片目录内相对路径）：logs/20261007_152537/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_SetNickname_01.html

-cas 盲生成

终态: failed 纯 native 零卡态前置（N0）
ErrorCount: 33
执行 job: 84cc599b3a85401396e3e0f8a840160c
html_run: 84cc599b3a85401396e3e0f8a840160c
包 sha256: b4a0489d0bfc96ce…
包大小: 835.9 KB
判定: RERUN
路由: native_N0
状态轴: execution=red_verify / place=not_attempted / release=not_ready / card_state=n/a

查看原生 HTML 执行日志下载脚本包（835.9 KB）

源码对照（并排 + 完整 diff）报告 §2 执行摘要 §4 源码对照 §5 步骤 APDU 差异 §6 规范字段 / REQ 报告原文 Markdown summary.json

差异概览（机械口径）

闭包文件层（l1）

man 34 / cas 82 个 JS；共同 31，一致 30，man-only 3，cas-only 51

命令序列层（l2）

man 116 / cas 124 条命令；完全一致 21，核心一致 8，长度尾部差 5，man-only 87，cas-only 95

规范覆盖（l3）

spec_steps 0，缺失 REQ 0 项，checkData 106 次，计数缺口 0，物化 FULL，执行 FAIL

断言自证（attestation）

js 断言 106 条 / 绑定层 0 条 / 缺口 0

机械差异分类

轴	说明	计数
RUN_DIFF	man 通过 / cas 失败	1
SCRIPT_DIALECT	闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 87 / cas-only 95	236
EVIDENCE_MISSING	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']	18

对比报告

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/4.2.26.2.1/man/TC_eUICC_ES10c_SetNickname_01.html；sha256 2a8f2725634f9390c6a3ffdc6fbbe23747ff46e2286f24581c859738bd3455d9；268114 bytes）
-cas：NATIVE（../evidence/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

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

### 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：—