• 残留 gap（收尾循环终态）：S1-C13 #IUT_UICC_CAPABILITY（akaTuak128/akaTuak256 比对右值）——位序号唯一来源 TCA PEDefinitions 的 UICCCapability BIT STRING 命名位表不在仓（SGP.22 仅以 UICCCapability FROM PEDefinitions 导入引用）。仓内唯一 PEDefinitions 文本（原料/配套标准/Profile interoperability technical specification_V2.3.1.asn:81-129）的 ServicesList 是 SEQUENCE 非 BIT STRING 版，与 BIT 位号不对应；厂商 RSP_Obj.js:527-528 给 akaTuak128=(6)/akaTuak256=(7)，与 .asn SEQUENCE 序一致、与规范 BIT STRING 不一致 → 仅 HYPOTHESIS，不可据以编造。
• 登记：SPEC_CONFLICT 候选——PEDefinitions .asn SEQUENCE 列序 vs 规范 BIT STRING 位序 vs 厂商位表三者不一致；裁决需 TCA PEDefinitions 模块或官方裁定。右值属 IUT 交付依赖（F1_iut_euicc_settings 按设计不列位值，SGP.23:18468）。
• 可行替代口径（待评审）：按 registry 既有形式化（data/registry/4.2.13.2.7.json:365）发结构级谓词（BIT STRING 长度/unused-bits 合法性断言），右值执行期从 IUT 配置注入——本轮未改语义，保留 gap。
• 对照：同族 4.2.13.2.9 S1-C3（IUT_SIMA_VERSION）已修复（声明源 sima_version=020301 实断言）。

• 闭合（2026-10-07 另案）：S1-C13 接线——TCA PE Definitions UICCCapability 命名位表取证落地（akaTuak128(6)/akaTuak256(7)；v2.3 5G AN §3＋v3.x ASN.1 模块＋Wireshark/pySim/osmo-ttcn3/lpac 四源一致），geca 变体 compile_rules 增析取形态规则 → 真空诚实面 js 发射（operand=iut_uicc_capability_constant）；编译 gap 1→0（js 21→22），e2e/重建零判定翻转；树哈希钉随动（tests/test_compile_spec_gapfix_dialects.py）。

4.2.13.2.7 TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher — -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. 配对与包

• man 源路径：../packages/man/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-man.zip
• cas 源路径：../packages/cas/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-cas.zip
• 上游来源：{"man_ledger": true, "cas_ledger": true, "naming_map": true, "html_probe": true, "man_package": true, "cas_package": true}
• 适用性：naming-map=N/A/M ["N/A", "N/A", "N/A", "M", "M"]；caseir=M

2. 执行摘要（双方 job/终态）

• cas 块4账本：decision=RERUN；route=native_N0；live 事件 1 条（4.6 波次进行中；以块4终版账本为准）
• cas 4.6 波次最新执行：terminal=failed；stage=verify；job=9bd9eb5bf3764788ab5ab58dd528764a；gaps=["trace verdict=PASS", "结果通道 verdict='FAIL'"]
• cas 失败归因引用（块4）：b1-attribution.md
• cas 证据来源分层：RERUN → 本轮 4.6 波次执行

3. HTML 执行日志状态

