eSIM RSP 测试用例对比站

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

4.2.2.2.1 ES6 更新元数据(UpdateMetadata)

TC_eUICC_ES6.UpdateMetadata

章节:4.2.2 · ES6 (Operator -- eUICC): UpdateMetadata配对状态:PAIRED报告生成:2026-10-08 22:57:10数据包生成:2026-10-08 22:57:09
-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_DIFFman 通过 / cas 失败1
SCRIPT_DIALECT闭包文件差:man-only 3 / cas-only 5154
GEN_DIFF命令序列差:man-only 171 / cas-only 0171

人工注记

  • S68-C1 已闭合(F4 残留轮):信封面检查按 E 表同文析取绑定(requirement→status 形式)——非信封字节:其 #REMOVE_PPR1 STORE DATA 字节不在包内,信封不可离线闭合,未以 golden 实跑值回填(严禁);信封字节面仅命名闭集可物化(见 5.2.7.2.1)。本 TC gap 由 1→0。
  • §5.7.15 接缝已修(F2):#GET_NEW_METADATA DER 机械注入(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源类型入口用例
-man4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-man.zip710fcc49ca758a3c6fc66d504d0bb15959f2dc337a6bf9a3b04e1291859a2d76zipTC_eUICC_ES6_UpdateMetadata_01_Nominal_Unset_PPR1
-cas4.2.2.2.1-TC_eUICC_ES6.UpdateMetadata-cas.zip2461c26c17a10527b89af776f7036ed273ad5da20e67573ffbf8c3637e542552zip—
  • 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/终态)

侧终态/计划备注ErrorCountjob_id业务状态TTR诊断包
-manok_ok 复用(结构 A1-A7 PASS;_ok run 无厂商错误行)020260908_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—
-casfailed纯 native 零卡态前置(N0)3710ef4c78f6484ca390de0912cd8d4834—/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;sha256 45a47b13957d21791c8af59e4c7a3430a6799d4d915505881b8259e9442c5e5c;367903 bytes)
  • -cas:NATIVE(../evidence/4.2.2.2.1/cas/TC_eUICC_ES6_UpdateMetadata_01_11_05_FFS_Nominal_Error_steps.html;sha256 b6c196f92dc9c9bb522d5e48f06499145da2d9039904939bbe22e3d09c3dd0ba;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 行,此处截断)
