# 4.2.14.2.1 TC_eUICC_ES10b.ListNotification — `-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.14.2.1-TC_eUICC_ES10b.ListNotification-man.zip | `a397f9db70e0da1a987af0b9fff6eafb0aac898b1a9ff6a2f12462200342a1de` | zip | TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification |
| `-cas` | 4.2.14.2.1-TC_eUICC_ES10b.ListNotification-cas.zip | `cecd383b8921a90af66b8cd792d09720fe2fabc006157952e7092c64fa1c9b68` | zip | — |

- man 源路径：`../../packages/man/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-man.zip`
- cas 源路径：`../../packages/cas/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-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_122533:397fb23999074046a6d4fe86bcef1695` | — | `/Users/yuhu/cas/原料/切片/4.2.14.2.1-TC_eUICC_ES10b.ListNotification/logs/20260908_125134_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification.ttr` | `—` |
| `-cas` | `failed` | card_state（profile_op1_disabled）；native blocked；历史通道=legacy wrapped（B2/C 证据：vend | 221 | `444bff52ae1a42e989b5ced7c5b7e0ac` | — | `/Users/yuhu/cas/experiments/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-20260929_034348/logs/444bff52_gapfix1/result/TC_eUICC_ES10b_ListNotification/TC_eUICC_ES10b_ListNotification_01_10_Nominal_E_tc_4214_10_Test_Sequence_schema.ttr` | `—` |
- cas 块4账本：decision=`LEGACY_ATTEMPT`；route=`legacy_wrapped`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`cas_gapfix_rerun`；job=`444bff52ae1a42e989b5ced7c5b7e0ac`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 failed（error_count=4）；failed 亦为有效终态，如实登记"]
- cas 失败归因引用（块4）：`b10-b11-attribution.md`
- cas 证据来源分层：`LEGACY_ATTEMPT` → legacy/其它（LEGACY_ATTEMPT）

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.14.2.1/man/TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification.html`；sha256 `48c032f6d5a501cbda808c5e6473e88f82cc84b3c9370c2a87b76ba0e14eb0c3`；271438 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.14.2.1/cas/TC_eUICC_ES10b_ListNotification_01_10_Nominal_E_tc_4214_10_Test_Sequence_schema.html`；sha256 `2d395c72814adfad8e057ac515d3e1957dcc57dac712e7f17b41d73b7e513ade`；334087 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 2496 / cas 2830；字符：man 138808 / cas 231323
- man 顶层调用 Top：[["CheckData", 373], ["TestStepStart2", 232], ["ES10b_ListNotification", 107], ["TestStepStart", 93], ["SubLevel", 63], ["TS_SELECT", 32], ["TraceStart", 29], ["TS_MANAGE_CHANNEL_OPEN", 27], ["RSP_profile_load_procedure_LPAd", 27], ["GenHexData", 26]]
- cas bind 调用：[["checkData", 283], ["sendApdu", 113], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

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

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

```diff
--- man
+++ cas
@@ -1,2495 +1,2829 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification + TC_eUICC_ES10b_ListNotification_02_Nominal_Enable_Notification + TC_eUICC_ES10b_ListNotification_03_Nominal_Disable_Notification + TC_eUICC_ES10b_ListNotification_04_Nominal_Delete_Notification + TC_eUICC_ES10b_ListNotification_05_Nominal_Two_Install_Notifications_PIR_with_different_Notification_Address + TC_eUICC_ES10b_ListNotification_06_Nominal_Install_Notification_PIR_and_Enable_Notification + TC_eUICC_ES10b_ListNotification_07_Nominal_Disable_and_Delete_Notifications + TC_eUICC_ES10b_ListNotification_08_Nominal_Install_OtherSignedNotification_and_Enable_Notification + TC_eUICC_ES10b_ListNotification_09_Nominal_Enable_and_Install_PIR_Notifications + TC_eUICC_ES10b_ListNotification_10_Nominal_No_Notifications_available (extracted verbatim)
-
-function TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification()
-{
-	tracenamestr = "测试目的：列举安装通知";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curDis.TestStepStart2(stno++,"复位；");
-	ResetCard();
-
-	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；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
-	Profile_load_procedure.ICCID = ICCID_OP_PROF1;
-	Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest；");
-	Profile_load_procedure.ES10b_PrepareDownload();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccDataRequest(GetEID)；");
-	Profile_load_procedure.ES10b_GetEID();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行BoundProfilePackage；");
-	Profile_load_procedure.notificationConfigurationInfo = new SequenceOfElement("30");
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0] = new NotificationConfigurationInformation();
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].profileManagementOperation = "04F0";
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].notificationAddress = Profile_load_procedure.serverAddress;
-	Profile_load_procedure.ES10b_LoadBoundProfilePackage();
-
-	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(Profile_load_procedure.serverAddress,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[1].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(Profile_load_procedure.serverAddress,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].notificationAddress,"notificationAddress");
-		curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].iccid, "ICCID");
-	}catch(e){
-		obj.SubLevel(Notification_Data_Error, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification();
-	try
-	{
-		curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(Profile_load_procedure.serverAddress,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[1].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(Profile_load_procedure.serverAddress,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].notificationAddress,"notificationAddress");
-		curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].iccid, "ICCID");
-	}catch(e){
-		obj.SubLevel(Notification_Data_Error, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification("");
-	curStrHandle.CheckData("BF2802A000", Profile_load_procedure.listNotificationResponse.hexData, "通知检查");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification("0780");
-	try
-	{
-		curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(Profile_load_procedure.serverAddress,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[1].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(Profile_load_procedure.serverAddress,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].notificationAddress,"notificationAddress");
-		curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].iccid, "ICCID");
-	}catch(e){
-		obj.SubLevel(Notification_Data_Error, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification("0640");
-	curStrHandle.CheckData("BF2802A000", Profile_load_procedure.listNotificationResponse.hexData, "通知检查");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification("0520");
-	curStrHandle.CheckData("BF2802A000", Profile_load_procedure.listNotificationResponse.hexData, "通知检查");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification("0410");
-	curStrHandle.CheckData("BF2802A000", Profile_load_procedure.listNotificationResponse.hexData, "通知检查");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ListNotificationRequest；");
-	Profile_load_procedure.ES10b_ListNotification("06C0");
-	try
-	{
-		curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(Profile_load_procedure.serverAddress,Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].notificationAddress,"notificationAddress");
-		curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].iccid, "ICCID");
-
…（差异行超限，共 5326 行，此处截断）
```

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

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

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

- 命令计数：man 111 / cas 230；精确对齐 4，核心（CLA·INS·P1·P2·Lc）同 24，man-only 83，cas-only 202

| # | `-man` | `-cas` | 对齐 |
|---|---|---|---|
| 1 | `@RESET` | `@RESET` | exact |
| 2 | `80AA000007A9058100830137` | `80AA000007A9058100830107` | core_same |
| 3 | `0070000001` | `0070000001` | exact |
| 4 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF8900000100` | exact |
| 5 | `01C0000021` | `01C0000021` | exact |
| 6 | `81E2910003BF2800` | `81E2910003BF280000` | core_same |
| 7 | `81E2910003BF2000` | `81E2910003BF280000` | core_same |
| 8 | `81E2910003BF2E00` | `81E2910003BF280000` | core_same |
| 9 | `81E2910006BF3E035C015A` | `81E2910006BF280381010000` | core_same |
| 10 | `81E2910007BF2804810204F0` | `81E2910007BF28048102078000` | core_same |
| 11 | `81E2910003BF2800` | `81E2910003BF280000` | core_same |
| 12 | `81E2910007BF280481020780` | `81E2910007BF28048102078000` | core_same |
| 13 | `81E2910007BF280481020640` | `81E2910007BF28048102064000` | core_same |
| 14 | `81E2910007BF280481020520` | `81E2910007BF28048102052000` | core_same |
| 15 | `81E2910007BF280481020410` | `81E2910007BF28048102041000` | core_same |
| 16 | `81E2910007BF2804810206C0` | `81E2910007BF2804810206C000` | core_same |
| 17 | `81E2910007BF280481020430` | `81E2910007BF28048102043000` | core_same |
| 18 | `81E2910007BF280481020560` | `81E2910007BF28048102056000` | core_same |
| 19 | `81E2910007BF2804810205E0` | `81E2910007BF28048102047000` | core_same |
| 20 | `81E2910003BF2000` | `81E2910003BF280000` | core_same |
| 21 | `81E2910007BF3404820206C0` | `81E2910007BF28048102078000` | core_same |
| 22 | `81E2910007BF340482020520` | `81E2910007BF28048102064000` | core_same |
| 23 | `81E2910003BF2D00` | `81E2910003BF280000` | core_same |
| 24 | `81E2910003BF2800` | `81E2910003BF280000` | core_same |
| 25 | `81E2910006BF3003800178` | `81E2910006BF280381010000` | core_same |
| 26 | `81E2910006BF3003800179` | `81E2910006BF280381010000` | core_same |
| 27 | `81E2910006BF3003800177` | `81E2910006BF280381010000` | core_same |
| 28 | `81E2910003BF2800` | `81E2910003BF280000` | core_same |
| — | man-only: `0070000000`, `01C0000005`, `01C00000A9`, `01C0000015`, `81E21100FFBF388202F030498010DF536C72E6A8…7525350`, `81E21101FF54455354310B300906035504061302…603551D`, `81E29102F71104073005880388370A300E060355…3000010`, `01C0000000`, `01C0000000`, `01C0000000`, `01C0000000`, `01C0000000` | | |
| — | | cas-only: `00A40004023F0000`, `00C0000020`, `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `801200000F`, `801400000C810301250082028281830100`, `81E2910007BF2804810204F000`, `81C0000005`, `81C0000005`, `81E2910006BF280381010000`, `81C0000005`, `81E2910007BF28048102078000`, `81C0000005` | | |

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

- spec：/Users/yuhu/cas/原料/切片/4.2.14.2.1-TC_eUICC_ES10b.ListNotification/spec_intl/SGP.23-v1.16_4.2.14_ListNotification.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-20260929_034348/caseir_materialized_gate.json`

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

| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | `ResetCard()`（L9）＋`TS_TERMINAL_CAPABILITY_cmd()`（L12） | 通过（ttr 步骤1-2＝APDU3-10：复位/ATR/Terminal Capability SW 9000） |
| IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | `TS_MANAGE_CHANNEL_OPEN()`（L15）＋`TS_SELECT("Select ISD", ISD_R_AID, "9 | 通过（ttr 步骤3-4＝APDU11-22：开通道 01、Select ISD-R FCI `6F23…` SW 9000） |
| General IC 佐证（无通知存储；脚本附加预检，非规范步骤） | `Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_ | 通过（APDU24 `81E2910003BF2800`→APDU25 `BF2802A000`＝空列表——起点空卡态实证；空卡起点依赖前序 |
| IC3 Install PROFILE_OPERATIONAL1，不删除两条通知 | 装载链全内联：`ES10b_GetEUICCInfo1()`（L28）＋`ES10b_GetEUICCChallenge()`（L31）＋` | 通过（ttr 步骤6-11＝APDU29-206：Info1/Challenge/AuthenticateServer/PrepareDow |
| 1 #LIST_NOTIF_ALL → #R_LIST_NOTIF_IN1_IN1_PIR SW=9000（RQ35_016/RQ57_068/RQ57_068_1/RQ57_068_2/RQ57_069/RQ57_070/RQ25_020/RQ31_172） | `ES10b_ListNotification("04F0")`（L50）＋断言 L53-59：两元素各 profileManagement | 通过（APDU208 `81E2910007BF2804810204F0`→APDU209 `BF2854A052BF2F26800178… |
| 2 #LIST_NOTIF_OMITTED → 同上（RQ57_068_3） | 无参 `ES10b_ListNotification()`（L65）＋断言 L68-74（同 1） | 通过（APDU232 `BF2800`→APDU233 同两元素响应，断言行 APDU240-262 逐对相等） |
| 3 #LIST_NOTIF_NONE → #R_LIST_NOTIF_NONE 或 UNDEFINED_ERROR（RQ57_068_4） | `ES10b_ListNotification("")`（L80）＋`CheckData("BF2802A000", …hexData)`（ | 通过（APDU256 `81E2910005BF28028100`→APDU257 `BF2802A000`＝NONE 分支；APDU262 |
| 4 #LIST_NOTIF_INSTALL → 两元素（RQ57_068_2） | `ES10b_ListNotification("0780")`（L84）＋断言 L87-93 | 通过（APDU265 `…81020780`→APDU266 两元素响应） |
| 5 #LIST_NOTIF_ENABLE → 空（RQ57_068_4） | `ES10b_ListNotification("0640")`（L99）＋`CheckData("BF2802A000",…)`（L100 | 通过（APDU289→APDU290 `BF2802A000`，APDU295-296 相等） |
| 6 #LIST_NOTIF_DISABLE → 空 | `ES10b_ListNotification("0520")`（L103）＋同上（L104） | 通过（APDU298→APDU299 空列表） |
| 7 #LIST_NOTIF_DELETE → 空 | `ES10b_ListNotification("0410")`（L107）＋同上（L108） | 通过（APDU307→APDU308 空列表） |
| 8 #LIST_NOTIF_INSTALL_ENABLE → 两元素 | `ES10b_ListNotification("06C0")`（L111）＋断言 L114-120 | 通过（APDU316→APDU317 两元素响应，断言 APDU324-346 逐对相等） |
| 9 #LIST_NOTIF_DISABLE_DELETE → 空 | `ES10b_ListNotification("0430")`（L126）＋同上（L127） | 通过（APDU340→APDU341 空列表） |
| 10 #LIST_NOTIF_DISABLE_ENABLE → 空 | `ES10b_ListNotification("0560")`（L130）＋同上（L131） | 通过（APDU349→APDU350 空列表） |
| 11 #LIST_NOTIF_INSTALL_ENABLE_DISABLE → 两元素 | `ES10b_ListNotification("05E0")`（L134）＋断言 L137-143 | 通过（APDU358→APDU359 两元素响应，断言 APDU366-388 逐对相等） |
| （收尾，非规范步骤） | `RecoverCard()`（L148） | 通过（Transaction 2＝APDU381-548：MemoryReset 删 Operational+Test Profile、复位 |

cas CaseIR 步骤/检查：

| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S1-C1", "S1-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020", "RQ31_172"] |
| 2 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S2-C1", "S2-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 3 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S3-C1", "S3-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 4 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S4-C1", "S4-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 5 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S5-C1", "S5-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 6 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S6-C1", "S6-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 7 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S7-C1", "S7-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 8 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S8-C1", "S8-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 9 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S9-C1", "S9-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 10 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S10-C1", "S10-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 11 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S11-C1", "S11-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 12 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S12-C1", "S12-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070", "RQ31_172"] |
| 13 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S13-C1", "S13-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070"] |
| 14 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S14-C1", "S14-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 15 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S15-C1", "S15-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 16 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S16-C1", "S16-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 17 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S17-C1", "S17-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 18 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S18-C1", "S18-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 19 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S19-C1", "S19-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 20 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S20-C1", "S20-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 21 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S21-C1", "S21-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 22 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S22-C1", "S22-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 23 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S23-C1", "S23-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070", "RQ31_172"] |
| 24 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S24-C1", "S24-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070"] |
| 25 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S25-C1", "S25-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 26 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S26-C1", "S26-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 27 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S27-C1", "S27-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 28 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S28-C1", "S28-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 29 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S29-C1", "S29-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 30 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S30-C1", "S30-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 31 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S31-C1", "S31-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 32 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S32-C1", "S32-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 33 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S33-C1", "S33-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 34 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S34-C1", "S34-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070", "RQ31_172"] |
| 35 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S35-C1", "S35-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070"] |
| 36 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S36-C1", "S36-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 37 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S37-C1", "S37-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 38 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S38-C1", "S38-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 39 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S39-C1", "S39-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 40 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S40-C1", "S40-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 41 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S41-C1", "S41-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 42 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S42-C1", "S42-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 43 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S43-C1", "S43-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 44 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE_DISABLE_DELETE) | ["S44-C1", "S44-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 45 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S45-C1", "S45-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020", "RQ31_172"] |
| 46 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S46-C1", "S46-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 47 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S47-C1", "S47-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 48 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S48-C1", "S48-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 49 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S49-C1", "S49-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 50 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S50-C1", "S50-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 51 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S51-C1", "S51-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 52 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S52-C1", "S52-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 53 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S53-C1", "S53-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 54 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S54-C1", "S54-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 55 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S55-C1", "S55-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 56 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S56-C1", "S56-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020", "RQ31_172"] |
| 57 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S57-C1", "S57-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 58 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S58-C1", "S58-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 59 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S59-C1", "S59-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 60 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S60-C1", "S60-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 61 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S61-C1", "S61-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 62 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S62-C1", "S62-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 63 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S63-C1", "S63-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 64 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S64-C1", "S64-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 65 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S65-C1", "S65-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 66 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S66-C1", "S66-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 67 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S67-C1", "S67-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070", "RQ31_172"] |
| 68 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S68-C1", "S68-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070"] |
| 69 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S69-C1", "S69-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 70 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S70-C1", "S70-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 71 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S71-C1", "S71-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 72 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S72-C1", "S72-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 73 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S73-C1", "S73-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 74 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S74-C1", "S74-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 75 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S75-C1", "S75-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 76 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S76-C1", "S76-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 77 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S77-C1", "S77-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 78 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S78-C1", "S78-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070", "RQ31_172"] |
| 79 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S79-C1", "S79-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070"] |
| 80 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S80-C1", "S80-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 81 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S81-C1", "S81-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 82 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S82-C1", "S82-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 83 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S83-C1", "S83-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 84 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S84-C1", "S84-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 85 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S85-C1", "S85-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 86 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S86-C1", "S86-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 87 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S87-C1", "S87-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 88 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S88-C1", "S88-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 89 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S89-C1", "S89-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020", "RQ31_172"] |
| 90 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S90-C1", "S90-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_3", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 91 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S91-C1", "S91-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 92 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S92-C1", "S92-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 93 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S93-C1", "S93-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 94 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S94-C1", "S94-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 95 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S95-C1", "S95-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 96 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S96-C1", "S96-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 97 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S97-C1", "S97-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 98 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S98-C1", "S98-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_069", "RQ57_070"] |
| 99 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S99-C1", "S99-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_2", "RQ57_069", "RQ57_070", "RQ25_020"] |
| 100 | MTD_STORE_DATA( #LIST_NOTIF_ALL) | ["S100-C1", "S100-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 101 | MTD_STORE_DATA( #LIST_NOTIF_OMITTED) | ["S101-C1", "S101-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_3", "RQ57_068_4", "RQ57_069"] |
| 102 | MTD_STORE_DATA( #LIST_NOTIF_NONE) | ["S102-C1", "S102-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 103 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL) | ["S103-C1", "S103-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 104 | MTD_STORE_DATA( #LIST_NOTIF_ENABLE) | ["S104-C1", "S104-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 105 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE) | ["S105-C1", "S105-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 106 | MTD_STORE_DATA( #LIST_NOTIF_DELETE) | ["S106-C1", "S106-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 107 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE) | ["S107-C1", "S107-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 108 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_DELETE) | ["S108-C1", "S108-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 109 | MTD_STORE_DATA( #LIST_NOTIF_DISABLE_ENABLE) | ["S109-C1", "S109-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |
| 110 | MTD_STORE_DATA( #LIST_NOTIF_INSTALL_ENABLE_DISABLE) | ["S110-C1", "S110-C2"] | ["RQ35_016", "RQ57_068", "RQ57_068_1", "RQ57_068_4", "RQ57_069"] |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 220 项 / 生成体 checkData 283 次 / S 标号重合 220 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 228 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：映射行 16；TTR 期望/实际回声 248；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - C025 条件定义不在输入包 C_conditional_codes 段内（仅 C001-C018 在场）：seq#05 适用性维持待定登记；A_iut_capability_defs 含 O_E_2_PIR 但绑定关系未建立
  - #METADATA_OP_PROF1_NO_INSTALL / #METADATA_OP_PROF2_NO_INSTALL 常量定义不在输入包 F_annexA 段内（seq#05/#06/#09 IC 需要）——本波不补段，维持真空登记
  - §2.2.3.1 默认 Profile 下载过程与 Annex E PROFILE_OPERATIONAL1/2 定义不在输入包内：全部 Install/Enable/Disable/Delete 编排步（IC3+，共 23 步）维持声明面，不展开
  - 9000/91XX 成功条件（S22_5_7_2 行55：无 proactive 挂起=9000，有挂起=91XX）：本 TC Expected 列明文仅 SW=0x9000，断言不变；91XX/FETCH/TERMINAL RESPONSE 处理属测试工具责任（D_tc_structure_notation 行152）
  - E_tc_4214 行165（seq#06 步11）REQ 列原文 'RQ57_068_2RQ57_069' 缺空格，按 RQ57_068_2 与 RQ57_069 两条 REQ 解读并登记于 S116-C2 spec
  - tc.sequence 字段为单值而本 TC 含 10 个 Test Sequence：R2 合并登记不变；R5 折叠后步区间（IC1/IC2 declared 折叠＋卡态声明步落 open_items，步序仅 110 编号步）：seq#01=步1-11、seq#02=步12-22、seq#03=步23-33、seq#04=步34-44、seq#05=步45-55、seq#06=步56-66、seq#07=步67-77、seq#08=步78-88、seq#09=步89-99、seq#10=步100-110

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 339 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 83 / cas-only 202 |

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.14.2.1-TC_eUICC_ES10b.ListNotification/logs/20260908_125134_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification.ttr`
- cas 包/源：`../../packages/cas/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-20260929_034348/logs/444bff52_gapfix1/result/TC_eUICC_ES10b_ListNotification/TC_eUICC_ES10b_ListNotification_01_10_Nominal_E_tc_4214_10_Test_Sequence_schema.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.14.2.1-TC_eUICC_ES10b.ListNotification/spec_intl/SGP.23-v1.16_4.2.14_ListNotification.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.14.2.1-TC_eUICC_ES10b.ListNotification-20260929_034348/caseir_materialized_gate.json`
- step_map：`—`