agy-mcp-bridge 0.1.14 → 0.1.15

package/README.md

@@ -409,6 +409,8 @@ Lưu ý bảo mật: nội dung yêu cầu và phản hồi được hiển th
 
 **Theo dõi mức sử dụng (tab "Sử dụng"):** kết quả JSON của `agy` có các trường `conversation_id`, `duration_seconds`, `num_turns`, `response`, `status` và `usage`. Bridge ghi lại, cho mỗi task đã chạy xong, thời gian chạy, thời gian `agy` báo, số lượt, số bước (khi bật tiến độ) và **mọi giá trị số trong `usage`** (giữ nguyên tên trường, trường lồng nhau nối bằng dấu chấm, ví dụ `cache.read_tokens`). Tab "Sử dụng" hiện tổng task (theo trạng thái), tổng thời gian, usage cộng dồn, biểu đồ 14 ngày (theo múi giờ của trình duyệt), bảng theo model và theo mức suy luận, và các task gần nhất; chi tiết mỗi task có dòng "Usage (agy báo)". Dữ liệu nằm ở `.bridge-state/usage.jsonl` (mỗi task một dòng, giữ qua các lần khởi động lại, tự cắt bớt khi file quá 1 MB, không ghi đường dẫn hay nội dung task) và `stats` trong bản ghi task.
 
+**Mức token (đèn cảnh báo):** Cài đặt → "Mức token" cho đặt hai mức, mặc định **không giới hạn**: mỗi task và mỗi ngày (theo giờ máy của bạn). Danh sách task hiện số token (`total_tokens` agy báo, hoặc input + output nếu không có) và đánh dấu "vượt mức" task nào quá mức; thẻ "Token hôm nay" ở trang Task đổi sang "Vượt mức" khi tổng ngày chạm mức. Đây **chỉ là đèn báo, không phải hạn mức thật và không dừng task**: `agy` không có lệnh nào cho bridge đọc hạn mức, và token của một task chỉ biết khi nó kết thúc. Mức lưu ở `.bridge-state/budget.json`, đổi không cần khởi động lại.
+
 - **Đây là mức dùng qua bridge, không phải hạn mức.** `agy` không có lệnh xem hạn mức còn lại và bridge không bịa ra con số đó; xem hạn mức trên tài khoản Antigravity của bạn.
 - Bridge **không biết trước** các trường bên trong `usage` (tên trường do `agy` quyết định): nó cộng mọi giá trị số; một vài tên phổ biến (`input_tokens`, `output_tokens`, `total_tokens`...) được dịch nhãn. Task nào kết quả không có `usage` thì ghi nhận là "không có", không phải 0.
 - Chỉ thống kê task bắt đầu từ bản có tính năng này trở đi. Số liệu usage không được gửi cho Codex/Claude (không tốn token).

package/dist/src/budget.js

