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

codex_autorunner/static/review.js

@@ -1,157 +0,0 @@
-import { api, flash, statusPill } from "./utils.js";
-function $(id) {
-    return document.getElementById(id);
-}
-function setText(el, text) {
-    if (!el)
-        return;
-    el.textContent = text ?? "–";
-}
-function setLink(el, { href, text, title } = {}) {
-    if (!el)
-        return;
-    if (href) {
-        el.href = href;
-        el.target = "_blank";
-        el.rel = "noopener noreferrer";
-        el.classList.remove("muted");
-        el.textContent = text || href;
-        if (title)
-            el.title = title;
-    }
-    else {
-        el.removeAttribute("href");
-        el.removeAttribute("target");
-        el.removeAttribute("rel");
-        el.classList.add("muted");
-        el.textContent = text || "–";
-        if (title)
-            el.title = title;
-    }
-}
-let reviewInterval = null;
-async function loadReviewStatus() {
-    try {
-        const data = (await api("/api/review/status"));
-        const review = data.review || {};
-        const statusPillEl = $("review-status-pill");
-        const runIdEl = $("review-run-id");
-        const startedEl = $("review-started");
-        const finishedEl = $("review-finished");
-        const startBtn = $("review-start");
-        const stopBtn = $("review-stop");
-        const resetBtn = $("review-reset");
-        const status = review.status || "idle";
-        const running = review.running || false;
-        statusPill(statusPillEl, status);
-        setText(runIdEl, review.id);
-        setText(startedEl, review.started_at);
-        setText(finishedEl, review.finished_at);
-        if (startBtn) {
-            startBtn.disabled = running;
-        }
-        if (stopBtn) {
-            stopBtn.disabled = !running || status === "stopped";
-        }
-        if (resetBtn) {
-            resetBtn.disabled = running;
-        }
-        const finalLink = $("review-final-link");
-        const logLink = $("review-log-link");
-        const bundleLink = $("review-scratchpad-link");
-        setLink(finalLink, {
-            href: review.final_output_path ? "/api/review/artifact?kind=final_report" : null,
-            text: "Final report",
-            title: "Open the final review report",
-        });
-        setLink(logLink, {
-            href: review.run_dir ? "/api/review/artifact?kind=workflow_log" : null,
-            text: "Log",
-            title: "Open the review workflow log",
-        });
-        setLink(bundleLink, {
-            href: review.scratchpad_bundle_path
-                ? "/api/review/artifact?kind=scratchpad_bundle"
-                : null,
-            text: "Scratchpad",
-            title: "Download scratchpad files as zip",
-        });
-    }
-    catch (err) {
-        console.error("Failed to load review status:", err);
-    }
-}
-async function startReview() {
-    try {
-        const agentEl = $("review-agent");
-        const modelEl = $("review-model");
-        const reasoningEl = $("review-reasoning");
-        const timeoutEl = $("review-timeout");
-        const payload = {
-            agent: agentEl?.value || "opencode",
-            model: modelEl?.value || "zai-coding-plan/glm-4.7",
-            reasoning: reasoningEl?.value || null,
-            max_wallclock_seconds: timeoutEl?.value
-                ? parseInt(timeoutEl.value, 10) || null
-                : null,
-        };
-        const data = (await api("/api/review/start", {
-            method: "POST",
-            body: payload,
-        }));
-        if (data.status === "ok" || data.review) {
-            flash("Review started");
-            await loadReviewStatus();
-        }
-    }
-    catch (err) {
-        console.error("Failed to start review:", err);
-        const message = err instanceof Error ? err.message : "Failed to start review";
-        flash(message);
-    }
-}
-async function stopReview() {
-    try {
-        const data = (await api("/api/review/stop", {
-            method: "POST",
-        }));
-        if (data.status === "ok" || data.review) {
-            flash("Review stopped");
-            await loadReviewStatus();
-        }
-    }
-    catch (err) {
-        console.error("Failed to stop review:", err);
-        const message = err instanceof Error ? err.message : "Failed to stop review";
-        flash(message);
-    }
-}
-async function resetReview() {
-    try {
-        const data = (await api("/api/review/reset", {
-            method: "POST",
-        }));
-        if (data.status === "ok" || data.review) {
-            flash("Review state reset");
-            await loadReviewStatus();
-        }
-    }
-    catch (err) {
-        console.error("Failed to reset review:", err);
-        const message = err instanceof Error ? err.message : "Failed to reset review";
-        flash(message);
-    }
-}
-export function initReview() {
-    const startBtn = $("review-start");
-    const stopBtn = $("review-stop");
-    const resetBtn = $("review-reset");
-    startBtn?.addEventListener("click", startReview);
-    stopBtn?.addEventListener("click", stopReview);
-    resetBtn?.addEventListener("click", resetReview);
-    loadReviewStatus();
-    if (reviewInterval) {
-        clearInterval(reviewInterval);
-    }
-    reviewInterval = setInterval(loadReviewStatus, 5000);
-}

