# 4.2.13.2.4 TC_eUICC_ES10b.GetEUICCInfo2 — `-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.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-man.zip | `29bb27ee1e8c39f30c5516c8311f1d4511361ca36874015ff4c0a7fd0f499c79` | zip | TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer |
| `-cas` | 4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-cas.zip | `37cd899d233287c10ce826cd275727a91f5b9defae9fa04375e726141c407654` | zip | — |
- man 源路径：`../../packages/man/4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-man.zip`
- cas 源路径：`../../packages/cas/4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-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_122250:85aa14ee5e0d4247adcbe214d806fe27` | — | `/Users/yuhu/cas/原料/切片/4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2/logs/20260907_124720_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer.ttr` | `—` |
| `-cas` | `placed` | 纯 native 零卡态前置（N0） | 0 | `25cfa09828d94866897ac2f8686f6c50` | — | `/Users/yuhu/cas/experiments/4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-20260928_043958/logs/25cfa09828d94866897ac2f8686f6c50/result/TC_eUICC_ES10b_GetEUICCInfo2/TC_eUICC_ES10b_GetEUICCInfo2_01_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 1 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`placed`；stage=`place`；job=`25cfa09828d94866897ac2f8686f6c50`；gaps=["L6/version_binding 证据缺席：锚单元无 hil.json——如实 False/None", "version_binding 同窗采集携带（cas_bind sha256 + abi_contract + 当次诊断包 tool_version 三件齐备）"]
- cas 失败归因引用（块4）：`b1-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行
## 3. HTML 执行日志状态
- `-man`：**NATIVE**（`../../evidence-html/4.2.13.2.4/man/TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer.html`；sha256 `3e429d7a95ab95b2a0ce56a1abe05636f89ac656e2367436d67dda2d92bf56ad`；147423 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.13.2.4/cas/TC_eUICC_ES10b_GetEUICCInfo2_01_merged.html`；sha256 `4c5bfc701d784d8c84f75e5ae0391b39ad174c427ae359338deda1b30c152db1`；42707 bytes）
- 纪律：原生缺失 → `HTML_UNAVAILABLE` 显式阻断（附探针结论）；派生件仅标 `DERIVED_NOT_NATIVE`，不冒充原生。
## 4. L1 脚本/依赖/命名差异（源文件闭包级）
- 闭包规模：man 34 文件 / cas 82 文件；同名 31（字节同 28，内容异 3）
- 同名内容异：`CardAbilityConfig/eUICC_SGP_23_Options_EDITABLE.xml`, `CardAbilityConfig/eUICC_SGP_23_Settings_EDITABLE.xml`, `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 43 / cas 208；字符：man 1789 / cas 18553
- man 顶层调用 Top：[["TestStepStart2", 7], ["TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer", 2], ["TraceStart", 1], ["Ini_powerOn_eUICC_LPAe_not_activate", 1], ["TS_MANAGE_CHANNEL_OPEN", 1], ["TS_SELECT", 1], ["RSP_profile_load_procedure_LPAd", 1], ["ES10b_GetEUICCInfo1", 1], ["ES10b_GetEUICCChallenge", 1], ["ES10b_AuthenticateServer", 1]]
- cas bind 调用：[["checkData", 34], ["sendApdu", 6], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]
| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 2 |
unified diff（截断预览）
```diff
--- man
+++ cas
@@ -1,42 +1,207 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer (extracted verbatim)
-
-function TC_eUICC_ES10b_GetEUICCInfo2_02_Nominal_GetEUICCInfo2_call_after_AuthenticateServer()
-{
- tracenamestr = "测试目的：执行AuthenticateServer后获取EUICCInfo2";
- curDis.TraceStart(sno++,tracenamestr);
-
- curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
- Ini_powerOn_eUICC_LPAe_not_activate();
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
- TS_MANAGE_CHANNEL_OPEN();
-
- curLogicChannel = 1;
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
- TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
- var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
- Profile_load_procedure.ICCID = ICCID_OP_PROF1;
- Profile_load_procedure.ES10b_GetEUICCInfo1();
-
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
- Profile_load_procedure.ES10b_GetEUICCChallenge();
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
- Profile_load_procedure.ES10b_AuthenticateServer();
- var euiccInfo2_hexData_1 = Profile_load_procedure.authServerResponse.authenticateResponseOk.euiccSigned1.euiccInfo2.hexData;
-
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo2Request，获取EUICCInfo2；");
-
- var euiccInfo2 = new EUICCInfo2();
- var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
-
- euiccInfo2.checkCardResDataFormat(hexData);
- curStrHandle.CheckData(euiccInfo2_hexData_1, euiccInfo2.hexData,"检查EUICCInfo2数据应与authServerResponse中返回的数据一致");
-
- check_EUICCInfo2(euiccInfo2);
- RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20260928-203316
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetEUICCInfo2，Test Sequence #01 Nominal: GetEUICCInfo2 call after AuthenticateServer，适用性 M。
+// Test points: ICH-IC1-K1-C1 ATR_present；ICH-IC1-K2-C2 FCP_Template；ICH-IC1-K2-C4 SW
+// ICH-IC1-K3-C4 SW；ICH-IC1-K4-C4 final SW；ICH-IC2-K1-C4 SW；ICH-IC2-K1-C3 CHANNEL_NUMBER extracted
+// ICH-IC2-K2-C4 SW；S1-C1 SW；S1-C2 R_EUICC_INFO1 outer tag
+// S1-C2 R_EUICC_INFO1 required members present；S1-C3 CI PK lists share at least one key id
+// S2-C1 SW；S2-C2 R_CHALLENGE outer tag；S2-C2 euiccChallenge tag；S2-C2 euiccChallenge length
+// IC6-C1 MTD_STORE_DATA_SCRIPT(#AUTHENTICATE_SMDP) SW
+// IC6-C2 #R_AUTHENTICATE_SMDP authenticateResponseOk structure (euiccSigned1)；S3-C1 SW
+// S3-C2 R_EUICC_INFO2 outer tag；S3-C2 R_EUICC_INFO2 required members present
+// S3-C3 IC6 euiccInfo2 equality (extCardResource excluded) oracle
+// S3-C4 RQ57_051 function accepted at this sequence position；S3-C5 RQ57_053 command data
+// S3-C6 RQ57_058 ts102241Version presence observed
+// S3-C7 RQ57_059 globalplatformVersion presence observed；S3-C8 RQ57_062 rpmSupport bit is 0
+// S3-C9 svn consistency with step (6) via IC6 equality oracle
+// S3-C10 RQ43_001 eUICC information provided in response
+// S3-C11 RQ43_002 EUICCInfo2 received from eUICC
+// 本函数由 CaseIR 4.2.13.2.4 编译生成（4.2.13.2.4-TC_eUICC_ES10b.GetEUICCInfo2-20260928_043958，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_ES10b_GetEUICCInfo2_01_merged() {
+ var bind = curBind;
+
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+ var s4 = bind.resetAndAtr();
+ bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s4.atr_hex !== "" ? "1" : "0");
+
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 2)：SELECT_MF（K 语料机械展开）
+ // FCP outer tag not materialized from clause: tag-face asserted only when corpus fixes the tag byte (e.g. TS 102 221 FCP '62').
+ var s5 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+ bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s5.resp.length > 0 ? "1" : "0");
+ bind.checkData("ICH-IC1-K2-C4 SW", "9000", s5.sw);
+
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+ var s6 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+ bind.checkData("ICH-IC1-K3-C4 SW", "9000", s6.sw);
+
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+ var steady7 = bind.runToSteadyState(function () {
+ return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+ });
+ bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady7.final.sw);
+
+ // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 1)：MANAGE_CHANNEL_OPEN（K 语料机械展开）
+ // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+ var s8 = bind.manageChannelOpen("9000");
+ bind.checkData("ICH-IC2-K1-C4 SW", "9000", s8.sw);
+ bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s8.chan !== null ? "1" : "0");
+
+ // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 2)：MTD_SELECT（K 语料机械展开）
+ // CLA = bound channel (cla_rule) and length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+ var s9 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", null, "9000");
+ // MTD_SELECT expected face is SW-only (K Annex C.2 open-channel procedure step 2: no FCI content assertion in corpus); no fabricated template parse.
+ bind.checkData("ICH-IC2-K2-C4 SW", "9000", s9.sw);
+
+ // 步骤 1：MTD_STORE_DATA（procedure_expansion）
+ // length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+ var sdCla1 = s8.chan !== null ? (s8.chan <= 3 ? 128 + s8.chan : 188 + s8.chan).toString(16).toUpperCase() : null;
+ var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2000", "00", "9000");
+ bind.checkData("S1-C1 SW", "9000", s1.sw);
+ // geca-proc ES10b Info 响应面（R_EUICC_INFO1，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+ var gw1 = BindGecaProc.parseGecaResponse(s1.resp, {outer: "BF20", required: ["82", "A9", "AA"], optional: []});
+ bind.checkData("S1-C2 R_EUICC_INFO1 outer tag", "BF20", gw1.outer_tag === null ? "absent" : gw1.outer_tag);
+ bind.checkData("S1-C2 R_EUICC_INFO1 required members present", "1", gw1.ok ? "1" : "0");
+ var pkV1 = BindEs10xSingleRequest.parseBerTlv(gw1.fields["A9"] || "");
+ var pkS1 = BindEs10xSingleRequest.parseBerTlv(gw1.fields["AA"] || "");
+ var samePk1 = false;
+ for (var pvi1 = 0; pvi1 < pkV1.length; pvi1++) {
+ for (var psi1 = 0; psi1 < pkS1.length; psi1++) {
+ if (pkV1[pvi1].value !== "" && pkV1[pvi1].value === pkS1[psi1].value) { samePk1 = true; }
+ }
+ }
+ bind.checkData("S1-C3 CI PK lists share at least one key id", "1", samePk1 ? "1" : "0");
+
+ // 步骤 2：MTD_STORE_DATA（procedure_expansion）
…（差异行超限，共 251 行，此处截断）
```