# 4.2.22.2.4 TC_eUICC_ES10c.DisableProfile_ErrorCases_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.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-man.zip | `c1ac38321b0dcb95b2d6c3caa3404a0ae0fa19d8df1aafe916445c7b87dfb71d` | zip | TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID |
| `-cas` | 4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-cas.zip | `81bce6314c0ccbdf808ac7d03f7e2765420f72cf734c1a4efc3a639154fda396` | zip | — |

- man 源路径：`../../packages/man/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-man.zip`
- cas 源路径：`../../packages/cas/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_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_234520_ok:86c1454a1d554d65a883f8d58c8809f1` | — | `/Users/yuhu/cas/原料/切片/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4/logs/20260908_234520_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID.ttr` | `—` |
| `-cas` | `failed` | preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=F | 1 | `9e93cc89659d429784c3586a528f3298` | — | `/Users/yuhu/cas/experiments/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-20261004_021955/logs/9e93cc89_gapfix1/result/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged.ttr` | `—` |
- cas 块4账本：decision=`ATTEMPT_NATIVE(expect blocked_card_state)`；route=`native_N1_blocked`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`cas_gapfix_rerun`；job=`9e93cc89659d429784c3586a528f3298`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 failed（error_count=4）；failed 亦为有效终态，如实登记"]
- cas 证据来源分层：`ATTEMPT_NATIVE(expect blocked_card_state)` → legacy/其它（ATTEMPT_NATIVE(expect blocked_card_state)）

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.22.2.4/man/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID.html`；sha256 `ed321752cc3b21ecccfcfd88ad56c9f0f1108e1632dd2fa1dcd1ab5acaa13d0a`；310107 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.22.2.4/cas/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4.html`；sha256 `39bc14d83f1e2de1f0d5f03d340ea69cce3b8fc3032cb252eb9ebb0e5785afce`；1342 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 508 / cas 305；字符：man 20985 / cas 26610
- man 顶层调用 Top：[["TestStepStart2", 46], ["CheckData", 32], ["GenHexData", 16], ["LPAd_Transport_data_to_eUICC", 16], ["ChoiceObj", 14], ["TraceStart", 8], ["Ini_powerOn_eUICC_LPAe_not_activate", 8], ["TS_MANAGE_CHANNEL_OPEN", 8], ["TS_SELECT", 8], ["DisableProfileRequest", 8]]
- cas bind 调用：[["checkData", 44], ["sendApdu", 17], ["fetchPending", 2], ["terminalResponseForPending", 2]]

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

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

