# 4.2.23.2.3 TC_eUICC_ES10c.DeleteProfile_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.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-man.zip | `491a633a6352d28b07b50e020bf232399e5c6249511afefc81a53f378f545cbe` | zip | TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID |
| `-cas` | 4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-cas.zip | `990febb786c6c4637472c57180d086b82dd6b4a8226247bc1a40bea5ef980496` | zip | — |

- man 源路径：`../../packages/man/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-man.zip`
- cas 源路径：`../../packages/cas/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_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_165850_ok:da3dbc17e7a142028b36b5f3f465f275` | — | `/Users/yuhu/cas/原料/切片/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4/logs/20260908_165850_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID.ttr` | `—` |
| `-cas` | `failed` | preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=F | 1 | `d0f0b1788a4946a6bc63b27adf02cfae` | — | `/Users/yuhu/cas/experiments/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-20261004_021956/logs/d0f0b1788a4946a6bc63b27adf02cfae/result/TC_eUICC_ES10c_DeleteProfile_Case4/TC_eUICC_ES10c_DeleteProfile_Case4_01_02_Nominal_TC_2_Test_Sequence.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.23.2.3 native 打包：preflight_context 编译合同与打包合同缺桥——CaseIR 声明 ['ISD_P_AID1']（1 项）而本打包通道无 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.23.2.3/man/TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID.html`；sha256 `a40632db2adf4cb7b29d0d88688ef4e346067b77e3c7ff5a5fafc75ac46e3c50`；261715 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.23.2.3/cas/TC_eUICC_ES10c_DeleteProfile_Case4.html`；sha256 `5e9aa64571f23fa30f7ecee0b6a8cfb2ac7afcb082a8002d4f693ebf9e5d6c87`；1264 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 49 / cas 90；字符：man 1969 / cas 7826
- man 顶层调用 Top：[["TestStepStart2", 5], ["TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID", 2], ["GenHexData", 2], ["LPAd_Transport_data_to_eUICC", 2], ["CheckData", 2], ["initial_condition_PROFILE_OPERATIONAL1_is_Disabled", 1], ["TraceStart", 1], ["Ini_powerOn_eUICC_LPAe_not_activate", 1], ["TS_MANAGE_CHANNEL_OPEN", 1], ["TS_SELECT", 1]]
- cas bind 调用：[["checkData", 16], ["sendApdu", 8], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

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

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

```diff
--- man
+++ cas
@@ -1,48 +1,89 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-021956
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DeleteProfile_Case4，Test Sequence #01-#02 Nominal（本 TC 全部 2 条 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 SW；S1-C2 deleteResult ok；S2-C1 SW；S2-C2 profileInfoListOk empty；S3-C1 SW
+//   S3-C2 deleteResult ok；S4-C1 SW；S4-C2 profileInfoListOk empty
+// 本函数由 CaseIR 4.2.23.2.3 编译生成（4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-20261004_021956，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_DeleteProfile_Case4_01_02_Nominal_TC_2_Test_Sequence() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_DeleteProfile_Case4_01_02_Nominal_TC_2_Test_Sequence");
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain; context_lineage: {"context_id": "5e43d9f19c242cac", "authority_reference": "E_tc_4223/38-38/G_annexB_dynamic:L51"}
+    var cardCtxLoad1 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID1", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+    // PREFLIGHT_CONTEXT AUTHORIZED_DISCOVERY: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID()
-{
-	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 s6 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s6.atr_hex !== "" ? "1" : "0");
 
-	tracenamestr = "测试目的：通过ISD-P AID删除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 s7 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s7.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s7.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 s8 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s8.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 steady9 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady9.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 s10 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s10.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s10.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 s11 = 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", s11.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行DeleteProfileRequest，通过ISD-P AID删除profile；");
-	var deleProfileRequest = new DeleteProfileRequest();
-	deleProfileRequest.isdpAid = ISD_P_Test01;
-	deleProfileRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(deleProfileRequest.hexData,"91","00","9000");
+    // 步骤 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 s1 = bind.sendApdu("81", "E2", "91", "00", "BF2D035C014F", "00", "9000");
 
-	curStrHandle.CheckData("BF3303800100", respData, "DeleteProfileResponse");
+    // 步骤 2：Seq#01] MTD_STORE_DATA（tc_step；REQ: RQ24_010, RQ24_016, RQ24_020, RQ32_049, RQ32_051, RQ32_052, RQ57_154, RQ57_158, RQ57_159, RQ57_160）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla2 = s10.chan !== null ? (s10.chan <= 3 ? 128 + s10.chan : 188 + s10.chan).toString(16).toUpperCase() : null;
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain
+    var s2 = bind.sendApdu(sdCla2, "E2", "91", "00", BindEs10xProcProfileDynamic.bindProfileAidTemplate(bind, "ISD_P_AID1", "BF33124F10", "", profileAidSession), "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s2.sw);
+    BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AID1", s2.cmd, profileAidSession);
+    var r2w2 = BindGecaProc.parseGecaResponse(s2.resp, {outer: "BF33", required: ["80"]});
+    bind.checkData("S1-C2 deleteResult ok", "00", (r2w2.ok && r2w2.fields["80"] === "00") ? "00" : (r2w2.fields["80"] || "absent"));
 
-	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);
+    // 步骤 3：Seq#01] MTD_STORE_DATA（tc_step；REQ: RQ24_010, RQ24_020, RQ57_119）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla3 = s10.chan !== null ? (s10.chan <= 3 ? 128 + s10.chan : 188 + s10.chan).toString(16).toUpperCase() : null;
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain
+    var s3 = bind.sendApdu(sdCla3, "E2", "91", "00", BindEs10xProcProfileDynamic.bindProfileAidTemplate(bind, "ISD_P_AID1", "BF2D14A0124F10", "", profileAidSession), "00", "9000");
+    bind.checkData("S2-C1 SW", "9000", s3.sw);
+    BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AID1", s3.cmd, profileAidSession);
+    var r2p3 = BindEs10xProcProfile.walkChoiceList(s3.resp, {respTag: "BF2D", okTag: "A0", errTag: "81"});
+    bind.checkData("S2-C2 profileInfoListOk empty", "1", (r2p3.branch_tag === "A0" && r2p3.elements.length === 0) ? "1" : "0");
 