@@ -0,0 +1,66 @@
+import { readFileSync } from 'node:fs';
+import { mkdir, rename, rm, stat, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { readUsage, totalTokens, USAGE_FILE } from './usage.js';
+/**
+ * Token budget: two limits the owner sets in the web UI, a warning light and nothing more. agy exposes no quota to read, and the token count of
+ * a task is only known when its result arrives, so the bridge cannot stop a task midway; it can show which finished tasks went over the per-task
+ * limit and whether today's total passed the daily limit. Read on every overview, so a change needs no restart.
+ */
+export const BUDGET_FILE = 'budget.json';
+export const MIN_BUDGET_TOKENS = 1000;
+export const MAX_BUDGET_TOKENS = 1_000_000_000;
+export const isBudgetTokens = (value) => typeof value === 'number' && Number.isInteger(value) && value >= MIN_BUDGET_TOKENS && value <= MAX_BUDGET_TOKENS;
+const valid = (value) => isBudgetTokens(value) ? value : null;
+/** Anything missing, unreadable or out of range means "no limit". */
+export function readBudget(stateDirectory) {
+    try {
+        const parsed = JSON.parse(readFileSync(path.join(stateDirectory, BUDGET_FILE), 'utf8'));
+        return { task_tokens: valid(parsed.task_tokens), day_tokens: valid(parsed.day_tokens) };
+    }
+    catch {
+        return { task_tokens: null, day_tokens: null };
+    }
+}
+export async function writeBudget(stateDirectory, value) {
+    const file = path.join(stateDirectory, BUDGET_FILE);
+    if (value.task_tokens === null && value.day_tokens === null) {
+        await rm(file, { force: true });
+        return;
+    }
+    for (const limit of [value.task_tokens, value.day_tokens])
+        if (limit !== null && !isBudgetTokens(limit))
+            throw new Error(`limits must be whole numbers from ${MIN_BUDGET_TOKENS} to ${MAX_BUDGET_TOKENS}, or null for no limit`);
+    await mkdir(stateDirectory, { recursive: true });
+    await writeFile(`${file}.tmp`, JSON.stringify(value) + '\n');
+    await rename(`${file}.tmp`, file);
+}
+/** Tokens used on the viewer's current local day (`tzOffsetMinutes` as `getTimezoneOffset()` returns it). */
+export function tokensToday(records, now, tzOffsetMinutes) {
+    const offsetMs = -tzOffsetMinutes * 60000;
+    const dayOf = (ms) => new Date(ms + offsetMs).toISOString().slice(0, 10);
+    const today = dayOf(now);
+    return records.reduce((total, record) => dayOf(Date.parse(record.at)) === today ? total + (totalTokens(record.usage) ?? 0) : total, 0);
+}
+// The overview is polled every few seconds; the ledger is re-read only when its size or time changed.
+let cache = null;
+async function cachedRecords(stateDirectory) {
+    const file = path.join(stateDirectory, USAGE_FILE);
+    let key;
+    try {
+        const info = await stat(file);
+        key = `${file}:${info.size}:${info.mtimeMs}`;
+    }
+    catch {
+        return [];
+    }
+    if (cache?.key !== key)
+        cache = { key, records: await readUsage(stateDirectory) };
+    return cache.records;
+}
+export async function budgetState(stateDirectory, tzOffsetMinutes, now = Date.now()) {
+    const budget = readBudget(stateDirectory);
+    const today = tokensToday(await cachedRecords(stateDirectory), now, tzOffsetMinutes);
+    return { ...budget, today_tokens: today, over_day: budget.day_tokens !== null && today >= budget.day_tokens };
+}
+//# sourceMappingURL=budget.js.map

package/dist/src/tasks/manager.js

@@ -9,7 +9,7 @@ import { redact } from '../security/redact.js';
 import { delegationState } from '../delegation.js';
 import { startProcess, terminateOwned } from '../antigravity/process.js';
 import { invocationFor, finalEnvelope } from '../antigravity/invocation.js';
-import { appendUsage, extractStats } from '../usage.js';
+import { appendUsage, extractStats, totalTokens } from '../usage.js';
 import { MAX_RECENT_STEPS, rawStep, readProgress, summarizeStep } from '../progress.js';
 import { helperDirectory } from '../paths.js';
 import { readWait } from '../wait-setting.js';
@@ -425,7 +425,7 @@ export class TaskManager {
     /** All retained tasks, newest first, without logs. */
     list() {
         return [...this.entries.entries()]
-            .map(([id, entry]) => ({ ...this.summary(id), title: entry.request?.task.split('\n').find(line => line.trim())?.trim().slice(0, 140) ?? null }))
+            .map(([id, entry]) => ({ ...this.summary(id), title: entry.request?.task.split('\n').find(line => line.trim())?.trim().slice(0, 140) ?? null, tokens: totalTokens(entry.stats?.usage) }))
             .sort((a, b) => Date.parse(b.queued_at ?? b.started_at) - Date.parse(a.queued_at ?? a.started_at));
     }
     /** Models offered by the installed Antigravity CLI (read on demand, never at startup). */

package/dist/src/ui/routes.js

@@ -10,6 +10,7 @@ import { validModelId, writeModel } from '../models.js';
 import { readProgress, writeProgress } from '../progress.js';
 import { readUsage, summarizeUsage } from '../usage.js';
 import { EFFORT_LEVELS, isEffortLevel, readEffort, writeEffort } from '../effort.js';
+import { MAX_BUDGET_TOKENS, MIN_BUDGET_TOKENS, budgetState, isBudgetTokens, readBudget, writeBudget } from '../budget.js';
 import { MAX_ABSOLUTE_LIMIT_SECONDS, MIN_ABSOLUTE_LIMIT_SECONDS, isAbsoluteLimit, readSoftTimeout, writeSoftTimeout } from '../soft-timeout.js';
 import { MAX_SETTING_WAIT_SECONDS, MIN_WAIT_SECONDS, clientToolTimeoutSeconds, isWaitSeconds, writeWait } from '../wait-setting.js';
 import { PERMISSION_LEVELS, isPermissionLevel, needsAcknowledgement, permissionState, writePermission } from '../permissions.js';
@@ -44,7 +45,7 @@ async function readJson(req) {
         throw new Error('Expected a JSON object');
     return value;
 }
-async function overview(ctx) {
+async function overview(ctx, tzOffsetMinutes = 0) {
     const env = ctx.environment;
     const state = delegationState(ctx.manager.stateDirectory);
     return {
@@ -62,6 +63,7 @@ async function overview(ctx) {
         permission: permissionState(ctx.manager.stateDirectory),
         effort: readEffort(ctx.manager.stateDirectory),
         soft_timeout: readSoftTimeout(ctx.manager.stateDirectory),
+        budget: await budgetState(ctx.manager.stateDirectory, tzOffsetMinutes),
         progress: readProgress(ctx.manager.stateDirectory),
         wait: { seconds: ctx.manager.maxWaitSeconds, client_tool_timeout_seconds: clientToolTimeoutSeconds(ctx.manager.maxWaitSeconds) },
         queue: ctx.manager.overview().queue,
@@ -141,13 +143,29 @@ export async function handleUi(req, res, ctx) {
             json(res, 200, { ok: true });
             return true;
         }
+        const tzParam = Number(new URL(req.url ?? '', 'http://localhost').searchParams.get('tz') ?? '0');
+        const tzOffset = Number.isInteger(tzParam) && Math.abs(tzParam) <= 840 ? tzParam : 0;
         if (pathname === '/ui/api/overview' && method === 'GET') {
-            json(res, 200, await overview(ctx));
+            json(res, 200, await overview(ctx, tzOffset));
             return true;
         }
         if (pathname === '/ui/api/usage' && method === 'GET') {
-            const offset = Number(new URL(req.url ?? '', 'http://localhost').searchParams.get('tz') ?? '0');
-            json(res, 200, summarizeUsage(await readUsage(ctx.manager.stateDirectory), { tzOffsetMinutes: Number.isInteger(offset) && Math.abs(offset) <= 840 ? offset : 0 }));
+            json(res, 200, summarizeUsage(await readUsage(ctx.manager.stateDirectory), { tzOffsetMinutes: tzOffset }));
+            return true;
+        }
+        if (pathname === '/ui/api/budget' && method === 'POST') {
+            const body = await readJson(req);
+            const current = readBudget(ctx.manager.stateDirectory);
+            const pick = (key) => body[key] === undefined ? current[key] : body[key];
+            const next = { task_tokens: pick('task_tokens'), day_tokens: pick('day_tokens') };
+            for (const limit of [next.task_tokens, next.day_tokens]) {
+                if (limit !== null && !isBudgetTokens(limit)) {
+                    json(res, 400, { error: `limits must be whole numbers from ${MIN_BUDGET_TOKENS} to ${MAX_BUDGET_TOKENS}, or null for no limit` });
+                    return true;
+                }
+            }
+            await writeBudget(ctx.manager.stateDirectory, next);
+            json(res, 200, await budgetState(ctx.manager.stateDirectory, tzOffset));
             return true;
         }
         const detail = pathname.match(new RegExp(`^/ui/api/tasks/(${UUID})$`));

package/dist/src/usage.js

@@ -117,4 +117,13 @@ export function summarizeUsage(records, options = {}) {
         recent: records.slice(-15).reverse().map(r => ({ at: r.at, status: r.status, model: r.model, effort: r.effort, duration_ms: r.duration_ms, agy_duration_seconds: r.agy_duration_seconds, num_turns: r.num_turns, usage: r.usage }))
     };
 }
+/** Tokens a task cost according to agy: its own total when it reports one, else input plus output; null when it reported neither. */
+export function totalTokens(usage) {
+    if (!usage)
+        return null;
+    if (typeof usage.total_tokens === 'number')
+        return usage.total_tokens;
+    const parts = [usage.input_tokens, usage.output_tokens].filter((value) => typeof value === 'number');
+    return parts.length ? parts.reduce((total, value) => total + value, 0) : null;
+}
 //# sourceMappingURL=usage.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agy-mcp-bridge",
-  "version": "0.1.14",
+  "version": "0.1.15",
   "description": "Local authenticated HTTP MCP bridge that lets Codex and Claude Code delegate bounded coding tasks to the Antigravity CLI (agy)",
   "license": "MIT",
   "keywords": [

package/ui/app.css

@@ -226,3 +226,5 @@ pre.log { margin: 0; padding: 12px; border-radius: 10px; background: #0b0e14; co
 .usage-table { width: 100%; border-collapse: collapse; margin-top: 8px; }
 .usage-table th, .usage-table td { padding: 7px 8px; text-align: left; border-bottom: 1px solid var(--border); overflow-wrap: anywhere; }
 .usage-table th { font-weight: 600; color: var(--muted); }
+
+.over-budget { color: var(--bad); font-weight: 600; }

package/ui/app.js

@@ -143,7 +143,7 @@ async function login(token) {
 
 async function refresh(force) {
   try {
-    state.overview = await api('overview'); state.connected = true;
+    state.overview = await api(`overview?tz=${new Date().getTimezoneOffset()}`); state.connected = true;
     const tasks = state.overview.tasks;
     if (!state.selected || !tasks.some(task => task.task_id === state.selected)) state.selected = tasks[0]?.task_id ?? null;
     state.detail = state.selected ? await api(`tasks/${state.selected}`).catch(() => null) : null;
@@ -241,6 +241,12 @@ async function setSoftTimeout(enabled, limit_seconds) {
     await refresh();
   } catch (error) { notify(error.message); await refresh(); }
 }
+const BUDGET_TASK_PRESETS = [null, 50000, 100000, 200000, 500000, 1000000];
+const BUDGET_DAY_PRESETS = [null, 200000, 500000, 1000000, 2000000, 5000000];
+async function setBudget(body) {
+  try { await api(`budget?tz=${new Date().getTimezoneOffset()}`, {method: 'POST', body}); notify('Đã lưu mức token'); await refresh(); }
+  catch (error) { notify(error.message); await refresh(); }
+}
 async function setProgress(enabled) {
   try { await api('progress', {method: 'POST', body: {enabled}}); notify(enabled ? 'Đã bật tiến độ từng bước (áp dụng cho task mới)' : 'Đã tắt tiến độ từng bước'); await refresh(); }
   catch (error) { notify(error.message); await refresh(); }
@@ -294,6 +300,8 @@ function statsView(o) {
     stat('Antigravity CLI', o.cli.version && o.cli.version !== 'unavailable' ? `agy ${o.cli.version}` : 'Không tìm thấy', o.cli.execution_method || 'Chưa thể giao task'),
     stat('Giao việc', [switchControl(o.delegation.enabled, o.delegation.controllable, 'Cho phép giao việc cho Antigravity'),
       h('span', {class: `pill ${o.delegation.enabled ? 'ok' : 'warn'}`, text: o.delegation.enabled ? 'Đang bật' : 'Đã tắt'})], o.delegation.reason || 'Codex / Claude được phép giao task'),
+    stat('Token hôm nay', [number(o.budget?.today_tokens ?? 0), o.budget?.day_tokens ? h('span', {class: `pill ${o.budget.over_day ? 'bad' : 'ok'}`, text: o.budget.over_day ? 'Vượt mức' : 'Trong mức'}) : null],
+      o.budget?.day_tokens ? `mức ngày ${number(o.budget.day_tokens)}${o.budget.over_day ? ' — đã vượt' : ''}` : 'chưa đặt mức ngày (Cài đặt)'),
     stat('Task', `${count('running')} đang chạy`, `${queued ? `${queued} đang chờ · ` : ''}${o.tasks.length} task gần đây`)
   ];
 }
@@ -302,6 +310,7 @@ function filteredTasks(o) {
   const q = state.q.trim().toLowerCase();
   return o.tasks.filter(task => MATCH[state.filter](task) && (!q || [task.title, task.workspace, task.task_id].some(v => (v || '').toLowerCase().includes(q))));
 }
+const overTask = (o, task) => Boolean(o.budget?.task_tokens) && task.tokens !== null && task.tokens !== undefined && task.tokens > o.budget.task_tokens;
 function taskItems(o) {
   if (!o.tasks.length) return [h('div', {class: 'card empty'}, h('strong', {text: 'Chưa có task nào'}), 'Khi Codex hoặc Claude giao việc cho Antigravity, task sẽ hiện ở đây.')];
   const tasks = filteredTasks(o);
@@ -311,7 +320,8 @@ function taskItems(o) {
   }, h('div', {class: 'row'}, pill(task.status), agoEl(task.queued_at || task.started_at, 'meta')),
     h('div', {class: 'title', text: task.title || '(không có nội dung yêu cầu)'}),
     h('div', {class: 'meta mono', text: `${folder(task.workspace)} · ${task.task_id.slice(0, 8)}`}),
-    h('div', {class: 'meta'}, task.status === 'running' ? elapsedEl(task.started_at, 'Đang chạy ') : task.status === 'queued' ? 'Đang xếp hàng…' : `Mất ${duration(task.duration_ms)}`)));
+    h('div', {class: 'meta'}, task.status === 'running' ? elapsedEl(task.started_at, 'Đang chạy ') : task.status === 'queued' ? 'Đang xếp hàng…' : `Mất ${duration(task.duration_ms)}`,
+      task.tokens !== null && task.tokens !== undefined ? h('span', {class: overTask(o, task) ? 'over-budget' : '', text: ` · ${number(task.tokens)} token${overTask(o, task) ? ' (vượt mức)' : ''}`}) : null)));
 }
 function taskCount(o) { return `${filteredTasks(o).length}/${o.tasks.length} task`; }
 
@@ -375,7 +385,7 @@ function detailView() {
   const facts = h('dl', {class: 'kv'},
     ...[['Gửi lúc', clock(task.queued_at || task.started_at)], ['Bắt đầu chạy', queued ? 'Chưa chạy' : clock(task.started_at)], ['Kết thúc', clock(task.ended_at)],
       ['Thời gian chạy', running ? elapsedEl(task.started_at) : queued ? '—' : duration(task.duration_ms)],
-      ['Giới hạn', request ? `${request.timeout_seconds}s` : '—'], ['Model', request && 'model' in request ? request.model || 'mặc định' : '—'], ['Quyền', request && request.permission ? (PERMISSION_LEVELS.find(l => l.id === request.permission)?.title || request.permission) : '—'], ['Effort', request && request.effort ? request.effort : '—'], ['Usage (agy báo)', usageLine(state.detail?.stats?.usage) ?? '—'], ['Exit code', task.exit_code ?? '—'], ['PID', task.pid ?? '—'],
+      ['Giới hạn', request ? `${request.timeout_seconds}s` : '—'], ['Model', request && 'model' in request ? request.model || 'mặc định' : '—'], ['Quyền', request && request.permission ? (PERMISSION_LEVELS.find(l => l.id === request.permission)?.title || request.permission) : '—'], ['Effort', request && request.effort ? request.effort : '—'], ['Tổng token', state.detail?.stats?.usage && 'total_tokens' in state.detail.stats.usage ? number(state.detail.stats.usage.total_tokens) : '—'], ['Usage (agy báo)', usageLine(state.detail?.stats?.usage) ?? '—'], ['Exit code', task.exit_code ?? '—'], ['PID', task.pid ?? '—'],
       ['CLI status', task.cli_status ?? '—']].map(([k, v]) => h('div', {}, h('dt', {text: k}), h('dd', {}, typeof v === 'string' || typeof v === 'number' ? String(v) : v))));
 
   const asker = request?.client ? `Tech Lead · ${request.client}` : 'Tech Lead (Codex / Claude)';
@@ -452,6 +462,20 @@ function progressCard(o) {
         h('span', {class: 'muted', text: 'Bridge chạy agy với --output-format stream-json: ngoài kết quả cuối, agy báo các sự kiện init và step_update khi đang làm việc (đã thấy bằng probe-stream trên agy 1.4.x). Các bước hiện trong chi tiết task, và là bằng chứng "còn sống" thật cho phần gia hạn. Áp dụng cho task mới, không cần khởi động lại.'}))),
     h('div', {class: 'callout warn', text: 'Chưa kiểm chứng: nội dung chi tiết bên trong step_update (nên hiển thị là tóm tắt tự động kèm dữ liệu gốc), và việc kết quả cuối ở chế độ này có cùng dạng với chế độ JSON. Nếu task báo lỗi "CLI output is not a valid stream-json final result" hoặc "stream result fields", hãy tắt tùy chọn này để quay về chế độ JSON đã kiểm chứng và gửi tôi thông báo lỗi.'}));
 }
+function budgetCard(o) {
+  const budget = o.budget || {task_tokens: null, day_tokens: null, today_tokens: 0};
+  const chooser = (key, presets, label) => {
+    const options = presets.includes(budget[key]) ? presets : [...presets, budget[key]];
+    const select = h('select', {class: 'select', 'aria-label': label, onchange: event => setBudget({[key]: event.target.value === '' ? null : Number(event.target.value)})},
+      ...options.map(value => h('option', {value: value === null ? '' : String(value), text: value === null ? 'Không giới hạn' : `${number(value)} token`})));
+    select.value = budget[key] === null ? '' : String(budget[key]);
+    return select;
+  };
+  return h('section', {class: 'card panel wide'}, h('h2', {text: 'Mức token (đèn cảnh báo)'}),
+    h('div', {class: 'switch-row'}, h('div', {}, h('strong', {text: 'Mỗi task'}), h('span', {class: 'muted', text: 'Task nào dùng nhiều hơn mức này sẽ được đánh dấu "vượt mức" trong danh sách.'})), chooser('task_tokens', BUDGET_TASK_PRESETS, 'Mức token mỗi task')),
+    h('div', {class: 'switch-row'}, h('div', {}, h('strong', {text: 'Mỗi ngày'}), h('span', {class: 'muted', text: `Hôm nay đã dùng ${number(budget.today_tokens)} token qua bridge${budget.over_day ? ' — đã vượt mức.' : '.'}`})), chooser('day_tokens', BUDGET_DAY_PRESETS, 'Mức token mỗi ngày')),
+    h('div', {class: 'callout warn', text: 'Đây chỉ là đèn báo, không phải hạn mức thật và không dừng task: agy không cho bridge đọc hạn mức, và số token của một task chỉ biết khi task kết thúc. Số liệu là tổng token (total_tokens) agy báo cho các task chạy qua bridge, tính theo ngày giờ máy của bạn.'}));
+}
 function softTimeoutCard(o) {
   const soft = o.soft_timeout || {enabled: false, limit_seconds: 7200};
   const known = SOFT_LIMITS.some(l => l.seconds === soft.limit_seconds);
@@ -548,6 +572,7 @@ function settingsView(o) {
       effortCard(o),
       waitCard(o),
       progressCard(o),
+      budgetCard(o),
       softTimeoutCard(o),
       permissionCard(o),
       h('section', {class: 'card panel'}, h('h2', {text: 'Kết nối'}),
@@ -622,8 +647,8 @@ function patch() {
     o.permission && (o.permission.level === 'full' || o.permission.level === 'auto') ? h('div', {class: 'banner warn', role: 'alert', text: o.permission.level === 'full' ? 'Antigravity đang ở mức TOÀN QUYỀN: mọi thao tác được tự duyệt, kể cả ngoài thư mục dự án. Đổi lại ở Cài đặt.' : 'Antigravity đang ở chế độ Tự động: nó tự quyết định hành động. Đổi lại ở Cài đặt.'}) : null,
     o.update ? h('div', {class: 'banner info', role: 'status'}, `Có bản mới ${o.update.package} ${o.update.latest} (đang chạy ${o.update.current}). Dừng server (Ctrl+C) rồi chạy `, h('code', {text: o.update.command})) : null].filter(Boolean));
   if (regions.view === 'tasks') {
-    setRegion('stats', JSON.stringify([o.tasks.map(t => [t.task_id, t.status]), o.cli, o.delegation, o.server.accepting_tasks]), () => statsView(o));
-    setRegion('list', JSON.stringify([state.q, state.filter, state.selected, o.tasks.map(t => stable(t))]), () => taskItems(o));
+    setRegion('stats', JSON.stringify([o.tasks.map(t => [t.task_id, t.status]), o.budget, o.cli, o.delegation, o.server.accepting_tasks]), () => statsView(o));
+    setRegion('list', JSON.stringify([state.q, state.filter, state.selected, o.budget?.task_tokens, o.tasks.map(t => stable(t))]), () => taskItems(o));
     regions.count.textContent = taskCount(o);
     const d = state.detail;
     const detailKey = JSON.stringify([state.selected, state.logTab, state.changes, d && {...d, activity: null, task: {...stable(d.task), stdout: '', stderr: '', stdout_bytes: 0, stderr_bytes: 0, stdout_truncated: false, stderr_truncated: false}}]);
@@ -637,7 +662,7 @@ function patch() {
     setRegion('usage', JSON.stringify(state.usage), () => usageView(state.usage));
   } else {
     if (!state.models && !state.modelsLoading) loadModels();
-    setRegion('settings', JSON.stringify([state.models, o.model, o.permission, o.effort, o.wait, o.soft_timeout, o.progress, o.cli, o.delegation, o.limits, o.allowed_workspaces, o.session_workspaces, o.server.mcp_endpoint]), () => settingsView(o));
+    setRegion('settings', JSON.stringify([state.models, o.model, o.permission, o.effort, o.wait, o.budget && [o.budget.task_tokens, o.budget.day_tokens], o.soft_timeout, o.progress, o.cli, o.delegation, o.limits, o.allowed_workspaces, o.session_workspaces, o.server.mcp_endpoint]), () => settingsView(o));
   }
   tick();
 }