--- man
+++ cas
@@ -1,62 +1,96 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_ES10c_GetRAT_01 + TC_eUICC_ES10c_GetRAT_02_Nominal_With_additional_PPARs (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20260928-201725
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_ES10b.GetRAT，Test Sequence #01 Nominal: Get Default RAT; #02 Nominal: With additional PPARs，适用性 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 GetRatResponse outer tag；S1-C2 rat member count 1
+//   S1-C2 rat value-order equality；S1-C3 PPRS_ALLOWED DER
+//   S1-C4 RQ57_182 order vacuous (single PPAR)；S1-C5 RQ57_181 response well-formed TLV outer BF43
+//   S1-C6 RQ57_180 command data；S2-C1 SW；S2-C2 GetRatResponse outer tag；S2-C2 rat member count 4
+//   S2-C2 rat value-order equality；S2-C3 PPR1_WITH_OWNER_GID DER；S2-C4 PPR1_WITHOUT_GID DER
+//   S2-C5 PPR2_WITHOUT_CONSENT DER；S2-C6 PPRS_ALLOWED DER
+//   S2-C7 RQ57_182 stored order (carried by rat_eq ordered equality)；S2-C8 RQ57_180 command data
+//   S2-C9 RQ57_181 response well-formed TLV outer BF43
+// 本函数由 CaseIR 4.2.27.2.1 编译生成（Q3-W0-PILOT，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_GetRAT_01_02_merged() {
+    var bind = curBind;
 
-function TC_eUICC_ES10c_GetRAT_01()
-{
-	tracenamestr = "测试目的：验证eUICC可以配置SGP.21 Annex H中定义的RAT";
-	curDis.TraceStart(sno++,tracenamestr);
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 1)：RESET（K 语料机械展开）
+    var s3 = bind.resetAndAtr();
+    bind.checkData("ICH-IC1-K1-C1 ATR_present", "1", s3.atr_hex !== "" ? "1" : "0");
 
-	curLogicChannel = 0;
-	curDis.TestStepStart2(stno++,"eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 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 s4 = bind.sendApdu("00", "A4", "00", "04", "3F00", "00", "9000");
+    bind.checkData("ICH-IC1-K2-C2 FCP_Template", "1", s4.resp.length > 0 ? "1" : "0");
+    bind.checkData("ICH-IC1-K2-C4 SW", "9000", s4.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 3)：TERMINAL_CAPABILITY_LPAd（K 语料机械展开）
+    var s5 = bind.sendApdu("80", "AA", "00", "00", "A9058100830107", null, "9000");
+    bind.checkData("ICH-IC1-K3-C4 SW", "9000", s5.sw);
 
-	curLogicChannel = 1;
+    // IC head inline (initial_conditions → PROC_EUICC_INITIALIZATION_SEQUENCE, K row 4)：TERMINAL_PROFILE（K 语料机械展开）
+    var steady6 = bind.runToSteadyState(function () {
+        return bind.sendTerminalProfile("FFFFFFFF7F9D00DFBF00001FE2000000C7EB0000000168005000000000000200", "9000");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady6.final.sw);
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送SELECT命令，选择ISD-R；");
-	TS_SELECT("Select ISD",ISD_R_AID,"9000");
+    // 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 s7 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s7.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s7.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart2(stno++,"读卡器向卡片发送 StoreData命令，GET_RAT");
+    // 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 s8 = 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", s8.sw);
 
-	var respData = LPAd_Transport_data_to_eUICC(GetRatRequestHexStr);
-	curStrHandle.CheckData(R_DEFAULT_RAT, respData, "R_DEFAULT_RAT");
+    // 步骤 1：MTD_STORE_DATA（tc_step；REQ: RQ28_001, RQ29_007_1, RQ29_008, RQ29_009, RQ29_011, RQ29_016, RQ57_179, RQ57_180, RQ57_181, RQ57_182, RQ57_184, RQ57_186, RQ29_007）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla1 = s7.chan !== null ? (s7.chan <= 3 ? 128 + s7.chan : 188 + s7.chan).toString(16).toUpperCase() : null;
+    var s1 = bind.sendApdu(sdCla1, "E2", "91", "00", "BF4300", "00", "9000");
+    bind.checkData("S1-C1 SW", "9000", s1.sw);
+    // grat ES10b GetRAT 响应面（外层 BF43，S22_tag_table Table 66 + I_annexD3_es10x:179/249；PPAR 成员 DER 定位 = S22_5_7_22_rat + S22_2_4a_1_ppr_operator_ids 语料闭合推导，期望值编译期注入）：
+    var rgw1 = BindGecaProc.parseGecaResponse(s1.resp, {outer: "BF43", required: [], optional: []});
+    var rrat1 = (rgw1.children.length === 1) ? BindEs10xSingleRequest.parseBerTlv(rgw1.children[0].value) : [];
+    bind.checkData("S1-C2 GetRatResponse outer tag", "BF43", rgw1.outer_tag === null ? "absent" : rgw1.outer_tag);
+    bind.checkData("S1-C2 rat member count 1", "1", (rgw1.children.length === 1 && rrat1.length === 1) ? "1" : "0");
+    var rratExp1 = ["301503020560300B30090403EEEEEE0400040003020780"];
+    var rratEq1 = (rrat1.length === rratExp1.length);
+    for (var rri1 = 0; rri1 < rrat1.length && rri1 < rratExp1.length; rri1++) {
+        if (BindEs10xSingleRequest.buildTlv(rrat1[rri1].tag, rrat1[rri1].value) !== rratExp1[rri1]) { rratEq1 = false; }
+    }
+    bind.checkData("S1-C2 rat value-order equality", "1", rratEq1 ? "1" : "0");
+    bind.checkData("S1-C3 PPRS_ALLOWED DER", "301503020560300B30090403EEEEEE0400040003020780", rrat1.length > 0 ? BindEs10xSingleRequest.buildTlv(rrat1[0].tag, rrat1[0].value) : "absent");
+    bind.checkData("S1-C4 RQ57_182 order vacuous (single PPAR)", "1", rrat1.length === 1 ? "1" : "0");
+    bind.checkData("S1-C5 RQ57_181 response well-formed TLV outer BF43", "1", rgw1.ok ? "1" : "0");
+    bind.checkData("S1-C6 RQ57_180 command data", "BF4300", s1.cmd.substring(10, 16));
 
-
-	RecoverCard();
+    // 步骤 2：MTD_STORE_DATA（tc_step；REQ: RQ28_001, RQ29_007_1, RQ29_008, RQ29_009, RQ29_010_1, RQ29_011, RQ29_016, RQ57_179, RQ57_180, RQ57_181, RQ57_182, RQ57_184, RQ57_186, RQ29_007, RQ29_008_1）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla2 = s7.chan !== null ? (s7.chan <= 3 ? 128 + s7.chan : 188 + s7.chan).toString(16).toUpperCase() : null;
+    var s2 = bind.sendApdu(sdCla2, "E2", "91", "00", "BF4300", "00", "9000");
+    bind.checkData("S2-C1 SW", "9000", s2.sw);
+    // grat ES10b GetRAT 响应面（外层 BF43，S22_tag_table Table 66 + I_annexD3_es10x:179/249；PPAR 成员 DER 定位 = S22_5_7_22_rat + S22_2_4a_1_ppr_operator_ids 语料闭合推导，期望值编译期注入）：
+    var rgw2 = BindGecaProc.parseGecaResponse(s2.resp, {outer: "BF43", required: [], optional: []});
+    var rrat2 = (rgw2.children.length === 1) ? BindEs10xSingleRequest.parseBerTlv(rgw2.children[0].value) : [];
+    bind.checkData("S2-C2 GetRatResponse outer tag", "BF43", rgw2.outer_tag === null ? "absent" : rgw2.outer_tag);
+    bind.checkData("S2-C2 rat member count 4", "1", (rgw2.children.length === 1 && rrat2.length === 4) ? "1" : "0");
+    var rratExp2 = ["301D0302064030133011040392F928040447534D410404525350FF03020780", "30110302064030073005040392F94803020780", "301403020520300B3009040392EEEE04000400030100", "301503020560300B30090403EEEEEE0400040003020780"];
+    var rratEq2 = (rrat2.length === rratExp2.length);
+    for (var rri2 = 0; rri2 < rrat2.length && rri2 < rratExp2.length; rri2++) {
+        if (BindEs10xSingleRequest.buildTlv(rrat2[rri2].tag, rrat2[rri2].value) !== rratExp2[rri2]) { rratEq2 = false; }
+    }
+    bind.checkData("S2-C2 rat value-order equality", "1", rratEq2 ? "1" : "0");
+    bind.checkData("S2-C3 PPR1_WITH_OWNER_GID DER", "301D0302064030133011040392F928040447534D410404525350FF03020780", rrat2.length > 0 ? BindEs10xSingleRequest.buildTlv(rrat2[0].tag, rrat2[0].value) : "absent");
+    bind.checkData("S2-C4 PPR1_WITHOUT_GID DER", "30110302064030073005040392F94803020780", rrat2.length > 1 ? BindEs10xSingleRequest.buildTlv(rrat2[1].tag, rrat2[1].value) : "absent");
+    bind.checkData("S2-C5 PPR2_WITHOUT_CONSENT DER", "301403020520300B3009040392EEEE04000400030100", rrat2.length > 2 ? BindEs10xSingleRequest.buildTlv(rrat2[2].tag, rrat2[2].value) : "absent");
+    bind.checkData("S2-C6 PPRS_ALLOWED DER", "301503020560300B30090403EEEEEE0400040003020780", rrat2.length > 3 ? BindEs10xSingleRequest.buildTlv(rrat2[3].tag, rrat2[3].value) : "absent");
+    bind.checkData("S2-C7 RQ57_182 stored order (carried by rat_eq ordered equality)", "1", rratEq2 ? "1" : "0");
+    bind.checkData("S2-C8 RQ57_180 command data", "BF4300", s2.cmd.substring(10, 16));
+    bind.checkData("S2-C9 RQ57_181 response well-formed TLV outer BF43", "1", rgw2.ok ? "1" : "0");
 }
-
-function TC_eUICC_ES10c_GetRAT_02_Nominal_With_additional_PPARs()
-{
…（差异行超限，共 152 行，此处截断）