codex_autorunner/static/runs.js

@@ -1,418 +0,0 @@
-import { api, flash, getAuthToken, openModal, resolvePath } from "./utils.js";
-import { registerAutoRefresh, triggerRefresh } from "./autoRefresh.js";
-import { subscribe } from "./bus.js";
-let initialized = false;
-const RUNS_AUTO_REFRESH_INTERVAL = 15000;
-const runsState = {
-    runs: [],
-    attributionMode: "split",
-    todoSearch: "",
-};
-let closeDetailsModal = null;
-const RUN_OUTPUT_MAX_LINES = 160;
-const RUN_DIFF_MAX_LINES = 400;
-const RUN_PLAN_MAX_LINES = 120;
-const ui = {
-    refresh: document.getElementById("runs-refresh"),
-    tableBody: document.getElementById("runs-table-body"),
-    todoList: document.getElementById("runs-todo-list"),
-    todoSummary: document.getElementById("runs-todo-summary"),
-    todoSearch: document.getElementById("runs-todo-search"),
-    attribution: document.getElementById("runs-attribution-mode"),
-    modal: document.getElementById("run-details-modal"),
-    modalClose: document.getElementById("run-details-close"),
-    modalTitle: document.getElementById("run-details-title"),
-    modalMeta: document.getElementById("run-details-meta"),
-    modalTodos: document.getElementById("run-details-todos"),
-    modalTokens: document.getElementById("run-details-tokens"),
-    modalPlan: document.getElementById("run-details-plan"),
-    modalDiff: document.getElementById("run-details-diff"),
-    modalOutput: document.getElementById("run-details-output"),
-    modalLog: document.getElementById("run-details-log"),
-};
-const STATUS_LABELS = {
-    ok: "ok",
-    error: "error",
-    running: "running",
-};
-function formatTimestamp(ts) {
-    if (!ts)
-        return "–";
-    const date = new Date(ts);
-    if (Number.isNaN(date.getTime()))
-        return ts;
-    return date.toLocaleString();
-}
-function formatDuration(seconds) {
-    if (typeof seconds !== "number" || Number.isNaN(seconds))
-        return "–";
-    if (seconds < 60)
-        return `${seconds.toFixed(1)}s`;
-    const mins = Math.floor(seconds / 60);
-    const secs = Math.round(seconds % 60);
-    return `${mins}m ${secs}s`;
-}
-function formatNumber(value) {
-    if (typeof value !== "number" || Number.isNaN(value))
-        return "–";
-    return value.toLocaleString();
-}
-function truncateLines(text, maxLines) {
-    if (!text)
-        return "";
-    const lines = text.split("\n");
-    if (lines.length <= maxLines)
-        return text;
-    const trimmed = lines.slice(0, maxLines);
-    trimmed.push(`… (${lines.length - maxLines} more lines)`);
-    return trimmed.join("\n");
-}
-function runStatus(entry) {
-    if (entry.exit_code === 0)
-        return "ok";
-    if (entry.exit_code != null)
-        return "error";
-    return entry.finished_at ? "error" : "running";
-}
-function renderRunsTable() {
-    if (!ui.tableBody)
-        return;
-    ui.tableBody.innerHTML = "";
-    if (!runsState.runs.length) {
-        const row = document.createElement("tr");
-        row.innerHTML =
-            '<td colspan="6" class="runs-empty">No runs recorded yet.</td>';
-        ui.tableBody.appendChild(row);
-        return;
-    }
-    runsState.runs.forEach((run) => {
-        const status = runStatus(run);
-        const row = document.createElement("tr");
-        row.className = "runs-row";
-        row.dataset.runId = String(run.run_id);
-        row.innerHTML = `
-      <td>#${run.run_id}</td>
-      <td><span class="runs-pill runs-pill-${status}">${STATUS_LABELS[status]}</span></td>
-      <td>${formatTimestamp(run.started_at)}</td>
-      <td>${run.app_server?.model || "–"}</td>
-      <td>${formatNumber(run.token_total)}</td>
-      <td>${formatNumber(run.completed_todo_count || 0)}</td>
-    `;
-        row.addEventListener("click", () => openRunDetails(run));
-        ui.tableBody.appendChild(row);
-    });
-}
-function computeTodoAttribution() {
-    const map = new Map();
-    runsState.runs.forEach((run) => {
-        const completed = run.todo?.completed;
-        if (!Array.isArray(completed) || completed.length === 0)
-            return;
-        const runTokens = typeof run.token_total === "number" ? run.token_total : 0;
-        const perTodo = runsState.attributionMode === "split"
-            ? runTokens / completed.length
-            : runTokens;
-        completed.forEach((item) => {
-            if (!item)
-                return;
-            const key = String(item);
-            if (!map.has(key)) {
-                map.set(key, {
-                    text: key,
-                    tokens: 0,
-                    count: 0,
-                    runs: new Set(),
-                });
-            }
-            const entry = map.get(key);
-            entry.tokens += perTodo;
-            entry.count += 1;
-            entry.runs.add(run.run_id);
-        });
-    });
-    const list = Array.from(map.values()).map((entry) => ({
-        text: entry.text,
-        tokens: entry.tokens,
-        count: entry.count,
-        runs: Array.from(entry.runs).sort((a, b) => b - a),
-    }));
-    list.sort((a, b) => b.tokens - a.tokens);
-    return list;
-}
-function renderTodoAnalytics() {
-    if (!ui.todoList)
-        return;
-    const list = computeTodoAttribution();
-    const filtered = list.filter((entry) => entry.text.toLowerCase().includes(runsState.todoSearch.toLowerCase()));
-    ui.todoList.innerHTML = "";
-    if (!filtered.length) {
-        ui.todoList.textContent = "No TODOs yet.";
-    }
-    else {
-        filtered.forEach((entry) => {
-            const item = document.createElement("div");
-            item.className = "runs-todo-item";
-            const runsMarkup = entry.runs
-                .map((runId) => `<button class="runs-chip" data-run-id="${runId}" title="Open run #${runId}">#${runId}</button>`)
-                .join("");
-            item.innerHTML = `
-        <div class="runs-todo-text">${entry.text}</div>
-        <div class="runs-todo-meta">
-          <span>${formatNumber(entry.tokens)} tokens</span>
-          <span>${entry.count} completions</span>
-          <span class="runs-todo-runs">${runsMarkup}</span>
-        </div>
-      `;
-            item.querySelectorAll(".runs-chip").forEach((btn) => {
-                btn.addEventListener("click", (event) => {
-                    event.stopPropagation();
-                    const id = Number(btn.dataset.runId);
-                    const run = runsState.runs.find((candidate) => candidate.run_id === id);
-                    if (run)
-                        openRunDetails(run);
-                });
-            });
-            ui.todoList.appendChild(item);
-        });
-    }
-    if (ui.todoSummary) {
-        ui.todoSummary.textContent = `${filtered.length} TODOs`;
-    }
-}
-function formatPlan(plan) {
-    if (Array.isArray(plan)) {
-        const lines = plan
-            .map((item, index) => {
-            if (item && typeof item === "object") {
-                const step = item.step || item.task || item.title || "";
-                const status = item.status || item.state || "";
-                const label = `${index + 1}. ${step || "Step"}`;
-                return status ? `${label} [${status}]` : label;
-            }
-            return `${index + 1}. ${item}`;
-        })
-            .filter(Boolean);
-        return lines.join("\n");
-    }
-    if (plan && typeof plan === "object") {
-        if (Array.isArray(plan.steps)) {
-            return formatPlan(plan.steps);
-        }
-        if (Array.isArray(plan.plan)) {
-            return formatPlan(plan.plan);
-        }
-        return JSON.stringify(plan, null, 2);
-    }
-    if (typeof plan === "string")
-        return plan;
-    return "";
-}
-async function fetchArtifactText(path) {
-    const target = resolvePath(path);
-    const headers = {};
-    const token = getAuthToken();
-    if (token) {
-        headers.Authorization = `Bearer ${token}`;
-    }
-    const res = await fetch(target, { headers });
-    if (!res.ok) {
-        const message = await res.text();
-        const error = message?.trim() || `Request failed with ${res.status}`;
-        throw new Error(error);
-    }
-    return res.text();
-}
-async function loadPlan(runId) {
-    if (!ui.modalPlan)
-        return;
-    ui.modalPlan.textContent = "Loading…";
-    try {
-        const planRaw = await fetchArtifactText(`/api/runs/${runId}/plan`);
-        let planData = planRaw;
-        try {
-            planData = JSON.parse(planRaw);
-        }
-        catch (_err) {
-            planData = planRaw;
-        }
-        const formatted = formatPlan(planData);
-        ui.modalPlan.textContent = formatted ? truncateLines(formatted, RUN_PLAN_MAX_LINES) : "Not available.";
-    }
-    catch (err) {
-        const message = err instanceof Error ? err.message : "";
-        ui.modalPlan.textContent =
-            message.includes("401") || message.includes("403") || message.includes("404")
-                ? "Not available."
-                : "Unable to load.";
-    }
-}
-async function loadFinalOutput(runId) {
-    if (!ui.modalOutput)
-        return;
-    ui.modalOutput.textContent = "Loading…";
-    try {
-        const text = await api(`/api/runs/${runId}/output`);
-        if (typeof text === "string" && text.trim()) {
-            ui.modalOutput.textContent = truncateLines(text, RUN_OUTPUT_MAX_LINES);
-            return;
-        }
-        if (text !== null && text !== undefined) {
-            const formatted = JSON.stringify(text, null, 2);
-            ui.modalOutput.textContent = truncateLines(formatted, RUN_OUTPUT_MAX_LINES);
-            return;
-        }
-        ui.modalOutput.textContent = "Not available.";
-    }
-    catch (err) {
-        const message = err instanceof Error ? err.message : "";
-        ui.modalOutput.textContent =
-            message.includes("401") || message.includes("403") || message.includes("404")
-                ? "Not available."
-                : "Unable to load.";
-    }
-}
-async function loadDiff(runId) {
-    if (!ui.modalDiff)
-        return;
-    ui.modalDiff.textContent = "Loading…";
-    try {
-        const text = await api(`/api/runs/${runId}/diff`);
-        if (typeof text === "string" && text.trim()) {
-            ui.modalDiff.textContent = truncateLines(text, RUN_DIFF_MAX_LINES);
-            return;
-        }
-        if (text !== null && text !== undefined) {
-            const formatted = JSON.stringify(text, null, 2);
-            ui.modalDiff.textContent = truncateLines(formatted, RUN_DIFF_MAX_LINES);
-            return;
-        }
-        ui.modalDiff.textContent = "Not available.";
-    }
-    catch (err) {
-        const message = err instanceof Error ? err.message : "";
-        ui.modalDiff.textContent =
-            message.includes("401") || message.includes("403") || message.includes("404")
-                ? "Not available."
-                : "Unable to load.";
-    }
-}
-function renderTokenBreakdown(run) {
-    if (!ui.modalTokens)
-        return;
-    const usage = run.token_usage?.delta;
-    if (!usage || typeof usage !== "object") {
-        ui.modalTokens.textContent = "Token data unavailable.";
-        return;
-    }
-    ui.modalTokens.innerHTML = `
-    <div>Input: ${formatNumber(usage.input_tokens || usage.inputTokens)}</div>
-    <div>Cached input: ${formatNumber(usage.cached_input_tokens || usage.cachedInputTokens)}</div>
-    <div>Output: ${formatNumber(usage.output_tokens || usage.outputTokens)}</div>
-    <div>Reasoning: ${formatNumber(usage.reasoning_output_tokens || usage.reasoningOutputTokens)}</div>
-    <div>Total: ${formatNumber(usage.total_tokens || usage.totalTokens || usage.total)}</div>
-  `;
-}
-function renderCompletedTodos(run) {
-    if (!ui.modalTodos)
-        return;
-    const completed = Array.isArray(run.todo?.completed) ? run.todo.completed : [];
-    ui.modalTodos.innerHTML = "";
-    if (!completed.length) {
-        ui.modalTodos.textContent = "No TODOs completed in this run.";
-        return;
-    }
-    const list = document.createElement("ul");
-    completed.forEach((item) => {
-        const li = document.createElement("li");
-        li.textContent = item;
-        li.addEventListener("click", () => {
-            if (ui.todoSearch) {
-                ui.todoSearch.value = item;
-                runsState.todoSearch = item;
-                renderTodoAnalytics();
-            }
-        });
-        list.appendChild(li);
-    });
-    ui.modalTodos.appendChild(list);
-}
-function openRunDetails(run) {
-    if (!ui.modal)
-        return;
-    if (closeDetailsModal) {
-        closeDetailsModal();
-    }
-    ui.modalTitle.textContent = `Run #${run.run_id}`;
-    ui.modalMeta.textContent = `Started ${formatTimestamp(run.started_at)} · Duration ${formatDuration(run.duration_seconds)} · Status ${runStatus(run) || "–"}`;
-    if (ui.modalLog) {
-        const params = new URLSearchParams({ run_id: String(run.run_id), raw: "1" });
-        const token = getAuthToken();
-        if (token) {
-            params.set("token", token);
-        }
-        ui.modalLog.href = resolvePath(`/api/logs?${params.toString()}`);
-    }
-    renderTokenBreakdown(run);
-    renderCompletedTodos(run);
-    if (ui.modalPlan)
-        loadPlan(run.run_id);
-    if (ui.modalDiff)
-        loadDiff(run.run_id);
-    if (ui.modalOutput)
-        loadFinalOutput(run.run_id);
-    const triggerEl = document.activeElement;
-    closeDetailsModal = openModal(ui.modal, {
-        initialFocus: ui.modalClose || ui.modal,
-        returnFocusTo: triggerEl,
-    });
-}
-async function loadRuns() {
-    try {
-        const data = await api("/api/runs?limit=200");
-        runsState.runs = Array.isArray(data?.runs) ? data.runs : [];
-        renderRunsTable();
-        renderTodoAnalytics();
-    }
-    catch (err) {
-        const message = err instanceof Error ? err.message : "Failed to load runs";
-        flash(message, "error");
-    }
-}
-export function initRuns() {
-    if (initialized)
-        return;
-    initialized = true;
-    if (ui.refresh) {
-        ui.refresh.addEventListener("click", () => loadRuns());
-    }
-    if (ui.todoSearch) {
-        ui.todoSearch.addEventListener("input", () => {
-            runsState.todoSearch = ui.todoSearch.value || "";
-            renderTodoAnalytics();
-        });
-    }
-    if (ui.attribution) {
-        ui.attribution.value = runsState.attributionMode;
-        ui.attribution.addEventListener("change", () => {
-            runsState.attributionMode = (ui.attribution?.value || "split");
-            renderTodoAnalytics();
-        });
-    }
-    if (ui.modalClose) {
-        ui.modalClose.addEventListener("click", () => {
-            if (closeDetailsModal)
-                closeDetailsModal();
-        });
-    }
-    registerAutoRefresh("runs-list", {
-        callback: loadRuns,
-        tabId: "runs",
-        interval: RUNS_AUTO_REFRESH_INTERVAL,
-        refreshOnActivation: true,
-        immediate: false,
-    });
-    subscribe("runs:invalidate", () => {
-        triggerRefresh("runs-list");
-    });
-    loadRuns();
-}

