# 4.2.21.2.4 TC_eUICC_ES10c.EnableProfile_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.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-man.zip | `aa8d755982f09c738230966b2bbbb0166bb120b96b37bdf70e1d1845e10292c8` | zip | TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID | | `-cas` | 4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-cas.zip | `93c397acd54a6d3605bcd645650dc9a30c3bb0a2fb4c2c518193a8a855736fdd` | zip | — | - man 源路径：`../../packages/man/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-man.zip` - cas 源路径：`../../packages/cas/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_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_232605_ok:45f0b2f0d3904cf49c6ba9308ebba49f` | — | `/Users/yuhu/cas/原料/切片/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4/logs/20260908_232605_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID.ttr` | `—` | | `-cas` | `failed` | preflight_context 声明：缺 discovery/prep receipt（N1_CARD_STATE_PERSISTENCE_PROVEN=F | 1 | `704083bd3ee545b4b4c32fb270ee13d2` | — | `/Users/yuhu/cas/experiments/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-20261004_022635/logs/704083bd_gapfix1/result/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4/TC_eUICC_ES10c_EnableProfile_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=`704083bd3ee545b4b4c32fb270ee13d2`；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.21.2.4/man/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID.html`；sha256 `5b74f0a581c579b61c8ae1a875cea3d62959f26d136cc1bc60722122224b77e2`；263278 bytes） - `-cas`：**NATIVE**（`../../evidence-html/4.2.21.2.4/cas/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4.html`；sha256 `b60c9384d5ada5b77928afe3429383bb5029c05500f2843207b6a27c1612dd52`；1335 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 586 / cas 359；字符：man 23383 / cas 29654 - man 顶层调用 Top：[["TestStepStart2", 46], ["CheckData", 46], ["GenHexData", 18], ["LPAd_Transport_data_to_eUICC", 18], ["ChoiceObj", 14], ["TS_SELECT", 10], ["EnableProfileRequest", 10], ["TraceStart", 8], ["Ini_powerOn_eUICC_LPAe_not_activate", 8], ["TS_MANAGE_CHANNEL_OPEN", 8]] - cas bind 调用：[["checkData", 52], ["sendApdu", 17], ["fetchPending", 2], ["terminalResponseForPending", 2]] | 方言映射对 | 命中数 | |---|---| | TS_*_cmd() ↔ bind.* 命令封装 | 18 |
unified diff（截断预览） ```diff --- man +++ cas @@ -1,585 +1,358 @@ -// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_02_Error_Enable_Profile_by_an_unknown_ICCID + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_03_Error_Enable_Profile_by_ISD_P_AID_is_not_possible_when_this_Operational_Profile_is_in_Enable_state + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_04_Error_Enable_Profile_by_ICCID_is_not_possible_when_this_Operational_Profile_is_in_Enable_state + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_05_Error_Enable_Profil_by_ISD_P_AID_not_possible_when_an_Operational_Profile_with_PPR1_is_loaded + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_06_Error_Enable_Profil_ICCID_not_possible_when_an_Operational_Profile_with_PPR1_is_loaded + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_07_Error_Enable_Profile_by_ISD_P_AID_without_refreshFlag_while_proactive_session_is_ongoing_catBusy_supported + TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_08_Error_Enable_Profile_by_ICCID_with_refreshFlag_set_while_proactive_session_is_ongoing_catBusy_supported (extracted verbatim) - -function TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID() -{ - if(!Card_Have_ECC_Cert) - return; - - TestOfMEPMode = 0; - - initial_condition_PROFILE_OPERATIONAL1_is_Disabled(); - 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命令，执行EnableProfileRequest，refreshFlag为FF（true）；"); - - var enableProRequest = new EnableProfileRequest(); - enableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_AIDX); - enableProRequest.refreshFlag = BooleanValue_BerCode_True; - enableProRequest.GenHexData(); - var respData = LPAd_Transport_data_to_eUICC(enableProRequest.hexData,"91","00","9000"); - - - curStrHandle.CheckData("BF3103800101", respData, "EnableProfileResponse");//iccidOrAidNotFound - - 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); - } - - RecoverCard(); - +// Author: 卡思Cas智能体 +// Date: 20261005-152741 +// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4，Test Sequence #01 unknown ISD-P AID; #02 unknown ICCID; #03 enable when Enabled (ISD-P AID); #04 enable when Enabled (ICCID); #05 PPR1 loaded (ISD-P AID); #06 PPR1 loaded (ICCID); #07 catBusy refreshFlag not set; #08 catBusy refreshFlag set，适用性 M。 +// Test points: S1-C1 SW；S1-C2 enableResult iccidOrAidNotFound；S2-C1 SW +// S2-C2 contains PROFILE_INFO1_DISABLED；S2-C3 contains entries1 iccid 989209012143658709F5 +// S3-C1 SW；S3-C2 enableResult iccidOrAidNotFound；S4-C1 SW；S4-C2 contains PROFILE_INFO1_DISABLED +// S4-C3 contains entries1 iccid 989209012143658709F5；S5-C1 SW +// S5-C2 enableResult profileNotInDisabledState；S6-C1 SW；S6-C2 contains PROFILE_INFO1 +// S6-C3 contains entries1 iccid 989209012143658709F5；S7-C1 SW +// S7-C2 enableResult profileNotInDisabledState；S8-C1 SW；S8-C2 contains PROFILE_INFO1 +// S8-C3 contains entries1 iccid 989209012143658709F5；S9-C1 SW +// S9-C2 enableResult disallowedByPolicy；S10-C1 SW；S10-C2 contains PROFILE_INFO1_DISABLED +// S10-C2 contains PROFILE_INFO4_ENABLED；S10-C3 contains entries1 iccid 989209012143658709F5 +// S10-C3 contains entries2 iccid 989209015476981032F9；S11-C1 SW +// S11-C2 enableResult disallowedByPolicy；S12-C1 SW；S12-C2 contains PROFILE_INFO1_DISABLED +// S12-C2 contains PROFILE_INFO4_ENABLED；S12-C3 contains entries1 iccid 989209012143658709F5 +// S12-C3 contains entries2 iccid 989209015476981032F9；S13-C1 SW in 9000/91XX +// S13-C2 enableResult catBusy；S14-C1 proactive command envelope；S15-C1 SW；S16-C1 SW +// S16-C2 contains PROFILE_INFO1；S16-C2 contains PROFILE_INFO2 +// S16-C3 contains entries1 iccid 989209012143658709F5 +// S16-C3 contains entries2 iccid 989209013254769810F9；S17-C1 SW in 9000/91XX +// S17-C2 enableResult catBusy；S18-C1 proactive command envelope；S19-C1 SW；S20-C1 SW +// S20-C2 contains PROFILE_INFO1；S20-C2 contains PROFILE_INFO2 +// S20-C3 contains entries1 iccid 989209012143658709F5 +// S20-C3 contains entries2 iccid 989209013254769810F9 +// 本函数由 CaseIR 4.2.21.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 以各自 IC 'No Profile is installed' 覆盖本条）: declared unexpanded (no fabricated bytes; provenance = expansion_source). +// Seq01-IC PROFILE_OPERATIONAL1 is Disabled; PROFILE_OPERATIONAL1 corresponds to ; the Operational Profile identified by 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 Disabled; 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 Enabled on the eUICC（Seq03 另记 PROFILE_OPERATIONAL1 corresponds to ）。IC1/IC2 同上。: declared unexpanded (no fabricated bytes; provenance = expansion_source). +// Seq05/06-IC No Profile is installed on the eUICC（覆盖 GIC）；IC3 Install PROFILE_OPERATIONAL4（对应 ，Seq05 注记）；IC4 Install PROFILE_OPERATIONAL1（对应 ）；IC5 Enable PROFILE_OPERATIONAL4。: declared unexpanded (no fabricated bytes; provenance = expansion_source). +// Seq07/08-IC PROFILE_OPERATIONAL1 Enabled; PROFILE_OPERATIONAL2 installed and Disabled（Seq07 另记 PROFILE_OPERATIONAL2 corresponds to ）；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_EnableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged() { + var bind = curBind; + var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10c_EnableProfile_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": "0d83e94538165550", "authority_reference": "E_tc_4221/40-40/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_AID2 stays in execution domain; context_lineage: {"context_id": "0d83e94538165550", "authority_reference": "E_tc_4221/1-1/G_annexB_dynamic:L52"} + var cardCtxLoad2 = 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_AIDX stays in execution domain; context_lineage: {"context_id": "0d83e94538165550", "authority_reference": "E_tc_4221/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） + // 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_011, RQ32_016_1, RQ57_127, RQ57_128, RQ57_129, RQ57_130, RQ57_136, RQ57_137） + // 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", "BF31154F10", "0101FF", profileAidSession), "00", "9000"); + bind.checkData("S1-C1 SW", "9000", s2.sw); + BindEs10xProcProfileDynamic.assertBoundPayload(bind, "ISD_P_AIDX", s2.cmd, profileAidSession); …（差异行超限，共 945 行，此处截断） ```
### 4.2 UCE/命名对照 - man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID', 'TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：`TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4.uce`；入口 [('TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged', 'TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_EnableProfile_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 116 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 116，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.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4/spec_intl/SGP.23-v1.16_4.2.21.2.4_EnableProfile_ErrorCases_Case4.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-20261004_022635/caseir_materialized_gate.json` | 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 | |---|---|---|---|---|---|---|---| | 1 | MTD_STORE_DATA(MTD_ENABLE_PROFILE(NO_PARAM, , TRUE)) | 1 | ["RQ32_011", "RQ32_016_1", "RQ57_127", "RQ57_128", "RQ57_129", "RQ57_130", "RQ57_136", "RQ57_137"] | ["S1-C1", "S1-C2", "S1-C3"] | ["RQ32_011", "RQ32_016_1", "RQ57_127", "RQ57_128", "RQ57_129", "RQ57_130", "RQ57_136", "RQ57_137"] | 步骤4（L28-37：`EnableProfileRequest` profileIdentifier=未知 ISD-P | 通过（请求 `81E291001ABF3117A0124F10A0000005591010FFFFFFFF8900FFFF018101FF` → **实际 SW=9000**、EnableProfileResponse **期望 BF3103800101＝实际**（错误码 01=iccidOrAidNotFound），ttr L304-312） | | 2 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(NO_PARAM, )) | 1 | ["RQ32_011", "RQ32_016_1", "RQ57_127", "RQ57_128", "RQ57_129", "RQ57_130", "RQ57_136", "RQ57_137"] | ["S2-C1", "S2-C2", "S2-C3"] | ["RQ32_011", "RQ32_016_1", "RQ57_127", "RQ57_128", "RQ57_129", "RQ57_130", "RQ57_136", "RQ57_137"] | 步骤5（L39-58：tagList `5A4F9F70`＋三字段断言） | 通过（→ 9000；ICCID/ISD-P AID 相等，**state 期望 00＝实际 00（DISABLED 保持，副作用核验）**，ttr L313-327） | ### 6.1 充分性分析（启发式，不作最终裁定） - cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 52 项 / 生成体 checkData 52 次 / S 标号重合 44 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 44 + binding 8 + gap 0；缺口判定以本行为权威（启发式计数仅旁证） - binding 覆盖示例：`S1-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion；`S3-C3`→binding:requirement_satisfied_by_same_step_result_enum_assertion；`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 - cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S1-C3', 'S11-C3', 'S13-C3', 'S17-C3', 'S3-C3', 'S5-C3', 'S7-C3', 'S9-C3'] - man：mapping 行 6 / 规范步 2；TTR 期望/实际回声 204；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证 - caseir open_items： - 本 TC 为 Case4 形态：EnableProfile 错误以响应数据（EnableProfileResponse.enableResult）返回，SW 保持 0x9000（catBusy 序列允许 0x9000 or 0x91XX）；与 4.2.21.2.2（Case3，错误以 SW=6A82/6985/9300 返回）互为对照。 - PROC_EUICC_INITIALIZATION_SEQUENCE / PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR 的展开属 Annex C.2，不在输入包 → 按 IC 登记，逐步展开留待编排层。 - Seq#5/#6 的 IC3-IC5（安装 OP4、安装 OP1、Enable OP4）与 Seq#7/#8 的 IC3（MTD_SEND_SMS_PP([GET_MNO_SD])，APDU 模板在 J_annexD4_apdu：CLA=80 INS=F2 P1=80 P2=02 Data=4F00 LE=00）属卡态编排前置。 - C032/C036 条件定义文本不在输入包（C_conditional_codes 仅 C001-C018）→ Seq#7/#8 适用性条件按 B_applicability_rows 原文登记，语义映射（O_E_CATBUSY_*）为提示性关联，未下定论。 - E_tc_4221 L446 REQ 列原文为 'RQ57_133_1RQ57_140_1'（缺空格连写），按两个 REQ（RQ57_133_1、RQ57_140_1）登记。 - TERMINAL RESPONSE 由测试工具按 proactive 命令动态生成（D_tc_structure_notation 2.2.2.4），未编固定字节。 ## 7. 分类结论（封闭枚举） | 轴 | 计数 | 说明 | |---|---|---| | `RUN_DIFF` | 1 | man 通过 / cas 失败 | | `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 | | `GEN_DIFF` | 116 | 命令序列差：man-only 116 / cas-only 0 | - 置信度：heuristic；需人工复核：False ## 8. 证据路径 - man 包：`../../packages/man/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-man.zip` - man TTR：`/Users/yuhu/cas/原料/切片/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4/logs/20260908_232605_ok/result/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_Error_Enable_Profile_by_an_unknown_ISD_P_AID.ttr` - cas 包/源：`../../packages/cas/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-cas.zip` - cas TTR：`/Users/yuhu/cas/experiments/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-20261004_022635/logs/704083bd_gapfix1/result/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4/TC_eUICC_ES10c_EnableProfile_ErrorCases_Case4_01_02_03_04_05_06_07_08_merged.ttr` - spec_intl：`/Users/yuhu/cas/原料/切片/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4/spec_intl/SGP.23-v1.16_4.2.21.2.4_EnableProfile_ErrorCases_Case4.md` - caseir：`/Users/yuhu/cas/experiments/4.2.21.2.4-TC_eUICC_ES10c.EnableProfile_ErrorCases_Case4-20261004_022635/caseir_materialized_gate.json` - step_map：`—`