# 5.2.7.2.1 TC_eUICC_DisableProfile_ApplicationManagement — `-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.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-man.zip | `de9bfc78e6876ea8ecbf9bf6b8942eacbe91810cf17706ae965a6d898b2d1f4e` | zip | TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile |
| `-cas` | 5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-cas.zip | `f6afd02f6a43df4bc539b458f51c399f04629c3400f3615340f89a64f3038885` | zip | — |

- man 源路径：`../../packages/man/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-man.zip`
- cas 源路径：`../../packages/cas/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-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_142640_ok:a2c3489ea0f24f2a98b1e69aed169c05` | — | `/Users/yuhu/cas/原料/切片/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement/logs/20260908_142640_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile.ttr` | `—` |
| `-cas` | `unknown` | 纯 native 零卡态前置（N0） | 45 | `8362e70106c44ff3a6b060280555a56b` | — | `/Users/yuhu/cas/experiments/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-20261008_020421/logs/8362e701_gapfix1/result/TC_eUICC_DisableProfile_ApplicationManagement/TC_eUICC_DisableProfile_ApplicationManagement_01_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`unknown`；stage=`cas_gapfix_rerun`；job=`8362e70106c44ff3a6b060280555a56b`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 unknown（error_count=0）；failed 亦为有效终态，如实登记"]
- cas 失败归因引用（块4）：`b8-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/5.2.7.2.1/man/TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile.html`；sha256 `20a382b69e5f1885345dc3c44048d991ee055289ef525576659c846cf61fb16b`；376184 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/5.2.7.2.1/cas/TC_eUICC_DisableProfile_ApplicationManagement_01_merged.html`；sha256 `0b15259621b38a648519ba99a69b10513f48840e3feec1583f4416e47b2a958d`；16831 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 93 / cas 106；字符：man 3335 / cas 7689
- man 顶层调用 Top：[["TestStepStart2", 14], ["TS_SELECT", 4], ["Ini_powerOn_eUICC_LPAe_not_activate", 3], ["SelectFileIDPara_3G", 3], ["SendAPDU", 3], ["TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile", 2], ["ChoiceObj", 2], ["GenHexData", 2], ["LPAd_Transport_data_to_eUICC", 2], ["CheckData", 2]]
- cas bind 调用：[["checkData", 13], ["sendApdu", 8], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["fetchPending", 1], ["terminalResponseForPending", 1]]

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

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

