# 4.2.19.2.2 TC_eUICC_ES10b.CancelSessionBRP — `-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.2-TC_eUICC_ES10b.CancelSessionBRP-man.zip | `98ffc1fa17701c9ae3b74cc66560ebae04451200710ed68c3815d10c919a2b36` | zip | TC_eUICC_ES10b_CancelSessionBRP_01_Nominal_End_User_Rejection |
| `-cas` | 4.2.19.2.2-TC_eUICC_ES10b.CancelSessionBRP-cas.zip | `9516146d3531a474e5ca083815ca762a88a900f6ea29437f520a0b2c2c2f3995` | zip | — |
- man 源路径：`../../packages/man/4.2.19.2.2-TC_eUICC_ES10b.CancelSessionBRP-man.zip`
- cas 源路径：`../../packages/cas/4.2.19.2.2-TC_eUICC_ES10b.CancelSessionBRP-cas.zip`
- 上游来源：{"man_ledger": true, "cas_ledger": true, "naming_map": true, "html_probe": true, "man_package": true, "cas_package": true}
- 适用性：naming-map=`C002` ["C002", "C002", "C002", "C002", "C002"]；caseir=`C002`
## 2. 执行摘要（双方 job/终态）
| 侧 | 终态/计划 | 备注 | ErrorCount | job_id | 业务状态 | TTR | 诊断包 |
|---|---|---|---|---|---|---|---|
| `-man` | `ok` | `_ok` 复用（结构 A1-A7 PASS；`_ok` run 无厂商错误行） | 0 | `20261007_124941:8c09b80dd3134f269e28a4709ed85c1b` | — | `/Users/yuhu/cas/原料/切片/4.2.19.2.2-TC_eUICC_ES10b.CancelSessionBRP/logs/20260907_210943_ok/extracted/ESIM_TEST_SGP_23/TC_eUICC_ES10b_CancelSessionBRP_01_Nominal_End_User_Rejection.ttr` | `—` |
| `-cas` | `failed` | 纯 native 零卡态前置（N0） | 105 | `745cab1b5c314adc9e798ceaff05d31b` | — | `/Users/yuhu/cas/experiments/4.2.19.2.2-TC_eUICC_ES10b.CancelSessionBRP-20261004_021946/logs/745cab1b5c314adc9e798ceaff05d31b/result/TC_eUICC_ES10b_CancelSessionBRP/TC_eUICC_ES10b_CancelSessionBRP_01_08_merged.ttr` | `—` |
- cas 块4账本：decision=`RERUN`；route=`native_N0`；live 事件 2 条（4.6 波次进行中；以块4终版账本为准）
- cas 4.6 波次最新执行：terminal=`failed`；stage=`verify`；job=`745cab1b5c314adc9e798ceaff05d31b`；gaps=["trace verdict=FAIL", "S1-SW: 期望 SW=9000，实际值 '6D00'（行 11）不符——证据矛盾", "S3-SW: 期望 SW=9000，实际值 '6D00'（行 24）不符——证据矛盾", "S5-SW: 期望 SW=9000，实际值 '6D00'（行 37）不符——证据矛盾", "S7-SW: 期望 SW=9000，实际值 '6D00'（行 50）不符——证据矛盾", "S9-SW: 期望 SW=9000，实际值 '6D00'（行 63）不符——证据矛盾", "结果通道 verdict='FAIL'"]
- cas 失败归因引用（块4）：`b5-attribution.md`, `b7-attribution.md`
- cas 证据来源分层：`RERUN` → 本轮 4.6 波次执行
## 3. HTML 执行日志状态
- `-man`：**NATIVE**（`../../evidence-html/4.2.19.2.2/man/TC_eUICC_ES10b_CancelSessionBRP_01_Nominal_End_User_Rejection.html`；sha256 `e241a61802b7f4db4c858ab3046f09b15beaec95de1dcd0cd92dd70204e03bcf`；142380 bytes）
- `-cas`：**NATIVE**（`../../evidence-html/4.2.19.2.2/cas/TC_eUICC_ES10b_CancelSessionBRP_01_08_merged.html`；sha256 `991d7b81248fb6b1a3671d271655efc528d9ac37fa8b708b9d34d50c0d1eb9a9`；30397 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 448 / cas 413；字符：man 17372 / cas 33738
- man 顶层调用 Top：[["TestStepStart", 87], ["ES10b_AuthenticateServer", 16], ["ES10b_PrepareDownload", 11], ["check_Applicability_of_tests_RSP_SGP23_test", 8], ["TraceStart", 8], ["Ini_powerOn_eUICC_LPAe_not_activate", 8], ["TS_MANAGE_CHANNEL_OPEN", 8], ["TS_SELECT", 8], ["RSP_profile_load_procedure_LPAd", 8], ["ES10b_GetEUICCInfo1", 8]]
- cas bind 调用：[["checkData", 84], ["sendApdu", 12]]
| 方言映射对 | 命中数 |
|---|---|
| TS_*_cmd() ↔ bind.* 命令封装 | 16 |
unified diff（截断预览）
```diff
--- man
+++ cas
@@ -1,447 +1,412 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_CancelSessionBRP_01_Nominal_End_User_Rejection + TC_eUICC_ES10b_CancelSessionBRP_02_Nominal_End_User_Postponed + TC_eUICC_ES10b_CancelSessionBRP_03_Nominal_Timeout + TC_eUICC_ES10b_CancelSessionBRP_04_Nominal_PPR_not_allowed + TC_eUICC_ES10b_CancelSessionBRP_05_Nominal_Metadata_Mismatch + TC_eUICC_ES10b_CancelSessionBRP_06_Nominal_BPP_Parsing_Error + TC_eUICC_ES10b_CancelSessionBRP_07_Nominal_Load_BPP_Execution_Error + TC_eUICC_ES10b_CancelSessionBRP_08_Nominal_Undefined_Reason (extracted verbatim)
-
-function TC_eUICC_ES10b_CancelSessionBRP_01_Nominal_End_User_Rejection()
-{
- //测试入口条件
- if(!check_Applicability_of_tests_RSP_SGP23_test("C002"))
- return;
-
- tracenamestr = "测试目的：终端用户拒绝";
- curDis.TraceStart(sno++,tracenamestr);
-
- curDis.TestStepStart("eUICC卡片初始化；");
- Ini_powerOn_eUICC_LPAe_not_activate();
-
- curDis.TestStepStart("读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
- TS_MANAGE_CHANNEL_OPEN();
-
- curLogicChannel = 1;
-
- curDis.TestStepStart("读卡器向卡片发送SELECT命令，选择ISD-R；");
- TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
- pkId_CI_ForVerification = pkId_CI_ECDSA_BRP;
- pkId_CI_ForSigning = pkId_CI_ECDSA_BRP;
-
- var Profile_load_procedure = new RSP_profile_load_procedure_LPAd(PROFILE_OPERATIONAL1_DATA);
- Profile_load_procedure.ICCID = ICCID_OP_PROF1;
- Profile_load_procedure.ES10b_GetEUICCInfo1();
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
- Profile_load_procedure.ES10b_GetEUICCChallenge();
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
- Profile_load_procedure.ES10b_AuthenticateServer();
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行CancelSession；");
- Profile_load_procedure.ES10b_CancelSession(CancelSessionReason.endUserRejection);
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest；");
- Profile_load_procedure.PrepareDownloadisErrorTest = true;
- Profile_load_procedure.preparedownloadErrorCode = DownloadErrorCode.noSessionContext;
- Profile_load_procedure.ES10b_PrepareDownload();
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行GetEuiccDataRequest(GetEID)；");
- Profile_load_procedure.ES10b_GetEID();
-
- curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
- Profile_load_procedure.isErrorTest = true;
- euiccAuthenticateErrorCode=AuthenticateErrorCode.noSessionContext;
- Profile_load_procedure.ES10b_AuthenticateServer();
-
- RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-143915
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.CancelSessionBRP，Test Sequence #01-#08 (8 Nominal sequences；各序列 SHALL be the same as 4.2.19.2.1 对应序列，唯全部密钥与证书基于 BrainpoolP256r1)，适用性 C002。
+// Test points: S1-C1 assemble；S1-C2 assemble；S1-C3 assemble；S1-C4 assemble；S1-C1 SW
+// S1-C2 cancelSessionResponseOk structure；S1-C3 cancelSessionResponseOk structure
+// S1-C4 transactionId echo；S2-C1 proc state；S2-C2 proc state；S3-C1 assemble；S3-C2 assemble
+// S3-C3 assemble；S3-C4 assemble；S3-C1 SW；S3-C2 cancelSessionResponseOk structure
+// S3-C3 cancelSessionResponseOk structure；S3-C4 transactionId echo；S4-C1 proc state
+// S4-C2 proc state；S5-C1 assemble；S5-C2 assemble；S5-C3 assemble；S5-C4 assemble；S5-C1 SW
+// S5-C2 cancelSessionResponseOk structure；S5-C3 cancelSessionResponseOk structure
+// S5-C4 transactionId echo；S6-C1 proc state；S6-C2 proc state；S7-C1 assemble；S7-C2 assemble
+// S7-C3 assemble；S7-C4 assemble；S7-C1 SW；S7-C2 cancelSessionResponseOk structure
+// S7-C3 cancelSessionResponseOk structure；S7-C4 transactionId echo；S8-C1 proc state
+// S8-C2 proc state；S9-C1 assemble；S9-C2 assemble；S9-C3 assemble；S9-C4 assemble；S9-C1 SW
+// S9-C2 cancelSessionResponseOk structure；S9-C3 cancelSessionResponseOk structure
+// S9-C4 transactionId echo；S13-C1 SW in 6985/6A88；S14-C1 proc state；S14-C2 proc state
+// S15-C1 assemble；S15-C2 assemble；S15-C3 assemble；S15-C4 assemble；S15-C1 SW
+// S15-C2 cancelSessionResponseOk structure；S15-C3 cancelSessionResponseOk structure
+// S15-C4 transactionId echo；S19-C1 SW in 6985/6A88；S20-C1 proc state；S20-C2 proc state；S24-C1 SW
+// S25-C1 assemble；S25-C2 assemble；S25-C3 assemble；S25-C4 assemble；S25-C1 SW
+// S25-C2 cancelSessionResponseOk structure；S25-C3 cancelSessionResponseOk structure
+// S25-C4 transactionId echo；S26-C1 SW in 6985/6A88；S27-C1 proc state；S27-C2 proc state
+// S28-C1 assemble；S28-C2 assemble；S28-C3 assemble；S28-C4 assemble；S28-C1 SW
+// S28-C2 cancelSessionResponseOk structure；S28-C3 cancelSessionResponseOk structure
+// S28-C4 transactionId echo；S29-C1 proc state；S29-C2 proc state
+// 本函数由 CaseIR 4.2.19.2.2 编译生成（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).
+// 适用性 C002：编译期门，运行时由 harness 环境前置承担。
+function TC_eUICC_ES10b_CancelSessionBRP_01_08_merged() {
+ var bind = curBind;
+ var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10b_CancelSessionBRP_01_08_merged");
+ // GIC-1 卡态编排：PROFILE_OPERATIONAL1 未装载到 eUICC（非 PROC_ 展开，属卡态前提）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+ // GIC-2 Common Mutual Authentication procedure 已成功执行（同一基于 BrainpoolP256r1 的 GSMA CI 用于签名与验签）——展开不在语料包内: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+ // GIC-3 #GET_EUICC_INFO1、#GET_EUICC_CHALLENGE、#AUTHENTICATE_SMDP 已发送至 eUICC: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+ // S5/S6/S7-IC Sub-procedure Profile Download and Installation – End User Confirmation 已成功执行（#PREP_DOWNLOAD_NO_CC 已发送）；子过程展开不在语料包内: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+
+ var cs1Tid = "";
+ for (var cs1Ri = 0; cs1Ri < 16; cs1Ri++) {
+ cs1Tid += bind.engine.Hex(Math.round(255 * Math.random()), 2);
+ }
+ // cancel_session 运行时绑定（B-7）：BF41{80 81 01 00}——tid 运行时随机 16B；reason S22:9140 枚举
+ var cs1Asm = BindEs10bCancelSession.assembleCancelSession({outer: "BF41", transactionId: "80", reason: "81"}, {transactionId: cs1Tid, reason: "00"});
+ if (cs1Asm.error) {
+ bind.checkData("S1-C1 assemble", "1", "0");
+ bind.checkData("S1-C2 assemble", "1", "0");
+ bind.checkData("S1-C3 assemble", "1", "0");
+ bind.checkData("S1-C4 assemble", "1", "0");
+ } else {
+ var s1 = bind.sendApdu(null, "E2", "91", "00", cs1Asm.request_hex, "00", "9000");
+ bind.checkData("S1-C1 SW", "9000", s1.sw);
+ var cs1Ex = 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"}}, s1.resp);
+ bind.checkData("S1-C2 cancelSessionResponseOk structure", "1", (cs1Ex.branch === "ok" && cs1Ex.ok && cs1Ex.ok.missing.length === 0 && cs1Ex.ok.fields.euiccCancelSessionSigned.children.missing.length === 0) ? "1" : "0");
+ bind.checkData("S1-C3 cancelSessionResponseOk structure", "1", (cs1Ex.branch === "ok" && cs1Ex.ok && cs1Ex.ok.missing.length === 0 && cs1Ex.ok.fields.euiccCancelSessionSigned.children.missing.length === 0) ? "1" : "0");
+ bind.checkData("S1-C4 transactionId echo", cs1Tid, cs1Ex.branch === "ok" ? cs1Ex.ok.fields.euiccCancelSessionSigned.children.fields.transactionId.value : "branch_absent");
+ }
+
+ // 步骤 2：PROC_VERIFY_SESSION_IS_CANCELLED（procedure_expansion；REQ: RQ57_113）
+ // E 表验证性 PROC（K 过程体缺席）：oracle 缺席诚实面——期望=声明面
+ // spec 引用、实际=proc_expansion_absent（如实计错，不伪造通过）。
+ bind.checkData("S2-C1 proc state", "declared_proc_spec", "proc_expansion_absent");
+ bind.checkData("S2-C2 proc state", "declared_proc_spec", "proc_expansion_absent");
+
+ var cs3Tid = "";
+ for (var cs3Ri = 0; cs3Ri < 16; cs3Ri++) {
…（差异行超限，共 861 行，此处截断）
```