eSIM RSP 测试用例对比站

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

4.2.5.2.1 ES8+ 存储元数据

TC_eUICC_ES8+.StoreMetadata

章节:4.2.5 · ES8+ (SM-DP+ -- eUICC): StoreMetadata配对状态:PAIRED报告生成:2026-10-08 22:57:11数据包生成:2026-10-08 22:57:09
-man 人工切片
终态
ok `_ok` 复用(结构 A1-A7 PASS;`_ok` run 无厂商错误行)
ErrorCount
0
执行 job
20261007_132808:851afe6388114ccdb63f71dac8e3aeaf
html_run
20261007_132808
包 sha256
dd21e9f4ef4a9a84…
包大小
244.7 KB
日志源:logs/20261007_132808/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set.html
-cas 盲生成
终态
failed 纯 native 零卡态前置(N0)
ErrorCount
207
执行 job
f92bcf702df94a6bb193d1f894546b68
html_run
f92bcf70_gapfix1
包 sha256
447023cf550f9169…
包大小
838.5 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 100 / cas 0 条命令;完全一致 0,核心一致 0,长度尾部差 0,man-only 100,cas-only 0
规范覆盖(l3)
spec_steps 0,缺失 REQ 5 项,checkData 64 次,计数缺口 13,物化 DEFICIT,执行 FAIL
断言自证(attestation)
js 断言 54 条 / 绑定层 23 条 / 缺口 0
机械差异分类
轴说明计数
RUN_DIFFman 通过 / cas 失败1
SCRIPT_DIALECT闭包文件差:man-only 3 / cas-only 5154
GEN_DIFF命令序列差:man-only 100 / cas-only 0;REQ 覆盖缺口:['RQ55_034', 'RQ55_036', 'RQ55_037', '步 2 RQ25_023/RQ25_024--PIR 成功+验签', '步 3 RQ32_071/RQ29_001/RQ29_002--元数据读回核验)']105

对比报告

4.2.5.2.1 TC_eUICC_ES8+.StoreMetadata — -man ↔ -cas diff 报告

交付形态说明:本报告随专家交付包分发——-man/-cas 脚本包 zip 与 190server HTML 执行日志已内联至 packages/、evidence-html/,相应路径已相对化;TTR、spec_intl、caseir 等仓内留痕仍为生成机原始路径(未随包)。
  • 生成时间:2026-10-08 22:57:11 |引擎:holiday-blk5/0.1|配对状态:PAIRED
  • 分母口径:卡侧 61 之一

1. 配对与包

侧包/源sha256源类型入口用例
-man4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-man.zipdd21e9f4ef4a9a842da7b3dab9165d5180d9db406bb4db93ac664fac7fa22b2bzipTC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set
-cas4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-cas.zip447023cf550f91698efdfb6c91a46dce5f3ca181a83e256aad2bd9662773faebzip—
  • man 源路径:../packages/man/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-man.zip
  • cas 源路径:../packages/cas/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-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_132808:851afe6388114ccdb63f71dac8e3aeaf—/Users/yuhu/cas/原料/切片/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata/logs/20260907_182420_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set.ttr—
-casfailed纯 native 零卡态前置(N0)207f92bcf702df94a6bb193d1f894546b68—/Users/yuhu/cas/experiments/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-20261004_021948/logs/f92bcf70_gapfix1/result/TC_eUICC_ES8_StoreMetadata/TC_eUICC_ES8_StoreMetadata_01_09_10_VOID_01_06_Nominal_07_09_Error_steps.ttr—
  • cas 块4账本:decision=RERUN;route=native_N0;live 事件 2 条(4.6 波次进行中;以块4终版账本为准)
  • cas 4.6 波次最新执行:terminal=failed;stage=cas_gapfix_rerun;job=f92bcf702df94a6bb193d1f894546b68;gaps=["gapfix-rerun:job 终态 succeeded,业务判 failed(error_count=4);failed 亦为有效终态,如实登记"]
  • cas 失败归因引用(块4):b3-attribution.md
  • cas 证据来源分层:RERUN → 本轮 4.6 波次执行

