--- man
+++ cas
@@ -1,190 +1,177 @@
-// slice of Import\TestCase_SGP_23.js - cases: TC_eUICC_Enable_Disable_Delete_Notifications_01_Nominal_Multiple_Enable_Disable_and_Delete_Notifications (extracted verbatim)
+// Author: 卡思Cas智能体
+// Date: 20261004-022948
+// Function: （purpose 原文未由 SGP.23 该 TC 提供，corpus vacuum 登记）TC_eUICC_Enable_Disable_Delete_Notifications，Test Sequence #01 Nominal: Multiple Enable, Disable and Delete Notifications（本 TC 单条 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；S4-C1 SW
+//   S4-C2 响应 = #R_LIST_NOTIF_EN1_EN1：ListNotificationResponse ::= noti branch/count
+//   S4-C2 响应 = #R_LIST_NOTIF_EN1_EN1：ListNotificationResponse ::= noti element fields；S9-C1 SW
+//   S9-C2 响应 = #R_LIST_NOTIF_DI1_DI1：ListNotificationResponse ::= noti branch/count
+//   S9-C2 响应 = #R_LIST_NOTIF_DI1_DI1：ListNotificationResponse ::= noti element fields；S12-C1 SW
+//   S12-C2 响应 = #R_LIST_NOTIF_DE1_DE1：ListNotificationResponse ::= noti branch/count
+//   S12-C2 响应 = #R_LIST_NOTIF_DE1_DE1：ListNotificationResponse ::= noti element fields
+// 本函数由 CaseIR 5.2.8.2.1 编译生成（5.2.8.2.1-TC_eUICC_Enable_Disable_Delete_Notifications-20261004_022948，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_Enable_Disable_Delete_Notifications_01_merged() {
+    var bind = curBind;
+    // GEN-IC-1 卡态声明（E 段 General Initial Conditions，编排责任）：The PROFILE_OPERATIONAL1 with #METADATA_EN_DI_DE_NOTIFS is loaded on the eUICC: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // GEN-IC-2 卡态声明（E 段 General Initial Conditions，编排责任）：The PROFILE_OPERATIONAL1 is Disabled: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
+    // GEN-IC-3 卡态声明（E 段 General Initial Conditions，编排责任）：No Notification is stored in the eUICC's Pending Notifications List: declared unexpanded (non-PROC row or K corpus vacuum; see CaseIR open_items).
 
-function TC_eUICC_Enable_Disable_Delete_Notifications_01_Nominal_Multiple_Enable_Disable_and_Delete_Notifications()
-{
+    // 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");
 
-	tracenamestr = "验证当执行本地Profile管理操作（即激活、禁用和删除Profile）时，eUICC会生成所有在notificationConfigurationInfo中已配置的通知。";
-	curDis.TraceStart(sno++,tracenamestr);
+    // 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);
 
-	curDis.TestStepStart("eUICC卡片初始化；");
-	Ini_powerOn_eUICC_LPAe_not_activate();
+    // 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);
 
-	curDis.TestStepStart("读卡器向卡片发送MANAGE_CHANNEL命令，打开辅助逻辑通道；");
-	TS_MANAGE_CHANNEL_OPEN();
+    // 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");
+    });
+    bind.checkData("ICH-IC1-K4-C4 final SW", "9000", steady16.final.sw);
 
-	curLogicChannel = 1;
+    // 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 s17 = bind.manageChannelOpen("9000");
+    bind.checkData("ICH-IC2-K1-C4 SW", "9000", s17.sw);
+    bind.checkData("ICH-IC2-K1-C3 CHANNEL_NUMBER extracted", "1", s17.chan !== null ? "1" : "0");
 