```diff
--- man
+++ cas
@@ -1,507 +1,304 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_02_Error_Disable_Profile_by_an_unknown_ICCID + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_03_Error_Disable_Profile_by_ISD_P_AID_is_not_possible_when_this_Operational_Profile_is_in_Disabled_state + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_04_Error_Disable_Profile_by_ICCID_is_not_possible_when_this_Operational_Profile_is_in_Disabled_state + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_05_Error_Disable_Profil_by_ISD_P_AID_not_possible_when_PPR1_is_set + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_06_Error_Disable_Profil_by_ICCID_not_possible_when_PPR1_is_set + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_07_Error_Disable_Profile_by_ISD_P_AID_without_refreshFlag_while_proactive_session_is_ongoing_catBusysupported + TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_08_Error_Disable_Profile_by_ICCID_with_refreshFlag_set_while_proactive_session_is_ongoing_catBusysupported (extracted verbatim)
-
-function TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID()
-{
-	if(!Card_Have_ECC_Cert)
-		return;
-
-	TestOfMEPMode = 0;
-
-	initial_condition_PROFILE_OPERATIONAL1_is_Enabled();
-	var ISD_P_Test01 = curProfile_ISD_P_AID;
-
-
-
-	tracenamestr = "测试目的：通过未知的ISD-P AID去失效profile";
-	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命令，执行DisableProfileRequest，refreshFlag为 TRUE；");
-	var disableProRequest = new DisableProfileRequest();
-	disableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_AIDX);
-	disableProRequest.refreshFlag = BooleanValue_BerCode_True;
-	disableProRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(disableProRequest.hexData,"91","00","9000");
-	curStrHandle.CheckData("BF3203800101", respData, "DisableProfileResponse");
-
-
-  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);
-	}
-
-	RecoverCard();
-
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4，Test Sequence #01 unknown ISD-P AID; #02 unknown ICCID; #03 disable when Disabled (ISD-P AID); #04 disable when Disabled (ICCID); #05 PPR1 set (ISD-P AID); #06 PPR1 set (ICCID); #07 catBusy refreshFlag not set; #08 catBusy refreshFlag set，适用性 M。
+// Test points: S1-C1 SW；S1-C2 disableResult iccidOrAidNotFound；S2-C1 SW
+//   S2-C2 contains PROFILE_INFO1；S2-C3 contains entries1 iccid 989209012143658709F5；S3-C1 SW
+//   S3-C2 disableResult iccidOrAidNotFound；S4-C1 SW；S4-C2 contains PROFILE_INFO1
+//   S4-C3 contains entries1 iccid 989209012143658709F5；S5-C1 SW
+//   S5-C2 disableResult profileNotInEnabledState；S6-C1 SW；S6-C2 contains PROFILE_INFO1_DISABLED
+//   S6-C3 contains entries1 iccid 989209012143658709F5；S7-C1 SW
+//   S7-C2 disableResult profileNotInEnabledState；S8-C1 SW；S8-C2 contains PROFILE_INFO1_DISABLED
+//   S8-C3 contains entries1 iccid 989209012143658709F5；S9-C1 SW
+//   S9-C2 disableResult disallowedByPolicy；S10-C1 SW；S10-C2 contains PROFILE_INFO4_ENABLED
+//   S10-C3 contains entries1 iccid 989209015476981032F9；S11-C1 SW
+//   S11-C2 disableResult disallowedByPolicy；S12-C1 SW；S12-C2 contains PROFILE_INFO4_ENABLED
+//   S12-C3 contains entries1 iccid 989209015476981032F9；S13-C1 SW in 9000/91XX
+//   S13-C2 disableResult catBusy；S14-C1 proactive command envelope；S15-C1 SW；S16-C1 SW
+//   S16-C2 contains PROFILE_INFO1；S16-C3 contains entries1 iccid 989209012143658709F5
+//   S17-C1 SW in 9000/91XX；S17-C2 disableResult catBusy；S18-C1 proactive command envelope；S19-C1 SW
+//   S20-C1 SW；S20-C2 contains PROFILE_INFO1；S20-C3 contains entries1 iccid 989209012143658709F5
+// 本函数由 CaseIR 4.2.22.2.4 编译生成（fullwave-blindgen-live-70-W1-A3，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 环境前置承担。
+// PRECONDITION (declared, NOT compiled): initial_conditions 缺语料过程体（Annex C.2 absent from input package, corpus vacuum）: IC 序列属测试工具/卡态编排责任，本脚本不虚构初始化步骤；语义影响见 CaseIR open_items。
+// GIC1 The PROFILE_OPERATIONAL1 has been installed on the eUICC.（Seq#5/#6 以 'PROFILE_OPERATIONAL1 is not loaded' 覆盖本条）: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq01-IC PROFILE_OPERATIONAL1 is Enabled; corresponds to <ISD_P_AID1>; the Operational Profile identified by <ISD_P_AIDX> is not loaded. IC1=PROC_EUICC_INITIALIZATION_SEQUENCE; IC2=PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR.: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq02-IC PROFILE_OPERATIONAL1 is Enabled; the Operational Profile identified by ICCID #ICCID_OP_PROFX is not loaded. IC1/IC2 同上。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq03/04-IC PROFILE_OPERATIONAL1 is Disabled on the eUICC（Seq03 另记 corresponds to <ISD_P_AID1>）。IC1/IC2 同上。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq05/06-IC PROFILE_OPERATIONAL1 is not loaded（覆盖 GIC）；PROFILE_OPERATIONAL4 installed and Enabled（Seq05 另记 corresponds to <ISD_P_AID4>）。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// Seq07/08-IC PROFILE_OPERATIONAL1 is Enabled（Seq07 另记 corresponds to <ISD_P_AID1>）；IC3: S_Device → eUICC MTD_SEND_SMS_PP([GET_MNO_SD]) → SW=0x91XX（开启 proactive session）；IC4: Do not send FETCH command。: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+// PREFLIGHT_CONTEXT AUTHORIZED_DISCOVERY: declared unexpanded (no fabricated bytes; provenance = expansion_source).
+function TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged");
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain; context_lineage: {"context_id": "f3b0c696af229268", "authority_reference": "E_tc_4222/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});
+    // runtime-bound payload: ISD_P_AID4 stays in execution domain; context_lineage: {"context_id": "f3b0c696af229268", "authority_reference": "E_tc_4222/1-1/G_annexB_dynamic:L52"}
+    var cardCtxLoad2 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID4", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+    // runtime-bound payload: ISD_P_AIDX stays in execution domain; context_lineage: {"context_id": "f3b0c696af229268", "authority_reference": "E_tc_4222/1-1/G_annexB_dynamic:L55"}
+    var cardCtxLoad3 = BindCardContext.load(bind, profileAidSession, "ISD_P_AIDX", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN});
+
+    // 步骤 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");
+
+    // 步骤 2：Seq#01 Step1] MTD_STORE_DATA（tc_step；REQ: RQ32_031, RQ32_032, RQ57_142_2, RQ57_142_3, RQ57_142_4, RQ57_142_15, RQ57_149, RQ57_150）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    // runtime-bound payload: ISD_P_AIDX stays in execution domain
+    var s2 = bind.sendApdu(null, "E2", "91", "00", BindEs10xProcProfileDynamic.bindProfileAidTemplate(bind, "ISD_P_AIDX", "BF32154F10", "0101FF", profileAidSession), "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s2.sw);
+    BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AIDX", s2.cmd, profileAidSession);
+    var r2w2 = BindGecaProc.parseGecaResponse(s2.resp, {outer: "BF32", required: ["80"]});
+    bind.checkData("S1-C2 disableResult iccidOrAidNotFound", "01", (r2w2.ok && r2w2.fields["80"] === "01") ? "01" : (r2w2.fields["80"] || "absent"));
+
+    // 步骤 3：Seq#01 Step2] MTD_STORE_DATA（tc_step；REQ: RQ32_031, RQ32_032, RQ57_142_2, RQ57_142_3, RQ57_142_4, RQ57_142_15, RQ57_149, RQ57_150）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    // runtime-bound payload: ISD_P_AID1 stays in execution domain
…（差异行超限，共 813 行，此处截断）
```

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

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

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

