# 5.2.4.2.1 TC_eUICC_Default_FileSystem — `-man` ↔ `-cas` diff 报告 > **交付形态说明**：本报告随专家交付包分发——`-man`/`-cas` 脚本包 zip 与 190server HTML 执行日志已内联至 `packages/`、`evidence-html/`，相应路径已相对化；TTR、spec_intl、caseir 等仓内留痕仍为生成机原始路径（未随包）。 - 生成时间：2026-10-08 22:57:12 ｜引擎：holiday-blk5/0.1｜配对状态：`PAIRED` - 分母口径：卡侧 61 之一 ## 1. 配对与包 | 侧 | 包/源 | sha256 | 源类型 | 入口用例 | |---|---|---|---|---| | `-man` | 5.2.4.2.1-TC_eUICC_Default_FileSystem-man.zip | `9a76986e314db060aad4043ca76b7afb25130e3ab57e4e247bc11bb97e58ebda` | zip | TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available | | `-cas` | 5.2.4.2.1-TC_eUICC_Default_FileSystem-cas.zip | `b51135c853972f0858fac803484582d7957c1b75be25951686e146d131913c0b` | zip | — | - man 源路径：`../../packages/man/5.2.4.2.1-TC_eUICC_Default_FileSystem-man.zip` - cas 源路径：`../../packages/cas/5.2.4.2.1-TC_eUICC_Default_FileSystem-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_133457:df6d31f3db35413d90cefea98ccf8a52` | — | `/Users/yuhu/cas/原料/切片/5.2.4.2.1-TC_eUICC_Default_FileSystem/logs/20260907_132158_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available.ttr` | `—` | | `-cas` | `failed` | 纯 native 零卡态前置（N0） | 29 | `f44bfead7d07491d8ba3d2a23b24d2f3` | — | `/Users/yuhu/cas/experiments/5.2.4.2.1-TC_eUICC_Default_FileSystem-20261008_013820/logs/f44bfead_gapfix1/result/TC_eUICC_Default_FileSystem/TC_eUICC_Default_FileSystem_01_merged.ttr` | `—` | - cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准） - cas 4.6 波次最新执行：terminal=`failed`；stage=`cas_gapfix_rerun`；job=`f44bfead7d07491d8ba3d2a23b24d2f3`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 failed（error_count=4）；failed 亦为有效终态，如实登记"] - cas 失败归因引用（块4）：`b8-attribution.md` - cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行 ## 3. HTML 执行日志状态 - `-man`：**NATIVE**（`../../evidence-html/5.2.4.2.1/man/TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available.html`；sha256 `0ea740a7f86b061dfbd5e5e82d83f03cfb0ac616d3d8ed6feb21a0cbf3fc6370`；14338 bytes） - `-cas`：**NATIVE**（`../../evidence-html/5.2.4.2.1/cas/TC_eUICC_Default_FileSystem_01_merged.html`；sha256 `d1c18139db767fbbd3eaa4d6bcdd415745b6495f1565af5f3323b5ac16db0e89`；9106 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 23 / cas 49；字符：man 676 / cas 3665 - man 顶层调用 Top：[["TestStepStart2", 4], ["TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available", 2], ["TraceStart", 1], ["ResetCard", 1], ["check_eUICC_support_TERMINAL_CAPABILITY_cmd", 1], ["TS_TERMINAL_CAPABILITY_cmd", 1], ["IniCard_SetUpMenu", 1]] - cas bind 调用：[["checkData", 11], ["sendApdu", 2], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1]] | 方言映射对 | 命中数 | |---|---| | ResetCard() ↔ bind.resetAndAtr() | 1 | | TS_*_cmd() ↔ bind.* 命令封装 | 1 |
unified diff（截断预览） ```diff --- man +++ cas @@ -1,22 +1,48 @@ -// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available (extracted verbatim) +// Author: 卡思Cas智能体 +// Date: 20261004-022947 +// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_Default_FileSystem，Test Sequence #01 Nominal: Default file system available（本 TC 单条 Test Sequence），适用性 M。 +// Test points: S1-C1 ATR_present；S1-C1 T15_present；S1-C1 first_tB_after_T15；S1-C2 tB_b2 +// S2-C1 FCP_Template；S2-C2 tag_87_in_A5；S2-C2 87_low_byte；S2-C3 SW；S3-C1 SW；S4-C3 final SW +// S4-C2 refresh_uicc_reset_mode +// 本函数由 CaseIR 5.2.4.2.1 编译生成（5.2.4.2.1-TC_eUICC_Default_FileSystem-20261004_022947，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。 +// IC1 卡态声明（E 段 General Initial Conditions，编排责任）：There is no Profile installed in the eUICC.: declared unexpanded (no fabricated bytes; provenance = expansion_source). +function TC_eUICC_Default_FileSystem_01_merged() { + var bind = curBind; -function TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available() -{ + // 步骤 1：RESET（tc_step；REQ: RQ34_003, RQ34_004_1） + var s1 = bind.resetAndAtr(); + bind.checkData("S1-C1 ATR_present", "1", s1.atr_hex !== "" ? "1" : "0"); + bind.checkData("S1-C1 T15_present", "present", s1.atr_parse.t15_round !== null ? "present" : "absent"); + bind.checkData("S1-C1 first_tB_after_T15", "present", s1.atr_parse.first_tbi_after_t15 !== null ? "present" : "absent"); + bind.checkData("S1-C2 tB_b2", "1", s1.atr_parse.euicc_b2.present ? String(s1.atr_parse.euicc_b2.b2) : "absent:" + s1.atr_parse.euicc_b2.reason); - tracenamestr = "验证卡内没有profile时，存在默认文件系统的测试"; - curDis.TraceStart(sno++,tracenamestr); + // 步骤 2：SELECT_MF（tc_step；REQ: RQ34_010, RQ34_011, RQ34_005_1, RQ34_003, RQ34_004_1） + // 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 s2 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000"); + bind.checkData("S2-C1 FCP_Template", "1", s2.resp.length > 0 ? "1" : "0"); + var a5p2S2C2 = s2.resp.indexOf("A5"); + var t872S2C2 = a5p2S2C2 >= 0 ? s2.resp.substring(a5p2S2C2).indexOf("870101") : -1; + bind.checkData("S2-C2 tag_87_in_A5", "present", t872S2C2 >= 0 ? "present" : "absent"); + bind.checkData("S2-C2 87_low_byte", "01", t872S2C2 >= 0 ? s2.resp.substring(a5p2S2C2 + t872S2C2 + 4, a5p2S2C2 + t872S2C2 + 6) : "absent"); + bind.checkData("S2-C3 SW", "9000", s2.sw); - curLogicChannel = 0; - curDis.TestStepStart2(stno++,"复位；"); - ResetCard(); + // 步骤 3：TERMINAL_CAPABILITY_LPAd（tc_step；REQ: RQ34_005_1, RQ34_003, RQ34_004_1） + var s3 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000"); + bind.checkData("S3-C1 SW", "9000", s3.sw); - curDis.TestStepStart2(stno++,"选择MF；"); - check_eUICC_support_TERMINAL_CAPABILITY_cmd(); - - curDis.TestStepStart2(stno++,"发送TERMINAL CAPABILITY命令；"); - TS_TERMINAL_CAPABILITY_cmd(); - - curDis.TestStepStart2(stno++,"发送TERMINAL PROFILE命令；"); - IniCard_SetUpMenu("",1); - + // 步骤 4：TERMINAL_PROFILE（tc_step；REQ: RQ34_003, RQ34_004_1） + var tp4 = null; + var steady4 = bind.runToSteadyState(function () { + tp4 = bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000/91XX"); + return tp4; + }); + bind.checkData("S4-C3 final SW", "9000", steady4.final.sw); + bind.checkData("S4-C2 refresh_uicc_reset_mode", "supported", tp4.cmd.substring(14, 16) == "FF" ? "supported" : "absent"); + // S4-C1: 'interim_SW' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule). + // S4-C1: 'fetch_issued' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule). + // S4-C1: 'terminal_response' structurally guaranteed by runToSteadyState (binding layer unit 4, chaining rule). + // S4-C1: binding:runToSteadyState_structural(chaining-rule) (check_attestation) } ```
### 4.2 UCE/命名对照 - man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available', 'eUICC File Structure', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} - cas：`TC_eUICC_Default_FileSystem/TC_eUICC_Default_FileSystem.uce`；入口 [('TC_eUICC_Default_FileSystem_01_merged', 'TC_eUICC_Default_FileSystem', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_Default_FileSystem_01_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"} ## 5. L2 步骤/APDU/step_map 差异（结构化对齐） - 命令计数：man 7 / cas 0；精确对齐 0，核心（CLA·INS·P1·P2·Lc）同 0，man-only 7，cas-only 0 | # | `-man` | `-cas` | 对齐 | |---|---|---|---| | — | man-only: `@RESET`, `00A40004023F00`, `00C000002C`, `80AA000007A9058100830137`, `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `801200000F`, `801400000C810301250082028281830100` | | | ## 6. L3 规范字段/Expected/REQ/通过条件差异 - spec：/Users/yuhu/cas/原料/切片/5.2.4.2.1-TC_eUICC_Default_FileSystem/spec_intl/SGP.23-v1.16_5.2.4_Default_FileSystem.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/5.2.4.2.1-TC_eUICC_Default_FileSystem-20261008_013820/caseir_materialized_gate.json` | 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 | |---|---|---|---|---|---|---|---| | 1 | RESET | 1 | ["RQ34_003", "RQ34_004_1"] | ["S1-C1"] | ["RQ34_003", "RQ34_004_1"] | `ResetCard()`（L11，Reader.js:37 复位） | 通过（复位成功，**ATR `3B9D96803FC6A38031E073FE2133F50005000300EC`** 在案，ttr APDU4-APDU5） | | 2 | [SELECT_MF] | 1 | ["RQ34_010", "RQ34_011", "RQ34_005_1", "RQ34_003", "RQ34_004_1"] | ["S2-C1", "S2-C2", "S2-C3"] | ["RQ34_003", "RQ34_004_1", "RQ34_005_1", "RQ34_010", "RQ34_011"] | `check_eUICC_support_TERMINAL_CAPABILITY_cmd()`（L14；RSP_Test | 通过（`00A40004023F00` → GET RESPONSE SW=9000，FCP `622A 82027821 83023F00 **A5 06 8001 79 87 0101** 8A0105 8B032F060E …`——A5 内 87 0101 与规范 Expected 逐字对齐；期望/实际 SW=9000 行在案，ttr APDU7-APDU11） | | 3 | [TERMINAL_CAPABILITY_LPAd] | 1 | ["RQ34_005_1", "RQ34_003", "RQ34_004_1"] | ["S3-C1"] | ["RQ34_003", "RQ34_004_1", "RQ34_005_1"] | `TS_TERMINAL_CAPABILITY_cmd()`（L17，RSP_Test_Procedure.js:62 | 通过（SW=9000 期望/实际行在案，ttr APDU13-APDU16） | | 4 | [TERMINAL_PROFILE] | 1 | ["RQ34_003", "RQ34_004_1"] | ["S4-C1", "S4-C2"] | ["RQ34_003", "RQ34_004_1"] | `IniCard_SetUpMenu("",1)`（L20，OTAMenuOperation.js:6 起——TERMI | 通过（TERMINAL PROFILE 8010…SW=910F→**FETCH SET UP MENU（D00D 81 03 012500…）**→TERMINAL RESPONSE SW=9000，ttr APDU18-APDU29） | ### 6.1 充分性分析（启发式，不作最终裁定） - cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False） - cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 7 项 / 生成体 checkData 11 次 / S 标号重合 6 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷） - **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 8 + binding 1 + gap 0；缺口判定以本行为权威（启发式计数仅旁证） - binding 覆盖示例：`S4-C1`→binding:runToSteadyState_structural(chaining-rule) - cas 注释面登记检查（未以 checkData 物化、代码内有注释说明）：['S4-C1'] - man：mapping 行 5 / 规范步 4；TTR 期望/实际回声 8；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证 - caseir open_items： - General Initial Condition（eUICC 无 Profile）的卡态准备属编排/测试工具责任，非 CaseIR 范围 - RQ34_011 的 MAY 项（EF_ENV-CLASSES / EF_UMPC）为可选，本 TC 未断言其存在 ## 7. 分类结论（封闭枚举） | 轴 | 计数 | 说明 | |---|---|---| | `RUN_DIFF` | 1 | man 通过 / cas 失败 | | `SCRIPT_DIALECT` | 54 | 闭包文件差：man-only 3 / cas-only 51 | | `GEN_DIFF` | 7 | 命令序列差：man-only 7 / cas-only 0 | | 侧 | 根因候选（七类，启发式签名） | 签名 | |---|---|---| | cas | `card_error` | `Connect Reader 失败|card is NOT connected|SW=0000|SW=00000000` | > 签名为文本面启发式命中（如 `6D00` 等 SW 亦可能是负例期望值），须结合 Expected 面核验后方可定论。 - 置信度：heuristic；需人工复核：False ## 8. 证据路径 - man 包：`../../packages/man/5.2.4.2.1-TC_eUICC_Default_FileSystem-man.zip` - man TTR：`/Users/yuhu/cas/原料/切片/5.2.4.2.1-TC_eUICC_Default_FileSystem/logs/20260907_132158_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available.ttr` - cas 包/源：`../../packages/cas/5.2.4.2.1-TC_eUICC_Default_FileSystem-cas.zip` - cas TTR：`/Users/yuhu/cas/experiments/5.2.4.2.1-TC_eUICC_Default_FileSystem-20261008_013820/logs/f44bfead_gapfix1/result/TC_eUICC_Default_FileSystem/TC_eUICC_Default_FileSystem_01_merged.ttr` - spec_intl：`/Users/yuhu/cas/原料/切片/5.2.4.2.1-TC_eUICC_Default_FileSystem/spec_intl/SGP.23-v1.16_5.2.4_Default_FileSystem.md` - caseir：`/Users/yuhu/cas/experiments/5.2.4.2.1-TC_eUICC_Default_FileSystem-20261008_013820/caseir_materialized_gate.json` - step_map：`—`