codex-autorunner 1.2.1__py3-none-any.whl → 1.3.0__py3-none-any.whl

codex_autorunner/static/notificationBell.js

@@ -0,0 +1,173 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
+import { api, escapeHtml, flash, openModal, resolvePath } from "./utils.js";
+let bellInitialized = false;
+let modalOpen = false;
+let closeModal = null;
+function getBellButtons() {
+    return Array.from(document.querySelectorAll(".notification-bell"));
+}
+function setBadges(count) {
+    getBellButtons().forEach((btn) => {
+        const badge = btn.querySelector(".notification-badge");
+        if (!badge)
+            return;
+        if (count > 0) {
+            badge.textContent = String(count);
+            badge.classList.remove("hidden");
+        }
+        else {
+            badge.textContent = "";
+            badge.classList.add("hidden");
+        }
+    });
+}
+function itemTitle(item) {
+    const payload = item.dispatch || item.message || {};
+    return payload.title || payload.mode || "Message";
+}
+function itemBody(item) {
+    const payload = item.dispatch || item.message || {};
+    return payload.body || "";
+}
+function renderList(items) {
+    const listEl = document.getElementById("notification-list");
+    if (!listEl)
+        return;
+    if (!items.length) {
+        listEl.innerHTML = '<div class="muted">No dispatches</div>';
+        return;
+    }
+    const html = items
+        .map((item) => {
+        const title = itemTitle(item);
+        const excerpt = itemBody(item).slice(0, 180);
+        const repoLabel = item.repo_display_name || item.repo_id;
+        const href = item.open_url || `/repos/${item.repo_id}/?tab=inbox&run_id=${item.run_id}`;
+        const seq = item.seq ? `#${item.seq}` : "";
+        return `
+        <div class="notification-item">
+          <div class="notification-item-header">
+            <span class="notification-repo">${escapeHtml(repoLabel)} <span class="muted">(${item.run_id.slice(0, 8)}${seq})</span></span>
+            <span class="pill pill-small pill-warn">paused</span>
+          </div>
+          <div class="notification-title">${escapeHtml(title)}</div>
+          <div class="notification-excerpt">${escapeHtml(excerpt)}</div>
+          <div class="notification-actions">
+            <a class="notification-action" href="${escapeHtml(resolvePath(href))}">Open run</a>
+            <button class="notification-action" data-action="copy-run-id" data-run-id="${escapeHtml(item.run_id)}">Copy ID</button>
+            ${item.repo_id ? `<button class="notification-action" data-action="copy-repo-id" data-repo-id="${escapeHtml(item.repo_id)}">Copy repo</button>` : ""}
+          </div>
+        </div>
+      `;
+    })
+        .join("");
+    listEl.innerHTML = html;
+}
+async function fetchNotifications() {
+    const payload = (await api("/hub/messages", { method: "GET" }));
+    return payload?.items || [];
+}
+async function refreshNotifications(options = {}) {
+    const { silent = true, render = false } = options;
+    try {
+        const items = await fetchNotifications();
+        setBadges(items.length);
+        if (modalOpen || render) {
+            renderList(items);
+        }
+    }
+    catch (err) {
+        if (!silent) {
+            flash(err.message || "Failed to load dispatches", "error");
+        }
+        setBadges(0);
+        if (modalOpen || render) {
+            renderList([]);
+        }
+    }
+}
+function openNotificationsModal() {
+    const modal = document.getElementById("notification-modal");
+    const closeBtn = document.getElementById("notification-close");
+    if (!modal)
+        return;
+    if (closeModal)
+        closeModal();
+    closeModal = openModal(modal, {
+        initialFocus: closeBtn || modal,
+        onRequestClose: () => {
+            modalOpen = false;
+            if (closeModal) {
+                const close = closeModal;
+                closeModal = null;
+                close();
+            }
+        },
+    });
+    modalOpen = true;
+    void refreshNotifications({ render: true, silent: true });
+}
+function attachModalHandlers() {
+    const modal = document.getElementById("notification-modal");
+    if (!modal)
+        return;
+    const closeBtn = document.getElementById("notification-close");
+    const refreshBtn = document.getElementById("notification-refresh");
+    closeBtn?.addEventListener("click", () => {
+        if (closeModal) {
+            const close = closeModal;
+            closeModal = null;
+            modalOpen = false;
+            close();
+        }
+    });
+    refreshBtn?.addEventListener("click", () => {
+        void refreshNotifications({ render: true, silent: false });
+    });
+    const listEl = document.getElementById("notification-list");
+    listEl?.addEventListener("click", (event) => {
+        const target = event.target;
+        if (!target)
+            return;
+        const action = target.dataset.action || "";
+        if (action === "copy-run-id") {
+            const runId = target.dataset.runId || "";
+            if (runId) {
+                void navigator.clipboard.writeText(runId).then(() => {
+                    flash("Copied run ID", "info");
+                });
+            }
+        }
+        if (action === "copy-repo-id") {
+            const repoId = target.dataset.repoId || "";
+            if (repoId) {
+                void navigator.clipboard.writeText(repoId).then(() => {
+                    flash("Copied repo ID", "info");
+                });
+            }
+        }
+    });
+}
+export function initNotificationBell() {
+    if (bellInitialized)
+        return;
+    bellInitialized = true;
+    const buttons = getBellButtons();
+    if (!buttons.length)
+        return;
+    buttons.forEach((btn) => {
+        btn.addEventListener("click", () => {
+            openNotificationsModal();
+        });
+    });
+    attachModalHandlers();
+    void refreshNotifications({ render: false, silent: true });
+    window.setInterval(() => {
+        if (document.hidden)
+            return;
+        void refreshNotifications({ render: false, silent: true });
+    }, 15000);
+}
+export const __notificationBellTest = {
+    refreshNotifications,
+};

