eSIM RSP 测试用例对比站

人工切片(-man) ↔ Cas 盲生成(-cas)· 真机真卡执行证据对照

4.2.15.2.1 ES10b 拉取通知列表

TC_eUICC_ES10b.RetrieveNotificationsList

章节:4.2.15 · ES10b (LPA -- eUICC): RetrieveNotificationsList配对状态: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_122623:fbe5820c61aa411fbe534dee4b7f6071
html_run
20261007_122623
包 sha256
0392a3da35947b9c…
包大小
249.3 KB
日志源(切片目录内相对路径):logs/20261007_122623/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification.html
-cas 盲生成
终态
failed 纯 native 零卡态前置(N0)
ErrorCount
5
执行 job
e0e3c4ca96f846bf86ce9c526a082ac4
html_run
3054172fc3af_att1
包 sha256
cdef3bc9e910a14d…
包大小
852.8 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 124 / cas 13 条命令;完全一致 4,核心一致 2,长度尾部差 1,man-only 118,cas-only 7
规范覆盖(l3)
spec_steps 0,缺失 REQ 0 项,checkData 360 次,计数缺口 0,物化 FULL,执行 FAIL
断言自证(attestation)
js 断言 360 条 / 绑定层 0 条 / 缺口 0
机械差异分类
轴说明计数
RUN_DIFFman 通过 / cas 失败1
SCRIPT_DIALECT闭包文件差:man-only 3 / cas-only 51;命令序列差:man-only 118 / cas-only 7179

对比报告

4.2.15.2.1 TC_eUICC_ES10b.RetrieveNotificationsList — -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.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-man.zip0392a3da35947b9c5b4b20bdab83bf087f7dc3fdd1a86f1638d99a1c0fd65d4czipTC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification
-cas4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-cas.zipcdef3bc9e910a14db95d33481890a3d716cb11e7d9bf108422c3d325fa373541zip—
  • man 源路径:../packages/man/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-man.zip
  • cas 源路径:../packages/cas/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-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_122623:fbe5820c61aa411fbe534dee4b7f6071—/Users/yuhu/cas/原料/切片/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList/logs/20260908_131039_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification.ttr—
