codex-autorunner 0.1.1__py3-none-any.whl → 1.0.0__py3-none-any.whl

codex_autorunner/static/hub.js

@@ -1,18 +1,15 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 import { api, flash, statusPill, resolvePath, escapeHtml, confirmModal, inputModal, openModal, } from "./utils.js";
 import { registerAutoRefresh } from "./autoRefresh.js";
-import { CONSTANTS } from "./constants.js";
 import { HUB_BASE } from "./env.js";
 let hubData = { repos: [], last_scan_at: null };
-const repoPrCache = new Map();
-const repoPrFetches = new Set();
 const prefetchedUrls = new Set();
 const HUB_CACHE_TTL_MS = 30000;
 const HUB_CACHE_KEY = `car:hub:${HUB_BASE || "/"}`;
 const HUB_USAGE_CACHE_KEY = `car:hub-usage:${HUB_BASE || "/"}`;
-const PR_CACHE_TTL_MS = 120000;
-const PR_FAILURE_TTL_MS = 15000;
-const PR_FETCH_CONCURRENCY = 3;
-const PR_PREFETCH_MARGIN = "200px";
+const HUB_REFRESH_ACTIVE_MS = 5000;
+const HUB_REFRESH_IDLE_MS = 30000;
+let lastHubAutoRefreshAt = 0;
 const repoListEl = document.getElementById("hub-repo-list");
 const lastScanEl = document.getElementById("hub-last-scan");
 const totalEl = document.getElementById("hub-count-total");