3. HTML 执行日志状态

  • -man:NATIVE(../evidence/4.2.5.2.1/man/TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set.html;sha256 565052d8ac2e0f04cb5b3833d914a365b2c9fe3d1e77660d677e8994b8d1be37;240630 bytes)
  • -cas:NATIVE(../evidence/4.2.5.2.1/cas/TC_eUICC_ES8_StoreMetadata_01_09_10_VOID_01_06_Nominal_07_09_Error_steps.html;sha256 bb9983073bc3c6c73552581396f6cb36256c90023bec05d548843257256dceb2;65012 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 689 / cas 828;字符:man 34634 / cas 63768
  • man 顶层调用 Top:[["TestStepStart2", 96], ["CheckData", 46], ["NotificationConfigurationInformation", 11], ["TraceStart", 10], ["Ini_powerOn_eUICC_LPAe_not_activate", 10], ["TS_MANAGE_CHANNEL_OPEN", 10], ["TS_SELECT", 10], ["RSP_profile_load_procedure_LPAd", 10], ["ES10b_GetEUICCInfo1", 10], ["ES10b_GetEUICCChallenge", 10]]
  • cas bind 调用:[["checkData", 64], ["sendApdu", 39]]
方言映射对命中数
TS_*_cmd() ↔ bind.* 命令封装20
unified diff(截断预览)
--- man
+++ cas
@@ -1,688 +1,827 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set + TC_eUICC_ES8_StoreMetadata_02_Nominal_With_JPG_icon + TC_eUICC_ES8_StoreMetadata_03_Nominal_Without_providing_Profile_Class + TC_eUICC_ES8_StoreMetadata_04_Nominal_With_PPR2_set + TC_eUICC_ES8_StoreMetadata_05_Nominal_With_PPR1_and_PPR2_set + TC_eUICC_ES8_StoreMetadata_06_Nominal_With_several_Notification_events_configured + TC_eUICC_ES8_StoreMetadata_07_Error_ICCID_already_present_in_the_eUICC + TC_eUICC_ES8_StoreMetadata_08_Error_Profile_Policy_Rule_is_set_but_Profile_Owner_is_not + TC_eUICC_ES8_StoreMetadata_09_Error_Profile_Owner_is_set_with_a_wildcard_E_digits + TC_eUICC_ES8_StoreMetadata_10_Error_Icon_Type_is_set_but_icon_is_not (extracted verbatim)
-
-function TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set()
-{
-	tracenamestr = "测试目的:下载PROFILE_OPERATIONAL1,Metadata所有字段都存在,其中设置了PNG icon和PPR1";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化;");
-	Ini_powerOn_eUICC_LPAe_not_activate();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令,打开辅助逻辑通道;");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令,选择ISD-R;");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令,执行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.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,Metadata域中配置了所有的参数,其中配置PNG icon 和PPR1;");
-	Profile_load_procedure.serviceProviderName = SP_NAME1;
-	Profile_load_procedure.profileName = PROFILE_OPERATIONAL1_NAME1;
-	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";
-	Profile_load_procedure.notificationConfigurationInfo.arrOfElement[0].notificationAddress = TEST_DP_ADDRESS1;
-	Profile_load_procedure.profileClass = "02";
-	Profile_load_procedure.profilePolicyRules = "0640";
-	Profile_load_procedure.mccMnc = MCC_MNC1;
-
-	Profile_load_procedure.ES10b_LoadBoundProfilePackage();
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令,执行ProfileInfoListRequest,获取profile信息;");
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF1);
-	proInfoListRequest.tagList = "5A9192939495B6B799";
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-
-	var proInfoListResponse = new  ProfileInfoListResponse();
-	proInfoListResponse.checkCardResDataFormat(respData);
-
-	try
-	{
-		curStrHandle.CheckData(ICCID_OP_PROF1, proInfoListResponse.profileInfoListOk.arrOfElement[0].iccid, "ICCID");
-		curStrHandle.CheckData(SP_NAME1, proInfoListResponse.profileInfoListOk.arrOfElement[0].serviceProviderName, "serviceProviderName");
-		curStrHandle.CheckData(PROFILE_OPERATIONAL1_NAME1, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileName, "profileName");
-		curStrHandle.CheckData("01", proInfoListResponse.profileInfoListOk.arrOfElement[0].iconType, "iconType");
-		curStrHandle.CheckData(ICON_OP_PROF1, proInfoListResponse.profileInfoListOk.arrOfElement[0].icon, "icon");
-		curStrHandle.CheckData("02", proInfoListResponse.profileInfoListOk.arrOfElement[0].profileClass, "profileClass");
-		curStrHandle.CheckData("04F0", proInfoListResponse.profileInfoListOk.arrOfElement[0].notificationConfigurationInfo.arrOfElement[0].profileManagementOperation, "profileManagementOperation");
-		curStrHandle.CheckData(TEST_DP_ADDRESS1, proInfoListResponse.profileInfoListOk.arrOfElement[0].notificationConfigurationInfo.arrOfElement[0].notificationAddress, "notificationAddress");
-		curStrHandle.CheckData(MCC_MNC1, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileOwner.mccMnc, "mccMnc");
-		curStrHandle.CheckData("0640", proInfoListResponse.profileInfoListOk.arrOfElement[0].profilePolicyRules, "profilePolicyRules");
-
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: (purpose 原文未由 SGP.23 该 TC 提供,corpus vacuum 登记)TC_eUICC_ES8+.StoreMetadata,Test Sequence #01–#09(#10 VOID);#01-#06 Nominal、#07-#09 Error,见 steps 前缀,适用性 M。
+// Test points: S4-C1 SW;S5-C1 SW;S6-C1 SW;S7-C1 SW;S7-C2 SW;S7-C2 resp present;S8-C1 SW
+//   S8-C2 contains iccid 989209012143658709F5;S12-C1 SW;S13-C1 SW;S14-C1 SW;S15-C1 SW;S15-C2 SW
+//   S15-C2 resp present;S16-C1 SW;S16-C2 iconType;S16-C2 icon present;S20-C1 SW;S21-C1 SW;S22-C1 SW
+//   S23-C1 SW;S23-C2 SW;S23-C2 resp present;S24-C1 SW;S24-C2 profileClass;S28-C1 SW;S29-C1 SW
+//   S30-C1 SW;S31-C1 SW;S31-C2 SW;S31-C2 resp present;S32-C1 SW
+//   S32-C2 profilePolicyRules {ppr2} oracle;S36-C1 SW;S37-C1 SW;S38-C1 SW;S39-C1 SW;S39-C2 SW
+//   S39-C2 resp present;S40-C1 SW;S40-C2 profilePolicyRules {ppr1,ppr2} oracle;S44-C1 SW;S45-C1 SW
+//   S46-C1 SW;S47-C1 SW;S47-C2 SW;S47-C2 resp present;S48-C1 SW
+//   S48-C2 notificationConfigurationInfo count 8;S53-C1 SW;S54-C1 SW;S55-C1 SW;S55-C2 SW
+//   S55-C2 resp present;S59-C1 SW;S60-C1 SW;S61-C1 SW;S61-C2 SW;S61-C2 resp present;S65-C1 SW
+//   S66-C1 SW;S67-C1 SW;S67-C2 SW;S67-C2 resp present
+// 本函数由 CaseIR 4.2.5.2.1 编译生成(fullwave-blindgen-live-70,SGP.23 v1.16 × SGP.22 v2.7):字节权威=CaseIR,非誊录黄金脚本。
+// Value-free template: every data byte is injected from CaseIR fields; no scaffold globals (see docs/speconly/compile-symbol-migration.md).
+// 适用性 M:编译期门,运行时由 harness 环境前置承担。
+// PRECONDITION (declared, NOT compiled): initial_conditions 缺语料过程体(Annex C.2 absent from input package, corpus vacuum): IC 序列属测试工具/卡态编排责任,本脚本不虚构初始化步骤;语义影响见 CaseIR open_items。
+// GIC 通信初始化+ISD-R 选择+相互认证+End User Confirmation+PrepareDownload(#PREP_DOWNLOAD_NO_CC): declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// GIC-sub PROC_EUICC_INITIALIZATION_SEQUENCE(R2 闭合,K_annexC2_procs 表1256:RESET/[SELECT_MF]/[TERMINAL_CAPABILITY_LPAd]/[TERMINAL_PROFILE]): declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// GIC-sub PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR(R2 闭合,K_annexC2_procs 表1258:[MANAGE_CHANNEL_OPEN]/MTD_SELECT(#ISD_R_AID)): declared unexpanded (no fabricated bytes; provenance = expansion_source).
+function TC_eUICC_ES8_StoreMetadata_01_09_10_VOID_01_06_Nominal_07_09_Error_steps() {
+    var bind = curBind;
+
+    // 步骤 1:Seq#01 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA>(tc_step;non_wire)
+    // test-tool internal preparation (no APDU face): runtime-domain
+    // values per CaseIR unresolved (G Annex B generation rules);
+    // no fabricated bytes emitted here.
+
+    // 步骤 2:Seq#01 IC2: <BPP> = MTD_GENERATE_BPP(tc_step)
+    // BPP synthesized (4.2.5.2.1 seq#1, structural layer, SCP03t-unprotected): 1349 bytes; segments: INIT=191B, A0=22B, A1=340B, A3=796B.
+    // Segment bytes are runtime-domain (BPP load step data=null per CaseIR unresolved); not injected into this script. Provenance:
+    //   [SPEC] TC — SGP.23 4.2.5.2.1 seq#1 接线(段选择/注入面)
+    //   [SPEC] BF36 — SGP.22 §2.5.4 :1566 BoundProfilePackage [54]
+    //   [SPEC] BF36/A0 — Table 4 :1588 firstSequenceOf87
+    //   [SPEC] BF36/A1 — Table 4 :1590 sequenceOf88
…(差异行超限,共 1517 行,此处截断)
### 4.2 UCE/命名对照
  • man:ESIM_TEST_SGP_23.UCE;入口 [('TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set', 'TC_eUICC_ES8+.StoreMetadata', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
  • cas:TC_eUICC_ES8_StoreMetadata/TC_eUICC_ES8_StoreMetadata.uce;入口 [('TC_eUICC_ES8_StoreMetadata_01_09_10_VOID_01_06_Nominal_07_09_Error_steps', 'TC_eUICC_ES8_StoreMetadata', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES8_StoreMetadata_01_09_10_VOID_01_06_Nominal_07_09_Error_steps)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

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

  • 命令计数:man 100 / cas 0;精确对齐 0,核心(CLA·INS·P1·P2·Lc)同 0,man-only 100,cas-only 0
#-man-cas对齐
—man-only: @RESET, 00A40004023F00, 00C0000020, 80AA000007A9058100830137, 8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038, 801200000F, 801400000C810301250082028281830100, 0070000000, 0070000001, 01A4040010A0000005591010FFFFFFFF8900000100, 01C0000021, 81E2910003BF2000

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

  • spec:/Users/yuhu/cas/原料/切片/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata/spec_intl/SGP.23-v1.16_4.2.5_StoreMetadata.md(风格:mapping);caseir:/Users/yuhu/cas/experiments/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-20261004_021948/caseir_materialized_gate.json

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

规范步骤man 脚本实现man 实跑结果
General IC 链(选 ISD-R+鉴权+#PREP_DOWNLOAD_NO_CC;Seq#01 IC:无 OP 在场)Ini_powerOn_eUICC_LPAe_not_activate()(L9)→ `TS_MANAGE_CHANNEL_OPEN()通过(步骤 1-9 全链 APDU 全绿;AuthenticateServer 后"卡片返回签名数据正确" APDU84 在案;前置成立=前
IC2 #FULL_METADATA(元数据全字段:SP 名/Profile 名/PNG icon/通知配置/profileClass/PPR1/MCC-MNC)serviceProviderName=SP_NAME1(L38)+ `profileName=PROFILE_OPERATIONAL1通过(十项元数据机器载体随 BPP 段流下发 APDU121 起)
IC4/IC5/1 BPP_SEG_INIT/A0/A1 段(各段 9000 无响应)ES10b_LoadBoundProfilePackage()(L50,复合装载过程按段发送)通过(步骤 9 起 BPP 段流 APDU121-APDU221 逐段 SW=9000 在案)
2 BPP_SEG_A3 末段 → #R_PIR_OK+euiccSignPIR 验签(RQ25_023/RQ25_024)同上过程内部成功路径检查(transactionId/smdpOid/notificationAddress/下载结果/ICCID+`Eui通过(Profile下载结果 期望成功=实际成功(APDU229/230)=#R_PIR_OK;transactionId 期望=实
3 #GET_METADATA_OP_PROF1 → #R_GET_METADATA_OP_PROF1(RQ32_071/RQ29_001/RQ29_002)ProfileInfoListRequest(L54-58:searchCriteria=ICCID、tagList=5A9192939通过(ProfileInfoList 响应 APDU239-240 BF2D8203…;十项元数据读回逐项期望=实际:ICCID
(收尾,非规范步骤)RecoverCard()(L81)通过(Transaction 2 APDU277-APDU444 MemoryReset 删 OP/TP+Reset default SM-

cas CaseIR 步骤/检查:

步动作checksREQ
1Seq#01 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
2Seq#01 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
3Seq#01 IC3: Split the <BPP> into several segments arrays named: <BPP_S["S3-C1"][]
4Seq#01 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S4-C1"][]
5Seq#01 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S5-C1"][]
6Seq#01 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S6-C1"]["RQ31_166", "RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040"]
7Seq#01 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>)["S7-C1", "S7-C2", "S7-C3"]["RQ25_023", "RQ25_024"]
8Seq#01 3: MTD_STORE_DATA(#GET_METADATA_OP_PROF1)["S8-C1", "S8-C2", "S8-C3"]["RQ32_071", "RQ29_001", "RQ29_002"]
9Seq#02 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
10Seq#02 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
11Seq#02 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S11-C1"][]
12Seq#02 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S12-C1"][]
13Seq#02 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S13-C1"][]
14Seq#02 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S14-C1"]["RQ31_166", "RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040"]
15Seq#02 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>)["S15-C1", "S15-C2", "S15-C3"]["RQ25_023", "RQ25_024"]
16Seq#02 3: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA["S16-C1", "S16-C2", "S16-C3"]["RQ32_071"]
17Seq#03 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
18Seq#03 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
19Seq#03 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S19-C1"][]
20Seq#03 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S20-C1"][]
21Seq#03 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S21-C1"][]
22Seq#03 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S22-C1"]["RQ31_166", "RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040"]
23Seq#03 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>)["S23-C1", "S23-C2", "S23-C3"]["RQ25_023", "RQ25_024"]
24Seq#03 3: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA["S24-C1", "S24-C2", "S24-C3"]["RQ32_071", "RQ29_001", "RQ29_002"]
25Seq#04 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
26Seq#04 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
27Seq#04 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S27-C1"][]
28Seq#04 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S28-C1"][]
29Seq#04 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S29-C1"][]
30Seq#04 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S30-C1"]["RQ31_166", "RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040"]
31Seq#04 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>)["S31-C1", "S31-C2", "S31-C3"]["RQ25_023", "RQ25_024"]
32Seq#04 3: MTD_STORE_DATA(#GET_PPR_OP_PROF1)["S32-C1", "S32-C2", "S32-C3"]["RQ32_071", "RQ29_001", "RQ29_002"]
33Seq#05 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
34Seq#05 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
35Seq#05 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S35-C1"][]
36Seq#05 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S36-C1"][]
37Seq#05 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S37-C1"][]
38Seq#05 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S38-C1"]["RQ31_166", "RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040"]
39Seq#05 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>)["S39-C1", "S39-C2", "S39-C3"]["RQ25_023", "RQ25_024"]
40Seq#05 3: MTD_STORE_DATA(#GET_PPR_OP_PROF1)["S40-C1", "S40-C2", "S40-C3"]["RQ32_071", "RQ29_001", "RQ29_002"]
41Seq#06 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
42Seq#06 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
43Seq#06 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S43-C1"][]
44Seq#06 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S44-C1"][]
45Seq#06 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S45-C1"][]
46Seq#06 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S46-C1"]["RQ31_166", "RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040"]
47Seq#06 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>)["S47-C1", "S47-C2", "S47-C3"]["RQ25_023", "RQ25_024"]
48Seq#06 3: MTD_STORE_DATA(#GET_NOTIF_CONF_OP_PROF1)["S48-C1", "S48-C2"]["RQ32_071"]
49Seq#07 IC1: 通信初始化+选 ISD-R+相互认证+End User Confirmation+#PREP_DOWNLOAD_NO[][]
50Seq#07 IC2: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
51Seq#07 IC3: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
52Seq#07 IC4: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S52-C1"][]
53Seq#07 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S53-C1"][]
54Seq#07 IC6: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S54-C1"][]
55Seq#07 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S55-C1", "S55-C2", "S55-C3"]["RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040", "RQ25_017", "RQ31_166", "RQ55_030", "RQ55_032", "RQ25_024", "RQ25_025", "RQ25_026"]
56Seq#08 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
57Seq#08 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
58Seq#08 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S58-C1"][]
59Seq#08 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S59-C1"][]
60Seq#08 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S60-C1"][]
61Seq#08 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S61-C1", "S61-C2", "S61-C3"]["RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040", "RQ31_166", "RQ55_030", "RQ55_032", "RQ25_024", "RQ25_025", "RQ25_026", "RQ25_017"]
62Seq#09 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA[][]
63Seq#09 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF[][]
64Seq#09 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG["S64-C1"][]
65Seq#09 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>)["S65-C1"][]
66Seq#09 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>)["S66-C1"][]
67Seq#09 1: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A1>)["S67-C1", "S67-C2", "S67-C3"]["RQ31_167", "RQ55_029", "RQ55_031", "RQ55_033", "RQ55_035", "RQ24_028", "RQ57_040", "RQ31_166", "RQ55_030", "RQ55_032", "RQ25_024", "RQ25_025", "RQ25_026", "RQ25_017"]

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

  • cas:GAPS_FOUND(全步有检查=True;REQ 全覆盖=False;ErrorCount==0=False)
  • cas 物化核对(启发式旁证,权威见下行 attestation):声明检查 77 项 / 生成体 checkData 64 次 / S 标号重合 54 / 计数缺口 13 / 形态 DEFICIT;执行面 FAIL(计数缺口须结合绑定层隐含断言核验,非直接判缺陷)
  • cas 编译器自证(check_attestation,同批构建):声明 None = js 54 + binding 23 + gap 0;缺口判定以本行为权威(启发式计数仅旁证)
  • binding 覆盖示例:S3-C1→binding:bpp_split_per_annexB_segment_table(segment_bpp;SGP.22-2.;S7-C3→binding:bpp_seg_load_pir_runtime_semantics(S22-2.5.6;PIR-runtime;S8-C3→binding:bf2d_query_structure_satisfies_requirement(S22-prof_info;S11-C1→binding:bpp_split_per_annexB_segment_table(segment_bpp;SGP.22-2.;S15-C3→binding:bpp_seg_load_pir_runtime_semantics(S22-2.5.6;PIR-runtime
  • cas 注释面登记检查(未以 checkData 物化、代码内有注释说明):['S11-C1', 'S15-C3', 'S16-C3', 'S19-C1', 'S23-C3', 'S24-C3', 'S27-C1', 'S3-C1', 'S31-C3', 'S32-C3', 'S35-C1', 'S39-C3', 'S40-C3', 'S43-C1', 'S47-C3', 'S52-C1', 'S55-C3', 'S58-C1', 'S61-C3', 'S64-C1', 'S67-C3', 'S7-C3', 'S8-C3']
  • man:映射行 6;TTR 期望/实际回声 192;厂商工具内置审计(TTR 期望/实际回声行为证据);脚本字节级充分性不可完全外部验证
  • cas 信息步(无线上断言义务):[1, 2, 9, 10, 17, 18, 25, 26, 33, 34, 41, 42, 49, 50, 51, 56, 57, 62, 63]
  • REQ 声明面 vs caseir 引用面差异(5 项,非等价缺口判定):['RQ55_034', 'RQ55_036', 'RQ55_037', '步 2 RQ25_023/RQ25_024--PIR 成功+验签', '步 3 RQ32_071/RQ29_001/RQ29_002--元数据读回核验)']
  • caseir open_items:
  • Seq#10 VOID(E_tc_425.md:239),未生成步骤
  • General IC/序列 IC 编排(PROFILE_OPERATIONAL1 装载/Disabled 态)属执行侧
  • 九个 METADATA 常量与 #S_INIT_SC_PROF1/#CONF_ISDP_PROF1 字节不在输入包——BPP 与命令数据不可闭合;R2 已闭合 StoreMetadataRequest 外层结构(BF25 + 字段标签表,S22_store_meta.md:31-65)
  • 一次性密钥对、S_ENC/S_MAC、euiccSignPIR、<ISD_P_AID>、#ICON_JPG/#MCC_MNC1 值为执行期动态/缺席常量
  • 每序列执行后的 CU 清理过程属测试工具职责,语料未含

7. 分类结论(封闭枚举)

轴计数说明
RUN_DIFF1man 通过 / cas 失败
SCRIPT_DIALECT54闭包文件差:man-only 3 / cas-only 51
GEN_DIFF105命令序列差:man-only 100 / cas-only 0;REQ 覆盖缺口:['RQ55_034', 'RQ55_036', 'RQ55_037', '步 2 RQ25_023/RQ25_024--PIR 成功+验签', '步 3 RQ32_071/RQ29_001/RQ29_002--元数据读回核验)']
侧根因候选(七类,启发式签名)签名
cascard_error`Connect Reader 失败card is NOT connectedSW=0000SW=00000000`
签名为文本面启发式命中(如 6D00 等 SW 亦可能是负例期望值),须结合 Expected 面核验后方可定论。
  • 置信度:heuristic;需人工复核:False

8. 证据路径

  • man 包:../packages/man/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-man.zip
  • man TTR:/Users/yuhu/cas/原料/切片/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata/logs/20260907_182420_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set.ttr
  • cas 包/源:../packages/cas/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-cas.zip
  • cas TTR:/Users/yuhu/cas/experiments/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-20261004_021948/logs/f92bcf70_gapfix1/result/TC_eUICC_ES8_StoreMetadata/TC_eUICC_ES8_StoreMetadata_01_09_10_VOID_01_06_Nominal_07_09_Error_steps.ttr
  • spec_intl:/Users/yuhu/cas/原料/切片/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata/spec_intl/SGP.23-v1.16_4.2.5_StoreMetadata.md
  • caseir:/Users/yuhu/cas/experiments/4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-20261004_021948/caseir_materialized_gate.json
  • step_map:—