codex_autorunner/static/snapshot.js

@@ -1,124 +0,0 @@
-import { api, flash } from "./utils.js";
-const UI = {
-    status: document.getElementById("snapshot-status"),
-    content: document.getElementById("snapshot-content"),
-    generate: document.getElementById("snapshot-generate"),
-    update: document.getElementById("snapshot-update"),
-    regenerate: document.getElementById("snapshot-regenerate"),
-    copy: document.getElementById("snapshot-copy"),
-    refresh: document.getElementById("snapshot-refresh"),
-};
-let latest = { exists: false, content: "", state: {} };
-let busy = false;
-function setBusy(on) {
-    busy = on;
-    const disabled = !!on;
-    for (const btn of [UI.generate, UI.update, UI.regenerate, UI.copy, UI.refresh]) {
-        if (!btn)
-            continue;
-        btn.disabled = disabled;
-    }
-    if (UI.status)
-        UI.status.textContent = on ? "Working…" : "";
-}
-function render() {
-    if (!UI.content)
-        return;
-    UI.content.value = latest.content || "";
-    if (UI.generate)
-        UI.generate.classList.toggle("hidden", false);
-    if (UI.update)
-        UI.update.classList.toggle("hidden", true);
-    if (UI.regenerate)
-        UI.regenerate.classList.toggle("hidden", true);
-    if (UI.copy)
-        UI.copy.disabled = busy || !(latest.content || "").trim();
-}
-async function loadSnapshot({ notify = false } = {}) {
-    if (busy)
-        return;
-    try {
-        setBusy(true);
-        const data = await api("/api/snapshot");
-        latest = {
-            exists: !!data?.exists,
-            content: data?.content || "",
-            state: data?.state || {},
-        };
-        render();
-        if (notify)
-            flash(latest.exists ? "Snapshot loaded" : "No snapshot yet");
-    }
-    catch (err) {
-        flash(err?.message || "Failed to load snapshot");
-    }
-    finally {
-        setBusy(false);
-    }
-}
-async function runSnapshot() {
-    if (busy)
-        return;
-    try {
-        setBusy(true);
-        const data = await api("/api/snapshot", {
-            method: "POST",
-            body: {},
-        });
-        latest = {
-            exists: true,
-            content: data?.content || "",
-            state: data?.state || {},
-        };
-        render();
-        flash("Snapshot generated");
-    }
-    catch (err) {
-        flash(err?.message || "Snapshot generation failed");
-    }
-    finally {
-        setBusy(false);
-    }
-}
-async function copyToClipboard() {
-    const text = UI.content?.value || "";
-    if (!text.trim())
-        return;
-    try {
-        if (navigator.clipboard?.writeText) {
-            await navigator.clipboard.writeText(text);
-            flash("Copied to clipboard");
-            return;
-        }
-    }
-    catch {
-        // fall through
-    }
-    try {
-        UI.content?.focus();
-        UI.content?.select();
-        const ok = document.execCommand("copy");
-        flash(ok ? "Copied to clipboard" : "Copy failed");
-    }
-    catch {
-        flash("Copy failed");
-    }
-    finally {
-        try {
-            UI.content?.setSelectionRange(0, 0);
-        }
-        catch {
-            // ignore
-        }
-    }
-}
-export function initSnapshot() {
-    if (!UI.content)
-        return;
-    UI.generate?.addEventListener("click", () => runSnapshot());
-    UI.update?.addEventListener("click", () => runSnapshot());
-    UI.regenerate?.addEventListener("click", () => runSnapshot());
-    UI.copy?.addEventListener("click", copyToClipboard);
-    UI.refresh?.addEventListener("click", () => loadSnapshot({ notify: true }));
-    loadSnapshot().catch(() => { });
-}