4.2.21.2.1 ES10c 启用 Profile(Case 3)
TC_eUICC_ES10c.EnableProfile_Case3
-man 人工切片
- 终态
- ok `_ok` 复用(结构 A1-A7 PASS;`_ok` run 无厂商错误行)
- ErrorCount
- 0
- 执行 job
- 20261007_131036:0319291b66e74d74a1dfb1a6a528ebc7
- html_run
- 20261007_131036
- 包 sha256
- 5503213f1118db17…
- 包大小
- 244.6 KB
日志源:logs/20261007_131036/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html
-cas 盲生成
- 终态
- failed card_state+canary 序 #06→#04→#02;native blocked;历史通道=legacy wrapped/dualseq
- ErrorCount
- 17
- 执行 job
- 4e1f4d63df6542a9a8abd32ad48cc67f
- html_run
- 4e1f4d63_rerun1
- 包 sha256
- 8143cc803fa39407…
- 包大小
- 833.6 KB
- 判定
- LEGACY_ATTEMPT
- 路由
- legacy_wrapped
- 状态轴
- execution=red_verify / place=not_attempted / release=not_ready / card_state=ok
差异概览(机械口径)
闭包文件层(l1)
man 34 / cas 82 个 JS;共同 31,一致 30,man-only 3,cas-only 51
命令序列层(l2)
man 147 / cas 25 条命令;完全一致 16,核心一致 4,长度尾部差 2,man-only 127,cas-only 5
规范覆盖(l3)
spec_steps 0,缺失 REQ 21 项,checkData 27 次,计数缺口 0,物化 FULL,执行 FAIL
断言自证(attestation)
js 断言 27 条 / 绑定层 0 条 / 缺口 0
机械差异分类
| 轴 | 说明 | 计数 |
|---|---|---|
| RUN_DIFF | man 通过 / cas 失败 | 1 |
| SCRIPT_DIALECT | 闭包文件差:man-only 3 / cas-only 51;命令序列差:man-only 127 / cas-only 5 | 186 |
| GEN_DIFF | REQ 覆盖缺口:['RQ24_010', 'RQ29_002', 'RQ29_022', 'RQ32_012', 'RQ32_017_1', 'RQ32_017_2', 'RQ32_018_1', 'RQ57_127', 'RQ57_127_1', 'RQ57_127_2', 'RQ57_130', 'RQ57_132', 'RQ57_132_1', 'RQ57_133_1', 'RQ57_135_2', 'RQ57_135_4', 'RQ57_136', 'RQ57_137', 'RQ57_139', 'RQ57_140', 'RQ57_140_1'] | 21 |
对比报告
4.2.21.2.1 TC_eUICC_ES10c.EnableProfile_Case3 — -man ↔ -cas diff 报告
交付形态说明:本报告随专家交付包分发——-man/-cas脚本包 zip 与 190server HTML 执行日志已内联至packages/、evidence-html/,相应路径已相对化;TTR、spec_intl、caseir 等仓内留痕仍为生成机原始路径(未随包)。
- 生成时间:2026-10-08 22:57:10 |引擎:holiday-blk5/0.1|配对状态:
PAIRED - 分母口径:卡侧 61 之一
1. 配对与包
| 侧 | 包/源 | sha256 | 源类型 | 入口用例 |
|---|---|---|---|---|
-man | 4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip | 5503213f1118db174e4e3534b268d31f0f910ac83f2c91b590341bd6b2166a2e | zip | TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset |
-cas | 4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-cas.zip | 8143cc803fa394073fe5de6196c109f2406b1360b4f010b7ce54bad827a3c50e | zip | — |
- man 源路径:
../packages/man/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip - cas 源路径:
../packages/cas/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_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 | 20261007_131036:0319291b66e74d74a1dfb1a6a528ebc7 | — | /Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/logs/20260908_130958_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr | — |
-cas | failed | card_state+canary 序 #06→#04→#02;native blocked;历史通道=legacy wrapped/dualseq | 17 | 4e1f4d63df6542a9a8abd32ad48cc67f | — | /Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/logs/4e1f4d63_rerun1/result/TC_eUICC_ES10c_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.ttr | — |
- cas 块4账本:decision=
LEGACY_ATTEMPT;route=legacy_wrapped;live 事件 2 条(4.6 波次进行中;以块4终版账本为准) - cas 4.6 波次最新执行:terminal=
—;stage=—;job=4e1f4d63df6542a9a8abd32ad48cc67f;gaps=["job 终态 succeeded(103.1s,读卡器选中并连卡成功)但业务判 failed:错误个数16,关键错误 期望91实际6A / 期望1实际0;非卡态签名,不重试"] - cas 失败归因引用(块4):
b10-b11-attribution.md - cas 证据来源分层:
LEGACY_ATTEMPT→ legacy/其它(LEGACY_ATTEMPT)
3. HTML 执行日志状态
-man:NATIVE(../evidence/4.2.21.2.1/man/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.html;sha25600858d3c3c7cb415e28ce294644b795fb3591404118a5f15014a89e4d303f307;332373 bytes)-cas:NATIVE(../evidence/4.2.21.2.1/cas/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.html;sha25647fbca15dcfe6889d8e7b08d00a5f94388636c0bf1e740c649b8cb472ab1aaee;33769 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 982 / cas 119;字符:man 38489 / cas 8812
- man 顶层调用 Top:[["TestStepStart2", 114], ["CheckData", 60], ["TS_MANAGE_CHANNEL_OPEN", 20], ["TS_SELECT", 20], ["GenHexData", 20], ["LPAd_Transport_data_to_eUICC", 20], ["SendAPDU", 20], ["Ini_powerOn_eUICC_LPAe_not_activate", 16], ["ChoiceObj", 16], ["SubLevel", 12]]
- cas bind 调用:[["checkData", 27], ["sendApdu", 10], ["resetAndAtr", 2], ["runToSteadyState", 2], ["sendTerminalProfile", 2], ["manageChannelOpen", 2], ["fetchPending", 1], ["terminalResponseForPending", 1]]
| 方言映射对 | 命中数 |
|---|---|
| SendAPDU() ↔ bind.sendApdu() | 20 |
| CheckData() ↔ bind.checkData() | 8 |
| TS_*_cmd() ↔ bind.* 命令封装 | 42 |
unified diff(截断预览)
--- man
+++ cas
@@ -1,981 +1,118 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_EnableProfile_Case3_02_Nominal_Enable_Profile_ICCID_and_refreshFlag_set_when_Device_supports_UICC_Reset + TC_eUICC_ES10c_EnableProfile_Case3_03_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_EnableProfile_Case3_04_Nominal_Enable_Profile_by_ICCID_and_refreshFlag_set_when_Device_supports_eUICC_Profile_State_Change + TC_eUICC_ES10c_EnableProfile_Case3_05_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_not_set + TC_eUICC_ES10c_EnableProfile_Case3_06_Nominal_Enable_Profile_by_ICCID_and_refreshFlag_not_set + TC_eUICC_ES10c_EnableProfile_Case3_07_Nominal_Enable_Profile_by_ICCID_with_refreshFLag_set_while_proactive_session_is_ongoing_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case3_08_Nominal_Enable_Profile_by_ICCID_with_refreshFLag_not_set_while_proactive_session_is_ongoing_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case3_09_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_while_proactive_session_is_ongoing_with_Terminal_Response_outstanding_catBusy_not_supported + TC_eUICC_ES10c_EnableProfile_Case3_10_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_not_set_while_proactive_session_is_ongoing_with_Terminal_Response_outstanding_catBusy_not_supported (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260907-030000
+// Function: (purpose 原文未由 SGP.23 该 TC 提供,corpus vacuum 登记)TC_eUICC_ES10c.EnableProfile_Case3,Test Sequence #02 Nominal: Enable Profile by ICCID and “refreshFlag” set when Device supports “UICC Reset”,适用性 M。
+// Test points: ICH-IC1-K1-C1 ATR_present;ICH-IC1-K2-C2 FCP_Template;ICH-IC1-K2-C4 SW
+// ICH-IC1-K3-C4 SW;ICH-IC1-K4-C4 final SW;ICH-IC2-K1-C4 SW;ICH-IC2-K1-C3 CHANNEL_NUMBER extracted
+// ICH-IC2-K2-C4 SW;S1-C2 response data absent;S1-C1 SW1 91;S2-C1 proactive command envelope
+// IC3-IC1-K1-C1 ATR_present;IC3-IC1-K2-C2 FCP_Template;IC3-IC1-K2-C4 SW;IC3-IC1-K3-C4 SW
+// IC3-IC1-K4-C4 final SW;IC3-IC2-K1-C4 SW;IC3-IC2-K1-C3 CHANNEL_NUMBER extracted;IC3-IC2-K2-C4 SW
+// S4-C1 SW;S4-C2 outer tag BF2D;S4-C3 contains 5A0A989209012143658709F5;S4-C4 contains 9F700101
+// S4-C5 contains 4F10;S5-C1 SW;S6-C1 SW;S6-C2 READ_BINARY data
+// 本函数由 CaseIR 4.2.21.2.1 编译生成(4221-r2,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_EnableProfile_Case3_02_merged() {
+ var bind = curBind;
-function TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset()
-{
- initial_condition_PROFILE_OPERATIONAL1_is_Disabled();
- var ISD_P_Test01 = curProfile_ISD_P_AID;
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1):RESET(K 语料机械展开)
+ var s7 = bind.resetAndAtr();
+ bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s7.atr_hex !== "" ? "1" : "0");
- tracenamestr = "测试目的:设备支持 “UICC Reset”,通过ISD-P AID激活profile,并设置refreshFlag";
- curDis.TraceStart(sno++,tracenamestr);
+ // IC head inline (initial_conditions → 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 s8 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+ bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s8.resp.length > 0 ? "1" : "0");
+ bind.checkData("ICH-IC1-K2-C4 SW", "9000", s8.sw);
- curLogicChannel = 0;
- curDis.TestStepStart2(stno++,"eUICC卡片初始化;");
- Ini_powerOn_eUICC_LPAe_not_activate();
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3):TERMINAL_CAPABILITY_LPAd(K 语料机械展开)
+ var s9 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+ bind.checkData("ICH-IC1-K3-C4 SW", "9000", s9.sw);
- curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令,打开辅助逻辑通道;");
- TS_MANAGE_CHANNEL_OPEN();
+ // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4):TERMINAL_PROFILE(K 语料机械展开)
+ var steady10 = bind.runToSteadyState(function () {
+ return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+ });
+ bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady10.final.sw);
- curLogicChannel = 1;
+ // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 1):MANAGE_CHANNEL_OPEN(K 语料机械展开)
+ // CHANNEL_NUMBER extraction and dynamic CLA rebinding are CasBind internal state (chaining rule; no generated-code re-implementation).
+ var s11 = bind.manageChannelOpen("9000");
+ bind.checkData("ICH-IC2-K1-C4 SW", "9000", s11.sw);
+ bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s11.chan !== null ? "1" : "0");
- curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令,选择ISD-R;");
- TS_SELECT("Select ISD",ISD_R_AID,"9000");
+ // IC head inline (initial_conditions → PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR, K row 2):MTD_SELECT(K 语料机械展开)
+ // CLA = bound channel (cla_rule) and <L> length binding are CasBind internal state (chaining rule; no generated-code re-implementation).
+ var s12 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", null, "9000");
+ // MTD_SELECT expected face is SW-only (K Annex C.2 open-channel procedure step 2: no FCI content assertion in corpus); no fabricated template parse.
+ bind.checkData("ICH-IC2-K2-C4 SW", "9000", s12.sw);
+ // 步骤 1:MTD_STORE_DATA_Case3(tc_step;REQ: RQ32_011, RQ32_016_1, RQ32_016_2, RQ57_128, RQ57_129, RQ57_133_3, RQ57_138)
+ // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+ var sdCla1 = s11.chan !== null ? (s11.chan <= 3 ? 128 + s11.chan : 188 + s11.chan).toString(16).toUpperCase() : null;
+ var s1 = bind.sendApdu(sdCla1, "E2", "90", "00", "BF3111A00C5A0A989209012143658709F58101FF", null, null);
+ bind.checkData("S1-C2 response data absent", "1", s1.resp === "" ? "1" : "0");
+ bind.checkData("S1-C1 SW1 91", "91", s1.sw.substring(0, 2));
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令,执行EnableProfileRequest,refreshFlag为FF;");
- var enableProRequest = new EnableProfileRequest();
- enableProRequest.profileIdentifier = new ChoiceObj(tagOfProfileIdentifier.isdpAid,ISD_P_Test01);
- enableProRequest.refreshFlag = BooleanValue_BerCode_True;
- enableProRequest.GenHexData();
- var respData = LPAd_Transport_data_to_eUICC(enableProRequest.hexData,"90","00","91XX");
- curStrHandle.CheckData("", respData, "EnableProfileResponse");
+ // 步骤 2:FETCH 'XX'(tc_step;REQ: RQ32_016_3, RQ32_017, RQ57_134, RQ57_135_1)
+ // FETCH header literals follow the golden wire evidence 8012 (same
+ // anchor as runToSteadyState; J Annex D.4 has no FETCH row, D 2.2.2
+ // gives mechanism only). Le = pending length from the last 91XX
+ // (chain rule, binding-internal state).
+ var s2 = bind.fetchPending("80", "12", "00", "00", null);
+ bind.checkData("S2-C1 proactive command envelope", "1", (s2.resp.length >= 4 && s2.resp.substring(0, 2) === "D0") ? "1" : "0");
+ // S2-C1: REFRESH type/mode bytes are not corpus-fixed (envelope face only; per-mode bytes absent from input).
+ // S2:主动会话协议闭合(TS 102 223 §6.3:主动命令必须 TR 应答;
+ // UICC Reset 变体 E 表无 TR 行属编辑省略,golden U3 线证同构)。
+ var s2tr = bind.terminalResponseForPending("80", "14", "00", "00", "9000");
+ // IC ref inline @E 步骤 3(IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1):RESET(K 语料机械展开)
+ var s13 = bind.resetAndAtr();
+ bind.checkData("IC3-IC1-K1-C1 ATR_present", "1", s13.atr_hex !== "" ? "1" : "0");
- curLogicChannel = 0;
- curDis.TestStepStart2(stno++,"读卡器向卡片发送 Fetch命令,主动式命令refresh;");
+ // IC ref inline @E 步骤 3(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 s14 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+ bind.checkData("IC3-IC1-K2-C2 FCP_Template", "1", s14.resp.length > 0 ? "1" : "0");
+ bind.checkData("IC3-IC1-K2-C4 SW", "9000", s14.sw);
- FetchStr = Fetch("","9000","");
+ // IC ref inline @E 步骤 3(IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3):TERMINAL_CAPABILITY_LPAd(K 语料机械展开)
+ var s15 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+ bind.checkData("IC3-IC1-K3-C4 SW", "9000", s15.sw);
- var CmdDetails = GetValueByTag("01",1);
- var CmdQualifier = CmdDetails.substr(4,2);
- CheckData("04",CmdQualifier,"the command qualifier is equal to ’04’ (UICC Reset)");
+ // IC ref inline @E 步骤 3(IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4):TERMINAL_PROFILE(K 语料机械展开)
+ var steady16 = bind.runToSteadyState(function () {
+ return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+ });
+ bind.checkData("IC3-IC1-K4-C4 final SW", "9000", steady16.final.sw);
- curLogicChannel = 0;
- curDis.TestStepStart2(stno++,"eUICC卡片初始化;");
…(差异行超限,共 1084 行,此处截断)
- man:
ESIM_TEST_SGP_23.UCE;入口 [('TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset', 'TC_eUICC_ES10c.EnableProfile_Case3', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_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_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3.uce;入口 [('TC_eUICC_ES10c_EnableProfile_Case3_02_merged', 'TC_eUICC_ES10c_EnableProfile_Case3', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10c_EnableProfile_Case3_02_merged)')];参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
5. L2 步骤/APDU/step_map 差异(结构化对齐)
- 命令计数:man 147 / cas 25;精确对齐 16,核心(CLA·INS·P1·P2·Lc)同 4,man-only 127,cas-only 5
| # | -man | -cas | 对齐 | |
|---|---|---|---|---|
| 1 | @RESET | @RESET | exact | |
| 2 | 00A40004023F00 | 00A40004023F0000 | core_same | |
| 3 | 00C0000020 | 00C0000020 | exact | |
| 4 | 80AA000007A9058100830137 | 80AA000007A9058100830107 | core_same | |
| 5 | 801200000F | 801200000F | exact | |
| 6 | 801400000C810301250082028281830100 | 801400000C810301250082028281830100 | exact | |
| 7 | 0070000001 | 0070000001 | exact | |
| 8 | 01A4040010A0000005591010FFFFFFFF8900000100 | 01A4040010A0000005591010FFFFFFFF8900000100 | exact | |
| 9 | 01C0000021 | 01C0000021 | exact | |
| 10 | @RESET | @RESET | exact | |
| 11 | 00A40004023F00 | 00A40004023F0000 | core_same | |
| 12 | 00C0000020 | 00C0000020 | exact | |
| 13 | 80AA000007A9058100830137 | 80AA000007A9058100830107 | core_same | |
| 14 | 801200000F | 801200000F | exact | |
| 15 | 801400000C810301250082028281830100 | 801400000C810301250082028281830100 | exact | |
| 16 | 0070000001 | 0070000001 | exact | |
| 17 | 01A4040010A0000005591010FFFFFFFF8900000100 | 01A4040010A0000005591010FFFFFFFF8900000100 | exact | |
| 18 | 01C0000021 | 01C0000021 | exact | |
| 19 | 00A4000C022FE2 | 00A4000C022FE2 | exact | |
| 20 | 00B000000A | 00B000000A | exact | |
| — | man-only: 8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038, 0070000000, 81E2910003BF2000, 01C00000A9, 81E2910003BF2E00, 01C0000015, 81E21100FFBF388202F030498010353091FAF433…7525350, 81E21101FF54455354310B300906035504061302…603551D, 81E29102F71104073005880388370A300E060355…3000010, 01C0000000, 01C0000000, 01C0000000 | |||
| — | cas-only: 8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200, 81E2900014BF3111A00C5A0A9892090121436587…58101FF, 8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200, 81E2910011BF2D0EA00C5A0A989209012143658709F500, 81C0000005 |
6. L3 规范字段/Expected/REQ/通过条件差异
- spec:/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/spec_intl/SGP.23-v1.16_4.2.21_EnableProfile_Case3.md(风格:mapping);caseir:
/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/caseir_materialized_gate.json
spec_intl 为人工核订映射表风格(规范步骤 ↔ 厂商脚本实现 ↔ 实跑结果):
| 规范步骤 | man 脚本实现 | man 实跑结果 |
|---|---|---|
| General IC+私有 IC(PROF1 已装载且 Disabled,对应 <ISD_P_AID1>) | initial_condition_PROFILE_OPERATIONAL1_is_Disabled()(L5;定义在 TestStep | 通过(Transaction 1=APDU2-258:装载链全绿+PIR「Profile 下载成功」+ICCID/AID/state=00 |
| IC1 PROC_EUICC_INITIALIZATION_SEQUENCE | Ini_powerOn_eUICC_LPAe_not_activate()(L13) | 通过(ttr 步骤1=APDU261-287:复位/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 | 通过(APDU285-294:开通道 01、Select ISD-R FCI SW 9000) |
| 1 MTD_STORE_DATA_Case3(MTD_ENABLE_PROFILE(NO_PARAM, <ISD_P_AID1>, TRUE)) → 无响应数据 SW=91XX(RQ24_010/RQ32_011/RQ32_016_1/RQ32_016_2/RQ57_128/RQ57_129/RQ57_132/RQ57_133_3/RQ57_138) | `EnableProfileRequest{profileIdentifier: ChoiceObj(isdpAid, ISD_P_Test | 通过(APDU297 `81E290001ABF3117A0124F10A0000005591010FFFFFFFF890000110081 |
| 2 S_Device FETCH → REFRESH Command "UICC Reset"(RQ32_016_3/RQ32_017/RQ57_134/RQ57_135_1) | Fetch("","9000","")(L36)+GetValueByTag("01",1) 取 CmdDetails+`Check | 通过(APDU305 FETCH→D009810301010482028182=REFRESH〔command type 01、qual |
| 3 Repeat IC1 and IC2 | Ini_powerOn…(L44)+TS_MANAGE_CHANNEL_OPEN()(L47)+TS_SELECT(…)(L52 | 通过(APDU313-355:复位/MF/TC/TP/FETCH/TR+开通道+Select ISD-R 全 9000) |
| 4 MTD_GET_PROFILE_INFO(NO_PARAM, <ISD_P_AID1>) → #PROFILE_INFO1(Enabled)SW=9000 | `ProfileInfoListRequest{searchCriteria: ChoiceObj(isdpAid, ISD_P_Test0 | 通过(APDU350 81E291001DBF2D1AA0124F10…5C045A4F9F70→APDU351 `BF2D26A024 |
| 5 [SELECT_ICCID] SW=9000 | SelectFileEFPara_3G("2FE2")+SendAPDU(L76-78) | 通过(APDU365 00A4000C022FE2→SW 9000) |
| 6 [READ_BINARY] L=0x0A → #ICCID_OP_PROF1(RQ34_015) | ReadBinaryPara_3G("00","00","0A") 期望响应=ICCID_OP_PROF1(L81-83) | 通过(APDU370 00B000000A→响应 989209012143658709F5 SW 9000;APDU373-376 |
| (收尾,非规范步骤) | RecoverCard()(L85) | 通过(Transaction 3=APDU377-610:MemoryReset 删 profile+复位默认 SM-DP+ 地址,全 90 |
cas CaseIR 步骤/检查:
| 步 | 动作 | checks | REQ |
|---|---|---|---|
| 1 | MTD_STORE_DATA_Case3(MTD_ENABLE_PROFILE(#ICCID_OP_PROF1, NO_PARAM, TRU | ["S1-C1", "S1-C2"] | ["RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_138"] |
| 2 | FETCH 'XX' | ["S2-C1"] | ["RQ32_016_3", "RQ32_017", "RQ57_134", "RQ57_135_1"] |
| 3 | Repeat IC1 and IC2 | [] | [] |
| 4 | MTD_STORE_DATA(MTD_GET_PROFILE_INFO(#ICCID_OP_PROF1, NO_PARAM)) | ["S4-C1", "S4-C2", "S4-C3", "S4-C4", "S4-C5"] | ["RQ32_011", "RQ32_016_1", "RQ32_016_2", "RQ57_128", "RQ57_129", "RQ57_133_3", "RQ57_138"] |
| 5 | [SELECT_ICCID] | ["S5-C1"] | [] |
| 6 | [READ_BINARY] with <L>=0x0A | ["S6-C1", "S6-C2"] | ["RQ34_015"] |
6.1 充分性分析(启发式,不作最终裁定)
- cas:
NO_MECHANICAL_GAPS(全步有检查=True;REQ 全覆盖=False;ErrorCount==0=False) - cas 物化核对(启发式旁证,权威见下行 attestation):声明检查 11 项 / 生成体 checkData 27 次 / S 标号重合 11 / 计数缺口 0 / 形态
FULL;执行面FAIL(计数缺口须结合绑定层隐含断言核验,非直接判缺陷) - cas 编译器自证(check_attestation,同批构建):声明 None = js 27 + binding 0 + gap 0;缺口判定以本行为权威(启发式计数仅旁证)
- man:映射行 10;TTR 期望/实际回声 250;厂商工具内置审计(TTR 期望/实际回声行为证据);脚本字节级充分性不可完全外部验证
- cas 信息步(无线上断言义务):[3]
- REQ 声明面 vs caseir 引用面差异(21 项,非等价缺口判定):['RQ24_010', 'RQ29_002', 'RQ29_022', 'RQ32_012', 'RQ32_017_1', 'RQ32_017_2', 'RQ32_018_1', 'RQ57_127', 'RQ57_127_1', 'RQ57_127_2', 'RQ57_130', 'RQ57_132', 'RQ57_132_1', 'RQ57_133_1', 'RQ57_135_2', 'RQ57_135_4', 'RQ57_136', 'RQ57_137', 'RQ57_139', 'RQ57_140'] …
- caseir open_items:
- 编排面范围裁定(照抄,未验证):#07-#10(B_applicability_rows.md 行61-62 的 C033/C037 条件行)对当前卡判 N/A,不在本轮 R1 盲生成范围
- 卡态编排责任:General IC = PROFILE_OPERATIONAL1 已安装(E_tc_4221.md 表259);序列 IC = PROFILE_OPERATIONAL1 处于 Disabled(表262)——由测试工具动态达成(D_tc_structure_notation.md:Initial Conditions 尽可能动态达成、不得额外操作),非 CaseIR 数据面
- PROC_* 过程步折叠:IC1/IC2 与 step3 'Repeat IC1 and IC2' 未内联展开为子步骤;展开源见 initial_conditions.expansion_source 与 step3.template_source(K_annexC2_procs.md 表1256/表1258)
- EnableProfileRequest 字段编码(profileIdentifier→[0] 显式 A0 包装、refreshFlag→[1] 隐式 81 01 FF/00)已按 RSPDefinitions AUTOMATIC TAGS 规则文本重推(S22_rsp_automatic_tags.md 行9/19 + S22_5_7_15 行85 同模块 [0]-CHOICE/A0 与隐式标签实例互证);语料仍无 EnableProfileRequest 的完整 DER 示例,属规则级机械推导而非示例转录
- step4 响应中 isdpAid(<ISD_P_AID1>)为动态值:仅结构断言(4F 10),字节不断言(#PROFILE_INFO1 引用 G_annexB_dynamic.md 动态内容)
- step2 FETCH 命令 APDU 头编码语料未给出(见该步 unresolved),L2/L3 或工具侧需另行闭合
7. 分类结论(封闭枚举)
| 轴 | 计数 | 说明 |
|---|---|---|
RUN_DIFF | 1 | man 通过 / cas 失败 |
SCRIPT_DIALECT | 186 | 闭包文件差:man-only 3 / cas-only 51;命令序列差:man-only 127 / cas-only 5 |
GEN_DIFF | 21 | REQ 覆盖缺口:['RQ24_010', 'RQ29_002', 'RQ29_022', 'RQ32_012', 'RQ32_017_1', 'RQ32_017_2', 'RQ32_018_1', 'RQ57_127', 'RQ57_127_1', 'RQ57_127_2', 'RQ57_130', 'RQ57_132', 'RQ57_132_1', 'RQ57_133_1', 'RQ57_135_2', 'RQ57_135_4', 'RQ57_136', 'RQ57_137', 'RQ57_139', 'RQ57_140', 'RQ57_140_1'] |
- 置信度:heuristic;需人工复核:False
8. 证据路径
- man 包:
../packages/man/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip - man TTR:
/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/logs/20260908_130958_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset.ttr - cas 包/源:
../packages/cas/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-cas.zip - cas TTR:
/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/logs/4e1f4d63_rerun1/result/TC_eUICC_ES10c_EnableProfile_Case3/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.ttr - spec_intl:
/Users/yuhu/cas/原料/切片/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3/spec_intl/SGP.23-v1.16_4.2.21_EnableProfile_Case3.md - caseir:
/Users/yuhu/cas/experiments/4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-20260907_0139/caseir_materialized_gate.json - step_map:
—