-	var proInfoListResponse = new  ProfileInfoListResponse();
-	proInfoListResponse.checkCardResDataFormat(respData);
-	try
-	{
-		curStrHandle.CheckData("00", obj.ToHex(proInfoListResponse.profileInfoListOk.arrOfElement.length),"Profile Info number");
-	}catch(e){
-		obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
-	}
+    // 步骤 4：Seq#02] MTD_STORE_DATA（tc_step；REQ: RQ24_016, RQ24_020, RQ32_049, RQ32_051, RQ32_052, RQ57_154, RQ57_158, RQ57_159）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla4 = s10.chan !== null ? (s10.chan <= 3 ? 128 + s10.chan : 188 + s10.chan).toString(16).toUpperCase() : null;
+    var s4 = bind.sendApdu(sdCla4, "E2", "91", "00", "BF330C5A0A989209012143658709F5", "00", "9000");
+    bind.checkData("S3-C1 SW", "9000", s4.sw);
+    var r2w4 = BindGecaProc.parseGecaResponse(s4.resp, {outer: "BF33", required: ["80"]});
+    bind.checkData("S3-C2 deleteResult ok", "00", (r2w4.ok && r2w4.fields["80"] === "00") ? "00" : (r2w4.fields["80"] || "absent"));
 
-	RecoverCard();
…（差异行超限，共 128 行，此处截断）
```

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

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

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

- 命令计数：man 116 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 116，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.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4/spec_intl/SGP.23-v1.16_4.2.23.2.3_DeleteProfile_Case4.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-20261004_021956/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA(MTD_DELETE_PROFILE(NO_PARAM, <ISD_P_AID1>)) | 1 | ["RQ24_010", "RQ24_016", "RQ24_020", "RQ32_049", "RQ32_051", "RQ32_052", "RQ57_154", "RQ57_158", "RQ57_159", "RQ57_160"] | ["S1-C1", "S1-C2"] | ["RQ24_010", "RQ24_016", "RQ24_020", "RQ32_049", "RQ32_051", "RQ32_052", "RQ57_154", "RQ57_158", "RQ57_159", "RQ57_160"] | T2 步骤4（L21-29：`DeleteProfileRequest` isdpAid=真实 AID＋`LPAd_Tr | 通过（请求 `81E2910015BF33124F10A0000005591010FFFFFFFF89000011` → 9000；**DeleteProfileResponse `BF3303800100`（deleteResult=ok）期望＝实际**，ttr L305-311） |
| 2 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AID1>)) | 1 | ["RQ24_010", "RQ24_020", "RQ57_119"] | ["S2-C1", "S2-C2"] | ["RQ24_010", "RQ24_020", "RQ57_119"] | T2 步骤5（L31-44：PIR searchCriteria=ISD-P AID＋tagList＋try/catch | 通过（`81E291001DBF2D1AA012…` → 9000；**Profile Info number 期望 00＝实际 00（空列表＝删除生效铁证）**，ttr L314-321） |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 4 项 / 生成体 checkData 16 次 / S 标号重合 4 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 16 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：mapping 行 5 / 规范步 2；TTR 期望/实际回声 200；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - General Initial Condition：PROFILE_OPERATIONAL1 已安装且 Disabled（Seq#01 另要求对应 <ISD_P_AID1>）——卡态编排责任
  - <ISD_P_AID1> 为 Annex B 动态范围值，运行时绑定
  - 每条 Test Sequence 执行后须按 2.2.2 执行 clean-up（CU）恢复 Common Initial State
  - R2 残余占位：DeleteProfileRequest/ProfileInfoListRequest 已按 S22_delete/S22_prof_info 闭合；isdpAid 变体的 <ISD_P_AIDx> 为 G_annexB 动态值（16 字节范围值），运行时绑定
  - {'item': 'B-6 dynamic_extracts 登记（preflight_context 形）', 'reason': "B-4 编译普查定谳的 extracts 登记缺失补齐：首插只读 discovery 宿主步（BF2D035C014F，GetProfilesInfo tagList=4F——S22_prof_info 行83-87 'BF2D 00' default-tags 语义的 4F 限定形）承载声明；原步骤顺延 +1。AID 值 = 运行时 IC 编排卡态（E 段 IC 依据行），不编造字节", 'disposition': 'registered'}

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

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

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4/logs/20260908_165850_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DeleteProfile_Case4_01_Nominal_Delete_Profile_by_ISD_P_AID.ttr`
- cas 包/源：`../../packages/cas/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-20261004_021956/logs/d0f0b1788a4946a6bc63b27adf02cfae/result/TC_eUICC_ES10c_DeleteProfile_Case4/TC_eUICC_ES10c_DeleteProfile_Case4_01_02_Nominal_TC_2_Test_Sequence.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4/spec_intl/SGP.23-v1.16_4.2.23.2.3_DeleteProfile_Case4.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.23.2.3-TC_eUICC_ES10c.DeleteProfile_Case4-20261004_021956/caseir_materialized_gate.json`
- step_map：`—`