# 5.2.5.2.1 TC_eUICC_DeleteProfile_ISDP_And_Components — `-man` ↔ `-cas` diff 报告
> **交付形态说明**：本报告随专家交付包分发——`-man`/`-cas` 脚本包 zip 与 190server HTML 执行日志已内联至 `packages/`、`evidence-html/`，相应路径已相对化；TTR、spec_intl、caseir 等仓内留痕仍为生成机原始路径（未随包）。

- 生成时间：2026-10-08 22:57:12 ｜引擎：holiday-blk5/0.1｜配对状态：`PAIRED`
- 分母口径：卡侧 61 之一

## 1. 配对与包

| 侧 | 包/源 | sha256 | 源类型 | 入口用例 |
|---|---|---|---|---|
| `-man` | 5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-man.zip | `3aa1bccea49de82a17820606182c0e0b881024c3e462ede3b8e5012948d717d4` | zip | TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion |
| `-cas` | 5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-cas.zip | `2cc4ec5c1a1e797f8c55b3ad759c3bbf856a10b231dee79cd742435666aebc02` | zip | — |

- man 源路径：`../../packages/man/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-man.zip`
- cas 源路径：`../../packages/cas/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-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_143523_ok:0d90ec07684948558e36117e3e424cef` | — | `/Users/yuhu/cas/原料/切片/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components/logs/20260908_143523_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion.ttr` | `—` |
| `-cas` | `failed` | 纯 native 零卡态前置（N0） | 5 | `41cabbdbf2fb4ee8bab081ee8b77506a` | — | `/Users/yuhu/cas/experiments/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-20261004_022947/logs/41cabbdbf2fb4ee8bab081ee8b77506a/result/TC_eUICC_DeleteProfile_ISDP_And_Components/TC_eUICC_DeleteProfile_ISDP_And_Components_01_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 1 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`verify`；job=`41cabbdbf2fb4ee8bab081ee8b77506a`；gaps=["trace verdict=FAIL", "结果通道 verdict='FAIL'"]
- cas 失败归因引用（块4）：`b8-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/5.2.5.2.1/man/TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion.html`；sha256 `ddd9d0fc3cbee39d47683c86e5597a97c5da3708eb3229f1c650ac3ee968736d`；231759 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/5.2.5.2.1/cas/TC_eUICC_DeleteProfile_ISDP_And_Components_01_merged.html`；sha256 `70d4db4f18b363a75f41d4f0f5e7b801ca7af8e435b07e3471f5eecf31d9b005`；27075 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 165 / cas 113；字符：man 6647 / cas 9457
- man 顶层调用 Top：[["TestStepStart2", 10], ["SubLevel", 7], ["parseInt", 6], ["LPAd_Transport_data_to_eUICC", 4], ["CheckData", 4], ["EUICCInfo2", 3], ["checkCardResDataFormat", 3], ["ExtendedCardResource", 3], ["SetHexData", 3], ["TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion", 2]]
- cas bind 调用：[["checkData", 19], ["sendApdu", 6], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 2 |

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

```diff
--- man
+++ cas
@@ -1,164 +1,112 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-022947
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_DeleteProfile_ISDP_And_Components，Test Sequence #01 Nominal: ISD-P and Profile Components Deletion（本 TC 单条 Test Sequence），适用性 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 R_EUICC_INFO2 outer tag；S1-C1 R_EUICC_INFO2 required members present
+//   S1-C2 free non-volatile memory tag 82 present；S4-C1 R_EUICC_INFO2 outer tag
+//   S4-C1 R_EUICC_INFO2 required members present；S4-C2 free non-volatile memory tag 82 present
+//   S4-C3 free non-volatile memory lower than step 1；S7-C1 R_EUICC_INFO2 outer tag
+//   S7-C1 R_EUICC_INFO2 required members present；S7-C2 free non-volatile memory tag 82 present
+//   S7-C3 free non-volatile memory higher than step 4
+// 本函数由 CaseIR 5.2.5.2.1 编译生成（5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-20261004_022947，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_DeleteProfile_ISDP_And_Components_01_merged() {
+    var bind = curBind;
+    // SEQ-IC-1 卡态声明（E 段 Initial Conditions，编排责任）：There is no Profile installed on the eUICC: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion()
-{
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s8 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s8.atr_hex !== "" ? "1" : "0");
 
-	tracenamestr = "验证删除profile后，eUICC移除ISD-P和所有profile内容，并且检查空间变化";
-	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 s9 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s9.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s9.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 s10 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s10.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 steady11 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady11.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 s12 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s12.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s12.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 s13 = 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", s13.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccInfo2Request，获取eUICC的剩余不可变空间；");
-	var euiccInfo2 = new EUICCInfo2();
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
+    // 步骤 1：MTD_STORE_DATA（tc_step）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s12.chan !== null ? (s12.chan <= 3 ? 128 + s12.chan : 188 + s12.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF2200", "00", null);
+    // geca-proc ES10b Info 响应面（R_EUICC_INFO2，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+    var gw1 = BindGecaProc.parseGecaResponse(s1.resp, {outer: "BF22", required: ["81", "82", "83", "84", "85", "88", "A9", "AA", "04", "0C"], optional: ["86", "87"]});
+    bind.checkData("S1-C1 R_EUICC_INFO2 outer tag", "BF22", gw1.outer_tag === null ? "absent" : gw1.outer_tag);
+    bind.checkData("S1-C1 R_EUICC_INFO2 required members present", "1", gw1.ok ? "1" : "0");
+    var ext1 = BindEs10xSingleRequest.parseBerTlv(gw1.fields["84"] || "");
+    var freeVal1 = null; for (var fti1 = 0; fti1 < ext1.length; fti1++) { if (ext1[fti1].tag === "82") { freeVal1 = ext1[fti1].value; } }
+    bind.checkData("S1-C2 free non-volatile memory tag 82 present", "1", freeVal1 !== null ? "1" : "0");
 
-	euiccInfo2.checkCardResDataFormat(hexData);
+    // 步骤 2：Install PROFILE_OPERATIONAL1（tc_step）
+    // card-state orchestration declaration (no APDU face): execution is
+    // the batch card_state prep framework's responsibility (4227 ruling B
+    // same-family scope; ensure_profile_state / prep_packager);
+    // no fabricated bytes emitted here; see CaseIR unresolved/open_items.
 
-	var FREE_MEMORY_NO_PROFILE = 0;
+    // 步骤 3：Remove all Install Notifications from eUICC（tc_step）
+    // card-state orchestration declaration (no APDU face): execution is
+    // the batch card_state prep framework's responsibility (4227 ruling B
+    // same-family scope; ensure_profile_state / prep_packager);
+    // no fabricated bytes emitted here; see CaseIR unresolved/open_items.
 
-	try
-	{
-		if (check_format_extCardResource)
-			FREE_MEMORY_NO_PROFILE = parseInt(euiccInfo2.extCardResource.FreeNonVolatileMemory, 16);
-		else
-		{
-			var extCardResourceObj = new ExtendedCardResource();
-			extCardResourceObj.SetHexData(euiccInfo2.extCardResource);
-			FREE_MEMORY_NO_PROFILE = parseInt(extCardResourceObj.FreeNonVolatileMemory, 16);
-		}
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
+    // 步骤 4：MTD_STORE_DATA（tc_step；REQ: RQ31_027, RQ31_028, RQ57_051, RQ57_052, RQ57_054, RQ31_183）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla4 = s12.chan !== null ? (s12.chan <= 3 ? 128 + s12.chan : 188 + s12.chan).toString(16).toUpperCase() : null;
+    var s4 = bind.sendApdu(sdCla4, "E2", "91", "00", "BF2200", "00", null);
+    // geca-proc ES10b Info 响应面（R_EUICC_INFO2，SGP.22 §5.7.7/§5.7.8 结构机械转录；响应外层 tag = 请求 tag）：绑定层结构步行 + 在场性断言。
+    var gw4 = BindGecaProc.parseGecaResponse(s4.resp, {outer: "BF22", required: ["81", "82", "83", "84", "85", "88", "A9", "AA", "04", "0C"], optional: ["86", "87"]});
+    bind.checkData("S4-C1 R_EUICC_INFO2 outer tag", "BF22", gw4.outer_tag === null ? "absent" : gw4.outer_tag);
+    bind.checkData("S4-C1 R_EUICC_INFO2 required members present", "1", gw4.ok ? "1" : "0");
+    var ext4 = BindEs10xSingleRequest.parseBerTlv(gw4.fields["84"] || "");
+    var freeVal4 = null; for (var fti4 = 0; fti4 < ext4.length; fti4++) { if (ext4[fti4].tag === "82") { freeVal4 = ext4[fti4].value; } }
+    bind.checkData("S4-C2 free non-volatile memory tag 82 present", "1", freeVal4 !== null ? "1" : "0");
+    bind.checkData("S4-C3 free non-volatile memory lower than step 1", "1", (freeVal4 !== null && freeVal4 !== undefined && freeVal1 !== null && freeVal1 !== undefined && parseInt(freeVal4, 16) < parseInt(freeVal1, 16)) ? "1" : "0");
…（差异行超限，共 265 行，此处截断）
```

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

- man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion', 'eUICC Delete Profile Process', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
- cas：`TC_eUICC_DeleteProfile_ISDP_And_Components/TC_eUICC_DeleteProfile_ISDP_And_Components.uce`；入口 [('TC_eUICC_DeleteProfile_ISDP_And_Components_01_merged', 'TC_eUICC_DeleteProfile_ISDP_And_Components', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_DeleteProfile_ISDP_And_Components_01_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

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

- 命令计数：man 96 / cas 19；精确对齐 7，核心（CLA·INS·P1·P2·Lc）同 5，man-only 84，cas-only 7

| # | `-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 | `81E2910003BF2200` | `81E2910003BF220000` | core_same |
| 11 | `81E2910003BF2000` | `81E2910003BF220000` | core_same |
| 12 | `81E2910003BF2E00` | `81E2910003BF220000` | core_same |
| — | man-only: `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `0070000000`, `01C0000000`, `01C0000012`, `01C00000A9`, `01C0000015`, `81E21100FFBF388202F030498010F5D17CE5C363…7525350`, `81E21101FF54455354310B300906035504061302…603551D`, `81E29102F71104073005880388370A300E060355…3000010`, `01C0000000`, `01C0000000`, `01C0000000` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `81C0000000`, `81C0000012`, `81C0000000`, `81C0000012`, `81C0000000`, `81C0000012` | | |

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

- spec：/Users/yuhu/cas/原料/切片/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components/spec_intl/SGP.23-v1.16_5.2.5_DeleteProfile_ISDP_And_Components.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-20261008_015719/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA(#GET_EUICC_INFO2) | 1 | ["RQ31_027", "RQ31_028", "RQ57_051", "RQ57_052", "RQ57_054", "RQ31_183"] | ["S1-C1", "S1-C2", "S1-C3", "S7-C1", "S7-C2", "S7-C3", "S7-C4"] | ["RQ24_020", "RQ31_027", "RQ31_028", "RQ57_051", "RQ57_052", "RQ57_054"] | L84-100（二次取值 + 比较） | 通过（free=`8204 00125DFF`＝1,199,615 **< 1,214,951**，差值 **15,336 字节**＝OP1 足迹；tag 82/长度 04 断言相等，ttr APDU293-APDU310） |
| 2 |  | 0 | [] | [] | [] | L111-117（`DeleteProfileRequest` + `CheckData("BF3303800100", | 通过（`81E291000FBF330C5A0A989209012143658709F5`→**BF3303800100**（deleteResult=ok）期望＝实际，ttr APDU313-APDU316） |
| 3 |  | 0 | [] | [] | [] | L119-127（`ES10b_ListNotification("0410")` + Remove） | 通过（DELETE=0410 过滤器列出+删除，BF30 status=00） |
| 4 | MTD_STORE_DATA(#GET_EUICC_INFO2) | 1 | ["RQ31_027", "RQ31_028", "RQ57_051", "RQ57_052", "RQ57_054", "RQ24_020"] | ["S4-C1", "S4-C2", "S4-C3", "S4-C4"] | ["RQ31_027", "RQ31_028", "RQ31_183", "RQ57_051", "RQ57_052", "RQ57_054"] | L133-162（三次取值 + 终值断言 `期望值: 1214951`） | 通过（free=`8204 001289E7`＝**1,214,951 回到空卡值** ＞ 1,199,615；**期望值 1214951＝实际值 1214951 逐字节断言在案**——删除后 OP1 15,336 字节全量回收＝ISD-P＋Profile Components 完整移除的内存面铁证，ttr APDU345-APDU366） |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 12 项 / 生成体 checkData 19 次 / S 标号重合 8 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 16 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- cas 未物化检查（绑定序列内且**完全未见**，共 4；方向性旁证，权威见上行 attestation）：含机械模式 4 项 ['S1-C3', 'S4-C4', 'S6-C1', 'S7-C4']；无模式 0 项 []
- man：mapping 行 9 / 规范步 4；TTR 期望/实际回声 218；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - IC4『Install PROFILE_OPERATIONAL1』与 IC5『Remove all Install Notifications from eUICC』在 SGP.23 5.2.5.2.1 中仅给出高层操作名，未给出报文/命令细节，需测试工具依 Annex E 与 ES10 过程实现。
  - TC 步骤 2『Delete PROFILE_OPERATIONAL1』与步骤 3『Remove the Delete Notification from eUICC』未给出具体命令与 Expected，删除效果由步骤 4 的空闲内存对比间接验证。
  - 表 1037 通用初始条件要求 eUICC 上无任何 Profile（IC0），而 IC4 随后安装 PROFILE_OPERATIONAL1；顺序语义由测试编排层保证。
  - eUICC 卡态编排（会话重置、profile 清理、通知清理、装载预算）为测试编排层职责，不在 CaseIR 范围。

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 145 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 84 / cas-only 7 |
| `EVIDENCE_MISSING` | 4 | cas 声明但未物化的检查：['S1-C3', 'S4-C4', 'S6-C1', 'S7-C4'] |

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

## 8. 证据路径

- man 包：`../../packages/man/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components/logs/20260908_143523_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_DeleteProfile_ISDP_And_Components_01_Nominal_ISD_P_and_Profile_Components_Deletion.ttr`
- cas 包/源：`../../packages/cas/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-20261004_022947/logs/41cabbdbf2fb4ee8bab081ee8b77506a/result/TC_eUICC_DeleteProfile_ISDP_And_Components/TC_eUICC_DeleteProfile_ISDP_And_Components_01_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components/spec_intl/SGP.23-v1.16_5.2.5_DeleteProfile_ISDP_And_Components.md`
- caseir：`/Users/yuhu/cas/experiments/5.2.5.2.1-TC_eUICC_DeleteProfile_ISDP_And_Components-20261008_015719/caseir_materialized_gate.json`
- step_map：`—`