@@ -25,6 +22,8 @@ const hubUsageChartCanvas = document.getElementById("hub-usage-chart-canvas");
 const hubUsageChartRange = document.getElementById("hub-usage-chart-range");
 const hubUsageChartSegment = document.getElementById("hub-usage-chart-segment");
 const hubVersionEl = document.getElementById("hub-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;
@@ -35,10 +34,6 @@ const hubUsageChartState = {
 };
 let hubUsageSeriesRetryTimer = null;
 let hubUsageSummaryRetryTimer = null;
-const repoPrPending = new Set();
-const repoPrQueue = [];
-let repoPrActive = 0;
-let repoPrObserver = null;
 function saveSessionCache(key, value) {
     try {
         const payload = { at: Date.now(), value };
@@ -65,7 +60,7 @@ function loadSessionCache(key, maxAgeMs) {
     }
 }
 function formatRunSummary(repo) {
-    if (!repo.initialzed)
+    if (!repo.initialized)
         return "Not initialized";
     if (!repo.exists_on_disk)
         return "Missing on disk";
@@ -77,7 +72,7 @@ function formatRunSummary(repo) {
     return `#${repo.last_run_id}${exit}`;
 }
 function formatLastActivity(repo) {
-    if (!repo.initialzed)
+    if (!repo.initialized)
         return "";
     const time = repo.last_run_finished_at || repo.last_run_started_at;
     if (!time)
@@ -683,11 +678,11 @@ function buildActions(repo) {
     else if (!missing && repo.init_error) {
         actions.push({
             key: "init",
-            label: repo.initialzed ? "Re-init" : "Init",
+            label: repo.initialized ? "Re-init" : "Init",
             kind: "primary",
         });
     }
-    else if (!missing && !repo.initialzed) {
+    else if (!missing && !repo.initialized) {
         actions.push({ key: "init", label: "Init", kind: "primary" });
     }
     if (!missing && kind === "base") {
@@ -756,76 +751,9 @@ function inferBaseId(repo) {
     }
     return null;
 }
-function initRepoPrObserver() {
-    if (!("IntersectionObserver" in window))
-        return null;
-    if (repoPrObserver)
-        return repoPrObserver;
-    repoPrObserver = new IntersectionObserver((entries) => {
-        entries.forEach((entry) => {
-            if (!entry.isIntersecting)
-                return;
-            const target = entry.target;
-            const repoId = target?.dataset?.repoId;
-            if (repoId) {
-                const repo = (hubData.repos || []).find((item) => item.id === repoId);
-                if (repo)
-                    scheduleRepoPrFetch(repo);
-            }
-            if (target)
-                repoPrObserver?.unobserve(target);
-        });
-    }, { rootMargin: PR_PREFETCH_MARGIN });
-    return repoPrObserver;
-}
-function scheduleRepoPrFetch(repo) {
-    if (!repo || repo.mounted !== true)
-        return;
-    const cached = repoPrCache.get(repo.id);
-    if (cached &&
-        typeof cached.fetchedAt === "number" &&
-        Date.now() - cached.fetchedAt <
-            (cached.failed ? PR_FAILURE_TTL_MS : PR_CACHE_TTL_MS)) {
-        return;
-    }
-    if (repoPrFetches.has(repo.id) || repoPrPending.has(repo.id))
-        return;
-    repoPrPending.add(repo.id);
-    repoPrQueue.push(repo);
-    pumpRepoPrQueue();
-}
-function pumpRepoPrQueue() {
-    while (repoPrActive < PR_FETCH_CONCURRENCY && repoPrQueue.length) {
-        const repo = repoPrQueue.shift();
-        if (!repo || repoPrFetches.has(repo.id))
-            continue;
-        repoPrPending.delete(repo.id);
-        repoPrActive += 1;
-        repoPrFetches.add(repo.id);
-        api(`/repos/${repo.id}/api/github/pr`, { method: "GET" })
-            .then((pr) => {
-            repoPrCache.set(repo.id, { data: pr, fetchedAt: Date.now() });
-        })
-            .catch(() => {
-            repoPrCache.set(repo.id, {
-                data: null,
-                fetchedAt: Date.now(),
-                failed: true,
-            });
-        })
-            .finally(() => {
-            repoPrFetches.delete(repo.id);
-            repoPrActive -= 1;
-            pumpRepoPrQueue();
-            renderRepos(hubData.repos || []);
-        });
-    }
-}
 function renderRepos(repos) {
     if (!repoListEl)
         return;
-    if (repoPrObserver)
-        repoPrObserver.disconnect();
     repoListEl.innerHTML = "";
     if (!repos.length) {
         repoListEl.innerHTML =
@@ -867,7 +795,7 @@ function renderRepos(repos) {
         const lockBadge = repo.lock_status && repo.lock_status !== "unlocked"
             ? `<span class="pill pill-small pill-warn">${escapeHtml(repo.lock_status.replace("_", " "))}</span>`
             : "";
-        const initBadge = !repo.initialzed
+        const initBadge = !repo.initialized
             ? '<span class="pill pill-small pill-warn">uninit</span>'
             : "";
         let noteText = "";
@@ -900,12 +828,6 @@ function renderRepos(repos) {
         const infoLine = infoItems.length > 0
             ? `<span class="hub-repo-info-line">${escapeHtml(infoItems.join(" · "))}</span>`
             : "";
-        const prInfo = repoPrCache.get(repo.id)?.data;
-        const prPill = prInfo?.links?.files
-            ? `<a class="pill pill-small hub-pr-pill" href="${escapeHtml(prInfo.links.files)}" target="_blank" rel="noopener noreferrer" title="${escapeHtml(prInfo.pr?.title || "Open PR files")}">PR${prInfo.pr?.number
-                ? ` #${escapeHtml(prInfo.pr.number)}`
-                : ""}</a>`
-            : "";
         card.innerHTML = `
       <div class="hub-repo-row">
         <div class="hub-repo-left">
@@ -918,7 +840,6 @@ function renderRepos(repos) {
           <span class="hub-repo-title">${escapeHtml(repo.display_name)}</span>
           <div class="hub-repo-subline">
             ${infoLine}
-            ${prPill}
           </div>
         </div>
         <div class="hub-repo-right">
@@ -933,15 +854,6 @@ function renderRepos(repos) {
             statusPill(statusEl, repo.status);
         }
         repoListEl.appendChild(card);
-        if (repo.mounted === true) {
-            const observer = initRepoPrObserver();
-            if (observer) {
-                observer.observe(card);
-            }
-            else {
-                scheduleRepoPrFetch(repo);
-            }
-        }
     };
     orderedGroups.forEach((group) => {
         const repo = group.base;
@@ -978,34 +890,16 @@ function renderRepos(repos) {
             .forEach((wt) => renderRepoCard(wt, { isWorktreeRow: true }));
     }
 }
-async function refreshRepoPrCache(repos) {
-    const mounted = repos.filter((r) => r && r.mounted === true);
-    if (!mounted.length)
-        return;
-    const observer = initRepoPrObserver();
-    if (observer && repoListEl) {
-        mounted.forEach((repo) => {
-            const card = repoListEl.querySelector(`[data-repo-id="${repo.id}"]`);
-            if (card) {
-                observer.observe(card);
-            }
-            else {
-                scheduleRepoPrFetch(repo);
-            }
-        });
-        return;
-    }
-    mounted.forEach((repo) => scheduleRepoPrFetch(repo));
-}
 async function refreshHub() {
     setButtonLoading(true);
     try {
         const data = await api("/hub/repos", { method: "GET" });
         hubData = data;
+        markHubRefreshed();
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
         renderRepos(data.repos || []);
-        await refreshRepoPrCache(data.repos || []).catch(() => { });
+        await loadHubInbox().catch(() => { });
         await loadHubUsage().catch(() => { });
     }
     catch (err) {
@@ -1015,6 +909,40 @@ async function refreshHub() {
         setButtonLoading(false);
     }
 }
+async function loadHubInbox() {
+    if (!hubInboxList)
+        return;
+    hubInboxList.innerHTML = "Loading…";
+    try {
+        const payload = (await api("/hub/messages", { method: "GET" }));
+        const items = payload?.items || [];
+        if (!items.length) {
+            hubInboxList.innerHTML = '<div class="muted">No paused runs</div>';
+            return;
+        }
+        hubInboxList.innerHTML = 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("");
+    }
+    catch (_err) {
+        hubInboxList.innerHTML = '';
+    }
+}
 async function triggerHubScan() {
     setButtonLoading(true);
     try {
@@ -1263,11 +1191,6 @@ function attachHubHandlers() {
     if (repoListEl) {
         repoListEl.addEventListener("click", (event) => {
             const target = event.target;
-            const prLink = target instanceof HTMLElement && target.closest("a.hub-pr-pill");
-            if (prLink) {
-                event.stopPropagation();
-                return;
-            }
             const btn = target instanceof HTMLElement && target.closest("button[data-action]");
             if (btn) {
                 event.stopPropagation();
@@ -1319,6 +1242,7 @@ async function silentRefreshHub() {
     try {
         const data = await api("/hub/repos", { method: "GET" });
         hubData = data;
+        markHubRefreshed();
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
         renderRepos(data.repos || []);
@@ -1328,6 +1252,20 @@ async function silentRefreshHub() {
         console.error("Auto-refresh hub failed:", err);
     }
 }
+function markHubRefreshed() {
+    lastHubAutoRefreshAt = Date.now();
+}
+function hasActiveRuns(repos) {
+    return repos.some((repo) => repo.status === "running");
+}
+async function dynamicRefreshHub() {
+    const now = Date.now();
+    const running = hasActiveRuns(hubData.repos || []);
+    const minInterval = running ? HUB_REFRESH_ACTIVE_MS : HUB_REFRESH_IDLE_MS;
+    if (now - lastHubAutoRefreshAt < minInterval)
+        return;
+    await silentRefreshHub();
+}
 async function loadHubVersion() {
     if (!hubVersionEl)
         return;
@@ -1369,6 +1307,9 @@ export function initHub() {
         return;
     attachHubHandlers();
     initHubUsageChartControls();
+    hubInboxRefresh?.addEventListener("click", () => {
+        void loadHubInbox();
+    });
     const cachedHub = loadSessionCache(HUB_CACHE_KEY, HUB_CACHE_TTL_MS);
     if (cachedHub) {
         hubData = cachedHub;
@@ -1384,9 +1325,9 @@ export function initHub() {
     loadHubVersion();
     checkUpdateStatus();
     registerAutoRefresh("hub-repos", {
-        callback: async () => { await silentRefreshHub(); },
+        callback: async () => { await dynamicRefreshHub(); },
         tabId: null,
-        interval: CONSTANTS.UI.AUTO_REFRESH_INTERVAL,
+        interval: HUB_REFRESH_ACTIVE_MS,
         refreshOnActivation: true,
         immediate: false,
     });