4.2.2.2.1 ES6 更新元数据(UpdateMetadata)
TC_eUICC_ES6.UpdateMetadata
-man 人工切片
- 终态
- ok `_ok` 复用(结构 A1-A7 PASS;`_ok` run 无厂商错误行)
- ErrorCount
- 0
- 执行 job
- 20260908_234645_ok:8d4a0ed086c34177a3e387e494c8f952
- html_run
- 20261007_130833
- 包 sha256
- 710fcc49ca758a3c…
- 包大小
- 244.7 KB
日志源:logs/20261007_130833/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1.html
-cas 盲生成
- 终态
- failed 纯 native 零卡态前置(N0)
- ErrorCount
- 37
- 执行 job
- 10ef4c78f6484ca390de0912cd8d4834
- html_run
- 10ef4c78_gapfix1
- 包 sha256
- 2461c26c17a10527…
- 包大小
- 837.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 171 / cas 0 条命令;完全一致 0,核心一致 0,长度尾部差 0,man-only 171,cas-only 0
规范覆盖(l3)
spec_steps 0,缺失 REQ 0 项,checkData 131 次,计数缺口 13,物化 DEFICIT,执行 FAIL
断言自证(attestation)
js 断言 111 条 / 绑定层 33 条 / 缺口 0
机械差异分类
| 轴 | 说明 | 计数 |
|---|---|---|
| RUN_DIFF | man 通过 / cas 失败 | 1 |
| SCRIPT_DIALECT | 闭包文件差:man-only 3 / cas-only 51 | 54 |
| GEN_DIFF | 命令序列差:man-only 171 / cas-only 0 | 171 |
人工注记
- S68-C1 已闭合(F4 残留轮):信封面检查按 E 表同文析取绑定(
requirement→status形式)——非信封字节:其#REMOVE_PPR1STORE DATA 字节不在包内,信封不可离线闭合,未以 golden 实跑值回填(严禁);信封字节面仅命名闭集可物化(见 5.2.7.2.1)。本 TC gap 由 1→0。 - §5.7.15 接缝已修(F2):
#GET_NEW_METADATADER 机械注入(BF2D…9192939499形),10 项 gap 清零。
对比报告
4.2.2.2.1 TC_eUICC_ES6.UpdateMetadata — -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 | 源类型 | 入口用例 |
|---|---|---|---|---|
-man | 4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-man.zip | 710fcc49ca758a3c6fc66d504d0bb15959f2dc337a6bf9a3b04e1291859a2d76 | zip | TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1 |
-cas | 4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-cas.zip | 2461c26c17a10527b89af776f7036ed273ad5da20e67573ffbf8c3637e542552 | zip | — |
- man 源路径:
../packages/man/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-man.zip - cas 源路径:
../packages/cas/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-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 | 20260908_234645_ok:8d4a0ed086c34177a3e387e494c8f952 | — | /Users/yuhu/cas/原料/切片/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata/logs/20260908_234645_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1.ttr | — |
-cas | failed | 纯 native 零卡态前置(N0) | 37 | 10ef4c78f6484ca390de0912cd8d4834 | — | /Users/yuhu/cas/experiments/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-20261004_022631/logs/10ef4c78_gapfix1/result/TC_eUICC_ES6_UpdateMetadata/TC_eUICC_ES6_UpdateMetadata_01_11_05_FFS_Nominal_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=10ef4c78f6484ca390de0912cd8d4834;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.2.2.1/man/TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1.html;sha25645a47b13957d21791c8af59e4c7a3430a6799d4d915505881b8259e9442c5e5c;367903 bytes)-cas:NATIVE(../evidence/4.2.2.2.1/cas/TC_eUICC_ES6_UpdateMetadata_01_11_05_FFS_Nominal_Error_steps.html;sha256b6c196f92dc9c9bb522d5e48f06499145da2d9039904939bbe22e3d09c3dd0ba;13212 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 973 / cas 739;字符:man 37033 / cas 56295
- man 顶层调用 Top:[["TestStepStart2", 62], ["CheckData", 41], ["ExpandedRemoteCommandObject", 22], ["crtExpandedRemoteApduObj", 22], ["GenHexData", 19], ["SetAPDU", 13], ["RecoverCard", 11], ["Array", 11], ["InstallForPersonalizationPara", 11], ["GenExpandedRemoteCmd", 11]]
- cas bind 调用:[["checkData", 131], ["sendApdu", 51], ["fetchPending", 11], ["terminalResponseForPending", 11], ["resetAndAtr", 10], ["runToSteadyState", 10], ["sendTerminalProfile", 10], ["manageChannelOpen", 10]]
| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 20 |
unified diff(截断预览)
--- man
+++ cas
@@ -1,972 +1,738 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1 + TC_eUICC_ES6_UpdateMetadata_02_Nominal_Unset_PPR2_and_update_icon + TC_eUICC_ES6_UpdateMetadata_03_Nominal_Unset_PPR1_and_PPR2_and_update_Profile_name_and_Service_Provider_name + TC_eUICC_ES6_UpdateMetadata_04_Nominal_Delete_PPRs_Service_Provider_and_Profile_names + TC_eUICC_ES6_UpdateMetadata_06_Nominal_Delete_Unset_PPRs + TC_eUICC_ES6_UpdateMetadata_07_Error_Set_a_pprUpdateControl_value_to_one_e + TC_eUICC_ES6_UpdateMetadata_08_Error_Update_Metadata_on_a_Disable_Profile + TC_eUICC_ES6_UpdateMetadata_09_Error_Empty_request + TC_eUICC_ES6_UpdateMetadata_10_Error_Update_Icon_without_Icon_Type_field + TC_eUICC_ES6_UpdateMetadata_11_Error_Update_Icon_Type_without_Icon_field (extracted verbatim)
-
-function TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1()
-{
-
- RecoverCard();
-
- initial_condition_PROFILE_OPERATIONAL1_is_Enabled("0560");
-
- tracenamestr = "测试目的:验证MNO可以从Profile中取消已设置的PPR1,以及eUICC能够处理仅包含一个字段的Update Metadata的请求";
- curDis.TraceStart(sno++,tracenamestr);
-
- curLogicChannel = 0;
- curDis.TestStepStart2(stno++,"eUICC卡片初始化;");
- Ini_powerOn_eUICC_LPAe_not_activate();
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令,打开辅助逻辑通道;");
- TS_MANAGE_CHANNEL_OPEN();
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 Terminal Profile命令,进行主动式命令交互;");
- IniCard_SetUpMenu("",1);
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 Envelope命令,执行UpdateMetadataRequest,更新策略,REMOVE_PPR1;");
- sSendType = SendTypeByOTA.SMS;
-
- KIC = MNO_SCP80_ENC_KEY;
- KID = MNO_SCP80_AUTH_KEY;
- KIK = MNO_SCP80_DATA_ENC_KEY;
-
-
- numOfCmdTlvs = 0;
- arrExpandedRemoteCmdObj = new Array();
-
- InstallForPerson = new InstallForPersonalizationPara(RESERVED_ISD_P_AID);
- InstallForPerson.SetAPDU();
- arrExpandedRemoteCmdObj[numOfCmdTlvs] = new ExpandedRemoteCommandObject();
- arrExpandedRemoteCmdObj[numOfCmdTlvs].crtExpandedRemoteApduObj(InstallForPerson.apdu);
- numOfCmdTlvs ++;
-
-
- var sdatain = "BF2A0499020520";
- var storedatapara =new StoreDataPara("90","00",sdatain,"9000");
-
- storedatapara.SetAPDU();
- arrExpandedRemoteCmdObj[numOfCmdTlvs] = new ExpandedRemoteCommandObject();
- arrExpandedRemoteCmdObj[numOfCmdTlvs].crtExpandedRemoteApduObj(storedatapara.apdu);
- numOfCmdTlvs ++;
-
- sAPDU = GenExpandedRemoteCmd(arrExpandedRemoteCmdObj);
-
- SendMessageToCard_GP(sSendType,"91XX",0,MNO_TAR_PROFILE_OPERATIONAL1,"12210015",sAPDU);
-
- var exResPara = new ExpandedRemoteResponsePara(arrExpandedRemoteCmdObj, "9000", "00", sSendType);
- CardSendMessageToServerExpandedRemoteCmd(exResPara);
-
- TerminalResponse("00","9000");
-
-
- curLogicChannel = 1;
- curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令,选择ISD-R;");
- TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令,执行ProfileInfoListRequest,获取profile信息;");
- var proInfoListRequest = new ProfileInfoListRequest();
- proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF1);
- proInfoListRequest.tagList = "9192939499";
- proInfoListRequest.GenHexData();
- var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-
-
- var proInfoListResponse = new ProfileInfoListResponse();
- proInfoListResponse.checkCardResDataFormat(respData);
-
- try
- {
- 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("0520", proInfoListResponse.profileInfoListOk.arrOfElement[0].profilePolicyRules, "profilePolicyRules");
- }catch(e){
- obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
- }
-
- RecoverCard();
- return;
-
-
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: (purpose 原文未由 SGP.23 该 TC 提供,corpus vacuum 登记)TC_eUICC_ES6.UpdateMetadata,Test Sequence #01–#11(#05 FFS 不适用);每序列 Nominal/Error 混合,见 steps 前缀,适用性 M。
+// Test points: S1-C1 ATR_present;S2-C2 FCP_Template;S2-C1 SW;S3-C1 SW;S4-C1 final SW;S5-C1 SW1 91
+// S7-C1 SW;S8-C1 SW;S9-C1 SW;S10-C1 SW;S10-C2 serviceProviderName SP Name 1
+// S10-C2 profileName Operational Profile Name 1;S10-C2 iconType;S10-C2 icon present
+// S10-C2 profilePolicyRules {ppr2} oracle;S11-C1 ATR_present;S12-C2 FCP_Template;S12-C1 SW
+// S13-C1 SW;S14-C1 final SW;S15-C1 SW1 91;S17-C1 SW;S18-C1 SW;S19-C1 SW;S20-C1 SW
+// S20-C2 serviceProviderName SP Name 1;S20-C2 profileName Operational Profile Name 1
+// S20-C2 iconType;S20-C2 icon present;S20-C2 profilePolicyRules {ppr1} oracle;S21-C1 ATR_present
+// S22-C2 FCP_Template;S22-C1 SW;S23-C1 SW;S24-C1 final SW;S25-C1 SW1 91;S27-C1 SW;S28-C1 SW
+// S29-C1 SW;S30-C1 SW;S30-C2 serviceProviderName SP Name 2
+// S30-C2 profileName Operational Profile Name 2;S30-C2 profilePolicyRules absent;S30-C2 iconType
+// S30-C2 icon present;S31-C1 ATR_present;S32-C2 FCP_Template;S32-C1 SW;S33-C1 SW;S34-C1 final SW
+// S35-C1 SW1 91;S37-C1 SW;S38-C1 SW;S39-C1 SW;S40-C1 SW;S40-C2 serviceProviderName absent
+// S40-C2 profileName absent;S40-C2 profilePolicyRules absent;S40-C2 iconType;S40-C2 icon present
+// S41-C1 ATR_present;S42-C2 FCP_Template;S42-C1 SW;S43-C1 SW;S44-C1 final SW;S45-C1 SW1 91
+// S47-C1 SW;S48-C1 SW1 91;S50-C1 SW;S51-C1 SW;S52-C1 SW;S53-C1 SW
+// S53-C2 serviceProviderName SP Name 2;S53-C2 profileName Operational Profile Name 2
+// S53-C2 profilePolicyRules absent;S53-C2 iconType;S53-C2 icon present;S54-C1 ATR_present
+// S55-C2 FCP_Template;S55-C1 SW;S56-C1 SW;S57-C1 final SW;S58-C1 SW1 91;S60-C1 SW;S61-C1 SW
+// S62-C1 SW;S63-C1 SW;S63-C2 profileInfoListOk present;S64-C1 ATR_present;S65-C2 FCP_Template
+// S65-C1 SW;S66-C1 SW;S67-C1 final SW;S70-C1 SW;S71-C1 SW;S72-C1 SW;S73-C1 SW
+// S73-C2 profileInfoListOk present;S74-C1 ATR_present;S75-C2 FCP_Template;S75-C1 SW;S76-C1 SW
+// S77-C1 final SW;S78-C1 SW1 91;S80-C1 SW;S81-C1 SW;S82-C1 SW;S83-C1 SW
+// S83-C2 profileInfoListOk present;S84-C1 ATR_present;S85-C2 FCP_Template;S85-C1 SW;S86-C1 SW
+// S87-C1 final SW;S88-C1 SW1 91;S90-C1 SW;S91-C1 SW;S92-C1 SW;S93-C1 SW
+// S93-C2 profileInfoListOk present;S94-C1 ATR_present;S95-C2 FCP_Template;S95-C1 SW;S96-C1 SW
+// S97-C1 final SW;S98-C1 SW1 91;S100-C1 SW;S101-C1 SW;S102-C1 SW;S103-C1 SW
…(差异行超限,共 1712 行,此处截断)
- man:
ESIM_TEST_SGP_23.UCE;入口 [('TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1', 'ES6(Operator -- eUICC):UpdateMetadata', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas:
TC_eUICC_ES6_UpdateMetadata/TC_eUICC_ES6_UpdateMetadata.uce;入口 [('TC_eUICC_ES6_UpdateMetadata_01_11_05_FFS_Nominal_Error_steps', 'TC_eUICC_ES6_UpdateMetadata', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES6_UpdateMetadata_01_11_05_FFS_Nominal_Error_steps)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
5. L2 步骤/APDU/step_map 差异(结构化对齐)
- 命令计数:man 171 / cas 0;精确对齐 0,核心(CLA·INS·P1·P2·Lc)同 0,man-only 171,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.2.2.1-TC_eUICC_ES6.UpdateMetadata/spec_intl/SGP.23-v1.16_4.2.2.2.1_UpdateMetadata.md(风格:mapping);caseir:
/Users/yuhu/cas/experiments/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-20261004_022631/caseir_materialized_gate.json
spec_intl 为人工核订映射表风格(规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果):
| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| (前置,非规范步骤)General IC 表 13+IC 表 14:OP1 with #METADATA_WITH_PPRS_AND_ICON 装载且 Enabled | T1 RecoverCard()(L6)+T2 `initial_condition_PROFILE_OPERATIONAL1_is_E | 通过(T1 清卡 L10-115;T2 装载链全绿:下载+EnableProfile BF3103800100+PIR 查证 OP1 E |
| IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | T3 步骤1(L12-13:Ini_powerOn_eUICC_LPAe_not_activate()) | 通过(复位成功+ATR 3B9D96…,ttr L384-400) |
| (厂商工程步骤,规范 #01 无对应行)通道打开+Terminal Profile 主动式会话 | T3 步骤2/3(L15-16 TS_MANAGE_CHANNEL_OPEN()+L18-19 `IniCard_SetUpMenu(" | 通过(通道 01 9000+Terminal Profile 9000,ttr L401-427) |
| 1 MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCRIPT(#REMOVE_PPR1, FALSE)) → SW=0x91XX | T3 步骤4(L21-47:MNO SCP80 密钥组 KIC/KID/KIK+InstallForPersonalization(RESE | 通过(Envelope SMS-PP 下发,上行短信 TPDA=0681401406/UDHL=02/RPI=71/TAR=B20100/C |
| 2 FETCH "XX" → MTD_CHECK_SMS_POR(0x9000) | 步骤4 内续(L49:ExpandedRemoteResponsePara(..., "9000", "00", SMS)+`CardS | 通过(POR 解析各字段期望=实际,ttr L469-494) |
| 3 TERMINAL RESPONSE → SW=0x9000 | 步骤4 收尾(L51:TerminalResponse("00","9000")) | 通过(801400000C810301130082028281830100 → 9000,ttr L502-505/APDU494-49 |
| 4 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | T3 步骤5(L57-58:TS_SELECT("Select ISD",ISD_R_AID,"9000")) | 通过(ISD-R 6121→GET RESPONSE 9000,FCI 含 8203020500=RSP V2.5,ttr L506-512 |
| 5 MTD_STORE_DATA(#GET_NEW_METADATA) → #R_GET_UPDATE_N1 SW=0x9000 | T3 步骤6(L60-82:PIR searchCriteria=iccid(ICCID_OP_PROF1)+tagList=`919293 | 通过(81E2910018BF2D15A00C5A0A989209012143658709F55C059192939499 → 多段 G |
| (收尾,非规范步骤) | RecoverCard()(L84) | 通过(T4 L535-771:复位→MemoryReset→列表归空→通知清零→通道关闭,卡回零态) |
cas CaseIR 步骤/检查:
| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | Seq#01 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S1-C1"] | [] |
| 2 | Seq#01 IC1/2: [SELECT_MF](展开2/4) | ["S2-C1", "S2-C2"] | [] |
| 3 | Seq#01 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S3-C1"] | [] |
| 4 | Seq#01 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S4-C1"] | [] |
| 5 | Seq#01 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S5-C1"] | ["RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_007", "RQ54_009", "RQ54_010", "RQ54_013_1", "RQ29_021", "RQ24_021", "RQ54_011"] |
| 6 | Seq#01 2: FETCH "XX" | ["S6-C1", "S6-C2"] | ["RQ54_015", "RQ54_011"] |
| 7 | Seq#01 3: TERMINAL RESPONSE | ["S7-C1"] | [] |
| 8 | Seq#01 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S8-C1"] | [] |
| 9 | Seq#01 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S9-C1"] | [] |
| 10 | Seq#01 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S10-C1", "S10-C2", "S10-C3"] | ["RQ54_013_1", "RQ54_009", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 11 | Seq#02 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S11-C1"] | [] |
| 12 | Seq#02 IC1/2: [SELECT_MF](展开2/4) | ["S12-C1", "S12-C2"] | [] |
| 13 | Seq#02 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S13-C1"] | [] |
| 14 | Seq#02 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S14-C1"] | [] |
| 15 | Seq#02 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S15-C1"] | ["RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_007", "RQ54_009", "RQ54_010", "RQ54_011", "RQ54_012", "RQ54_013_1", "RQ29_021", "RQ24_021"] |
| 16 | Seq#02 2: FETCH "XX" | ["S16-C1", "S16-C2"] | ["RQ54_015", "RQ54_011"] |
| 17 | Seq#02 3: TERMINAL RESPONSE | ["S17-C1"] | [] |
| 18 | Seq#02 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S18-C1"] | [] |
| 19 | Seq#02 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S19-C1"] | [] |
| 20 | Seq#02 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S20-C1", "S20-C2", "S20-C3"] | ["RQ54_009", "RQ54_012", "RQ54_013_1", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 21 | Seq#03 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S21-C1"] | [] |
| 22 | Seq#03 IC1/2: [SELECT_MF](展开2/4) | ["S22-C1", "S22-C2"] | [] |
| 23 | Seq#03 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S23-C1"] | [] |
| 24 | Seq#03 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S24-C1"] | [] |
| 25 | Seq#03 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S25-C1"] | ["RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_007", "RQ54_009", "RQ54_010", "RQ54_011", "RQ54_012", "RQ54_013_1", "RQ29_021", "RQ24_021"] |
| 26 | Seq#03 2: FETCH "XX" | ["S26-C1", "S26-C2"] | ["RQ54_015", "RQ54_011"] |
| 27 | Seq#03 3: TERMINAL RESPONSE | ["S27-C1"] | [] |
| 28 | Seq#03 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S28-C1"] | [] |
| 29 | Seq#03 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S29-C1"] | [] |
| 30 | Seq#03 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S30-C1", "S30-C2", "S30-C3"] | ["RQ54_009", "RQ54_012", "RQ54_013_1", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 31 | Seq#04 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S31-C1"] | [] |
| 32 | Seq#04 IC1/2: [SELECT_MF](展开2/4) | ["S32-C1", "S32-C2"] | [] |
| 33 | Seq#04 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S33-C1"] | [] |
| 34 | Seq#04 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S34-C1"] | [] |
| 35 | Seq#04 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S35-C1"] | ["RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_007", "RQ54_009", "RQ54_010", "RQ54_011", "RQ54_013", "RQ54_013_1", "RQ29_021", "RQ24_021"] |
| 36 | Seq#04 2: FETCH "XX" | ["S36-C1", "S36-C2"] | ["RQ54_015", "RQ54_011"] |
| 37 | Seq#04 3: TERMINAL RESPONSE | ["S37-C1"] | [] |
| 38 | Seq#04 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S38-C1"] | [] |
| 39 | Seq#04 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S39-C1"] | [] |
| 40 | Seq#04 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S40-C1", "S40-C2", "S40-C3"] | ["RQ54_013", "RQ54_013_1", "RQ54_009", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 41 | Seq#06 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S41-C1"] | [] |
| 42 | Seq#06 IC1/2: [SELECT_MF](展开2/4) | ["S42-C1", "S42-C2"] | [] |
| 43 | Seq#06 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S43-C1"] | [] |
| 44 | Seq#06 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S44-C1"] | [] |
| 45 | Seq#06 IC2: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_S | ["S45-C1"] | [] |
| 46 | Seq#06 IC3: FETCH "XX" | ["S46-C1", "S46-C2"] | [] |
| 47 | Seq#06 IC4: TERMINAL RESPONSE | ["S47-C1"] | [] |
| 48 | Seq#06 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S48-C1"] | ["RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_007", "RQ54_009", "RQ54_010", "RQ54_011", "RQ54_013", "RQ54_015", "RQ54_013_1", "RQ29_021", "RQ24_021"] |
| 49 | Seq#06 2: FETCH "XX" | ["S49-C1", "S49-C2"] | [] |
| 50 | Seq#06 3: TERMINAL RESPONSE | ["S50-C1"] | [] |
| 51 | Seq#06 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S51-C1"] | [] |
| 52 | Seq#06 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S52-C1"] | [] |
| 53 | Seq#06 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S53-C1", "S53-C2", "S53-C3"] | ["RQ54_013", "RQ54_013_1", "RQ54_009", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 54 | Seq#07 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S54-C1"] | [] |
| 55 | Seq#07 IC1/2: [SELECT_MF](展开2/4) | ["S55-C1", "S55-C2"] | [] |
| 56 | Seq#07 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S56-C1"] | [] |
| 57 | Seq#07 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S57-C1"] | [] |
| 58 | Seq#07 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S58-C1"] | ["RQ24_021", "RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_010", "RQ54_011"] |
| 59 | Seq#07 2: FETCH "XX" | ["S59-C1", "S59-C2"] | ["RQ54_008", "RQ54_014", "RQ54_015", "RQ54_016", "RQ54_011"] |
| 60 | Seq#07 3: TERMINAL RESPONSE | ["S60-C1"] | [] |
| 61 | Seq#07 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S61-C1"] | [] |
| 62 | Seq#07 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S62-C1"] | [] |
| 63 | Seq#07 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S63-C1", "S63-C2", "S63-C3"] | ["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 64 | Seq#08 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S64-C1"] | [] |
| 65 | Seq#08 IC1/2: [SELECT_MF](展开2/4) | ["S65-C1", "S65-C2"] | [] |
| 66 | Seq#08 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S66-C1"] | [] |
| 67 | Seq#08 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S67-C1"] | [] |
| 68 | Seq#08 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S68-C1"] | ["RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_010", "RQ54_011", "RQ24_024", "RQ24_021"] |
| 69 | Seq#08 2: FETCH "XX" | ["S69-C1", "S69-C2"] | ["RQ54_011", "RQ54_014"] |
| 70 | Seq#08 3: TERMINAL RESPONSE | ["S70-C1"] | [] |
| 71 | Seq#08 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S71-C1"] | [] |
| 72 | Seq#08 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S72-C1"] | [] |
| 73 | Seq#08 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S73-C1", "S73-C2", "S73-C3"] | ["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 74 | Seq#09 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S74-C1"] | [] |
| 75 | Seq#09 IC1/2: [SELECT_MF](展开2/4) | ["S75-C1", "S75-C2"] | [] |
| 76 | Seq#09 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S76-C1"] | [] |
| 77 | Seq#09 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S77-C1"] | [] |
| 78 | Seq#09 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S78-C1"] | ["RQ24_021", "RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_010", "RQ54_011"] |
| 79 | Seq#09 2: FETCH "XX" | ["S79-C1", "S79-C2"] | ["RQ54_011", "RQ54_014", "RQ54_015"] |
| 80 | Seq#09 3: TERMINAL RESPONSE | ["S80-C1"] | [] |
| 81 | Seq#09 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S81-C1"] | [] |
| 82 | Seq#09 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S82-C1"] | [] |
| 83 | Seq#09 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S83-C1", "S83-C2", "S83-C3"] | ["RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126", "RQ54_014"] |
| 84 | Seq#10 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S84-C1"] | [] |
| 85 | Seq#10 IC1/2: [SELECT_MF](展开2/4) | ["S85-C1", "S85-C2"] | [] |
| 86 | Seq#10 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S86-C1"] | [] |
| 87 | Seq#10 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S87-C1"] | [] |
| 88 | Seq#10 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S88-C1"] | ["RQ24_021", "RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_010", "RQ54_011"] |
| 89 | Seq#10 2: FETCH "XX" | ["S89-C1", "S89-C2"] | ["RQ54_011", "RQ54_014", "RQ54_015"] |
| 90 | Seq#10 3: TERMINAL RESPONSE | ["S90-C1"] | [] |
| 91 | Seq#10 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S91-C1"] | [] |
| 92 | Seq#10 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S92-C1"] | [] |
| 93 | Seq#10 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S93-C1", "S93-C2", "S93-C3"] | ["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
| 94 | Seq#11 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2 | ["S94-C1"] | [] |
| 95 | Seq#11 IC1/2: [SELECT_MF](展开2/4) | ["S95-C1", "S95-C2"] | [] |
| 96 | Seq#11 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4) | ["S96-C1"] | [] |
| 97 | Seq#11 IC1/4: [TERMINAL_PROFILE](展开4/4) | ["S97-C1"] | [] |
| 98 | Seq#11 1: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_SCR | ["S98-C1"] | ["RQ24_021", "RQ54_001", "RQ54_002", "RQ54_003", "RQ54_004", "RQ54_005", "RQ54_006", "RQ54_010", "RQ54_011"] |
| 99 | Seq#11 2: FETCH "XX" | ["S99-C1", "S99-C2"] | ["RQ54_011", "RQ54_014", "RQ54_015"] |
| 100 | Seq#11 3: TERMINAL RESPONSE | ["S100-C1"] | [] |
| 101 | Seq#11 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S101-C1"] | [] |
| 102 | Seq#11 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2) | ["S102-C1"] | [] |
| 103 | Seq#11 5: MTD_STORE_DATA(#GET_NEW_METADATA) | ["S103-C1", "S103-C2", "S103-C3"] | ["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"] |
6.1 充分性分析(启发式,不作最终裁定)
- cas:
GAPS_FOUND(全步有检查=True;REQ 全覆盖=True;ErrorCount==0=False) - cas 物化核对(启发式旁证,权威见下行 attestation):声明检查 144 项 / 生成体 checkData 131 次 / S 标号重合 111 / 计数缺口 13 / 形态
DEFICIT;执行面FAIL(计数缺口须结合绑定层隐含断言核验,非直接判缺陷) - cas 编译器自证(check_attestation,同批构建):声明 None = js 111 + binding 33 + gap 0;缺口判定以本行为权威(启发式计数仅旁证)
- binding 覆盖示例:
S6-C1→binding:fetch_sms_por_runtime_parse(MTD_CHECK_SMS_POR;H-annexC1);S6-C2→binding:fetch_length_chaining_last_91xx_sw2(TS102223-6.3-NOTE1);S10-C3→binding:bf2d_query_structure_satisfies_requirement(S22-prof_info;S16-C1→binding:fetch_sms_por_runtime_parse(MTD_CHECK_SMS_POR;H-annexC1);S16-C2→binding:fetch_length_chaining_last_91xx_sw2(TS102223-6.3-NOTE1) - cas 注释面登记检查(未以 checkData 物化、代码内有注释说明):['S10-C3', 'S103-C3', 'S16-C1', 'S16-C2', 'S20-C3', 'S26-C1', 'S26-C2', 'S30-C3', 'S36-C1', 'S36-C2', 'S40-C3', 'S46-C1', 'S46-C2', 'S49-C1', 'S49-C2', 'S53-C3', 'S59-C1', 'S59-C2', 'S6-C1', 'S6-C2', 'S63-C3', 'S68-C1', 'S69-C1', 'S69-C2', 'S73-C3', 'S79-C1', 'S79-C2', 'S83-C3', 'S89-C1', 'S89-C2', 'S93-C3', 'S99-C1', 'S99-C2']
- man:映射行 9;TTR 期望/实际回声 324;厂商工具内置审计(TTR 期望/实际回声行为证据);脚本字节级充分性不可完全外部验证
- caseir open_items:
- Seq#05 Delete icon 定义为 FFS、本版不适用(E_tc_422.md:126),未生成步骤
- Seq#08 NOTE:SW=0x9000 或错误 SW(envelope 被拒、不回 POR)时步骤 2/3 不执行
- 卡态编排:General IC 需 PROFILE_OPERATIONAL1(#METADATA_WITH_PPRS_AND_ICON)已装载;各序列 IC 需其 Enabled(#08 需 Disabled)——装卡/使能编排属执行侧
- R2 已闭合:PROC×2(K_annexC2_procs 表1256/1258,全部序列 IC 已展开为 procedure_expansion 步骤)
- 全部 UpdateMetadata 常量(#REMOVE_PPR1 等 8 个)不在输入包 Annex A 段——命令数据字节无法闭合
- FETCH/TERMINAL RESPONSE 的 APDU 模板不在输入包(J 表无此两命令)
7. 分类结论(封闭枚举)
| 轴 | 计数 | 说明 |
|---|---|---|
RUN_DIFF | 1 | man 通过 / cas 失败 |
SCRIPT_DIALECT | 54 | 闭包文件差:man-only 3 / cas-only 51 |
GEN_DIFF | 171 | 命令序列差:man-only 171 / cas-only 0 |
| 侧 | 根因候选(七类,启发式签名) | 签名 | |||
|---|---|---|---|---|---|
| cas | card_error | `Connect Reader 失败 | card is NOT connected | SW=0000 | SW=00000000` |
签名为文本面启发式命中(如 6D00 等 SW 亦可能是负例期望值),须结合 Expected 面核验后方可定论。
- 置信度:heuristic;需人工复核:False
7.1 人工注记(收尾循环)
- S68-C1 已闭合(F4 残留轮):信封面检查按 E 表同文析取绑定(
requirement→status形式)——非信封字节:其#REMOVE_PPR1STORE DATA 字节不在包内,信封不可离线闭合,未以 golden 实跑值回填(严禁);信封字节面仅命名闭集可物化(见 5.2.7.2.1)。本 TC gap 由 1→0。 - §5.7.15 接缝已修(F2):
#GET_NEW_METADATADER 机械注入(BF2D…9192939499形),10 项 gap 清零。
8. 证据路径
- man 包:
../packages/man/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-man.zip - man TTR:
/Users/yuhu/cas/原料/切片/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata/logs/20260908_234645_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1.ttr - cas 包/源:
../packages/cas/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-cas.zip - cas TTR:
/Users/yuhu/cas/experiments/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-20261004_022631/logs/10ef4c78_gapfix1/result/TC_eUICC_ES6_UpdateMetadata/TC_eUICC_ES6_UpdateMetadata_01_11_05_FFS_Nominal_Error_steps.ttr - spec_intl:
/Users/yuhu/cas/原料/切片/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata/spec_intl/SGP.23-v1.16_4.2.2.2.1_UpdateMetadata.md - caseir:
/Users/yuhu/cas/experiments/4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-20261004_022631/caseir_materialized_gate.json - step_map:
—