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

codex_autorunner/static/fileboxUi.js

@@ -0,0 +1,159 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
+import { api, confirmModal, escapeHtml, flash, resolvePath } from "./utils.js";
+function formatBytes(size) {
+    if (!size && size !== 0)
+        return "";
+    const units = ["B", "KB", "MB", "GB"];
+    let val = size;
+    let idx = 0;
+    while (val >= 1024 && idx < units.length - 1) {
+        val /= 1024;
+        idx += 1;
+    }
+    const formatted = idx === 0 ? String(val) : val.toFixed(1).replace(/\.0$/, "");
+    return `${formatted}${units[idx]}`;
+}
+function pathPrefix(config) {
+    if (config.scope === "repo") {
+        return config.basePath || "/api/filebox";
+    }
+    if (config.scope === "pma") {
+        return config.basePath || "/hub/pma/files";
+    }
+    if (!config.repoId) {
+        throw new Error("repoId is required for hub filebox");
+    }
+    const base = config.basePath || "/hub/filebox";
+    return `${base}/${encodeURIComponent(config.repoId)}`;
+}
+async function listFileBox(config) {
+    const prefix = pathPrefix(config);
+    const res = (await api(prefix));
+    return {
+        inbox: Array.isArray(res?.inbox) ? res.inbox : [],
+        outbox: Array.isArray(res?.outbox) ? res.outbox : [],
+    };
+}
+async function uploadFiles(config, box, files) {
+    const prefix = pathPrefix(config);
+    const form = new FormData();
+    const names = [];
+    Array.from(files).forEach((file) => {
+        form.append(file.name, file);
+        names.push(file.name);
+    });
+    await api(`${prefix}/${box}`, {
+        method: "POST",
+        body: form,
+    });
+    return names;
+}
+async function deleteFile(config, box, name) {
+    const prefix = pathPrefix(config);
+    await api(`${prefix}/${box}/${encodeURIComponent(name)}`, { method: "DELETE" });
+}
+export function createFileBoxWidget(opts) {
+    const uploadBox = opts.uploadBox || "inbox";
+    let listing = { inbox: [], outbox: [] };
+    const renderList = (box, el) => {
+        if (!el)
+            return;
+        const files = listing[box] || [];
+        if (!files.length) {
+            el.innerHTML = opts.emptyMessage
+                ? `<div class="filebox-empty muted small">${escapeHtml(opts.emptyMessage)}</div>`
+                : "";
+            return;
+        }
+        el.innerHTML = files
+            .map((entry) => {
+            const href = entry.url ? resolvePath(entry.url) : "#";
+            const meta = entry.modified_at ? new Date(entry.modified_at).toLocaleString() : "";
+            const size = formatBytes(entry.size);
+            const source = entry.source && entry.source !== "filebox" ? ` • ${escapeHtml(entry.source || "")}` : "";
+            return `
+        <div class="filebox-item">
+          <div class="filebox-row">
+            <a class="filebox-link" href="${escapeHtml(href)}" download>${escapeHtml(entry.name)}</a>
+            <button class="ghost sm icon-btn filebox-delete" data-box="${box}" data-file="${escapeHtml(entry.name)}" title="Delete">×</button>
+          </div>
+          <div class="filebox-meta muted small">${escapeHtml(size || "")}${source}${meta ? ` • ${escapeHtml(meta)}` : ""}</div>
+        </div>
+      `;
+        })
+            .join("");
+        el.querySelectorAll(".filebox-delete").forEach((btn) => {
+            btn.addEventListener("click", async (evt) => {
+                const target = evt.currentTarget;
+                const boxName = (target.dataset.box || "");
+                const file = target.dataset.file || "";
+                if (!boxName || !file)
+                    return;
+                const confirmed = await confirmModal(`Delete ${file}?`);
+                if (!confirmed)
+                    return;
+                try {
+                    await deleteFile(opts, boxName, file);
+                    await refresh();
+                }
+                catch (err) {
+                    const msg = err.message || "Delete failed";
+                    flash(msg, "error");
+                    opts.onError?.(msg);
+                }
+            });
+        });
+    };
+    const render = () => {
+        renderList("inbox", opts.inboxEl);
+        renderList("outbox", opts.outboxEl);
+    };
+    async function refresh() {
+        try {
+            listing = await listFileBox(opts);
+            render();
+            opts.onChange?.(listing);
+        }
+        catch (err) {
+            const msg = err.message || "Failed to load FileBox";
+            flash(msg, "error");
+            opts.onError?.(msg);
+        }
+        return listing;
+    }
+    const handleUpload = async (files) => {
+        if (!files || !files.length)
+            return;
+        const names = Array.from(files).map((f) => f.name);
+        try {
+            await uploadFiles(opts, uploadBox, files);
+            opts.onUpload?.(names);
+            await refresh();
+        }
+        catch (err) {
+            const msg = err.message || "Upload failed";
+            flash(msg, "error");
+            opts.onError?.(msg);
+        }
+        finally {
+            if (opts.uploadInput)
+                opts.uploadInput.value = "";
+        }
+    };
+    if (opts.uploadBtn && opts.uploadInput) {
+        opts.uploadBtn.addEventListener("click", () => opts.uploadInput?.click());
+        opts.uploadInput.addEventListener("change", () => void handleUpload(opts.uploadInput?.files));
+    }
+    if (opts.refreshBtn) {
+        opts.refreshBtn.addEventListener("click", () => void refresh());
+    }
+    return {
+        refresh,
+        snapshot() {
+            return {
+                inbox: [...listing.inbox],
+                outbox: [...listing.outbox],
+            };
+        },
+    };
+}

codex_autorunner/static/hub.js