```diff
--- man
+++ cas
@@ -1,92 +1,105 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-022948
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_DisableProfile_ApplicationManagement，Test Sequence #01 Nominal: Application Selection/Deletion not available on Disabled Profile（本 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；S1-C1 SW；S1-C2 FCP_Template；S2-C1 SW；S4-C1 SW；S5-C1 SW
+//   S7-C2 envelope C_APDUS_SCRIPT named APDU；S9-C1 SW；S11-C1 SW
+// 本函数由 CaseIR 5.2.7.2.1 编译生成（5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-20261004_022948，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_DisableProfile_ApplicationManagement_01_merged() {
+    var bind = curBind;
+    // GEN-IC-1 卡态声明（E 段 General Initial Conditions，编排责任）：PROFILE_OPERATIONAL1 is installed and Enabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile()
-{
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s12 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s12.atr_hex !== "" ? "1" : "0");
 
-	initial_condition_PROFILE_OPERATIONAL1_is_Enabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
+    // 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 s13 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s13.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s13.sw);
 
-	initial_condition_Remove_All_Notification();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s14 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s14.sw);
 
-	tracenamestr = "验证失效profile后，profile中的应用不能被选择，并且不能被删除";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady15 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady15.final.sw);
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 步骤 1：SELECT_USIM（tc_step）
+    var s1 = bind.sendApdu("00", "A4", "04", "04", "A0000000871002FF33FF018900000100", "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s1.sw);
+    bind.checkData("S1-C2 FCP_Template", "1", s1.resp.length > 0 ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // 步骤 2：MTD_SELECT（tc_step）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s2 = bind.sendApdu(null, "A4", "04", "00", "A00000055910100102736456616C7565", "00", "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("S2-C1 SW", "9000", s2.sw);
+    // S2-C2: kind 'requirement' pattern has no static generation face (corpus vacuum; see CaseIR unresolved).
+    // S2-C2: binding:select_success_satisfies_selected_requirement(SW9000-receipt) (check_attestation)
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"选择USIM成功；");
-	para = new SelectFileIDPara_3G("7FF1");
-	SendAPDU(para.apdu);
+    // 步骤 3：Disable 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.
 
-	curDis.TestStepStart2(stno++,"选择SSD成功；");
-	TS_SELECT("Select SSD","A00000055910100102736456616C7565","9000");
+    // 步骤 4：SELECT_USIM（tc_step；REQ: RQ24_026）
+    var s4 = bind.sendApdu("00", "A4", "04", "04", "A0000000871002FF33FF018900000100", "00", "6A82");
+    bind.checkData("S4-C1 SW", "6A82", s4.sw);
+    // S4-C2: binding:requirement_satisfied_by_same_step_error_sw_assertion (check_attestation)
 
-	curLogicChannel = 1;
+    // 步骤 5：MTD_SELECT（tc_step；REQ: RQ24_026）
+    // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+    var s5 = bind.sendApdu(null, "A4", "04", "00", "A00000055910100102736456616C7565", "00", "6A82");
+    // 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("S5-C1 SW", "6A82", s5.sw);
+    // S5-C2: kind 'requirement' pattern has no static generation face (corpus vacuum; see CaseIR unresolved).
+    // S5-C2: binding:requirement_satisfied_by_same_step_error_sw_assertion (check_attestation)
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // 步骤 6：PROC_EUICC_INITIALIZATION_SEQUENCE（procedure_expansion）
+    // E 表验证性 PROC（K 过程体缺席）：oracle 缺席诚实面——期望=声明面
+    // spec 引用、实际=proc_expansion_absent（如实计错，不伪造通过）。
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行DisableProfileRequest，失效profile1；");
-	var disableProRequest = new DisableProfileRequest();
-	disableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.iccid,ICCID_OP_PROF1);
-	disableProRequest.refreshFlag = BooleanValue_BerCode_False;
-	disableProRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(disableProRequest.hexData);
+    // 步骤 7：MTD_SEND_SMS_PP（tc_step；REQ: RQ24_026）
+    // MTD_SEND_SMS_PP ENVELOPE (H Annex C.1 表1238): deterministic SCP80 envelope — counter=规范初值 0000000001, CC=离线闭合
+    // (scp80_emitter 3DES outer-CBC)，C_APDUS_SCRIPT = 命名 APDU 常量机械转录；规范固定头字段见发射器漂移登记。
+    var s7 = bind.sendApdu("80", "C2", "00", "00", "D156020283810607913386094000F00B474405850213F27FF6713012415574403702700000321512210015B2010000000000010027C1E4EA55DBD5E6AA1A221880E40080124F10A00000055910100102736456616C756500", null, null);
+    bind.checkData("S7-C2 envelope C_APDUS_SCRIPT named APDU", "1", s7.cmd.indexOf("AA1A221880E40080124F10A00000055910100102736456616C756500") >= 0 ? "1" : "0");
+    // S7-C1: binding:scp80_envelope_response_status_disjunctive(91XX|9000|error;E_tc_527-NOTE) (check_attestation)
 
-	curStrHandle.CheckData("BF3203800100", respData, "DisableProfileResponse");
+    // 步骤 8：FETCH 'XX'（tc_step；REQ: RQ24_026）
+    // 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 s8 = bind.fetchPending("80", "12", "00", "00", null);
+    // S8-C1: binding:fetch_sms_por_runtime_parse(MTD_CHECK_SMS_POR;H-annexC1) (check_attestation)
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 步骤 9：TERMINAL RESPONSE（tc_step）
…（差异行超限，共 184 行，此处截断）
```

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

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

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

