# 4.2.21.2.1 TC_eUICC_ES10c.EnableProfile_Case3 — `-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.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip | `5503213f1118db174e4e3534b268d31f0f910ac83f2c91b590341bd6b2166a2e` | zip | TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset |
| `-cas` | 4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-cas.zip | `8143cc803fa394073fe5de6196c109f2406b1360b4f010b7ce54bad827a3c50e` | zip | — |

- man 源路径：`../../packages/man/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip`
- cas 源路径：`../../packages/cas/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-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_131036:0319291b66e74d74a1dfb1a6a528ebc7` | — | `/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/logs/20260908_130958_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr` | `—` |
| `-cas` | `failed` | card_state＋canary 序 #06→#04→#02；native blocked；历史通道=legacy wrapped/dualseq | 17 | `4e1f4d63df6542a9a8abd32ad48cc67f` | — | `/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/logs/4e1f4d63_rerun1/result/TC_eUICC_ES10c_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.ttr` | `—` |
- cas 块4账本：decision=`LEGACY_ATTEMPT`；route=`legacy_wrapped`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`—`；stage=`—`；job=`4e1f4d63df6542a9a8abd32ad48cc67f`；gaps=["job 终态 succeeded（103.1s，读卡器选中并连卡成功）但业务判 failed：错误个数16，关键错误 期望91实际6A / 期望1实际0；非卡态签名，不重试"]
- cas 失败归因引用（块4）：`b10-b11-attribution.md`
- cas 证据来源分层：`LEGACY_ATTEMPT` → legacy/其它（LEGACY_ATTEMPT）

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.21.2.1/man/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html`；sha256 `00858d3c3c7cb415e28ce294644b795fb3591404118a5f15014a89e4d303f307`；332373 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.21.2.1/cas/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.html`；sha256 `47fbca15dcfe6889d8e7b08d00a5f94388636c0bf1e740c649b8cb472ab1aaee`；33769 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 982 / cas 119；字符：man 38489 / cas 8812
- man 顶层调用 Top：[["TestStepStart2", 114], ["CheckData", 60], ["TS_MANAGE_CHANNEL_OPEN", 20], ["TS_SELECT", 20], ["GenHexData", 20], ["LPAd_Transport_data_to_eUICC", 20], ["SendAPDU", 20], ["Ini_powerOn_eUICC_LPAe_not_activate", 16], ["ChoiceObj", 16], ["SubLevel", 12]]
- cas bind 调用：[["checkData", 27], ["sendApdu", 10], ["resetAndAtr", 2], ["runToSteadyState", 2], ["sendTerminalProfile", 2], ["manageChannelOpen", 2], ["fetchPending", 1], ["terminalResponseForPending", 1]]

| 方言映射对 | 命中数 |
|---|---|
| SendAPDU() ↔ bind.sendApdu() | 20 |
| CheckData() ↔ bind.checkData() | 8 |
| TS_*_cmd() ↔ bind.* 命令封装 | 42 |

<details><summary>unified diff（截断预览）</summary>