- 命令计数：man 139 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 139，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.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4/spec_intl/SGP.23-v1.16_4.2.22.2.4_DisableProfile_ErrorCases_Case4.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-20261004_021955/caseir_materialized_gate.json`

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

| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| （前置，非规范步骤）IC 表 395：OP1 Enabled＝<ISD_P_AID1> | `initial_condition_PROFILE_OPERATIONAL1_is_Enabled()`（L10） | 通过（T1 装载链全绿：下载＋EnableProfile BF31→BF3103800100＋PIR 查证 OP1 在卡 ICCID=989 |
| IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | T2 步骤1（L16-17：`Ini_powerOn_eUICC_LPAe_not_activate()`） | 通过（复位成功＋ATR 3B9D96…，ttr L278-300） |
| IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | T2 步骤2/3（L20-21 `TS_MANAGE_CHANNEL_OPEN()`＋L25-26 `TS_SELECT("Select I | 通过（通道 01 9000＋ISD-R 9000，FCI 含 8203020500＝RSP V2.5，ttr L301-315） |
| 1 MTD_STORE_DATA(MTD_DISABLE_PROFILE(NO_PARAM, <ISD_P_AIDX>, TRUE)) → #R_DISABLE_PROFILE_ICCID_ISDP_NOTFOUND SW=0x9000 | T2 步骤4（L28-33：`DisableProfileRequest` isdpAid=ISD_P_AIDX＋refreshFlag=T | 通过（请求 `81E291001ABF3217A0124F10A0000005591010FFFFFFFF8900FFFF018101FF` |
| 2 MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AID1>)) → profileInfoListOk: {#PROFILE_INFO1} SW=0x9000 | T2 步骤5（L35-51：PIR searchCriteria=isdpAid(ISD_P_Test01)＋tagList=`5A4F9F | 通过（`81E291001DBF2D1AA0124F10A0000005591010FFFFFFFF89000011005C045A4F9F |
| （收尾，非规范步骤） | `RecoverCard()`（L53） | 通过（T3 L339-575：复位→MemoryReset→profile 列表归空→MANAGE CHANNEL CLOSE 9000，卡 |

cas CaseIR 步骤/检查：

| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | MTD_STORE_DATA( MTD_GET_PROFILE_INFO( NO_PARAM, NO_PARAM)) | [] | [] |
| 2 | [Seq#01 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(NO_PARAM, <ISD_P_AID | ["S1-C1", "S1-C2"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 3 | [Seq#01 Step2] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AI | ["S2-C1", "S2-C2", "S2-C3"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 4 | [Seq#02 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(#ICCID_OP_PROFX, NO_ | ["S3-C1", "S3-C2"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 5 | [Seq#02 Step2] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO | ["S4-C1", "S4-C2", "S4-C3"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 6 | [Seq#03 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(NO_PARAM, <ISD_P_AID | ["S5-C1", "S5-C2", "S5-C3"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 7 | [Seq#03 Step2] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AI | ["S6-C1", "S6-C2", "S6-C3"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 8 | [Seq#04 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(#ICCID_OP_PROF1, NO_ | ["S7-C1", "S7-C2", "S7-C3"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 9 | [Seq#04 Step2] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO | ["S8-C1", "S8-C2", "S8-C3"] | ["RQ32_031", "RQ32_032", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 10 | [Seq#05 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(NO_PARAM, <ISD_P_AID | ["S9-C1", "S9-C2", "S9-C3"] | ["RQ32_031", "RQ32_032", "RQ32_033", "RQ32_034", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150", "RQ57_141", "RQ57_142", "RQ29_002", "RQ29_022"] |
| 11 | [Seq#05 Step2] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AI | ["S10-C1", "S10-C2", "S10-C3"] | ["RQ32_031", "RQ32_032", "RQ32_033", "RQ32_034", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 12 | [Seq#06 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(#ICCID_OP_PROF4, NO_ | ["S11-C1", "S11-C2", "S11-C3"] | ["RQ32_031", "RQ32_032", "RQ32_033", "RQ32_034", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150", "RQ29_002", "RQ29_022"] |
| 13 | [Seq#06 Step2] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF4, NO | ["S12-C1", "S12-C2", "S12-C3"] | ["RQ32_031", "RQ32_032", "RQ32_033", "RQ32_034", "RQ57_142_2", "RQ57_142_3", "RQ57_142_4", "RQ57_142_15", "RQ57_149", "RQ57_150"] |
| 14 | [Seq#07 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(NO_PARAM, <ISD_P_AID | ["S13-C1", "S13-C2", "S13-C3"] | ["RQ57_142"] |
| 15 | [Seq#07 Step2] FETCH 'XX' | ["S14-C1"] | [] |
| 16 | [Seq#07 Step3] TERMINAL RESPONSE | ["S15-C1"] | [] |
| 17 | [Seq#07 Step4] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AI | ["S16-C1", "S16-C2", "S16-C3"] | [] |
| 18 | [Seq#08 Step1] MTD_STORE_DATA(MTD_DISABLE_PROFILE(#ICCID_OP_PROF1, NO_ | ["S17-C1", "S17-C2", "S17-C3"] | ["RQ57_142_10"] |
| 19 | [Seq#08 Step2] FETCH 'XX' | ["S18-C1"] | [] |
| 20 | [Seq#08 Step3] TERMINAL RESPONSE | ["S19-C1"] | [] |
| 21 | [Seq#08 Step4] MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO | ["S20-C1", "S20-C2", "S20-C3"] | [] |

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

- cas：`GAPS_FOUND`（全步有检查=False；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 50 项 / 生成体 checkData 44 次 / S 标号重合 44 / 计数缺口 6 / 形态 `DEFICIT`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 44 + binding 6 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
  - binding 覆盖示例：`S5-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion；`S7-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion；`S9-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion；`S11-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion；`S13-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion
- cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S11-C3', 'S13-C3', 'S17-C3', 'S5-C3', 'S7-C3', 'S9-C3']
- man：映射行 6；TTR 期望/实际回声 232；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - 本 TC 为 Case4 形态：DisableProfile 错误以响应数据（DisableProfileResponse.disableResult）返回，SW 保持 0x9000（catBusy 序列允许 0x9000 or 0x91XX）；与 4.2.22.2.2（Case3，错误以 SW=6A82/6985/9300 返回）互为对照。
  - PROC_EUICC_INITIALIZATION_SEQUENCE / PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR 展开属 Annex C.2，不在输入包 → 按 IC 登记。
  - Seq#7/#8 IC3（MTD_SEND_SMS_PP([GET_MNO_SD])；[GET_MNO_SD] APDU 模板在 J_annexD4_apdu：CLA=80 INS=F2 P1=80 P2=02 Data=4F00 LE=00）与 IC4（不 FETCH 保持会话挂起）属卡态编排前置。
  - C032/C036 条件定义文本不在输入包（C_conditional_codes 仅 C001-C018）→ Seq#7/#8 适用性条件按 B_applicability_rows 原文登记。
  - TERMINAL RESPONSE 由测试工具按 proactive 命令动态生成（D_tc_structure_notation 2.2.2.4），未编固定字节。
  - DisableProfileRequest/ProfileInfoListRequest DER：ASN.1 标签号语料真空，全部 null。

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 |
| `GEN_DIFF` | 139 | 命令序列差：man-only 139 / cas-only 0 |
| `EVIDENCE_MISSING` | 1 | cas 断言缺失：无检查步 [1]；未映射步 [] |

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

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

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4/logs/20260908_234520_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_Error_Disable_Profile_by_an_unknown_ISD_P_AID.ttr`
- cas 包/源：`../../packages/cas/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-20261004_021955/logs/9e93cc89_gapfix1/result/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4/TC_eUICC_ES10c_DisableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4/spec_intl/SGP.23-v1.16_4.2.22.2.4_DisableProfile_ErrorCases_Case4.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.22.2.4-TC_eUICC_ES10c.DisableProfile_ErrorCases_Case4-20261004_021955/caseir_materialized_gate.json`
- step_map：`—`

