--- man
+++ cas
@@ -1,209 +1,514 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_01_Nominal_Without_MatchingID_in_CtxParams1 + TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_02_Nominal_With_MatchingID_in_CtxParams1 + TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_03_Nominal_With_IMEI_in_Device_Capabilities (extracted verbatim)
-
-function TC_eUICC_ES10b_AuthenticateServer_SM_DP_NIST_01_Nominal_Without_MatchingID_in_CtxParams1()
-{
-
-	//测试入口条件
-	if(!check_Applicability_of_tests_RSP_SGP23_test("C001"))
-		return;
-
-	tracenamestr = "测试目的：执行AuthenticateServer指令，CtxParams1中没有MatchingID";
-	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.deviceInfo = DeviceInfo1.GenHexData();
-
-	ctxParamsForCommonAuthentication=CtxParamsForCommonAuthentication1.GenHexData();
-
-	Profile_load_procedure.ES10b_AuthenticateServer();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest；");
-	Profile_load_procedure.ES10b_PrepareDownload();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行GetEuiccDataRequest(GetEID)；");
-	Profile_load_procedure.ES10b_GetEID();
-
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，执行BoundProfilePackage；--空Proprietary 数据");
-	Profile_load_procedure.ES10b_LoadBoundProfilePackage();
-
-	RecoverCard();
-
+// Author: 卡思Cas智能体
+// Date: 20261004-022633
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.AuthenticateServer_SM-DP+_NIST，Test Sequence #01-#03 Nominal（本 TC 全部 3 条 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_SMDP 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_SMDP_MATCH_ID authenticateResponseOk structure；S8-C5 euiccSignature1 verify
+//   S9-C1 SW；S9-C2 R_EUICC_INFO1 outer tag；S9-C2 R_EUICC_INFO1 required members present
+//   S9-C3 CI PK lists share at least one key id；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_ok；S12-C3 transactionId echo
+//   S12-C4 serverChallenge echo；S12-C5 sig_verify；S12-C6 ctxParams1 echo
+//   S12-C2 R_AUTH_SMDP_IMEI authenticateResponseOk structure；S12-C5 euiccSignature1 verify
+// 本函数由 CaseIR 4.2.18.2.1 编译生成（4.2.18.2.1-TC_eUICC_ES10b.AuthenticateServer_SM-DP+_NIST-20261004_022633，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_DP_NIST_01_03_Nominal_TC_3_Test_Sequence() {
+    var bind = curBind;
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s13 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s13.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 s14 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s14.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s14.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s15 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s15.sw);
+
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady16 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
…（差异行超限，共 725 行，此处截断）