```diff
--- man
+++ cas
@@ -1,981 +1,118 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_EnableProfile_Case3_02_Nominal_Enable_Profile_ICCID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_EnableProfile_Case3_03_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_EnableProfile_Case3_04_Nominal_Enable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_EnableProfile_Case3_05_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_not_set + TC_eUICC_ES10c_EnableProfile_Case3_06_Nominal_Enable_Profile_by_ICCID_and_refreshFlag_not_set + TC_eUICC_ES10c_EnableProfile_Case3_07_Nominal_Enable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_session_is_ongoing_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case3_08_Nominal_Enable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_session_is_ongoing_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case3_09_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_while_proactive_session_is_ongoing_with_Terminal_Response_outstanding_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case3_10_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_not_set_while_proactive_session_is_ongoing_with_Terminal_Response_outstanding_catBusy_not_supported (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260907-030000
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.EnableProfile_Case3，Test Sequence #02 Nominal: Enable Profile by ICCID and “refreshFlag” set when Device supports “UICC Reset”，适用性 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-C2 response data absent；S1-C1 SW1 91；S2-C1 proactive command envelope
+//   IC3-IC1-K1-C1 ATR_present；IC3-IC1-K2-C2 FCP_Template；IC3-IC1-K2-C4 SW；IC3-IC1-K3-C4 SW
+//   IC3-IC1-K4-C4 final SW；IC3-IC2-K1-C4 SW；IC3-IC2-K1-C3 CHANNEL_NUMBER extracted；IC3-IC2-K2-C4 SW
+//   S4-C1 SW；S4-C2 outer tag BF2D；S4-C3 contains 5A0A989209012143658709F5；S4-C4 contains 9F700101
+//   S4-C5 contains 4F10；S5-C1 SW；S6-C1 SW；S6-C2 READ_BINARY data
+// 本函数由 CaseIR 4.2.21.2.1 编译生成（4221-r2，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_ES10c_EnableProfile_Case3_02_merged() {
+    var bind = curBind;
 
-function TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset()
-{
-	initial_condition_PROFILE_OPERATIONAL1_is_Disabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s7 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s7.atr_hex !== "" ? "1" : "0");
 
-	tracenamestr = "测试目的：设备支持 “UICC Reset”，通过ISD-P AID激活profile，并设置refreshFlag";
-	curDis.TraceStart(sno++,tracenamestr);
+    // 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 s8 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s8.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s8.sw);
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s9 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s9.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady10 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady10.final.sw);
 
-	curLogicChannel = 1;
+    // 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 s11 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s11.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s11.chan !== null ? "1" : "0");
 
-	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 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 s12 = 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", s12.sw);
 
+    // 步骤 1：MTD_STORE_DATA_Case3（tc_step；REQ: RQ32_011, RQ32_016_1, RQ32_016_2, RQ57_128, RQ57_129, RQ57_133_3, RQ57_138）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s11.chan !== null ? (s11.chan <= 3 ? 128 + s11.chan : 188 + s11.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "90", "00", "BF3111A00C5A0A989209012143658709F58101FF", null, null);
+    bind.checkData("S1-C2 response data absent", "1", s1.resp === "" ? "1" : "0");
+    bind.checkData("S1-C1 SW1 91", "91", s1.sw.substring(0, 2));
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行EnableProfileRequest，refreshFlag为FF；");
-	var enableProRequest = new EnableProfileRequest();
-	enableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_Test01);
-	enableProRequest.refreshFlag = BooleanValue_BerCode_True;
-	enableProRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(enableProRequest.hexData,"90","00","91XX");
-	curStrHandle.CheckData("", respData, "EnableProfileResponse");
+    // 步骤 2：FETCH 'XX'（tc_step；REQ: RQ32_016_3, RQ32_017, RQ57_134, RQ57_135_1）
+    // FETCH header literals follow the golden wire evidence 8012 (same
+    // anchor as runToSteadyState; J Annex D.4 has no FETCH row, D 2.2.2
+    // gives mechanism only). Le = pending length from the last 91XX
+    // (chain rule, binding-internal state).
+    var s2 = bind.fetchPending("80", "12", "00", "00", null);
+    bind.checkData("S2-C1 proactive command envelope", "1", (s2.resp.length >= 4 && s2.resp.substring(0, 2) === "D0") ? "1" : "0");
+    // S2-C1: REFRESH type/mode bytes are not corpus-fixed (envelope face only; per-mode bytes absent from input).
+    // S2：主动会话协议闭合（TS 102 223 §6.3：主动命令必须 TR 应答；
+    // UICC Reset 变体 E 表无 TR 行属编辑省略，golden U3 线证同构）。
+    var s2tr = bind.terminalResponseForPending("80", "14", "00", "00", "9000");
 
+    // IC ref inline @E 步骤 3（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1）：RESET（K 语料机械展开）
+    var s13 = bind.resetAndAtr();
+    bind.checkData("IC3-IC1-K1-C1 ATR_present", "1", s13.atr_hex !== "" ? "1" : "0");
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 Fetch命令，主动式命令refresh；");
+    // IC ref inline @E 步骤 3（IC1 → 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 s14 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("IC3-IC1-K2-C2 FCP_Template", "1", s14.resp.length > 0 ? "1" : "0");
+    bind.checkData("IC3-IC1-K2-C4 SW", "9000", s14.sw);
 
-	FetchStr = Fetch("","9000","");
+    // IC ref inline @E 步骤 3（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3）：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s15 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("IC3-IC1-K3-C4 SW", "9000", s15.sw);
 
-	var CmdDetails = GetValueByTag("01",1);
-	var CmdQualifier = CmdDetails.substr(4,2);
-	CheckData("04",CmdQualifier,"the command qualifier is equal to ’04’ (UICC Reset)");
+    // IC ref inline @E 步骤 3（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4）：TERMINAL_PROFILE（K 语料机械展开）
+    var steady16 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("IC3-IC1-K4-C4 final SW", "9000", steady16.final.sw);
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
…（差异行超限，共 1084 行，此处截断）
```

