codex-autorunner 0.1.2__py3-none-any.whl → 1.1.0__py3-none-any.whl

codex_autorunner/static/hub.js

@@ -1,17 +1,14 @@
+// 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 { HUB_BASE } from "./env.js";
+import { preserveScroll } from "./preserve.js";
 let hubData = { repos: [], last_scan_at: null };
-const repoPrCache = new Map();
-const repoPrFetches = new Set();
 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 || "/"}`;
-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;
@@ -20,13 +17,14 @@ const lastScanEl = document.getElementById("hub-last-scan");
 const totalEl = document.getElementById("hub-count-total");
 const runningEl = document.getElementById("hub-count-running");
 const missingEl = document.getElementById("hub-count-missing");
-const hubUsageList = document.getElementById("hub-usage-list");
 const hubUsageMeta = document.getElementById("hub-usage-meta");
 const hubUsageRefresh = document.getElementById("hub-usage-refresh");
 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;
@@ -37,10 +35,8 @@ const hubUsageChartState = {
 };
 let hubUsageSeriesRetryTimer = null;
 let hubUsageSummaryRetryTimer = null;
-const repoPrPending = new Set();
-const repoPrQueue = [];
-let repoPrActive = 0;
-let repoPrObserver = null;
+let hubUsageIndex = {};
+let hubUsageUnmatched = null;
 function saveSessionCache(key, value) {
     try {
         const payload = { at: Date.now(), value };
@@ -183,49 +179,37 @@ function formatTokensAxis(val) {
         return `${(num / 1000).toFixed(1)}k`;
     return Math.round(num).toString();
 }
-function renderHubUsage(data) {
-    if (!hubUsageList)
+function getRepoUsage(repoId) {
+    const usage = hubUsageIndex[repoId];
+    if (!usage)
+        return { label: "—", meta: "", hasData: false };
+    const totals = usage.totals || {};
+    const cached = totals.cached_input_tokens || 0;
+    const input = totals.input_tokens || 0;
+    const cachePercent = input ? Math.round((cached / input) * 100) : 0;
+    const meta = usage.events === undefined
+        ? ""
+        : `${usage.events}ev${input ? ` · ${cachePercent}%↻` : ""}`;
+    return {
+        label: formatTokensCompact(totals.total_tokens),
+        meta,
+        hasData: true,
+    };
+}
+function indexHubUsage(data) {
+    hubUsageIndex = {};
+    hubUsageUnmatched = data?.unmatched || null;
+    if (!data?.repos)
         return;
+    data.repos.forEach((repo) => {
+        if (repo?.id)
+            hubUsageIndex[repo.id] = repo;
+    });
+}
+function renderHubUsageMeta(data) {
     if (hubUsageMeta) {
         hubUsageMeta.textContent = data?.codex_home || "–";
     }
-    if (!data || !data.repos) {
-        hubUsageList.innerHTML =
-            '<span class="muted small">Usage unavailable</span>';
-        return;
-    }
-    if (!data.repos.length && (!data.unmatched || !data.unmatched.events)) {
-        hubUsageList.innerHTML = '<span class="muted small">No token events</span>';
-        return;
-    }
-    hubUsageList.innerHTML = "";
-    const entries = [...data.repos].sort((a, b) => (b.totals?.total_tokens || 0) - (a.totals?.total_tokens || 0));
-    entries.forEach((repo) => {
-        const div = document.createElement("div");
-        div.className = "hub-usage-chip";
-        const totals = repo.totals || {};
-        const cached = totals.cached_input_tokens || 0;
-        const cachePercent = totals.input_tokens
-            ? Math.round((cached / totals.input_tokens) * 100)
-            : 0;
-        div.innerHTML = `
-      <span class="hub-usage-chip-name">${escapeHtml(repo.id)}</span>
-      <span class="hub-usage-chip-total">${escapeHtml(formatTokensCompact(totals.total_tokens))}</span>
-      <span class="hub-usage-chip-meta">${escapeHtml(`${repo.events ?? 0}ev · ${cachePercent}%↻`)}</span>
-    `;
-        hubUsageList.appendChild(div);
-    });
-    if (data.unmatched && data.unmatched.events) {
-        const div = document.createElement("div");
-        div.className = "hub-usage-chip hub-usage-chip-unmatched";
-        const totals = data.unmatched.totals || {};
-        div.innerHTML = `
-      <span class="hub-usage-chip-name">other</span>
-      <span class="hub-usage-chip-total">${escapeHtml(formatTokensCompact(totals.total_tokens))}</span>
-      <span class="hub-usage-chip-meta">${escapeHtml(`${data.unmatched.events}ev`)}</span>
-    `;
-        hubUsageList.appendChild(div);
-    }
 }
 function scheduleHubUsageSummaryRetry() {
     clearHubUsageSummaryRetry();
@@ -241,30 +225,23 @@ function clearHubUsageSummaryRetry() {
 }
 function handleHubUsagePayload(data, { cachedUsage, allowRetry }) {
     const hasSummary = data && Array.isArray(data.repos);
+    const effective = hasSummary ? data : cachedUsage;
+    if (effective) {
+        indexHubUsage(effective);
+        renderHubUsageMeta(effective);
+        renderReposWithScroll(hubData.repos || []);
+    }
     if (data?.status === "loading") {
-        if (hasSummary) {
-            renderHubUsage(data);
-        }
-        else if (cachedUsage) {
-            renderHubUsage(cachedUsage);
-        }
-        else {
-            renderHubUsage(data);
-        }
         if (allowRetry)
             scheduleHubUsageSummaryRetry();
-        return hasSummary;
+        return Boolean(hasSummary);
     }
     if (hasSummary) {
-        renderHubUsage(data);
         clearHubUsageSummaryRetry();
         return true;
     }
-    if (cachedUsage) {
-        renderHubUsage(cachedUsage);
-    }
-    else {
-        renderHubUsage(null);
+    if (!effective && !data) {
+        renderReposWithScroll(hubData.repos || []);
     }
     return false;
 }
@@ -286,10 +263,7 @@ async function loadHubUsage({ silent = false, allowRetry = true } = {}) {
     catch (err) {
         const cachedUsage = loadSessionCache(HUB_USAGE_CACHE_KEY, HUB_CACHE_TTL_MS);
         if (cachedUsage) {
-            renderHubUsage(cachedUsage);
-        }
-        else {
-            renderHubUsage(null);
+            handleHubUsagePayload(cachedUsage, { cachedUsage, allowRetry: false });
         }
         if (!silent) {
             flash(err.message || "Failed to load usage", "error");
@@ -758,76 +732,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 =
@@ -902,12 +809,16 @@ 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>`
-            : "";
+        const usageInfo = getRepoUsage(repo.id);
+        const usageLine = `
+      <div class="hub-repo-usage-line${usageInfo.hasData ? "" : " muted"}">
+        <span class="pill pill-small hub-usage-pill">
+          ${escapeHtml(usageInfo.label)}
+        </span>
+        ${usageInfo.meta
+            ? `<span class="hub-usage-pill-meta">${escapeHtml(usageInfo.meta)}</span>`
+            : ""}
+      </div>`;
         card.innerHTML = `
       <div class="hub-repo-row">
         <div class="hub-repo-left">
@@ -920,8 +831,8 @@ function renderRepos(repos) {
           <span class="hub-repo-title">${escapeHtml(repo.display_name)}</span>
           <div class="hub-repo-subline">
             ${infoLine}
-            ${prPill}
           </div>
+          ${usageLine}
         </div>
         <div class="hub-repo-right">
           ${actions || ""}
@@ -935,15 +846,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;
@@ -979,25 +881,18 @@ function renderRepos(repos) {
             .sort((a, b) => String(a.id).localeCompare(String(b.id)))
             .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;
+    if (hubUsageUnmatched && hubUsageUnmatched.events) {
+        const note = document.createElement("div");
+        note.className = "hub-usage-unmatched-note muted small";
+        const total = formatTokensCompact(hubUsageUnmatched.totals?.total_tokens);
+        note.textContent = `Other: ${total} · ${hubUsageUnmatched.events}ev (unattributed)`;
+        repoListEl.appendChild(note);
     }
-    mounted.forEach((repo) => scheduleRepoPrFetch(repo));
+}
+function renderReposWithScroll(repos) {
+    preserveScroll(repoListEl, () => {
+        renderRepos(repos);
+    }, { restoreOnNextFrame: true });
 }
 async function refreshHub() {
     setButtonLoading(true);
@@ -1007,9 +902,9 @@ async function refreshHub() {
         markHubRefreshed();
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
-        renderRepos(data.repos || []);
-        await refreshRepoPrCache(data.repos || []).catch(() => { });
-        await loadHubUsage().catch(() => { });
+        renderReposWithScroll(data.repos || []);
+        await loadHubInbox().catch(() => { });
+        loadHubUsage({ silent: true }).catch(() => { });
     }
     catch (err) {
         flash(err.message || "Hub request failed", "error");
@@ -1018,6 +913,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 {
@@ -1145,7 +1080,12 @@ async function handleRepoAction(repoId, action) {
             if (!ok)
                 return;
             await startHubJob("/hub/jobs/worktrees/cleanup", {
-                body: { worktree_repo_id: repoId },
+                body: {
+                    worktree_repo_id: repoId,
+                    archive: true,
+                    force_archive: false,
+                    archive_note: null,
+                },
                 startedMessage: "Worktree cleanup queued",
             });
             flash(`Removed worktree: ${repoId}`, "success");
@@ -1266,11 +1206,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();
@@ -1325,7 +1260,7 @@ async function silentRefreshHub() {
         markHubRefreshed();
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
-        renderRepos(data.repos || []);
+        renderReposWithScroll(data.repos || []);
         await loadHubUsage({ silent: true, allowRetry: false });
     }
     catch (err) {
@@ -1387,22 +1322,29 @@ export function initHub() {
         return;
     attachHubHandlers();
     initHubUsageChartControls();
+    hubInboxRefresh?.addEventListener("click", () => {
+        void loadHubInbox({ reason: "manual" });
+    });
     const cachedHub = loadSessionCache(HUB_CACHE_KEY, HUB_CACHE_TTL_MS);
     if (cachedHub) {
         hubData = cachedHub;
         renderSummary(cachedHub.repos || []);
-        renderRepos(cachedHub.repos || []);
+        renderReposWithScroll(cachedHub.repos || []);
     }
     const cachedUsage = loadSessionCache(HUB_USAGE_CACHE_KEY, HUB_CACHE_TTL_MS);
     if (cachedUsage) {
-        renderHubUsage(cachedUsage);
+        indexHubUsage(cachedUsage);
+        renderHubUsageMeta(cachedUsage);
     }
     loadHubUsageSeries();
     refreshHub();
     loadHubVersion();
     checkUpdateStatus();
     registerAutoRefresh("hub-repos", {
-        callback: async () => { await dynamicRefreshHub(); },
+        callback: async (ctx) => {
+            void ctx;
+            await dynamicRefreshHub();
+        },
         tabId: null,
         interval: HUB_REFRESH_ACTIVE_MS,
         refreshOnActivation: true,
@@ -1411,5 +1353,4 @@ export function initHub() {
 }
 export const __hubTest = {
     renderRepos,
-    renderHubUsage,
 };