codex_autorunner/static/notifications.js

@@ -1,8 +1,8 @@
 // GENERATED FILE - do not edit directly. Source: static_src/
-import { api, escapeHtml, openModal, resolvePath } from "./utils.js";
+import { api, confirmModal, escapeHtml, flash, inputModal, openModal, resolvePath } from "./utils.js";
 import { registerAutoRefresh } from "./autoRefresh.js";
 let notificationsInitialized = false;
-let notificationItems = [];
+const notificationItemsByRoot = {};
 let activeRoot = null;
 let closeModalFn = null;
 let documentListenerInstalled = false;
@@ -29,10 +29,11 @@ function getRootElements(root) {
     const dropdown = root.querySelector("[data-notifications-dropdown]");
     if (!trigger || !badge || !dropdown)
         return null;
-    return { root, trigger, badge, dropdown };
+    const key = root.getAttribute("data-notifications-root") || "hub";
+    return { root, trigger, badge, dropdown, key };
 }
-function setBadgeCount(count) {
-    const roots = document.querySelectorAll("[data-notifications-root]");
+function setBadgeCount(rootKey, count) {
+    const roots = document.querySelectorAll(`[data-notifications-root="${rootKey}"]`);
     roots.forEach((root) => {
         const elements = getRootElements(root);
         if (!elements)
@@ -42,7 +43,7 @@ function setBadgeCount(count) {
         elements.trigger.setAttribute("aria-label", count > 0 ? `Notifications (${count})` : "Notifications");
     });
 }
-function normalizeItem(item) {
+function normalizeHubItem(item) {
     const repoId = String(item.repo_id || "");
     const repoDisplay = item.repo_display_name || repoId;
     const mode = item.dispatch?.mode || "";
@@ -53,6 +54,7 @@ function normalizeItem(item) {
     const runId = String(item.run_id || "");
     const openUrl = item.open_url || `/repos/${repoId}/?tab=inbox&run_id=${runId}`;
     return {
+        kind: "hub",
         repoId,
         repoDisplay,
         runId,
@@ -63,21 +65,42 @@ function normalizeItem(item) {
         body,
         isHandoff,
         openUrl,
+        pillLabel: isHandoff ? "handoff" : "paused",
     };
 }
+function normalizePmaItem(item) {
+    const title = (item.title || "PMA dispatch").trim();
+    const body = item.body || "";
+    const priority = (item.priority || "info").toLowerCase();
+    const isHandoff = priority === "action";
+    return {
+        kind: "pma",
+        title,
+        body,
+        isHandoff,
+        openUrl: "/?view=pma",
+        pillLabel: priority,
+        priority,
+        links: item.links || [],
+    };
+}
+function getItemsForRoot(rootKey) {
+    return notificationItemsByRoot[rootKey] || [];
+}
 function renderDropdown(root) {
     if (!root)
         return;
-    if (!notificationItems.length) {
+    const items = getItemsForRoot(root.key);
+    if (!items.length) {
         root.dropdown.innerHTML = '<div class="notifications-empty muted small">No pending dispatches</div>';
         return;
     }
-    const html = notificationItems
+    const html = items
         .map((item, index) => {
-        const pill = item.isHandoff ? "handoff" : "paused";
+        const pill = item.pillLabel || (item.isHandoff ? "handoff" : "paused");
         return `
         <button class="notifications-item" type="button" data-index="${index}">
-          <span class="notifications-item-repo">${escapeHtml(item.repoDisplay)}</span>
+          <span class="notifications-item-repo">${escapeHtml(item.repoDisplay || "PMA")}</span>
           <span class="notifications-item-title">${escapeHtml(item.title)}</span>
           <span class="pill pill-small pill-warn notifications-item-pill">${escapeHtml(pill)}</span>
         </button>
@@ -174,35 +197,104 @@ function closeNotificationsModal() {
     closeModalFn();
     closeModalFn = null;
 }
+function isSameNotification(a, b) {
+    return (a.kind === b.kind &&
+        a.repoId === b.repoId &&
+        a.runId === b.runId &&
+        a.seq === b.seq);
+}
 function openNotificationsModal(item, returnFocusTo) {
     const modal = getModalElements();
     if (!modal)
         return;
     closeNotificationsModal();
-    const runLabel = item.seq ? `${item.runId.slice(0, 8)} (#${item.seq})` : item.runId.slice(0, 8);
-    const modeLabel = item.mode ? ` (${item.mode})` : "";
     const body = item.body?.trim() ? escapeHtml(item.body) : '<span class="muted">No message body.</span>';
-    modal.body.innerHTML = `
-    <div class="notifications-modal-meta">
-      <div class="notifications-modal-row">
-        <span class="notifications-modal-label">Repo</span>
-        <span class="notifications-modal-value">${escapeHtml(item.repoDisplay)}</span>
+    if (item.kind === "pma") {
+        const priority = item.priority || "info";
+        const links = (item.links || [])
+            .map((link) => `<a href="${escapeHtml(link.href)}" target="_blank" rel="noopener">${escapeHtml(link.label)}</a>`)
+            .join("");
+        const linkBlock = links ? `<div class="notifications-modal-links">${links}</div>` : "";
+        modal.body.innerHTML = `
+      <div class="notifications-modal-meta">
+        <div class="notifications-modal-row">
+          <span class="notifications-modal-label">Dispatch</span>
+          <span class="notifications-modal-value">${escapeHtml(item.title)}</span>
+        </div>
+        <div class="notifications-modal-row">
+          <span class="notifications-modal-label">Priority</span>
+          <span class="notifications-modal-value">${escapeHtml(priority)}</span>
+        </div>
       </div>
-      <div class="notifications-modal-row">
-        <span class="notifications-modal-label">Run</span>
-        <span class="notifications-modal-value mono">${escapeHtml(runLabel)}</span>
+      <div class="notifications-modal-body">${body}</div>
+      ${linkBlock}
+      <div class="notifications-modal-actions">
+        <a class="primary sm notifications-open-run" href="${escapeHtml(resolvePath(item.openUrl))}">Open PMA</a>
       </div>
-      <div class="notifications-modal-row">
-        <span class="notifications-modal-label">Dispatch</span>
-        <span class="notifications-modal-value">${escapeHtml(item.title)}${escapeHtml(modeLabel)}</span>
+    `;
+    }
+    else {
+        const runId = item.runId || "";
+        const runLabel = item.seq ? `${runId.slice(0, 8)} (#${item.seq})` : runId.slice(0, 8);
+        const modeLabel = item.mode ? ` (${item.mode})` : "";
+        modal.body.innerHTML = `
+      <div class="notifications-modal-meta">
+        <div class="notifications-modal-row">
+          <span class="notifications-modal-label">Repo</span>
+          <span class="notifications-modal-value">${escapeHtml(item.repoDisplay || "")}</span>
+        </div>
+        <div class="notifications-modal-row">
+          <span class="notifications-modal-label">Run</span>
+          <span class="notifications-modal-value mono">${escapeHtml(runLabel)}</span>
+        </div>
+        <div class="notifications-modal-row">
+          <span class="notifications-modal-label">Dispatch</span>
+          <span class="notifications-modal-value">${escapeHtml(item.title)}${escapeHtml(modeLabel)}</span>
+        </div>
       </div>
-    </div>
-    <div class="notifications-modal-body">${body}</div>
-    <div class="notifications-modal-actions">
-      <a class="primary sm notifications-open-run" href="${escapeHtml(resolvePath(item.openUrl))}">Open run</a>
-    </div>
-    <div class="notifications-modal-placeholder">Reply here (coming soon).</div>
-  `;
+      <div class="notifications-modal-body">${body}</div>
+      <div class="notifications-modal-actions">
+        <a class="primary sm notifications-open-run" href="${escapeHtml(resolvePath(item.openUrl))}">Open run</a>
+        ${item.seq ? '<button class="ghost sm notifications-dismiss" type="button">Dismiss</button>' : ""}
+      </div>
+      <div class="notifications-modal-placeholder">Reply here (coming soon).</div>
+    `;
+        const dismissBtn = modal.body.querySelector(".notifications-dismiss");
+        if (dismissBtn && item.seq) {
+            dismissBtn.addEventListener("click", async () => {
+                const confirmed = await confirmModal("Dismiss this inbox item?", {
+                    confirmText: "Dismiss",
+                    danger: false,
+                });
+                if (!confirmed)
+                    return;
+                const reason = await inputModal("Dismiss reason (optional)", {
+                    placeholder: "obsolete, resolved elsewhere, ...",
+                    confirmText: "Dismiss",
+                    allowEmpty: true,
+                });
+                if (reason === null)
+                    return;
+                await api("/hub/messages/dismiss", {
+                    method: "POST",
+                    body: {
+                        repo_id: item.repoId,
+                        run_id: item.runId,
+                        seq: item.seq,
+                        reason,
+                    },
+                });
+                const hubItems = getItemsForRoot("hub").filter((entry) => !isSameNotification(entry, item));
+                notificationItemsByRoot.hub = hubItems;
+                setBadgeCount("hub", hubItems.length);
+                if (activeRoot && activeRoot.key === "hub") {
+                    renderDropdown(activeRoot);
+                }
+                closeNotificationsModal();
+                flash("Dispatch dismissed");
+            });
+        }
+    }
     closeModalFn = openModal(modal.overlay, {
         closeOnEscape: true,
         closeOnOverlay: true,
@@ -215,10 +307,28 @@ async function refreshNotifications(_ctx) {
         return;
     isRefreshing = true;
     try {
-        const payload = (await api("/hub/messages", { method: "GET" }));
-        const items = payload?.items || [];
-        notificationItems = items.map(normalizeItem);
-        setBadgeCount(notificationItems.length);
+        let hubPayload = null;
+        let pmaPayload = null;
+        try {
+            hubPayload = (await api("/hub/messages", { method: "GET" }));
+        }
+        catch {
+            hubPayload = null;
+        }
+        try {
+            pmaPayload = (await api("/hub/pma/dispatches?include_resolved=false", {
+                method: "GET",
+            }));
+        }
+        catch {
+            pmaPayload = { items: [] };
+        }
+        const hubItems = (hubPayload?.items || []).map(normalizeHubItem);
+        const pmaItems = (pmaPayload?.items || []).map(normalizePmaItem);
+        notificationItemsByRoot.hub = hubItems;
+        notificationItemsByRoot.pma = pmaItems;
+        setBadgeCount("hub", hubItems.length);
+        setBadgeCount("pma", pmaItems.length);
         if (activeRoot) {
             renderDropdown(activeRoot);
         }
@@ -248,12 +358,20 @@ function attachRoot(root) {
         const target = event.target?.closest(".notifications-item");
         if (!target)
             return;
+        event.preventDefault();
+        event.stopPropagation();
         const index = Number(target.dataset.index || "-1");
-        const item = notificationItems[index];
+        const items = getItemsForRoot(root.key);
+        const item = items[index];
         if (!item)
             return;
         closeDropdown();
-        openNotificationsModal(item, root.trigger);
+        const mouseEvent = event;
+        if (mouseEvent.shiftKey) {
+            openNotificationsModal(item, root.trigger);
+            return;
+        }
+        window.location.href = resolvePath(item.openUrl);
     });
 }
 function attachModalHandlers() {