4.2.22.2.3 ES10c 停用 Profile（Case 4）
TC_eUICC_ES10c.DisableProfile_Case4
-man 人工切片
- 终态
- ok `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行）
- ErrorCount
- 0
- 执行 job
- 20260908_232512_ok:f86927327897472397cfeafae8cddbcb
- html_run
- 20261007_134729
- 包 sha256
- 2229bf12863ba76b…
- 包大小
- 244.5 KB
日志源（切片目录内相对路径）：logs/20261007_134729/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html
-cas 盲生成
- 终态
- failed preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=False）；native 零装载阻断；如例行登记阻断终态
- ErrorCount
- 1
- 执行 job
- a3a699490583450da9c64274333bd118
- html_run
- a3a69949_gapfix1
- 包 sha256
- 13f02548b611356f…
- 包大小
- 838.3 KB
- 判定
- ATTEMPT_NATIVE(expect blocked_card_state)
- 路由
- native_N1_blocked
- 状态轴
- execution=not_run(zero_load) / place=blocked(preflight_context) / release=not_ready / card_state=n/a
差异概览（机械口径）
闭包文件层（l1）
man 34 / cas 82 个 JS；共同 31，一致 30，man-only 3，cas-only 51
命令序列层（l2）
man 149 / cas 0 条命令；完全一致 0，核心一致 0，长度尾部差 0，man-only 149，cas-only 0
规范覆盖（l3）
spec_steps 5，缺失 REQ 0 项，checkData 120 次，计数缺口 0，物化 FULL，执行 FAIL
断言自证（attestation）
js 断言 120 条 / 绑定层 0 条 / 缺口 0
机械差异分类
| 轴 | 说明 | 计数 |
|---|---|---|
| RUN_DIFF | man 通过 / cas 失败 | 1 |
| SCRIPT_DIALECT | 闭包文件差：man-only 3 / cas-only 51 | 54 |
| GEN_DIFF | 命令序列差：man-only 149 / cas-only 0 | 149 |
对比报告
4.2.22.2.3 TC_eUICC_ES10c.DisableProfile_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.3-TC_eUICC_ES10c.DisableProfile_Case4-man.zip | 2229bf12863ba76ba36e6b77616d0697dea7de389b141ecb82b5b65977a4fb7e | zip | TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset |
-cas | 4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-cas.zip | 13f02548b611356feb57e8f195b6dbf8b6d126f9e67f2d44328158c23fc2ff93 | zip | — |
- man 源路径：
../packages/man/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-man.zip - cas 源路径：
../packages/cas/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_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_232512_ok:f86927327897472397cfeafae8cddbcb | — | /Users/yuhu/cas/原料/切片/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4/logs/20260908_232512_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr | — |
-cas | failed | preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=F | 1 | a3a699490583450da9c64274333bd118 | — | /Users/yuhu/cas/experiments/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-20261004_022635/logs/a3a69949_gapfix1/result/TC_eUICC_ES10c_DisableProfile_Case4/TC_eUICC_ES10c_DisableProfile_Case4_01_10_Nominal_all_10_sequences.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=a3a699490583450da9c64274333bd118；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/4.2.22.2.3/man/TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html；sha2566008a1adc4b304b4cfb3af3f5b1773ce303b05f42ec11f61acc5b4ddbb5035c1；331798 bytes）-cas：NATIVE（../evidence/4.2.22.2.3/cas/TC_eUICC_ES10c_DisableProfile_Case4.html；sha256a07f792b37ea2415895cd649b3ec0a601fb13dcc7953b2f30b4939a221bb9c04；1265 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 860 / cas 725；字符：man 34715 / cas 58923
- man 顶层调用 Top：[["TestStepStart2", 102], ["CheckData", 46], ["ChoiceObj", 20], ["GenHexData", 20], ["LPAd_Transport_data_to_eUICC", 20], ["TS_MANAGE_CHANNEL_OPEN", 18], ["TS_SELECT", 18], ["Ini_powerOn_eUICC_LPAe_not_activate", 14], ["SubLevel", 12], ["SendAPDU", 12]]
- cas bind 调用：[["checkData", 120], ["sendApdu", 56], ["terminalResponseForPending", 10], ["fetchPending", 8], ["runToSteadyState", 7], ["sendTerminalProfile", 7], ["manageChannelOpen", 7], ["resetAndAtr", 5]]
| 方言映射对 | 命中数 |
|---|---|
| SendAPDU() ↔ bind.sendApdu() | 12 |
| CheckData() ↔ bind.checkData() | 5 |
| TS_*_cmd() ↔ bind.* 命令封装 | 38 |
unified diff（截断预览）
--- man
+++ cas
@@ -1,859 +1,724 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_DisableProfile_Case4_02_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_DisableProfile_Case4_03_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_DisableProfile_Case4_04_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_DisableProfile_Case4_05_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_not_set + TC_eUICC_ES10c_DisableProfile_Case4_06_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_not_set + TC_eUICC_ES10c_DisableProfile_Case4_07_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case4_08_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case4_09_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_sessionisongoing_withTerminalResponseoutstanding_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case4_10_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_sessionisongoing_withTerminalResponseoutstanding_catBusynotsupported (extracted verbatim)
-
-function TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset()
-{
- initial_condition_PROFILE_OPERATIONAL1_is_Enabled();
- var ISD_P_Test01 = curProfile_ISD_P_AID;
-
- tracenamestr = "测试目的：设备支持 “UICC Reset”，通过ISD-P AID去失效profile，并设置refreshFlag";
- 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为FF；");
- var disableProRequest = new DisableProfileRequest();
- disableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_Test01);
- disableProRequest.refreshFlag = BooleanValue_BerCode_True;
- disableProRequest.GenHexData();
- var respData = LPAd_Transport_data_to_eUICC(disableProRequest.hexData,"91","00","91XX");
-
- curStrHandle.CheckData("BF3203800100", respData, "DisableProfileResponse");
-
- curLogicChannel = 0;
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 Fetch命令，主动式命令refresh；");
-
- FetchStr = Fetch("","9000","");
-
- var CmdDetails = GetValueByTag("01",1);
- var CmdQualifier = CmdDetails.substr(4,2);
- CheckData("04",CmdQualifier,"the command qualifier is equal to ’04’ (UICC Reset)");
-
- 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命令，执行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_DISABLED, proInfoListResponse.profileInfoListOk.arrOfElement[0].profileState, "profile State");
- }catch(e){
- obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error);
- }
-
- curLogicChannel = 0;
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 Select命令，选择ICCID；");
- var para1 = new SelectFileEFPara_3G("2FE2");
- para1.apdu.ressw = "6A82";
- SendAPDU(para1.apdu);
-
- RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261005-152741
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DisableProfile_Case4，Test Sequence #01-#10 Nominal (all 10 sequences)，适用性 M。
+// Test points: ICH-SEQ01-IC1-K1-C1 ATR_present；ICH-SEQ01-IC1-K2-C2 FCP_Template
+// ICH-SEQ01-IC1-K2-C4 SW；ICH-SEQ01-IC1-K3-C4 SW；ICH-SEQ01-IC1-K4-C4 final SW
+// ICH-SEQ01-IC2-K1-C4 SW；ICH-SEQ01-IC2-K1-C3 CHANNEL_NUMBER extracted；ICH-SEQ01-IC2-K2-C4 SW
+// S1-C1 SW1 91；S1-C2 disableResult ok；S2-C1 proactive command envelope；IC4-IC1-K1-C1 ATR_present
+// IC4-IC1-K2-C2 FCP_Template；IC4-IC1-K2-C4 SW；IC4-IC1-K3-C4 SW；IC4-IC1-K4-C4 final SW
+// IC4-IC2-K1-C4 SW；IC4-IC2-K1-C3 CHANNEL_NUMBER extracted；IC4-IC2-K2-C4 SW；S4-C1 SW
+// S4-C2 contains PROFILE_INFO1_DISABLED；S5-C1 SW；S6-C1 SW1 91；S6-C2 disableResult ok
+// S7-C1 proactive command envelope；IC9-IC1-K1-C1 ATR_present；IC9-IC1-K2-C2 FCP_Template
+// IC9-IC1-K2-C4 SW；IC9-IC1-K3-C4 SW；IC9-IC1-K4-C4 final SW；IC9-IC2-K1-C4 SW
+// IC9-IC2-K1-C3 CHANNEL_NUMBER extracted；IC9-IC2-K2-C4 SW；S9-C1 SW
+// S9-C2 contains PROFILE_INFO1_DISABLED；S10-C1 SW；S11-C1 SW1 91；S11-C2 disableResult ok
+// S12-C1 proactive command envelope；S13-C1 SW；IC15-IC1-K2-C2 FCP_Template；IC15-IC1-K2-C4 SW
+// IC15-IC1-K3-C4 SW；IC15-IC1-K4-C4 final SW；IC16-IC2-K1-C4 SW
+// IC16-IC2-K1-C3 CHANNEL_NUMBER extracted；IC16-IC2-K2-C4 SW；S16-C1 SW
+// S16-C2 contains PROFILE_INFO1_DISABLED；S17-C1 SW；S18-C1 SW1 91；S18-C2 disableResult ok
+// S19-C1 proactive command envelope；S20-C1 SW；IC22-IC1-K2-C2 FCP_Template；IC22-IC1-K2-C4 SW
+// IC22-IC1-K3-C4 SW；IC22-IC1-K4-C4 final SW；IC23-IC2-K1-C4 SW
+// IC23-IC2-K1-C3 CHANNEL_NUMBER extracted；IC23-IC2-K2-C4 SW；S23-C1 SW
+// S23-C2 contains PROFILE_INFO1_DISABLED；S24-C1 SW；S25-C1 SW；S25-C2 disableResult ok；S26-C1 SW
+// S26-C2 contains PROFILE_INFO1_DISABLED；S27-C1 SW；S28-C1 SW；S28-C2 disableResult ok；S29-C1 SW
+// S29-C2 contains PROFILE_INFO1_DISABLED；S30-C1 SW；S31-C1 SW1 91；S32-C1 SW1 91
+// S32-C2 DisableResult ok；S33-C1 proactive command envelope；IC35-IC1-K1-C1 ATR_present
+// IC35-IC1-K2-C2 FCP_Template；IC35-IC1-K2-C4 SW；IC35-IC1-K3-C4 SW；IC35-IC1-K4-C4 final SW
+// IC35-IC2-K1-C4 SW；IC35-IC2-K1-C3 CHANNEL_NUMBER extracted；IC35-IC2-K2-C4 SW；S35-C1 SW
+// S35-C2 contains PROFILE_INFO1_DISABLED；S36-C1 SW；S37-C1 SW1 91；S38-C1 SW
+// S38-C2 DisableResult ok；S39-C1 SW；S39-C2 contains PROFILE_INFO1_DISABLED；S40-C1 SW
+// S41-C1 SW1 91；S42-C1 proactive command envelope；S43-C1 SW；S43-C2 DisableResult ok；S44-C1 SW1 91
+// S45-C1 proactive command envelope；IC47-IC1-K1-C1 ATR_present；IC47-IC1-K2-C2 FCP_Template
+// IC47-IC1-K2-C4 SW；IC47-IC1-K3-C4 SW；IC47-IC1-K4-C4 final SW；IC47-IC2-K1-C4 SW
+// IC47-IC2-K1-C3 CHANNEL_NUMBER extracted；IC47-IC2-K2-C4 SW；S47-C1 SW
+// S47-C2 contains PROFILE_INFO1_DISABLED；S48-C1 SW；S49-C1 SW1 91
+// S50-C1 proactive command envelope；S51-C1 SW；S51-C2 DisableResult ok；S52-C1 SW1 != 91；S53-C1 SW
+// S53-C2 contains PROFILE_INFO1_DISABLED；S54-C1 SW
+// 本函数由 CaseIR 4.2.22.2.3 编译生成（fullwave-blindgen-live-70-W1-laneA2，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_DisableProfile_Case4_01_10_Nominal_all_10_sequences() {
…（差异行超限，共 1585 行，此处截断）- man：
ESIM_TEST_SGP_23.UCE；入口 [('TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset', 'TC_eUICC_ES10c.DisableProfile_Case4', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：
TC_eUICC_ES10c_DisableProfile_Case4/TC_eUICC_ES10c_DisableProfile_Case4.uce；入口 [('TC_eUICC_ES10c_DisableProfile_Case4_01_10_Nominal_all_10_sequences', 'TC_eUICC_ES10c_DisableProfile_Case4', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_DisableProfile_Case4_01_10_Nominal_all_10_sequences)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
5. L2 步骤/APDU/step_map 差异（结构化对齐）
- 命令计数：man 149 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 149，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.3-TC_eUICC_ES10c.DisableProfile_Case4/spec_intl/SGP.23-v1.16_4.2.22.2.3_DisableProfile_Case4.md（风格：table）；caseir：
/Users/yuhu/cas/experiments/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-20261004_022635/caseir_materialized_gate.json
| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA(MTD_DISABLE_PROFILE(NO_PARAM, <ISD_P_AID1>, TRUE)) | 1 | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_149", "RQ57_150", "RQ24_010"] | ["S1-C1", "S1-C2"] | ["RQ24_010", "RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_12", "RQ57_142_2", "RQ57_142_3", "RQ57_149", "RQ57_150"] | 步骤4（L23-30：DisableProfileRequest ISD-P AID＋refreshFlag=FF、 | 通过（请求 81E291001ABF3217A0124F10A0000005591010FFFFFFFF89000011008101FF → 实际 SW=910B ∈ 91XX、DisableProfileResponse 期望 BF3203800100＝实际，ttr L315-323） |
| 2 | FETCH 'XX' | 1 | ["RQ32_038", "RQ32_039", "RQ32_039_1", "RQ32_041_2", "RQ57_142_13", "RQ57_142_14", "RQ57_147"] | ["S2-C1"] | ["RQ32_038", "RQ32_039", "RQ32_039_1", "RQ32_041_2", "RQ57_142_13", "RQ57_142_14", "RQ57_147"] | 步骤5（L33-39：FETCH 9000＋CmdQualifier 断言 '04'） | 通过（FETCH D009810301010482028182，qualifier 期望 04＝实际 04，ttr L324-332） |
| 3 | 0 | [] | [] | [] | 步骤6-8（L42-50） | 通过（复位 ATR 再现，ttr L333-368） | |
| 4 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AID1>)) | 1 | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_149", "RQ57_150", "RQ24_010"] | ["S4-C1", "S4-C2"] | ["RQ24_010", "RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_12", "RQ57_142_2", "RQ57_142_3", "RQ57_149", "RQ57_150"] | 步骤9（L52-69：tagList 5A4F9F70＋三字段断言） | 通过（→ 9000；ICCID/ISD-P AID 相等，state 期望 00＝实际 00（DISABLED 翻转生效），ttr L369-383） |
| 5 | [SELECT_ICCID] | 1 | ["RQ24_025"] | ["S5-C1"] | ["RQ24_025"] | 步骤10（L72-75：Select EF 2FE2，para1.apdu.ressw = "6A82"） | 通过（00A4000C022FE2 → 实际 6A82＝期望（去失效后 EF 不可选，与 Enable 镜像 9000 互证），ttr L384-388） |
6.1 充分性分析（启发式，不作最终裁定）
- cas：
NO_MECHANICAL_GAPS（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 66 项 / 生成体 checkData 120 次 / S 标号重合 66 / 计数缺口 0 / 形态
FULL；执行面FAIL（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - cas 编译器自证（check_attestation，同批构建）：声明 None = js 120 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- man：mapping 行 9 / 规范步 5；TTR 期望/实际回声 242；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
- <ISD_P_AID1> 为安装期动态值（G_annexB 行51 给取值范围），由 IC 编排建立对应关系。
- C033/C037 条件文本不在输入包，SEQ07-10 适用性依赖无法判定。
- SEQ01-04 FETCH 步 REQ 列引用 RQ57_147，但该 REQ 行不在输入包 req_segments（仅 23 行），rq57_147 语料真空，已按 REQ 列原文照抄入 req_ids。
- REFRESH 命令编码字节（TS 102 223 clause 6.4）不在输入包，断言止步于命令模式。
- TERMINAL RESPONSE 由测试工具动态生成（D 2.2.2.4）；MTD_SEND_SMS_PP 信封含 SCP80 动态要素，字节不固化。
- 每个测试序列执行后须执行 clean-up（CU）恢复 Common Initial State（D_tc_structure_notation 行50），编排责任。
7. 分类结论（封闭枚举）
| 轴 | 计数 | 说明 |
|---|---|---|
RUN_DIFF | 1 | man 通过 / cas 失败 |
SCRIPT_DIALECT | 54 | 闭包文件差：man-only 3 / cas-only 51 |
GEN_DIFF | 149 | 命令序列差：man-only 149 / cas-only 0 |
- 置信度：heuristic；需人工复核：False
8. 证据路径
- man 包：
../packages/man/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-man.zip - man TTR：
/Users/yuhu/cas/原料/切片/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4/logs/20260908_232512_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_Case4_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr - cas 包/源：
../packages/cas/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-cas.zip - cas TTR：
/Users/yuhu/cas/experiments/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-20261004_022635/logs/a3a69949_gapfix1/result/TC_eUICC_ES10c_DisableProfile_Case4/TC_eUICC_ES10c_DisableProfile_Case4_01_10_Nominal_all_10_sequences.ttr - spec_intl：
/Users/yuhu/cas/原料/切片/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4/spec_intl/SGP.23-v1.16_4.2.22.2.3_DisableProfile_Case4.md - caseir：
/Users/yuhu/cas/experiments/4.2.22.2.3-TC_eUICC_ES10c.DisableProfile_Case4-20261004_022635/caseir_materialized_gate.json - step_map：
—