4.2.5.2.1 ES8+ 存储元数据
TC_eUICC_ES8+.StoreMetadata
-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_DIFF | man 通过 / cas 失败 | 1 |
| SCRIPT_DIALECT | 闭包文件差:man-only 3 / cas-only 51 | 54 |
| 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 | 源类型 | 入口用例 |
|---|---|---|---|---|
-man | 4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-man.zip | dd21e9f4ef4a9a842da7b3dab9165d5180d9db406bb4db93ac664fac7fa22b2b | zip | TC_eUICC_ES8_StoreMetadata_01_Nominal_All_Metadata_fields_present_PNG_icon_used_and_PPR1_set |
-cas | 4.2.5.2.1-TC_eUICC_ES8+.StoreMetadata-cas.zip | 447023cf550f91698efdfb6c91a46dce5f3ca181a83e256aad2bd9662773faeb | zip | — |
- 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/终态)
| 侧 | 终态/计划 | 备注 | ErrorCount | job_id | 业务状态 | TTR | 诊断包 |
|---|---|---|---|---|---|---|---|
-man | ok | _ok 复用(结构 A1-A7 PASS;_ok run 无厂商错误行) | 0 | 20261007_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 | — |
-cas | failed | 纯 native 零卡态前置(N0) | 207 | f92bcf702df94a6bb193d1f894546b68 | — | /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;sha256565052d8ac2e0f04cb5b3833d914a365b2c9fe3d1e77660d677e8994b8d1be37;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;sha256bb9983073bc3c6c73552581396f6cb36256c90023bec05d548843257256dceb2;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 行,此处截断)
- 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 步骤/检查:
| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | Seq#01 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 2 | Seq#01 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 3 | Seq#01 IC3: Split the <BPP> into several segments arrays named: <BPP_S | ["S3-C1"] | [] |
| 4 | Seq#01 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S4-C1"] | [] |
| 5 | Seq#01 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S5-C1"] | [] |
| 6 | Seq#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"] |
| 7 | Seq#01 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>) | ["S7-C1", "S7-C2", "S7-C3"] | ["RQ25_023", "RQ25_024"] |
| 8 | Seq#01 3: MTD_STORE_DATA(#GET_METADATA_OP_PROF1) | ["S8-C1", "S8-C2", "S8-C3"] | ["RQ32_071", "RQ29_001", "RQ29_002"] |
| 9 | Seq#02 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 10 | Seq#02 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 11 | Seq#02 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S11-C1"] | [] |
| 12 | Seq#02 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S12-C1"] | [] |
| 13 | Seq#02 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S13-C1"] | [] |
| 14 | Seq#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"] |
| 15 | Seq#02 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>) | ["S15-C1", "S15-C2", "S15-C3"] | ["RQ25_023", "RQ25_024"] |
| 16 | Seq#02 3: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S16-C1", "S16-C2", "S16-C3"] | ["RQ32_071"] |
| 17 | Seq#03 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 18 | Seq#03 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 19 | Seq#03 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S19-C1"] | [] |
| 20 | Seq#03 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S20-C1"] | [] |
| 21 | Seq#03 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S21-C1"] | [] |
| 22 | Seq#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"] |
| 23 | Seq#03 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>) | ["S23-C1", "S23-C2", "S23-C3"] | ["RQ25_023", "RQ25_024"] |
| 24 | Seq#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"] |
| 25 | Seq#04 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 26 | Seq#04 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 27 | Seq#04 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S27-C1"] | [] |
| 28 | Seq#04 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S28-C1"] | [] |
| 29 | Seq#04 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S29-C1"] | [] |
| 30 | Seq#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"] |
| 31 | Seq#04 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>) | ["S31-C1", "S31-C2", "S31-C3"] | ["RQ25_023", "RQ25_024"] |
| 32 | Seq#04 3: MTD_STORE_DATA(#GET_PPR_OP_PROF1) | ["S32-C1", "S32-C2", "S32-C3"] | ["RQ32_071", "RQ29_001", "RQ29_002"] |
| 33 | Seq#05 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 34 | Seq#05 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 35 | Seq#05 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S35-C1"] | [] |
| 36 | Seq#05 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S36-C1"] | [] |
| 37 | Seq#05 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S37-C1"] | [] |
| 38 | Seq#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"] |
| 39 | Seq#05 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>) | ["S39-C1", "S39-C2", "S39-C3"] | ["RQ25_023", "RQ25_024"] |
| 40 | Seq#05 3: MTD_STORE_DATA(#GET_PPR_OP_PROF1) | ["S40-C1", "S40-C2", "S40-C3"] | ["RQ32_071", "RQ29_001", "RQ29_002"] |
| 41 | Seq#06 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 42 | Seq#06 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 43 | Seq#06 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S43-C1"] | [] |
| 44 | Seq#06 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S44-C1"] | [] |
| 45 | Seq#06 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S45-C1"] | [] |
| 46 | Seq#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"] |
| 47 | Seq#06 2: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A3>) | ["S47-C1", "S47-C2", "S47-C3"] | ["RQ25_023", "RQ25_024"] |
| 48 | Seq#06 3: MTD_STORE_DATA(#GET_NOTIF_CONF_OP_PROF1) | ["S48-C1", "S48-C2"] | ["RQ32_071"] |
| 49 | Seq#07 IC1: 通信初始化+选 ISD-R+相互认证+End User Confirmation+#PREP_DOWNLOAD_NO | [] | [] |
| 50 | Seq#07 IC2: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 51 | Seq#07 IC3: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 52 | Seq#07 IC4: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S52-C1"] | [] |
| 53 | Seq#07 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S53-C1"] | [] |
| 54 | Seq#07 IC6: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S54-C1"] | [] |
| 55 | Seq#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"] |
| 56 | Seq#08 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 57 | Seq#08 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 58 | Seq#08 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S58-C1"] | [] |
| 59 | Seq#08 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S59-C1"] | [] |
| 60 | Seq#08 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S60-C1"] | [] |
| 61 | Seq#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"] |
| 62 | Seq#09 IC1: Generate the <OTPK_S_SM_DP+_ECKA> and <OT_SK_S_SM_DP+_ECKA | [] | [] |
| 63 | Seq#09 IC2: <BPP> = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] |
| 64 | Seq#09 IC3: Execute the step IC3 of the Test Sequence #01(切分为 <BPP_SEG | ["S64-C1"] | [] |
| 65 | Seq#09 IC4: MTD_STORE_DATA_SCRIPT(<BPP_SEG_INIT>) | ["S65-C1"] | [] |
| 66 | Seq#09 IC5: MTD_STORE_DATA_SCRIPT(<BPP_SEG_A0>) | ["S66-C1"] | [] |
| 67 | Seq#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_DIFF | 1 | man 通过 / cas 失败 |
SCRIPT_DIALECT | 54 | 闭包文件差:man-only 3 / cas-only 51 |
GEN_DIFF | 105 | 命令序列差: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--元数据读回核验)'] |
| 侧 | 根因候选(七类,启发式签名) | 签名 | |||
|---|---|---|---|---|---|
| cas | card_error | `Connect Reader 失败 | card is NOT connected | SW=0000 | SW=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:
—