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. 配对与包

• 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/终态）

• 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/5.2.4.2.1/man/TC_eUICC_Default_FileSystem_01_Nominal_Default_file_system_available.html；sha256 0ea740a7f86b061dfbd5e5e82d83f03cfb0ac616d3d8ed6feb21a0cbf3fc6370；14338 bytes）
• -cas：NATIVE（../evidence/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]]

--- 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)
 }

• 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

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

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. 分类结论（封闭枚举）

签名为文本面启发式命中（如 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：—