# 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-html/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-html/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 |

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

```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 行，此处截断）
```

</details>
### 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 步骤/检查：

| 步 | 动作 | 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：`—`