--- man
+++ cas
@@ -1,279 +1,838 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_01_Error_With_Incorrect_SM_DPauth_certificate + TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_02_Error_With_Invalid_SM_DP_Signature + TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_03_Error_Unsupported_Curve + TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_04_Error_eUICC_Challenge_Mismatch + TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_05_Error_Unknown_CI_PK + TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_06_Error_Invalid_Certificate_Role_OID + TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_07_Error_No_RSP_session_on_going (extracted verbatim)
-
-function TC_eUICC_ES10b_AuthenticateServer_SM_DP_ErrorCases_01_Error_With_Incorrect_SM_DPauth_certificate()
-{
-	tracenamestr = "测试目的：执行AuthenticateServer指令，使用错误的SM-DPauth证书（如 签名无效）";
-	curDis.TraceStart(sno++,tracenamestr);
-
-	curDis.TestStepStart2(stno++,"复位；");
-	ResetCard();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送Terminal Capability命令；");
-	TS_TERMINAL_CAPABILITY_cmd();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
-
-	curLogicChannel = 1;
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 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.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	Profile_load_procedure.isErrorTest=true;
-	euiccAuthenticateErrorCode=AuthenticateErrorCode.invalidCertificate;
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.DPauthInforObj.Cert = CERT_S_SM_DPauth_INV_SIGN_BRP;
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-  RecoverCard();
-
+// Author: 卡思Cas智能体
+// Date: 20261004-022634
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.AuthenticateServer_SM-DP+_ErrorCases，Test Sequence #01-#07 Error（本 TC 全部 7 条 Test Sequence 合并展开），适用性 M。
+// Test points: ICH-IC1-K1-C1 ATR_present；ICH-IC1-K2-C2 FCP_Template；ICH-IC1-K2-C4 SW
+//   ICH-IC1-K3-C4 SW；ICH-IC1-K4-C4 final SW；ICH-IC2-K1-C4 SW；ICH-IC2-K1-C3 CHANNEL_NUMBER extracted
+//   ICH-IC2-K2-C4 SW；S1-C1 SW；S1-C2 R_EUICC_INFO1 outer tag
+//   S1-C2 R_EUICC_INFO1 required members present；S2-C1 SW；S2-C2 R_CHALLENGE outer tag
+//   S2-C2 R_CHALLENGE required members present；S2-C2 tagOfeuiccChallenge
+//   S2-C2 lengthOfeuiccChallenge；S4-C1 SW；S4-C2 structure_error；S4-C3 transactionId echo
+//   S4-C2 R_AUTH_SERVER_INV_CERT authenticateResponseError structure
+//   S4-C2 authenticateErrorCode invalidCertificate；S5-C1 SW；S5-C2 R_EUICC_INFO1 outer tag
+//   S5-C2 R_EUICC_INFO1 required members present；S6-C1 SW；S6-C2 R_CHALLENGE outer tag
+//   S6-C2 R_CHALLENGE required members present；S6-C2 tagOfeuiccChallenge
+//   S6-C2 lengthOfeuiccChallenge；S8-C1 SW；S8-C2 structure_error；S8-C3 transactionId echo
+//   S8-C2 R_AUTH_SERVER_INV_SIGN authenticateResponseError structure
+//   S8-C2 authenticateErrorCode invalidSignature；S9-C1 SW；S9-C2 R_EUICC_INFO1 outer tag
+//   S9-C2 R_EUICC_INFO1 required members present；S10-C1 SW；S10-C2 R_CHALLENGE outer tag
+//   S10-C2 R_CHALLENGE required members present；S10-C2 tagOfeuiccChallenge
+//   S10-C2 lengthOfeuiccChallenge；S12-C1 SW；S12-C2 structure_error；S12-C3 transactionId echo
+//   S12-C2 R_AUTH_SERVER_INV_CURV authenticateResponseError structure
+//   S12-C2 authenticateErrorCode unsupportedCurve；S13-C1 SW；S13-C2 R_EUICC_INFO1 outer tag
+//   S13-C2 R_EUICC_INFO1 required members present；S14-C1 SW；S14-C2 R_CHALLENGE outer tag
+//   S14-C2 R_CHALLENGE required members present；S14-C2 tagOfeuiccChallenge
+//   S14-C2 lengthOfeuiccChallenge；S16-C1 SW；S16-C2 structure_error；S16-C3 transactionId echo
+//   S16-C2 R_AUTH_SERVER_INV_CHALLENGE authenticateResponseError structure
+//   S16-C2 authenticateErrorCode euiccChallengeMismatch；S17-C1 SW；S17-C2 R_EUICC_INFO1 outer tag
+//   S17-C2 R_EUICC_INFO1 required members present；S18-C1 SW；S18-C2 R_CHALLENGE outer tag
+//   S18-C2 R_CHALLENGE required members present；S18-C2 tagOfeuiccChallenge
+//   S18-C2 lengthOfeuiccChallenge；S20-C1 SW；S20-C2 structure_error；S20-C3 transactionId echo
+//   S20-C2 R_AUTH_SERVER_INV_CI authenticateResponseError structure
+//   S20-C2 authenticateErrorCode ciPKUnknown；S21-C1 SW；S21-C2 R_EUICC_INFO1 outer tag
+//   S21-C2 R_EUICC_INFO1 required members present；S22-C1 SW；S22-C2 R_CHALLENGE outer tag
+//   S22-C2 R_CHALLENGE required members present；S22-C2 tagOfeuiccChallenge
+//   S22-C2 lengthOfeuiccChallenge；S24-C1 SW；S24-C2 structure_error；S24-C3 transactionId echo
+//   S24-C2 R_AUTH_SERVER_INV_OID authenticateResponseError structure
+//   S24-C2 authenticateErrorCode invalidOid；S25-C1 SW；S25-C2 R_EUICC_INFO1 outer tag
+//   S25-C2 R_EUICC_INFO1 required members present；S27-C1 SW；S27-C2 structure_error
+//   S27-C3 tid_unchecked；S27-C2 R_AUTH_SERVER_NO_SESSION authenticateResponseError structure
+//   S27-C2 authenticateErrorCode noSessionContext
+//   S27-C3 error transactionId present (any value accepted)
+// 本函数由 CaseIR 4.2.18.2.4 编译生成（4.2.18.2.4-TC_eUICC_ES10b.AuthenticateServer_SM-DP+_ErrorCases-20261004_022634，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_AuthenticateServer_SM_DP_ErrorCases_01_07_merged() {
+    var bind = curBind;
+    // Seq#07 附加 （卡态）No RSP session is on-going（未调用 ES10b.GetEUICCChallenge）: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s28 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s28.atr_hex !== "" ? "1" : "0");
+
+    // IC head inline (initial_conditions → 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 s29 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s29.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s29.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s30 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s30.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady31 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady31.final.sw);
+
+    // IC head inline (initial_conditions → 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 s32 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s32.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s32.chan !== null ? "1" : "0");
+
+    // IC head inline (initial_conditions → 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 s33 = 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("ICH-IC2-K2-C4 SW", "9000", s33.sw);
…（差异行超限，共 1119 行，此处截断）