# 4.2.4.2.1 TC_eUICC_ES8+.ConfigureISDP — `-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.4.2.1-TC_eUICC_ES8+.ConfigureISDP-man.zip | `8fe255aaf76a4b8616fe5c9ce64e874b5a612057c8defa28b69755891fc4f4b0` | zip | TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data | | `-cas` | 4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-cas.zip | `7771c9206e7d9f36be9c18e586909f931e163419b4f2313488318b881f9016fa` | zip | — | - man 源路径：`../../packages/man/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-man.zip` - cas 源路径：`../../packages/cas/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-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_132715:c93e4ec2486e4f6684a24af0ba86092e` | — | `/Users/yuhu/cas/原料/切片/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP/logs/20260907_172735_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data.ttr` | `—` | | `-cas` | `unknown` | 纯 native 零卡态前置（N0） | 65 | `3a591b50ac224adda3afd86ddf64b2e9` | — | `/Users/yuhu/cas/experiments/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-20261004_021948/logs/3a591b50_gapfix1/result/TC_eUICC_ES8_ConfigureISDP/TC_eUICC_ES8_ConfigureISDP_01_02_03_merged.ttr` | `—` | - cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准） - cas 4.6 波次最新执行：terminal=`unknown`；stage=`cas_gapfix_rerun`；job=`3a591b50ac224adda3afd86ddf64b2e9`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 unknown（error_count=0）；failed 亦为有效终态，如实登记"] - cas 失败归因引用（块4）：`b3-attribution.md` - cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行 ## 3. HTML 执行日志状态 - `-man`：**NATIVE**（`../../evidence-html/4.2.4.2.1/man/TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data.html`；sha256 `7282eb1dd37ac726c62c98b8101fc60aeca9d9709d7edc618b3ef6a7ab02a860`；170384 bytes） - `-cas`：**NATIVE**（`../../evidence-html/4.2.4.2.1/cas/TC_eUICC_ES8_ConfigureISDP_01_02_03_merged.html`；sha256 `1587321dbfdc652620004f4b68ed7766d128bcd4e0b3f53454d83df031abeffd`；20485 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 195 / cas 253；字符：man 8043 / cas 19745 - man 顶层调用 Top：[["TestStepStart2", 33], ["CheckData", 6], ["TraceStart", 3], ["ResetCard", 3], ["TS_TERMINAL_CAPABILITY_cmd", 3], ["TS_MANAGE_CHANNEL_OPEN", 3], ["TS_SELECT", 3], ["RSP_profile_load_procedure_LPAd", 3], ["ES10b_GetEUICCInfo1", 3], ["ES10b_GetEUICCChallenge", 3]] - cas bind 调用：[["checkData", 21], ["sendApdu", 12]] | 方言映射对 | 命中数 | |---|---| | ResetCard() ↔ bind.resetAndAtr() | 3 | | TS_*_cmd() ↔ bind.* 命令封装 | 9 |
unified diff（截断预览） ```diff --- man +++ cas @@ -1,194 +1,252 @@ -// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data + TC_eUICC_ES8_ConfigureISDP_02_Nominal_Proprietary_Data_with_the_maximum_length_authorized_128_bytes + TC_eUICC_ES8_ConfigureISDP_03_Error_Proprietary_Data_with_the_maximum_length_exceeded_129_bytes (extracted verbatim) - -function TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data() -{ - - tracenamestr = "测试目的：执行ConfigureISDP，Proprietary Data为空"; - curDis.TraceStart(sno++,tracenamestr); - - curDis.TestStepStart2(stno++,"复位；"); - ResetCard(); - - curDis.TestStepStart2(stno++,"读卡器向卡片发送Terminal Capability命令；"); - TS_TERMINAL_CAPABILITY_cmd(); - - 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；--空Proprietary 数据"); - Profile_load_procedure.isEmptyProprietaryData = true; - Profile_load_procedure.ConfigureISDP(); - - - curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile状态；"); - var proInfoListRequest = new ProfileInfoListRequest(); - proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.iccid,ICCID_OP_PROF1); - proInfoListRequest.tagList = "4FB8"; - proInfoListRequest.GenHexData(); - var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData); - - var proInfoListResponse = new ProfileInfoListResponse(); - proInfoListResponse.checkCardResDataFormat(respData); - - try - { - curStrHandle.CheckData(curProfile_ISD_P_AID, proInfoListResponse.profileInfoListOk.arrOfElement[0].isdpAid, "ISD-P AID"); - curStrHandle.CheckData("不存在", proInfoListResponse.profileInfoListOk.arrOfElement[0].dpProprietaryData, "dpProprietaryData"); - }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+.ConfigureISDP，Test Sequence #01 Nominal: Empty Proprietary Data; #02 Nominal: Proprietary Data with the maximum length authorized (i.e. 128 bytes); #03 Error: Proprietary Data with the maximum length exceeded (i.e. 129 bytes)，适用性 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 isdpAid present；S8-C2 dpProprietaryData absent；S12-C1 SW；S13-C1 SW；S14-C1 SW；S15-C1 SW +// S15-C2 SW；S15-C2 resp present；S16-C1 SW；S16-C2 dpProprietaryData present；S20-C1 SW；S21-C1 SW +// S21-C2 SW；S21-C2 resp present +// 本函数由 CaseIR 4.2.4.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_ConfigureISDP_01_02_03_merged() { + var bind = curBind; + + // 步骤 1：Seq#01 IC1: Generate the and （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: = MTD_GENERATE_BPP（tc_step） + // BPP synthesized (4.2.4.2.1 seq#1, structural layer, SCP03t-unprotected): 1052 bytes; segments: INIT=191B, A0=7B, A1=58B, 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.4.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 + // [SPEC] BF36/A3 — Table 4 :1595 sequenceOf86 + // [HYPOTHESIS] 87/88/86 段值 — UNPROTECTED：明文承载，SCP03t 包壳属后续 lane + // [SPEC] BF23 — SGP.22 §5.5.1 :7241 InitialiseSecureChannelRequest [35] + // [SPEC] BF23/82 remoteOpId — SGP.22 :1400 RemoteOpId [2] INTEGER + // [HYPOTHESIS] BF23/80 transactionId — SM-DP+ 会话值，Annex E 缺席，调用方注入 + // [SPEC] BF23/A6 controlRefTemplate — SGP.22 :7255-7263 CRT 子集 + // [SPEC] BF23/A6/80 keyType — SGP.22 :7257 AES='88' + // [SPEC] BF23/A6/81 keyLen — SGP.22 :7259 SHALL be 0x10 + // [HYPOTHESIS] BF23/A6/84 hostId — Host ID 值，Annex E 缺席 + // [HYPOTHESIS] BF23/5F49 smdpOtpk — otPK.DP.ECKA，需真实密钥协商 lane + // [HYPOTHESIS] BF23/5F37 smdpSign — SK.DPbp.ECDSA 签名，需签名 lane + // [SPEC] BF24 — SGP.22 §5.5.2 :7319 ConfigureISDPRequest [36] + // [SPEC] BF25 — SGP.22 §5.5.3 :7365 StoreMetadataRequest [37] + // [SPEC] BF25/5A iccid — SGP.22 :1398 Iccid [APPLICATION 26] tag '5A'；值域 HYPOTHESIS（Annex E 缺席，需与 UPP EF-ICCID 一致） + // [HYPOTHESIS] BF25/91 serviceProviderName — Annex E 缺席 + // [HYPOTHESIS] BF25/92 profileName — Annex E 缺席 + // [SPEC] BF25/95 profileClass — SGP.22 :13218 ProfileClass INTEGER；取 operational(2) + // [SPEC] UPP — PITS ProfileElement 序列 header+mf+usim+end（最小集） + // [SPEC] PE header — PITS asn:26 ProfileElement header CHOICE [0] + // [SPEC] PE header/version — PITS asn:67-68 2/3 + // [SPEC] PE header/profileType — PITS asn:942 Test Profile 值 + // [HYPOTHESIS] PE header/iccid — eUICC 忽略此值（SGP.22 :7511）；随参数化 ICCID + // [SPEC] PE header/services+GFSTE — PITS asn:946-958 子集转录 + // [SPEC] PE mf — PITS asn:222 PE-MF + mfVal :961-1039 …（差异行超限，共 448 行，此处截断） ```
### 4.2 UCE/命名对照 - man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data', 'ES8(SMDP+ -- eUICC):ConfigureISDP', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：`TC_eUICC_ES8_ConfigureISDP/TC_eUICC_ES8_ConfigureISDP.uce`；入口 [('TC_eUICC_ES8_ConfigureISDP_01_02_03_merged', 'TC_eUICC_ES8_ConfigureISDP', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES8_ConfigureISDP_01_02_03_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} ## 5. L2 步骤/APDU/step_map 差异（结构化对齐） - 命令计数：man 73 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 73，cas-only 0 | # | `-man` | `-cas` | 对齐 | |---|---|---|---| | — | man-only: `@RESET`, `80AA000007A9058100830137`, `0070000000`, `0070000001`, `01A4040010A0000005591010FFFFFFFF8900000100`, `01C0000021`, `81E2910003BF2000`, `01C00000A9`, `81E2910003BF2E00`, `01C0000015`, `81E21100FFBF388202F030498010732CD9BEC9D0…7525350`, `81E21101FF54455354310B300906035504061302…603551D` | | | ## 6. L3 规范字段/Expected/REQ/通过条件差异 - spec：/Users/yuhu/cas/原料/切片/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP/spec_intl/SGP.23-v1.16_4.2.4_ConfigureISDP.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-20261004_021948/caseir_materialized_gate.json` spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）： | 规范步骤 | man 脚本实现 | man 实跑结果 | |---|---|---| | General IC 链（选 ISD-R＋鉴权＋#PREP_DOWNLOAD_NO_CC） | 复位/TC `ResetCard()`+`TS_TERMINAL_CAPABILITY_cmd()`（L10/L13）→ 开通道 `TS_M | 通过（会话链 APDU1-APDU103 全 9000 段：Info1/Challenge/AuthServer/PrepareDownlo | | IC1/IC2/IC3 生成 BPP 与段切分 | `Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_ | 通过（BPP 段流 APDU107-APDU177 逐段 SW=9000） | | IC4 BPP_SEG_INIT（SW=9000 无响应） | 同上过程调用（L43） | 通过（APDU107 `BF36 8209..` + BF23 initSC 段，期望 9000=实际 9000） | | 1 BPP_SEG_A0（SW=9000，RQ31_165/RQ55_028/RQ24_010） | 同上（A0 段＝configureISDP，87 SCP03t 密文封装） | 通过（APDU111 `A01A 8718…` 期望 9000=实际 9000） | | 2 BPP_SEG_A1（SW=9000） | 同上（A1 段头+88 元数据段流） | 通过（APDU115 `A129` 段头 + APDU119 起元数据段，期望 9000=实际 9000） | | 3 BPP_SEG_A3 末段 #R_PIR_OK + euiccSignPIR 验签（RQ25_023/RQ25_024） | 同上；过程内部 `CheckData("3007A0053003800100", …finalResult.successResult.si | 通过（APDU177 末段响应 `BF37` ProfileInstallationResult：transactionId 期望=实际（A | | 4 #GET_CONF_OP_PROF1 → ProfileInfoListResponse：isdpAid 在场、dpProprietaryData 不在场、SW=9000（RQ55_025/RQ24_010） | `ProfileInfoListRequest`（tagList `"4FB8"`＝isdpAid+dpProprietaryData，L4 | 通过（APDU196 请求 `BF2D12…` 响应 `BF2D16A014E312 4F10 A0000005591010FFFFFFFF | | （收尾，非规范步骤） | `RecoverCard()`（L64，MemoryReset 06C0＋通知链清空＋关通道） | 通过（Transaction 2 APDU207-APDU326 全绿，卡归零态） | cas CaseIR 步骤/检查： | 步 | 动作 | checks | REQ | |---|---|---|---| | 1 | Seq#01 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_EMPT | [] | [] | | 3 | Seq#01 IC3: Split the into several segments arrays named: ) | ["S4-C1"] | [] | | 5 | Seq#01 1: MTD_STORE_DATA_SCRIPT() | ["S5-C1"] | ["RQ31_165", "RQ55_028", "RQ24_010"] | | 6 | Seq#01 2: MTD_STORE_DATA_SCRIPT() | ["S6-C1"] | [] | | 7 | Seq#01 3: MTD_STORE_DATA_SCRIPT() | ["S7-C1", "S7-C2", "S7-C3", "S7-C4"] | ["RQ25_023", "RQ25_024"] | | 8 | Seq#01 4: MTD_STORE_DATA(#GET_CONF_OP_PROF1) | ["S8-C1", "S8-C2", "S8-C3"] | ["RQ55_025", "RQ24_010"] | | 9 | Seq#02 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_MAX_ | [] | [] | | 11 | Seq#02 IC3: Execute the step IC3 of the Test Sequence #01（切分为 ) | ["S12-C1"] | [] | | 13 | Seq#02 1: MTD_STORE_DATA_SCRIPT() | ["S13-C1"] | ["RQ31_165", "RQ55_028", "RQ24_010"] | | 14 | Seq#02 2: MTD_STORE_DATA_SCRIPT() | ["S14-C1"] | [] | | 15 | Seq#02 3: MTD_STORE_DATA_SCRIPT() | ["S15-C1", "S15-C2", "S15-C3"] | ["RQ25_023", "RQ25_024"] | | 16 | Seq#02 4: MTD_STORE_DATA(#GET_CONF_OP_PROF1) | ["S16-C1", "S16-C2", "S16-C3"] | ["RQ55_027", "RQ24_010"] | | 17 | Seq#03 IC1: Generate the and = MTD_GENERATE_BPP(#S_INIT_SC_PROF1, #CONF_ISDP_SIZE | [] | [] | | 19 | Seq#03 IC3: Execute the step IC3 of the Test Sequence #01（切分为 ) | ["S20-C1"] | [] | | 21 | Seq#03 1: MTD_STORE_DATA_SCRIPT() | ["S21-C1", "S21-C2", "S21-C3"] | ["RQ55_028", "RQ31_165", "RQ55_026", "RQ25_025", "RQ25_026", "RQ35_003_1"] | ### 6.1 充分性分析（启发式，不作最终裁定） - cas：`GAPS_FOUND`（全步有检查=True；REQ 全覆盖=False；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 26 项 / 生成体 checkData 21 次 / S 标号重合 17 / 计数缺口 5 / 形态 `DEFICIT`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 17 + binding 9 + 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；`S7-C4`→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. - cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S11-C1', 'S15-C3', 'S16-C3', 'S19-C1', 'S21-C3', 'S3-C1', 'S7-C3', 'S7-C4', 'S8-C3'] - man：映射行 8；TTR 期望/实际回声 138；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证 - cas 信息步（无线上断言义务）：[1, 2, 9, 10, 17, 18] - REQ 声明面 vs caseir 引用面差异（1 项，非等价缺口判定）：['**RQ55_025**--dpProprietaryData 不在场断言）'] - caseir open_items： - General IC 编排（同 4.2.3.2.1 前置链）属执行侧 - #CONF_ISDP_*/#S_INIT_SC_PROF1/#METADATA_OP_PROF1 常量字节不在输入包——BPP 与命令数据不可闭合；R2 已闭合 ConfigureISDPRequest 外层结构（BF24 + dpProprietaryData B8 ≤128B，S22_conf_isdp.md:29-41） - 一次性密钥对、S_ENC/S_MAC/S_INIT_MAC、euiccSignPIR、#ADDITIONAL_SMDP_DATA_MAX_LENGTH、 为执行期动态值 - 每序列执行后的 CU 清理过程属测试工具职责，语料未含 ## 7. 分类结论（封闭枚举） | 轴 | 计数 | 说明 | |---|---|---| | `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 | | `GEN_DIFF` | 74 | 命令序列差：man-only 73 / cas-only 0；REQ 覆盖缺口：['**RQ55_025**--dpProprietaryData 不在场断言）'] | | 侧 | 根因候选（七类，启发式签名） | 签名 | |---|---|---| | cas | `card_error` | `Connect Reader 失败|card is NOT connected|SW=0000|SW=00000000` | > 签名为文本面启发式命中（如 `6D00` 等 SW 亦可能是负例期望值），须结合 Expected 面核验后方可定论。 - 置信度：heuristic；需人工复核：False ## 8. 证据路径 - man 包：`../../packages/man/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-man.zip` - man TTR：`/Users/yuhu/cas/原料/切片/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP/logs/20260907_172735_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES8_ConfigureISDP_01_Nominal_Empty_Proprietary_Data.ttr` - cas 包/源：`../../packages/cas/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-cas.zip` - cas TTR：`/Users/yuhu/cas/experiments/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-20261004_021948/logs/3a591b50_gapfix1/result/TC_eUICC_ES8_ConfigureISDP/TC_eUICC_ES8_ConfigureISDP_01_02_03_merged.ttr` - spec_intl：`/Users/yuhu/cas/原料/切片/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP/spec_intl/SGP.23-v1.16_4.2.4_ConfigureISDP.md` - caseir：`/Users/yuhu/cas/experiments/4.2.4.2.1-TC_eUICC_ES8+.ConfigureISDP-20261004_021948/caseir_materialized_gate.json` - step_map：`—`