--- man
+++ cas
@@ -1,129 +1,357 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_AuthenticateServer_SM_DS_NIST_01_Nominal_With_EventID_in_CtxParams1 + TC_eUICC_ES10b_AuthenticateServer_SM_DS_NIST_02_Nominal_With_IMEI_and_EventID_in_Device_Capabilities (extracted verbatim)
-
-function TC_eUICC_ES10b_AuthenticateServer_SM_DS_NIST_01_Nominal_With_EventID_in_CtxParams1()
-{
-	if(!Card_Have_ECC_Cert)
-		return;
-
-	//测试入口条件
-	if(!check_Applicability_of_tests_RSP_SGP23_test("C001"))
-		return;
-
-
-	tracenamestr = "测试目的：执行AuthenticateServer指令，CtxParams1中没有EventID";
-	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_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.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	var DeviceCapabilities1 = new DeviceCapabilities();
-	DeviceCapabilities1.gsmSupportedRelease = "050000";
-	DeviceCapabilities1.utranSupportedRelease = "080000";
-	DeviceCapabilities1.cdma2000onexSupportedRelease = "010000";
-	DeviceCapabilities1.cdma2000hrpdSupportedRelease = "010000";
-	DeviceCapabilities1.cdma2000ehrpdSupportedRelease = "020000";
-	DeviceCapabilities1.eutranSupportedRelease = "020000";
-	DeviceCapabilities1.contactlessSupportedRelease = "090000";
-	DeviceCapabilities1.rspCrlSupportedVersion = "020100";
-
-	var DeviceInfo1 = new DeviceInfo();
-	DeviceInfo1.tac = "00000000";
-	DeviceInfo1.deviceCapabilities = DeviceCapabilities1.GenHexData();
-
-	var CtxParamsForCommonAuthentication1 =new CtxParamsForCommonAuthentication();
-	CtxParamsForCommonAuthentication1.matchingId = "30373339392D42474837452D5438373739";
-	CtxParamsForCommonAuthentication1.deviceInfo = DeviceInfo1.GenHexData();
-
-	ctxParamsForCommonAuthentication=CtxParamsForCommonAuthentication1.GenHexData();
-
-	Profile_load_procedure.DPauthInforObj.D_key = SK_S_SM_DSauth_ECDSA_NIST;
-	Profile_load_procedure.DPauthInforObj.Cert = CERT_S_SM_DSauth_ECDSA_NIST;
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	RecoverCard();
+// Author: 卡思Cas智能体
+// Date: 20261004-022634
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.AuthenticateServer_SM-DS_NIST，Test Sequence #01-#02 Nominal（本 TC 全部 2 条 Test Sequence 合并展开），适用性 C001。
+// 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；S1-C3 CI PK lists share at least one key id
+//   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_ok
+//   S4-C3 transactionId echo；S4-C4 serverChallenge echo；S4-C5 sig_verify；S4-C6 ctxParams1 echo
+//   S4-C2 R_AUTHENTICATE_SMDS authenticateResponseOk structure；S4-C5 euiccSignature1 verify
+//   S5-C1 SW；S5-C2 R_EUICC_INFO1 outer tag；S5-C2 R_EUICC_INFO1 required members present
+//   S5-C3 CI PK lists share at least one key id；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_ok；S8-C3 transactionId echo
+//   S8-C4 serverChallenge echo；S8-C5 sig_verify；S8-C6 ctxParams1 echo
+//   S8-C2 R_AUTH_SMDS_IMEI authenticateResponseOk structure；S8-C5 euiccSignature1 verify
+// 本函数由 CaseIR 4.2.18.2.6 编译生成（4.2.18.2.6-TC_eUICC_ES10b.AuthenticateServer_SM-DS_NIST-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).
+// 适用性 C001：编译期门，运行时由 harness 环境前置承担。
+function TC_eUICC_ES10b_AuthenticateServer_SM_DS_NIST_01_02_Nominal_TC_2_Test_Sequence() {
+    var bind = curBind;
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s9 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s9.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 s10 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s10.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s10.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s11 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s11.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady12 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady12.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 s13 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s13.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s13.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 s14 = bind.sendApdu(null, "A4", "04", "00", "A0000005591010FFFFFFFF8900000100", null, "9000");
…（差异行超限，共 488 行，此处截断）