</details>
### 4.2 UCE/命名对照

- man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset', 'TC_eUICC_ES10c.EnableProfile_Case3', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
- cas：`TC_eUICC_ES10c_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3.uce`；入口 [('TC_eUICC_ES10c_EnableProfile_Case3_02_merged', 'TC_eUICC_ES10c_EnableProfile_Case3', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_EnableProfile_Case3_02_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

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

- 命令计数：man 147 / cas 25；精确对齐 16，核心（CLA·INS·P1·P2·Lc）同 4，man-only 127，cas-only 5

| # | `-man` | `-cas` | 对齐 |
|---|---|---|---|
| 1 | `@RESET` | `@RESET` | exact |
| 2 | `00A40004023F00` | `00A40004023F0000` | core_same |
| 3 | `00C0000020` | `00C0000020` | exact |
| 4 | `80AA000007A9058100830137` | `80AA000007A9058100830107` | core_same |
| 5 | `801200000F` | `801200000F` | exact |
| 6 | `801400000C810301250082028281830100` | `801400000C810301250082028281830100` | exact |
| 7 | `0070000001` | `0070000001` | exact |
| 8 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF8900000100` | exact |
| 9 | `01C0000021` | `01C0000021` | exact |
| 10 | `@RESET` | `@RESET` | exact |
| 11 | `00A40004023F00` | `00A40004023F0000` | core_same |
| 12 | `00C0000020` | `00C0000020` | exact |
| 13 | `80AA000007A9058100830137` | `80AA000007A9058100830107` | core_same |
| 14 | `801200000F` | `801200000F` | exact |
| 15 | `801400000C810301250082028281830100` | `801400000C810301250082028281830100` | exact |
| 16 | `0070000001` | `0070000001` | exact |
| 17 | `01A4040010A0000005591010FFFFFFFF8900000100` | `01A4040010A0000005591010FFFFFFFF8900000100` | exact |
| 18 | `01C0000021` | `01C0000021` | exact |
| 19 | `00A4000C022FE2` | `00A4000C022FE2` | exact |
| 20 | `00B000000A` | `00B000000A` | exact |
| — | man-only: `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `0070000000`, `81E2910003BF2000`, `01C00000A9`, `81E2910003BF2E00`, `01C0000015`, `81E21100FFBF388202F030498010353091FAF433…7525350`, `81E21101FF54455354310B300906035504061302…603551D`, `81E29102F71104073005880388370A300E060355…3000010`, `01C0000000`, `01C0000000`, `01C0000000` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81E2900014BF3111A00C5A0A9892090121436587…58101FF`, `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81E2910011BF2D0EA00C5A0A989209012143658709F500`, `81C0000005` | | |

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

- spec：/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/spec_intl/SGP.23-v1.16_4.2.21_EnableProfile_Case3.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/caseir_materialized_gate.json`

spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）：

| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| General IC＋私有 IC（PROF1 已装载且 Disabled，对应 <ISD_P_AID1>） | `initial_condition_PROFILE_OPERATIONAL1_is_Disabled()`（L5；定义在 TestStep | 通过（Transaction 1＝APDU2-258：装载链全绿＋PIR「Profile 下载成功」＋ICCID/AID/state=00  |
| IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | `Ini_powerOn_eUICC_LPAe_not_activate()`（L13） | 通过（ttr 步骤1＝APDU261-287：复位/ATR/SELECT MF/TC/TP/FETCH/TR 全 9000） |
| IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | `TS_MANAGE_CHANNEL_OPEN()`（L16）＋`TS_SELECT("Select ISD", ISD_R_AID, "9 | 通过（APDU285-294：开通道 01、Select ISD-R FCI SW 9000） |
| 1 MTD_STORE_DATA_Case3(MTD_ENABLE_PROFILE(NO_PARAM, <ISD_P_AID1>, TRUE)) → 无响应数据 SW=91XX（RQ24_010/RQ32_011/RQ32_016_1/RQ32_016_2/RQ57_128/RQ57_129/RQ57_132/RQ57_133_3/RQ57_138） | `EnableProfileRequest{profileIdentifier: ChoiceObj(isdpAid, ISD_P_Test | 通过（APDU297 `81E290001ABF3117A0124F10A0000005591010FFFFFFFF890000110081 |
| 2 S_Device FETCH → REFRESH Command "UICC Reset"（RQ32_016_3/RQ32_017/RQ57_134/RQ57_135_1） | `Fetch("","9000","")`（L36）＋`GetValueByTag("01",1)` 取 CmdDetails＋`Check | 通过（APDU305 FETCH→`D009810301010482028182`＝REFRESH〔command type 01、qual |
| 3 Repeat IC1 and IC2 | `Ini_powerOn…`（L44）＋`TS_MANAGE_CHANNEL_OPEN()`（L47）＋`TS_SELECT(…)`（L52 | 通过（APDU313-355：复位/MF/TC/TP/FETCH/TR＋开通道＋Select ISD-R 全 9000） |
| 4 MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AID1>) → #PROFILE_INFO1（Enabled）SW=9000 | `ProfileInfoListRequest{searchCriteria: ChoiceObj(isdpAid, ISD_P_Test0 | 通过（APDU350 `81E291001DBF2D1AA0124F10…5C045A4F9F70`→APDU351 `BF2D26A024 |
| 5 [SELECT_ICCID] SW=9000 | `SelectFileEFPara_3G("2FE2")`＋`SendAPDU`（L76-78） | 通过（APDU365 `00A4000C022FE2`→SW 9000） |
| 6 [READ_BINARY] L=0x0A → #ICCID_OP_PROF1（RQ34_015） | `ReadBinaryPara_3G("00","00","0A")` 期望响应＝ICCID_OP_PROF1（L81-83） | 通过（APDU370 `00B000000A`→响应 `989209012143658709F5` SW 9000；APDU373-376  |
| （收尾，非规范步骤） | `RecoverCard()`（L85） | 通过（Transaction 3＝APDU377-610：MemoryReset 删 profile＋复位默认 SM-DP+ 地址，全 90 |

cas CaseIR 步骤/检查：

| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | MTD_STORE_DATA_Case3(MTD_ENABLE_PROFILE(#ICCID_OP_PROF1, NO_PARAM, TRU | ["S1-C1", "S1-C2"] | ["RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_138"] |
| 2 | FETCH 'XX' | ["S2-C1"] | ["RQ32_016_3", "RQ32_017", "RQ57_134", "RQ57_135_1"] |
| 3 | Repeat IC1 and IC2 | [] | [] |
| 4 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM)) | ["S4-C1", "S4-C2", "S4-C3", "S4-C4", "S4-C5"] | ["RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_138"] |
| 5 | [SELECT_ICCID] | ["S5-C1"] | [] |
| 6 | [READ_BINARY] with <L>=0x0A | ["S6-C1", "S6-C2"] | ["RQ34_015"] |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=False；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 11 项 / 生成体 checkData 27 次 / S 标号重合 11 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 27 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：映射行 10；TTR 期望/实际回声 250；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- cas 信息步（无线上断言义务）：[3]
- REQ 声明面 vs caseir 引用面差异（21 项，非等价缺口判定）：['RQ24_010', 'RQ29_002', 'RQ29_022', 'RQ32_012', 'RQ32_017_1', 'RQ32_017_2', 'RQ32_018_1', 'RQ57_127', 'RQ57_127_1', 'RQ57_127_2', 'RQ57_130', 'RQ57_132', 'RQ57_132_1', 'RQ57_133_1', 'RQ57_135_2', 'RQ57_135_4', 'RQ57_136', 'RQ57_137', 'RQ57_139', 'RQ57_140'] …
- caseir open_items：
  - 编排面范围裁定（照抄，未验证）：#07-#10（B_applicability_rows.md 行61-62 的 C033/C037 条件行）对当前卡判 N/A，不在本轮 R1 盲生成范围
  - 卡态编排责任：General IC = PROFILE_OPERATIONAL1 已安装（E_tc_4221.md 表259）；序列 IC = PROFILE_OPERATIONAL1 处于 Disabled（表262）——由测试工具动态达成（D_tc_structure_notation.md：Initial Conditions 尽可能动态达成、不得额外操作），非 CaseIR 数据面
  - PROC_* 过程步折叠：IC1/IC2 与 step3 'Repeat IC1 and IC2' 未内联展开为子步骤；展开源见 initial_conditions.expansion_source 与 step3.template_source（K_annexC2_procs.md 表1256/表1258）
  - EnableProfileRequest 字段编码（profileIdentifier→[0] 显式 A0 包装、refreshFlag→[1] 隐式 81 01 FF/00）已按 RSPDefinitions AUTOMATIC TAGS 规则文本重推（S22_rsp_automatic_tags.md 行9/19 + S22_5_7_15 行85 同模块 [0]-CHOICE/A0 与隐式标签实例互证）；语料仍无 EnableProfileRequest 的完整 DER 示例，属规则级机械推导而非示例转录
  - step4 响应中 isdpAid（<ISD_P_AID1>）为动态值：仅结构断言（4F 10），字节不断言（#PROFILE_INFO1 引用 G_annexB_dynamic.md 动态内容）
  - step2 FETCH 命令 APDU 头编码语料未给出（见该步 unresolved），L2/L3 或工具侧需另行闭合

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 186 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 127 / cas-only 5 |
| `GEN_DIFF` | 21 | REQ 覆盖缺口：['RQ24_010', 'RQ29_002', 'RQ29_022', 'RQ32_012', 'RQ32_017_1', 'RQ32_017_2', 'RQ32_018_1', 'RQ57_127', 'RQ57_127_1', 'RQ57_127_2', 'RQ57_130', 'RQ57_132', 'RQ57_132_1', 'RQ57_133_1', 'RQ57_135_2', 'RQ57_135_4', 'RQ57_136', 'RQ57_137', 'RQ57_139', 'RQ57_140', 'RQ57_140_1'] |

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/logs/20260908_130958_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr`
- cas 包/源：`../../packages/cas/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/logs/4e1f4d63_rerun1/result/TC_eUICC_ES10c_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/spec_intl/SGP.23-v1.16_4.2.21_EnableProfile_Case3.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/caseir_materialized_gate.json`
- step_map：`—`