• -man：NATIVE（../evidence/4.2.13.2.7/man/TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher.html；sha256 fbf150f434d9fa8c0f933be6d946b0080a8447b858929c7f11306c2903cfa456；89090 bytes）
• -cas：NATIVE（../evidence/4.2.13.2.7/cas/TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher_01_merged.html；sha256 2bc348189ba1ff60b0e200451743cd24d588845d5a5d8dea178d51ffd9941ecd；21882 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 68 / cas 87；字符：man 2287 / cas 7967
• man 顶层调用 Top：[["CheckData", 5], ["TestStepStart2", 4], ["TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher", 2], ["parseInt", 2], ["SubLevelError", 2], ["TraceStart", 1], ["Ini_powerOn_eUICC_LPAe_not_activate", 1], ["TS_MANAGE_CHANNEL_OPEN", 1], ["TS_SELECT", 1], ["EUICCInfo2", 1]]
• cas bind 调用：[["checkData", 22], ["sendApdu", 4], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

--- man
+++ cas
@@ -1,67 +1,86 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260929-115827
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher，Test Sequence #01 Nominal – RSP Version 2.4 or Higher，适用性 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_INFO2 outer tag
+//   S1-C2 R_EUICC_INFO2 required members present
+//   S1-C3 EXT_CARD_RESOURCE installed-application field is '00' oracle
+//   S1-C4 ts102241Version >= 0x090000；S1-C5 globalplatformVersion >= 0x020300
+//   S1-C6 crlSupport conditional on O_E_CRL oracle
+//   S1-C7 testProfileSupport conditional on O_E_TEST_PROF oracle；S1-C8 rpmSupport bit is 0
+//   S1-C9 additionalProfile bit is 1
+//   S1-C10 serviceSpecificDataSupport conditional on O_E_SERVICES_SPECIFIC_DATA oracle
+//   S1-C11 IUT_UICC_CAPABILITY javacard/akaMilenage/akaTuak bits oracle
+//   S1-C12 IUT_UICC_CAPABILITY javacard/akaMilenage/akaTuak bits oracle
+//   S1-C14 treProperties value in {isDiscrete}/{isIntegrated}/{isIntegrated,usesRemoteMemory}
+// 本函数由 CaseIR 4.2.13.2.7 编译生成（blindgen-R2-421327，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_RSP_V2_4_or_Higher_01_merged() {
+    var bind = curBind;
 
-function TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher()
-{
-	tracenamestr = "测试目的：获取EUICCInfo2–RSP V2.4及以上";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s2 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s2.atr_hex !== "" ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 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 s3 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s3.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s3.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s4 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s4.sw);
 
-	curLogicChannel = 1;
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady5 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady5.final.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // 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 s6 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s6.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s6.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo2Request，获取EUICCInfo2；");
-	var euiccInfo2 = new EUICCInfo2();
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
+    // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 2)：MTD_SELECT（K 语料机械展开）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s7 = 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", s7.sw);
 
-	euiccInfo2.checkCardResDataFormat(hexData);
-
-	try
-	{
-		curStrHandle.CheckData("8101008204XXXXXXXX8302XXXX", euiccInfo2.extCardResource, "extCardResource");
-
-		var uiccCapabilityObj = new UICCCapability();
-		uiccCapabilityObj.check_1(euiccInfo2.uiccCapability);
-
-		if(typeof(IUT_TS102241_VERSION) != "undefined")
-		{
-			curStrHandle.CheckData(IUT_TS102241_VERSION, euiccInfo2.ts102241Version,"ts102241Version");
-
-			var UT_TS102241_VERSION = parseInt(euiccInfo2.ts102241Version,16);
-			if (UT_TS102241_VERSION < 0x90000)
-				obj.SubLevelError("eUICC支持的ts102241版本太低");
-		}
-		else
-		{
-			curStrHandle.CheckData("undefined", euiccInfo2.ts102241Version,"ts102241Version");
-		}
-
-		if(typeof(IUT_GLOBALPLATFORM_VERSION) != "undefined")
-		{
-			curStrHandle.CheckData(IUT_GLOBALPLATFORM_VERSION, euiccInfo2.globalplatformVersion,"globalplatformVersion");
-
-			var UT_GLOBALPLATFORM_VERSION = parseInt(euiccInfo2.globalplatformVersion,16);
-			if (UT_GLOBALPLATFORM_VERSION < 0x020300)
-				obj.SubLevelError("eUICC支持的GP版本太低");
-		}
-		else
-		{
-			curStrHandle.CheckData("undefined", euiccInfo2.globalplatformVersion,"globalplatformVersion");
-		}
-
-		var rspCapabilityObj = new RspCapability();
-		rspCapabilityObj.check(euiccInfo2.rspCapability);
-
-	}catch(e){
-		obj.SubLevel("EUICCInfo2数据内容检查不通过", level_of_SubLevel.error);
-	}
-
-	RecoverCard();
-
+    // 步骤 1：MTD_STORE_DATA（tc_step；REQ: RQ43_001, RQ43_002, RQ43_005, RQ43_006, RQ43_007, RQ43_008, RQ43_009, RQ43_010, RQ43_011, RQ43_012, RQ43_013, RQ57_057_1, RQ57_060, RQ57_061, RQ57_063, RQ57_064, RQ57_066）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s6.chan !== null ? (s6.chan <= 3 ? 128 + s6.chan : 188 + s6.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2200", "00", "9000");
…（差异行超限，共 148 行，此处截断）

• man：ESIM_TEST_SGP_23.UCE；入口 [('TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher', 'TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
• cas：TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher/TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher.uce；入口 [('TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher_01_merged', 'TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher_01_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

5. L2 步骤/APDU/step_map 差异（结构化对齐）

• 命令计数：man 40 / cas 13；精确对齐 7，核心（CLA·INS·P1·P2·Lc）同 3，man-only 30，cas-only 3

6. L3 规范字段/Expected/REQ/通过条件差异

• spec：/Users/yuhu/cas/原料/切片/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher/spec_intl/SGP.23-v1.16_4.2.13_GetEUICCInfo2_RSP_V2.4_or_Higher.md（风格：table）；caseir：/Users/yuhu/cas/experiments/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-20260929_034348/caseir_materialized_gate.json

6.1 充分性分析（启发式，不作最终裁定）

• cas：NO_MECHANICAL_GAPS（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
• cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 14 项 / 生成体 checkData 22 次 / S 标号重合 13 / 计数缺口 0 / 形态 FULL；执行面 FAIL（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
• cas 编译器自证（check_attestation，同批构建）：声明 None = js 22 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
• cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S1-C13']
• man：mapping 行 9 / 规范步 1；TTR 期望/实际回声 84；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
• caseir open_items：
• #IUT_TS102241_VERSION / #IUT_GLOBALPLATFORM_VERSION / #IUT_UICC_CAPABILITY / #IUT_EUICC_FIRMWARE_VER / #IUT_PP_VERSION / #IUT_SAS_ACCREDITATION_NUMBER / #IUT_EUICC_CATEGORY / #IUT_PLATFORM_LABEL / #IUT_DLOA_URL 为 IUT 设置项：F1_iut_euicc_settings（行 7-19）仅给定义与编码格式（如 3 字节 major/minor/revision、UTF8String、BIT STRING），不含具体值；值由 eUICC Manufacturer 交付的测试配置提供，维持 IUT 声明依赖登记
• O_E_SERVICES_SPECIFIC_DATA 助记符在 R2 新段中仍无定义（S22_5_7_8_info1 行 133 仅给 serviceSpecificDataSupport bit 5 的 BIT STRING 语义，非 O_E_* 适用性助记符定义；A 段 12 项 O_E_* 亦不含）；维持语料真空，S1-C10 断言按 TC 原文条件语义登记
• command.cla 具体字节（步骤 1）为 <CHANNEL_NUMBER> 运行时绑定的结构性动态值，经 cla_rule 登记，非语料真空
• 卡运行时编排（读卡器复位执行、通道绑定时机）属测试工具职责，非 CaseIR 范围；R5 起过程编排锚定 initial_conditions expansion_source（K 段表 1256/1258），PRECONDITION 会话链由编译器机械内联发射（EXP1/EXP2 先例）
• R5 形态对齐：6 条 K 过程物化步折叠回 IC1/IC2 声明（geca_variant 门禁合同 = 变体表 IC 纯 PROC 折叠、步序仅编号 tc_step——折叠非降级，过程体溯源不失）；check 重编号 S7-C*→S1-C*，coverage 同步重映射

7. 分类结论（封闭枚举）

• 置信度：heuristic；需人工复核：False

7.1 人工注记（收尾循环）

• 残留 gap（收尾循环终态）：S1-C13 #IUT_UICC_CAPABILITY（akaTuak128/akaTuak256 比对右值）——位序号唯一来源 TCA PEDefinitions 的 UICCCapability BIT STRING 命名位表不在仓（SGP.22 仅以 UICCCapability FROM PEDefinitions 导入引用）。仓内唯一 PEDefinitions 文本（原料/配套标准/Profile interoperability technical specification_V2.3.1.asn:81-129）的 ServicesList 是 SEQUENCE 非 BIT STRING 版，与 BIT 位号不对应；厂商 RSP_Obj.js:527-528 给 akaTuak128=(6)/akaTuak256=(7)，与 .asn SEQUENCE 序一致、与规范 BIT STRING 不一致 → 仅 HYPOTHESIS，不可据以编造。
• 登记：SPEC_CONFLICT 候选——PEDefinitions .asn SEQUENCE 列序 vs 规范 BIT STRING 位序 vs 厂商位表三者不一致；裁决需 TCA PEDefinitions 模块或官方裁定。右值属 IUT 交付依赖（F1_iut_euicc_settings 按设计不列位值，SGP.23:18468）。
• 可行替代口径（待评审）：按 registry 既有形式化（data/registry/4.2.13.2.7.json:365）发结构级谓词（BIT STRING 长度/unused-bits 合法性断言），右值执行期从 IUT 配置注入——本轮未改语义，保留 gap。
• 对照：同族 4.2.13.2.9 S1-C3（IUT_SIMA_VERSION）已修复（声明源 sima_version=020301 实断言）。

• 闭合（2026-10-07 另案）：S1-C13 接线——TCA PE Definitions UICCCapability 命名位表取证落地（akaTuak128(6)/akaTuak256(7)；v2.3 5G AN §3＋v3.x ASN.1 模块＋Wireshark/pySim/osmo-ttcn3/lpac 四源一致），geca 变体 compile_rules 增析取形态规则 → 真空诚实面 js 发射（operand=iut_uicc_capability_constant）；编译 gap 1→0（js 21→22），e2e/重建零判定翻转；树哈希钉随动（tests/test_compile_spec_gapfix_dialects.py）。

8. 证据路径

• man 包：../packages/man/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-man.zip
• man TTR：/Users/yuhu/cas/原料/切片/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher/logs/20260907_120327_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_GetEUICCInfo2_RSP_V24_or_Higher_01_Nominal_GetEUICCInfo2_RSP_V24_or_Higher.ttr
• cas 包/源：../packages/cas/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-cas.zip
• cas TTR：/Users/yuhu/cas/experiments/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-20260929_034348/logs/9bd9eb5bf3764788ab5ab58dd528764a/result/TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher/TC_eUICC_ES10b_GetEUICCInfo2_RSP_V2_4_or_Higher_01_merged.ttr
• spec_intl：/Users/yuhu/cas/原料/切片/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher/spec_intl/SGP.23-v1.16_4.2.13_GetEUICCInfo2_RSP_V2.4_or_Higher.md
• caseir：/Users/yuhu/cas/experiments/4.2.13.2.7-TC_eUICC_ES10b.GetEUICCInfo2_RSP_V2.4_or_Higher-20260929_034348/caseir_materialized_gate.json
• step_map：—