-	curDis.TestStepStart("读卡器向卡片发送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 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 s18 = 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", s18.sw);
 
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行GetEuiccInfo1Request；");
-	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();
+    // 步骤 1：Enable PROFILE_OPERATIONAL1（tc_step）
+    // card-state orchestration declaration (no APDU face): execution is
+    // the batch card_state prep framework's responsibility (4227 ruling B
+    // same-family scope; ensure_profile_state / prep_packager);
+    // no fabricated bytes emitted here; see CaseIR unresolved/open_items.
 
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行GetEuiccChallengeRequest；");
-	Profile_load_procedure.ES10b_GetEUICCChallenge();
+    // 步骤 2：PROC_EUICC_INITIALIZATION_SEQUENCE（procedure_expansion）
+    // E 表验证性 PROC（K 过程体缺席）：oracle 缺席诚实面——期望=声明面
+    // spec 引用、实际=proc_expansion_absent（如实计错，不伪造通过）。
 
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行AuthenticateServerRequest；");
-	Profile_load_procedure.ES10b_AuthenticateServer();
+    // 步骤 3：PROC_OPEN_LOGICAL_CHANNEL_AND_SELECT_ISDR（procedure_expansion）
+    // E 表验证性 PROC（K 过程体缺席）：oracle 缺席诚实面——期望=声明面
+    // spec 引用、实际=proc_expansion_absent（如实计错，不伪造通过）。
 
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行PrepareDownloadRequest；");
-	Profile_load_procedure.ES10b_PrepareDownload();
+    // 步骤 4：MTD_STORE_DATA（tc_step；REQ: RQ57_135_6）
+    // <L> length binding and the conditional 61XX + GET RESPONSE chain (D.4.2) are CasBind internal state (chaining rule).
+    var sdCla4 = s17.chan !== null ? (s17.chan <= 3 ? 128 + s17.chan : 188 + s17.chan).toString(16).toUpperCase() : null;
+    var s4 = bind.sendApdu(sdCla4, "E2", "91", "00", "BF2804810204F0", "00", "9000");
+    bind.checkData("S4-C1 SW", "9000", s4.sw);
+    // notification-list 响应面（TC_eUICC_Enable_Disable_Delete_Notifications，SGP.22 §5.7.9 结构 + vendor ABI 分支锚；断言参数经 spec_pattern 子句注入）：
+    var lw4T = BindEs10xSingleRequest.parseBerTlv(s4.resp);
+    var lw4Ok0 = lw4T.length === 1 && lw4T[0].tag === "BF28";
+    var lw4_br = lw4Ok0 ? BindEs10xSingleRequest.parseBerTlv(lw4T[0].value) : [];
+    var lw4_brtag = lw4_br.length === 1 ? lw4_br[0].tag : "";
+    var lw4_els = lw4_brtag === "A0" ? BindEs10xSingleRequest.parseBerTlv(lw4_br[0].value) : [];
+    bind.checkData("S4-C2 响应 = #R_LIST_NOTIF_EN1_EN1：ListNotificationResponse ::= noti branch/count", "1", (lw4_brtag === "A0" && lw4_els.length === 2) ? "1" : "0");
+    var lw4_fok = lw4_brtag === "A0" && lw4_els.length > 0;
+    for (var lw4i = 0; lw4i < lw4_els.length; lw4i++) {
+        if (lw4_els[lw4i].tag !== "BF2F") { lw4_fok = false; continue; }
+        var lw4M = BindEs10xSingleRequest.parseBerTlv(lw4_els[lw4i].value);
+        var lw4_f = {};
+        for (var lw4j = 0; lw4j < lw4M.length; lw4j++) {
+            if (lw4_f[lw4M[lw4j].tag] === undefined) { lw4_f[lw4M[lw4j].tag] = lw4M[lw4j].value; }
+        }
+        if (lw4_f["80"] === undefined) { lw4_fok = false; }
+        if (lw4_f["81"] !== "0640") { lw4_fok = false; }  // operation
+        if (lw4_f["5A"] !== "989209012143658709F5") { lw4_fok = false; }  // iccid
+    }
+    bind.checkData("S4-C2 响应 = #R_LIST_NOTIF_EN1_EN1：ListNotificationResponse ::= noti element fields", "1", lw4_fok ? "1" : "0");
 
-	curDis.TestStepStart("读卡器向卡片发送 StoreData命令，执行GetEuiccDataRequest(GetEID)；");
-	Profile_load_procedure.ES10b_GetEID();
…（差异行超限，共 351 行，此处截断）