# 4.2.23.2.4 TC_eUICC_ES10c.DeleteProfile_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.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-man.zip | `b420063e70446ca3648cfb3966980b25e7067595b915ed2c0164840792500394` | zip | TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID | | `-cas` | 4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-cas.zip | `b1e539c5edfc1f33b541f222d865f625332ed00b640c10fdfb901d761e3de2d2` | zip | — | - man 源路径：`../../packages/man/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-man.zip` - cas 源路径：`../../packages/cas/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_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_222150:e0658669e68c4bf5bcd2c69b1ccfdd4a` | — | `/Users/yuhu/cas/原料/切片/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4/logs/20260908_222449_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID.ttr` | `—` | | `-cas` | `failed` | preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=F | 1 | `2ef3077a5a20` | — | `/Users/yuhu/cas/experiments/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-20261004_021956/logs/2ef3077a5a20_att1/extracted/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged.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.23.2.4 native 打包：preflight_context 编译合同与打包合同缺桥——CaseIR 声明 ['ISD_P_AID2', 'ISD_P_AID3', 'ISD_P_AIDX']（3 项）而本打包通道无 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 证据来源分层：`ATTEMPT_NATIVE(expect blocked_card_state)` → legacy/其它（ATTEMPT_NATIVE(expect blocked_card_state)） ## 3. HTML 执行日志状态 - `-man`：**NATIVE**（`../../evidence-html/4.2.23.2.4/man/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID.html`；sha256 `c4eaca9e47d2e8ec45696dd201c9f709713f06b0708a65ace52e9e24ce323926`；491191 bytes） - `-cas`：**NATIVE**（`../../evidence-html/4.2.23.2.4/cas/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4.html`；sha256 `32329cf7a508a4b8e0e5177def61ca8916118eaf2ffd6469434ae92a6c8bf17f`；1281 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 388 / cas 423；字符：man 17746 / cas 33920 - man 顶层调用 Top：[["CheckData", 52], ["TestStepStart2", 30], ["GenHexData", 14], ["LPAd_Transport_data_to_eUICC", 14], ["initial_condition_PROFILE_OPERATIONAL1_is_Disabled", 6], ["initial_condition_PROFILE_OPERATIONAL2_is_Enabled", 6], ["TraceStart", 6], ["Ini_powerOn_eUICC_LPAe_not_activate", 6], ["TS_MANAGE_CHANNEL_OPEN", 6], ["TS_SELECT", 6]] - cas bind 调用：[["checkData", 80], ["sendApdu", 31], ["resetAndAtr", 6], ["runToSteadyState", 6], ["sendTerminalProfile", 6], ["manageChannelOpen", 6]] | 方言映射对 | 命中数 | |---|---| | TS_*_cmd() ↔ bind.* 命令封装 | 12 |
unified diff（截断预览） ```diff --- man +++ cas @@ -1,387 +1,422 @@ -// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_02_Delete_Profile_not_possible_with_unknown_ICCID + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_03_Delete_Profile_by_ISDP_AID_not_possible_when_this_Operational_Profile_is_in_Enabled_state + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_04_Delete_Profile_by_ICCID_not_possible_when_this_Operational_Profile_is_in_Enabled_state + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_05_Delete_Profile_by_ISDP_AID_not_possible_not_possible_when_PPR2_is_set + TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_06_Delete_Profile_by_ICCID_not_possible_not_possible_when_PPR2_is_set (extracted verbatim) - -function TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID() -{ - initial_condition_PROFILE_OPERATIONAL1_is_Disabled(); - var ISD_P_Test01 = curProfile_ISD_P_AID; - - initial_condition_PROFILE_OPERATIONAL2_is_Enabled(); - var ISD_P_Test02 = 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命令，执行DeleteProfileRequest，通过ISD-P AID删除profile；"); - var deleProfileRequest = new DeleteProfileRequest(); - deleProfileRequest.isdpAid = ISD_P_AIDX; - deleProfileRequest.GenHexData(); - var respData = LPAd_Transport_data_to_eUICC(deleProfileRequest.hexData,"91","00","9000"); - - curStrHandle.CheckData("BF3303800101", respData, "DeleteProfileResponse"); - - - curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行ProfileInfoListRequest，获取profile状态；"); - var proInfoListRequest = new ProfileInfoListRequest(); - 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"); - - curStrHandle.CheckData(ICCID_OP_PROF2, proInfoListResponse.profileInfoListOk.arrOfElement[1].iccid, "ICCID"); - curStrHandle.CheckData(ISD_P_Test02, proInfoListResponse.profileInfoListOk.arrOfElement[1].isdpAid, "ISD-P AID"); - curStrHandle.CheckData(Profile_ENABLED, proInfoListResponse.profileInfoListOk.arrOfElement[1].profileState, "profile State"); - }catch(e){ - obj.SubLevel(ProfileInfoListResponse_Data_Error, level_of_SubLevel.error); - } - - - RecoverCard(); +// Author: 卡思Cas智能体 +// Date: 20261004-021956 +// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4，Test Sequence #01-#06 (Error: unknown ISD-P AID / unknown ICCID / Enabled by ISD-P AID / Enabled by ICCID / PPR2 by ISD-P AID / PPR2 by ICCID)，适用性 M。 +// Test points: IC2-IC1-K1-C1 ATR_present；IC2-IC1-K2-C2 FCP_Template；IC2-IC1-K2-C4 SW +// IC2-IC1-K3-C4 SW；IC2-IC1-K4-C4 final SW；IC3-IC2-K1-C4 SW；IC3-IC2-K1-C3 CHANNEL_NUMBER extracted +// IC3-IC2-K2-C4 SW；S3-C1 SW；S3-C2 deleteResult iccidOrAidNotFound；S4-C1 SW +// S4-C2 contains PROFILE_INFO1_DISABLED；S4-C2 contains PROFILE_INFO2_ENABLED +// IC6-IC1-K1-C1 ATR_present；IC6-IC1-K2-C2 FCP_Template；IC6-IC1-K2-C4 SW；IC6-IC1-K3-C4 SW +// IC6-IC1-K4-C4 final SW；IC7-IC2-K1-C4 SW；IC7-IC2-K1-C3 CHANNEL_NUMBER extracted；IC7-IC2-K2-C4 SW +// S7-C1 SW；S7-C2 deleteResult iccidOrAidNotFound；S8-C1 SW；S8-C2 contains PROFILE_INFO1_DISABLED +// S8-C2 contains PROFILE_INFO2_ENABLED；IC10-IC1-K1-C1 ATR_present；IC10-IC1-K2-C2 FCP_Template +// IC10-IC1-K2-C4 SW；IC10-IC1-K3-C4 SW；IC10-IC1-K4-C4 final SW；IC11-IC2-K1-C4 SW +// IC11-IC2-K1-C3 CHANNEL_NUMBER extracted；IC11-IC2-K2-C4 SW；S11-C1 SW +// S11-C2 deleteResult profileNotInDisabledState；S12-C1 SW；S12-C2 contains PROFILE_INFO1_DISABLED +// S12-C2 contains PROFILE_INFO2_ENABLED；IC14-IC1-K1-C1 ATR_present；IC14-IC1-K2-C2 FCP_Template +// IC14-IC1-K2-C4 SW；IC14-IC1-K3-C4 SW；IC14-IC1-K4-C4 final SW；IC15-IC2-K1-C4 SW +// IC15-IC2-K1-C3 CHANNEL_NUMBER extracted；IC15-IC2-K2-C4 SW；S15-C1 SW +// S15-C2 deleteResult profileNotInDisabledState；S16-C1 SW；S16-C2 contains PROFILE_INFO1_DISABLED +// S16-C2 contains PROFILE_INFO2_ENABLED；IC18-IC1-K1-C1 ATR_present；IC18-IC1-K2-C2 FCP_Template +// IC18-IC1-K2-C4 SW；IC18-IC1-K3-C4 SW；IC18-IC1-K4-C4 final SW；IC19-IC2-K1-C4 SW +// IC19-IC2-K1-C3 CHANNEL_NUMBER extracted；IC19-IC2-K2-C4 SW；S19-C1 SW +// S19-C2 deleteResult disallowedByPolicy；S20-C1 SW；S20-C2 contains PROFILE_INFO1_DISABLED +// S20-C2 contains PROFILE_INFO2_ENABLED；S20-C2 contains PROFILE_INFO3；IC22-IC1-K1-C1 ATR_present +// 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 deleteResult disallowedByPolicy；S24-C1 SW；S24-C2 contains PROFILE_INFO1_DISABLED +// S24-C2 contains PROFILE_INFO2_ENABLED；S24-C2 contains PROFILE_INFO3 +// 本函数由 CaseIR 4.2.23.2.4 编译生成（fullwave-blindgen-live-70-W1-laneA5，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_DeleteProfile_ErrorCases_Case4_01_06_merged() { + var bind = curBind; + var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged"); + // runtime-bound payload: ISD_P_AID2 stays in execution domain; context_lineage: {"context_id": "6c06e5257cb7cc55", "authority_reference": "E_tc_4223/330-330/G_annexB_dynamic:L52"} + var cardCtxLoad1 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID2", {"tag":"4F","bytes":16,"range":{"minHex":"A0000005591010FFFFFFFF8900001000","maxHex":"A0000005591010FFFFFFFF8900FFFF00","lastByte":"00"}}, {token: CARD_CONTEXT_TOKEN, domainId: CARD_CONTEXT_DOMAIN}); + // runtime-bound payload: ISD_P_AID3 stays in execution domain; context_lineage: {"context_id": "6c06e5257cb7cc55", "authority_reference": "E_tc_4223/373-373/G_annexB_dynamic:L53"} + var cardCtxLoad2 = BindCardContext.load(bind, profileAidSession, "ISD_P_AID3", {"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": "6c06e5257cb7cc55", "authority_reference": "E_tc_4223/281-281/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}); + // GIC-1 卡态编排：PROFILE_OPERATIONAL1 已安装；PROFILE_OPERATIONAL2 已安装: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items). + // S1-IC 标识的 Profile 未装载；PROF1 Disabled（对应 ）；PROF2 Enabled（对应 ）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items). + // S2-IC #ICCID_OP_PROFX 标识的 Profile 未装载；PROF1 Disabled；PROF2 Enabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items). + // S3/S4-IC PROF1 Disabled（对应 ）；PROF2 Enabled（对应 ）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items). + // S5/S6-IC PROFILE_OPERATIONAL3 已安装且 Disabled（对应 ，Nickname=#NICKNAME3）；PROF1 Disabled；PROF2 Enabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items). + // PREFLIGHT_CONTEXT AUTHORIZED_DISCOVERY: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items). + + // 步骤 1：MTD_STORE_DATA（tc_step） + // 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"); + + // IC ref inline @E 步骤 2（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1）：RESET（K 语料机械展开） + var s26 = bind.resetAndAtr(); + bind.checkData("IC2-IC1-K1-C1 ATR_present", "1", s26.atr_hex !== "" ? "1" : "0"); + + // IC ref inline @E 步骤 2（IC1 → 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 s27 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000"); + bind.checkData("IC2-IC1-K2-C2 FCP_Template", "1", s27.resp.length > 0 ? "1" : "0"); …（差异行超限，共 811 行，此处截断） ```
### 4.2 UCE/命名对照 - man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID', 'TC_EUICC_ES10c.DeleteProfile_ErrorCases_Case4', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：`TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4.uce`；入口 [('TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged', 'TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} ## 5. L2 步骤/APDU/step_map 差异（结构化对齐） - 命令计数：man 215 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 215，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.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4/spec_intl/SGP.23-v1.16_4.2.23.2.4_DeleteProfile_ErrorCases_Case4.md（风格：mapping）；caseir：`/Users/yuhu/cas/experiments/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-20261004_021956/caseir_materialized_gate.json` spec_intl 为人工核订映射表风格（规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果）： | 规范步骤 | man 脚本实现 | man 实跑结果 | |---|---|---| | （前置，非规范步骤）IC 表 435：OP1 Disabled＝ | `initial_condition_PROFILE_OPERATIONAL1_is_Disabled()`（L5） | 通过（T1 装载链全绿；PIR 查证 OP1 在卡 ICCID=989209012143658709F5／AID=…8900001100／s | | （前置，非规范步骤）IC 表 435：OP2 Enabled＝ | `initial_condition_PROFILE_OPERATIONAL2_is_Enabled()`（L8） | 通过（T2 装载链全绿＋PIR 查证，ttr L267-532/APDU259-524） | | IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | T3 步骤1（L15-16：`Ini_powerOn_eUICC_LPAe_not_activate()`） | 通过（复位成功＋ATR 3B9D96…，TC/TP/FETCH/TERMINAL RESPONSE 链全绿，ttr L534-557/APD | | IC2 PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR | T3 步骤2/3（L18-19 `TS_MANAGE_CHANNEL_OPEN()`＋L23-24 `TS_SELECT("Select I | 通过（通道 01 9000＋ISD-R 9000，FCI 含 8203020500＝RSP V2.5，ttr L558-569/APDU55 | | 1 MTD_DELETE_PROFILE(NO_PARAM, ) → #R_DELETE_PROFILE_ICCID_ISDP_NOTFOUND SW=0x9000 | T3 步骤4（L26-32：`DeleteProfileRequest` isdpAid=ISD_P_AIDX＋`LPAd_Transpor | 通过（请求 `81E2910015BF33124F10A0000005591010FFFFFFFF8900FFFF01`（4F10 载体＝未 | | 2 MTD_STORE_DATA(#GET_PROFILES_INFO_ALL) → profileInfoListOk: {#PROFILE_INFO1_DISABLED, #PROFILE_INFO2_ENABLED} SW=0x9000 | T3 步骤5（L35-56：PIR searchCriteriaTagList=`5A4F9F70`（ICCID＋ISD-P AID＋pro | 通过（`81E2910009BF2D065C045A4F9F70` → 9000，`BF2D4AA048E322…` 两元素；**六字段期望 | | （收尾，非规范步骤） | `RecoverCard()`（L59） | 通过（T4 APDU595-896：复位→MemoryReset→profile 列表归空→MANAGE CHANNEL CLOSE 900 | cas CaseIR 步骤/检查： | 步 | 动作 | checks | REQ | |---|---|---|---| | 1 | MTD_STORE_DATA( MTD_GET_PROFILE_INFO( NO_PARAM, NO_PARAM)) | [] | [] | | 2 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#01） | ["S1-C1"] | [] | | 3 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#01） | ["S2-C1"] | [] | | 4 | MTD_STORE_DATA(MTD_DELETE_PROFILE(NO_PARAM, ))（序列#01 步1：未知 | ["S3-C1", "S3-C2"] | ["RQ24_016", "RQ32_049", "RQ57_154", "RQ57_157", "RQ57_158", "RQ57_159"] | | 5 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#01 步2） | ["S4-C1", "S4-C2"] | ["RQ24_016", "RQ32_049", "RQ57_154", "RQ57_157", "RQ57_158", "RQ57_159"] | | 6 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#02） | ["S5-C1"] | [] | | 7 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#02） | ["S6-C1"] | [] | | 8 | MTD_STORE_DATA(MTD_DELETE_PROFILE(#ICCID_OP_PROFX, NO_PARAM))（序列#02 步1 | ["S7-C1", "S7-C2"] | ["RQ24_016", "RQ32_049", "RQ57_154", "RQ57_157", "RQ57_158", "RQ57_159"] | | 9 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#02 步2） | ["S8-C1", "S8-C2"] | ["RQ24_016", "RQ32_049", "RQ57_154", "RQ57_157", "RQ57_158", "RQ57_159"] | | 10 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#03） | ["S9-C1"] | [] | | 11 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#03） | ["S10-C1"] | [] | | 12 | MTD_STORE_DATA(MTD_DELETE_PROFILE(NO_PARAM, ))（序列#03 步1：删除 | ["S11-C1", "S11-C2"] | ["RQ24_016", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_155", "RQ57_158", "RQ57_159"] | | 13 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#03 步2） | ["S12-C1", "S12-C2"] | ["RQ24_016", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_155", "RQ57_158", "RQ57_159"] | | 14 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#04） | ["S13-C1"] | [] | | 15 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#04） | ["S14-C1"] | [] | | 16 | MTD_STORE_DATA(MTD_DELETE_PROFILE(#ICCID_OP_PROF2, NO_PARAM))（序列#04 步1 | ["S15-C1", "S15-C2"] | ["RQ24_016", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_155", "RQ57_158", "RQ57_159"] | | 17 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#04 步2） | ["S16-C1", "S16-C2"] | ["RQ24_016", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_155", "RQ57_158", "RQ57_159"] | | 18 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#05） | ["S17-C1"] | [] | | 19 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#05） | ["S18-C1"] | [] | | 20 | MTD_STORE_DATA(MTD_DELETE_PROFILE(NO_PARAM, ))（序列#05 步1：PP | ["S19-C1", "S19-C2"] | ["RQ24_016", "RQ29_002", "RQ29_022", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_156", "RQ57_158", "RQ57_159"] | | 21 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#05 步2） | ["S20-C1", "S20-C2"] | ["RQ24_016", "RQ29_002", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_155", "RQ57_158", "RQ57_159"] | | 22 | IC1: PROC_EUICC_INITIALIZATION_SEQUENCE（序列#06） | ["S21-C1"] | [] | | 23 | IC2: PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（序列#06） | ["S22-C1"] | [] | | 24 | MTD_STORE_DATA(MTD_DELETE_PROFILE(#ICCID_OP_PROF3, NO_PARAM))（序列#06 步1 | ["S23-C1", "S23-C2"] | ["RQ24_016", "RQ29_002", "RQ29_022", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_156", "RQ57_158", "RQ57_159"] | | 25 | MTD_STORE_DATA(#GET_PROFILES_INFO_ALL)（序列#06 步2） | ["S24-C1", "S24-C2"] | ["RQ24_016", "RQ29_002", "RQ32_049", "RQ32_050", "RQ57_154", "RQ57_155", "RQ57_158", "RQ57_159"] | ### 6.1 充分性分析（启发式，不作最终裁定） - cas：`GAPS_FOUND`（全步有检查=False；REQ 全覆盖=True；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 36 项 / 生成体 checkData 80 次 / S 标号重合 24 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 72 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证） - cas 未物化检查（绑定序列内且**完全未见**，共 12；方向性旁证，权威见上行 attestation）：含机械模式 12 项 ['S1-C1', 'S10-C1', 'S13-C1', 'S14-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S21-C1'] …；无模式 0 项 [] - man：映射行 7；TTR 期望/实际回声 376；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证 - caseir open_items： - PROC_EUICC_INITIALIZATION_SEQUENCE / PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR 已按 K_annexC2_procs 展开（R2 闭合） - 值运行动态（编码模板已闭合：BF33124F10） - RQ 列原文重复 RQ29_002（规范排版），已去重登记 - 卡态编排责任：PROF1/PROF2/PROF3 安装与状态、PPR2 与 #NICKNAME3 设置 - {'item': 'B-6 dynamic_extracts 登记（preflight_context 形）', 'reason': "B-4 编译普查定谳的 extracts 登记缺失补齐：首插只读 discovery 宿主步（BF2D035C014F，GetProfilesInfo tagList=4F——S22_prof_info 行83-87 'BF2D 00' default-tags 语义的 4F 限定形）承载声明；原步骤顺延 +1。AID 值 = 运行时 IC 编排卡态（E 段 IC 依据行），不编造字节", 'disposition': 'registered'} ## 7. 分类结论（封闭枚举） | 轴 | 计数 | 说明 | |---|---|---| | `RUN_DIFF` | 1 | man 通过 / cas 失败 | | `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 | | `GEN_DIFF` | 215 | 命令序列差：man-only 215 / cas-only 0 | | `EVIDENCE_MISSING` | 13 | cas 断言缺失：无检查步 [1]；未映射步 []；cas 声明但未物化的检查：['S1-C1', 'S10-C1', 'S13-C1', 'S14-C1', 'S17-C1', 'S18-C1', 'S2-C1', 'S21-C1', 'S22-C1', 'S5-C1', 'S6-C1', 'S9-C1'] | - 置信度：heuristic；需人工复核：False ## 8. 证据路径 - man 包：`../../packages/man/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-man.zip` - man TTR：`/Users/yuhu/cas/原料/切片/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4/logs/20260908_222449_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_Delete_Profile_not_possible_with_unknown_ISD_P_AID.ttr` - cas 包/源：`../../packages/cas/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-cas.zip` - cas TTR：`/Users/yuhu/cas/experiments/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-20261004_021956/logs/2ef3077a5a20_att1/extracted/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4/TC_eUICC_ES10c_DeleteProfile_ErrorCases_Case4_01_06_merged.ttr` - spec_intl：`/Users/yuhu/cas/原料/切片/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4/spec_intl/SGP.23-v1.16_4.2.23.2.4_DeleteProfile_ErrorCases_Case4.md` - caseir：`/Users/yuhu/cas/experiments/4.2.23.2.4-TC_eUICC_ES10c.DeleteProfile_ErrorCases_Case4-20261004_021956/caseir_materialized_gate.json` - step_map：`—`