# 4.2.19.2.4 TC_eUICC_ES10b.CancelSession_ErrorCase — `-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.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-man.zip | `ae11ad972d7d5695b34bc7123faff027387ac0e268aff37f50582e1c7ce03a8d` | zip | TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session |
| `-cas` | 4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-cas.zip | `14a7db9bd46abe3d26d8f1713122816f1155b858bae8a86f2647c4dc067ea573` | zip | — |

- man 源路径：`../../packages/man/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-man.zip`
- cas 源路径：`../../packages/cas/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-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_125018:1bfea050340c4333bf4d5627bb8134f8` | — | `/Users/yuhu/cas/原料/切片/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase/logs/20260907_122530_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session.ttr` | `—` |
| `-cas` | `failed` | 纯 native 零卡态前置（N0） | 9 | `7b3dec7c1e6a4b6599beac1e4877fb12` | — | `/Users/yuhu/cas/experiments/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-20261004_021947/logs/7b3dec7c_gapfix1/result/TC_eUICC_ES10b_CancelSession_ErrorCase/TC_eUICC_ES10b_CancelSession_ErrorCase_01_02_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`cas_gapfix_rerun`；job=`7b3dec7c1e6a4b6599beac1e4877fb12`；gaps=["gapfix-rerun：job 终态 succeeded，业务判 failed（error_count=4）；failed 亦为有效终态，如实登记"]
- cas 失败归因引用（块4）：`b5-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行

## 3. HTML 执行日志状态

