eSIM RSP 测试用例对比站

人工切片(-man) ↔ Cas 盲生成(-cas)· 真机真卡执行证据对照

4.2.21.2.1 ES10c 启用 Profile(Case 3)

TC_eUICC_ES10c.EnableProfile_Case3

章节:4.2.21 · ES10c (LPA -- eUICC): EnableProfile配对状态:PAIRED报告生成:2026-10-08 22:57:10数据包生成:2026-10-08 22:57:09
-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_DIFFman 通过 / cas 失败1
SCRIPT_DIALECT闭包文件差:man-only 3 / cas-only 51;命令序列差:man-only 127 / cas-only 5186
GEN_DIFFREQ 覆盖缺口:['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源类型入口用例
-man4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-man.zip5503213f1118db174e4e3534b268d31f0f910ac83f2c91b590341bd6b2166a2ezipTC_eUICC_ES10c_EnableProfile_Case3_01_Nominal_Enable_Profile_by_ISD_P_AID_and_refreshFlag_set_when_Device_supports_UICC_Reset
-cas4.2.21.2.1-TC_eUICC_ES10c.EnableProfile_Case3-cas.zip8143cc803fa394073fe5de6196c109f2406b1360b4f010b7ce54bad827a3c50ezip—
  • 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/终态)

侧终态/计划备注ErrorCountjob_id业务状态TTR诊断包
-manok_ok 复用(结构 A1-A7 PASS;_ok run 无厂商错误行)020261007_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—
-casfailedcard_state+canary 序 #06→#04→#02;native blocked;历史通道=legacy wrapped/dualseq174e1f4d63df6542a9a8abd32ad48cc67f—/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;sha256 00858d3c3c7cb415e28ce294644b795fb3591404118a5f15014a89e4d303f307;332373 bytes)
  • -cas:NATIVE(../evidence/4.2.21.2.1/cas/TC_eUICC_ES10c_EnableProfile_Case3_02_merged.html;sha256 47fbca15dcfe6889d8e7b08d00a5f94388636c0bf1e740c649b8cb472ab1aaee;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 行,此处截断)
### 4.2 UCE/命名对照
  • 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@RESETexact
200A40004023F0000A40004023F0000core_same
300C000002000C0000020exact
480AA000007A905810083013780AA000007A9058100830107core_same
5801200000F801200000Fexact
6801400000C810301250082028281830100801400000C810301250082028281830100exact
700700000010070000001exact
801A4040010A0000005591010FFFFFFFF890000010001A4040010A0000005591010FFFFFFFF8900000100exact
901C000002101C0000021exact
10@RESET@RESETexact
1100A40004023F0000A40004023F0000core_same
1200C000002000C0000020exact
1380AA000007A905810083013780AA000007A9058100830107core_same
14801200000F801200000Fexact
15801400000C810301250082028281830100801400000C810301250082028281830100exact
1600700000010070000001exact
1701A4040010A0000005591010FFFFFFFF890000010001A4040010A0000005591010FFFFFFFF8900000100exact
1801C000002101C0000021exact
1900A4000C022FE200A4000C022FE2exact
2000B000000A00B000000Aexact
—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_SEQUENCEIni_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_ISDRTS_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 IC2Ini_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=9000SelectFileEFPara_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 步骤/检查:

步动作checksREQ
1MTD_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"]
2FETCH 'XX'["S2-C1"]["RQ32_016_3", "RQ32_017", "RQ57_134", "RQ57_135_1"]
3Repeat IC1 and IC2[][]
4MTD_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_DIFF1man 通过 / cas 失败
SCRIPT_DIALECT186闭包文件差:man-only 3 / cas-only 51;命令序列差:man-only 127 / cas-only 5
GEN_DIFF21REQ 覆盖缺口:['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:—