- 命令计数：man 170 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 170，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/原料/切片/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement/spec_intl/SGP.23-v1.16_5.2.7_DisableProfile_ApplicationManagement.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-20261008_020421/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | [SELECT_USIM] | 1 | ["RQ24_026"] | ["S1-C1", "S1-C2", "S4-C1", "S4-C2"] | ["RQ24_026"] | 厂商步骤7-8 `eUICC卡片初始化`+`选择USIM失败`（L44-48，期望 SW 硬编码 6A82） | 通过（`00A40004027FF1` 实际 **6A82** 期望 6A82 相等，ttr APDU383-APDU386；与 4.2.22.2.1 DisableProfile 步5 SELECT_ICCID 6A82 镜像判例同族） |
| 2 | MTD_SELECT(#SSD_AID) | 1 | ["RQ24_026"] | ["S2-C1", "S2-C2", "S11-C1", "S11-C2"] | ["RQ24_026"] | 厂商步骤9 `选择SSD失败`（L52-53，期望 SW 6A82） | 通过（SELECT SSD AID 实际 **6A82** 期望相等，ttr APDU388-APDU391） |
| 3 |  | 0 | [] | [] | [] | 厂商步骤10 `eUICC卡片初始化`（L56） | 通过（SELECT MF/TERMINAL CAPABILITY/TERMINAL PROFILE/FETCH/TERMINAL RESPONSE 全链，ttr APDU395-APDU421） |
| 4 | MTD_SEND_SMS_PP([DELETE_SSD]) | 1 | ["RQ24_026"] | ["S7-C1", "S7-C2"] | ["RQ24_026"] | 厂商步骤11 `删除SSD`（L59-68，`SendTypeByOTA.SMS` ENVELOPE SMS-PP DO | 通过（ENVELOPE → **9127（91XX）**；规范三选一期望中走 91XX 分支——NOTE 条件成立，步骤 5/6 应执行，ttr APDU421-APDU422） |
| 5 | FETCH 'XX' | 1 | ["RQ24_026"] | ["S8-C1"] | ["RQ24_026"] | 同步骤11 内 FETCH + SEND SMS POR 解析断言（L60-68） | 通过（FETCH `8012000027`→`D0258103011300820281838B1A4100068140…`（SMS-PP DOWNLOAD）→SEND SMS POR；**status code 期望 06/09 实际 09（TAR unknown）** 相等断言在案＋POR 结构七字段逐一相等（0681401406/02/71/00/000B/0A/B20100/00），ttr APDU423-APDU455） |
| 6 | TERMINAL RESPONSE | 1 | [] | ["S9-C1"] | [] | `TerminalResponse("00","9000")`（L68） | 通过（`801400000C810301130082028281830100` SW=9000，ttr APDU460-APDU463） |
| 7 |  | 0 | [] | [] | [] | 厂商步骤12-13（L72-82：SELECT ISD-R + `EnableProfileRequest` + `Ch | 通过（`81E2910014BF3111A00C5A0A989209012143658709F5810100`→**BF3103800100**（enableResult=ok）期望＝实际，ttr APDU470-APDU478） |
| 8 | MTD_SELECT(#SSD_AID) | 1 | ["RQ24_026"] | ["S5-C1", "S5-C2"] | ["RQ24_026"] | 厂商步骤14 `选择USIM成功`（L85-86，**SELECT 7FF1 替代 SSD_AID 重选**） | 通过（`00A40004027FF1`→FCP `6234…` SW=9000，ttr APDU480-APDU484） |

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

- cas：`GAPS_FOUND`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 14 项 / 生成体 checkData 13 次 / S 标号重合 8 / 计数缺口 1 / 形态 `DEFICIT`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 13 + binding 6 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
  - binding 覆盖示例：`S2-C2`→binding:select_success_satisfies_selected_requirement(SW9000-rec；`S4-C2`→binding:requirement_satisfied_by_same_step_error_sw_assertion；`S5-C2`→binding:requirement_satisfied_by_same_step_error_sw_assertion；`S7-C1`→binding:scp80_envelope_response_status_disjunctive(91XX|9000|err；`S8-C1`→binding:fetch_sms_por_runtime_parse(MTD_CHECK_SMS_POR;H-annexC1)
- cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S11-C2', 'S2-C2', 'S4-C2', 'S5-C2', 'S7-C1', 'S8-C1']
- man：mapping 行 13 / 规范步 8；TTR 期望/实际回声 290；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - IC1（PROC_EUICC_INITIALIZATION_SEQUENCE）为过程引用，仅保留 initial_conditions 声明；展开定义见 K_annexC2_procs（RESET / [SELECT_MF] / [TERMINAL_CAPABILITY_LPAd] / [TERMINAL_PROFILE]），不内联为 steps
  - 步骤 3（Disable PROFILE_OPERATIONAL1）与步骤 10（Enable PROFILE_OPERATIONAL1）属卡态操作（无 APDU），由测试工具执行，非 CaseIR APDU 断言范围
  - 步骤 8/9 仅在步骤 7 返回 SW=0x91XX 时执行（NOTE 条件步骤）；SW=0x9000 或错误 SW 时跳过
  - MTD_SEND_SMS_PP 依赖 MNO-SD 与 SCP80 密钥（#MNO_SCP80_AUTH_KEY 等），属运行期物料

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 |
| `GEN_DIFF` | 170 | 命令序列差：man-only 170 / cas-only 0 |

| 侧 | 根因候选（七类，启发式签名） | 签名 |
|---|---|---|
| cas | `card_error` | `Connect Reader 失败|card is NOT connected|SW=0000|SW=00000000` |

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

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

## 7.1 人工注记（收尾循环）

- **S7-C2 已修复（F4 残留轮）**：命名 APDU 闭集（`DELETE_SSD`）经 `scp80_emitter.emit_sms_pp_envelope` 离线闭合确定性信封体＋`C_APDUS_SCRIPT` 断言；counter 初值规范固定（SGP.23:16871）、三密钥（:16589），黄金向量对拍 `C6D7B75D22A18B6B`（`tests/test_scp80_emitter.py`）。复合脚本（非闭集）保持 data-null（零字节）。本 TC gap 由 1→0。
- **漂移登记**：黄金实跑与规范值差异（device identity tag `82` vs `02`、address tag `86` vs `06`）按纪律取规范值，卡拒收时回查该漂移。

## 8. 证据路径

- man 包：`../../packages/man/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement/logs/20260908_142640_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_DisableProfile_ApplicationManagement_01_Nominal_Application_Selection_Deletion_not_available_on_Disabled_Profile.ttr`
- cas 包/源：`../../packages/cas/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-20261008_020421/logs/8362e701_gapfix1/result/TC_eUICC_DisableProfile_ApplicationManagement/TC_eUICC_DisableProfile_ApplicationManagement_01_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement/spec_intl/SGP.23-v1.16_5.2.7_DisableProfile_ApplicationManagement.md`
- caseir：`/Users/yuhu/cas/experiments/5.2.7.2.1-TC_eUICC_DisableProfile_ApplicationManagement-20261008_020421/caseir_materialized_gate.json`
- step_map：`—`