toolroll 0.9.73 → 0.9.75

package/dist/server/render-pages.d.ts

@@ -14,7 +14,7 @@ import { type CriterionMatrixRow } from "../proof.js";
 import { type QualityMode } from "../quality.js";
 import { type Runner } from "../runner.js";
 import { type Scope, type UnattendedPermissionMode } from "../scope.js";
-import { type Decision, type Incident, type RepairChainRow, type Run, type Store, type Task, type TaskState, type WorktreeRow } from "../store.js";
+import { type Decision, type Incident, type RepairChainRow, type Run, type Store, type TaskState, type WorktreeRow } from "../store.js";
 import { tally } from "../summary.js";
 import { type WorkIndexGroup, type WorkIndexPage } from "../work-index.js";
 import { type WorkFacts, type WorkStatus, type WorkView } from "../workspace-ui.js";
@@ -284,8 +284,8 @@ export declare function workPage(chrome: Chrome, data: {
     multiProject: boolean;
     now: Date;
     limits?: BrowserLimits | null;
+    state?: TaskState | null;
 }): Screen;
-export declare function tasksPage(chrome: Chrome, tasks: Task[], state: TaskState | null, problem: string | null, repo?: string | null, prefill?: TaskComposerPrefill | null, permissionDefault?: UnattendedPermissionMode, qualityDefault?: QualityMode, replaced?: ReadonlyMap<string, string>): Screen;
 export declare function browsePage(chrome: Chrome, data: {
     at: string;
     root: string;
@@ -442,7 +442,8 @@ export declare function originUrlOf(repoPath: string): string | null;
  * action each. Names, descriptions, and paths are gh/filesystem DATA —
  * escaped at the sink like everything else. */
 export declare function githubReposPage(chrome: Chrome, data: {
-    listed: ListOutcome;
+    /** The last listing; null until someone lists (a POST: listing asks GitHub, so a page visit never does). */
+    listed: ListOutcome | null;
     local: Map<string, string>;
     registered: Set<string>;
     /** Unused: postForm adds the request's CSRF field. Kept for callers. */
@@ -492,13 +493,17 @@ export declare function fleetScript(): string;
  * (finding 18); missing that, a select counts clean.
  */
 export declare function queueScript(): string;
-export declare function newTaskPage(chrome: Chrome, project: string | null, projectRevision: number, problem: string | null, candidates?: {
+export declare function newTaskPage(chrome: Chrome, project: string | null, 
+/** undefined: keep the revision the refused form posted (its draft), so a project switch since still refuses. */
+projectRevision: number | undefined, problem: string | null, candidates?: {
     id: string;
     title: string;
 }[], permissionDefault?: UnattendedPermissionMode, qualityDefault?: QualityMode, projects?: {
     path: string;
     name: string;
-}[]): Screen;
+}[], 
+/** A shipped template's fields, or a refused filing's own words, back in the form. */
+prefill?: TaskComposerPrefill | null): Screen;
 /**
  * The triage flow: everything waiting on a person, one card at a time.
  * Full context ON the card, the act inline, and every act lands back here

package/dist/server/render-pages.js

@@ -287,6 +287,10 @@ export function boardBody(data, ciRed) {
             return `${Math.round(minutes / 60)}h`;
         return `${Math.round(minutes / (24 * 60))}d`;
     };
+    // A lane's head is a status chip in its own tone (after ReUI's badge with a dot): amber only for the lane that
+    // waits on a person, blue for building, green for done, neutral otherwise. The word carries the state.
+    const LANE_CHIP = { attention: "chip-needs", building: "chip-live", done: "chip-done", queued: "", waiting: "" };
+    const laneChip = (key, title) => html `<span class="chip ${LANE_CHIP[key]}"><span class="chip-dot" aria-hidden="true"></span>${title}</span>`;
     const lane = (key, title, hint, renderOne) => {
         const cards = data.cards.filter(card => card.lane === key);
         // The longest-stalled card leads the board: attention sorts by how
@@ -312,20 +316,21 @@ export function boardBody(data, ciRed) {
         // A lane is a section that can fold (board pass): open when it holds
         // cards, folded when empty, so a phone reads the counts first and a
         // desktop column never spends its height on "nothing here".
-        return html `<details class="lane lane-${key}"${shown.length === 0 ? null : html ` open`}><summary><h2>${title} <span class="lane-count">${cards.length}${data.saturated ? "+" : ""}</span></h2></summary><p class="hint">${hint}</p>${shown.length === 0 ? html `<p class="meta lane-empty">nothing here</p>` : shown.map((card, index) => renderOne(card, index))}${more > 0 ? html `<a class="lane-more" href="/tasks">+${more} more in the task list</a>` : null}</details>`;
+        return html `<details class="lane lane-${key}"${shown.length === 0 ? null : html ` open`}><summary><h2>${laneChip(key === "attention" && cards.length === 0 ? "queued" : key, title)} <span class="lane-count">${cards.length}${data.saturated ? "+" : ""}</span></h2></summary><p class="hint">${hint}</p>${shown.length === 0 ? html `<p class="meta lane-empty">nothing here</p>` : shown.map((card, index) => renderOne(card, index))}${more > 0 ? html `<a class="lane-more" href="/work">+${more} more in Tasks</a>` : null}</details>`;
     };
     // The card's facts: mono key–value pairs under the title (board pass) —
     // task, worker, runtime — the same grammar on every lane, so the eye
     // learns one card. Chips carry the words (project, reservation).
+    // A value is mono only when a machine said it (a worker, model or branch name, a clock); words stay Geist.
     const facts = (rows) => rows.length === 0
         ? null
-        : html `<span class="facts">${rows.map(([k, v]) => html `<span class="fact"><span class="k">${k}</span><span class="v">${v}</span></span>`)}</span>`;
+        : html `<span class="facts">${rows.map(([k, v, mono]) => html `<span class="fact"><span class="k">${k}</span><span class="${mono === undefined ? "v" : "v mono"}">${v}</span></span>`)}</span>`;
     const chips = (parts) => {
         const kept = parts.filter((one) => one !== null);
         return kept.length === 0 ? null : html `<span class="chips">${joinHtml(kept, " ")}</span>`;
     };
-    const plain = (card) => html `<a class="lane-card" href="${card.href}" data-vt="${card.taskId}"><span class="id">${card.taskId}</span><span class="t">${card.title}</span><span class="why">${card.reason}</span>${facts([
-        ...(card.stalledSince === null ? [] : [["waiting", age(card.stalledSince)]]),
+    const plain = (card) => html `<a class="lane-card" href="${card.href}" data-vt="${card.taskId}"><span class="t">${card.title}</span><span class="why">${card.reason}</span><span class="id">${card.taskId}</span>${facts([
+        ...(card.stalledSince === null ? [] : [["waiting", age(card.stalledSince), "mono"]]),
     ])}${chips([
         chip(card.repo),
     ])}</a>`;
@@ -342,8 +347,8 @@ export function boardBody(data, ciRed) {
         }
         return heads;
     })();
-    const queuedCard = (card) => html `<a class="lane-card" href="${card.href}" data-vt="${card.taskId}"><span class="id">${card.taskId}</span><span class="t">${card.title}</span><span class="why">${card.reason}</span>${facts([
-        ["worker", card.assignedRunner === null ? "any free worker" : card.assignedRunner],
+    const queuedCard = (card) => html `<a class="lane-card" href="${card.href}" data-vt="${card.taskId}"><span class="t">${card.title}</span><span class="why">${card.reason}</span><span class="id">${card.taskId}</span>${facts([
+        card.assignedRunner === null ? ["worker", "any free worker"] : ["worker", card.assignedRunner, "mono"],
     ])}${chips([
         queuedHeads.get(`${card.assignedRunner ?? ""}|${card.repo ?? ""}`) === card.taskId
             ? html `<span class="badge">${card.assignedRunner === null ? "next up" : `next for ${card.assignedRunner}`}</span>`
@@ -367,13 +372,15 @@ export function boardBody(data, ciRed) {
         const steps = step === null
             ? null
             : html `<span class="steps" role="img" aria-label="${`step ${step + 1} of ${BUILD_STEPS.length}: ${BUILD_STEPS[step]}`}">${BUILD_STEPS.map((_, index) => html `<i class="${index < step ? "on" : index === step ? "now" : ""}"></i>`)}</span>`;
-        return html `<a class="lane-card building" href="${card.href}" data-vt="${card.taskId}"><span class="id">${card.taskId}</span><span class="t"><span class="dot dot-ok pulse"></span>${card.title}</span>${steps}<span class="live-line"><span class="stage">${live}</span>${tickingClock(claim.claimedAt, data.now)}</span>${facts([
-            ["worker", claim.runner],
-            ...(claim.model === null
-                ? []
-                : [["model", `${claim.provider !== null && claim.provider !== "claude" ? `${claim.provider} · ` : ""}${claim.model}`]]),
-            ...(claim.branch === null ? [] : [["branch", `${claim.branch}${workspace === null ? "" : ` · ${workspace}`}`]]),
-        ])}${chips([
+        // Who, which model and which branch, as one muted line: words in Geist, the model and branch in mono.
+        const model = claim.model === null ? null : `${claim.provider !== null && claim.provider !== "claude" ? `${claim.provider} · ` : ""}${claim.model}`;
+        const branch = claim.branch === null ? null : `${claim.branch}${workspace === null ? "" : ` · ${workspace}`}`;
+        const who = joinHtml([
+            html `<span>${claim.runner}</span>`,
+            model === null ? null : html `<span class="mono">${model}</span>`,
+            branch === null ? null : html `<span class="mono">${branch}</span>`,
+        ].filter((one) => one !== null), html `<span aria-hidden="true"> · </span>`);
+        return html `<a class="lane-card building" href="${card.href}" data-vt="${card.taskId}"><span class="t"><span class="dot dot-ok pulse"></span>${card.title}</span>${steps}<span class="live-line"><span class="stage">${live}</span>${tickingClock(claim.claimedAt, data.now)}</span><span class="id">${card.taskId}</span><span class="who">${who}</span>${chips([
             card.attempt === null ? null : html `<span class="badge">Attempt ${card.attempt}</span>`,
             chip(card.repo),
         ])}</a>`;
@@ -384,8 +391,8 @@ export function boardBody(data, ciRed) {
             const pr = row.prNumber === null
                 ? null
                 : html `<span class="badge badge-open">PR #${row.prNumber}</span>${ciRed(row.prNumber) ? html ` <span class="badge badge-failed">CI failing</span>` : null}`;
-            return html `<a class="lane-card" href="${taskHref(row.taskId)}" data-vt="${row.taskId}"><span class="id">${row.taskId}</span><span class="t">${row.title}</span>${row.handoff === null ? null : html `<span class="why">${row.handoff.length > 120 ? row.handoff.slice(0, 120) + "…" : row.handoff}</span>`}${facts([
-                ...(row.ranMinutes === null ? [] : [["ran", `${row.ranMinutes}m`]]),
+            return html `<a class="lane-card" href="${taskHref(row.taskId)}" data-vt="${row.taskId}"><span class="t">${row.title}</span>${row.handoff === null ? null : html `<span class="why">${row.handoff.length > 120 ? row.handoff.slice(0, 120) + "…" : row.handoff}</span>`}<span class="id">${row.taskId}</span>${facts([
+                ...(row.ranMinutes === null ? [] : [["ran", `${row.ranMinutes}m`, "mono"]]),
                 ["usage", runCostWords({ authMode: row.authMode, costUsd: row.costUsd, tokensIn: null, tokensOut: null })],
             ])}${chips([
                 html `<span class="badge badge-done">${row.outcome === "no-change" ? "No change" : "Built"}</span>`,
@@ -417,11 +424,11 @@ export function boardBody(data, ciRed) {
         toggle,
         workerStrip(data.workers, data.cards, data.now),
         html `<div class="board" data-now="${String(data.now.getTime())}">`,
-        lane("attention", "needs you", "these wait for a person", plain),
-        lane("queued", "queued", "starts when a worker is free", queuedCard),
-        lane("waiting", "waiting", "paused until a time, another task, or a requirement is ready", plain),
-        lane("building", "building", "one agent per card, in its own workspace", building),
-        html `<details class="lane lane-done"${data.done.length === 0 ? null : html ` open`}><summary><h2><a href="/done">done recently</a></h2></summary><p class="hint">the most recent — the full list is under done</p>${doneCards}</details>`,
+        lane("attention", "Needs you", "These wait for a person.", plain),
+        lane("queued", "Queued", "Starts when a worker is free.", queuedCard),
+        lane("waiting", "Waiting", "Paused until a time, another task, or a requirement is ready.", plain),
+        lane("building", "Building", "One agent per card, in its own workspace.", building),
+        html `<details class="lane lane-done"${data.done.length === 0 ? null : html ` open`}><summary><h2>${laneChip("done", html `<a href="/done">Done recently</a>`)}</h2></summary><p class="hint">The most recent. The full list is under Done.</p>${doneCards}</details>`,
         html `</div>`,
     ], "\n");
 }
@@ -503,7 +510,7 @@ export function homePage(chrome, data) {
         ? joinHtml([
             html `<div class="card">`,
             html `<p><strong>Nothing is queued yet — here is the whole loop:</strong></p>`,
-            html `<p>1. <a href="/tasks">Add a task</a> — plain words for work you want done${data.repo === null ? null : html ` in <span class="mono">${data.repo}</span>`}.</p>`,
+            html `<p>1. <a href="/tasks/new">Add a task</a> — plain words for work you want done${data.repo === null ? null : html ` in <span class="mono">${data.repo}</span>`}.</p>`,
             html `<p>2. Open it and write its scope — the goal, and what it must not become. Approve exactly that.</p>`,
             html `<p>3. Keep Toolroll running on the builder machine. Approved tasks build unattended, each on its own branch.</p>`,
             html `<p class="meta">When an agent is unsure it stops and asks — those questions land here, under “waiting on you”.</p>`,
@@ -596,12 +603,15 @@ export function taskComposerHtml(data) {
 }
 export const TASK_GROUP_LABEL = { ...ASK_LABEL, building: 'Building', rest: 'Recent' };
 export function workPage(chrome, data) {
-    const href = (view, cursor) => {
+    // The stored-state filter (the old task list's) rides every link but a change of state, which starts on page one.
+    const href = (view, cursor, state = data.state ?? null) => {
         const query = new URLSearchParams();
         if (data.projectFilter !== undefined)
             query.set('project', data.projectFilter);
         if (view !== 'all')
             query.set('view', view);
+        if (state !== null)
+            query.set('state', state);
         if (cursor !== undefined)
             query.set('cursor', cursor);
         return `/work${query.size ? `?${query}` : ''}`;
@@ -614,16 +624,22 @@ export function workPage(chrome, data) {
             : browserWorkActionHref(row);
         const action = actionHref === null || row.primaryAction === null ? null : html `<a class="work-action" data-primary-action href="${actionHref}">${row.primaryAction.label} →</a>`;
         const project = data.multiProject || row.repo === null ? html `<span class="project-label">${row.repo === null ? 'Unplaced' : projectName(row.repo)}</span>` : null;
-        return html `<article class="work-row" data-task="${row.rootId}" data-work-status="${row.status.token}" data-work-views="${row.status.views.join(' ')}"><div class="work-row-main"><a class="work-title" href="${taskHref(row.rootId)}">${row.title}</a><p class="work-meta">${project}<span>${relativeAge(row.updatedAt, data.now)}</span></p></div><div class="work-row-status">${statusLineHtml(row.status)}${action}${row.familyProblem === null ? null : html `<p class="problem">${row.familyProblem}</p>`}${row.status.views.includes('needs-you') && !['write-scope', 'approve-scope'].includes(row.primaryAction?.code ?? '') && row.status.detail !== row.status.label && row.status.detail !== row.familyProblem ? html `<p class="work-detail">${row.status.detail}</p>` : null}${workDiagnosticsHtml(row.status.diagnostics)}</div></article>`;
+        return html `<article class="work-row" data-task="${row.rootId}" data-work-status="${row.status.token}" data-work-views="${row.status.views.join(' ')}"><div class="work-row-main"><a class="work-title" href="${taskHref(row.rootId)}">${row.title}</a><p class="work-meta">${project}<span>${relativeAge(row.updatedAt, data.now)}</span><span class="mono">${row.rootId}</span></p></div><div class="work-row-status">${statusLineHtml(row.status)}${action}${row.familyProblem === null ? null : html `<p class="problem">${row.familyProblem}</p>`}${row.status.views.includes('needs-you') && !['write-scope', 'approve-scope'].includes(row.primaryAction?.code ?? '') && row.status.detail !== row.status.label && row.status.detail !== row.familyProblem ? html `<p class="work-detail">${row.status.detail}</p>` : null}${workDiagnosticsHtml(row.status.diagnostics)}</div></article>`;
     };
     const current = WORK_VIEWS.find(one => one.key === data.view);
-    const list = data.work.items.length === 0
-        ? html `<div class="work-empty" data-work-empty="${data.view}"><p>${data.previous ? 'There are no more tasks on this page.' : current.empty}</p>${data.view === 'all' && !data.previous ? html `<p><a class="button-link" href="${chrome.chat === true ? '/chat' : '/tasks/new'}">${chrome.chat === true ? 'Start in chat' : 'Add a task'}</a></p>` : html `<a href="${href('all')}">See all tasks →</a>`}</div>`
-        : html `<div class="work-list">${data.work.items.map(rowHtml)}</div>`;
+    const filtered = (data.state ?? null) !== null;
+    // The state filter, as real links (the old task list's), so a page without the React view can still change it.
+    const stateLinks = html `<nav class="work-states" aria-label="Task state"><span class="meta">State:</span> ${joinHtml([html `<a href="${href(data.view, undefined, null)}"${filtered ? null : html ` aria-current="page"`}>Any</a>`,
+        ...TASK_STATES.map(one => html `<a href="${href(data.view, undefined, one)}"${data.state === one ? html ` aria-current="page"` : null}>${one}</a>`)], html ` · `)}</nav>`;
+    const list = data.work.items.length === 0 && filtered && !data.previous
+        ? html `<div class="work-empty" data-work-empty="${data.view}"><p>No tasks are ${data.state} in this view.</p><a href="${href(data.view, undefined, null)}">Show every state →</a></div>`
+        : data.work.items.length === 0
+            ? html `<div class="work-empty" data-work-empty="${data.view}"><p>${data.previous ? 'There are no more tasks on this page.' : current.empty}</p>${data.view === 'all' && !data.previous ? html `<p><a class="button-link" href="${chrome.chat === true ? '/chat' : '/tasks/new'}">${chrome.chat === true ? 'Start in chat' : 'Add a task'}</a></p>` : html `<a href="${href('all')}">See all tasks →</a>`}</div>`
+            : html `<div class="work-list">${data.work.items.map(rowHtml)}</div>`;
     const pages = !data.previous && data.work.nextCursor === null ? null : html `<nav class="row work-pagination" aria-label="Task pages">${data.previous ? html `<a class="button-link" href="${href(data.view)}">First page</a>` : null}${data.work.nextCursor === null ? null : html `<a class="button-link" rel="next" href="${href(data.view, data.work.nextCursor)}">Next page</a>`}</nav>`;
-    const tools = html `<details class="work-tools"><summary>Work tools${CHEVRON_ICON}</summary><nav class="work-tools-menu">${[['/inbox', 'Inbox'], ['/board', 'Board'], ['/board?view=order', 'Order'], ['/tasks', 'Task list'], ['/recipes', 'Recipes'], ...(chrome.projectScoped ? [] : [['/workbench', 'Portfolio']]), ['/ledger', 'Action ledger']]
+    const tools = html `<details class="work-tools"><summary>Work tools${CHEVRON_ICON}</summary><nav class="work-tools-menu">${[['/inbox', 'Inbox'], ['/board', 'Board'], ['/board?view=order', 'Order'], ['/recipes', 'Recipes'], ...(chrome.projectScoped ? [] : [['/workbench', 'Portfolio']]), ['/ledger', 'Action ledger']]
         .map(([path, label]) => html `<a href="${path}">${label}</a>`)}</nav></details>`;
-    const toolLinks = [['/inbox', 'Inbox'], ['/board', 'Board'], ['/board?view=order', 'Order'], ['/tasks', 'Task list'], ['/recipes', 'Recipes'], ...(chrome.projectScoped ? [] : [['/workbench', 'Portfolio']])];
+    const toolLinks = [['/inbox', 'Inbox'], ['/board', 'Board'], ['/board?view=order', 'Order'], ['/recipes', 'Recipes'], ...(chrome.projectScoped ? [] : [['/workbench', 'Portfolio']])];
     const view = {
         kind: 'tasks',
         tabs: WORK_VIEWS.map(one => ({ label: one.label, href: href(one.key), count: data.work.totals[one.key], active: one.key === data.view })),
@@ -649,7 +665,7 @@ export function workPage(chrome, data) {
                 notes: (row.status.diagnostics ?? []).map(one => `${one.label} · ${one.detail}`),
             };
         }),
-        empty: data.work.items.length > 0 ? null : {
+        empty: data.work.items.length > 0 ? null : filtered && !data.previous ? { text: `No tasks are ${data.state} in this view.`, action: { label: "Show every state", href: href(data.view, undefined, null) } } : {
             text: data.previous ? 'There are no more tasks on this page.' : current.empty,
             action: data.view === 'all' && !data.previous ? { label: chrome.chat === true ? 'Start in chat' : 'Add a task', href: chrome.chat === true ? '/chat' : '/tasks/new' } : { label: 'See all tasks', href: href('all') },
         },
@@ -657,26 +673,10 @@ export function workPage(chrome, data) {
         tools: toolLinks.map(([path, label]) => ({ label: label, href: path })),
         newTask: { label: 'New task', href: '/tasks/new' },
         limits: data.limits ?? null,
+        states: [{ label: 'Any state', href: href(data.view, undefined, null), active: (data.state ?? null) === null },
+            ...TASK_STATES.map(one => ({ label: one.charAt(0).toUpperCase() + one.slice(1), href: href(data.view, undefined, one), active: data.state === one }))],
     };
-    return screen('work', html `<div class="work-head"><h1>Tasks</h1>${tools}</div>${limitsHtml(data.limits ?? null)}${tabs}${list}${pages}`, { chrome, workspace: { view } });
-}
-export function tasksPage(chrome, tasks, state, problem, repo = null, prefill = null, permissionDefault = "auto", qualityDefault = "default", replaced = new Map()) {
-    const filters = joinHtml(TASK_STATES.map(one => (one === state ? html `<strong>${one}</strong>` : html `<a href="/tasks?state=${one}">${one}</a>`)), " · ");
-    const rows = tasks.length === 0
-        ? html `<p class="meta">${state === null
-            ? "The queue is empty — add the first task below. It builds once you approve its scope."
-            : `Nothing is ${state}.`}</p>`
-        : joinHtml(tasks.map(task => html `<a class="row" href="${taskHref(task.id)}"><span class="mono">${task.id}</span> ${task.title} <span class="right badge badge-${task.state}">${task.state === "cancelled" && replaced.has(task.id) ? `replaced by ${replaced.get(task.id)}` : task.state}</span></a>`), "\n");
-    return screen("tasks", joinHtml([
-        html `<h1>Tasks</h1>`,
-        html `<p class="meta">Work you want done${repo === null ? null : html ` in <strong>${projectName(repo)}</strong>`} — a task builds unattended only after its scope is approved; open one to write or approve its scope</p>`,
-        repo === null ? null : html `<p class="meta path-words"><span class="mono">${repo}</span></p>`,
-        problem === null ? null : html `<div class="problem">${problem}</div>`,
-        html `<p class="meta">Filter: <a href="/tasks">all</a> · ${filters}</p>`,
-        rows,
-        html `<h2>Add a task</h2>`,
-        taskComposerHtml({ project: repo, prefill, permissionDefault, qualityDefault }),
-    ], "\n"), { chrome });
+    return screen('work', html `<div class="work-head"><h1>Tasks</h1>${tools}</div>${limitsHtml(data.limits ?? null)}${tabs}${stateLinks}${list}${pages}`, { chrome, workspace: { view } });
 }
 export function browsePage(chrome, data) {
     const crumb = data.at === data.root ? projectName(data.root) : `${projectName(data.root)}${data.at.slice(data.root.length)}`;
@@ -925,34 +925,38 @@ export function originUrlOf(repoPath) {
 export function githubReposPage(chrome, data) {
     const openForm = (path, label) => postForm("/projects/open", html `<button type="submit">${label}</button>`, { attrs: { class: "inline" }, hidden: { path } });
     const cloneForm = (nameWithOwner) => postForm("/projects/onboard-preview", html `<button type="submit">Clone here →</button>`, { attrs: { class: "inline" }, hidden: { repo: nameWithOwner, root: "0" } });
-    const rows = !data.listed.ok
-        ? html `<p class="meta">${data.listed.message}</p>`
-        : data.listed.repos.length === 0
-            ? html `<p class="meta">The signed-in GitHub account has no repositories to list</p>`
-            : joinHtml(data.listed.repos.map(repo => {
-                const localPath = data.local.get(repo.nameWithOwner.toLowerCase()) ?? null;
-                const action = localPath !== null && data.openProject === localPath
-                    ? html `<span class="badge badge-done">Open now</span>`
-                    : localPath !== null
-                        ? openForm(localPath, data.registered.has(localPath) ? "open →" : "add + open →")
-                        : data.cloneReady
-                            ? cloneForm(repo.nameWithOwner)
-                            : html `<span class="meta">choose a projects folder first</span>`;
-                return joinHtml([
-                    html `<div class="card project-card">`,
-                    html `<div class="row"><strong>${repo.nameWithOwner}</strong>${repo.isPrivate ? html ` <span class="badge">Private</span>` : null}`,
-                    html `<span class="right">${action}</span></div>`,
-                    localPath === null
-                        ? html `<p class="meta">Not on this machine yet${/^\d{4}-\d{2}-\d{2}T/.test(repo.updatedAt) ? html ` · pushed ${whenTime(repo.updatedAt)}` : null}</p>`
-                        : html `<p class="meta mono" style="overflow-wrap:anywhere;margin:.2rem 0">${localPath}</p>`,
-                    repo.description === "" ? null : html `<p class="meta">${repo.description}</p>`,
-                    html `</div>`,
-                ], "\n");
-            }), "\n");
+    const list = (label) => postForm("/projects/github", html `<button type="submit"${label === "Refresh list" ? html ` class="secondary"` : ""}>${label}</button>`, { attrs: { class: "inline" } });
+    const rows = data.listed === null
+        ? list("List repositories")
+        : !data.listed.ok
+            ? html `<p class="meta">${data.listed.message}</p>`
+            : data.listed.repos.length === 0
+                ? html `<p class="meta">The signed-in GitHub account has no repositories to list</p>`
+                : joinHtml(data.listed.repos.map(repo => {
+                    const localPath = data.local.get(repo.nameWithOwner.toLowerCase()) ?? null;
+                    const action = localPath !== null && data.openProject === localPath
+                        ? html `<span class="badge badge-done">Open now</span>`
+                        : localPath !== null
+                            ? openForm(localPath, data.registered.has(localPath) ? "open →" : "add + open →")
+                            : data.cloneReady
+                                ? cloneForm(repo.nameWithOwner)
+                                : html `<span class="meta">choose a projects folder first</span>`;
+                    return joinHtml([
+                        html `<div class="card project-card">`,
+                        html `<div class="row"><strong>${repo.nameWithOwner}</strong>${repo.isPrivate ? html ` <span class="badge">Private</span>` : null}`,
+                        html `<span class="right">${action}</span></div>`,
+                        localPath === null
+                            ? html `<p class="meta">Not on this machine yet${/^\d{4}-\d{2}-\d{2}T/.test(repo.updatedAt) ? html ` · pushed ${whenTime(repo.updatedAt)}` : null}</p>`
+                            : html `<p class="meta mono" style="overflow-wrap:anywhere;margin:.2rem 0">${localPath}</p>`,
+                        repo.description === "" ? null : html `<p class="meta">${repo.description}</p>`,
+                        html `</div>`,
+                    ], "\n");
+                }), "\n");
     return screen("projects", joinHtml([
         html `<h1>Your GitHub repositories</h1>`,
         html `<p class="meta">Repositories available to the GitHub account signed in on this machine — open one you already have, or clone a new one after a quick preview.</p>`,
         rows,
+        data.listed === null ? null : list("Refresh list"),
         html `<p class="row" style="margin-top:.6rem"><a class="badge" href="/projects">← back to projects</a></p>`,
     ], "\n"), { chrome });
 }
@@ -1273,7 +1277,11 @@ export function queueScript() {
         `.then(function(){tell();});});` +
         `})();`);
 }
-export function newTaskPage(chrome, project, projectRevision, problem, candidates = [], permissionDefault = "auto", qualityDefault = "default", projects = []) {
+export function newTaskPage(chrome, project, 
+/** undefined: keep the revision the refused form posted (its draft), so a project switch since still refuses. */
+projectRevision, problem, candidates = [], permissionDefault = "auto", qualityDefault = "default", projects = [], 
+/** A shipped template's fields, or a refused filing's own words, back in the form. */
+prefill = null) {
     return screen("New task", joinHtml([
         html `<section class="task-intake">`,
         html `<div class="task-intake-hero"><h1>What should get done?</h1></div>`,
@@ -1281,7 +1289,8 @@ export function newTaskPage(chrome, project, projectRevision, problem, candidate
         problem === null ? null : html `<div class="problem">${problem}</div>`,
         taskComposerHtml({
             project,
-            projectRevision,
+            ...(projectRevision === undefined ? {} : { projectRevision }),
+            prefill,
             candidates,
             permissionDefault,
             qualityDefault,

package/dist/server/render-results.d.ts

@@ -16,7 +16,7 @@ import { type BuildReviewView } from "../review-switch.js";
 import { type AcceptanceCriterion, type approvalOf } from "../scope.js";
 import { type ReportItem } from "../scout-report.js";
 import { type Artifact, type DiffComment, type Publication, type RepairChainRow, type ReviewRetryState, type Run, type Store, type TaskState } from "../store.js";
-import { type ReleaseState, type PullRequestFact, type TaskStatus } from "../task-status.js";
+import { type ChecksFact, type ReleaseState, type PullRequestFact, type TaskStatus } from "../task-status.js";
 import { type DisplayStatus, type PublicationFacts, type ReviewFacts } from "../workspace-ui.js";
 import { type Chrome, type Screen } from "./chrome.js";
 import { type Html } from "../html.js";
@@ -423,6 +423,9 @@ export type ProofBundleView = {
     repairChain: RepairChainRow | null;
     /** v51: the policy semantic coverage is read under. */
     qualityMode: "default" | "strict";
+    /** The saved approved check read now (task-status.ts approvedCheckOf), for a finished build; absent otherwise, and
+     * then no words here claim the check passed. */
+    checks?: ChecksFact | null;
 };
 /** The smallest complete answer to "what did this task deliver?". It is a
  * projection of the same sealed handoff, proof, screenshot, and diff records
@@ -471,6 +474,9 @@ export type CompletionReceiptView = {
     report: RunReportView | null;
     /** The facts every result surface prints identically (package 3). */
     facts: SharedResultFacts;
+    /** The saved approved check as read now (the receipt and any follow-up on the same commit), so the status words
+     * read the same answer as the Project checks row (task-status.ts approvedCheckOf). Absent on a scout's report. */
+    checks?: ChecksFact | null;
 };
 /** A scout run's report as this run stored it: verified and parsed, or
  * the reason it cannot be shown. The download link serves the exact
@@ -501,7 +507,10 @@ export declare function runReportView(artifacts: Artifact[], root: string): RunR
  * evidence problem in words, and the observed publication state. */
 export declare function sharedResultFactsOf(run: Run, proof: ProofBundleView | null, terminal: TerminalDiffView | null, handoff: StructuredHandoffView | null, report: RunReportView | null, publication: PublicationFacts): SharedResultFacts;
 export declare function proofBundleView(store: Store, run: Run, artifacts: Artifact[], root: string): ProofBundleView | null;
-export declare function completionReceiptView(store: Store, run: Run, artifacts: Artifact[], root: string, review?: ReviewFacts | null): CompletionReceiptView;
+/** What the verdict recorded when the build finished, said beside what holds now: a recorded pass is restated only
+ * when the check read now passed; unread, it points to the result; unreadable or failed since, it says so. */
+export declare function completionWords(verdict: ProofVerdict | null, reasons: readonly string[], checks: ChecksFact | null | undefined): string;
+export declare function completionReceiptView(store: Store, run: Run, artifacts: Artifact[], root: string, review?: ReviewFacts | null, now?: Date): CompletionReceiptView;
 export type ReviewDiffLine = {
     kind: "context" | "addition" | "deletion" | "meta";
     text: string;

package/dist/server/render-results.js

@@ -1,6 +1,7 @@
 import { assignmentPresentationOf, historicalAssessmentReason, shortenedMaterialReason } from "../assignment-presentation.js";
 import { assignmentActionHref, assignmentStatusOf, assignmentWithEvidence } from "../assignment-ui.js";
-import { owedAcceptance } from "../assignment.js";
+import { assignmentChecksForRun, owedAcceptance } from "../assignment.js";
+import { releaseCoverageOf } from "../release-coverage.js";
 import {} from "../browser-workspace.js";
 import { CHECK_LEVEL_WORDS, liveQuickCommand } from "../check-levels.js";
 import { LIMITS } from "../decision.js";
@@ -20,7 +21,7 @@ import {} from "../scope.js";
 import { parseReport } from "../scout-report.js";
 import {} from "../store.js";
 import { runCostWords } from "../summary.js";
-import { checkBackingOf, CHECKED_AT_RELEASE, demoChecksOf, pullRequestFactOf, requirementsOf, requirementWordOf, STATUS_MORE, statusDetailsHtml, statusIconSvg, statusWhyHtml } from "../task-status.js";
+import { approvedCheckOf, approvedCheckStateOf, CHECK_COMMAND_CHANGED, CHECK_UNREADABLE, checkBackingOf, CHECKED_AT_RELEASE, checksFactOf, receiptChecksOf, demoChecksOf, pullRequestFactOf, requirementsOf, requirementWordOf, STATUS_MORE, statusDetailsHtml, statusIconSvg, statusWhyHtml } from "../task-status.js";
 import { ACCEPT_NEEDS_REASON, acceptWordsOf, cantAcceptYetOf, evidenceProblemOf, MISMATCH_HEADLINE, receiptHeadingOf, receiptPublicationWords, reportMismatchesOf, RESULT_DECISION_SENTENCE, resultHeadlineOf, resultStatusOf, REVIEW_TOKENS } from "../workspace-ui.js";
 import { createHash, randomBytes } from "node:crypto";
 import { buildsViews, oneLineOf, projectChip, safePrUrl, screen, sentenceCase, strokeIcon, when, whenTime } from "./chrome.js";
@@ -650,9 +651,12 @@ export function reviewCockpitDetailParts(view, csrf, noted, canRetryReview, tab,
         ? `${host.base}&run=${run.id}${section === "summary" ? "" : `&section=${section}`}`
         : `${here}&run=${run.id}${section === "summary" ? "" : `&tab=${section}`}`;
     const assignment = view.assignment === null ? null : assignmentWithEvidence(view.assignment, receiptStatusOf(view.detail.receipt), run.id);
-    const checks = assignment?.receipt?.checks;
+    const saved = assignment?.receipt?.checks;
+    // The approved check as the task page reads it (task-status.ts approvedCheckOf): one answer for this whole page.
+    const checks = saved === undefined || assignment?.receipt == null ? undefined
+        : { ...saved, ...(receiptChecksOf(assignment.receipt) ?? {}), detail: saved.detail };
     if (checks !== undefined)
-        parts.push(html `<p class="${checks.status === "failed" || checks.status === "unavailable" ? "problem" : "meta"}" data-actual-checks="${checks.status}">${checks.detail}${checks.logArtifactId === null ? "" : html ` <a href="/r/${run.id}/evidence/${checks.logArtifactId}">Open check output</a>`}</p>`);
+        parts.push(html `<p class="${checks.status === "failed" || checks.status === "unavailable" ? "problem" : "meta"}" data-actual-checks="${checks.status}">${checks.status === "unavailable" && saved.cause === "command-changed" ? CHECK_COMMAND_CHANGED : html `${checks.status === "unavailable" && saved.status !== "unavailable" ? `${CHECK_UNREADABLE} ` : ""}${checks.detail}`}${checks.logArtifactId === null ? "" : html ` <a href="/r/${run.id}/evidence/${checks.logArtifactId}">Open check output</a>`}</p>`);
     if (assignment?.completion != null)
         parts.push(html `<p class="meta" data-result-completed>Marked complete by ${assignment.completion.actor.replace(/^operator:/, "")}.</p>`);
     const panel = resultPanelParts(view.detail, {
@@ -692,7 +696,7 @@ export function reviewCockpitDetailParts(view, csrf, noted, canRetryReview, tab,
     const unanswered = accepted || youCheck == null ? [] : youCheck.items.length > 0 ? youCheck.items.map(one => one.statement === "" ? one.words : one.statement) : youCheck.lines;
     const base = !acceptsHere ? null : acceptWordsOf({
         // Checks Off that a release check already covers read as passed (release-coverage.ts).
-        checks: checks === undefined ? null : checks.running != null ? "running" : checks.level === "off" && checks.status !== "passed" ? checks.release != null ? "passed" : "off" : checks.status,
+        checks: checks === undefined ? null : { passed: "passed", failed: "failed", running: "running", "not-run": "not-run", off: "off", unreadable: "unavailable" }[approvedCheckStateOf(checks)],
         // Release-aware words (task-status.ts): a requirement waiting only on a release check, or covered by one, isn't unmet.
         unmet: matrix.filter(row => !["Met", "You check", CHECKED_AT_RELEASE].includes(requirementWordOf(row, null, checks === undefined ? undefined : checkBackingOf(checks)))).length,
         action: complete !== null ? "complete" : "accept",
@@ -1084,6 +1088,7 @@ export function proofBundleView(store, run, artifacts, root) {
             : { text: "", artifactId: checkLogArtifact.id, truncated: checkLogArtifact.truncated, problem: read.problem, ...sizes };
     }
     return {
+        ...(run.finishedAt !== null && run.role !== "scout" && run.role !== "reviewer" && run.role !== "planner" ? { checks: savedChecksOf(store, root, run, new Date()) } : {}),
         verdict: verdictRow?.verdict ?? null,
         reasons: verdictRow?.reasons ?? [],
         accepted: acceptanceRow === null ? null : { by: acceptanceRow.approver, note: acceptanceRow.note, at: acceptanceRow.acceptedAt },
@@ -1114,7 +1119,32 @@ export function proofBundleView(store, run, artifacts, root) {
         })(),
     };
 }
-export function completionReceiptView(store, run, artifacts, root, review = null) {
+/** What the verdict recorded when the build finished, said beside what holds now: a recorded pass is restated only
+ * when the check read now passed; unread, it points to the result; unreadable or failed since, it says so. */
+export function completionWords(verdict, reasons, checks) {
+    const recorded = verificationExplanation(verdict, reasons);
+    if (verdict !== "verified")
+        return recorded;
+    const now = approvedCheckStateOf(approvedCheckOf(verdict, reasons, checks));
+    if (checks !== undefined && (now === "passed" || (now === "running" && checks?.status === "passed")))
+        return recorded;
+    if (checks === undefined)
+        return "Open the result to see its checks.";
+    const said = now === "failed" ? `the approved check failed against it${checks?.exitCode == null ? "" : ` (exit ${checks.exitCode})`}.`
+        : checks?.cause === "command-changed" ? "the check command changed since this check." : `${CHECK_UNREADABLE.charAt(0).toLowerCase()}${CHECK_UNREADABLE.slice(1)}`;
+    return `At completion: ${recorded} Now: ${said} It doesn't count as passed.`;
+}
+/** A result's saved approved check as the assignment reads it (assignment.ts): the receipt, follow-ups on its commit,
+ * and with checks Off the passing release check that contains it. */
+function savedChecksOf(store, root, run, now) {
+    const own = checksFactOf(assignmentChecksForRun(store, root, run.id, now), run.headRevision);
+    if (own.level !== "off" || own.status === "passed" || own.status === "failed")
+        return own;
+    const repo = store.refById(run.taskRef)?.repo ?? null;
+    const release = releaseCoverageOf(store, root, repo, run.headRevision);
+    return release == null ? own : { ...own, release };
+}
+export function completionReceiptView(store, run, artifacts, root, review = null, now = new Date()) {
     const handoff = structuredHandoffView(artifacts, root);
     const proof = proofBundleView(store, run, artifacts, root);
     const terminal = terminalDiffView(artifacts, root);
@@ -1149,6 +1179,8 @@ export function completionReceiptView(store, run, artifacts, root, review = null
         coverageSecondary: coverage.contextGaps.length === 0 && (coverage.satisfied === true || (coverage.satisfied === null && !coverage.required)),
         report,
         facts: sharedResultFactsOf(run, proof, terminal, handoff, report, publication),
+        // The same reading the task page's Project checks row shows (assignment.ts), never the verdict alone.
+        ...(run.role === "scout" ? {} : { checks: savedChecksOf(store, root, run, now) }),
     };
 }
 export const REVIEW_DIFF_LINE_CAP = 4_000;
@@ -1357,8 +1389,9 @@ export function evidenceBundleCard(view, run, publication = null, review = null)
     if (view.verdict !== null) {
         // The same status line every other surface renders for this run
         // (workspace package 1), beside the verdict's own explanation.
-        const status = resultStatusOf({ runId, role: run.role, outcome: run.outcome, verdict: view.verdict, reasons: view.reasons, accepted: view.accepted !== null, review }, publication);
-        parts.push(html `<p class="row" data-proof-verdict="${dispatchStatusToken(view.verdict)}">${statusLineHtml(status)} <span class="meta">${verificationExplanation(view.verdict, view.reasons)}</span></p>`);
+        const status = resultStatusOf({ runId, role: run.role, outcome: run.outcome, verdict: view.verdict, reasons: view.reasons, accepted: view.accepted !== null, review,
+            ...(view.checks === undefined ? {} : { checks: view.checks }) }, publication);
+        parts.push(html `<p class="row" data-proof-verdict="${dispatchStatusToken(view.verdict)}">${statusLineHtml(status)} <span class="meta">${completionWords(view.verdict, view.reasons, view.checks)}</span></p>`);
     }
     if (view.accepted !== null) {
         parts.push(html `<p class="meta">Accepted with an exception by <span class="mono">${view.accepted.by}</span> · ${whenTime(view.accepted.at)}${view.accepted.note === null ? "" : ` — ${view.accepted.note}`}</p>`);
@@ -1429,7 +1462,8 @@ export function receiptStatusOf(view, review = view.review) {
     // The evidence health rides the status (repair 2026-09-14): a result
     // whose stored records are damaged is never called ready on the strength
     // of a verdict recorded before the damage.
-    return evidenceResultStatusOf({ runId: view.runId, role: view.role, outcome: view.outcome, verdict: view.verdict, reasons: view.reasons, accepted: view.accepted, recordComplete: view.recordComplete, review }, view.publication, view.facts.evidenceHealth);
+    return evidenceResultStatusOf({ runId: view.runId, role: view.role, outcome: view.outcome, verdict: view.verdict, reasons: view.reasons, accepted: view.accepted, recordComplete: view.recordComplete, review,
+        ...(view.checks === undefined ? {} : { checks: view.checks }) }, view.publication, view.facts.evidenceHealth);
 }
 export function completionReceiptCard(view, taskId, place, standing = receiptStatusOf(view), assignment = null, headline = true) {
     const current = assignment?.receipt?.runId === view.runId ? assignment : null;
@@ -1577,8 +1611,11 @@ export function resultPanelParts(detail, o) {
     // The visible status already says verification is needed. Only omit the
     // generic repeat; failed checks, specific reasons and damaged evidence stay.
     const missingVerdictNamed = o.headStatus !== false && status.token === "verification-needed" && receipt.verdict === null && receipt.reasons.length === 0;
-    if (current == null && !humanReview && !awaitingGoalReview && (!directAssessment || physicalReasons.length > 0) && !missingVerdictNamed && stored.token !== "evidence-damaged" && (stored.tone === "problem" || stored.tone === "attention"))
-        attention.push(verificationExplanation(receipt.verdict, physicalReasons));
+    if (current == null && !humanReview && !awaitingGoalReview && (!directAssessment || physicalReasons.length > 0) && !missingVerdictNamed && stored.token !== "evidence-damaged" && (stored.tone === "problem" || stored.tone === "attention")) {
+        // A recorded pass whose check can't be read now is said as what holds now, never as the verdict's pass.
+        // A recorded pass the check read now can't stand behind (unreadable, or failed since) is said as what holds now.
+        attention.push(stored.token === "check-unreadable" || (receipt.verdict === "verified" && stored.token === "checks-failed") ? stored.detail : verificationExplanation(receipt.verdict, physicalReasons));
+    }
     // Exact criterion assessment notes are already shown in Requirements;
     // do not repeat them as a second current attention message.
     if (presentation !== null)
@@ -1773,7 +1810,12 @@ export function resultPanelParts(detail, o) {
         if (proof.verdict !== null && !directAssessment) {
             // The same status line the panel leads with (one status per surface,
             // workspace package 1), beside the machine verdict's own explanation.
-            checkParts.push(html `<p class="row result-verdict" data-proof-verdict="${dispatchStatusToken(proof.verdict)}"><span class="meta">At completion: ${humanReview ? "Human review required for the requirements below." : verificationExplanation(proof.verdict, proof.reasons)}</span></p>`);
+            // A recorded pass the saved check can't show now is said so here too (task-status.ts approvedCheckOf).
+            const shown = current?.receipt != null ? receiptChecksOf(current.receipt) : receipt.checks === undefined ? undefined : approvedCheckOf(proof.verdict, proof.reasons, receipt.checks);
+            const unreadNow = proof.verdict === "verified" && shown !== undefined && shown?.status !== "passed" && !humanReview;
+            // completionWords: the verdict at completion, and what holds now when they differ.
+            const words = humanReview ? "At completion: Human review required for the requirements below." : unreadNow ? completionWords(proof.verdict, proof.reasons, shown) : `At completion: ${verificationExplanation(proof.verdict, proof.reasons)}`;
+            checkParts.push(html `<p class="row result-verdict" data-proof-verdict="${dispatchStatusToken(proof.verdict)}"${unreadNow ? html ` data-check-now="${approvedCheckStateOf(shown) ?? "unreadable"}"` : ""}><span class="meta">${words}</span></p>`);
         }
         else if (proof.verdict === null && run.outcome !== "no-change") {
             checkParts.push(html `<p class="meta" data-proof-verdict="none">No verification result is available for this build.</p>`);

package/dist/server/render-settings.js

@@ -32,7 +32,7 @@ export function leadSettingsHtml(data) {
     const summary = config === null
         ? data.signedIn !== null
             ? html `<p>The lead is off.</p>${postForm("/settings/lead/on", html `<button type="submit">Use your ${data.signedIn} sign-in</button>`, { returnTo })}`
-            : html `<p>The lead is off. Sign in an agent on this computer to turn it on:</p><p><code>${data.command}</code></p>`
+            : html `<p>The lead is off. Sign in an agent on this computer to turn it on:</p><p><code>${data.command}</code></p>${postForm("/lead/check", html `<button type="submit" class="secondary">Check again</button>`, { returnTo })}`
         : data.words !== null
             ? html `<p>The lead uses ${data.words}.</p><p class="meta">${config.model === "default" ? "Its default model" : `Model ${config.model}`} · up to ${config.dailyTurns} turns a day · no dollar spend. Every action it proposes waits for you to confirm it.</p>`
             : html `<p>The lead uses the ${config.provider === "anthropic-api" ? "Anthropic" : "OpenRouter"} API with ${config.model}.</p><p class="meta">Up to ${chatMoney(config.weeklyCeilingMicrousd)} a week · up to ${config.dailyTurns} turns a day.</p>`;
@@ -261,7 +261,7 @@ ${[
                     html `<details class="provider-manage"><summary>Manage</summary>`,
                     postForm("/settings/provider-key", joinHtml([
                         "",
-                        one.connection === undefined ? "" : html `<p class="provider-connection"><strong>${connectionWords(one.connection)}</strong> ${[one.connection.email, one.connection.plan, one.connection.method].filter(Boolean).join(" · ")} · <a href="/settings?check-connection=${encodeURIComponent(one.provider)}#providers">Check again</a></p>`,
+                        one.connection === undefined ? "" : html `<p class="provider-connection"><strong>${connectionWords(one.connection)}</strong> ${[one.connection.email, one.connection.plan, one.connection.method].filter(Boolean).join(" · ")} · <button type="submit" class="secondary" formaction="/settings/connection/check" formnovalidate>Check again</button></p>`,
                         html `<p class="meta">${one.mode === "subscription" ? "Uses its own sign-in, so no API-key spend" : "Uses the API key"} · <span class="mono">${one.envName}</span> · ${one.set ? `key stored${one.updatedAt === null ? "" : ` ${one.updatedAt.slice(0, 10)}`}` : one.ambient ? "key in this server's environment" : "no key stored"}</p>`,
                         one.subscriptionCapable
                             ? html `<label>Sign-in<select name="auth-mode">\
@@ -372,7 +372,7 @@ ${one.retiredAt === null
                         : one.set ? { tone: "ok", words: "API key saved" } : one.ambient ? { tone: "ok", words: "Key from this computer’s environment" } : { tone: "off", words: "Not set up" };
             return {
                 provider: one.provider, name, tone: status.tone, words: status.words,
-                connection: one.connection === undefined ? null : { words: connectionWords(one.connection), facts: [one.connection.email, one.connection.plan, one.connection.method].filter(Boolean).join(" · "), checkHref: `/settings?check-connection=${encodeURIComponent(one.provider)}#providers` },
+                connection: one.connection === undefined ? null : { words: connectionWords(one.connection), facts: [one.connection.email, one.connection.plan, one.connection.method].filter(Boolean).join(" · "), checkAction: "/settings/connection/check" },
                 usage: `${one.mode === "subscription" ? "Uses its own sign-in, so no API-key spend" : "Uses the API key"} · ${one.set ? `key stored${one.updatedAt === null ? "" : ` ${one.updatedAt.slice(0, 10)}`}` : one.ambient ? "key in this server's environment" : "no key stored"}`,
                 envName: one.envName, subscriptionCapable: one.subscriptionCapable, mode: one.mode, set: one.set,
             };