4.2.16.2.1 ES10b 从通知列表移除通知
TC_eUICC_ES10b.RemoveNotificationFromList
-man 人工切片
- 终态
- ok `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）
- ErrorCount
- 0
- 执行 job
- 20260908_134023:5ec9768023ed46ee9724abe738e8097e
- html_run
- 20261007_122716
- 包 sha256
- 5c65c31b641c8286…
- 包大小
- 244.3 KB
日志源（切片目录内相对路径）：logs/20261007_122716/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification.html
-cas 盲生成
- 终态
- failed 纯 native 零卡态前置（N0）
- ErrorCount
- 5
- 执行 job
- 34ef6cdc380d4fa297430c5e872a7ec3
- html_run
- e2e3ce8458294d0e8080a0fb9d853e35
- 包 sha256
- 93a603d48e419dbf…
- 包大小
- 842.2 KB
- 判定
- RERUN
- 路由
- native_N0
- 状态轴
- execution=red_verify / place=not_attempted / release=not_ready / card_state=n/a
差异概览（机械口径）
闭包文件层（l1）
man 34 / cas 82 个 JS；共同 31，一致 30，man-only 3，cas-only 51
命令序列层（l2）
man 112 / cas 13 条命令；完全一致 4，核心一致 2，长度尾部差 1，man-only 106，cas-only 7
规范覆盖（l3）
spec_steps 0，缺失 REQ 0 项，checkData 108 次，计数缺口 0，物化 FULL，执行 FAIL
断言自证（attestation）
js 断言 108 条 / 绑定层 0 条 / 缺口 0
机械差异分类
| 轴 | 说明 | 计数 |
|---|---|---|
| RUN_DIFF | man 通过 / cas 失败 | 1 |
| SCRIPT_DIALECT | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 106 / cas-only 7 | 167 |
对比报告
4.2.16.2.1 TC_eUICC_ES10b.RemoveNotificationFromList — -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.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-man.zip | 5c65c31b641c8286a51236439a3f54ed588c9913f8bfa3dc3b2261075b282580 | zip | TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification |
-cas | 4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-cas.zip | 93a603d48e419dbfafd45d3ecb132f185891d05f79bb43731e69c5a67fe316cd | zip | — |
- man 源路径：
../packages/man/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-man.zip - cas 源路径：
../packages/cas/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-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_134023:5ec9768023ed46ee9724abe738e8097e | — | /Users/yuhu/cas/原料/切片/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList/logs/20260908_134351_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification.ttr | — |
-cas | failed | 纯 native 零卡态前置（N0） | 5 | 34ef6cdc380d4fa297430c5e872a7ec3 | — | /Users/yuhu/cas/experiments/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-20261004_021946/logs/34ef6cdc380d4fa297430c5e872a7ec3/result/TC_eUICC_ES10b_RemoveNotificationFromList/TC_eUICC_ES10b_RemoveNotificationFromList_01_10_Nominal_all_10_sequences.ttr | — |
- cas 块4账本：decision=
RERUN；route=native_N0；live 事件 2 条（4.6 波次进行中；以块4终版账本为准） - cas 4.6 波次最新执行：terminal=
failed；stage=verify；job=34ef6cdc380d4fa297430c5e872a7ec3；gaps=["trace verdict=FAIL", "S2-SW: 期望 SW=9000，实际值 '6A88'（行 43）不符——证据矛盾", "S4-SW: 期望 SW=9000，实际值 '6A88'（行 43）不符——证据矛盾", "ORDER: 步骤 4（[SEQ01-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR>))）匹配行 41 不晚于既有对齐（最后行号 42），tc_step 顺序与 ttr 出现序不符", "结果通道 verdict='FAIL'"] - cas 失败归因引用（块4）：
b10-b11-attribution.md,b2-attribution.md - cas 证据来源分层：
RERUN→ 本轮 4.6 波次执行
3. HTML 执行日志状态
-man：NATIVE（../evidence/4.2.16.2.1/man/TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification.html；sha2562dccba649c45045f374c70e28ea169e90aa09b281037b299e399cd131385b066；254326 bytes）-cas：NATIVE（../evidence/4.2.16.2.1/cas/TC_eUICC_ES10b_RemoveNotificationFromList_01_10_Nominal_all_10_sequences.html；sha256474d26f4ae1d2dba5f31f19a677240a5e09827c062ea15994ab284ef4187cd86；13943 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 670 / cas 1246；字符：man 38917 / cas 109224
- man 顶层调用 Top：[["CheckData", 104], ["TestStepStart2", 42], ["ES10b_ListNotification", 26], ["TestStepStart", 19], ["SubLevel", 17], ["ES10b_RemoveNotificationFromList", 16], ["Remove_All_the_Notification", 11], ["TraceStart", 11], ["TS_SELECT", 11], ["RSP_profile_load_procedure_LPAd", 11]]
- cas bind 调用：[["checkData", 108], ["sendApdu", 53], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]
| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 12 |
unified diff（截断预览）
--- man
+++ cas
@@ -1,669 +1,1245 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification + TC_eUICC_ES10b_RemoveNotificationFromList_02_Nominal_Enable_Notification + TC_eUICC_ES10b_RemoveNotificationFromList_03_Nominal_Disable_Notification + TC_eUICC_ES10b_RemoveNotificationFromList_04_Nominal_Delete_Notification + TC_eUICC_ES10b_RemoveNotificationFromList_05_Nominal_Two_Install_PIR_Notifications_with_different_Notification_Addresses + TC_eUICC_ES10b_RemoveNotificationFromList_06_Nominal_Install_PIR_and_Enable_Notifications + TC_eUICC_ES10b_RemoveNotificationFromList_07_Nominal_Disable_and_Delete_Notifications + TC_eUICC_ES10b_RemoveNotificationFromList_08_Nominal_Install_OtherSignedNotification_and_Enable_Notifications + TC_eUICC_ES10b_RemoveNotificationFromList_09_Nominal_Enable_and_Install_PIR_notifications + TC_eUICC_ES10b_RemoveNotificationFromList_10_Nominal_Removing_Sequence_Numbers_that_are_not_present + Install_PROFILE_OPERATIONAL1_Do_not_remove_both_the_notifications (extracted verbatim)
-
-function TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification()
-{
- Remove_All_the_Notification();
- Install_PROFILE_OPERATIONAL1_Do_not_remove_both_the_notifications();
-
- tracenamestr = "01 Nominal: 删除安装通知";
- curDis.TraceStart(sno++,tracenamestr);
-
- curLogicChannel = 1;
-
- curDis.TestStepStart("读卡器向卡片发送SELECT命令，选择ISD-R；");
- TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行RetrieveNotificationsList；");
- var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-
- Profile_load_procedure.ES10b_ListNotification("04F0");
-
- try
- {
- curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].profileManagementOperation,"profileManagementOperation");
- curStrHandle.CheckData(TEST_DP_ADDRESS1,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].notificationAddress,"notificationAddress");
- curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].iccid, "ICCID");
-
- curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].profileManagementOperation,"profileManagementOperation");
- curStrHandle.CheckData(TEST_DP_ADDRESS1,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].notificationAddress,"notificationAddress");
- curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].iccid, "ICCID");
- }catch(e){
- obj.SubLevel(Notification_Data_Error, level_of_SubLevel.error);
- }
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行NotificationSentRequest；");
- var parameter = Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].seqNumber;
- Profile_load_procedure.ES10b_RemoveNotificationFromList(parameter);
- var deleteNotificationStatus=Profile_load_procedure.notificationSentResponse.deleteNotificationStatus;
- curStrHandle.CheckData("00", deleteNotificationStatus, "deleteNotificationStatus");
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
- Profile_load_procedure.ES10b_ListNotification("04F0");
-
- try
- {
- curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].profileManagementOperation,"profileManagementOperation");
- curStrHandle.CheckData(TEST_DP_ADDRESS1,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].notificationAddress,"notificationAddress");
- curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].iccid, "ICCID");
- }catch(e){
- obj.SubLevel(Notification_Data_Error, level_of_SubLevel.error);
- }
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行NotificationSentRequest；");
- var parameter = Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].seqNumber;
- Profile_load_procedure.ES10b_RemoveNotificationFromList(parameter);
- var deleteNotificationStatus=Profile_load_procedure.notificationSentResponse.deleteNotificationStatus;
- curStrHandle.CheckData("00", deleteNotificationStatus, "deleteNotificationStatus");
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
- Profile_load_procedure.ES10b_ListNotification("04F0");
- curStrHandle.CheckData("BF2802A000", Profile_load_procedure.listNotificationResponse.hexData, "通知检查");
-
- Delete_PROFILE_OPERATIONAL1_Remove_the_Notification();
- RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-141736
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.RemoveNotificationFromList，Test Sequence #01-#10 Nominal (all 10 sequences)，适用性 M。
+// Test points: ICH-SEQ01-IC1-K1-C1 ATR_present；ICH-SEQ01-IC1-K2-C2 FCP_Template
+// ICH-SEQ01-IC1-K2-C4 SW；ICH-SEQ01-IC1-K3-C4 SW；ICH-SEQ01-IC1-K4-C4 final SW
+// ICH-SEQ01-IC2-K1-C4 SW；ICH-SEQ01-IC2-K1-C3 CHANNEL_NUMBER extracted；ICH-SEQ01-IC2-K2-C4 SW
+// S1-C1 SW；S1-C2 响应结构匹配 #R_LIST_NOTIF_IN1_IN1_PIR：ListNotificationResponse no branch/count
+// S2-C1 SW；S2-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S3-C1 SW
+// S3-C2 响应结构匹配 #R_LIST_NOTIF_IN1_PIR：ListNotificationResponse notifi branch/count；S4-C1 SW
+// S4-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S5-C1 SW
+// S5-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S6-C1 SW
+// S6-C2 响应结构匹配 #R_LIST_NOTIF_EN1：ListNotificationResponse notificati branch/count；S7-C1 SW
+// S7-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S8-C1 SW
+// S8-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S9-C1 SW
+// S9-C2 响应结构匹配 #R_LIST_NOTIF_DI1：ListNotificationResponse notificati branch/count；S10-C1 SW
+// S10-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S11-C1 SW
+// S11-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S12-C1 SW
+// S12-C2 响应结构匹配 #R_LIST_NOTIF_DE1：ListNotificationResponse notificati branch/count；S13-C1 SW
+// S13-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S14-C1 SW
+// S14-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S15-C1 SW
+// S15-C2 响应结构匹配 #R_LIST_NOTIF_IN1_PIR_IN2_PIR：ListNotificationRespons branch/count；S16-C1 SW
+// S16-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S17-C1 SW
+// S17-C2 响应结构匹配 #R_LIST_NOTIF_IN2_PIR：ListNotificationResponse notifi branch/count；S18-C1 SW
+// S18-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S19-C1 SW
+// S19-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S20-C1 SW
+// S20-C2 响应结构匹配 #R_LIST_NOTIF_IN1_PIR_EN1：ListNotificationResponse no branch/count；S21-C1 SW
+// S21-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S22-C1 SW
+// S22-C2 响应结构匹配 #R_LIST_NOTIF_EN1：ListNotificationResponse notificati branch/count；S23-C1 SW
+// S23-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S24-C1 SW
+// S24-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S25-C1 SW
+// S25-C2 响应结构匹配 #R_LIST_NOTIF_DI1_DE1：ListNotificationResponse notifi branch/count；S26-C1 SW
+// S26-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S27-C1 SW
+// S27-C2 响应结构匹配 #R_LIST_NOTIF_DE1：ListNotificationResponse notificati branch/count；S28-C1 SW
+// S28-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S29-C1 SW
+// S29-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S30-C1 SW
+// S30-C2 响应结构匹配 #R_LIST_NOTIF_IN1_EN1：ListNotificationResponse notifi branch/count；S31-C1 SW
+// S31-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S32-C1 SW
+// S32-C2 响应结构匹配 #R_LIST_NOTIF_EN1：ListNotificationResponse notificati branch/count；S33-C1 SW
+// S33-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S34-C1 SW
+// S34-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S35-C1 SW
+// S35-C2 响应结构匹配 #R_LIST_NOTIF_EN1_IN2_PIR：ListNotificationResponse no branch/count；S36-C1 SW
+// S36-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S37-C1 SW
+// S37-C2 响应结构匹配 #R_LIST_NOTIF_EN1：ListNotificationResponse notificati branch/count；S38-C1 SW
+// S38-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S39-C1 SW
+// S39-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S40-C1 SW
+// S40-C2 响应结构匹配 #R_LIST_NOTIF_IN1_PIR：ListNotificationResponse notifi branch/count；S41-C1 SW
+// S41-C2 响应结构匹配 #R_REMOVE_NOTIF_NOTHING_TO_DELETE deleteNotificationStatus；S42-C1 SW
+// S42-C2 响应结构匹配 #R_LIST_NOTIF_IN1_PIR：ListNotificationResponse notifi branch/count；S43-C1 SW
+// S43-C2 响应结构匹配 #R_REMOVE_NOTIF_NOTHING_TO_DELETE deleteNotificationStatus；S44-C1 SW
+// S44-C2 响应结构匹配 #R_LIST_NOTIF_IN1_PIR：ListNotificationResponse notifi branch/count；S45-C1 SW
+// S45-C2 响应结构匹配 #R_REMOVE_NOTIF_OK deleteNotificationStatus；S46-C1 SW
+// S46-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S47-C1 SW
+// S47-C2 响应结构匹配 #R_REMOVE_NOTIF_NOTHING_TO_DELETE deleteNotificationStatus；S48-C1 SW
+// S48-C2 响应结构匹配 #R_LIST_NOTIF_NONE：ListNotificationResponse notificat branch/count；S49-C1 SW
…（差异行超限，共 1916 行，此处截断）- man：
ESIM_TEST_SGP_23.UCE；入口 [('TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification', 'ES10b(LPA -- eUICC):RemoveNotificationFromList', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：
TC_eUICC_ES10b_RemoveNotificationFromList/TC_eUICC_ES10b_RemoveNotificationFromList.uce；入口 [('TC_eUICC_ES10b_RemoveNotificationFromList_01_10_Nominal_all_10_sequences', 'TC_eUICC_ES10b_RemoveNotificationFromList', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10b_RemoveNotificationFromList_01_10_Nominal_all_10_sequences)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
5. L2 步骤/APDU/step_map 差异（结构化对齐）
- 命令计数：man 112 / cas 13；精确对齐 4，核心（CLA·INS·P1·P2·Lc）同 2，man-only 106，cas-only 7
| # | -man | -cas | 对齐 | |
|---|---|---|---|---|
| 1 | @RESET | @RESET | exact | |
| 2 | 80AA000007A9058100830137 | 80AA000007A9058100830107 | core_same | |
| 3 | 0070000001 | 0070000001 | exact | |
| 4 | 01A4040010A0000005591010FFFFFFFF8900000100 | 01A4040010A0000005591010FFFFFFFF8900000100 | exact | |
| 5 | 01C0000021 | 01C0000021 | exact | |
| 6 | 81E2910007BF2804810204F0 | 81E2910007BF2804810204F000 | core_same | |
| — | man-only: 0070000000, 81E2910003BF2800, 01C0000005, @RESET, 80AA000007A9058100830137, 0070000000, 0070000001, 01A4040010A0000005591010FFFFFFFF8900000100, 01C0000021, 81E2910003BF2800, 01C0000005, @RESET | |||
| — | cas-only: 00A40004023F0000, 00C0000020, 8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200, 801200000F, 801400000C810301250082028281830100, 81C0000005, 81E2910000 |
6. L3 规范字段/Expected/REQ/通过条件差异
- spec：/Users/yuhu/cas/原料/切片/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList/spec_intl/SGP.23-v1.16_4.2.16_RemoveNotificationFromList.md（风格：mapping）；caseir：
/Users/yuhu/cas/experiments/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-20261004_021946/caseir_materialized_gate.json
spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）：
| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| General IC（通知列表空——自检） | Remove_All_the_Notification()（L5；TestStep.js：ListNotification 空列表则循环 | 通过（Transaction 1/2＝APDU2-62：ListNotification 81E2910003BF2800→`BF280 |
| General IC（无 OP 装载——依赖前跑终清） | （无显式 MemoryReset 前置；由上一 job RecoverCard() 保证） | 通过（装载链 AuthenticateServer/PrepareDownload 全绿＝起点无 OP 残留） |
| IC1/IC2 会话链（装载链内展开） | helper 内 Ini_powerOn_eUICC_LPAe_not_activate()＋`TS_MANAGE_CHANNEL_OP | 通过（Transaction 3 装载链内复位/ATR/MF/TC/TP/开通道/Select ISD-R 全 9000） |
| IC3 Install PROFILE_OPERATIONAL1. Do not remove both the notifications | Install_PROFILE_OPERATIONAL1_Do_not_remove_both_the_notifications()（ | 通过（Transaction 3＝APDU56-291：装载链全绿＋BF37 PIR BF3781ADBF2767801…〔transa |
| IC4 MTD_STORE_DATA(#LIST_NOTIF_ALL) → #R_LIST_NOTIF_IN1_IN1_PIR SW=9000 | ES10b_ListNotification("04F0")（L19，APDU BF2804810204F0）＋双元素断言 `arrOf | 通过（APDU293 81E2910007BF2804810204F0→APDU294 BF2860A05E…〔两项，均 insta |
| 1 MTD_REMOVE_NOTIF(<NOTIF_SEQ_NO_IN1>) → #R_REMOVE_NOTIF_OK SW=9000（RQ35_021 RQ57_077 RQ57_078 RQ57_079） | parameter = …arrOfElement[0].seqNumber＋`ES10b_RemoveNotificationFrom | 通过（APDU317 81E2910007BF300480020087〔seq=0087〕→APDU318 `BF3003800 |
| 2 #LIST_NOTIF_ALL → #R_LIST_NOTIF_IN1_PIR SW=9000 | ES10b_ListNotification("04F0")（L41）＋单元素断言（L42-51） | 通过（APDU326→APDU327 BF2831A02F…〔余一项 0780〕——APDU332-339 断言期望=实际） |
| 3 MTD_REMOVE_NOTIF(<NOTIF_SEQ_NO_IN1_PIR>) → #R_REMOVE_NOTIF_OK SW=9000（RQ35_021 RQ57_077 RQ57_078 RQ57_079 RQ31_182） | 同步 1 形态（L53-54）＋CheckData("00",…)（L56） | 通过（APDU341 81E2910007BF300480020086〔seq=0086〕→APDU342 `BF3003800 |
| 4 #LIST_NOTIF_ALL → #R_LIST_NOTIF_NONE SW=9000（RQ25_020 RQ31_182） | ES10b_ListNotification("04F0")（L59）＋`CheckData("BF2802A000", …hexDat | 通过（APDU350→APDU351 BF2802A000 空——APDU356/357 期望=实际） |
| （收尾，非规范步骤） | Delete_PROFILE_OPERATIONAL1_Remove_the_Notification()（L62）＋`RecoverC | 通过（Transaction 5 删 OP＋清通知〔APDU381-399：ListNotification 一项 81020410 del |
cas CaseIR 步骤/检查：
| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | [SEQ01-IC4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S1-C1", "S1-C2"] | [] |
| 2 | [SEQ01-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1>)) | ["S2-C1", "S2-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 3 | [SEQ01-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S3-C1", "S3-C2"] | [] |
| 4 | [SEQ01-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR | ["S4-C1", "S4-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079", "RQ31_182"] |
| 5 | [SEQ01-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S5-C1", "S5-C2"] | ["RQ25_020", "RQ31_182"] |
| 6 | [SEQ02-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S6-C1", "S6-C2"] | [] |
| 7 | [SEQ02-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_EN1>)) | ["S7-C1", "S7-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 8 | [SEQ02-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S8-C1", "S8-C2"] | [] |
| 9 | [SEQ03-IC6] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S9-C1", "S9-C2"] | [] |
| 10 | [SEQ03-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_DI1>)) | ["S10-C1", "S10-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 11 | [SEQ03-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S11-C1", "S11-C2"] | [] |
| 12 | [SEQ04-IC7] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S12-C1", "S12-C2"] | [] |
| 13 | [SEQ04-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_DE1>)) | ["S13-C1", "S13-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 14 | [SEQ04-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S14-C1", "S14-C2"] | [] |
| 15 | [SEQ05-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S15-C1", "S15-C2"] | [] |
| 16 | [SEQ05-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PI | ["S16-C1", "S16-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079", "RQ31_182"] |
| 17 | [SEQ05-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S17-C1", "S17-C2"] | ["RQ25_020", "RQ31_182"] |
| 18 | [SEQ05-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN2_PIR | ["S18-C1", "S18-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079", "RQ31_182"] |
| 19 | [SEQ05-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S19-C1", "S19-C2"] | ["RQ25_020", "RQ31_182"] |
| 20 | [SEQ06-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S20-C1", "S20-C2"] | [] |
| 21 | [SEQ06-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PI | ["S21-C1", "S21-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079", "RQ31_182"] |
| 22 | [SEQ06-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S22-C1", "S22-C2"] | ["RQ25_020", "RQ31_182"] |
| 23 | [SEQ06-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_EN1>)) | ["S23-C1", "S23-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 24 | [SEQ06-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S24-C1", "S24-C2"] | [] |
| 25 | [SEQ07-IC7] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S25-C1", "S25-C2"] | [] |
| 26 | [SEQ07-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_DI1>)) | ["S26-C1", "S26-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 27 | [SEQ07-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S27-C1", "S27-C2"] | [] |
| 28 | [SEQ07-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_DE1>)) | ["S28-C1", "S28-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 29 | [SEQ07-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S29-C1", "S29-C2"] | [] |
| 30 | [SEQ08-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S30-C1", "S30-C2"] | [] |
| 31 | [SEQ08-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1>)) | ["S31-C1", "S31-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 32 | [SEQ08-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S32-C1", "S32-C2"] | [] |
| 33 | [SEQ08-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_EN1>)) | ["S33-C1", "S33-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 34 | [SEQ08-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S34-C1", "S34-C2"] | [] |
| 35 | [SEQ09-IC6] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S35-C1", "S35-C2"] | [] |
| 36 | [SEQ09-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN2_PI | ["S36-C1", "S36-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079", "RQ31_182"] |
| 37 | [SEQ09-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S37-C1", "S37-C2"] | ["RQ25_020", "RQ31_182"] |
| 38 | [SEQ09-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_EN1>)) | ["S38-C1", "S38-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 39 | [SEQ09-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S39-C1", "S39-C2"] | [] |
| 40 | [SEQ10-IC4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S40-C1", "S40-C2"] | [] |
| 41 | [SEQ10-1] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR | ["S41-C1", "S41-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 42 | [SEQ10-2] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S42-C1", "S42-C2"] | [] |
| 43 | [SEQ10-3] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR | ["S43-C1", "S43-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 44 | [SEQ10-4] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S44-C1", "S44-C2"] | [] |
| 45 | [SEQ10-5] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR | ["S45-C1", "S45-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 46 | [SEQ10-6] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S46-C1", "S46-C2"] | [] |
| 47 | [SEQ10-7] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR | ["S47-C1", "S47-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 48 | [SEQ10-8] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S48-C1", "S48-C2"] | [] |
| 49 | [SEQ10-9] MTD_STORE_DATA( MTD_REMOVE_NOTIF( <NOTIF_SEQ_NO_IN1_PIR> | ["S49-C1", "S49-C2"] | ["RQ35_021", "RQ57_077", "RQ57_078", "RQ57_079"] |
| 50 | [SEQ10-10] MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S50-C1", "S50-C2"] | [] |
6.1 充分性分析（启发式，不作最终裁定）
- cas：
NO_MECHANICAL_GAPS（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 100 项 / 生成体 checkData 108 次 / S 标号重合 100 / 计数缺口 0 / 形态
FULL；执行面FAIL（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - cas 编译器自证（check_attestation，同批构建）：声明 None = js 108 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：映射行 10；TTR 期望/实际回声 210；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
- #METADATA_OP_PROF1_NO_INSTALL / (#)METADATA_OP_PROF2_NO_INSTALL 常量定义不在输入包（SEQ05/06/09/10 IC 引用）。
- C025 条件文本不在输入包，SEQ05 适用性依赖无法判定。
- 每个测试序列执行后须执行 clean-up（CU）恢复 Common Initial State（D_tc_structure_notation 行50），编排责任。
- R2 残余真空：NotificationEvent BIT STRING 位序不在输入包——#LIST_NOTIF_ALL data 保持 null；NotificationSentRequest 结构已闭合（BF30+A0+INTEGER），值随 seqNumber 动态。
- 卡态 IC 行（裁定 B 声明面，不展开）：Install PROFILE_OPERATIONAL2 with #METADATA_OP_PROF2_NO_INSTALL (download procedure 2.2.3.1 with exceptions: #CERT_S_SM_DP2auth_ECDSA / #TEST_DP_ADDRESS2 in #AUTH_SMDP_MATCH_ID; #CERT_S_SM_DP2pb_ECDSA in #PREP_DOWNLOAD_NO_CC). Do not remove the Notification.
- 【B-6 闭合登记 2026-10-04】PROC IC 折叠为全局两条（E 表各序列 PROC 声明一致，盲产物 20 序列重复折叠去重）；分序列卡态 IC 行（Install/Enable/Disable/Delete PROFILE_* 与通知处置）逐字保全本 open_items（卡态编排责任，不展开）。
7. 分类结论（封闭枚举）
| 轴 | 计数 | 说明 |
|---|---|---|
RUN_DIFF | 1 | man 通过 / cas 失败 |
SCRIPT_DIALECT | 167 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 106 / cas-only 7 |
| 侧 | 根因候选（七类，启发式签名） | 签名 | ||
|---|---|---|---|---|
| cas | card_vs_spec_mismatch | `6985 | 6A88 | 6D00` |
签名为文本面启发式命中（如 6D00 等 SW 亦可能是负例期望值），须结合 Expected 面核验后方可定论。
- 置信度：heuristic；需人工复核：False
8. 证据路径
- man 包：
../packages/man/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-man.zip - man TTR：
/Users/yuhu/cas/原料/切片/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList/logs/20260908_134351_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10b_RemoveNotificationFromList_01_Nominal_Install_Notification.ttr - cas 包/源：
../packages/cas/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-cas.zip - cas TTR：
/Users/yuhu/cas/experiments/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-20261004_021946/logs/34ef6cdc380d4fa297430c5e872a7ec3/result/TC_eUICC_ES10b_RemoveNotificationFromList/TC_eUICC_ES10b_RemoveNotificationFromList_01_10_Nominal_all_10_sequences.ttr - spec_intl：
/Users/yuhu/cas/原料/切片/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList/spec_intl/SGP.23-v1.16_4.2.16_RemoveNotificationFromList.md - caseir：
/Users/yuhu/cas/experiments/4.2.16.2.1-TC_eUICC_ES10b.RemoveNotificationFromList-20261004_021946/caseir_materialized_gate.json - step_map：
—