### 4.2 UCE/命名对照
  • 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 装载且 EnabledT1 RecoverCard()(L6)+T2 `initial_condition_PROFILE_OPERATIONAL1_is_E通过(T1 清卡 L10-115;T2 装载链全绿:下载+EnableProfile BF3103800100+PIR 查证 OP1 E
IC1 PROC_EUICC_INITIALIZATION_SEQUENCET3 步骤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=0x91XXT3 步骤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_ISDRT3 步骤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=0x9000T3 步骤6(L60-82:PIR searchCriteria=iccid(ICCID_OP_PROF1)+tagList=`919293通过(81E2910018BF2D15A00C5A0A989209012143658709F55C059192939499 → 多段 G
(收尾,非规范步骤)RecoverCard()(L84)通过(T4 L535-771:复位→MemoryReset→列表归空→通知清零→通道关闭,卡回零态)

cas CaseIR 步骤/检查:

步动作checksREQ
1Seq#01 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S1-C1"][]
2Seq#01 IC1/2: [SELECT_MF](展开2/4)["S2-C1", "S2-C2"][]
3Seq#01 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S3-C1"][]
4Seq#01 IC1/4: [TERMINAL_PROFILE](展开4/4)["S4-C1"][]
5Seq#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"]
6Seq#01 2: FETCH "XX"["S6-C1", "S6-C2"]["RQ54_015", "RQ54_011"]
7Seq#01 3: TERMINAL RESPONSE["S7-C1"][]
8Seq#01 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S8-C1"][]
9Seq#01 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S9-C1"][]
10Seq#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"]
11Seq#02 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S11-C1"][]
12Seq#02 IC1/2: [SELECT_MF](展开2/4)["S12-C1", "S12-C2"][]
13Seq#02 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S13-C1"][]
14Seq#02 IC1/4: [TERMINAL_PROFILE](展开4/4)["S14-C1"][]
15Seq#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"]
16Seq#02 2: FETCH "XX"["S16-C1", "S16-C2"]["RQ54_015", "RQ54_011"]
17Seq#02 3: TERMINAL RESPONSE["S17-C1"][]
18Seq#02 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S18-C1"][]
19Seq#02 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S19-C1"][]
20Seq#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"]
21Seq#03 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S21-C1"][]
22Seq#03 IC1/2: [SELECT_MF](展开2/4)["S22-C1", "S22-C2"][]
23Seq#03 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S23-C1"][]
24Seq#03 IC1/4: [TERMINAL_PROFILE](展开4/4)["S24-C1"][]
25Seq#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"]
26Seq#03 2: FETCH "XX"["S26-C1", "S26-C2"]["RQ54_015", "RQ54_011"]
27Seq#03 3: TERMINAL RESPONSE["S27-C1"][]
28Seq#03 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S28-C1"][]
29Seq#03 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S29-C1"][]
30Seq#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"]
31Seq#04 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S31-C1"][]
32Seq#04 IC1/2: [SELECT_MF](展开2/4)["S32-C1", "S32-C2"][]
33Seq#04 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S33-C1"][]
34Seq#04 IC1/4: [TERMINAL_PROFILE](展开4/4)["S34-C1"][]
35Seq#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"]
36Seq#04 2: FETCH "XX"["S36-C1", "S36-C2"]["RQ54_015", "RQ54_011"]
37Seq#04 3: TERMINAL RESPONSE["S37-C1"][]
38Seq#04 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S38-C1"][]
39Seq#04 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S39-C1"][]
40Seq#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"]
41Seq#06 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S41-C1"][]
42Seq#06 IC1/2: [SELECT_MF](展开2/4)["S42-C1", "S42-C2"][]
43Seq#06 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S43-C1"][]
44Seq#06 IC1/4: [TERMINAL_PROFILE](展开4/4)["S44-C1"][]
45Seq#06 IC2: MTD_SEND_SMS_PP([INSTALL_PERSO_RES_ISDP]; MTD_STORE_DATA_S["S45-C1"][]
46Seq#06 IC3: FETCH "XX"["S46-C1", "S46-C2"][]
47Seq#06 IC4: TERMINAL RESPONSE["S47-C1"][]
48Seq#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"]
49Seq#06 2: FETCH "XX"["S49-C1", "S49-C2"][]
50Seq#06 3: TERMINAL RESPONSE["S50-C1"][]
51Seq#06 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S51-C1"][]
52Seq#06 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S52-C1"][]
53Seq#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"]
54Seq#07 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S54-C1"][]
55Seq#07 IC1/2: [SELECT_MF](展开2/4)["S55-C1", "S55-C2"][]
56Seq#07 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S56-C1"][]
57Seq#07 IC1/4: [TERMINAL_PROFILE](展开4/4)["S57-C1"][]
58Seq#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"]
59Seq#07 2: FETCH "XX"["S59-C1", "S59-C2"]["RQ54_008", "RQ54_014", "RQ54_015", "RQ54_016", "RQ54_011"]
60Seq#07 3: TERMINAL RESPONSE["S60-C1"][]
61Seq#07 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S61-C1"][]
62Seq#07 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S62-C1"][]
63Seq#07 5: MTD_STORE_DATA(#GET_NEW_METADATA)["S63-C1", "S63-C2", "S63-C3"]["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"]
64Seq#08 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S64-C1"][]
65Seq#08 IC1/2: [SELECT_MF](展开2/4)["S65-C1", "S65-C2"][]
66Seq#08 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S66-C1"][]
67Seq#08 IC1/4: [TERMINAL_PROFILE](展开4/4)["S67-C1"][]
68Seq#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"]
69Seq#08 2: FETCH "XX"["S69-C1", "S69-C2"]["RQ54_011", "RQ54_014"]
70Seq#08 3: TERMINAL RESPONSE["S70-C1"][]
71Seq#08 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S71-C1"][]
72Seq#08 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S72-C1"][]
73Seq#08 5: MTD_STORE_DATA(#GET_NEW_METADATA)["S73-C1", "S73-C2", "S73-C3"]["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"]
74Seq#09 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S74-C1"][]
75Seq#09 IC1/2: [SELECT_MF](展开2/4)["S75-C1", "S75-C2"][]
76Seq#09 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S76-C1"][]
77Seq#09 IC1/4: [TERMINAL_PROFILE](展开4/4)["S77-C1"][]
78Seq#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"]
79Seq#09 2: FETCH "XX"["S79-C1", "S79-C2"]["RQ54_011", "RQ54_014", "RQ54_015"]
80Seq#09 3: TERMINAL RESPONSE["S80-C1"][]
81Seq#09 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S81-C1"][]
82Seq#09 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S82-C1"][]
83Seq#09 5: MTD_STORE_DATA(#GET_NEW_METADATA)["S83-C1", "S83-C2", "S83-C3"]["RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126", "RQ54_014"]
84Seq#10 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S84-C1"][]
85Seq#10 IC1/2: [SELECT_MF](展开2/4)["S85-C1", "S85-C2"][]
86Seq#10 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S86-C1"][]
87Seq#10 IC1/4: [TERMINAL_PROFILE](展开4/4)["S87-C1"][]
88Seq#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"]
89Seq#10 2: FETCH "XX"["S89-C1", "S89-C2"]["RQ54_011", "RQ54_014", "RQ54_015"]
90Seq#10 3: TERMINAL RESPONSE["S90-C1"][]
91Seq#10 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S91-C1"][]
92Seq#10 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S92-C1"][]
93Seq#10 5: MTD_STORE_DATA(#GET_NEW_METADATA)["S93-C1", "S93-C2", "S93-C3"]["RQ54_014", "RQ57_120", "RQ57_122", "RQ57_123", "RQ57_126"]
94Seq#11 IC1/1: RESET(PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4,K_annexC2["S94-C1"][]
95Seq#11 IC1/2: [SELECT_MF](展开2/4)["S95-C1", "S95-C2"][]
96Seq#11 IC1/3: [TERMINAL_CAPABILITY_LPAd](展开3/4)["S96-C1"][]
97Seq#11 IC1/4: [TERMINAL_PROFILE](展开4/4)["S97-C1"][]
98Seq#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"]
99Seq#11 2: FETCH "XX"["S99-C1", "S99-C2"]["RQ54_011", "RQ54_014", "RQ54_015"]
100Seq#11 3: TERMINAL RESPONSE["S100-C1"][]
101Seq#11 4/1: [MANAGE_CHANNEL_OPEN](PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT["S101-C1"][]
102Seq#11 4/2: MTD_SELECT(#ISD_R_AID)(展开2/2)["S102-C1"][]
103Seq#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_DIFF1man 通过 / cas 失败
SCRIPT_DIALECT54闭包文件差:man-only 3 / cas-only 51
GEN_DIFF171命令序列差:man-only 171 / cas-only 0
侧根因候选(七类,启发式签名)签名
cascard_error`Connect Reader 失败card is NOT connectedSW=0000SW=00000000`
签名为文本面启发式命中(如 6D00 等 SW 亦可能是负例期望值),须结合 Expected 面核验后方可定论。
  • 置信度:heuristic;需人工复核:False

7.1 人工注记(收尾循环)

  • S68-C1 已闭合(F4 残留轮):信封面检查按 E 表同文析取绑定(requirement→status 形式)——非信封字节:其 #REMOVE_PPR1 STORE DATA 字节不在包内,信封不可离线闭合,未以 golden 实跑值回填(严禁);信封字节面仅命名闭集可物化(见 5.2.7.2.1)。本 TC gap 由 1→0。
  • §5.7.15 接缝已修(F2):#GET_NEW_METADATA DER 机械注入(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:—