-casfailed纯 native 零卡态前置(N0)5e0e3c4ca96f846bf86ce9c526a082ac4—/Users/yuhu/cas/experiments/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-20261004_022631/logs/e0e3c4ca96f846bf86ce9c526a082ac4/result/TC_eUICC_ES10b_RetrieveNotificationsList/TC_eUICC_ES10b_RetrieveNotificationsList_01_20_Nominal_all_20_sequences.ttr—
  • cas 块4账本:decision=RERUN;route=native_N0;live 事件 1 条(4.6 波次进行中;以块4终版账本为准)
  • cas 4.6 波次最新执行:terminal=failed;stage=verify;job=e0e3c4ca96f846bf86ce9c526a082ac4;gaps=["trace verdict=FAIL", "S2-SW: 期望 SW=9000,实际值 '6A88'(行 43)不符——证据矛盾", "S3-SW: 期望 SW=9000,实际值 '6A88'(行 43)不符——证据矛盾", "ORDER: 步骤 3([SEQ01-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<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.15.2.1/man/TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification.html;sha256 3cf72e3920db001ec69052414c94c076b849f674e25a66ea4756f6200335d2a4;289337 bytes)
  • -cas:NATIVE(../evidence/4.2.15.2.1/cas/TC_eUICC_ES10b_RetrieveNotificationsList_01_20_Nominal_all_20_sequences.html;sha256 3e28df36dbaa7ea9ec8fe72198bb261ffe30cabcc89c2cba0e5ee432e42ec057;13942 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 2977 / cas 2579;字符:man 188257 / cas 245160
  • man 顶层调用 Top:[["CheckData", 479], ["TestStepStart2", 165], ["TestStepStart", 134], ["ES10b_RetrieveNotificationsList", 126], ["GenASN1HexData", 116], ["SubLevel", 90], ["TraceStart", 42], ["TS_SELECT", 25], ["RSP_profile_load_procedure_LPAd", 25], ["RecoverCard", 20]]
  • cas bind 调用:[["checkData", 360], ["sendApdu", 140], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]
方言映射对命中数
ResetCard() ↔ bind.resetAndAtr()6
TS_*_cmd() ↔ bind.* 命令封装48
unified diff(截断预览)
--- man
+++ cas
@@ -1,2976 +1,2578 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_02_Nominal_Retrieve_by_Sequence_Number_for_Enable_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_03_Nominal_Retrieve_by_Sequence_Number_for_Disable_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_04_Nominal_Retrieve_by_Sequence_Number_for_Delete_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_05_Nominal_Retrieve_by_Sequence_Number_for_Two_Install_PIR_Notifications_with_different_Notification_Addresses + TC_eUICC_ES10b_RetrieveNotificationsList_06_Nominal_Retrieve_by_Sequence_Number_for_Install_PIR_and_Enable_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_07_Nominal_Retrieve_by_Sequence_Number_for_Disable_and_Delete_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_08_Nominal_Retrieve_by_Sequence_Number_for_Install_OtherSignedNotification_and_Enable_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_09_Nominal_Retrieve_by_Sequence_Number_for_Enable_and_Install_PIR_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_10_Nominal_Retrieve_Sequence_Numbers_that_are_not_present + TC_eUICC_ES10b_RetrieveNotificationsList_11_Nominal_Retrieve_by_Notification_Type_for_Install_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_12_Nominal_Retrieve_by_Notification_Type_for_Enable_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_13_Nominal_Retrieve_by_Notification_Type_for_Disable_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_14_Nominal_Retrieve_by_Notification_Type_for_Delete_Notification + TC_eUICC_ES10b_RetrieveNotificationsList_15_Nominal_Retrieve_by_Notification_Type_for_Two_Install_PIR_Notifications_with_different_Notification_Addresses + TC_eUICC_ES10b_RetrieveNotificationsList_16_Nominal_Retrieve_by_Notification_Type_for_Install_PIR_and_Enable_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_17_Nominal_Retrieve_by_Notification_Type_for_Disable_and_Delete_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_18_Nominal_Retrieve_by_Notification_Type_for_Install_OtherSignedNotification_and_Enable_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_19_Nominal_Retrieve_by_Notification_Type_for_Enable_and_Install_PIR_Notifications + TC_eUICC_ES10b_RetrieveNotificationsList_20_Nominal_Retrieve_by_Notification_Type_for_No_Notifications_available (extracted verbatim)
-
-function TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification()
-{
-	Remove_All_the_Notification();
-
-	tracenamestr = "Install PROFILE_OPERATIONAL1. Do not remove both the notifications. ";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curLogicChannel = 0;
-
-	curDis.TestStepStart("eUICC卡片初始化;");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart("读卡器向卡片发送MANAGE_CHANNEL命令,打开辅助逻辑通道;");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart("读卡器向卡片发送SELECT命令,选择ISD-R;");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令,执行GetEuiccInfo1Request;");
-	var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
-	Profile_load_procedure.ICCID = ICCID_OP_PROF1;
-	Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令,执行GetEuiccChallengeRequest;");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令,执行AuthenticateServerRequest;");
-	Profile_load_procedure.serverAddress = TEST_DP_ADDRESS1;
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令,执行PrepareDownloadRequest;");
-	Profile_load_procedure.ES10b_PrepareDownload();
-
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令,执行GetEuiccDataRequest(GetEID);");
-	Profile_load_procedure.ES10b_GetEID();
-
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令,执行BoundProfilePackage;");
-	Profile_load_procedure.serviceProviderName = SP_NAME1;
-	Profile_load_procedure.profileName = NAME_OP_PROF1;
-	Profile_load_procedure.iconType = "01";
-	Profile_load_procedure.icon = ICON_OP_PROF1;
-	Profile_load_procedure.notificationConfigurationInfo = new SequenceOfElement("30");
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0] = new NotificationConfigurationInformation();
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].profileManagementOperation = "04F0";//NotificationEvent ::= BIT STRING {  notificationInstall(0), notificationEnable(1), notificationDisable(2), notificationDelete(3) }
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].notificationAddress = TEST_DP_ADDRESS1;
-	Profile_load_procedure.profileClass = "02";
-	Profile_load_procedure.mccMnc = MCC_MNC1;
-	Profile_load_procedure.ES10b_LoadBoundProfilePackage();
-
-
-	tracenamestr = "Retrieve by Sequence Number for Install Notification";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	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");
-
-		curStrHandle.CheckData("0780",Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].profileManagementOperation,"profileManagementOperation");
-		curStrHandle.CheckData(TEST_DP_ADDRESS1,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命令,执行RetrieveNotificationsListRequest--通过seqNumber;");
-	var parameter = Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[0].seqNumber;
-	parameter=GenASN1HexData(tagOfsearchCriteria_Notifications.seqNumber,parameter);
-	Profile_load_procedure.ES10b_RetrieveNotificationsList(parameter);
-
-	try
-	{
-		if (Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][0] == tagOfPendingNotification.profileInstallationResult)
-		{
-			curStrHandle.CheckData("0780", Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].profileInstallationResultData.notificationMetadata.profileManagementOperation  ,"profileManagementOperation");
-			curStrHandle.CheckData(TEST_DP_ADDRESS1, Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].profileInstallationResultData.notificationMetadata.notificationAddress  ,"notificationAddress");
-			curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].profileInstallationResultData.notificationMetadata.iccid  ,"iccid");
-		}
-		else
-		{
-			curStrHandle.CheckData("0780",Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].tbsOtherNotification.profileManagementOperation,"profileManagementOperation");
-			curStrHandle.CheckData(TEST_DP_ADDRESS1,Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].tbsOtherNotification.notificationAddress,"notificationAddress");
-			curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].tbsOtherNotification.iccid, "ICCID");
-		}
-
-	}catch(e){
-		obj.SubLevel(Notification_Data_Error, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令,执行RetrieveNotificationsListRequest--通过seqNumber;");
-	var parameter = Profile_load_procedure.listNotificationResponse.notificationMetadataList.arrOfElement[1].seqNumber;
-	parameter=GenASN1HexData(tagOfsearchCriteria_Notifications.seqNumber,parameter);
-	Profile_load_procedure.ES10b_RetrieveNotificationsList(parameter);
-
-	try
-	{
-		if (Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][0] == tagOfPendingNotification.profileInstallationResult)
-		{
-			curStrHandle.CheckData("0780", Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].profileInstallationResultData.notificationMetadata.profileManagementOperation  ,"profileManagementOperation");
-			curStrHandle.CheckData(TEST_DP_ADDRESS1, Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].profileInstallationResultData.notificationMetadata.notificationAddress  ,"notificationAddress");
-			curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].profileInstallationResultData.notificationMetadata.iccid  ,"iccid");
-		}
-		else
-		{
-			curStrHandle.CheckData("0780",Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].tbsOtherNotification.profileManagementOperation,"profileManagementOperation");
-			curStrHandle.CheckData(TEST_DP_ADDRESS1,Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].tbsOtherNotification.notificationAddress,"notificationAddress");
-			curStrHandle.CheckData(ICCID_OP_PROF1, Profile_load_procedure.retrieveNotificationsListResponse.notificationList.arrOfElement[0][1].tbsOtherNotification.iccid, "ICCID");
-		}
-	}catch(e){
…(差异行超限,共 5556 行,此处截断)
### 4.2 UCE/命名对照
  • man:ESIM_TEST_SGP_23.UCE;入口 [('TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification', 'ES10b(LPA -- eUICC):RetrieveNotificationsList', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
  • cas:TC_eUICC_ES10b_RetrieveNotificationsList/TC_eUICC_ES10b_RetrieveNotificationsList.uce;入口 [('TC_eUICC_ES10b_RetrieveNotificationsList_01_20_Nominal_all_20_sequences', 'TC_eUICC_ES10b_RetrieveNotificationsList', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10b_RetrieveNotificationsList_01_20_Nominal_all_20_sequences)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

5. L2 步骤/APDU/step_map 差异(结构化对齐)

  • 命令计数:man 124 / cas 13;精确对齐 4,核心(CLA·INS·P1·P2·Lc)同 2,man-only 118,cas-only 7
#-man-cas对齐
1@RESET@RESETexact
280AA000007A905810083013780AA000007A9058100830107core_same
300700000010070000001exact
401A4040010A0000005591010FFFFFFFF890000010001A4040010A0000005591010FFFFFFFF8900000100exact
501C000002101C0000021exact
681E2910007BF2804810204F081E2910007BF2804810204F000core_same
—man-only: 0070000000, 81E2910003BF2800, 01C0000005, @RESET, 00A40004023F00, 00C0000020, 80AA000007A9058100830137, 8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038, 801200000F, 801400000C810301250082028281830100, 0070000000, 0070000001
—cas-only: 00A40004023F0000, 00C0000020, 8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200, 801200000F, 801400000C810301250082028281830100, 81C0000005, 81E2910000

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

  • spec:/Users/yuhu/cas/原料/切片/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList/spec_intl/SGP.23-v1.16_4.2.15_RetrieveNotificationsList.md(风格:mapping);caseir:/Users/yuhu/cas/experiments/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-20261004_022631/caseir_materialized_gate.json

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

规范步骤man 脚本实现man 实跑结果
(脚本自清前置,非规范步骤)Remove_All_the_Notification()(L5;定义在 TestStep.js L1051)通过(Transaction 1=APDU2-28:复位/TC/开通道/Select ISD-R 后通知清零,空列表直过——**卡态形态="
IC1/IC2 初始化+ISD-RIni_powerOn_eUICC_LPAe_not_activate()(L13)+`TS_MANAGE_CHANNEL_OPEN()通过(Transaction 2 头部 APDU30-48:复位/ATR/MF/TC/开通道/Select ISD-R 全 9000)
IC3 Install PROFILE_OPERATIONAL1,不删除两条通知RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA)(L24)装载链:`通过(Transaction 2=APDU29-264:Info1/Challenge/AuthenticateServer(「卡片返回签名
IC4 #LIST_NOTIF_ALL → #R_LIST_NOTIF_IN1_IN1_PIRES10b_ListNotification("04F0")(L60)+断言 L63-69(两元素各 op="0780"/addr=通过(APDU267 81E2910007BF2804810204F0→APDU268 BF285EA05C… 两元素,seq=0x
1 MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1>) → #R_RETRIEVE_NOTIF_IN1,验签 euiccNotificationSignature(RQ57_071 系/RQ57_072 系/RQ57_074/RQ57_075/RQ57_076/RQ26_034/RQ26_035/RQ31_174/RQ35_001_1/RQ35_001_2/RQ35_003_1)取 element[0].seqNumber+`GenASN1HexData(tagOfsearchCriteria_Notificatio通过(APDU291 81E2910008BF2B05A00380017F〔seq=127〕→链式 5 段 GET RESPONSE 读
2 MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1_PIR>) → #R_RETRIEVE_NOTIF_IN1_PIR,验签 euiccSignPIR(RQ57_071_3/RQ25_020/RQ25_021)取 element[1].seqNumber 同法(L99-101)+分支断言 L105-116通过(APDU316 …80017E〔seq=126〕→BF2B81B3A081B0BF3781ACBF276680106…〔**P
(收尾,非规范步骤)DELETE PROFILE_OPERATIONAL1:DeleteProfileRequest{iccid}(L139-142,期望通过(Transaction 4=APDU330-368:APDU352 81E291000FBF330C5A0A98…→APDU353

cas CaseIR 步骤/检查:

步动作checksREQ
1[SEQ01-IC4] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S1-C1", "S1-C2"][]
2[SEQ01-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S2-C1", "S2-C2", "S2-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1", "RQ35_001_2", "RQ35_003_1"]
3[SEQ01-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S3-C1", "S3-C2", "S3-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1", "RQ35_001_2", "RQ35_003_1"]
4[SEQ02-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S4-C1", "S4-C2"][]
5[SEQ02-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_EN1["S5-C1", "S5-C2", "S5-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_2", "RQ35_003_1"]
6[SEQ03-IC6] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S6-C1", "S6-C2"][]
7[SEQ03-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_DI1["S7-C1", "S7-C2", "S7-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_2", "RQ35_003_1"]
8[SEQ04-IC7] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S8-C1", "S8-C2"][]
9[SEQ04-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_DE1["S9-C1", "S9-C2", "S9-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_2", "RQ35_003_1"]
10[SEQ05-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S10-C1", "S10-C2"][]
11[SEQ05-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S11-C1", "S11-C2", "S11-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
12[SEQ05-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN2["S12-C1", "S12-C2", "S12-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
13[SEQ06-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S13-C1", "S13-C2"][]
14[SEQ06-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S14-C1", "S14-C2", "S14-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
15[SEQ06-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_EN1["S15-C1", "S15-C2", "S15-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
16[SEQ07-IC7] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S16-C1", "S16-C2"][]
17[SEQ07-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_DI1["S17-C1", "S17-C2", "S17-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
18[SEQ07-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_DE1["S18-C1", "S18-C2", "S18-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
19[SEQ08-IC5] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S19-C1", "S19-C2"][]
20[SEQ08-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S20-C1", "S20-C2", "S20-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_1"]
21[SEQ08-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_EN1["S21-C1", "S21-C2", "S21-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
22[SEQ09-IC6] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S22-C1", "S22-C2"][]
23[SEQ09-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN2["S23-C1", "S23-C2", "S23-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
24[SEQ09-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_EN1["S24-C1", "S24-C2", "S24-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
25[SEQ10-IC4] MTD_STORE_DATA( #LIST_NOTIF_ALL)["S25-C1", "S25-C2"][]
26[SEQ10-1] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S26-C1", "S26-C2", "S26-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ26_034", "RQ26_035"]
27[SEQ10-2] MTD_STORE_DATA( MTD_RETRIEVE_NOTIF_SEQ_NUM(<NOTIF_SEQ_NO_IN1["S27-C1", "S27-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
28[SEQ11-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S28-C1", "S28-C2", "S28-C3", "S28-C4"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
29[SEQ11-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S29-C1", "S29-C2", "S29-C3", "S29-C4"]["RQ57_071", "RQ57_071_1", "RQ57_071_3", "RQ57_071_4", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
30[SEQ11-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S30-C1", "S30-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
31[SEQ11-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S31-C1", "S31-C2", "S31-C3", "S31-C4"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
32[SEQ11-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S32-C1", "S32-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
33[SEQ11-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S33-C1", "S33-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
34[SEQ11-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S34-C1", "S34-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
35[SEQ11-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL _ENABLE)["S35-C1", "S35-C2", "S35-C3", "S35-C4"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
36[SEQ11-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S36-C1", "S36-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
37[SEQ11-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S37-C1", "S37-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
38[SEQ11-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S38-C1", "S38-C2", "S38-C3", "S38-C4"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_071_3", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
39[SEQ12-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S39-C1", "S39-C2", "S39-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
40[SEQ12-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S40-C1", "S40-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_4", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
41[SEQ12-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S41-C1", "S41-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
42[SEQ12-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S42-C1", "S42-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
43[SEQ12-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S43-C1", "S43-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
44[SEQ12-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S44-C1", "S44-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
45[SEQ12-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S45-C1", "S45-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
46[SEQ12-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S46-C1", "S46-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
47[SEQ12-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S47-C1", "S47-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
48[SEQ12-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S48-C1", "S48-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
49[SEQ12-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S49-C1", "S49-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
50[SEQ13-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S50-C1", "S50-C2", "S50-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
51[SEQ13-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S51-C1", "S51-C2", "S51-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_4", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
52[SEQ13-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S52-C1", "S52-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
53[SEQ13-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S53-C1", "S53-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
54[SEQ13-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S54-C1", "S54-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
55[SEQ13-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S55-C1", "S55-C2", "S55-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
56[SEQ13-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S56-C1", "S56-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
57[SEQ13-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S57-C1", "S57-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
58[SEQ13-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S58-C1", "S58-C2", "S58-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
59[SEQ13-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S59-C1", "S59-C2", "S59-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
60[SEQ13-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S60-C1", "S60-C2", "S60-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
61[SEQ14-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S61-C1", "S61-C2", "S61-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
62[SEQ14-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S62-C1", "S62-C2", "S62-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_4", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
63[SEQ14-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S63-C1", "S63-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
64[SEQ14-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S64-C1", "S64-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
65[SEQ14-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S65-C1", "S65-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
66[SEQ14-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S66-C1", "S66-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
67[SEQ14-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S67-C1", "S67-C2", "S67-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
68[SEQ14-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S68-C1", "S68-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
69[SEQ14-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S69-C1", "S69-C2", "S69-C3"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
70[SEQ14-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S70-C1", "S70-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
71[SEQ14-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S71-C1", "S71-C2"]["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
72[SEQ15-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S72-C1", "S72-C2", "S72-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
73[SEQ15-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S73-C1", "S73-C2", "S73-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
74[SEQ15-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S74-C1", "S74-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
75[SEQ15-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S75-C1", "S75-C2", "S75-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
76[SEQ15-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S76-C1", "S76-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
77[SEQ15-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S77-C1", "S77-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
78[SEQ15-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S78-C1", "S78-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
79[SEQ15-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S79-C1", "S79-C2", "S79-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
80[SEQ15-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S80-C1", "S80-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
81[SEQ15-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S81-C1", "S81-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
82[SEQ15-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S82-C1", "S82-C2", "S82-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
83[SEQ16-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S83-C1", "S83-C2", "S83-C3", "S83-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
84[SEQ16-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S84-C1", "S84-C2", "S84-C3", "S84-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
85[SEQ16-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S85-C1", "S85-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
86[SEQ16-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S86-C1", "S86-C2", "S86-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
87[SEQ16-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S87-C1", "S87-C2", "S87-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
88[SEQ16-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S88-C1", "S88-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
89[SEQ16-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S89-C1", "S89-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
90[SEQ16-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S90-C1", "S90-C2", "S90-C3", "S90-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
91[SEQ16-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S91-C1", "S91-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
92[SEQ16-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S92-C1", "S92-C2", "S92-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
93[SEQ16-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S93-C1", "S93-C2", "S93-C3", "S93-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
94[SEQ17-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S94-C1", "S94-C2", "S94-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
95[SEQ17-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S95-C1", "S95-C2", "S95-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
96[SEQ17-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S96-C1", "S96-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
97[SEQ17-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S97-C1", "S97-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_074"]
98[SEQ17-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S98-C1", "S98-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
99[SEQ17-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S99-C1", "S99-C2", "S99-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
100[SEQ17-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S100-C1", "S100-C2", "S100-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
101[SEQ17-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S101-C1", "S101-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
102[SEQ17-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S102-C1", "S102-C2", "S102-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
103[SEQ17-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S103-C1", "S103-C2", "S103-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
104[SEQ17-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S104-C1", "S104-C2", "S104-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
105[SEQ18-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S105-C1", "S105-C2", "S105-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_1"]
106[SEQ18-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S106-C1", "S106-C2", "S106-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_1"]
107[SEQ18-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S107-C1", "S107-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
108[SEQ18-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S108-C1", "S108-C2", "S108-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_1"]
109[SEQ18-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S109-C1", "S109-C2", "S109-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
110[SEQ18-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S110-C1", "S110-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
111[SEQ18-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S111-C1", "S111-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
112[SEQ18-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S112-C1", "S112-C2", "S112-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_1"]
113[SEQ18-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S113-C1", "S113-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
114[SEQ18-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S114-C1", "S114-C2", "S114-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
115[SEQ18-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S115-C1", "S115-C2", "S115-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035", "RQ35_001_1"]
116[SEQ19-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S116-C1", "S116-C2", "S116-C3", "S116-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
117[SEQ19-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S117-C1", "S117-C2", "S117-C3", "S117-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
118[SEQ19-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S118-C1", "S118-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
119[SEQ19-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S119-C1", "S119-C2", "S119-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
120[SEQ19-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S120-C1", "S120-C2", "S120-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
121[SEQ19-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S121-C1", "S121-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
122[SEQ19-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S122-C1", "S122-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
123[SEQ19-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S123-C1", "S123-C2", "S123-C3", "S123-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
124[SEQ19-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S124-C1", "S124-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
125[SEQ19-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S125-C1", "S125-C2", "S125-C3"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ26_034", "RQ26_035"]
126[SEQ19-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S126-C1", "S126-C2", "S126-C3", "S126-C4"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_073_1", "RQ57_074", "RQ57_075", "RQ57_076", "RQ25_020", "RQ25_021", "RQ26_034", "RQ26_035", "RQ31_174", "RQ35_001_1"]
127[SEQ20-1] MTD_STORE_DATA( #RETRIEVE_NOTIF_ALL)["S127-C1", "S127-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
128[SEQ20-2] MTD_STORE_DATA( #RETRIEVE_NOTIF_OMITTED)["S128-C1", "S128-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
129[SEQ20-3] MTD_STORE_DATA( #RETRIEVE_NOTIF_NONE)["S129-C1", "S129-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
130[SEQ20-4] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL)["S130-C1", "S130-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
131[SEQ20-5] MTD_STORE_DATA( #RETRIEVE_NOTIF_ENABLE)["S131-C1", "S131-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
132[SEQ20-6] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE)["S132-C1", "S132-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
133[SEQ20-7] MTD_STORE_DATA( #RETRIEVE_NOTIF_DELETE)["S133-C1", "S133-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
134[SEQ20-8] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE)["S134-C1", "S134-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
135[SEQ20-9] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_DELETE)["S135-C1", "S135-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
136[SEQ20-10] MTD_STORE_DATA( #RETRIEVE_NOTIF_DISABLE_ENABLE)["S136-C1", "S136-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]
137[SEQ20-11] MTD_STORE_DATA( #RETRIEVE_NOTIF_INSTALL_ENABLE_DISABLE)["S137-C1", "S137-C2"]["RQ57_071", "RQ57_072", "RQ57_072_1", "RQ57_073", "RQ57_074"]

6.1 充分性分析(启发式,不作最终裁定)

  • cas:NO_MECHANICAL_GAPS(全步有检查=True;REQ 全覆盖=True;ErrorCount==0=False)
  • cas 物化核对(启发式旁证,权威见下行 attestation):声明检查 352 项 / 生成体 checkData 360 次 / S 标号重合 352 / 计数缺口 0 / 形态 FULL;执行面 FAIL(计数缺口须结合绑定层隐含断言核验,非直接判缺陷)
  • cas 编译器自证(check_attestation,同批构建):声明 None = js 360 + binding 0 + gap 0;缺口判定以本行为权威(启发式计数仅旁证)
  • man:映射行 7;TTR 期望/实际回声 224;厂商工具内置审计(TTR 期望/实际回声行为证据);脚本字节级充分性不可完全外部验证
  • caseir open_items:
  • #METADATA_OP_PROF1_NO_INSTALL / #METADATA_OP_PROF2_NO_INSTALL 常量定义不在输入包(SEQ05/06/09/10/15/16/19 的 IC 引用)。
  • C025 条件文本不在输入包(C_conditional_codes 段止于 C018),SEQ05/SEQ15 适用性依赖无法判定。
  • 每个测试序列执行后须执行 clean-up(CU)恢复 Common Initial State(D_tc_structure_notation 行50),编排责任。
  • R2 残余真空:NotificationEvent BIT STRING 位序(notificationInstall/Enable/Disable/Delete 位位置)不在输入包——位图类请求(#RETRIEVE_NOTIF_ALL 等、#LIST_NOTIF_ALL)data 保持 null;仅结构(BF2B/BF28+A1)已闭合。
  • 卡态 IC 行(裁定 B 声明面,不展开):Install PROFILE_OPERATIONAL2 with #METADATA_OP_PROF2_NO_INSTALL (download procedure 2.2.3.1 with exceptions: #CERT_S_SM_DP2auth_ECDSA in #AUTH_SMDP_MATCH_ID; #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_DIFF1man 通过 / cas 失败
SCRIPT_DIALECT179闭包文件差:man-only 3 / cas-only 51;命令序列差:man-only 118 / cas-only 7
侧根因候选(七类,启发式签名)签名
cascard_vs_spec_mismatch`69856A886D00`
签名为文本面启发式命中(如 6D00 等 SW 亦可能是负例期望值),须结合 Expected 面核验后方可定论。
  • 置信度:heuristic;需人工复核:False

8. 证据路径

  • man 包:../packages/man/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-man.zip
  • man TTR:/Users/yuhu/cas/原料/切片/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList/logs/20260908_131039_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_RetrieveNotificationsList_01_Nominal_Retrieve_by_Sequence_Number_for_Install_Notification.ttr
  • cas 包/源:../packages/cas/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-cas.zip
  • cas TTR:/Users/yuhu/cas/experiments/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-20261004_022631/logs/e0e3c4ca96f846bf86ce9c526a082ac4/result/TC_eUICC_ES10b_RetrieveNotificationsList/TC_eUICC_ES10b_RetrieveNotificationsList_01_20_Nominal_all_20_sequences.ttr
  • spec_intl:/Users/yuhu/cas/原料/切片/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList/spec_intl/SGP.23-v1.16_4.2.15_RetrieveNotificationsList.md
  • caseir:/Users/yuhu/cas/experiments/4.2.15.2.1-TC_eUICC_ES10b.RetrieveNotificationsList-20261004_022631/caseir_materialized_gate.json
  • step_map:—