# 4.2.7.2.1 TC_eUICC_ES8+.LoadProfileElements — `-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.7.2.1-TC_eUICC_ES8+.LoadProfileElements-man.zip | `90694f03e74f221d273b9ef1b2fee4c5c7364f6366703c316e6f82e7761e9096` | zip | TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions | | `-cas` | 4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-cas.zip | `3d2dc5541b3e55147df346d13fed93f7f45d69ca230b71ce109792cc9deb44c8` | zip | — | - man 源路径：`../../packages/man/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-man.zip` - cas 源路径：`../../packages/cas/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-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 | `20260909_001201_ok:3764ca9a49ac475994889d7250d71813` | — | `/Users/yuhu/cas/原料/切片/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements/logs/20260909_001201_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions.ttr` | `—` | | `-cas` | `failed` | 纯 native 零卡态前置（N0） | 339 | `f6ee0b5e496a4dc9b96b5a2fc3fbd6e6` | — | `/Users/yuhu/cas/experiments/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-20261004_021949/logs/f6ee0b5e_gapfix1/result/TC_eUICC_ES8_LoadProfileElements/TC_eUICC_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged.ttr` | `—` | - cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准） - cas 4.6 波次最新执行：terminal=`failed`；stage=`cas_gapfix_rerun`；job=`f6ee0b5e496a4dc9b96b5a2fc3fbd6e6`；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.7.2.1/man/TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions.html`；sha256 `05cee6f2600af423d17fac4585e0b2b38266108629fa97fa484abb9608dbae94`；194136 bytes） - `-cas`：**NATIVE**（`../../evidence-html/4.2.7.2.1/cas/TC_eUICC_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged.html`；sha256 `39ae1d150ff19f32c517ec25ae2c18a5f31c0be424fcb56cdf06e5f89871910b`；112202 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 766 / cas 1145；字符：man 34818 / cas 90821 - man 顶层调用 Top：[["TestStepStart2", 104], ["CheckData", 15], ["Ini_powerOn_eUICC_LPAe_not_activate", 11], ["TS_MANAGE_CHANNEL_OPEN", 11], ["TS_SELECT", 11], ["ProfileInfoListRequest", 11], ["ChoiceObj", 11], ["GenHexData", 11], ["LPAd_Transport_data_to_eUICC", 11], ["ProfileInfoListResponse", 11]] - cas bind 调用：[["checkData", 99], ["sendApdu", 67], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]] | 方言映射对 | 命中数 | |---|---| | TS_*_cmd() ↔ bind.* 命令封装 | 22 |
unified diff（截断预览） ```diff --- man +++ cas @@ -1,765 +1,1144 @@ -// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions + TC_eUICC_ES8_LoadProfileElements_02_Error_MCCMNC_of_EFIMSI_different_from_MCCMNC_of_Profile_Owner_present_in_Metadata + TC_eUICC_ES8_LoadProfileElements_03_Error_Session_MAC_chaining_used_instead_of_new_Initial_MAC_chaining + TC_eUICC_ES8_LoadProfileElements_04_Error_SMAC_used_instead_of_PPKMAC + TC_eUICC_ES8_LoadProfileElements_05_Error_SENC_used_instead_of_PPKENC + TC_eUICC_ES8_LoadProfileElements_06_Error_Profile_Downloading_stopped_by_a_Reset + TC_eUICC_ES8_LoadProfileElements_07_Nominal_ICCID_in_the_ProfileHeader_PE_is_ignored_by_the_eUICC + TC_eUICC_ES8_LoadProfileElements_08_Nominal_With_gid1_and_gid2_set + TC_eUICC_ES8_LoadProfileElements_09_Error_gid1_and_gid2_provided_in_the_Profile_Metadata_but_not_in_the_Profile_Package + TC_eUICC_ES8_LoadProfileElements_10_Error_gid1_and_gid2_not_provided_in_the_Profile_Metadata_but_present_in_the_Profile_Package (extracted verbatim) - -function TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions() -{ - tracenamestr = "测试目的：执行LoadProfileElements，EFICCID与Profile元数据中提供的ICCID不同"; - 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_PROF2;// - 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，EFICCID与配置文件元数据中提供的ICCID不一致；"); - 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.simaResponse = ""; - Profile_load_procedure.isErrorTest = true; - Profile_load_procedure.bppCommandId = BppCommandId.loadProfileElements; - Profile_load_procedure.errorReason = ErrorReason.installFailedDueToDataMismatch; - - Profile_load_procedure.ES10b_LoadBoundProfilePackage(); - - - curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile1状态；"); - var proInfoListRequest = new ProfileInfoListRequest(); - proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF1); - proInfoListRequest.tagList = "5A4F9F70"; - proInfoListRequest.GenHexData(); - var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData); - - var proInfoListResponse = new ProfileInfoListResponse(); - proInfoListResponse.checkCardResDataFormat(respData); - - try - { - curStrHandle.CheckData("00", obj.ToHex(proInfoListResponse.profileInfoListOk.arrOfElement.length),"Profile Info number"); - }catch(e){ - obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error); - } - - curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile2状态；"); - var proInfoListRequest = new ProfileInfoListRequest(); - proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF2); - proInfoListRequest.tagList = "5A4F9F70"; - proInfoListRequest.GenHexData(); - var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData); - - var proInfoListResponse = new ProfileInfoListResponse(); - proInfoListResponse.checkCardResDataFormat(respData); - - try - { - curStrHandle.CheckData("00", obj.ToHex(proInfoListResponse.profileInfoListOk.arrOfElement.length),"Profile Info number"); - }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+.LoadProfileElements，Test Sequence #01–#12（#01-#06/#09/#10/#12 Error、#07/#08/#11 Nominal）；B 表两行：#11/#12 仅 V2.5+ C064 行 + 全版本 M 行，适用性 M。 +// Test points: S4-C1 SW；S5-C1 SW；S6-C1 SW；S7-C1 SW；S7-C1 resp present；S8-C1 SW +// S8-C2 profileInfoListOk empty；S9-C1 SW；S9-C2 profileInfoListOk empty；S13-C1 SW；S14-C1 SW +// S15-C1 SW；S16-C1 SW；S16-C1 resp present；S17-C1 SW；S17-C2 profileInfoListOk empty；S21-C1 SW +// S22-C1 SW；S23-C1 SW；S24-C1 SW；S25-C1 SW；S25-C1 resp present；S26-C1 SW +// S26-C2 profileInfoListOk empty；S30-C1 SW；S31-C1 SW；S32-C1 SW；S33-C1 SW；S34-C1 SW +// S34-C1 resp present；S35-C1 SW；S35-C2 profileInfoListOk empty；S39-C1 SW；S40-C1 SW；S41-C1 SW +// S42-C1 SW；S43-C1 SW；S43-C1 resp present；S44-C1 SW；S44-C2 profileInfoListOk empty；S48-C1 SW +// S49-C1 SW；S50-C1 SW；S51-C1 SW；S52-C1 ATR_present；S53-C2 FCP_Template；S53-C1 SW；S54-C1 SW +// S55-C1 final SW；S56-C1 SW；S56-C2 CHANNEL_NUMBER extracted；S57-C1 SW；S58-C1 SW +// S58-C2 profileInfoListOk empty；S62-C1 SW；S63-C1 SW；S64-C1 SW；S65-C1 SW；S65-C2 SW +// S65-C2 resp present；S66-C1 SW；S66-C2 contains ICCID_OP_PROF1；S70-C1 SW；S71-C1 SW；S72-C1 SW +// S73-C1 SW；S73-C2 SW；S73-C2 resp present；S74-C1 SW；S74-C2 profileOwner mccMnc/gid1/gid2 present +// S78-C1 SW；S79-C1 SW；S80-C1 SW；S81-C1 SW；S81-C1 resp present；S82-C1 SW +// S82-C2 profileInfoListOk empty；S86-C1 SW；S87-C1 SW；S88-C1 SW；S89-C1 SW；S89-C1 resp present +// S90-C1 SW；S90-C2 profileInfoListOk empty；S94-C1 SW；S95-C1 SW；S96-C1 SW；S97-C1 SW；S97-C2 SW +// S97-C2 resp present；S98-C1 SW；S98-C2 contains ICCID_OP_PROF10；S102-C1 SW；S103-C1 SW；S104-C1 SW +// S105-C1 SW；S105-C1 resp present；S106-C1 SW；S106-C2 profileInfoListOk empty +// 本函数由 CaseIR 4.2.7.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 环境前置承担。 +function TC_eUICC_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged() { + var bind = curBind; …（差异行超限，共 1911 行，此处截断） ```
### 4.2 UCE/命名对照 - man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions', 'ES8(SMDP+ -- eUICC):LoadProfileElements', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：`TC_eUICC_ES8_LoadProfileElements/TC_eUICC_ES8_LoadProfileElements.uce`；入口 [('TC_eUICC_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged', 'TC_eUICC_ES8_LoadProfileElements', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} ## 5. L2 步骤/APDU/step_map 差异（结构化对齐） - 命令计数：man 83 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 83，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.7.2.1-TC_eUICC_ES8+.LoadProfileElements/spec_intl/SGP.23-v1.16_4.2.7.2.1_LoadProfileElements.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-20261004_021949/caseir_materialized_gate.json` spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）： | 规范步骤 | man 脚本实现 | man 实跑结果 | |---|---|---| | （前置，非规范步骤）General IC 表 73：空卡＋Mutual Auth＋#PREP_DOWNLOAD_NO_CC | #01 函数 L9-38：初始化（L9 `Ini_powerOn_eUICC_LPAe_not_activate()`）→ 通道（L12）→ | 通过（ttr 步骤1-8，APDU3-114：复位 ATR／通道 01 9000／ISD-R 6121→GET RESPONSE 9000（ | | IC1-IC3 生成 OTP 密钥＋MTD_GENERATE_BPP(#METADATA_ICCID_MISMATCH)＋切段 | T1 L42-55：元数据装配（SP_NAME1／PROFILE_OPERATIONAL1_NAME1／iconType=01／ICON_O | 通过（BPP 段下发链 APDU120-214 全 9000） | | IC4-IC6 BPP_SEG_INIT/A0/A1 → 全 SW=0x9000 无响应数据 | L57 `ES10b_LoadBoundProfilePackage()` 内分段下发 | 通过（分段 STORE DATA 链 9000 无响应数据，ttr APDU120-214） | | 1 BPP_SEG_A3 → SW=0x9000＋#R_PIR_DATA_MISMATCH（euiccSignPIR 以 #PK_EUICC_ECDSA 验签） | L57 同调用内末段＋错误通道断言（脚手架 `RSP_Test_Procedure.js` 对 errorReason=installFai | 通过（ttr 步骤9 末段 GET RESPONSE 9000，APDU215 实际响应 `BF3781A1BF275B…`＝Profile | | 2 MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1) → profileInfoListOk 空 SW=0x9000 | T1 L62-73：PIR searchCriteria=iccid(ICCID_OP_PROF1)＋tagList=5A4F9F70＋断言 | 通过（ttr 步骤10，APDU244-246 期望=实际 `00`——OP1 未装上） | | 3 MTD_GET_PROFILE_INFO(#ICCID_OP_PROF2) → profileInfoListOk 空 SW=0x9000 | T1 L77-89：同构断言 OP2（L87） | 通过（ttr 步骤11，APDU253-255 期望=实际 `00`——OP2 未装上） | | （收尾，非规范步骤） | `RecoverCard()`（L92） | 通过（T2 APDU258-375：复位→MemoryReset→列表归空 BF2D02A000→通知清零 BF2802A000/BF2B0 | cas CaseIR 步骤/检查： | 步 | 动作 | checks | REQ | |---|---|---|---| | 1 | Seq#01 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 3 | Seq#01 IC3: Split the into several segments arrays named: ) | ["S4-C1"] | [] | | 5 | Seq#01 IC5: MTD_STORE_DATA_SCRIPT() | ["S5-C1"] | [] | | 6 | Seq#01 IC6: MTD_STORE_DATA_SCRIPT() | ["S6-C1"] | [] | | 7 | Seq#01 1: MTD_STORE_DATA_SCRIPT() | ["S7-C1", "S7-C2", "S7-C3"] | ["RQ25_023", "RQ25_024", "RQ55_045", "RQ55_048", "RQ25_025", "RQ25_026", "RQ31_173"] | | 8 | Seq#01 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S8-C1", "S8-C2"] | ["RQ32_071", "RQ55_048"] | | 9 | Seq#01 3: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF2, NO_PARA | ["S9-C1", "S9-C2"] | ["RQ32_071", "RQ55_048"] | | 10 | Seq#02 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 12 | Seq#02 IC3: Execute the step IC3 of the Test Sequence #01 defined in t | ["S12-C1"] | [] | | 13 | Seq#02 IC4: MTD_STORE_DATA_SCRIPT() | ["S13-C1"] | [] | | 14 | Seq#02 IC5: MTD_STORE_DATA_SCRIPT() | ["S14-C1"] | [] | | 15 | Seq#02 IC6: MTD_STORE_DATA_SCRIPT() | ["S15-C1"] | [] | | 16 | Seq#02 1: MTD_STORE_DATA_SCRIPT() | ["S16-C1", "S16-C2", "S16-C3"] | ["RQ25_023", "RQ25_024", "RQ55_043", "RQ55_047", "RQ55_048", "RQ25_025", "RQ25_026", "RQ31_173"] | | 17 | Seq#02 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S17-C1", "S17-C2"] | ["RQ32_071", "RQ55_043", "RQ55_048"] | | 18 | Seq#03 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | ["S19-C1"] | [] | | 20 | Seq#03 IC3: Split the into several segments arrays named: ) | ["S21-C1"] | [] | | 22 | Seq#03 IC5: MTD_STORE_DATA_SCRIPT() | ["S22-C1"] | [] | | 23 | Seq#03 IC6: MTD_STORE_DATA_SCRIPT() | ["S23-C1"] | [] | | 24 | Seq#03 IC7: MTD_STORE_DATA_SCRIPT() | ["S24-C1"] | [] | | 25 | Seq#03 1: MTD_STORE_DATA_SCRIPT() | ["S25-C1", "S25-C2"] | ["RQ25_023", "RQ25_024", "RQ25_025", "RQ25_026", "RQ55_048", "RQ31_173"] | | 26 | Seq#03 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S26-C1", "S26-C2"] | ["RQ32_071", "RQ55_048"] | | 27 | Seq#04 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | ["S28-C1"] | [] | | 29 | Seq#04 IC3: Execute the step IC3 of the Test Sequence #03 defined in t | ["S29-C1"] | [] | | 30 | Seq#04 IC4: MTD_STORE_DATA_SCRIPT() | ["S30-C1"] | [] | | 31 | Seq#04 IC5: MTD_STORE_DATA_SCRIPT() | ["S31-C1"] | [] | | 32 | Seq#04 IC6: MTD_STORE_DATA_SCRIPT() | ["S32-C1"] | [] | | 33 | Seq#04 IC7: MTD_STORE_DATA_SCRIPT() | ["S33-C1"] | [] | | 34 | Seq#04 1: MTD_STORE_DATA_SCRIPT() | ["S34-C1", "S34-C2"] | ["RQ25_023", "RQ25_024", "RQ25_025", "RQ25_026", "RQ55_048", "RQ31_173"] | | 35 | Seq#04 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S35-C1", "S35-C2"] | ["RQ32_071", "RQ55_048"] | | 36 | Seq#05 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | ["S37-C1"] | [] | | 38 | Seq#05 IC3: Execute the step IC3 of the Test Sequence #03 defined in t | ["S38-C1"] | [] | | 39 | Seq#05 IC4: MTD_STORE_DATA_SCRIPT() | ["S39-C1"] | [] | | 40 | Seq#05 IC5: MTD_STORE_DATA_SCRIPT() | ["S40-C1"] | [] | | 41 | Seq#05 IC6: MTD_STORE_DATA_SCRIPT() | ["S41-C1"] | [] | | 42 | Seq#05 IC7: MTD_STORE_DATA_SCRIPT() | ["S42-C1"] | [] | | 43 | Seq#05 1: MTD_STORE_DATA_SCRIPT() | ["S43-C1", "S43-C2"] | ["RQ25_023", "RQ25_024", "RQ25_025", "RQ25_026", "RQ55_048", "RQ31_173"] | | 44 | Seq#05 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S44-C1", "S44-C2"] | ["RQ32_071", "RQ55_048"] | | 45 | Seq#06 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 47 | Seq#06 IC3: Execute the step IC3 of the Test Sequence #01 defined in t | ["S47-C1"] | [] | | 48 | Seq#06 IC4: MTD_STORE_DATA_SCRIPT() | ["S48-C1"] | [] | | 49 | Seq#06 IC5: MTD_STORE_DATA_SCRIPT() | ["S49-C1"] | [] | | 50 | Seq#06 IC6: MTD_STORE_DATA_SCRIPT() | ["S50-C1"] | [] | | 51 | Seq#06 1: MTD_STORE_DATA_SCRIPT()——除最后一条外全部发送；最后一条发送前触发步骤 | ["S51-C1"] | ["RQ25_023"] | | 52 | Seq#06 2/1: RESET（PROC_EUICC_INITIALIZATION_SEQUENCE 展开1/4，K_annexC2_p | ["S52-C1"] | [] | | 53 | Seq#06 2/2: [SELECT_MF]（展开2/4） | ["S53-C1", "S53-C2"] | [] | | 54 | Seq#06 2/3: [TERMINAL_CAPABILITY_LPAd]（展开3/4） | ["S54-C1"] | [] | | 55 | Seq#06 2/4: [TERMINAL_PROFILE]（展开4/4） | ["S55-C1"] | [] | | 56 | Seq#06 3/1: [MANAGE_CHANNEL_OPEN]（PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT | ["S56-C1", "S56-C2"] | [] | | 57 | Seq#06 3/2: MTD_SELECT(#ISD_R_AID)（展开2/2） | ["S57-C1"] | [] | | 58 | Seq#06 4: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S58-C1", "S58-C2"] | ["RQ32_071", "RQ55_048"] | | 59 | Seq#07 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | ["S60-C1"] | [] | | 61 | Seq#07 IC3: Split the into several segments arrays named: ) | ["S62-C1"] | [] | | 63 | Seq#07 IC5: MTD_STORE_DATA_SCRIPT() | ["S63-C1"] | [] | | 64 | Seq#07 IC6: MTD_STORE_DATA_SCRIPT() | ["S64-C1"] | [] | | 65 | Seq#07 1: MTD_STORE_DATA_SCRIPT() | ["S65-C1", "S65-C2", "S65-C3"] | ["RQ25_023", "RQ25_024", "RQ55_045", "RQ55_048", "RQ25_025", "RQ25_026", "RQ55_044"] | | 66 | Seq#07 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S66-C1", "S66-C2", "S66-C3"] | ["RQ32_071", "RQ55_048"] | | 67 | Seq#08 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 69 | Seq#08 IC3: Split the into several segments arrays named: ) | ["S70-C1"] | [] | | 71 | Seq#08 IC5: MTD_STORE_DATA_SCRIPT() | ["S71-C1"] | [] | | 72 | Seq#08 IC6: MTD_STORE_DATA_SCRIPT() | ["S72-C1"] | [] | | 73 | Seq#08 1: MTD_STORE_DATA_SCRIPT() | ["S73-C1", "S73-C2", "S73-C3"] | ["RQ25_023", "RQ25_024", "RQ55_045_2"] | | 74 | Seq#08 2: MTD_STORE_DATA(#GET_PROFILES_OWNERS) | ["S74-C1", "S74-C2"] | ["RQ32_071"] | | 75 | Seq#09 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 77 | Seq#09 IC3: Split the into several segments arrays named: ) | ["S78-C1"] | [] | | 79 | Seq#09 IC5: MTD_STORE_DATA_SCRIPT() | ["S79-C1"] | [] | | 80 | Seq#09 IC6: MTD_STORE_DATA_SCRIPT() | ["S80-C1"] | [] | | 81 | Seq#09 1: MTD_STORE_DATA_SCRIPT() | ["S81-C1", "S81-C2", "S81-C3"] | ["RQ25_023", "RQ25_024", "RQ55_045", "RQ55_048", "RQ25_025", "RQ25_026", "RQ55_045_2"] | | 82 | Seq#09 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARA | ["S82-C1", "S82-C2"] | ["RQ32_071", "RQ55_048"] | | 83 | Seq#10 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 85 | Seq#10 IC3: Split the into several segments arrays named: ) | ["S86-C1"] | [] | | 87 | Seq#10 IC5: MTD_STORE_DATA_SCRIPT() | ["S87-C1"] | [] | | 88 | Seq#10 IC6: MTD_STORE_DATA_SCRIPT() | ["S88-C1"] | [] | | 89 | Seq#10 1: MTD_STORE_DATA_SCRIPT() | ["S89-C1", "S89-C2", "S89-C3"] | ["RQ25_023", "RQ25_024", "RQ55_045", "RQ55_048", "RQ25_025", "RQ25_026", "RQ55_045_3"] | | 90 | Seq#10 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF9, NO_PARA | ["S90-C1", "S90-C2"] | ["RQ32_071", "RQ55_048"] | | 91 | Seq#11 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 93 | Seq#11 IC3: Split the into several segments arrays named: ) | ["S94-C1"] | [] | | 95 | Seq#11 IC5: MTD_STORE_DATA_SCRIPT() | ["S95-C1"] | [] | | 96 | Seq#11 IC6: MTD_STORE_DATA_SCRIPT() | ["S96-C1"] | [] | | 97 | Seq#11 1: MTD_STORE_DATA_SCRIPT() | ["S97-C1", "S97-C2", "S97-C3"] | ["RQ25_023", "RQ25_024", "RQ55_045", "RQ55_048", "RQ25_025", "RQ25_026", "RQ55_044"] | | 98 | Seq#11 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF10, NO_PAR | ["S98-C1", "S98-C2"] | ["RQ32_071", "RQ55_048"] | | 99 | Seq#12 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_PROF | [] | [] | | 101 | Seq#12 IC3: Split the into several segments arrays named: ) | ["S102-C1"] | [] | | 103 | Seq#12 IC5: MTD_STORE_DATA_SCRIPT() | ["S103-C1"] | [] | | 104 | Seq#12 IC6: MTD_STORE_DATA_SCRIPT() | ["S104-C1"] | [] | | 105 | Seq#12 1: MTD_STORE_DATA_SCRIPT() | ["S105-C1", "S105-C2", "S105-C3"] | ["RQ25_023", "RQ25_024", "RQ55_043", "RQ55_047", "RQ55_048", "RQ25_025", "RQ25_026", "RQ31_173"] | | 106 | Seq#12 2: MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF10, NO_PAR | ["S106-C1", "S106-C2"] | ["RQ32_071", "RQ55_043", "RQ55_048"] | ### 6.1 充分性分析（启发式，不作最终裁定） - cas：`GAPS_FOUND`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 121 项 / 生成体 checkData 99 次 / S 标号重合 88 / 计数缺口 22 / 形态 `DEFICIT`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 88 + binding 33 + gap 0；缺口判定以本行为权威（启发式计数仅旁证） - binding 覆盖示例：`S3-C1`→binding:bpp_split_per_annexB_segment_table(segment_bpp;SGP.22-2.；`S7-C2`→binding:bpp_seg_load_pir_runtime_semantics(S22-2.5.6;PIR-runtime；`S7-C3`→binding:bpp_seg_load_pir_runtime_semantics(S22-2.5.6;PIR-runtime；`S12-C1`→binding:bpp_split_per_annexB_segment_table(segment_bpp;SGP.22-2.；`S16-C2`→binding:bpp_seg_load_pir_runtime_semantics(S22-2.5.6;PIR-runtime - cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S101-C1', 'S105-C2', 'S105-C3', 'S12-C1', 'S16-C2', 'S16-C3', 'S19-C1', 'S20-C1', 'S25-C2', 'S28-C1', 'S29-C1', 'S3-C1', 'S34-C2', 'S37-C1', 'S38-C1', 'S43-C2', 'S47-C1', 'S60-C1', 'S61-C1', 'S65-C3', 'S66-C3', 'S69-C1', 'S7-C2', 'S7-C3', 'S73-C3', 'S77-C1', 'S81-C2', 'S81-C3', 'S85-C1', 'S89-C2', 'S89-C3', 'S93-C1', 'S97-C3'] - man：映射行 7；TTR 期望/实际回声 162；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证 - cas 信息步（无线上断言义务）：[1, 2, 10, 11, 18, 27, 36, 45, 46, 59, 67, 68, 75, 76, 83, 84, 91, 92, 99, 100] - caseir open_items： - B 表 4.2.7.2.1 有两行（#11/#12 C064 限定行 + 全版本 M 行）——C064 条件码不在输入包 C 段（仅到 C018），条件展开登记缺席 - General IC/序列 IC 编排（PROFILE_OPERATIONALx 未装载；#11/#12 用 NAI 认证变体）属执行侧 - METADATA/REPLACE_S_KEYS 常量字节不在输入包——BPP 与命令数据不可闭合；R2：LoadProfileElements 编码段语料真空确认（S22_load_elem.md 仅指向 Profile Package spec [5]）；PROC×2（Seq#06 步骤2/3）已由 K_annexC2_procs 表1256/1258 展开闭合 - 一次性密钥对、S_ENC/S_MAC/PPK_*、euiccSignPIR、 为执行期动态值 - RQ55_043 库文本为 VOID，但 TC 步骤 REQ 列仍引用——按原文保留映射并在此登记 - CU 清理过程属测试工具职责，语料未含 ## 7. 分类结论（封闭枚举） | 轴 | 计数 | 说明 | |---|---|---| | `RUN_DIFF` | 1 | man 通过 / cas 失败 | | `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 | | `GEN_DIFF` | 83 | 命令序列差：man-only 83 / cas-only 0 | | 侧 | 根因候选（七类，启发式签名） | 签名 | |---|---|---| | cas | `card_error` | `Connect Reader 失败|card is NOT connected|SW=0000|SW=00000000` | > 签名为文本面启发式命中（如 `6D00` 等 SW 亦可能是负例期望值），须结合 Expected 面核验后方可定论。 - 置信度：heuristic；需人工复核：False ## 8. 证据路径 - man 包：`../../packages/man/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-man.zip` - man TTR：`/Users/yuhu/cas/原料/切片/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements/logs/20260909_001201_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES8_LoadProfileElements_01_Error_EFICCID_different_from_the_ICCID_provided_in_the_Profile_Metadata_Initial_Conditions.ttr` - cas 包/源：`../../packages/cas/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-cas.zip` - cas TTR：`/Users/yuhu/cas/experiments/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-20261004_021949/logs/f6ee0b5e_gapfix1/result/TC_eUICC_ES8_LoadProfileElements/TC_eUICC_ES8_LoadProfileElements_01_12_01_06_09_10_12_07_08_11_11_12_merged.ttr` - spec_intl：`/Users/yuhu/cas/原料/切片/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements/spec_intl/SGP.23-v1.16_4.2.7.2.1_LoadProfileElements.md` - caseir：`/Users/yuhu/cas/experiments/4.2.7.2.1-TC_eUICC_ES8+.LoadProfileElements-20261004_021949/caseir_materialized_gate.json` - step_map：`—`