# 4.2.24.2.1 TC_eUICC_ES10c.eUICCMemoryReset — `-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.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-man.zip | `03195b719fe3920ed0affd883aeb1d64212a8fee77dc042ef0e1cab007954fc8` | zip | TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile |
| `-cas` | 4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-cas.zip | `a8efadb663a3505c8c59b1e113006f005750b03cdf36a30cec39cac8c929a58f` | zip | — |

- man 源路径：`../../packages/man/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-man.zip`
- cas 源路径：`../../packages/cas/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-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 (序列#01-#04) / C039 (序列#05、#06)`

## 2. 执行摘要（双方 job/终态）

| 侧 | 终态/计划 | 备注 | ErrorCount | job_id | 业务状态 | TTR | 诊断包 |
|---|---|---|---|---|---|---|---|
| `-man` | `ok` | `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行） | 0 | `20260908_234557_ok:cc79665a28d3401b95a4d2b7dc13a9d9` | — | `/Users/yuhu/cas/原料/切片/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset/logs/20260908_234557_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile.ttr` | `—` |
| `-cas` | `failed` | 纯 native 零卡态前置（N0） | 413 | `365ff168bbeb42999fb1728d7ec8fec9` | — | `/Users/yuhu/cas/experiments/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-20261004_022636/logs/365ff168_gapfix1/result/TC_eUICC_ES10c_eUICCMemoryReset/TC_eUICC_ES10c_eUICCMemoryReset_01_06_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`cas_gapfix_rerun`；job=`365ff168bbeb42999fb1728d7ec8fec9`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 failed（error_count=4）；failed 亦为有效终态，如实登记"]
- cas 失败归因引用（块4）：`b7-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.24.2.1/man/TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile.html`；sha256 `646fa4ebd9c8eeddf8b0e6c5bcb80b25c47c6681c6454389754593540b16efd5`；395211 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.24.2.1/cas/TC_eUICC_ES10c_eUICCMemoryReset_01_06_merged.html`；sha256 `fa364982d9f61deeccb914a911c5d3f073b077d41cc1aa9e6cef5c2e2998aaa0`；141901 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 588 / cas 791；字符：man 23852 / cas 59167
- man 顶层调用 Top：[["CheckData", 69], ["TestStepStart2", 58], ["LPAd_Transport_data_to_eUICC", 25], ["toString", 25], ["parseInt", 12], ["checkCardResDataFormat", 10], ["Ini_powerOn_eUICC_LPAe_not_activate", 9], ["TS_MANAGE_CHANNEL_OPEN", 9], ["TS_SELECT", 9], ["EuiccMemoryResetRequest", 7]]
- cas bind 调用：[["checkData", 128], ["sendApdu", 53], ["resetAndAtr", 9], ["runToSteadyState", 9], ["sendTerminalProfile", 9], ["manageChannelOpen", 9], ["terminalResponseForPending", 6], ["fetchPending", 5]]

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

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

```diff
--- man
+++ cas
@@ -1,587 +1,790 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile + TC_eUICC_ES10c_eUICCMemoryReset_02_Nominal_Reset_All_Operational_Profiles_with_Enabled_Profile + TC_eUICC_ES10c_eUICCMemoryReset_03_Nominal_Reset_the_Default_SMDP_Address_only + TC_eUICC_ES10c_eUICCMemoryReset_04_Nominal_Reset_All_Operational_Profiles_and_the_Default_SMDP_Address + TC_eUICC_ES10c_eUICCMemoryReset_05_Nominal_eUICCMemoryReset_when_this_Operational_Profile_is_in_Enabled_state_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_eUICCMemoryReset_06_Nominal_eUICCMemoryReset_when_this_Profile_is_in_Enabled_state_while_proactive_sessionisongoing_catBusynotsupported (extracted verbatim)
-
-function TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile()
-{
-	initial_condition_Start();
-
-	initial_condition_Install_PROFILE_OPERATIONAL1();
-
-	initial_condition_Set_SMDP_Address(TEST_DP_ADDRESS1);
-
-	initial_condition_Install_PROFILE_OPERATIONAL3();
-
-	initial_condition_set_Profile_Nickname("读卡器向卡片发送 StoreData命令，执行SetNickname，profileNickname为NICKNAME3；", ICCID_OP_PROF3, NICKNAME3);
-
-	initial_condition_Remove_All_Notification();
-
-	tracenamestr = "测试目的：没有处于激活状态的profile，重置所有的Operational 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命令，执行GET_EUICC_INFO2，获取卡片的剩余不可变空间大小；");
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
-
-	var euiccInfo2 = new EUICCInfo2();
-	euiccInfo2.checkCardResDataFormat(hexData);
-	var FREE_MEM_OP_PROF_INSTALLED = 0;
-	try
-	{
-		var extCardResourceObj = new ExtendedCardResource();
-		extCardResourceObj.SetHexData(euiccInfo2.extCardResource);
-		FREE_MEM_OP_PROF_INSTALLED = parseInt(extCardResourceObj.FreeNonVolatileMemory, 16);
-	}catch(e){
-		obj.SubLevel(display_rsp_card_data_format_check_fail, level_of_SubLevel.error);
-	}
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行EuiccMemoryResetRequest，删除OperationalProfile；");
-	var euiMemoryResetRequest = new EuiccMemoryResetRequest();
-	euiMemoryResetRequest.resetOptions = "0780";
-	euiMemoryResetRequest.GenHexData();
-	var respData = LPAd_Transport_data_to_eUICC(euiMemoryResetRequest.hexData);
-	curStrHandle.CheckData("BF3403800100", respData, "EuiccMemoryResetResponse");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_PROFILES_INFO_ALL，期望返回列表为空；");
-	var respData = LPAd_Transport_data_to_eUICC(RetrieveProfileInfoAll);
-	curStrHandle.CheckData(ProfileInfoListResponse_empty, respData, "ProfileInfoListResponse");
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，LIST_NOTIF_ALL；");
-	var resdata = LPAd_Transport_data_to_eUICC(listNotificationAllRequest);
-	var listNotificationResponse = new ListNotificationResponse();
-	listNotificationResponse.checkCardResDataFormat(resdata);
-
-	Max_seqNumber_Of_Notification ++;
-	var arr1 = listNotificationResponse.notificationMetadataList.arrOfElement;
-	curStrHandle.CheckData("1", arr1.length.toString(), "Number of Notification");
-
-	if (arr1.length >= 1)
-	{
-		curStrHandle.CheckData(Max_seqNumber_Of_Notification.toString(), parseInt(arr1[0].seqNumber,16).toString(), "seqNumber");
-		curStrHandle.CheckData("0410", arr1[0].profileManagementOperation, "profileManagementOperation");
-		curStrHandle.CheckData(TEST_DP_ADDRESS1, arr1[0].notificationAddress, "notificationAddress");
-		curStrHandle.CheckData(ICCID_OP_PROF1, arr1[0].iccid, "iccid");
-	}
-
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GET_EUICC_INFO2，获取卡片的剩余不可变空间大小，剩余不可变空间应变大；");
-	var hexData = LPAd_Transport_data_to_eUICC(GetEuiccInfo2RequestHexStr);
-	var euiccInfo2 = new EUICCInfo2();
-	euiccInfo2.checkCardResDataFormat(hexData);
-
-	var FREE_MEMORY_NO_PROFILE = 0;
-	try
-	{
-
-		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);
-	}
-
-	if (FREE_MEMORY_NO_PROFILE > FREE_MEM_OP_PROF_INSTALLED)
-		obj.SubLevel("删除后的卡片剩余不可变空间变大了", 1);
-	else
-		obj.SubLevel("删除后的卡片剩余不可变空间没有变大", 0);
-
-		obj.SubLevel("euiccInfo2.extCardResource.FreeNonVolatileMemory"+euiccInfo2.extCardResource.FreeNonVolatileMemory,1);
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_EUICC_CONFIGURED_ADDRESSES，检查defaultDpAddress应没有改变；");
-	var hexData = LPAd_Transport_data_to_eUICC(EuiccConfiguredAddressesRequestHexStr);
-	var resObj = new EuiccConfiguredAddressesResponse();
-	resObj.checkCardResDataFormat(hexData);
-
-	curStrHandle.CheckData(TEST_DP_ADDRESS1, resObj.defaultDpAddress, "defaultDpAddress");
-	curStrHandle.CheckData(TEST_ROOT_DS_ADDRESS, resObj.rootDsAddress, "rootDsAddress");
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-143902
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.eUICCMemoryReset，Test Sequence #01-#06 (Nominal: Reset OP without/with Enabled Profile / Reset Default SM-DP+ Address only / Reset All / catBusy not supported ×2)，适用性 M (序列#01-#04) / C039 (序列#05、#06)。
+// Test points: IC1-IC1-K1-C1 ATR_present；IC1-IC1-K2-C2 FCP_Template；IC1-IC1-K2-C4 SW
+//   IC1-IC1-K3-C4 SW；IC1-IC1-K4-C4 final SW；IC2-IC2-K1-C4 SW；IC2-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC2-IC2-K2-C4 SW；S3-C1 free non-volatile memory tag 82 present；S4-C1 SW；S4-C2 resetResult ok
+//   S5-C1 SW；S5-C2 profileInfoListOk empty；S6-C1 SW
+//   S6-C2 notificationMetadataList contains NOTIF_METADATA_DELETE1
+//   S7-C1 free non-volatile memory lower than step 7；S7-C2 free non-volatile memory tag 82 present
…（差异行超限，共 1379 行，此处截断）
```

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

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

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

- 命令计数：man 163 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 163，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.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset/spec_intl/SGP.23-v1.16_4.2.24.2.1_eUICCMemoryReset.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-20261004_022636/caseir_materialized_gate.json`

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

| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| （前置，非规范步骤）General IC＋IC 表 448：OP1 Disabled、OP3 Disabled+Nickname=#NICKNAME3、默认 DP 地址已设、无待发通知 | 六步前置链（L5-15，见上） | 通过（T1 装载/配置链全绿，ttr L10-509） |
| IC1/IC2 PROC_EUICC_INITIALIZATION_SEQUENCE＋PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | T2 步骤1-3（L21-30：`Ini_powerOn_eUICC_LPAe_not_activate()`＋`TS_MANAGE_CHA | 通过（复位＋通道 01 9000＋ISD-R 9000，ttr L510-545） |
| 1 MTD_STORE_DATA(#GET_EUICC_INFO2) → 取 tag 0x82 自由 NVM 为 <FREE_MEM_OP_PROF_INSTALLED> | T2 步骤4（L32-45：`GetEuiccInfo2RequestHexStr`＋`ExtendedCardResource.FreeN | 通过（BF20→6115/GET RESPONSE 9000，extCardResource tag82 解析在案，ttr L546-570 |
| 2 MTD_STORE_DATA(#EUICC_MEMORY_RESET_OP_PRO) → #R_EUICC_MEMORY_RESET_OK SW=0x9000 | T2 步骤5（L47-52：`EuiccMemoryResetRequest` resetOptions=`0780`＋`CheckData | 通过（`81E2910007BF340482020780` → 6106/GET RESPONSE 9000；**EuiccMemoryRe |
| 3 MTD_STORE_DATA(#GET_PROFILES_INFO_ALL) → profileInfoListOk: {} SW=0x9000 | T2 步骤6（L54-56：`RetrieveProfileInfoAll`＋`CheckData(ProfileInfoListRespo | 通过（`81E2910003BF2D00` → 9000；**`BF2D02A000` 空列表期望＝实际**，ttr L585-592/AP |
| 4 MTD_STORE_DATA(#LIST_NOTIF_ALL) → #R_LIST_NOTIF_DE1 SW=0x9000 | T2 步骤7（L58-73：ListNotificationResponse 解析＋断言通知数=1＋seqNumber／profileMan | 通过（BF2800→6134/GET RESPONSE 9000，`BF2831A02FBF2F2C800200DD810204100C16 |
| 5 MTD_STORE_DATA(#GET_EUICC_INFO2) → 自由 NVM 记为 <FREE_MEMORY_NO_PROFILE> 且大于步骤 1 值 | T2 步骤8（L76-97：二次 GetEuiccInfo2＋`FREE_MEMORY_NO_PROFILE > FREE_MEM_OP_P | 通过（二次 BF20 9000，自由空间增大判定在案，ttr L616-643/APDU622-635） |
| 6 MTD_STORE_DATA(#GET_EUICC_CONFIGURED_ADDRESSES) → #R_ES10a_GECA_DS_DP_1 SW=0x9000（默认 DP 地址不变） | T2 步骤9（L99-105：`EuiccConfiguredAddressesRequestHexStr`＋`CheckData(TEST | 通过（defaultDpAddress=TEST_DP_ADDRESS1／rootDsAddress=TEST_ROOT_DS_ADDRES |
| （收尾，非规范步骤） | `RecoverCard()`（L107） | 通过（T3 L656-786：复位→MemoryReset→列表归空→通道关闭，卡回零态） |

cas CaseIR 步骤/检查：

| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#01） | ["S1-C1"] | [] |
| 2 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#01） | ["S2-C1"] | [] |
| 3 | MTD_STORE_DATA(#GET_EUICC_INFO2)（序列#01 步1：取复位前空闲 NVM 基线） | ["S3-C1"] | [] |
| 4 | MTD_STORE_DATA(#EUICC_MEMORY_RESET_OP_PRO)（序列#01 步2：复位全部 Operational P | ["S4-C1", "S4-C2"] | ["RQ57_163", "RQ57_166", "RQ57_169", "RQ57_170", "RQ33_010"] |
| 5 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#01 步3） | ["S5-C1", "S5-C2"] | ["RQ33_011", "RQ33_008", "RQ33_012"] |
| 6 | MTD_STORE_DATA(#LIST_NOTIF_ALL)（序列#01 步4） | ["S6-C1", "S6-C2"] | ["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_167_1"] |
| 7 | MTD_STORE_DATA(#GET_EUICC_INFO2)（序列#01 步5：取复位后空闲 NVM 并比较） | ["S7-C1", "S7-C2"] | ["RQ31_027", "RQ31_028", "RQ57_051", "RQ57_052", "RQ57_054", "RQ24_020"] |
| 8 | MTD_STORE_DATA(#GET_EUICC_CONFIGURED_ADDRESSES)（序列#01 步6：默认地址未复位） | ["S8-C1", "S8-C2"] | ["RQ33_009"] |
| 9 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#02） | ["S9-C1"] | [] |
| 10 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#02） | ["S10-C1"] | [] |
| 11 | MTD_STORE_DATA(#EUICC_MEMORY_RESET_OP_PRO)（序列#02 步1：含 Enabled Profile  | ["S11-C1", "S11-C2"] | ["RQ57_163", "RQ57_166", "RQ57_169", "RQ57_170", "RQ33_010"] |
| 12 | FETCH 'XX'（序列#02 步2） | ["S12-C1"] | ["RQ57_168"] |
| 13 | Repeat IC1 and IC2（序列#02 步3：PROC_EUICC_INITIALIZATION_SEQUENCE + PROC_ | ["S13-C1"] | [] |
| 14 | MTD_STORE_DATA(#LIST_NOTIF_ALL)（序列#02 步4） | ["S14-C1", "S14-C2"] | ["RQ57_071", "RQ57_071_1", "RQ57_071_2", "RQ57_072", "RQ57_072_1", "RQ57_072_2", "RQ57_074", "RQ57_167_1", "RQ35_006"] |
| 15 | MTD_STORE_DATA(#GET_RAT)（序列#02 步5：RAT 不受复位影响） | ["S15-C1", "S15-C2"] | ["RQ29_005", "RQ57_179", "RQ57_180", "RQ57_181", "RQ57_182", "RQ57_184"] |
| 16 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#02 步6） | ["S16-C1", "S16-C2"] | ["RQ33_011", "RQ33_008", "RQ33_012"] |
| 17 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#03） | ["S17-C1"] | [] |
| 18 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#03） | ["S18-C1"] | [] |
| 19 | MTD_STORE_DATA(#EUICC_MEMORY_RESET_DEF_SMDPADDRESS)（序列#03 步1：仅复位默认 SM- | ["S19-C1", "S19-C2"] | ["RQ57_163", "RQ57_167", "RQ57_169", "RQ57_170", "RQ33_010"] |
| 20 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#03 步2：Profile 不受影响） | ["S20-C1", "S20-C2"] | [] |
| 21 | MTD_STORE_DATA(#GET_EUICC_CONFIGURED_ADDRESSES)（序列#03 步3：默认地址已复位） | ["S21-C1", "S21-C2"] | ["RQ33_008"] |
| 22 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#04） | ["S22-C1"] | [] |
| 23 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#04） | ["S23-C1"] | [] |
| 24 | MTD_STORE_DATA(#EUICC_MEMORY_RESET)（序列#04 步1：复位全部 Operational Profiles | ["S24-C1", "S24-C2"] | ["RQ57_163", "RQ57_166", "RQ57_167", "RQ57_169", "RQ57_170", "RQ33_010"] |
| 25 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#04 步2） | ["S25-C1", "S25-C2"] | ["RQ33_011", "RQ33_008", "RQ33_012"] |
| 26 | MTD_STORE_DATA(#GET_EUICC_CONFIGURED_ADDRESSES)（序列#04 步3） | ["S26-C1", "S26-C2"] | ["RQ33_008"] |
| 27 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#05） | ["S27-C1"] | [] |
| 28 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#05） | ["S28-C1"] | [] |
| 29 | IC3: MTD_SEND_SMS_PP([GET_MNO_SD])（序列#05：建立进行中的 proactive session） | ["S29-C1"] | [] |
| 30 | IC4: Do not send FETCH command（序列#05：保持 proactive session 挂起） | [] | [] |
| 31 | MTD_STORE_DATA(#EUICC_MEMORY_RESET_OP_PRO)（序列#05 步1：proactive session  | ["S31-C1", "S31-C2"] | ["RQ33_012"] |
| 32 | FETCH 'YY'（序列#05 步2） | ["S32-C1"] | [] |
| 33 | Repeat IC1 and IC2（序列#05 步3） | ["S33-C1"] | [] |
| 34 | MTD_STORE_DATA(#LIST_NOTIF_ALL)（序列#05 步4） | ["S34-C1", "S34-C2"] | [] |
| 35 | MTD_STORE_DATA(#GET_RAT)（序列#05 步5） | ["S35-C1", "S35-C2"] | [] |
| 36 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#05 步6） | ["S36-C1", "S36-C2"] | ["RQ33_012"] |
| 37 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#06） | ["S37-C1"] | [] |
| 38 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#06） | ["S38-C1"] | [] |
| 39 | IC3: MTD_SEND_SMS_PP([GET_MNO_SD])（序列#06：建立 proactive session） | ["S39-C1"] | [] |
| 40 | FETCH 'XX'（序列#06 步1：取回 proactive 命令，POR 待回） | ["S40-C1"] | [] |
| 41 | MTD_STORE_DATA(#EUICC_MEMORY_RESET_OP_PRO)（序列#06 步2：Terminal Response  | ["S41-C1", "S41-C2"] | ["RQ33_012"] |
| 42 | TERMINAL RESPONSE（序列#06 步3） | ["S42-C1"] | [] |
| 43 | FETCH 'YY'（序列#06 步4） | ["S43-C1"] | [] |
| 44 | Repeat IC1 and IC2（序列#06 步5） | ["S44-C1"] | [] |
| 45 | MTD_STORE_DATA(#LIST_NOTIF_ALL)（序列#06 步6） | ["S45-C1", "S45-C2"] | [] |
| 46 | MTD_STORE_DATA(#GET_RAT)（序列#06 步7） | ["S46-C1", "S46-C2"] | [] |
| 47 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#06 步8） | ["S47-C1", "S47-C2"] | ["RQ33_012"] |

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

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 69 项 / 生成体 checkData 128 次 / S 标号重合 53 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 125 + binding 1 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
  - binding 覆盖示例：`S40-C1`→binding:fetch_sms_por_runtime_parse(MTD_CHECK_SMS_POR;H-annexC1)
- cas 未物化检查（绑定序列内且**完全未见**，共 15；方向性旁证，权威见上行 attestation）：含机械模式 15 项 ['S1-C1', 'S10-C1', 'S13-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S22-C1', 'S23-C1'] …；无模式 0 项 []
- cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S40-C1']
- man：映射行 9；TTR 期望/实际回声 358；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- cas 信息步（无线上断言义务）：[30]
- caseir open_items：
  - C039 条件文本不在语料包内（C_conditional_codes 段止于 C018）——序列#05/#06 适用性公式 unresolved
  - RQ35_006 被序列#02 步4 REQ 列引用（连写排版）但语料包无 REQ_RQ35_006 段——未纳入 coverage
  - PROC_EUICC_INITIALIZATION_SEQUENCE / PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR 已按 K_annexC2_procs 展开（R2 闭合）；PROC_VERIFY 类无涉及
  - GetEuiccInfo2 / ProfileInfoList / ListNotification / GetRat / EuiccConfiguredAddresses 请求 DER：S22 对应段不在本包，保持 null
  - FETCH / TERMINAL RESPONSE / SMS-PP envelope 字节为运行时动态或语料缺席（[GET_MNO_SD] APDU 形态在 J_annexD4）
  - 卡态编排责任：PROF1/PROF3 安装与状态、#TEST_DP_ADDRESS1 预设、Pending Notifications 清空

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

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 |
| `GEN_DIFF` | 163 | 命令序列差：man-only 163 / cas-only 0 |
| `EVIDENCE_MISSING` | 15 | cas 声明但未物化的检查：['S1-C1', 'S10-C1', 'S13-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S22-C1', 'S23-C1', 'S27-C1', 'S28-C1', 'S33-C1', 'S37-C1', 'S38-C1', 'S44-C1', 'S9-C1'] |

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

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

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

## 8. 证据路径

- man 包：`../../packages/man/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset/logs/20260908_234557_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_eUICCMemoryReset_01_Nominal_Reset_All_Operational_Profiles_without_Enabled_Profile.ttr`
- cas 包/源：`../../packages/cas/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-20261004_022636/logs/365ff168_gapfix1/result/TC_eUICC_ES10c_eUICCMemoryReset/TC_eUICC_ES10c_eUICCMemoryReset_01_06_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset/spec_intl/SGP.23-v1.16_4.2.24.2.1_eUICCMemoryReset.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.24.2.1-TC_eUICC_ES10c.eUICCMemoryReset-20261004_022636/caseir_materialized_gate.json`
- step_map：`—`