--- man
+++ cas
@@ -1,449 +1,404 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_CancelSessionNIST_01_Nominal_End_User_Rejection + TC_eUICC_ES10b_CancelSessionNIST_02_Nominal_End_User_Postponed + TC_eUICC_ES10b_CancelSessionNIST_03_Nominal_Timeout + TC_eUICC_ES10b_CancelSessionNIST_04_Nominal_PPR_not_allowed + TC_eUICC_ES10b_CancelSessionNIST_05_Nominal_Metadata_Mismatch + TC_eUICC_ES10b_CancelSessionNIST_06_Nominal_BPP_Parsing_Error + TC_eUICC_ES10b_CancelSessionNIST_07_Nominal_Load_BPP_Execution_Error + TC_eUICC_ES10b_CancelSessionNIST_08_Nominal_Undefined_Reason (extracted verbatim)
-
-function TC_eUICC_ES10b_CancelSessionNIST_01_Nominal_End_User_Rejection()
-{
-
-	//测试入口条件
-	if(!check_Applicability_of_tests_RSP_SGP23_test("C001"))
-		return;
-
-	tracenamestr = "测试目的：取消RSP会话，取消原因为终端用户拒绝";
-	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_NIST;
-	pkId_CI_ForSigning = pkId_CI_ECDSA_NIST;
-
-
-	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.CancelSessionNIST，Test Sequence #01-#08 (8 Nominal sequences: End User Rejection / End User Postponed / Timeout / PPR not allowed / Metadata Mismatch / BPP Parsing Error / Load BPP Execution Error / Undefined Reason)，适用性 C001。
+// 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；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
+//   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；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
+//   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；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；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；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
+// 本函数由 CaseIR 4.2.19.2.1 编译生成（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).
+// 适用性 C001：编译期门，运行时由 harness 环境前置承担。
+function TC_eUICC_ES10b_CancelSessionNIST_01_08_merged() {
+    var bind = curBind;
+    var profileAidSession = BindEs10xProcProfileDynamic.beginSession(bind, "TC_eUICC_ES10b_CancelSessionNIST_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（S_LPAd 已选 ISD-R；eUICC 已对 ES10b.AuthenticateServer 给出响应；同一基于 NIST P-256 的 GSMA CI 用于签名与验签）——展开（SGP.22 3.1 子过程）不在语料包内: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // GIC-3 #GET_EUICC_INFO1、#GET_EUICC_CHALLENGE、#AUTHENTICATE_SMDP 已发送至 eUICC（#AUTHENTICATE_SMDP 定义见 I_annexD3_es10x）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // S5/S6-IC Sub-procedure Profile Download and Installation – End User Confirmation 已成功执行（#PREP_DOWNLOAD_NO_CC 已发送；定义见 I_annexD3_es10x）；子过程展开不在语料包内: 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<tid> 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");
+
…（差异行超限，共 855 行，此处截断）