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

codex_autorunner/static/hub.js

@@ -3,8 +3,10 @@ import { api, flash, statusPill, resolvePath, escapeHtml, confirmModal, inputMod
 import { registerAutoRefresh } from "./autoRefresh.js";
 import { HUB_BASE } from "./env.js";
 import { preserveScroll } from "./preserve.js";
+import { initNotificationBell } from "./notificationBell.js";
 let hubData = { repos: [], last_scan_at: null };
 const prefetchedUrls = new Set();
+let hubInboxHydrated = false;
 const HUB_CACHE_TTL_MS = 30000;
 const HUB_CACHE_KEY = `car:hub:${HUB_BASE || "/"}`;
 const HUB_USAGE_CACHE_KEY = `car:hub-usage:${HUB_BASE || "/"}`;
@@ -24,6 +26,8 @@ const hubUsageChartRange = document.getElementById("hub-usage-chart-range");
 const hubUsageChartSegment = document.getElementById("hub-usage-chart-segment");
 const hubVersionEl = document.getElementById("hub-version");
 const pmaVersionEl = document.getElementById("pma-version");
+const hubInboxList = document.getElementById("hub-inbox-list");
+const hubInboxRefresh = document.getElementById("hub-inbox-refresh");
 const UPDATE_STATUS_SEEN_KEY = "car_update_status_seen";
 const HUB_JOB_POLL_INTERVAL_MS = 1200;
 const HUB_JOB_TIMEOUT_MS = 180000;
@@ -83,7 +87,9 @@ function formatLastActivity(repo) {
 }
 function setButtonLoading(scanning) {
     const buttons = [
+        document.getElementById("hub-scan"),
         document.getElementById("hub-quick-scan"),
+        document.getElementById("hub-refresh"),
     ];
     buttons.forEach((btn) => {
         if (!btn)
@@ -915,6 +921,7 @@ async function refreshHub() {
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
         renderReposWithScroll(data.repos || []);
+        await loadHubInbox().catch(() => { });
         loadHubUsage({ silent: true }).catch(() => { });
     }
     catch (err) {
@@ -924,6 +931,46 @@ async function refreshHub() {
         setButtonLoading(false);
     }
 }
+async function loadHubInbox(ctx) {
+    if (!hubInboxList)
+        return;
+    if (!hubInboxHydrated || ctx?.reason === "manual") {
+        hubInboxList.textContent = "Loading…";
+    }
+    try {
+        const payload = (await api("/hub/messages", { method: "GET" }));
+        const items = payload?.items || [];
+        const html = !items.length
+            ? '<div class="muted">No paused runs</div>'
+            : items
+                .map((item) => {
+                const title = item.message?.title || item.message?.mode || "Message";
+                const excerpt = item.message?.body ? item.message.body.slice(0, 160) : "";
+                const repoLabel = item.repo_display_name || item.repo_id;
+                const href = item.open_url || `/repos/${item.repo_id}/?tab=messages&run_id=${item.run_id}`;
+                return `
+            <a class="hub-inbox-item" href="${escapeHtml(resolvePath(href))}">
+              <div class="hub-inbox-item-header">
+                <span class="hub-inbox-repo">${escapeHtml(repoLabel)}</span>
+                <span class="pill pill-small pill-warn">paused</span>
+              </div>
+              <div class="hub-inbox-title">${escapeHtml(title)}</div>
+              <div class="hub-inbox-excerpt muted small">${escapeHtml(excerpt)}</div>
+            </a>
+          `;
+            })
+                .join("");
+        preserveScroll(hubInboxList, () => {
+            hubInboxList.innerHTML = html;
+        }, { restoreOnNextFrame: true });
+        hubInboxHydrated = true;
+    }
+    catch (_err) {
+        preserveScroll(hubInboxList, () => {
+            hubInboxList.innerHTML = "";
+        }, { restoreOnNextFrame: true });
+    }
+}
 async function triggerHubScan() {
     setButtonLoading(true);
     try {
@@ -1138,14 +1185,22 @@ async function handleRepoAction(repoId, action) {
 }
 function attachHubHandlers() {
     initHubSettings();
+    const scanBtn = document.getElementById("hub-scan");
+    const refreshBtn = document.getElementById("hub-refresh");
     const quickScanBtn = document.getElementById("hub-quick-scan");
     const newRepoBtn = document.getElementById("hub-new-repo");
     const createCancelBtn = document.getElementById("create-repo-cancel");
     const createSubmitBtn = document.getElementById("create-repo-submit");
     const createRepoId = document.getElementById("create-repo-id");
+    if (scanBtn) {
+        scanBtn.addEventListener("click", () => triggerHubScan());
+    }
     if (quickScanBtn) {
         quickScanBtn.addEventListener("click", () => triggerHubScan());
     }
+    if (refreshBtn) {
+        refreshBtn.addEventListener("click", () => refreshHub());
+    }
     if (hubUsageRefresh) {
         hubUsageRefresh.addEventListener("click", () => loadHubUsage());
     }
@@ -1290,6 +1345,10 @@ export function initHub() {
         return;
     attachHubHandlers();
     initHubUsageChartControls();
+    initNotificationBell();
+    hubInboxRefresh?.addEventListener("click", () => {
+        void loadHubInbox({ reason: "manual" });
+    });
     const cachedHub = loadSessionCache(HUB_CACHE_KEY, HUB_CACHE_TTL_MS);
     if (cachedHub) {
         hubData = cachedHub;

codex_autorunner/static/index.html

@@ -23,15 +23,15 @@
       </div>
       <div class="hub-hero-actions">
         <button class="primary sm" id="hub-new-repo">+ New</button>
-        <div class="notifications-bell" data-notifications-root="hub">
-          <button class="ghost sm icon-btn notifications-bell-btn" data-notifications-trigger title="Notifications"
-            aria-label="Notifications">
-            <span aria-hidden="true">🔔</span>
-            <span class="notifications-bell-badge hidden" data-notifications-badge></span>
-          </button>
-          <div class="notifications-dropdown hidden" data-notifications-dropdown role="menu"
-            aria-label="Pending dispatches"></div>
-        </div>
+        <button class="sm" id="hub-scan">Scan</button>
+        <button class="ghost sm" id="hub-refresh">Refresh</button>
+        <button class="ghost sm icon-btn notification-bell" id="hub-notification-bell" title="Dispatches">
+          <svg class="notification-bell-icon" viewBox="0 0 24 24" aria-hidden="true">
+            <path d="M6 9.5a6 6 0 0 1 12 0v3.5l1.6 2.2H4.4L6 13z" />
+            <path d="M9.8 18.2a2.2 2.2 0 0 0 4.4 0" />
+          </svg>
+          <span class="notification-badge hidden"></span>
+        </button>
         <button class="ghost sm icon-btn" id="hub-settings" title="Settings">⚙</button>
       </div>
       <div class="hub-mode-toggle" role="tablist" aria-label="Hub mode">
@@ -57,6 +57,15 @@
         <p class="muted small">missing</p>
       </div>
     </section>
+    <section class="hub-inbox">
+      <div class="hub-panel-header">
+        <span class="label">Inbox</span>
+        <div class="hub-panel-actions">
+          <button class="ghost sm" id="hub-inbox-refresh">Refresh</button>
+        </div>
+      </div>
+      <div class="hub-inbox-list" id="hub-inbox-list">Loading…</div>
+    </section>
     <section class="hub-usage-chart">
       <div class="hub-usage-chart-header">
         <span class="label">Usage Trend</span>
@@ -89,7 +98,7 @@
       </div>
     </section>
   </div>
-  <div class="hub-shell hidden" id="pma-shell">
+  <div class="hub-shell hidden" id="pma-shell" data-pma-view="chat">
     <header class="hub-hero pma-hero">
       <div class="hub-hero-text pma-hero-text">
         <h1>Project Manager</h1>
@@ -97,15 +106,13 @@
         <span class="hub-version" id="pma-version">v–</span>
       </div>
       <div class="hub-hero-actions pma-hero-actions">
-        <div class="notifications-bell" data-notifications-root="pma">
-          <button class="ghost sm icon-btn notifications-bell-btn" data-notifications-trigger title="Notifications"
-            aria-label="Notifications">
-            <span aria-hidden="true">🔔</span>
-            <span class="notifications-bell-badge hidden" data-notifications-badge></span>
-          </button>
-          <div class="notifications-dropdown hidden" data-notifications-dropdown role="menu"
-            aria-label="Pending dispatches"></div>
-        </div>
+        <button class="ghost sm icon-btn notification-bell" id="pma-notification-bell" title="Dispatches">
+          <svg class="notification-bell-icon" viewBox="0 0 24 24" aria-hidden="true">
+            <path d="M6 9.5a6 6 0 0 1 12 0v3.5l1.6 2.2H4.4L6 13z" />
+            <path d="M9.8 18.2a2.2 2.2 0 0 0 4.4 0" />
+          </svg>
+          <span class="notification-badge hidden"></span>
+        </button>
         <button class="ghost sm icon-btn" id="pma-settings" title="Settings">⚙</button>
       </div>
       <div class="hub-mode-toggle" role="tablist" aria-label="Hub mode">
@@ -123,42 +130,44 @@
           <select id="pma-chat-agent-select" title="Agent"></select>
           <select id="pma-chat-model-select" title="Model"></select>
           <select id="pma-chat-reasoning-select" title="Reasoning"></select>
+          <div class="pma-view-toggle" role="tablist" aria-label="PMA view">
+            <button class="pma-view-btn active" data-view="chat" role="tab" aria-selected="true" type="button">Chat</button>
+            <button class="pma-view-btn" data-view="memory" role="tab" aria-selected="false" type="button">Memory</button>
+          </div>
         </div>
         <div class="pma-chat-actions">
+          <button class="ghost sm icon-btn" id="pma-scan-repos-btn" title="Rescan hub repositories">↻</button>
           <button class="ghost sm hidden" id="pma-chat-cancel" title="Cancel">✕</button>
           <button class="pma-new-thread-btn" id="pma-chat-new-thread" title="Start a new chat thread">New
             thread</button>
           <span class="pma-status-pill" id="pma-chat-status">idle</span>
         </div>
       </div>
-      <div class="pma-thread-info hidden" id="pma-thread-info">
-        <div class="pma-thread-info-header">
-          <span class="pma-thread-info-label">Thread</span>
-          <span class="pill pill-small pill-idle" id="pma-thread-info-status">idle</span>
-        </div>
-        <div class="pma-thread-info-details">
-          <div class="pma-thread-info-row">
-            <span class="pma-thread-info-key muted">Agent</span>
-            <span class="pma-thread-info-value" id="pma-thread-info-agent">–</span>
-          </div>
-          <div class="pma-thread-info-row">
-            <span class="pma-thread-info-key muted">Thread ID</span>
-            <span class="pma-thread-info-value" id="pma-thread-info-thread-id" title="Click to copy">–</span>
-          </div>
-          <div class="pma-thread-info-row">
-            <span class="pma-thread-info-key muted">Turn ID</span>
-            <span class="pma-thread-info-value" id="pma-thread-info-turn-id" title="Click to copy">–</span>
-          </div>
-        </div>
-      </div>
-      <div class="pma-repo-actions" id="pma-repo-actions">
-        <button class="ghost sm" id="pma-scan-repos-btn">Scan repos</button>
-      </div>
     </section>
-    <section class="pma-chat-section">
+    <section class="pma-chat-section" id="pma-chat-section">
       <div class="pma-chat-main">
         <div class="pma-chat-stream" id="pma-chat-stream">
           <div class="pma-chat-error hidden" id="pma-chat-error"></div>
+          <div class="pma-thread-info hidden" id="pma-thread-info">
+            <div class="pma-thread-info-header">
+              <span class="pma-thread-info-label">Thread</span>
+              <span class="pill pill-small pill-idle" id="pma-thread-info-status">idle</span>
+            </div>
+            <div class="pma-thread-info-details">
+              <div class="pma-thread-info-row">
+                <span class="pma-thread-info-key muted">Agent</span>
+                <span class="pma-thread-info-value" id="pma-thread-info-agent">–</span>
+              </div>
+              <div class="pma-thread-info-row">
+                <span class="pma-thread-info-key muted">Thread ID</span>
+                <span class="pma-thread-info-value" id="pma-thread-info-thread-id" title="Click to copy">–</span>
+              </div>
+              <div class="pma-thread-info-row">
+                <span class="pma-thread-info-key muted">Turn ID</span>
+                <span class="pma-thread-info-value" id="pma-thread-info-turn-id" title="Click to copy">–</span>
+              </div>
+            </div>
+          </div>
           <div class="pma-history-header" id="pma-chat-history-header">
             <span class="pma-history-label">History</span>
           </div>
@@ -176,10 +185,12 @@
           <div class="pma-attachments-area" id="pma-attachments-area">
             <div class="pma-files-row">
               <span class="pma-files-label">In</span>
+              <button class="pma-icon-btn-small hidden pma-clear-btn" id="pma-inbox-clear" title="Clear inbox">🗑</button>
               <div class="pma-file-list filebox-list" id="pma-inbox-files"></div>
             </div>
             <div class="pma-files-row">
               <span class="pma-files-label">Out</span>
+              <button class="pma-icon-btn-small hidden pma-clear-btn" id="pma-outbox-clear" title="Clear outbox">🗑</button>
               <div class="pma-file-list filebox-list" id="pma-outbox-files"></div>
               <button class="pma-icon-btn-small" id="pma-outbox-refresh" title="Refresh files">↻</button>
             </div>
@@ -1042,6 +1053,22 @@
       </div>
     </div>
   </div>
+  <!-- Dispatch Notifications Modal -->
+  <div class="modal-overlay" hidden="" id="notification-modal">
+    <div aria-describedby="notification-modal-body" aria-labelledby="notification-modal-title" aria-modal="true"
+      class="modal-dialog notification-dialog" role="dialog" tabindex="-1">
+      <div class="modal-header notification-modal-header">
+        <span class="label" id="notification-modal-title">Dispatches</span>
+        <div class="notification-modal-actions">
+          <button class="ghost sm" id="notification-refresh">Refresh</button>
+          <button class="ghost sm icon-btn" id="notification-close" title="Close">✕</button>
+        </div>
+      </div>
+      <div class="modal-body" id="notification-modal-body">
+        <div class="notification-list" id="notification-list">Loading…</div>
+      </div>
+    </div>
+  </div>
   <!-- Repo Settings Modal -->
   <div class="modal-overlay" hidden="" id="repo-settings-modal">
     <div aria-describedby="repo-settings-modal-body" aria-labelledby="repo-settings-modal-title" aria-modal="true"
@@ -1153,17 +1180,6 @@
       </div>
     </div>
   </div>
-  <!-- Notifications Modal -->
-  <div class="modal-overlay hidden" id="notifications-modal">
-    <div aria-labelledby="notifications-modal-title" aria-modal="true" class="modal-dialog notifications-modal-dialog"
-      role="dialog" tabindex="-1">
-      <div class="notifications-modal-header">
-        <span class="label" id="notifications-modal-title">Pending dispatch</span>
-        <button class="ghost sm icon-btn" id="notifications-modal-close" title="Close">×</button>
-      </div>
-      <div class="notifications-modal-body-wrapper" id="notifications-modal-body"></div>
-    </div>
-  </div>
   <!-- Reason Details Modal -->
   <div class="modal-overlay" hidden="" id="reason-modal">
     <div aria-describedby="reason-modal-content" aria-labelledby="reason-modal-title" aria-modal="true"

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,
+};