# 4.2.21.2.3 TC_eUICC_ES10c.EnableProfile_Case4 — `-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.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-man.zip | `3149cd8e4de700c4eb10bfbc601818c93fd5dd782e6da8a1b637d90c6bb846be` | zip | TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset |
| `-cas` | 4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-cas.zip | `ec9a7c1201116af40477fc9af41a72b872e309d20ee25a88f2b11cb617631662` | zip | — |

- man 源路径：`../../packages/man/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-man.zip`
- cas 源路径：`../../packages/cas/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-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 | `20260908_232342_ok:c3618c839e6840f99f7c100f1b95c6b3` | — | `/Users/yuhu/cas/原料/切片/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4/logs/20260908_232342_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr` | `—` |
| `-cas` | `failed` | preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=F | 1 | `ed36aaba772c` | — | `/Users/yuhu/cas/experiments/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-20261004_021953/logs/ed36aaba772c_att1/extracted/TC_eUICC_ES10c_EnableProfile_Case4/TC_eUICC_ES10c_EnableProfile_Case4_01_10_Nominal_all_10_sequences.ttr` | `—` |
- cas 块4账本：decision=`ATTEMPT_NATIVE(expect blocked_card_state)`；route=`native_N1_blocked`；live 事件 1 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`submit`；job=`—`；gaps=["4.2.21.2.3 native 打包：preflight_context 编译合同与打包合同缺桥——CaseIR 声明 ['ISD_P_AID1', 'ISD_P_AID2']（2 项）而本打包通道无 context 四参：提交包 None 的 TC js 引用 CARD_CONTEXT_TOKEN 但顶层定义缺席（vendor JS 引擎首行未定义即死，4.2.23.2.2/.3/.4 零 APDU 判例）。需 context 四参打包（discovery/pre-flight 域，如 preflight_tc_build 通道）或 context_mode 打包，禁产坏包烧装载"]
- cas 证据来源分层：`ATTEMPT_NATIVE(expect blocked_card_state)` → legacy/其它（ATTEMPT_NATIVE(expect blocked_card_state)）

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.21.2.3/man/TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html`；sha256 `7900b979ed15a232310e45ec720e91ca0d8b1fb25ca9c48e91acf76b02ca494b`；333808 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.21.2.3/cas/TC_eUICC_ES10c_EnableProfile_Case4.html`；sha256 `08aa7f25dea5aa6c7f8992235f54cf9bf9b347338cd3d03f5d12a228365bf989`；1258 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 993 / cas 821；字符：man 38688 / cas 65301
- 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", 146], ["sendApdu", 66], ["terminalResponseForPending", 10], ["runToSteadyState", 9], ["sendTerminalProfile", 9], ["fetchPending", 8], ["manageChannelOpen", 7], ["resetAndAtr", 5]]

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

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

```diff
--- man
+++ cas
@@ -1,992 +1,820 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_EnableProfile_Case4_02_Nominal_Enable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_EnableProfile_Case4_03_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_EnableProfile_Case4_04_Nominal_Enable_Profile_ICCID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_EnableProfile_Case4_05_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_not_set + TC_eUICC_ES10c_EnableProfile_Case4_06_Nominal_Enable_Profile_by_ICCID_and_refreshFlag_not_set + TC_eUICC_ES10c_EnableProfile_Case4_07_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_while_proactive_session_is_ongoing_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case4_08_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_not_set_while_proactive_session_is_ongoing_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case4_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_Case4_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)
-
-function TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset()
-{
-	if(!Card_Have_ECC_Cert)
-		return;
-
-	TestOfMEPMode = 0;
-
-	initial_condition_PROFILE_OPERATIONAL1_is_Disabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
-
-	tracenamestr = "测试目的：设备支持 “UICC Reset”，通过ISD-P AID激活profile，并设置refreshFlag";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curLogicChannel = 0;
-	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命令，执行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,"91","00","91XX");
-
-	curStrHandle.CheckData("BF3103800100", respData, "EnableProfileResponse");
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 Fetch命令，主动式命令refresh；");
-
-	FetchStr = Fetch("","9000","");
-
-	var CmdDetails = GetValueByTag("01",1);
-	var CmdQualifier = CmdDetails.substr(4,2);
-	CheckData("04",CmdQualifier,"the command qualifier is equal to ’04’ (UICC Reset)");//'04' = UICC Reset;
-
-	curLogicChannel = 0;
-	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命令，执行ProfileInfoListRequest，获取profile状态；");
-
-	var proInfoListRequest = new ProfileInfoListRequest();
-	proInfoListRequest.searchCriteria = new ChoiceObj(tagOfsearchCriteria_ProfileInfo.isdpAid,ISD_P_Test01);
-	proInfoListRequest.tagList = "5A4F9F70";
-	proInfoListRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(proInfoListRequest.hexData);
-
-
-	var proInfoListResponse = new  ProfileInfoListResponse();
-	proInfoListResponse.checkCardResDataFormat(respData);
-
-	try
-	{
-		curStrHandle.CheckData(ICCID_OP_PROF1, proInfoListResponse.profileInfoListOk.arrOfElement[0].iccid, "ICCID");
-		curStrHandle.CheckData(ISD_P_Test01, proInfoListResponse.profileInfoListOk.arrOfElement[0].isdpAid, "ISD-P AID");
-		curStrHandle.CheckData(Profile_ENABLED, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileState, "profile State");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
-
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 Select命令，选择ICCID；");
-	var para1 = new SelectFileEFPara_3G("2FE2");
-	SendAPDU(para1.apdu);
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送read binary命令；");
-	var para1 = new ReadBinaryPara_3G("00","00","0A");
-	para1.apdu.resvalue = ICCID_OP_PROF1;
-	SendAPDU(para1.apdu);
-
-	RecoverCard();
-
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.EnableProfile_Case4，Test Sequence #01-#10 Nominal (all 10 sequences)，适用性 M。
+// Test points: ICH-SEQ01-IC1-K1-C1 ATR_present；ICH-SEQ01-IC1-K2-C2 FCP_Template
+//   ICH-SEQ01-IC1-K2-C4 SW；ICH-SEQ01-IC1-K3-C4 SW；ICH-SEQ01-IC1-K4-C4 final SW
+//   ICH-SEQ01-IC2-K1-C4 SW；ICH-SEQ01-IC2-K1-C3 CHANNEL_NUMBER extracted；ICH-SEQ01-IC2-K2-C4 SW
+//   S1-C1 SW1 91；S1-C2 enableResult ok；S2-C1 proactive command envelope；IC4-IC1-K1-C1 ATR_present
+//   IC4-IC1-K2-C2 FCP_Template；IC4-IC1-K2-C4 SW；IC4-IC1-K3-C4 SW；IC4-IC1-K4-C4 final SW
+//   IC4-IC2-K1-C4 SW；IC4-IC2-K1-C3 CHANNEL_NUMBER extracted；IC4-IC2-K2-C4 SW；S4-C1 SW
+//   S4-C2 contains PROFILE_INFO1；S5-C1 SW；S6-C1 SW；S6-C2 READ_BINARY data；S7-C1 SW1 91
+//   S7-C2 enableResult ok；S8-C1 proactive command envelope；IC10-IC1-K1-C1 ATR_present
+//   IC10-IC1-K2-C2 FCP_Template；IC10-IC1-K2-C4 SW；IC10-IC1-K3-C4 SW；IC10-IC1-K4-C4 final SW
+//   IC10-IC2-K1-C4 SW；IC10-IC2-K1-C3 CHANNEL_NUMBER extracted；IC10-IC2-K2-C4 SW；S10-C1 SW
+//   S10-C2 contains PROFILE_INFO1；S11-C1 SW；S12-C1 SW；S12-C2 READ_BINARY data；S13-C1 SW1 91
+//   S13-C2 enableResult ok；S14-C1 proactive command envelope；S15-C1 SW；IC17-IC1-K2-C2 FCP_Template
+//   IC17-IC1-K2-C4 SW；IC17-IC1-K3-C4 SW；IC17-IC1-K4-C4 final SW；IC18-IC2-K1-C4 SW
+//   IC18-IC2-K1-C3 CHANNEL_NUMBER extracted；IC18-IC2-K2-C4 SW；S18-C1 SW
+//   S18-C2 contains PROFILE_INFO1；S19-C1 SW；S20-C1 SW；S20-C2 READ_BINARY data；S21-C1 SW1 91
+//   S21-C2 enableResult ok；S22-C1 proactive command envelope；S23-C1 SW；IC25-IC1-K2-C2 FCP_Template
+//   IC25-IC1-K2-C4 SW；IC25-IC1-K3-C4 SW；IC25-IC1-K4-C4 final SW；IC26-IC2-K1-C4 SW
+//   IC26-IC2-K1-C3 CHANNEL_NUMBER extracted；IC26-IC2-K2-C4 SW；S26-C1 SW
+//   S26-C2 contains PROFILE_INFO1；S27-C1 SW；S28-C1 SW；S28-C2 READ_BINARY data；S29-C1 SW
+//   S29-C2 enableResult ok；S30-C1 final SW；S31-C1 SW；S31-C2 contains PROFILE_INFO1；S32-C1 SW
+//   S33-C1 SW；S33-C2 READ_BINARY data；S34-C1 SW；S34-C2 enableResult ok；S35-C1 final SW；S36-C1 SW
+//   S36-C2 contains PROFILE_INFO1；S37-C1 SW；S38-C1 SW；S38-C2 READ_BINARY data；S39-C1 SW1 91
+//   S40-C1 SW1 91；S40-C2 enableResult ok；S41-C1 proactive command envelope
…（差异行超限，共 1814 行，此处截断）
```

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

- man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset', 'TC_eUICC_ES10c.EnableProfile_Case4', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_EnableProfile_Case4_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_Case4/TC_eUICC_ES10c_EnableProfile_Case4.uce`；入口 [('TC_eUICC_ES10c_EnableProfile_Case4_01_10_Nominal_all_10_sequences', 'TC_eUICC_ES10c_EnableProfile_Case4', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_EnableProfile_Case4_01_10_Nominal_all_10_sequences)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

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

- 命令计数：man 151 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 151，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.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4/spec_intl/SGP.23-v1.16_4.2.21.2.3_EnableProfile_Case4.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-20261004_021953/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA(MTD_ENABLE_PROFILE(NO_PARAM, <ISD_P_AID1>, TRUE)) | 1 | ["RQ24_010", "RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_136", "RQ57_137"] | ["S1-C1", "S1-C2"] | ["RQ24_010", "RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_136", "RQ57_137"] | 步骤4（L28-36：`EnableProfileRequest` profileIdentifier=ISD-P AI | 通过（请求 `81E291001ABF3117A0124F10A0000005591010FFFFFFFF89000011008101FF` → **实际 SW=910B ∈ 91XX**、EnableProfileResponse **期望 BF3103800100＝实际**，ttr L304-312） |
| 2 | FETCH 'XX' | 1 | ["RQ32_016_3", "RQ32_017", "RQ57_134"] | ["S2-C1"] | ["RQ32_016_3", "RQ32_017", "RQ57_134"] | 步骤5（L39-45：FETCH 9000＋CmdQualifier 断言 `'04'=UICC Reset`） | 通过（FETCH `D009810301010482028182`，**qualifier 期望 04＝实际 04**，ttr L313-321） |
| 3 |  | 0 | [] | [] | [] | 步骤6-8（L48-57：重初始化＋MANAGE CHANNEL＋Select ISD-R） | 通过（复位 ATR 再现，ttr L322-357） |
| 4 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AID1>)) | 1 | ["RQ24_010", "RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_136", "RQ57_137"] | ["S4-C1", "S4-C2"] | ["RQ24_010", "RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_136", "RQ57_137"] | 步骤9（L59-78：`ProfileInfoListRequest` searchCriteria=ISD-P AID | 通过（`81E291001DBF2D1AA012…5C045A4F9F70` → 9000；**ICCID/ISD-P AID/state 三断言相等——state 期望 01＝实际 01（ENABLED 翻转生效）**，ttr L358-372） |
| 5 | [SELECT_ICCID] | 1 | [] | ["S5-C1"] | [] | 步骤10（L81-83：Select EF 2FE2） | 通过（`00A4000C022FE2` → **9000**（使能后 EF 可选，与 Disable 镜像 6A82 互证），ttr L373-377） |
| 6 | [READ_BINARY] with <L>=0x0A | 1 | ["RQ34_015"] | ["S6-C1", "S6-C2"] | ["RQ34_015"] | 步骤11（L85-88：READ BINARY 00B000000A，resvalue=ICCID_OP_PROF1） | 通过（**ICCID 期望 `989209012143658709F5`＝实际逐字节相等**，ttr L378-385） |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 92 项 / 生成体 checkData 146 次 / S 标号重合 92 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 146 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：mapping 行 10 / 规范步 6；TTR 期望/实际回声 250；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - <ISD_P_AID1>/<ISD_P_AID2> 为安装期动态值（G_annexB 行51/52 给出取值范围），本 TC 步表无提取点，由 IC 编排（安装 PROFILE_OPERATIONAL1/2）建立对应关系。
  - C033/C037 条件文本不在输入包，SEQ07-10 适用性依赖无法判定。
  - REFRESH proactive 命令的编码字节（ETSI TS 102 223 REFRESH command coding）不在输入包，断言止步于命令模式（UICC Reset / eUICC Profile State change）。
  - TERMINAL RESPONSE 由测试工具按 proactive 命令动态生成（D 2.2.2.4），字节不固化。
  - MTD_SEND_SMS_PP 信封含 SCP80 动态要素（<MNO_SCP80_COUNTER>/<CC>），字节不固化。
  - 每个测试序列执行后须执行 clean-up（CU）恢复 Common Initial State（D_tc_structure_notation 行50），编排责任。

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 |
| `GEN_DIFF` | 151 | 命令序列差：man-only 151 / cas-only 0 |

| 侧 | 根因候选（七类，启发式签名） | 签名 |
|---|---|---|
| man | `card_vs_spec_mismatch` | `6985|6A88|6D00` |

> 签名为文本面启发式命中（如 `6D00` 等 SW 亦可能是负例期望值），须结合 Expected 面核验后方可定论。

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4/logs/20260908_232342_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case4_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr`
- cas 包/源：`../../packages/cas/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-20261004_021953/logs/ed36aaba772c_att1/extracted/TC_eUICC_ES10c_EnableProfile_Case4/TC_eUICC_ES10c_EnableProfile_Case4_01_10_Nominal_all_10_sequences.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4/spec_intl/SGP.23-v1.16_4.2.21.2.3_EnableProfile_Case4.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.21.2.3-TC_eUICC_ES10c.EnableProfile_Case4-20261004_021953/caseir_materialized_gate.json`
- step_map：`—`