- `-man`：**NATIVE**（`../../evidence-html/4.2.19.2.4/man/TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session.html`；sha256 `97bfa84872ca6db4b9566c8f34187fd12bc88dc22e0d595a9a4d0ac45986817a`；78174 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.19.2.4/cas/TC_eUICC_ES10b_CancelSession_ErrorCase_01_02_merged.html`；sha256 `20283a3e019667bc248fa5cc3c16793a62dddabbc90ac84401f6cb0c66d2cff7`；18718 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 94 / cas 163；字符：man 3974 / cas 14730
- man 顶层调用 Top：[["TestStepStart", 14], ["TC_eUICC_ES10b_CancelSession_ErrorCase_02_Error_Invalid_Transaction_ID", 2], ["TraceStart", 2], ["Ini_powerOn_eUICC_LPAe_not_activate", 2], ["TS_MANAGE_CHANNEL_OPEN", 2], ["TS_SELECT", 2], ["CancelSessionRequest", 2], ["GenHexData", 2], ["LPAd_Transport_data_to_eUICC", 2], ["CheckData", 2]]
- cas bind 调用：[["checkData", 21], ["sendApdu", 5], ["resetAndAtr", 1], ["runToSteadyState", 1], ["sendTerminalProfile", 1], ["manageChannelOpen", 1]]

| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 4 |

<details><summary>unified diff（截断预览）</summary>

```diff
--- man
+++ cas
@@ -1,93 +1,162 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session + TC_eUICC_ES10b_CancelSession_ErrorCase_02_Error_Invalid_Transaction_ID (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-143915
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.CancelSession_ErrorCase，Test Sequence #01-#02 (Error: No on-going RSP session / Error: Invalid Transaction ID)，适用性 M。
+// Test points: IC1-IC1-K1-C1 ATR_present；IC1-IC1-K2-C2 FCP_Template；IC1-IC1-K2-C4 SW
+//   IC1-IC1-K3-C4 SW；IC1-IC1-K4-C4 final SW；IC2-IC2-K1-C4 SW；IC2-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   IC2-IC2-K2-C4 SW；S3-C1 assemble；S3-C2 assemble；S3-C1 SW；S3-C2 error response；S4-C1 assemble
+//   S4-C2 assemble；S4-C1 SW；S4-C2 error response；S5-C1 SW；S5-C2 R_PREP_DOWNLOAD response structure
+//   S5-C2 R_PREP_DOWNLOAD outer tag；S5-C2 R_PREP_DOWNLOAD required members present
+// 本函数由 CaseIR 4.2.19.2.4 编译生成（fullwave-blindgen-live-70-W1-laneA5，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_ES10b_CancelSession_ErrorCase_01_02_merged() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10b_CancelSession_ErrorCase_01_02_merged");
+    // S1-IC 卡态前提：无进行中的 RSP 会话（即未执行过 Common Mutual Authentication procedure）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S2-IC 通信已初始化且 S_LPAd 已选 ISD-R；#GET_EUICC_INFO1、#GET_EUICC_CHALLENGE、#AUTHENTICATE_SMDP 已发送；同一 GSMA CI 用于签名与验签（存在进行中的 RSP 会话）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session()
-{
-	tracenamestr = "测试目的：无正在进行的RSP会话时，取消RSP会话";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1）：RESET（K 语料机械展开）
+    var s6 = bind.resetAndAtr();
+    bind.checkData("IC1-IC1-K1-C1 ATR_present", "1", s6.atr_hex !== "" ? "1" : "0");
 
-	curDis.TestStepStart("eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // IC ref inline @E 步骤 1（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 s7 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("IC1-IC1-K2-C2 FCP_Template", "1", s7.resp.length > 0 ? "1" : "0");
+    bind.checkData("IC1-IC1-K2-C4 SW", "9000", s7.sw);
 
-	curDis.TestStepStart("读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3）：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s8 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("IC1-IC1-K3-C4 SW", "9000", s8.sw);
 
-	curLogicChannel = 1;
+    // IC ref inline @E 步骤 1（IC1 → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4）：TERMINAL_PROFILE（K 语料机械展开）
+    var steady9 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("IC1-IC1-K4-C4 final SW", "9000", steady9.final.sw);
 
-	curDis.TestStepStart("读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // IC ref inline @E 步骤 2（IC2 → 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 s10 = bind.manageChannelOpen("9000");
+    bind.checkData("IC2-IC2-K1-C4 SW", "9000", s10.sw);
+    bind.checkData("IC2-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s10.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行CancelSession；");
-	var cancelSessionRequest = new CancelSessionRequest();
+    // IC ref inline @E 步骤 2（IC2 → 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 s11 = 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("IC2-IC2-K2-C4 SW", "9000", s11.sw);
 
-	cancelSessionRequest.transactionId = "7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF";
-	cancelSessionRequest.reason = CancelSessionReason.endUserRejection;
-	var CancelSessionRequestHexStr = cancelSessionRequest.GenHexData();
-	var hexData = LPAd_Transport_data_to_eUICC(CancelSessionRequestHexStr);
+    var cs3Tid = "0102030405060708090A0B0C0D0E0F10";
+    // cancel_session 运行时绑定（B-7）：BF41{80<tid> 81 01 00}——tid 声明面哑值；reason S22:9140 枚举
+    var cs3Asm = BindEs10bCancelSession.assembleCancelSession({outer: "BF41", transactionId: "80", reason: "81"}, {transactionId: cs3Tid, reason: "00"});
+    if (cs3Asm.error) {
+        bind.checkData("S3-C1 assemble", "1", "0");
+        bind.checkData("S3-C2 assemble", "1", "0");
+    } else {
+        var s3 = bind.sendApdu(null, "E2", "91", "00", cs3Asm.request_hex, "00", "9000");
+        bind.checkData("S3-C1 SW", "9000", s3.sw);
+        var cs3Ex = BindEs10bCancelSession.extractCancelSession({outer: "BF41", ok: {tag: "A0", children: [{name: "euiccCancelSessionSigned", tag: "30", children: [{name: "transactionId", tag: "80"},{name: "smdpOid", tag: "81"},{name: "reason", tag: "82"}]},{name: "euiccCancelSessionSignature", tag: "5F37"}]},error: {tag: "81"}}, s3.resp);
+        bind.checkData("S3-C2 error response", "BF4103810105", cs3Ex.branch === "error" ? "BF41" + cs3Ex.error.raw : "branch_absent");
+    }
 
-	curStrHandle.CheckData("BF4103810105",hexData,"CancelSessionResponse检查");
+    var cs4Tid = "0102030405060708090A0B0C0D0E0F10";
+    // cancel_session 运行时绑定（B-7）：BF41{80<tid> 81 01 00}——tid 声明面哑值；reason S22:9140 枚举
+    var cs4Asm = BindEs10bCancelSession.assembleCancelSession({outer: "BF41", transactionId: "80", reason: "81"}, {transactionId: cs4Tid, reason: "00"});
+    if (cs4Asm.error) {
+        bind.checkData("S4-C1 assemble", "1", "0");
+        bind.checkData("S4-C2 assemble", "1", "0");
+    } else {
+        var s4 = bind.sendApdu(null, "E2", "91", "00", cs4Asm.request_hex, "00", "9000");
+        bind.checkData("S4-C1 SW", "9000", s4.sw);
+        var cs4Ex = BindEs10bCancelSession.extractCancelSession({outer: "BF41", ok: {tag: "A0", children: [{name: "euiccCancelSessionSigned", tag: "30", children: [{name: "transactionId", tag: "80"},{name: "smdpOid", tag: "81"},{name: "reason", tag: "82"}]},{name: "euiccCancelSessionSignature", tag: "5F37"}]},error: {tag: "81"}}, s4.resp);
+        bind.checkData("S4-C2 error response", "BF4103810105", cs4Ex.branch === "error" ? "BF41" + cs4Ex.error.raw : "branch_absent");
+    }
 
-	RecoverCard();
+    // 步骤 5：MTD_STORE_DATA_SCRIPT（tc_step）
+    // PREP_DOWNLOAD 运行时绑定（PREP_DOWNLOAD_NO_CC；SGP.22 §5.7.5 PrepareDownloadRequest=BF21 成员序 smdpSigned2(30) → smdpSignature2(5F37) → smdpCertificate(30)）：
+    //   无前序 cma_decl 源（GIC CMA）：transactionId 运行时随机（G Annex B <S_TRANSACTION_ID>，vendor RandHexStr 机制）；euiccSignature1 无源→空串，诚实守卫拦截发送（不硬造签名明文）。
+    //   DPpb cert/SK＝named_certs/named_sks 声明面（sha256 锚编译期已核；曲线套索引＝CI 选择同号——同一 GSMA CI 链）。
+    var pd5Certs = ["308201DFA00302010202020101300A06082A8648CE3D04030230443110300E06035504030C07546573742043493111300F060355040B0C0854455354434552543110300E060355040A0C0752535054455354310B3009060355040613024954301E170D3230303430313038333434355A170D3330303333303038333434355A3025310D300B060355040A0C0441434D453114301206035504030C0B5445535420534D2D44502B3059301306072A8648CE3D020106082A8648CE3D03010703420004104C2AE3D02DEF9C979261A7C6710076B970721D0955A2644AE05FAE4BC2314E5DC09F6BF0118026165342E212318775E365F3B57325373066B9906E0BD1388DA381DF3081DC301F0603551D23041830168014F54172BDF98A95D65CBEB88A38A1C11D800A85C3301D0603551D0E04160414E6EAF71EE0FB9430ECCD1EBB421F881437C13263300E0603551D1104073005880388370A300E0603551D0F0101FF04040302078030170603551D200101FF040D300B300906076781120102010530610603551D1F045A3058302AA028A0268624687474703A2F2F63692E746573742E6578616D706C652E636F6D2F43524C2D412E63726C302AA028A0268624687474703A2F2F63692E746573742E6578616D706C652E636F6D2F43524C2D422E63726C300A06082A8648CE3D040302034800304502203EA51B0129FC11E843C38C8CB104244CCF92D8DDBCD4D5F9DAFD0AEF700A9B1C022100FEF382FF71FEFC58168A3607D5685DB7CB48F6B434261891496385BCD6B5857A", "308201E0A00302010202020101300A06082A8648CE3D04030230443110300E06035504030C07546573742043493111300F060355040B0C0854455354434552543110300E060355040A0C0752535054455354310B3009060355040613024954301E170D3230303430313038333434365A170D3330303333303038333434365A3025310D300B060355040A0C0441434D453114301206035504030C0B5445535420534D2D44502B305A301406072A8648CE3D020106092B240303020801010703420004893253ECC94C51DF4FEE6E0DB0951CFC65627481B5418E557069F487FAA15466A5CB8E10CC2B38099CF2A929F7F82DAC065126B71D0640961DB7F91A49E95612A381DF3081DC301F0603551D23041830168014C0BC70BA36929D43B467FF57570530E57AB8FCD8301D0603551D0E04160414A8C68DF449EB71EC723EAC132E40E4B6F54644FE300E0603551D1104073005880388370A300E0603551D0F0101FF04040302078030170603551D200101FF040D300B300906076781120102010530610603551D1F045A3058302AA028A0268624687474703A2F2F63692E746573742E6578616D706C652E636F6D2F43524C2D412E63726C302AA028A0268624687474703A2F2F63692E746573742E6578616D706C652E636F6D2F43524C2D422E63726C300A06082A8648CE3D04030203470030440220244ED22119D00D49D9EA4AC5D9A6D925FACFCD1998A96448A870CE47FE5E470E02206C4BC7223C925D548DDDD3D8DDD81118DA202973311F6012BB0A20E6DD2D7B7B"];
+    var pd5Sks = ["DCD694B778957E8E9ADDBDD94433E9EF8F73D11E491C48D425A38A9491BD3BED", "75FF322F416616DAE1A484EF71D4874FB0DF3295FD35C2CBA489FBB2BB9C7BF6"];
+    var pd5Tid = "";
+    for (var pd5Ri = 0; pd5Ri < 16; pd5Ri++) {
+        pd5Tid += bind.engine.Hex(Math.round(255 * Math.random()), 2);
+    }
+    var pd5Sel = 0;
+    var pd5Sig1 = "";
+    var pd5Dps = [["FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFF", "FFFFFFFF00000001000000000000000000000000FFFFFFFFFFFFFFFFFFFFFFFC", "5AC635D8AA3A93E7B3EBBD55769886BC651D06B0CC53B0F63BCE3C3E27D2604B", "046B17D1F2E12C4247F8BCE6E563A440F277037D812DEB33A0F4A13945D898C2964FE342E2FE1A7F9B8EE7EB4A7C0F9E162BCE33576B315ECECBB6406837BF51F5", "FFFFFFFF00000000FFFFFFFFFFFFFFFFBCE6FAADA7179E84F3B9CAC2FC632551"], ["A9FB57DBA1EEA9BC3E660A909D838D726E3BF623D52620282013481D1F6E5377", "7D5A0975FC2C3057EEF67530417AFFE7FB8055C126DC5C6CE94A4B44F330B5D9", "26DC5C6CE94A4B44F330B5D9BBD77CBF958416295CF7E1CE6BCCDC18FF8C07B6", "048BD2AEB9CB7E57CB2C4B482FFC81B7AFB9DE27E1E3BD23C23A4453BD9ACE3262547EF835C3DAC4FD97F8461A14611DC9C27745132DED8E545C1D54C72F046997", "A9FB57DBA1EEA9BC3E660A909D838D718C397AA3B561A6F7901E0E82974856A7"]];
+    if (pd5Sel < 0 || pd5Sig1 === "") {
+        // fail-closed 诚实面：CMA 运行时操作数缺席（CMA 失败/未执行）→ BF21 不发送（前序 CMA 步断言面已计错，本步不伪造通过）。
+        bind.checkData("S5-C1 SW", "9000", "pd5_not_executed:cma_operands_absent");
+        bind.checkData("S5-C2 R_PREP_DOWNLOAD response structure", "1", "pd5_not_executed:cma_operands_absent");
+    } else {
+        bind.engine.InitEccDomainParams(pd5Dps[pd5Sel][0], pd5Dps[pd5Sel][1], pd5Dps[pd5Sel][2], pd5Dps[pd5Sel][3], pd5Dps[pd5Sel][4], 1);
+        var pd5S2 = BindEs10xSingleRequest.buildTlv("30",
+            BindEs10xSingleRequest.buildTlv("80", pd5Tid)
+            + BindEs10xSingleRequest.buildTlv("01", "00"));
…（差异行超限，共 248 行，此处截断）
```

</details>
### 4.2 UCE/命名对照

- man：`ESIM_TEST_SGP_23.UCE`；入口 [('TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session', 'TC_eUICC_ES10b.CancelSession_ErrorCase', 'Import\\\\ExecuteTestCase_SGP_23.js(TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}
- cas：`TC_eUICC_ES10b_CancelSession_ErrorCase/TC_eUICC_ES10b_CancelSession_ErrorCase.uce`；入口 [('TC_eUICC_ES10b_CancelSession_ErrorCase_01_02_merged', 'TC_eUICC_ES10b_CancelSession_ErrorCase', 'Import\\\\ExecuteTestCase_spec.js(TC_eUICC_ES10b_CancelSession_ErrorCase_01_02_merged)')]；参数 {"ReaderName": "Identiv SCR35xx USB Smart Card Reader 0"}

## 5. L2 步骤/APDU/step_map 差异（结构化对齐）

- 命令计数：man 39 / cas 14；精确对齐 9，核心（CLA·INS·P1·P2·Lc）同 2，man-only 28，cas-only 3

| # | `-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 | `01C0000006` | `01C0000006` | exact |
| 11 | `01C0000006` | `01C0000006` | exact |
| — | man-only: `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `0070000000`, `81E2910018BF411580107FFFFFFFFFFFFFFFFFFF…F810100`, `@RESET`, `00A40004023F00`, `00C0000020`, `80AA000007A9058100830137`, `8010000023FFFFFFFF7F9D00DFBF00001FE20000…0000038`, `801200000F`, `801400000C810301250082028281830100`, `0070000000`, `0070000001` | | |
| — | | cas-only: `8010000020FFFFFFFF7F9D00DFBF00001FE20000…0000200`, `01E2910018BF411580100102030405060708090A…1010000`, `01E2910018BF411580100102030405060708090A…1010000` | | |

## 6. L3 规范字段/Expected/REQ/通过条件差异

- spec：/Users/yuhu/cas/原料/切片/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase/spec_intl/SGP.23-v1.16_4.2.19_CancelSession_ErrorCase.md（风格：table）；caseir：`/Users/yuhu/cas/experiments/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-20261004_021947/caseir_materialized_gate.json`

| 步 | 规范动作 | Expected 片段 | 规范 REQ | cas 检查 | cas REQ | man 实现 | man 结果 |
|---|---|---|---|---|---|---|---|
| 1 | MTD_STORE_DATA(#CANCEL_SESSION_INV_TRANS_ID) | 1 | ["RQ57_109", "RQ57_114", "RQ57_115"] | ["S3-C1", "S3-C2"] | ["RQ57_109", "RQ57_114", "RQ57_115"] | `CancelSessionRequest transactionId="7FFF…FF"（32×F 无效 ID）rea | 通过（GET RESPONSE 9000，`BF4103810105`＝期望＝实际——卡对无会话 CancelSession 返回错误码且 SW=9000，ttr APDU40-APDU47） |

### 6.1 充分性分析（启发式，不作最终裁定）

- cas：`NO_MECHANICAL_GAPS`（全步有检查=True；REQ 全覆盖=True；ErrorCount==0=False）
- cas 物化核对（启发式旁证，权威见下行 attestation）：声明检查 8 项 / 生成体 checkData 21 次 / S 标号重合 6 / 计数缺口 0 / 形态 `FULL`；执行面 `FAIL`（计数缺口须结合绑定层隐含断言核验，非直接判缺陷）
- **cas 编译器自证（check_attestation，同批构建）**：声明 None = js 14 + binding 0 + gap 0；缺口判定以本行为权威（启发式计数仅旁证）
- cas 未物化检查（绑定序列内且**完全未见**，共 2；方向性旁证，权威见上行 attestation）：含机械模式 2 项 ['S1-C1', 'S2-C1']；无模式 0 项 []
- man：mapping 行 4 / 规范步 1；TTR 期望/实际回声 58；厂商工具内置审计（TTR 期望/实际回声行为证据）；脚本字节级充分性不可完全外部验证
- caseir open_items：
  - PROC_EUICC_INITIALIZATION_SEQUENCE / PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR 已按 K_annexC2_procs 展开（R2 闭合）
  - CancelSessionRequest transactionId TLV：TransactionId 基类型语料缺席 + 值动态 → 保持 dynamic/null（BF41/reason 已闭合）
  - #PREP_DOWNLOAD_NO_CC：动态签名与证书语料缺席 → 保持 null（BF21 结构已闭合）
  - <INVALID_TRANSACTION_ID> 动态（须 ≠ <S_TRANSACTION_ID>）
  - 序列#01『无进行中 RSP 会话』卡态为编排责任
  - 【B-7 2026-10-04】CancelSession BF41 动态绑定闭合：#CANCEL_SESSION_* 步 dynamic_extracts 声明 source_kind=cancel_session（reason 枚举 S22:9140；tid 运行时随机（S_TRANSACTION_ID）或哑值（INVALID_TRANSACTION_ID，error 语义）；error 响应期望整串 BF4103810105＝切片 TestCase_SGP_23.js:27 实锚）；请求装配 BF41{80<tid> 81 01<reason>}（vendor RSP_Obj tag ABI），ok 响应 A0{30{80/81/82}+5F37} 结构断言＋tid 回声等值＋SW=9000。

## 7. 分类结论（封闭枚举）

| 轴 | 计数 | 说明 |
|---|---|---|
| `RUN_DIFF` | 1 | man 通过 / cas 失败 |
| `SCRIPT_DIALECT` | 85 | 闭包文件差：man-only 3 / cas-only 51；命令序列差：man-only 28 / cas-only 3 |
| `EVIDENCE_MISSING` | 2 | cas 声明但未物化的检查：['S1-C1', 'S2-C1'] |

- 置信度：heuristic；需人工复核：False

## 8. 证据路径

- man 包：`../../packages/man/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-man.zip`
- man TTR：`/Users/yuhu/cas/原料/切片/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase/logs/20260907_122530_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_CancelSession_ErrorCase_01_Error_No_on_going_RSP_session.ttr`
- cas 包/源：`../../packages/cas/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-cas.zip`
- cas TTR：`/Users/yuhu/cas/experiments/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-20261004_021947/logs/7b3dec7c_gapfix1/result/TC_eUICC_ES10b_CancelSession_ErrorCase/TC_eUICC_ES10b_CancelSession_ErrorCase_01_02_merged.ttr`
- spec_intl：`/Users/yuhu/cas/原料/切片/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase/spec_intl/SGP.23-v1.16_4.2.19_CancelSession_ErrorCase.md`
- caseir：`/Users/yuhu/cas/experiments/4.2.19.2.4-TC_eUICC_ES10b.CancelSession_ErrorCase-20261004_021947/caseir_materialized_gate.json`
- step_map：`—`