eSIM RSP 测试用例对比站

人工切片（-man） ↔ Cas 盲生成（-cas）· 真机真卡执行证据对照
总览 / ES10b（LPA ↔ eUICC）：列出通知 / 4.2.14.2.1

4.2.14.2.1 ES10b 列出通知

TC_eUICC_ES10b.ListNotification

章节：4.2.14 · ES10b (LPA -- eUICC): ListNotification配对状态：PAIRED报告生成：2026-10-08 22:57:10数据包生成：2026-10-08 22:57:09
-man 人工切片
终态
ok `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）
ErrorCount
0
执行 job
20261007_122533:397fb23999074046a6d4fe86bcef1695
html_run
20261007_170740
包 sha256
a397f9db70e0da1a…
包大小
247.4 KB
查看原生 HTML 执行日志下载脚本包（247.4 KB）
日志源：logs/20261007_170740/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification.html
-cas 盲生成
终态
failed card_state（profile_op1_disabled）；native blocked；历史通道=legacy wrapped（B2/C 证据：vendor PASS＋trace 缺口）
ErrorCount
221
执行 job
444bff52ae1a42e989b5ced7c5b7e0ac
html_run
444bff52_gapfix1
包 sha256
cecd383b8921a90a…
包大小
855.0 KB
判定
LEGACY_ATTEMPT
路由
legacy_wrapped
状态轴
execution=not_run(card_session_death) / place=not_attempted / release=not_ready / card_state=dead
查看原生 HTML 执行日志下载脚本包（855.0 KB）
源码对照（并排 + 完整 diff）报告 §2 执行摘要§4 源码对照§5 步骤 APDU 差异§6 规范字段 / REQ报告原文 Markdownsummary.json

差异概览（机械口径）

闭包文件层（l1）
man 34 / cas 82 个 JS；共同 31，一致 30，man-only 3，cas-only 51
命令序列层（l2）
man 111 / cas 230 条命令；完全一致 4，核心一致 24，长度尾部差 11，man-only 83，cas-only 202
规范覆盖（l3）
spec_steps 0，缺失 REQ 0 项，checkData 283 次，计数缺口 0，物化 FULL，执行 FAIL
断言自证（attestation）
js 断言 228 条 / 绑定层 0 条 / 缺口 0
机械差异分类
轴说明计数
RUN_DIFFman 通过 / cas 失败1
SCRIPT_DIALECT闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 83 / cas-only 202339

对比报告

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源类型入口用例
-man4.2.14.2.1-TC_eUICC_ES10b.ListNotification-man.zipa397f9db70e0da1a987af0b9fff6eafb0aac898b1a9ff6a2f12462200342a1dezipTC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification
-cas4.2.14.2.1-TC_eUICC_ES10b.ListNotification-cas.zipcecd383b8921a90af66b8cd792d09720fe2fabc006157952e7092c64fa1c9b68zip—
  • 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/终态）

侧终态/计划备注ErrorCountjob_id业务状态TTR诊断包
-manok_ok 复用（结构 A1-A7 PASS；_ok run 无厂商错误行）020261007_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—
-casfailedcard_state（profile_op1_disabled）；native blocked；历史通道=legacy wrapped（B2/C 证据：vend221444bff52ae1a42e989b5ced7c5b7e0ac—/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/4.2.14.2.1/man/TC_eUICC_ES10b_ListNotification_01_Nominal_Install_Notification.html；sha256 48c032f6d5a501cbda808c5e6473e88f82cc84b3c9370c2a87b76ba0e14eb0c3；271438 bytes）
  • -cas：NATIVE（../evidence/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
unified 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 行，此处截断）
### 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@RESETexact
280AA000007A905810083013780AA000007A9058100830107core_same
300700000010070000001exact
401A4040010A0000005591010FFFFFFFF890000010001A4040010A0000005591010FFFFFFFF8900000100exact
501C000002101C0000021exact
681E2910003BF280081E2910003BF280000core_same
781E2910003BF200081E2910003BF280000core_same
881E2910003BF2E0081E2910003BF280000core_same
981E2910006BF3E035C015A81E2910006BF280381010000core_same
1081E2910007BF2804810204F081E2910007BF28048102078000core_same
1181E2910003BF280081E2910003BF280000core_same
1281E2910007BF28048102078081E2910007BF28048102078000core_same
1381E2910007BF28048102064081E2910007BF28048102064000core_same
1481E2910007BF28048102052081E2910007BF28048102052000core_same
1581E2910007BF28048102041081E2910007BF28048102041000core_same
1681E2910007BF2804810206C081E2910007BF2804810206C000core_same
1781E2910007BF28048102043081E2910007BF28048102043000core_same
1881E2910007BF28048102056081E2910007BF28048102056000core_same
1981E2910007BF2804810205E081E2910007BF28048102047000core_same
2081E2910003BF200081E2910003BF280000core_same
2181E2910007BF3404820206C081E2910007BF28048102078000core_same
2281E2910007BF34048202052081E2910007BF28048102064000core_same
2381E2910003BF2D0081E2910003BF280000core_same
2481E2910003BF280081E2910003BF280000core_same
2581E2910006BF300380017881E2910006BF280381010000core_same
2681E2910006BF300380017981E2910006BF280381010000core_same
2781E2910006BF300380017781E2910006BF280381010000core_same
2881E2910003BF280081E2910003BF280000core_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_SEQUENCEResetCard()（L9）＋TS_TERMINAL_CAPABILITY_cmd()（L12）通过（ttr 步骤1-2＝APDU3-10：复位/ATR/Terminal Capability SW 9000）
IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDRTS_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 步骤/检查：

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