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

codex_autorunner/static/notifications.js

@@ -1,13 +1,15 @@
 // 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;
 let modalElements = null;
 let isRefreshing = false;
+const DROPDOWN_MARGIN = 8;
+const DROPDOWN_OFFSET = 6;
 const NOTIFICATIONS_REFRESH_ID = "notifications";
 const NOTIFICATIONS_REFRESH_MS = 15000;
 function getModalElements() {
@@ -27,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)
@@ -40,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 || "";
@@ -51,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,
@@ -61,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>
@@ -93,10 +118,40 @@ function closeDropdown() {
     if (!activeRoot)
         return;
     activeRoot.dropdown.classList.add("hidden");
+    activeRoot.dropdown.style.position = "";
+    activeRoot.dropdown.style.left = "";
+    activeRoot.dropdown.style.right = "";
+    activeRoot.dropdown.style.top = "";
+    activeRoot.dropdown.style.visibility = "";
     activeRoot.trigger.setAttribute("aria-expanded", "false");
     activeRoot = null;
     removeDocumentListener();
 }
+function positionDropdown(root) {
+    const { trigger, dropdown } = root;
+    const triggerRect = trigger.getBoundingClientRect();
+    dropdown.style.position = "fixed";
+    dropdown.style.left = "0";
+    dropdown.style.right = "auto";
+    dropdown.style.top = "0";
+    dropdown.style.visibility = "hidden";
+    const dropdownRect = dropdown.getBoundingClientRect();
+    const width = dropdownRect.width || 240;
+    const height = dropdownRect.height || 0;
+    const viewportWidth = window.innerWidth;
+    const viewportHeight = window.innerHeight;
+    let left = triggerRect.right - width;
+    left = Math.min(Math.max(left, DROPDOWN_MARGIN), viewportWidth - width - DROPDOWN_MARGIN);
+    const preferredTop = triggerRect.bottom + DROPDOWN_OFFSET;
+    const fallbackTop = triggerRect.top - DROPDOWN_OFFSET - height;
+    let top = preferredTop;
+    if (preferredTop + height > viewportHeight - DROPDOWN_MARGIN) {
+        top = Math.max(DROPDOWN_MARGIN, fallbackTop);
+    }
+    dropdown.style.left = `${Math.max(DROPDOWN_MARGIN, left)}px`;
+    dropdown.style.top = `${Math.max(DROPDOWN_MARGIN, top)}px`;
+    dropdown.style.visibility = "";
+}
 function openDropdown(root) {
     if (activeRoot && activeRoot !== root) {
         activeRoot.dropdown.classList.add("hidden");
@@ -105,6 +160,7 @@ function openDropdown(root) {
     activeRoot = root;
     renderDropdown(root);
     root.dropdown.classList.remove("hidden");
+    positionDropdown(root);
     root.trigger.setAttribute("aria-expanded", "true");
     installDocumentListener();
 }
@@ -141,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>
+    `;
+    }
+    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 class="notifications-modal-row">
-        <span class="notifications-modal-label">Dispatch</span>
-        <span class="notifications-modal-value">${escapeHtml(item.title)}${escapeHtml(modeLabel)}</span>
+      <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>
-    <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-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,
@@ -182,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);
         }
@@ -215,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() {

codex_autorunner/static/pma.js

@@ -2,12 +2,13 @@
 /**
  * PMA (Project Management Agent) - Hub-level chat interface
  */
-import { api, confirmModal, resolvePath, getAuthToken, flash } from "./utils.js";
+import { api, resolvePath, getAuthToken, flash } from "./utils.js";
 import { createDocChat, } from "./docChatCore.js";
 import { initChatPasteUpload } from "./chatUploads.js";
 import { clearAgentSelectionStorage, getSelectedAgent, getSelectedModel, getSelectedReasoning, initAgentControls, refreshAgentControls, } from "./agentControls.js";
 import { createFileBoxWidget } from "./fileboxUi.js";
 import { extractContextRemainingPercent } from "./streamUtils.js";
+import { initNotificationBell } from "./notificationBell.js";
 const pmaStyling = {
     eventClass: "chat-event",
     eventTitleClass: "chat-event-title",
@@ -44,6 +45,7 @@ let isUnloading = false;
 let unloadHandlerInstalled = false;
 let currentEventsController = null;
 const PMA_PENDING_TURN_KEY = "car.pma.pendingTurn";
+const PMA_VIEW_KEY = "car.pma.view";
 const DEFAULT_PMA_LANE_ID = "pma:default";
 let fileBoxCtrl = null;
 let pendingUploadNames = [];
@@ -94,6 +96,29 @@ function clearPendingTurn() {
         // ignore
     }
 }
+function loadPMAView() {
+    const raw = localStorage.getItem(PMA_VIEW_KEY);
+    if (raw === "memory")
+        return "memory";
+    return "chat";
+}
+function setPMAView(view, options = {}) {
+    const elements = getElements();
+    const { persist = true } = options;
+    if (persist) {
+        localStorage.setItem(PMA_VIEW_KEY, view);
+    }
+    if (elements.shell) {
+        elements.shell.setAttribute("data-pma-view", view);
+    }
+    document.querySelectorAll(".pma-view-btn").forEach((btn) => {
+        const isActive = btn.dataset.view === view;
+        btn.classList.toggle("active", isActive);
+        btn.setAttribute("aria-selected", isActive ? "true" : "false");
+    });
+    elements.chatSection?.classList.toggle("hidden", view !== "chat");
+    elements.docsSection?.classList.toggle("hidden", view !== "memory");
+}
 async function initFileBoxUI() {
     const elements = getElements();
     if (!elements.inboxFiles || !elements.outboxFiles)
@@ -124,6 +149,7 @@ async function initFileBoxUI() {
                 }
                 pendingUploadNames = [];
             }
+            updateClearButtons(listing);
         },
         onUpload: (names) => {
             pendingUploadNames = names;
@@ -172,11 +198,15 @@ async function loadPMADocContent(name) {
         return payload?.content || "";
     }
     catch (err) {
+        const content = await bootstrapPMADoc(name);
+        if (content) {
+            return content;
+        }
         flash(`Failed to load ${name}`, "error");
         return "";
     }
 }
-async function loadPMADocDefaultContent(name) {
+async function loadPMADocDefaultContent(name, options = {}) {
     try {
         const payload = (await api(`/hub/pma/docs/default/${encodeURIComponent(name)}`, {
             method: "GET",
@@ -184,10 +214,28 @@ async function loadPMADocDefaultContent(name) {
         return payload?.content || "";
     }
     catch (err) {
-        flash(`Failed to load default ${name}`, "error");
+        if (!options.silent) {
+            flash(`Failed to load default ${name}`, "error");
+        }
         return "";
     }
 }
+async function bootstrapPMADoc(name) {
+    const content = await loadPMADocDefaultContent(name, { silent: true });
+    if (!content)
+        return "";
+    try {
+        await api(`/hub/pma/docs/${encodeURIComponent(name)}`, {
+            method: "PUT",
+            body: { content },
+        });
+        await loadPMADocs();
+        return content;
+    }
+    catch {
+        return content;
+    }
+}
 async function savePMADoc(name, content) {
     if (isSavingDoc)
         return;
@@ -282,9 +330,8 @@ async function snapshotActiveContext() {
         flash("Failed to snapshot active context", "error");
     }
 }
-async function resetActiveContext() {
-    const confirmed = await confirmModal("Reset active context to default?");
-    if (!confirmed)
+function resetActiveContext() {
+    if (!confirm("Reset active context to default?"))
         return;
     const editor = document.getElementById("pma-docs-editor");
     if (!editor)
@@ -356,6 +403,7 @@ async function pollForTurnMeta(clientTurnId, options = {}) {
 function getElements() {
     return {
         shell: document.getElementById("pma-shell"),
+        chatSection: document.getElementById("pma-chat-section"),
         input: document.getElementById("pma-chat-input"),
         sendBtn: document.getElementById("pma-chat-send"),
         cancelBtn: document.getElementById("pma-chat-cancel"),
@@ -376,6 +424,8 @@ function getElements() {
         inboxFiles: document.getElementById("pma-inbox-files"),
         outboxFiles: document.getElementById("pma-outbox-files"),
         outboxRefresh: document.getElementById("pma-outbox-refresh"),
+        inboxClear: document.getElementById("pma-inbox-clear"),
+        outboxClear: document.getElementById("pma-outbox-clear"),
         threadInfo: document.getElementById("pma-thread-info"),
         threadInfoAgent: document.getElementById("pma-thread-info-agent"),
         threadInfoThreadId: document.getElementById("pma-thread-info-thread-id"),
@@ -471,6 +521,8 @@ async function initPMA() {
     await initFileBoxUI();
     await loadPMADocs();
     attachHandlers();
+    setPMAView(loadPMAView(), { persist: false });
+    initNotificationBell();
     // If we refreshed mid-turn, recover the final output from the server.
     await resumePendingTurn();
     // If the page refreshes/navigates while a turn is running, avoid showing a noisy
@@ -543,6 +595,23 @@ async function loadPMAThreadInfo() {
         elements.threadInfo?.classList.add("hidden");
     }
 }
+function updateClearButtons(listing) {
+    const elements = getElements();
+    if (!elements.inboxClear || !elements.outboxClear)
+        return;
+    const inboxCount = listing?.inbox?.length ?? 0;
+    const outboxCount = listing?.outbox?.length ?? 0;
+    elements.inboxClear.classList.toggle("hidden", inboxCount <= 1);
+    elements.outboxClear.classList.toggle("hidden", outboxCount <= 1);
+}
+async function clearPMABox(box) {
+    const confirmed = window.confirm(`Clear ${box}? This will delete all files.`);
+    if (!confirmed)
+        return;
+    await api(`/hub/pma/files/${box}`, { method: "DELETE" });
+    flash(`Cleared ${box}`, "info");
+    await fileBoxCtrl?.refresh();
+}
 async function sendMessage() {
     const elements = getElements();
     if (!elements.input || !pmaChat)
@@ -1006,6 +1075,14 @@ async function startNewThreadOnServer() {
 }
 function attachHandlers() {
     const elements = getElements();
+    document.addEventListener("click", (event) => {
+        const target = event.target;
+        const btn = target?.closest?.(".pma-view-btn");
+        if (!btn)
+            return;
+        const value = (btn.dataset.view || "chat");
+        setPMAView(value);
+    });
     if (elements.sendBtn) {
         elements.sendBtn.addEventListener("click", () => {
             void sendMessage();
@@ -1066,12 +1143,22 @@ function attachHandlers() {
             void fileBoxCtrl?.refresh();
         });
     }
+    if (elements.inboxClear) {
+        elements.inboxClear.addEventListener("click", () => {
+            void clearPMABox("inbox");
+        });
+    }
+    if (elements.outboxClear) {
+        elements.outboxClear.addEventListener("click", () => {
+            void clearPMABox("outbox");
+        });
+    }
     if (elements.scanReposBtn) {
         elements.scanReposBtn.addEventListener("click", async () => {
+            const btn = elements.scanReposBtn;
+            const originalText = btn.textContent || "";
             try {
-                const btn = elements.scanReposBtn;
                 btn.disabled = true;
-                btn.textContent = "Scanning…";
                 await api("/hub/repos/scan", { method: "POST" });
                 flash("Repositories scanned", "info");
             }
@@ -1079,9 +1166,8 @@ function attachHandlers() {
                 flash("Failed to scan repos", "error");
             }
             finally {
-                const btn = elements.scanReposBtn;
                 btn.disabled = false;
-                btn.textContent = "Scan repos";
+                btn.textContent = btn.textContent || originalText;
             }
         });
     }
@@ -1132,31 +1218,6 @@ function attachHandlers() {
             void snapshotActiveContext();
         });
     }
-    const pmaModeManual = document.getElementById("pma-mode-manual");
-    const pmaModePma = document.getElementById("pma-mode-pma");
-    const docsSection = document.getElementById("pma-docs-section");
-    if (pmaModeManual && pmaModePma) {
-        const handleModeChange = (mode) => {
-            if (!docsSection)
-                return;
-            if (mode === "manual") {
-                docsSection.classList.remove("hidden");
-            }
-            else {
-                docsSection.classList.add("hidden");
-            }
-        };
-        pmaModeManual.addEventListener("click", () => {
-            if (pmaModeManual.dataset.hubMode === "manual") {
-                handleModeChange("manual");
-            }
-        });
-        pmaModePma.addEventListener("click", () => {
-            if (pmaModePma.dataset.hubMode === "pma") {
-                handleModeChange("pma");
-            }
-        });
-    }
     if (elements.docsEditor) {
         elements.docsEditor.addEventListener("input", () => {
             elements.docsEditor.style.height = "auto";