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

codex_autorunner/static/autoRefresh.js

@@ -1,3 +1,4 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 /**
  * Auto-refresh utility for managing periodic data fetching.
  *
@@ -16,6 +17,9 @@ const refreshers = new Map();
 let activeTab = null;
 // Track page visibility
 let pageVisible = true;
+// Global enable/disable toggle (e.g., when repo server is offline)
+let globallyEnabled = true;
+let globalPauseReason = null;
 /**
  * Register a component for auto-refresh.
  *
@@ -43,7 +47,7 @@ export function registerAutoRefresh(id, options) {
     // Start timer if applicable
     maybeStartTimer(id, refresher);
     // Immediate refresh if requested
-    if (immediate) {
+    if (immediate && globallyEnabled) {
         doRefresh(id, refresher);
     }
     return () => unregisterAutoRefresh(id);
@@ -69,10 +73,32 @@ export function triggerRefresh(id) {
         doRefresh(id, refresher);
     }
 }
+/**
+ * Globally enable/disable all auto-refresh timers.
+ */
+export function setAutoRefreshEnabled(enabled, reason) {
+    globallyEnabled = enabled;
+    globalPauseReason = enabled ? null : reason || null;
+    refreshers.forEach((refresher, id) => {
+        if (!enabled) {
+            if (refresher.timerId) {
+                clearInterval(refresher.timerId);
+                refresher.timerId = null;
+            }
+            return;
+        }
+        maybeStartTimer(id, refresher);
+    });
+}
+export function getAutoRefreshPauseReason() {
+    return globalPauseReason;
+}
 /**
  * Check if conditions allow refresh for this refresher.
  */
 function canRefresh(refresher) {
+    if (!globallyEnabled)
+        return false;
     // Don't refresh if page is hidden
     if (!pageVisible)
         return false;
@@ -112,6 +138,8 @@ function maybeStartTimer(id, refresher) {
         refresher.timerId = null;
     }
     // Only start timer if page is visible and tab is active (or global)
+    if (!globallyEnabled)
+        return;
     if (!pageVisible)
         return;
     if (refresher.tabId && refresher.tabId !== activeTab)

codex_autorunner/static/bootstrap.js

@@ -1,3 +1,4 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 "use strict";
 (() => {
     const windowExt = window;

codex_autorunner/static/bus.js

@@ -1,3 +1,4 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 const listeners = new Map();
 export function subscribe(event, handler) {
     if (!listeners.has(event)) {

codex_autorunner/static/cache.js

@@ -1,3 +1,4 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 import { BASE_PATH, REPO_ID } from "./env.js";
 function cachePrefix() {
     const scope = REPO_ID ? `repo:${REPO_ID}` : `base:${BASE_PATH || ""}`;

codex_autorunner/static/constants.js

@@ -1,6 +1,7 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 export const CONSTANTS = {
     UI: {
-        TOAST_DURATION: 2200,
+        TOAST_DURATION: 5000,
         POLLING_INTERVAL: 15000,
         LOG_SCROLL_THRESHOLD: 50,
         MAX_LOG_LINES_IN_DOM: 2000,
@@ -36,11 +37,26 @@ export const CONSTANTS = {
     },
     PROMPTS: {
         VOICE_TRANSCRIPT_DISCLAIMER: "Note: transcribed from user voice. If confusing or possibly inaccurate and you cannot infer the intention please clarify before proceeding.",
+        CAR_CONTEXT_HINT: "Context: read .codex-autorunner/ABOUT_CAR.md for repo-specific rules.",
+    },
+    KEYWORDS: {
+        CAR_CONTEXT: [
+            "car",
+            "codex",
+            "spec",
+            "autorunner",
+            "workspace",
+            "ticket",
+            "tickets",
+            "context",
+            "decision",
+            "decisions",
+            "handoff",
+            "dispatch",
+            "inbox",
+        ],
     },
     API: {
-        STATE_ENDPOINT: "/api/state",
-        LOGS_ENDPOINT: "/api/logs",
-        DOCS_ENDPOINT: "/api/docs",
         TERMINAL_ENDPOINT: "/api/terminal",
         TERMINAL_IMAGE_ENDPOINT: "/api/terminal/image",
     }

codex_autorunner/static/dashboard.js

@@ -1,14 +1,10 @@
-import { api, flash, statusPill, confirmModal, openModal } from "./utils.js";
-import { subscribe } from "./bus.js";
+// GENERATED FILE - do not edit directly. Source: static_src/
+import { api, flash, confirmModal, openModal, statusPill } from "./utils.js";
 import { saveToCache, loadFromCache } from "./cache.js";
-import { renderTodoPreview } from "./todoPreview.js";
-import { loadState, startRun, stopRun, killRun, resetRun, clearLock, startStatePolling, } from "./state.js";
 import { registerAutoRefresh } from "./autoRefresh.js";
 import { CONSTANTS } from "./constants.js";
-import { initAgentControls } from "./agentControls.js";
-import { initReview } from "./review.js";
 const UPDATE_STATUS_SEEN_KEY = "car_update_status_seen";
-let pendingSummaryOpen = false;
+const ANALYTICS_SUMMARY_CACHE_KEY = "analytics-summary";
 const usageChartState = {
     segment: "none",
     bucket: "day",
@@ -16,120 +12,6 @@ const usageChartState = {
 };
 let usageSeriesRetryTimer = null;
 let usageSummaryRetryTimer = null;
-function renderState(state) {
-    if (!state)
-        return;
-    saveToCache("state", state);
-    const statusEl = document.getElementById("runner-status");
-    if (statusEl) {
-        statusPill(statusEl, state.status);
-    }
-    const lastRunIdEl = document.getElementById("last-run-id");
-    if (lastRunIdEl) {
-        lastRunIdEl.textContent = String(state.last_run_id ?? "–");
-    }
-    const lastExitCodeEl = document.getElementById("last-exit-code");
-    if (lastExitCodeEl) {
-        lastExitCodeEl.textContent = String(state.last_exit_code ?? "–");
-    }
-    const lastStartEl = document.getElementById("last-start");
-    if (lastStartEl) {
-        lastStartEl.textContent = state.last_run_started_at ?? "–";
-    }
-    const lastFinishEl = document.getElementById("last-finish");
-    if (lastFinishEl) {
-        lastFinishEl.textContent = state.last_run_finished_at ?? "–";
-    }
-    const todoCountEl = document.getElementById("todo-count");
-    if (todoCountEl) {
-        todoCountEl.textContent = String(state.outstanding_count ?? "–");
-    }
-    const doneCountEl = document.getElementById("done-count");
-    if (doneCountEl) {
-        doneCountEl.textContent = String(state.done_count ?? "–");
-    }
-    const runnerPidEl = document.getElementById("runner-pid");
-    if (runnerPidEl) {
-        runnerPidEl.textContent = `Runner pid: ${state.runner_pid ?? "–"}`;
-    }
-    const summaryBtn = document.getElementById("open-summary");
-    if (summaryBtn) {
-        const done = Number(state.outstanding_count ?? NaN) === 0;
-        summaryBtn.classList.toggle("hidden", !done);
-    }
-    const clearLockBtn = document.getElementById("clear-lock");
-    if (clearLockBtn) {
-        const freeable = Boolean(state.lock_freeable);
-        clearLockBtn.classList.toggle("hidden", !freeable);
-        if (state.lock_freeable_reason) {
-            clearLockBtn.title = state.lock_freeable_reason;
-        }
-    }
-    const status = state.status || "idle";
-    const startBtn = document.getElementById("start-run");
-    const stopBtn = document.getElementById("stop-run");
-    const killBtn = document.getElementById("kill-run");
-    const resetBtn = document.getElementById("reset-runner");
-    if (status === "idle" || status === "stopped" || status === "completed") {
-        if (startBtn)
-            startBtn.classList.remove("hidden");
-        if (stopBtn)
-            stopBtn.classList.add("hidden");
-        if (killBtn)
-            killBtn.classList.add("hidden");
-        if (resetBtn)
-            resetBtn.classList.remove("hidden");
-    }
-    else if (status === "running") {
-        if (startBtn)
-            startBtn.classList.add("hidden");
-        if (stopBtn)
-            stopBtn.classList.remove("hidden");
-        if (killBtn)
-            killBtn.classList.remove("hidden");
-        if (resetBtn)
-            resetBtn.classList.add("hidden");
-    }
-    else if (status === "error") {
-        if (startBtn)
-            startBtn.classList.remove("hidden");
-        if (stopBtn)
-            stopBtn.classList.add("hidden");
-        if (killBtn)
-            killBtn.classList.remove("hidden");
-        if (resetBtn)
-            resetBtn.classList.remove("hidden");
-    }
-}
-function updateTodoPreview(content) {
-    renderTodoPreview(content || "");
-    if (content !== undefined) {
-        saveToCache("todo-doc", content || "");
-    }
-}
-function handleDocsEvent(payload) {
-    if (!payload)
-        return;
-    if (payload.kind === "todo") {
-        updateTodoPreview(payload.content || "");
-        return;
-    }
-    if (typeof payload.todo === "string") {
-        updateTodoPreview(payload.todo);
-    }
-}
-async function loadTodoPreview(options = {}) {
-    const { silent = false } = options;
-    try {
-        const data = await api("/api/docs");
-        updateTodoPreview(data?.todo || "");
-    }
-    catch (err) {
-        if (!silent) {
-            flash(err.message || "Failed to load TODO preview", "error");
-        }
-    }
-}
 function setUsageLoading(loading) {
     const btn = document.getElementById("usage-refresh");
     if (!btn)
@@ -226,6 +108,144 @@ function renderUsage(data) {
     if (metaEl)
         metaEl.textContent = codexHome;
 }
+async function loadTicketAnalytics() {
+    try {
+        const data = (await api("/api/analytics/summary"));
+        saveToCache(ANALYTICS_SUMMARY_CACHE_KEY, data);
+        renderTicketAnalytics(data);
+    }
+    catch (err) {
+        const cached = loadFromCache(ANALYTICS_SUMMARY_CACHE_KEY);
+        if (cached)
+            renderTicketAnalytics(cached);
+        flash(err.message || "Failed to load analytics", "error");
+    }
+}
+function formatDuration(seconds) {
+    if (seconds === null || Number.isNaN(seconds))
+        return "–";
+    if (seconds < 60)
+        return `${Math.round(seconds)}s`;
+    const mins = seconds / 60;
+    if (mins < 60)
+        return `${Math.round(mins)}m`;
+    const hours = mins / 60;
+    return `${hours.toFixed(1)}h`;
+}
+function renderTicketAnalytics(data) {
+    const run = data?.run;
+    const tickets = data?.tickets;
+    const turns = data?.turns;
+    const agent = data?.agent;
+    const statusEl = document.getElementById("runner-status");
+    if (statusEl && run) {
+        statusPill(statusEl, run.status || "idle");
+        statusEl.textContent = run.status || "idle";
+    }
+    const lastStart = document.getElementById("last-start");
+    const lastFinish = document.getElementById("last-finish");
+    const lastDuration = document.getElementById("last-duration");
+    const todoCount = document.getElementById("todo-count");
+    const doneCount = document.getElementById("done-count");
+    const ticketActive = document.getElementById("ticket-active");
+    const ticketTurns = document.getElementById("ticket-turns");
+    const totalTurns = document.getElementById("total-turns");
+    const dispatchesEl = document.getElementById("message-dispatches");
+    const repliesEl = document.getElementById("message-replies");
+    const runIdEl = document.getElementById("last-run-id");
+    if (lastStart)
+        lastStart.textContent = formatIso(run?.started_at || null);
+    if (lastFinish)
+        lastFinish.textContent = formatIso(run?.finished_at || null);
+    if (lastDuration)
+        lastDuration.textContent = formatDuration(run?.duration_seconds ?? null);
+    if (todoCount)
+        todoCount.textContent = tickets ? String(tickets.todo_count) : "–";
+    if (doneCount)
+        doneCount.textContent = tickets ? String(tickets.done_count) : "–";
+    if (ticketActive) {
+        const ticket = tickets?.current_ticket || null;
+        ticketActive.textContent = ticket ? ticket.split("/").pop() || ticket : "–";
+    }
+    if (ticketTurns)
+        ticketTurns.textContent = turns?.current_ticket != null ? String(turns.current_ticket) : "–";
+    if (totalTurns)
+        totalTurns.textContent = turns?.total != null ? String(turns.total) : "–";
+    const dispatchCount = turns?.dispatches ?? 0;
+    if (dispatchesEl)
+        dispatchesEl.textContent = String(dispatchCount);
+    if (repliesEl)
+        repliesEl.textContent = turns?.replies != null ? String(turns.replies) : "0";
+    if (runIdEl)
+        runIdEl.textContent = run?.short_id || run?.id || "–";
+    // Agent chip (optional future use)
+    const agentEl = document.getElementById("ticket-agent");
+    if (agentEl) {
+        agentEl.textContent = agent?.id || "–";
+    }
+}
+async function loadRunHistory() {
+    try {
+        const runs = (await api("/api/flows/runs?flow_type=ticket_flow"));
+        const runHistory = Array.isArray(runs) ? runs.slice(0, 10) : [];
+        renderRunHistory(runHistory);
+    }
+    catch (err) {
+        flash(err.message || "Failed to load run history", "error");
+    }
+}
+function formatIso(iso) {
+    if (!iso)
+        return "–";
+    const dt = new Date(iso);
+    if (Number.isNaN(dt.getTime()))
+        return iso;
+    return dt.toLocaleString();
+}
+function calcDurationFromRun(run) {
+    const started = run.started_at;
+    const finished = run.finished_at;
+    if (!started)
+        return "–";
+    const start = new Date(started).getTime();
+    const end = finished && !Number.isNaN(new Date(finished).getTime())
+        ? new Date(finished).getTime()
+        : Date.now();
+    if (Number.isNaN(start) || Number.isNaN(end))
+        return "–";
+    return formatDuration((end - start) / 1000);
+}
+function renderRunHistory(runs) {
+    const container = document.getElementById("run-history-list");
+    if (!container)
+        return;
+    if (!runs || !runs.length) {
+        container.innerHTML = '<div class="muted">No runs yet.</div>';
+        return;
+    }
+    const items = runs.map((run) => {
+        const shortId = run.id ? run.id.split("-")[0] : "–";
+        const status = run.status || "unknown";
+        const duration = calcDurationFromRun(run);
+        const started = formatIso(run.started_at);
+        const current = run.current_step || "–";
+        return `
+      <div class="run-history-row">
+        <div class="run-history-id">${shortId}</div>
+        <div class="run-history-status">${status}</div>
+        <div class="run-history-duration">${duration}</div>
+        <div class="run-history-start">${started}</div>
+        <div class="run-history-step">${current}</div>
+      </div>
+    `;
+    });
+    container.innerHTML = `
+    <div class="run-history-head">
+      <div>ID</div><div>Status</div><div>Duration</div><div>Started</div><div>Step</div>
+    </div>
+    ${items.join("")}
+  `;
+}
 function buildUsageSeriesQuery() {
     const params = new URLSearchParams();
     const now = new Date();
@@ -676,97 +696,43 @@ function bindAction(buttonId, action) {
         }
     });
 }
-function isDocsReady() {
-    return document.body?.dataset?.docsReady === "true";
-}
-function openSummaryDoc() {
-    const summaryChip = document.querySelector('.chip[data-doc="summary"]');
-    if (summaryChip)
-        summaryChip.click();
-}
 export function initDashboard() {
     initSettings();
     initUsageChartControls();
-    initReview();
-    const agentSelect = document.getElementById("dashboard-agent-select");
-    const modelSelect = document.getElementById("dashboard-model-select");
-    const reasoningSelect = document.getElementById("dashboard-reasoning-select");
-    initAgentControls({ agentSelect, modelSelect, reasoningSelect });
-    const buildRunOverrides = () => {
-        const overrides = {};
-        if (agentSelect)
-            overrides.agent = agentSelect.value;
-        if (modelSelect)
-            overrides.model = modelSelect.value;
-        if (reasoningSelect)
-            overrides.reasoning = reasoningSelect.value;
-        return overrides;
-    };
-    subscribe("state:update", renderState);
-    subscribe("todo:invalidate", () => {
-        void loadTodoPreview({ silent: true });
-    });
-    subscribe("docs:updated", handleDocsEvent);
-    subscribe("docs:loaded", handleDocsEvent);
-    subscribe("docs:ready", () => {
-        if (!isDocsReady()) {
-            if (document.body) {
-                document.body.dataset.docsReady = "true";
-            }
-        }
-        if (pendingSummaryOpen) {
-            pendingSummaryOpen = false;
-            openSummaryDoc();
-        }
-    });
-    bindAction("start-run", () => startRun(false, buildRunOverrides()));
-    bindAction("stop-run", stopRun);
-    bindAction("kill-run", killRun);
-    bindAction("clear-lock", clearLock);
-    bindAction("reset-runner", async () => {
-        const confirmed = await confirmModal("Reset runner? This will clear all logs and reset run ID to 1.");
-        if (confirmed)
-            await resetRun();
-    });
-    bindAction("refresh-state", async () => { await loadState(); });
+    // initReview(); // Removed - review.ts was deleted
     bindAction("usage-refresh", loadUsage);
-    bindAction("refresh-preview", loadTodoPreview);
-    const cachedState = loadFromCache("state");
-    if (cachedState)
-        renderState(cachedState);
+    bindAction("analytics-refresh", async () => {
+        await loadTicketAnalytics();
+        await loadRunHistory();
+    });
     const cachedUsage = loadFromCache("usage");
     if (cachedUsage)
         renderUsage(cachedUsage);
-    const cachedTodo = loadFromCache("todo-doc");
-    if (typeof cachedTodo === "string") {
-        updateTodoPreview(cachedTodo);
-    }
-    const summaryBtn = document.getElementById("open-summary");
-    if (summaryBtn) {
-        summaryBtn.addEventListener("click", () => {
-            const docsTab = document.querySelector('.tab[data-target="docs"]');
-            if (docsTab)
-                docsTab.click();
-            if (isDocsReady()) {
-                requestAnimationFrame(openSummaryDoc);
-            }
-            else {
-                pendingSummaryOpen = true;
-            }
-        });
-    }
+    const cachedAnalytics = loadFromCache(ANALYTICS_SUMMARY_CACHE_KEY);
+    if (cachedAnalytics)
+        renderTicketAnalytics(cachedAnalytics);
     loadUsage();
-    loadTodoPreview();
+    loadTicketAnalytics();
+    loadRunHistory();
     loadVersion();
     checkUpdateStatus();
-    startStatePolling();
     registerAutoRefresh("dashboard-usage", {
         callback: async () => { await loadUsage(); },
-        tabId: "dashboard",
+        tabId: "analytics",
         interval: CONSTANTS.UI.AUTO_REFRESH_USAGE_INTERVAL,
         refreshOnActivation: true,
         immediate: false,
     });
+    registerAutoRefresh("dashboard-analytics", {
+        callback: async () => {
+            await loadTicketAnalytics();
+            await loadRunHistory();
+        },
+        tabId: "analytics",
+        interval: CONSTANTS.UI.AUTO_REFRESH_INTERVAL,
+        refreshOnActivation: true,
+        immediate: true,
+    });
 }
 async function loadVersion() {
     const versionEl = document.getElementById("repo-version");

codex_autorunner/static/diffRenderer.js

@@ -0,0 +1,37 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
+export function renderDiff(patch, container) {
+    if (!container)
+        return;
+    container.innerHTML = "";
+    const lines = (patch || "").split("\n");
+    if (!lines.length)
+        return;
+    for (const line of lines) {
+        const row = document.createElement("div");
+        row.classList.add("diff-line");
+        if (line.startsWith("@@")) {
+            row.classList.add("diff-hunk");
+        }
+        else if (line.startsWith("+") && !line.startsWith("+++")) {
+            row.classList.add("diff-add");
+        }
+        else if (line.startsWith("-") && !line.startsWith("---")) {
+            row.classList.add("diff-del");
+        }
+        else if (line.startsWith("---") || line.startsWith("+++")) {
+            row.classList.add("diff-file");
+        }
+        else {
+            row.classList.add("diff-ctx");
+        }
+        const sign = document.createElement("span");
+        sign.classList.add("diff-sign");
+        sign.textContent = line.charAt(0) || " ";
+        const content = document.createElement("span");
+        content.classList.add("diff-content");
+        content.textContent = line.slice(1);
+        row.appendChild(sign);
+        row.appendChild(content);
+        container.appendChild(row);
+    }
+}