# 4.2.22.2.1 TC_eUICC_ES10c.DisableProfile_Case3 — `-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.1-TC_eUICC_ES10c.DisableProfile_Case3-man.zip | `4c2b38c9674199e15d6cd5dd9cd95bc861dfbe470d5262a1cc3e10bbcd2c41a9` | zip | TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset | | `-cas` | 4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-cas.zip | `d6615ab4cdbf8017d836da15b33971c157b295697e34f07ebaa78dfd8fdda41b` | zip | — | - man 源路径：`../../packages/man/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-man.zip` - cas 源路径：`../../packages/cas/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-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_133847_ok:45f184dda5714a03b6c586eb641a1c26` | — | `/Users/yuhu/cas/原料/切片/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3/logs/20260908_133847_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_Case3_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 | `faa4e8f0575b` | — | `/Users/yuhu/cas/experiments/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-20261004_022635/logs/faa4e8f0575b_att1/extracted/TC_eUICC_ES10c_DisableProfile_Case3/TC_eUICC_ES10c_DisableProfile_Case3_01_10_Nominal_all_10_sequences.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.22.2.1 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 失败归因引用（块4）：`b6-attribution.md` - cas 证据来源分层：`ATTEMPT_NATIVE(expect blocked_card_state)` → legacy/其它（ATTEMPT_NATIVE(expect blocked_card_state)） ## 3. HTML 执行日志状态 - `-man`：**NATIVE**（`../../evidence-html/4.2.22.2.1/man/TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html`；sha256 `5eb5eb0890dfe01b72e054a703a1366a69916898b5109c08ac30e890b29971b7`；330363 bytes） - `-cas`：**NATIVE**（`../../evidence-html/4.2.22.2.1/cas/TC_eUICC_ES10c_DisableProfile_Case3.html`；sha256 `7f2f2278792bfb9c00350c800c37d34809533db6702203238396ee4ca19e42df`；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 891 / cas 699；字符：man 34823 / cas 55487 - man 顶层调用 Top：[["TestStepStart2", 100], ["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（截断预览） ```diff --- man +++ cas @@ -1,890 +1,698 @@ -// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_DisableProfile_Case3_02_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_DisableProfile_Case3_03_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_DisableProfile_Case3_04_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_DisableProfile_Case3_05_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_not_set + TC_eUICC_ES10c_DisableProfile_Case3_06_Nominal_Disable_Profile_by_ICCID_and_refreshFlag_not_set + TC_eUICC_ES10c_DisableProfile_Case3_07_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case3_08_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_sessionisongoing_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case3_09_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_sessionisongoing_withTerminalResponseoutstanding_catBusynotsupported + TC_eUICC_ES10c_DisableProfile_Case3_10_Nominal_Disable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_sessionisongoing_withTerminalResponseoutstanding_catBusynotsupported (extracted verbatim) - -function TC_eUICC_ES10c_DisableProfile_Case3_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,"90","00","91XX"); - - curStrHandle.CheckData("", 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_Case3，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-C2 response data absent；S1-C1 SW1 91；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-C2 response data absent；S6-C1 SW1 91 +// 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-C2 response data absent；S11-C1 SW1 91 +// 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-C2 response data absent；S18-C1 SW1 91 +// 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 response data absent +// S26-C1 SW；S26-C2 contains PROFILE_INFO1_DISABLED；S27-C1 SW；S28-C1 SW +// S28-C2 response data absent；S29-C1 SW；S29-C2 contains PROFILE_INFO1_DISABLED；S30-C1 SW +// S31-C1 SW1 91；S32-C2 response data absent；S32-C1 SW1 91；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 response data absent；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 response data absent +// 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 response data absent；S52-C1 SW1 != 91 +// S53-C1 SW；S53-C2 contains PROFILE_INFO1_DISABLED；S54-C1 SW +// 本函数由 CaseIR 4.2.22.2.1 编译生成（fullwave-blindgen-live-70-W1-laneA2，SGP.23 v1.16 × SGP.22 v2.7）：字节权威=CaseIR，非誊录黄金脚本。 …（差异行超限，共 1590 行，此处截断） ```
### 4.2 UCE/命名对照 - man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset', 'TC_eUICC_ES10c.DisableProfile_Case3', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_DisableProfile_Case3_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_Case3/TC_eUICC_ES10c_DisableProfile_Case3.uce`；入口 [('TC_eUICC_ES10c_DisableProfile_Case3_01_10_Nominal_all_10_sequences', 'TC_eUICC_ES10c_DisableProfile_Case3', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_DisableProfile_Case3_01_10_Nominal_all_10_sequences)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} ## 5. L2 步骤/APDU/step_map 差异（结构化对齐） - 命令计数：man 148 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 148，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.1-TC_eUICC_ES10c.DisableProfile_Case3/spec_intl/SGP.23-v1.16_4.2.22_DisableProfile_Case3.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-20261004_022635/caseir_materialized_gate.json` spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）： | 规范步骤 | man 脚本实现 | man 实跑结果 | |---|---|---| | General IC＋私有 IC（PROF1 已装载且 **Enabled**，对应 ） | `initial_condition_PROFILE_OPERATIONAL1_is_Enabled()`（L5；定义在 TestStep. | 通过（Transaction 1＝APDU2-270：装载链全绿＋「Profile下载成功」＋EnableProfileRequest AP | | IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | `Ini_powerOn_eUICC_LPAe_not_activate()`（L13） | 通过（ttr：复位/ATR/SELECT MF/TC/TP/FETCH/TR 全 9000） | | IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | `TS_MANAGE_CHANNEL_OPEN()`（L16）＋`TS_SELECT("Select ISD", ISD_R_AID, "9 | 通过（开通道 01、Select ISD-R FCI SW 9000） | | 1 MTD_STORE_DATA_Case3(MTD_DISABLE_PROFILE(NO_PARAM, , TRUE)) → 无响应数据 SW=91XX（RQ32_031/RQ32_033/RQ32_037_1/RQ57_142_2/RQ57_142_3/RQ57_142_12/RQ57_151/RQ24_010） | `DisableProfileRequest{profileIdentifier: ChoiceObj(isdpAid, ISD_P_Tes | 通过（APDU308 `81E290001ABF3217A0124F10A0000005591010FFFFFFFF890000110081 | | 2 S_Device FETCH → REFRESH Command "UICC Reset"（RQ32_038/RQ32_039/RQ32_039_1/RQ32_041_2/RQ57_142_13/RQ57_142_14） | `Fetch("","9000","")`（L35）＋`GetValueByTag("01",1)` 取 CmdDetails＋`Check | 通过（APDU316 FETCH→`D009810301010482028182`＝REFRESH〔command type 01、qual | | 3 Repeat IC1 and IC2 | `Ini_powerOn…`（L43）＋`TS_MANAGE_CHANNEL_OPEN()`（L46）＋`TS_SELECT(…)`（L51 | 通过（复位/MF/TC/TP/FETCH/TR＋开通道＋Select ISD-R 全 9000） | | 4 MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, )) → #PROFILE_INFO1_DISABLED SW=9000（RQ32_031/RQ32_033/RQ32_037_1/RQ57_142_2/RQ57_142_3/RQ57_142_12/RQ57_151/RQ24_010） | `ProfileInfoListRequest{searchCriteria: ChoiceObj(isdpAid, ISD_P_Test0 | 通过（APDU361 `81E291001DBF2D1AA0124F10…5C045A4F9F70`→APDU362 `BF2D26A024 | | 5 [SELECT_ICCID] SW=6A82（RQ24_025） | `SelectFileEFPara_3G("2FE2")`（apdu.ressw="6A82"）＋`SendAPDU`（L74-77） | 通过（APDU376 `00A4000C022FE2`→SW **6A82**；APDU378/379 期望 6A82=实际 6A82——去 | | （收尾，非规范步骤） | `RecoverCard()`（L79） | 通过（Transaction 3＝APDU380-599：MemoryReset 删 OP＋TP＋复位默认 SM-DP+ 地址＋PIR 空检 | cas CaseIR 步骤/检查： | 步 | 动作 | checks | REQ | |---|---|---|---| | 1 | MTD_STORE_DATA( MTD_GET_PROFILE_INFO( NO_PARAM, NO_PARAM)) | [] | [] | | 2 | [SEQ01-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( NO_PARAM, | ["S4-C1", "S4-C2"] | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_151", "RQ24_010"] | | 6 | [SEQ01-5] [SELECT_ICCID] | ["S5-C1"] | ["RQ24_025"] | | 7 | [SEQ02-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S6-C1", "S6-C2"] | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_151"] | | 8 | [SEQ02-2] FETCH 'XX' | ["S7-C1"] | ["RQ32_038", "RQ32_039", "RQ32_039_1", "RQ32_041_2", "RQ57_142_13", "RQ57_142_14"] | | 9 | [SEQ02-3] Repeat IC1 and IC2 | [] | [] | | 10 | [SEQ02-4] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S9-C1", "S9-C2"] | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_151"] | | 11 | [SEQ02-5] [SELECT_ICCID] | ["S10-C1"] | ["RQ24_025"] | | 12 | [SEQ03-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( NO_PARAM, | ["S16-C1", "S16-C2"] | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_151", "RQ24_010"] | | 18 | [SEQ03-7] [SELECT_ICCID] | ["S17-C1"] | ["RQ24_025"] | | 19 | [SEQ04-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S18-C1", "S18-C2"] | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_151"] | | 20 | [SEQ04-2] FETCH 'XX' | ["S19-C1"] | ["RQ32_038", "RQ32_039", "RQ32_039_1", "RQ32_041_2", "RQ57_142_13", "RQ57_142_14"] | | 21 | [SEQ04-3] TERMINAL RESPONSE | ["S20-C1"] | [] | | 22 | [SEQ04-4] Execute IC1 from step 2 to step 4 | [] | [] | | 23 | [SEQ04-5] Repeat IC2 | [] | [] | | 24 | [SEQ04-6] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S23-C1", "S23-C2"] | ["RQ32_031", "RQ32_033", "RQ32_037_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_12", "RQ57_151"] | | 25 | [SEQ04-7] [SELECT_ICCID] | ["S24-C1"] | ["RQ24_025"] | | 26 | [SEQ05-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( NO_PARAM, | ["S26-C1", "S26-C2"] | ["RQ32_031", "RQ32_033", "RQ32_038", "RQ32_041_1", "RQ57_142_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_6", "RQ57_142_9", "RQ57_142_14", "RQ57_151"] | | 28 | [SEQ05-3] [SELECT_ICCID] | ["S27-C1"] | ["RQ24_025"] | | 29 | [SEQ06-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S28-C1", "S28-C2"] | ["RQ32_031", "RQ32_033", "RQ32_038", "RQ32_041_1", "RQ57_142_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_6", "RQ57_142_9", "RQ57_142_14", "RQ57_151", "RQ29_002", "RQ29_022"] | | 30 | [SEQ06-2] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S29-C1", "S29-C2"] | ["RQ32_031", "RQ32_033", "RQ32_038", "RQ32_041_1", "RQ57_142_1", "RQ57_142_2", "RQ57_142_3", "RQ57_142_6", "RQ57_142_9", "RQ57_142_14", "RQ57_151"] | | 31 | [SEQ06-3] [SELECT_ICCID] | ["S30-C1"] | ["RQ24_025"] | | 32 | [SEQ07-IC3] MTD_SEND_SMS_PP( [GET_MNO_SD]) | ["S31-C1"] | [] | | 33 | [SEQ07-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S32-C1", "S32-C2"] | [] | | 34 | [SEQ07-2] FETCH 'YY' | ["S33-C1"] | ["RQ32_016_3", "RQ32_017", "RQ57_134"] | | 35 | [SEQ07-3] Repeat IC1 and IC2 | [] | [] | | 36 | [SEQ07-4] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S35-C1", "S35-C2"] | [] | | 37 | [SEQ07-5] [SELECT_ICCID] | ["S36-C1"] | ["RQ24_025"] | | 38 | [SEQ08-IC3] MTD_SEND_SMS_PP( [GET_MNO_SD]) | ["S37-C1"] | [] | | 39 | [SEQ08-1] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S38-C1", "S38-C2"] | [] | | 40 | [SEQ08-2] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S39-C1", "S39-C2"] | [] | | 41 | [SEQ08-3] [SELECT_ICCID] | ["S40-C1"] | ["RQ24_025"] | | 42 | [SEQ09-IC3] MTD_SEND_SMS_PP( [GET_MNO_SD]) | ["S41-C1"] | [] | | 43 | [SEQ09-1] FETCH ‘XX’ | ["S42-C1"] | [] | | 44 | [SEQ09-2] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S43-C1", "S43-C2"] | [] | | 45 | [SEQ09-3] TERMINAL RESPONSE | ["S44-C1"] | [] | | 46 | [SEQ09-4] FETCH 'YY' | ["S45-C1"] | ["RQ32_016_3", "RQ32_017", "RQ57_134"] | | 47 | [SEQ09-5] Repeat IC1 and IC2 | [] | [] | | 48 | [SEQ09-6] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S47-C1", "S47-C2"] | [] | | 49 | [SEQ09-7] [SELECT_ICCID] | ["S48-C1"] | ["RQ24_025"] | | 50 | [SEQ10-IC3] MTD_SEND_SMS_PP( [GET_MNO_SD]) | ["S49-C1"] | [] | | 51 | [SEQ10-1] FETCH ‘XX’ | ["S50-C1"] | [] | | 52 | [SEQ10-2] MTD_STORE_DATA_Case3( MTD_DISABLE_PROFILE( #ICCID_OP_PROF1, | ["S51-C1", "S51-C2"] | [] | | 53 | [SEQ10-3] TERMINAL RESPONSE | ["S52-C1"] | [] | | 54 | [SEQ10-4] MTD_STORE_DATA( MTD_GET_PROFILE_INFO( #ICCID_OP_PROF1, NO_PA | ["S53-C1", "S53-C2"] | [] | | 55 | [SEQ10-5] [SELECT_ICCID] | ["S54-C1"] | ["RQ24_025"] | ### 6.1 充分性分析（启发式，不作最终裁定） - cas：`GAPS_FOUND`（全步有检查=False；REQ 全覆盖=False；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 66 项 / 生成体 checkData 120 次 / S 标号重合 66 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 120 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证） - man：映射行 9；TTR 期望/实际回声 242；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证 - cas 信息步（无线上断言义务）：[4, 9, 15, 16, 22, 23, 35, 47] - REQ 声明面 vs caseir 引用面差异（11 项，非等价缺口判定）：['RQ32_032', 'RQ32_034', 'RQ57_141', 'RQ57_142', 'RQ57_142_10', 'RQ57_142_4', 'RQ57_149', 'RQ57_150', 'RQ57_152', 'RQ57_153', 'RQ57_153_1'] - caseir open_items： - 为安装期动态值（G_annexB 行51 给取值范围），由 IC 编排建立对应关系。 - C033/C037 条件文本不在输入包，SEQ07-10 适用性依赖无法判定。 - REFRESH 命令编码字节（TS 102 223 clause 6.4）不在输入包，断言止步于命令模式。 - 源表 SEQ09 末步步号标注为 5（在行224 步 6 之后），属源文档编号漂移，按表序转录为连续第 7 步并在此登记。 - 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` | 159 | 命令序列差：man-only 148 / cas-only 0；REQ 覆盖缺口：['RQ32_032', 'RQ32_034', 'RQ57_141', 'RQ57_142', 'RQ57_142_10', 'RQ57_142_4', 'RQ57_149', 'RQ57_150', 'RQ57_152', 'RQ57_153', 'RQ57_153_1'] | | `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.1-TC_eUICC_ES10c.DisableProfile_Case3-man.zip` - man TTR：`/Users/yuhu/cas/原料/切片/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3/logs/20260908_133847_ok/extracted/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DisableProfile_Case3_01_Nominal_Disable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr` - cas 包/源：`../../packages/cas/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-cas.zip` - cas TTR：`/Users/yuhu/cas/experiments/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-20261004_022635/logs/faa4e8f0575b_att1/extracted/TC_eUICC_ES10c_DisableProfile_Case3/TC_eUICC_ES10c_DisableProfile_Case3_01_10_Nominal_all_10_sequences.ttr` - spec_intl：`/Users/yuhu/cas/原料/切片/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3/spec_intl/SGP.23-v1.16_4.2.22_DisableProfile_Case3.md` - caseir：`/Users/yuhu/cas/experiments/4.2.22.2.1-TC_eUICC_ES10c.DisableProfile_Case3-20261004_022635/caseir_materialized_gate.json` - step_map：`—`