@@ -5,7 +5,6 @@ import { HUB_BASE } from "./env.js";
 import { preserveScroll } from "./preserve.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 || "/"}`;
@@ -14,6 +13,7 @@ const HUB_REFRESH_IDLE_MS = 30000;
 let lastHubAutoRefreshAt = 0;
 const repoListEl = document.getElementById("hub-repo-list");
 const lastScanEl = document.getElementById("hub-last-scan");
+const pmaLastScanEl = document.getElementById("pma-last-scan");
 const totalEl = document.getElementById("hub-count-total");
 const runningEl = document.getElementById("hub-count-running");
 const missingEl = document.getElementById("hub-count-missing");
@@ -23,8 +23,7 @@ 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 pmaVersionEl = document.getElementById("pma-version");
 const UPDATE_STATUS_SEEN_KEY = "car_update_status_seen";
 const HUB_JOB_POLL_INTERVAL_MS = 1200;
 const HUB_JOB_TIMEOUT_MS = 180000;
@@ -84,9 +83,7 @@ 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)
@@ -156,6 +153,9 @@ function renderSummary(repos) {
     if (lastScanEl) {
         lastScanEl.textContent = formatTimeCompact(hubData.last_scan_at);
     }
+    if (pmaLastScanEl) {
+        pmaLastScanEl.textContent = formatTimeCompact(hubData.last_scan_at);
+    }
 }
 function formatTokensCompact(val) {
     if (val === null || val === undefined)
@@ -182,17 +182,10 @@ function formatTokensAxis(val) {
 function getRepoUsage(repoId) {
     const usage = hubUsageIndex[repoId];
     if (!usage)
-        return { label: "—", meta: "", hasData: false };
+        return { label: "—", 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,
     };
 }
@@ -616,7 +609,7 @@ async function handleSystemUpdate(btnId, targetSelectId) {
     }
 }
 function initHubSettings() {
-    const settingsBtn = document.getElementById("hub-settings");
+    const settingsBtns = Array.from(document.querySelectorAll("#hub-settings, #pma-settings"));
     const modal = document.getElementById("hub-settings-modal");
     const closeBtn = document.getElementById("hub-settings-close");
     const updateBtn = document.getElementById("hub-update-btn");
@@ -629,14 +622,16 @@ function initHubSettings() {
             close();
         }
     };
-    if (settingsBtn && modal) {
-        settingsBtn.addEventListener("click", () => {
-            const triggerEl = document.activeElement;
-            hideModal();
-            closeModal = openModal(modal, {
-                initialFocus: closeBtn || updateBtn || modal,
-                returnFocusTo: triggerEl,
-                onRequestClose: hideModal,
+    if (modal && settingsBtns.length > 0) {
+        settingsBtns.forEach((settingsBtn) => {
+            settingsBtn.addEventListener("click", () => {
+                const triggerEl = document.activeElement;
+                hideModal();
+                closeModal = openModal(modal, {
+                    initialFocus: closeBtn || updateBtn || modal,
+                    returnFocusTo: triggerEl,
+                    onRequestClose: hideModal,
+                });
             });
         });
     }
@@ -815,10 +810,26 @@ function renderRepos(repos) {
         <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>`;
+        // Ticket flow progress line
+        let ticketFlowLine = "";
+        const tf = repo.ticket_flow;
+        if (tf && tf.total_count > 0) {
+            const percent = Math.round((tf.done_count / tf.total_count) * 100);
+            const isActive = tf.status === "running" || tf.status === "paused";
+            const statusSuffix = tf.status === "paused"
+                ? " · paused"
+                : tf.current_step
+                    ? ` · step ${tf.current_step}`
+                    : "";
+            ticketFlowLine = `
+        <div class="hub-repo-flow-line${isActive ? " active" : ""}">
+          <div class="hub-flow-bar">
+            <div class="hub-flow-fill" style="width:${percent}%"></div>
+          </div>
+          <span class="hub-flow-text">${tf.done_count}/${tf.total_count}${statusSuffix}</span>
+        </div>`;
+        }
         card.innerHTML = `
       <div class="hub-repo-row">
         <div class="hub-repo-left">
@@ -833,6 +844,7 @@ function renderRepos(repos) {
             ${infoLine}
           </div>
           ${usageLine}
+          ${ticketFlowLine}
         </div>
         <div class="hub-repo-right">
           ${actions || ""}
@@ -903,7 +915,6 @@ async function refreshHub() {
         saveSessionCache(HUB_CACHE_KEY, hubData);
         renderSummary(data.repos || []);
         renderReposWithScroll(data.repos || []);
-        await loadHubInbox().catch(() => { });
         loadHubUsage({ silent: true }).catch(() => { });
     }
     catch (err) {
@@ -913,46 +924,6 @@ 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 {
@@ -1167,22 +1138,14 @@ 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());
     }
@@ -1282,15 +1245,20 @@ async function dynamicRefreshHub() {
     await silentRefreshHub();
 }
 async function loadHubVersion() {
-    if (!hubVersionEl)
-        return;
     try {
         const data = await api("/hub/version", { method: "GET" });
         const version = data.asset_version || "";
-        hubVersionEl.textContent = version ? `v${version}` : "v–";
+        const formatted = version ? `v${version}` : "v–";
+        if (hubVersionEl)
+            hubVersionEl.textContent = formatted;
+        if (pmaVersionEl)
+            pmaVersionEl.textContent = formatted;
     }
     catch (_err) {
-        hubVersionEl.textContent = "v–";
+        if (hubVersionEl)
+            hubVersionEl.textContent = "v–";
+        if (pmaVersionEl)
+            pmaVersionEl.textContent = "v–";
     }
 }
 async function checkUpdateStatus() {
@@ -1322,9 +1290,6 @@ 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;