toolroll 0.9.4 → 0.9.6

package/dist/serve.js

@@ -58,11 +58,13 @@ import { prepareWorkspaceRevision, WorkspaceValidatorCache } from "./workspace-r
 import { workIndexPage, workCountsByProject, WorkIndexCursorError } from "./work-index.js";
 import { openWorkDecisionOf } from "./work-summary.js";
 import { assignmentOf, checkAssignmentAsOperator } from './assignment.js';
+import { demoChatHtml, demoThreadHtml, DEMO_CHAT_SCRIPT } from "./demo-chat.js";
 import { pullRequestSettingsHtml, PULL_REQUEST_SETTINGS_CSS } from './pull-request-ui.js';
 import { checkPublishing, completeAndOpenPullRequest, mergeAsPerson, pullRequestBlocker, publishingOf, saveMergeSettings, savePublishing, newestPullRequestOf, MERGE_METHODS } from './pull-request-flow.js';
 import { leadBriefHtml, LEAD_CONTEXT_CSS } from './lead-context.js';
 import { assignmentCatchUp } from './assignment-brief.js';
 import { assignmentCardOf, assignmentStatusOf, assignmentSummaryHtml, assignmentWithEvidence, ASSIGNMENT_CSS } from './assignment-ui.js';
+import { pullRequestFactOf, stageOfDispatch, statusDetailsHtml, statusIconSvg, statusWhyHtml, taskStatusOf, TASK_STATUS_CSS } from './task-status.js';
 import { assignmentPresentationOf, historicalAssessmentReason, shortenedMaterialReason } from './assignment-presentation.js';
 import { ledgerBody } from "./ledger-view.js";
 import { EVIDENCE_PACK_CSS, evidencePack, evidencePackHtml, exportDay, ledgerExportChunks } from "./evidence-pack.js";
@@ -150,8 +152,8 @@ import { TEMPLATES, templateByName } from "./templates.js";
 import { starterRecipes, savedRecipes, findRecipe, importRecipe, exportRecipe, createWorkflowPreview, workflowPreview, launchWorkflow, saveWorkflowRecipe, RecipeError, prepareRecipeRun } from "./recipes.js";
 import { recipeFromForm, recipeLibraryHtml, recipeEditorHtml, workflowPreviewHtml, recipeScript, RECIPE_CSS, recipeDefinitionPreviewHtml, recipeRunHtml, recipeAnswersFromForm } from "./recipe-ui.js";
 import { EVIDENCE_CAPS, readVerifiedArtifact, readVerifiedReport, readVerifiedProofForRun, storeEvidence, writeEvidenceFile, scanForSecrets } from "./evidence.js";
-import { GOAL_ASSESSMENT_PENDING, reviewConflict, manualReviewOnly, dispatchStatusToken, passFraction, semanticCoverage, coverageWords, coverageStateWords } from "./proof.js";
-import { WORK_VIEWS, REVIEW_TOKENS, parseWorkView, resultStatusOf, receiptHeadingOf, receiptPublicationWords, reviewFactsOf, workStatusOf, primaryDestinationOf, needsPerson, dispatchActionLabel, } from "./workspace-ui.js";
+import { GOAL_ASSESSMENT_PENDING, reviewConflict, manualReviewOnly, manualReviewCriterionOf, personCheckWords, plainReasonWords, dispatchStatusToken, passFraction, semanticCoverage, coverageWords, coverageStateWords } from "./proof.js";
+import { WORK_VIEWS, REVIEW_TOKENS, parseWorkView, resultStatusOf, resultHeadlineOf, receiptHeadingOf, receiptPublicationWords, reviewFactsOf, workStatusOf, primaryDestinationOf, needsPerson, dispatchActionLabel, } from "./workspace-ui.js";
 import { PRICED_BUILD_MODELS } from "./pricing.js";
 import { RESULT_TABS, RESULT_REVIEW_SCRIPT, isRevisionFeedback, evidenceResultStatusOf, evidenceShortenedWords, parseResultTab, resultLeadOf, evidenceProblemDetailsOf, evidenceHealthOf, resultFactsAttributes, resultFactsAttributeMap, resultReturnTarget, commentSourceKey, REQUEST_TOKEN, revisionBatchOf, parseRevisionBatch, revisionSourceOf, } from "./result-review.js";
 import { parseReport } from "./scout-report.js";
@@ -1727,6 +1729,7 @@ export function createDecisionServer(options) {
             url.pathname !== "/projects/browse" && url.pathname !== "/projects/github" && url.pathname !== "/workbench" &&
             url.pathname !== "/fleet" &&
             url.pathname !== "/chat" && url.pathname !== "/chat/mate/status" && url.pathname !== "/chat/task-status" && url.pathname !== "/chat/stream" &&
+            !url.pathname.startsWith("/chat/demo/") &&
             !/^\/chat\/action\/[0-9]{1,15}$/.test(url.pathname) &&
             !url.pathname.startsWith("/settings") && url.pathname !== "/logout" && url.pathname !== "/people" && url.pathname !== "/ledger" && url.pathname !== "/ledger/export" && url.pathname !== "/metrics" && url.pathname !== "/spend" && url.pathname !== "/spend/budget" &&
             !(url.pathname === "/board" && url.searchParams.get("scope") === "all");
@@ -3237,6 +3240,26 @@ export function createDecisionServer(options) {
                 ...(fragments === null ? {} : { fragments }),
             }));
         }
+        // `toolroll demo`: Chat is the scripted lead, never a model.
+        if (url.pathname === "/chat/demo/live") {
+            const lead = demoLeadHere();
+            if (lead === null || who.via !== "cookie")
+                return respond(response, 404, "application/json", JSON.stringify({ ok: false }));
+            const exchanges = lead.exchanges();
+            return respond(response, 200, "application/json", JSON.stringify({
+                version: lead.version(), working: exchanges.some(one => one.state === "working"),
+                html: demoThreadHtml(exchanges, who.session.csrf, demoResultView),
+            }));
+        }
+        if (url.pathname === "/chat" && demoLeadHere() !== null && who.via === "cookie" &&
+            !["task", "result", "project", "conversation", "team", "proposal"].some(name => url.searchParams.has(name))) {
+            const lead = demoLeadHere();
+            const said = url.searchParams.get("said")?.slice(0, 300) ?? null;
+            return sendScreen(response, 200, screen("Chat", demoChatHtml({ exchanges: lead.exchanges(), csrf: who.session.csrf, version: lead.version(), problem: said, resultOf: demoResultView }), {
+                chrome: chromeFor(null, "chat", undefined, "all"),
+                functional: { script: DEMO_CHAT_SCRIPT, fetches: true },
+            }));
+        }
         if (url.pathname === "/chat") {
             // Cookie sessions only (Codex v3 review, change 7): drafts live in
             // THIS session's memory; a bearer caller has nowhere to keep them.
@@ -4146,6 +4169,42 @@ export function createDecisionServer(options) {
     /** The frozen explicit repo list, digested canonically (sorted) — every
      * candidate binds to it and filing re-proves it (v2 new finding 5). */
     const chatCeilingDigest = (repos = managedRepos()) => createHash("sha256").update([...repos].sort().join("\n")).digest("hex");
+    /** The scripted lead answers only inside a demo database. */
+    function demoLeadHere() {
+        return options.demoLead !== undefined && store.isDemo() ? options.demoLead : null;
+    }
+    /** A finished demo exchange's result, read back from the evidence its run actually stored. */
+    function demoResultView(exchange) {
+        if (exchange.runId === null || exchange.taskId === null)
+            return null;
+        const artifacts = store.artifactsFor(exchange.runId);
+        const text = (kind) => {
+            const artifact = artifacts.find(one => one.kind === kind);
+            if (artifact === undefined)
+                return null;
+            const read = readVerifiedArtifact(evidenceRoot, artifact);
+            return read.ok ? read.content.toString("utf8") : null;
+        };
+        const shot = artifacts.find(one => one.kind === "screenshot");
+        const stat = (() => { try {
+            return JSON.parse(text("diff-stat") ?? "null");
+        }
+        catch {
+            return null;
+        } })();
+        const assignment = assignmentOf(store, exchange.taskId, clock(), { principal: "operator", repos: managedRepos() }, evidenceRoot);
+        const log = text("check-log");
+        return {
+            diff: text("terminal-diff"),
+            checkLog: log === null ? null : log.slice(log.indexOf("$ ") === -1 ? 0 : log.indexOf("$ ")),
+            checks: { status: assignment?.receipt?.checks.status ?? "unavailable", detail: assignment?.receipt?.checks.detail ?? "Saved checks are unavailable." },
+            screenshot: shot === undefined ? null : { href: `/r/${exchange.runId}/evidence/${shot.id}`, caption: exchange.plan.screenshot.caption },
+            additions: stat?.additions ?? 0,
+            deletions: stat?.deletions ?? 0,
+            files: stat?.fileCount ?? 0,
+            taskHref: taskHref(exchange.taskId),
+        };
+    }
     /** Every condition re-proved per request — the render and the POST each
      * ask again; nothing is cached into authority. */
     function chatEnablement() {
@@ -4503,7 +4562,7 @@ export function createDecisionServer(options) {
                 s = { ...s, workspace: { ...s.workspace, view: { ...s.workspace.view, stepUp: { label: ssoFacts.label, fresh: ssoFacts.fresh, confirmHref: `/login/sso?reauth=1&return=${encodeURIComponent(back)}` } } } };
         }
         const teamEntry = requestContext.getStore()?.returnTo;
-        if (teamEntry?.startsWith('/chat') && !s.workspace?.team && !teamEntry.includes('task=') && !teamEntry.includes('proposal=')) {
+        if (teamEntry?.startsWith('/chat') && !s.workspace?.team && !teamEntry.includes('task=') && !teamEntry.includes('proposal=') && demoLeadHere() === null) {
             s.body = '<p class="team-entry"><a href="/chat?team=1">Open team chat</a></p>' + s.body;
             if (s.workspace?.conversation)
                 s.workspace.controlsHtml = '<p><a href="/chat?team=1">Open team chat</a></p>' + (s.workspace.controlsHtml ?? '');
@@ -4524,7 +4583,7 @@ export function createDecisionServer(options) {
             const extras = s.workspace ?? {};
             const notices = [...(extras.notices ?? [])];
             if (s.chrome.demo)
-                notices.unshift('Demo workspace — synthetic tasks. External work is disabled.');
+                notices.unshift(DEMO_BANNER);
             if (s.chrome.modeBanner)
                 notices.push(s.chrome.modeBanner.words);
             let crew = { crew: [], crewTruncated: false };
@@ -4849,8 +4908,6 @@ export function createDecisionServer(options) {
         const result = receipt === undefined && task.state === "done" && latest !== null && (latest.outcome === "built" || latest.outcome === "no-change")
             ? completionReceiptView(store, latest, store.artifactsFor(latest.id), evidenceRoot, reviewFactsFor(latest.id)) : receipt;
         const status = workStatusOf(facts, result == null ? undefined : receiptStatusOf(result));
-        if (store.lookupRef(task.id)?.revisionOf !== null && live !== null && status.tone === "live")
-            status.label = "Revising";
         const earlierLive = task.family === undefined ? [] : earlierLiveVersions(task.family, now);
         if (earlierLive.length > 0 && !status.views.includes("running"))
             status.views = [...status.views, "running"];
@@ -5437,8 +5494,12 @@ export function createDecisionServer(options) {
         const publishing = publishingOf(store, repo);
         const target = publishing.on ? publishing.base : null;
         const view = newestPullRequestOf(store, family === null ? [taskId] : family.versions.map(one => one.id));
-        if (view !== null)
-            return { taskId: rootId, view: { ...view, canMerge: view.canMerge && who.role === "approver" && who.via === "cookie" }, offer: null, target };
+        if (view !== null) {
+            const publication = store.publicationForRun(view.runId);
+            const fact = publication === null ? null : { ...pullRequestFactOf({ ...publication, merged: view.state === "merged" }),
+                note: view.state === "merged" ? `${view.detail}${view.mergeCommit === null ? "" : ` Merge commit ${view.mergeCommit.slice(0, 12)}.`}` : null };
+            return { taskId: rootId, view: { ...view, canMerge: view.canMerge && who.role === "approver" && who.via === "cookie" }, offer: null, target, fact };
+        }
         if (!publishing.on || who.via !== "cookie" || who.role !== "approver")
             return null;
         const assignment = assignmentOf(store, taskId, clock(), { principal: "operator", repos: admissionList(), includeUnplaced: visible(null) }, evidenceRoot);
@@ -5922,6 +5983,43 @@ export function createDecisionServer(options) {
         const denied = authorizeMutation(request, who, body);
         if (denied !== null)
             return refuse(response, who, denied.status, denied.message);
+        // The scripted demo lead's acts: ask, approve, change a plan, complete or send back a result.
+        const demoAct = /^\/chat\/demo\/(?:ask|([0-9]{1,9})\/(approve|change|revise|complete))$/.exec(url.pathname);
+        if (demoAct !== null) {
+            const lead = demoLeadHere();
+            if (lead === null || who.via !== "cookie")
+                return refuse(response, who, 404, "There's no page at this address.", "/chat");
+            if (who.role !== "approver")
+                return redirect(response, `/chat?said=${encodeURIComponent("Your login can watch. Approving and completing is an approver's act.")}`);
+            const now = clock();
+            if (demoAct[1] === undefined) {
+                const message = (body.get("message") ?? "").trim();
+                if (message === "")
+                    return redirect(response, `/chat?said=${encodeURIComponent("Type a request first.")}`);
+                const asked = lead.ask(message, now);
+                return redirect(response, `/chat#demo-${asked.id}`);
+            }
+            const id = Number(demoAct[1]);
+            const note = body.get("note") ?? "";
+            const done = demoAct[2] === "approve" ? lead.approve(id, now)
+                : demoAct[2] === "change" ? lead.change(id, note, now)
+                    : demoAct[2] === "revise" ? lead.requestChanges(id, note, now)
+                        : lead.complete(id, now, (taskId, runId) => {
+                            const principal = matePrincipal(who);
+                            if (principal === null)
+                                return { ok: false, message: "Your access changed. Sign in again." };
+                            const current = assignmentOf(store, taskId, now, { principal: "operator", repos: principal.repos }, evidenceRoot);
+                            if (current?.receipt?.runId !== runId)
+                                return { ok: false, message: "This result changed. Reload before marking it complete." };
+                            const completed = checkAssignmentAsOperator(store, taskId, current.receipt.digest, principal, now, evidenceRoot);
+                            return completed.ok ? { ok: true } : { ok: false, message: completed.message };
+                        });
+            bustBadge();
+            if (!done.ok)
+                return redirect(response, `/chat?said=${encodeURIComponent(done.message)}`);
+            const latest = lead.exchanges().at(-1);
+            return redirect(response, demoAct[2] === "change" || demoAct[2] === "revise" ? `/chat#demo-${latest?.id ?? id}` : `/chat#demo-${id}-work`);
+        }
         // A person says a provider's sign-in works again: its sign-in pause
         // lifts, its tasks may start, and one short message says so.
         const resumeProvider = /^\/providers\/([a-z]+)\/resume$/.exec(url.pathname);
@@ -10220,7 +10318,7 @@ export function createDecisionServer(options) {
                     note = validated.note;
                 }
                 store.acceptProof(latest.id, verifiedAuthor(who.name), note, now);
-                return redirect(response, taskHref(taskId));
+                return redirect(response, body.get("return") === null ? taskHref(taskId) : safeReturn(body.get("return")));
             }
             case "complete": {
                 if (who.via !== "cookie" || who.role !== "approver")
@@ -11147,7 +11245,8 @@ export function editorFileHref(worktree, path, line) {
  * chat (v39, extending Priority 2's "one surface, six places" rule from
  * the verdict word to the per-criterion state). */
 function matrixStateBadge(state) {
-    const cls = state === "pass" ? "badge-done" : state === "failed" ? "badge-failed" : state === "missing" ? "badge-failed" : "badge-manual-review";
+    // Red belongs to a Failed headline alone (task-status.ts); an unmet requirement is an amber note.
+    const cls = state === "pass" ? "badge-done" : state === "failed" ? "badge-note" : state === "missing" ? "badge-note" : "badge-manual-review";
     const word = state === "pass" ? "pass" : state === "missing" ? "missing" : state === "failed" ? "failed" : "manual review";
     return `<span class="badge ${cls}" data-matrix-state="${escape(state)}">${escape(word)}</span>`;
 }
@@ -11233,7 +11332,7 @@ function criterionMatrixHtml(matrix, options = {}) {
     if (matrix.length === 0)
         return "";
     const kinds = {
-        check: "Checks", "changed-path": "Changed files", screenshot: "Screenshots", "manual-review": "Human review",
+        check: "Checks", "changed-path": "Changed files", screenshot: "Screenshots", "manual-review": "You check",
     };
     const evidenceLink = (a) => {
         const text = `<code>${escape(a.ref)}</code>`;
@@ -11249,8 +11348,9 @@ function criterionMatrixHtml(matrix, options = {}) {
         const state = row.state;
         const awaitingAssessment = row.assessment?.evidenceState === "pass" && row.review === null;
         const confirmed = row.assessment !== undefined && state === "pass";
-        const label = awaitingAssessment ? "Not assessed" : confirmed ? "Confirmed" : state === "pass" ? "Evidence checks passed" : state === "manual-review" ? "Human review" : state === "missing" ? "Evidence missing" : "Evidence failed";
-        const cls = awaitingAssessment ? "" : state === "pass" ? "badge-done" : state === "manual-review" ? "badge-manual-review" : "badge-failed";
+        // Plain words (task-status brief): the retired assessment step is not a state a person acts on.
+        const label = awaitingAssessment ? "Met" : confirmed ? "Confirmed" : state === "pass" ? "Met" : state === "manual-review" ? "You check" : state === "missing" ? "Not shown yet" : "Not met";
+        const cls = awaitingAssessment ? "badge-done" : state === "pass" ? "badge-done" : state === "manual-review" ? "badge-manual-review" : "badge-note";
         const warnings = [];
         // Only replace the known boilerplate. Other recorded failure details
         // remain verbatim, so concision cannot hide a different problem.
@@ -11648,6 +11748,8 @@ function agentsStripHtml(view, taskId) {
         return `<p class="task-chat-agents">${escape(agentsSummaryWords(view))} <a href="${taskHref(taskId)}#agents">Review agent setup</a></p>`;
     return `<details class="task-chat-agents"><summary>Agent setup</summary><p>${escape(agentsSummaryWords(view))}</p><a href="${taskHref(taskId)}#agents">View agents</a></details>`;
 }
+/** The demo's one-line promise, on every page. */
+const DEMO_BANNER = "Demo: a scripted lead and sample projects. Nothing calls a model, reaches outside or spends.";
 /** Every character that could open a tag or an attribute, dead at the sink. */
 function escape(text) {
     return text
@@ -11881,6 +11983,10 @@ ${THEME_DARK}
     background: color-mix(in srgb, var(--muted) 58%, var(--card));
     color: color-mix(in srgb, var(--destructive) 68%, var(--foreground)); border-color: var(--border);
   }
+  .badge-note {
+    background: color-mix(in srgb, var(--muted) 58%, var(--card));
+    color: var(--so-warning, #ab6400); border-color: var(--border);
+  }
   .badge-overdue {
     background: color-mix(in srgb, var(--muted) 58%, var(--card)); color: var(--foreground);
     border-color: var(--border);
@@ -12599,6 +12705,66 @@ ${THEME_DARK}
     padding: .375rem .9rem; font-size: .8125rem; color: var(--muted-foreground);
   }
   .banner .badge { margin-right: .5rem; }
+  /* Chat in \`toolroll demo\`: the scripted lead's conversation. */
+  .demo-chat { display: flex; flex-direction: column; gap: 1rem; max-width: 46rem; margin: 0 auto; padding-bottom: 1rem; }
+  .demo-thread { display: flex; flex-direction: column; gap: 1.25rem; }
+  .demo-turn { display: flex; flex-direction: column; gap: .75rem; scroll-margin-top: 1rem; }
+  .demo-said p { margin: 0; }
+  .demo-you { align-self: flex-end; max-width: min(34rem, 85%); background: var(--so-ink); color: var(--so-paper); border-radius: .875rem .875rem .25rem .875rem; padding: .55rem .85rem; overflow-wrap: anywhere; }
+  .demo-lead { max-width: 40rem; }
+  .demo-who { font-size: .75rem; font-weight: 600; color: var(--so-muted); margin-bottom: .15rem !important; }
+  .demo-chat .card { margin: 0; padding: 1rem 1.125rem; }
+  .demo-chat .card h2 { font-size: .9375rem; margin: .1rem 0 .4rem; }
+  .demo-chat .card h3 { font-size: .75rem; font-weight: 600; color: var(--so-muted); margin: .75rem 0 .25rem; }
+  .demo-chat .card ul { margin: 0; padding-left: 1.1rem; }
+  .demo-chat .card li { margin: .15rem 0; }
+  .demo-chat .card > p { margin: .25rem 0; }
+  .demo-kicker { font-size: .75rem; color: var(--so-muted); margin: 0 !important; }
+  .demo-actions { display: flex; flex-wrap: wrap; align-items: flex-start; gap: .5rem; margin-top: .9rem; }
+  .demo-actions form { margin: 0; }
+  .demo-actions button, .demo-more > summary { min-height: 2.5rem; }
+  .demo-chat button.demo-primary { background: var(--primary); color: var(--primary-foreground); border-color: var(--primary); font-weight: 600; }
+  .demo-chat details.demo-more { flex: 1 1 12rem; margin: 0; padding: 0; border: 0; border-radius: 0; background: none; }
+  .demo-chat details.demo-more[open] { padding-bottom: 0; }
+  .demo-chat .demo-more > summary { display: inline-flex; align-items: center; color: var(--so-ink); padding: .35rem .85rem; border: 1px solid var(--so-input-line); border-radius: calc(var(--radius) - 3px); background: var(--so-paper); font-weight: 500; font-size: .8125rem; cursor: pointer; list-style: none; }
+  .demo-more > summary::-webkit-details-marker { display: none; }
+  .demo-more[open] > summary { margin-bottom: .5rem; }
+  .demo-more form, .demo-composer { display: flex; flex-direction: column; gap: .4rem; }
+  .demo-more label { font-size: .8125rem; font-weight: 500; }
+  .demo-more textarea, .demo-composer textarea { width: 100%; font: inherit; font-size: 1rem; resize: vertical; }
+  .demo-more form button { align-self: flex-start; }
+  .demo-steps { display: flex; flex-wrap: wrap; gap: .4rem 1rem; list-style: none; padding: 0 !important; margin: .4rem 0 !important; }
+  .demo-steps li { display: inline-flex; align-items: center; gap: .4rem; color: var(--so-muted); font-size: .8125rem; margin: 0 !important; }
+  .demo-steps li::before { content: ""; width: .55rem; height: .55rem; border-radius: 50%; border: 1.5px solid currentColor; }
+  .demo-steps li.done { color: var(--so-ink); }
+  .demo-steps li.done::before { background: var(--so-success); border-color: var(--so-success); }
+  .demo-steps li.now { color: var(--so-ink); font-weight: 600; }
+  .demo-steps li.now::before { border-color: var(--so-info); background: var(--so-info); animation: demo-pulse 1.2s ease-in-out infinite; }
+  @keyframes demo-pulse { 50% { opacity: .35; } }
+  @media (prefers-reduced-motion: reduce) { .demo-steps li.now::before { animation: none; } }
+  .demo-state { display: flex; align-items: center; gap: .5rem; margin: 0 !important; }
+  .demo-chat .badge.demo-ready { background: var(--so-info-soft); color: var(--so-info); }
+  .demo-chat .badge.demo-complete { background: var(--so-success-soft); color: var(--so-success); }
+  .demo-pass { color: var(--so-success); font-weight: 500; }
+  .demo-fail { color: var(--so-danger); font-weight: 500; }
+  .demo-chat details.demo-evidence { margin: .5rem 0 0; padding: 0; border: 0; border-top: 1px solid var(--so-line); border-radius: 0; background: none; box-shadow: none; }
+  .demo-evidence > summary { min-height: 2.5rem; display: list-item; padding-block: .55rem; cursor: pointer; font-weight: 500; font-size: .8125rem; }
+  .demo-evidence pre { margin: 0 0 .5rem; max-height: 22rem; overflow: auto; padding: .6rem .75rem; border-radius: .5rem; background: var(--so-raised); font: 400 .75rem/1.55 var(--font-mono); white-space: pre; overflow-wrap: normal; }
+  .demo-diff span { display: block; min-width: max-content; }
+  .demo-diff-add { background: var(--so-success-soft); color: var(--so-success); }
+  .demo-diff-del { background: var(--so-danger-soft); color: var(--so-danger); }
+  .demo-diff-hunk, .demo-diff-meta { color: var(--so-muted); }
+  .demo-diff-file { font-weight: 600; }
+  .demo-evidence figure { margin: 0 0 .5rem; }
+  .demo-evidence img { display: block; width: 100%; height: auto; border: 1px solid var(--so-line); border-radius: .5rem; }
+  .demo-evidence figcaption { margin-top: .35rem; }
+  .demo-hint { padding: 1.25rem 0 .25rem; }
+  .demo-hint-title { font-size: .9375rem; font-weight: 600; margin: 0 0 .75rem; }
+  .demo-suggestions { display: flex; flex-wrap: wrap; gap: .5rem; margin: 0; }
+  .demo-suggestions button { min-height: 2.5rem; border-radius: 999px; padding: .35rem .95rem; }
+  .demo-composer { position: sticky; bottom: 0; padding: .75rem 0 .25rem; background: var(--so-paper); flex-direction: row; align-items: flex-end; }
+  .demo-chat .demo-composer textarea { flex: 1 1 auto; width: auto; min-width: 0; min-height: 2.75rem; }
+  .demo-chat .demo-composer button { flex: none; width: auto; min-height: 2.75rem; padding-inline: 1.1rem; }
   .banner a { color: var(--muted-foreground); }
   .sign-in-banner form { display: inline; margin: 0 0 0 .5rem; padding: 0; border: 0; background: transparent; }
 
@@ -12661,8 +12827,9 @@ ${THEME_DARK}
   .dispatch-status[data-dispatch-status="proof-refuted"] .dispatch-copy > strong::before,
   .dispatch-status[data-dispatch-status="needs-verification"] .dispatch-copy > strong::before {
     content: ""; display: inline-block; width: .45rem; height: .45rem; margin-right: .45rem; border-radius: 50%; vertical-align: .08rem;
-    background: var(--destructive);
+    background: var(--so-warning, #ab6400);
   }
+  .problem.dispatch-status[data-dispatch-status="proof-refuted"] .dispatch-copy > strong::before { background: var(--destructive); }
   .dispatch-status[data-dispatch-status="needs-verification"] .dispatch-copy > strong::before { background: var(--muted-foreground); }
   /* A review in flight (review fixes): the box reads neutral — neither the
      green of a settled verdict nor the red of a problem — with the dot in
@@ -13024,6 +13191,9 @@ ${THEME_DARK}
   .result-notes .recap { margin: .25rem 0 .4rem; font-size: .875rem; }
   .result-attention { margin: .75rem 0 .25rem; padding: .7rem .85rem; border-left: 1px solid var(--warning); border-radius: 0 calc(var(--radius) - 3px) calc(var(--radius) - 3px) 0; background: var(--warning-soft); font-size: .8125rem; }
   .result-attention strong { display: block; font-size: .78rem; }
+  .result-you-check { display: flex; flex-wrap: wrap; align-items: center; gap: .6rem .75rem; margin: .75rem 0; padding: .65rem .85rem; border-radius: calc(var(--radius) - 3px); background: var(--muted); font-size: .8125rem; }
+  .result-you-check ul { flex: 1 1 14rem; min-width: 0; margin: 0; padding: 0; list-style: none; }
+  .result-you-check form { margin: 0; }
   .result-attention ul { margin: .3rem 0 0; padding-left: 1.15rem; }
   .result-attention li { margin: .15rem 0; overflow-wrap: anywhere; }
   .result-tabs { display: flex; gap: .25rem; margin: .9rem 0 .75rem; border-bottom: 1px solid var(--border); overflow-x: auto; scrollbar-width: none; }
@@ -13160,7 +13330,7 @@ ${THEME_DARK}
   .pull-request-head strong { font-size: 1.0625rem; font-weight: 600; color: var(--foreground); display: inline-flex; align-items: center; gap: .5rem; }
   .pull-request-head strong::before { content: ""; width: .5rem; height: .5rem; border-radius: 999px; background: var(--muted-foreground); }
   .pull-request--ok .pull-request-head strong::before { background: var(--success, #15803d); }
-  .pull-request--problem .pull-request-head strong::before { background: var(--destructive, #b91c1c); }
+  .pull-request--problem .pull-request-head strong::before { background: var(--so-warning, #ab6400); }
   .pull-request-act { display: flex; flex-wrap: wrap; align-items: flex-end; gap: .5rem .75rem; margin: .25rem 0 0; }
   .pull-request-act .meta { flex: 1 1 100%; }
   .pull-request-act label { display: grid; gap: .25rem; flex: 1 1 12rem; margin: 0; }
@@ -14353,7 +14523,7 @@ button.pick-file { min-height: 1.75rem; padding: 0 .55rem; font-size: .75rem; }
 const THEME_CONTROLS_CSS = `.task-repo select{width:100%;min-height:2.75rem;font-size:1rem}.task-repo-add{margin:.35rem .1rem .5rem}.task-repo-add a{display:inline-flex;align-items:center;min-height:2.25rem}details.result-request-open.result-request-form>summary{border:0;background:transparent;padding:.5rem 0;min-height:2.75rem;font-weight:600;display:list-item;list-style:revert}details.result-request-open.result-request-form>summary::-webkit-details-marker{display:revert}form.js-autosave button[type=submit]{display:none}.provider-row{border-bottom:1px solid var(--so-line);padding:.35rem 0}.provider-row:first-of-type{border-top:1px solid var(--so-line)}.provider-head{display:flex;align-items:center;gap:.75rem;margin:.4rem 0 0}.provider-status{display:inline-flex;align-items:center;gap:.4rem;color:var(--so-muted);font-size:.875rem}.provider-status i{width:.5rem;height:.5rem;border-radius:50%;background:var(--so-muted)}.provider-status--ok i{background:var(--so-success)}.provider-status--warn i{background:var(--so-attention)}.provider-status--off i{background:transparent;border:1.5px solid var(--so-muted)}details.provider-manage>summary{cursor:pointer;color:var(--so-accent-text);font-size:.875rem;min-height:2.5rem;display:list-item;padding-block:.5rem}.card.props .row{display:grid;gap:.1rem;margin:0 0 .75rem}.card.props .row>.meta{display:block;font-size:.75rem}.card.props .row>.meta::first-letter{text-transform:uppercase}.card.props .row>.mono{font-family:var(--font-sans);font-size:.875rem}.card.props .row>.mono .seal{font-family:var(--font-mono);font-size:.8125rem}details.evidence-files{margin:1rem 0}details.evidence-files>summary{cursor:pointer;min-height:2.75rem;display:list-item;padding-block:.7rem;font-weight:600}details.evidence-files ul{list-style:none;margin:0;padding:0}details.evidence-files li{display:flex;justify-content:space-between;gap:1rem;padding:.5rem 0;border-bottom:1px solid var(--so-line)}.result-action .result-feedback-link{display:inline-flex;align-items:center;min-height:2.5rem;padding:.5rem 1rem;border:1px solid var(--so-input-line);border-radius:.5rem;background:var(--so-paper);color:var(--so-ink);font-weight:600;text-decoration:none}@media(hover:hover) and (pointer:fine){.result-action .result-feedback-link:hover{background:var(--so-raised)}}.so-sr-only{position:absolute!important;width:1px!important;height:1px!important;padding:0!important;margin:-1px!important;overflow:hidden!important;clip:rect(0,0,0,0)!important;white-space:nowrap!important;border:0!important}.verdict{margin:.5rem 0 .75rem}.verdict-chips{display:flex;flex-wrap:wrap;gap:.4rem;list-style:none;padding:0;margin:0}.verdict-chip{display:inline-flex;align-items:center;gap:.3rem;min-height:1.75rem;padding:.2rem .65rem;border-radius:999px;font-size:.8125rem;font-weight:600;background:var(--so-neutral-soft);color:var(--so-neutral-ink)}.verdict-chip svg{width:.9rem;height:.9rem}.verdict-chip--success{background:var(--so-success-soft);color:var(--so-success)}.verdict-chip--danger{background:var(--so-danger-soft);color:var(--so-danger)}.verdict-chip--warning{background:var(--so-warning-soft);color:var(--so-warning)}.verdict-chip--info{background:var(--so-info-soft);color:var(--so-info)}.verdict-by{margin:.4rem 0 0}details.result-request-open{margin:.5rem 0}details.result-request-open>summary{display:inline-flex;align-items:center;min-height:2.5rem;padding:.5rem 1rem;border:1px solid var(--so-input-line);border-radius:.5rem;background:var(--so-paper);color:var(--so-ink);font-weight:600;cursor:pointer;list-style:none}details.result-request-open>summary::-webkit-details-marker{display:none}details.result-request-open[open]>summary{margin-bottom:.75rem}.settings-tiles{display:grid;grid-template-columns:repeat(auto-fill,minmax(8.5rem,1fr));gap:.5rem;margin:0 0 2rem}.settings-tiles a{display:flex;align-items:center;gap:.6rem;min-height:3rem;padding:.65rem .8rem;border:1px solid var(--so-line);border-radius:.625rem;background:var(--so-paper);color:var(--so-ink);text-decoration:none;font-weight:550;font-size:.875rem}@media(hover:hover) and (pointer:fine){.settings-tiles a:hover{border-color:var(--so-input-line);background:var(--so-raised)}}.settings-tiles svg{width:1.1rem;height:1.1rem;flex-shrink:0;color:var(--so-accent-text)}details.settings-more{margin:.25rem 0 1.25rem}details.settings-more>summary{cursor:pointer;min-height:2.75rem;display:list-item;padding-block:.7rem;font-weight:550}details.settings-more>summary .meta{font-weight:400;margin-left:.35rem}.settings-changed{margin-top:-.25rem}.appearance{margin:0 0 28px}.appearance h2{margin:0 0 10px}.theme-switch{display:inline-flex;flex-wrap:nowrap;max-width:100%;gap:4px;padding:4px;margin:0;border:1px solid var(--so-line);border-radius:10px;background:var(--so-raised)}.theme-switch .theme-choice,.so-native-region .theme-switch .theme-choice{flex:1 1 0;width:auto;white-space:nowrap;min-height:40px;padding:8px 16px;border:0;border-radius:7px;background:transparent;color:var(--so-muted);font:inherit;font-weight:550;box-shadow:none;cursor:pointer}@media(hover:hover) and (pointer:fine){.theme-switch .theme-choice:hover{color:var(--so-ink)}}.theme-switch .theme-choice[aria-pressed="true"]{background:var(--so-paper);color:var(--so-ink);box-shadow:0 1px 2px rgb(0 0 0 / .1)}.appearance .meta{margin:8px 0 0}@media(max-width:600px){.theme-switch .theme-choice{min-height:44px}}.update-notes{white-space:pre-wrap;overflow-wrap:anywhere;font:inherit;max-height:18rem;overflow:auto}`;
 /** The page CSS this module writes itself (not the imported modules'), for the stylesheet contract tests. */
 export const PAGE_CSS = STYLE + THEME_CONTROLS_CSS;
-const WORKSPACE_STYLE = styleAsset(STYLE + APPROVAL_RULES_CSS + SPEND_CSS + RETENTION_CSS + STORAGE_CSS + UPDATES_CSS + LIMITS_CSS + MONITORING_CSS + INTEGRATIONS_CSS + BACKUP_CSS + EXPORT_CSS + PROJECT_DELETE_CSS + POLICY_CSS + EVIDENCE_PACK_CSS + THEME_CONTROLS_CSS + CODING_CSS + CODING_SHIPPING_CSS + RECIPE_CSS + SKILLS_CSS + TOOLS_CSS + FLOWS_CSS + TEAMMATE_CSS + KITS_CSS + STARTERS_CSS + SSO_CSS + CREDENTIALS_CSS + KNOWLEDGE_CSS + MODELS_CSS + CHAT_POLISH_CSS + TRANSITIONS_CSS + WORKSPACE_MOTION_CSS + ASSIGNMENT_CSS + LEAD_CONTEXT_CSS + PULL_REQUEST_SETTINGS_CSS + '.learning{min-width:0;overflow-wrap:anywhere}.learning .card{min-width:0}.learning code,.learning blockquote,.learning pre{white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word}.learning button,.learning summary,.learning .button-link{min-height:44px}.learning button{white-space:nowrap}.learning summary{padding:12px 0;cursor:pointer}.learning form{margin:12px 0}.learning select{max-width:100%}.learning blockquote{margin:8px 0}.learning ul{padding-left:20px}');
+const WORKSPACE_STYLE = styleAsset(STYLE + APPROVAL_RULES_CSS + SPEND_CSS + RETENTION_CSS + STORAGE_CSS + UPDATES_CSS + LIMITS_CSS + MONITORING_CSS + INTEGRATIONS_CSS + BACKUP_CSS + EXPORT_CSS + PROJECT_DELETE_CSS + POLICY_CSS + EVIDENCE_PACK_CSS + THEME_CONTROLS_CSS + CODING_CSS + CODING_SHIPPING_CSS + RECIPE_CSS + SKILLS_CSS + TOOLS_CSS + FLOWS_CSS + TEAMMATE_CSS + KITS_CSS + STARTERS_CSS + SSO_CSS + CREDENTIALS_CSS + KNOWLEDGE_CSS + MODELS_CSS + CHAT_POLISH_CSS + TRANSITIONS_CSS + WORKSPACE_MOTION_CSS + ASSIGNMENT_CSS + TASK_STATUS_CSS + LEAD_CONTEXT_CSS + PULL_REQUEST_SETTINGS_CSS + '.learning{min-width:0;overflow-wrap:anywhere}.learning .card{min-width:0}.learning code,.learning blockquote,.learning pre{white-space:pre-wrap;overflow-wrap:anywhere;word-break:break-word}.learning button,.learning summary,.learning .button-link{min-height:44px}.learning button{white-space:nowrap}.learning summary{padding:12px 0;cursor:pointer}.learning form{margin:12px 0}.learning select{max-width:100%}.learning blockquote{margin:8px 0}.learning ul{padding-left:20px}');
 /**
  * The board's liveness: fetch this page's own fragment on a timer and swap
  * it in place — no flicker, no scroll reset, no long-lived stream to manage,
@@ -14754,7 +14924,7 @@ function shell(title, body, options = {}) {
     // must not pass as production (adoption review, finding 8; the FENCE is
     // the refuseDemo gate in operate.ts, this is the honest label).
     const demoBanner = (chrome.demo === true
-        ? `<div class="banner"><span class="badge">sandbox</span>demo data \u2014 nothing here spends money or reaches a remote</div>`
+        ? `<div class="banner"><span class="badge">demo</span>${escape(DEMO_BANNER.replace(/^Demo: /, ""))}</div>`
         : "") +
         (chrome.modeBanner === undefined
             ? ""
@@ -15815,7 +15985,7 @@ function chatFleetOverview(snapshot, projects, csrf, interactive) {
         const dispatch = task.dispatch;
         rows.push(`<a class="chat-overview-item decision" href="${taskHref(task.rootId ?? task.id)}" data-dispatch-status="${escape(dispatch.code)}">` +
             `<span class="chat-overview-icon">${strokeIcon(`<path d="M12 8v4"/><path d="M12 16h.01"/><circle cx="12" cy="12" r="9"/>`)}</span>` +
-            `<span class="chat-overview-copy"><strong>${escape(task.title)}</strong><span>${escape(projectOf(task.repoIndex))} · ${escape(task.id)} · ${escape(dispatch.summary.toLowerCase())}</span></span>` +
+            `<span class="chat-overview-copy"><strong>${escape(task.title)}</strong><span>${escape(projectOf(task.repoIndex))} · ${escape(task.id)} · ${escape(dispatchHeadline(dispatch))}</span></span>` +
             `<span class="chat-overview-arrow" aria-hidden="true">→</span></a>`);
     }
     for (const task of snapshot.tasks.filter(one => one.state === "failed").slice(0, Math.max(0, 3 - rows.length))) {
@@ -17052,6 +17222,11 @@ function statusActionHref(status, taskId, runId, prUrl, repo) {
 }
 /** The one status line every surface renders: a dot in the tone, the
  * label, and the `data-work-status` token tests and CSS key off. */
+/** A not-yet-finished task's shared headline from its dispatch diagnosis (task-status.ts). */
+function dispatchHeadline(d) {
+    const read = stageOfDispatch(d);
+    return taskStatusOf({ stage: read.stage, ...(read.need === undefined ? {} : { need: read.need }) }).headline;
+}
 function statusLineHtml(status, extra = "") {
     return `<span class="status-line" data-work-status="${escape(status.token)}" data-tone="${escape(status.tone)}"><i class="status-dot" aria-hidden="true"></i><span class="status-label">${escape(status.label)}</span>${extra}</span>`;
 }
@@ -17105,7 +17280,7 @@ function workPage(chrome, data) {
             const actionHref = row.primaryAction?.code === 'open-result' && target?.runId != null
                 ? `/review?result=${encodeURIComponent(target.taskId)}&run=${target.runId}${row.repo === null ? '' : '&project=' + encodeURIComponent(row.repo)}`
                 : browserWorkActionHref(row);
-            const needsYouDetail = 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;
+            const needsYouDetail = (row.status.views.includes('needs-you') || row.status.label === 'Failed') && !['write-scope', 'approve-scope'].includes(row.primaryAction?.code ?? '') && row.status.label !== 'Ready for review' && row.status.detail !== row.status.label && row.status.detail !== row.familyProblem;
             return {
                 id: row.rootId, title: row.title, href: taskHref(row.rootId),
                 project: data.multiProject || row.repo === null ? (row.repo === null ? 'Unplaced' : projectName(row.repo)) : null,
@@ -18171,7 +18346,7 @@ function queueCard(one, csrf, revision, queueRevision, workers, column) {
             ? `<span class="badge">queued</span>`
             : `<span class="badge">reserved for ${escape(column)}</span>`;
     const chips = ` ${state}` +
-        `${one.dispatch === null || one.dispatch === undefined ? "" : ` <a class="badge" href="${taskHref(one.id)}">${escape(one.dispatch.summary.toLowerCase())}</a>`}`;
+        `${one.dispatch === null || one.dispatch === undefined ? "" : ` <a class="badge" href="${taskHref(one.id)}" title="${escape(one.dispatch.summary)}">${escape(dispatchHeadline(one.dispatch))}</a>`}`;
     const hidden = `<input type="hidden" name="csrf" value="${escape(csrf)}">` +
         `<input type="hidden" name="projectRevision" value="${revision}">` +
         `<input type="hidden" name="queueRevision" value="${queueRevision}">` +
@@ -18449,7 +18624,7 @@ function milestoneProgressHtml(milestones) {
             .map(one => `<li class="milestone milestone-${one.state}"><span class="milestone-badge">${milestoneStateWord(one.state)}</span> ` +
             `${escape(one.description)}${one.note === null ? "" : ` <span class="meta">— ${escape(one.note)}</span>`}</li>`)
             .join("\n") +
-        `</ul><p class="meta milestone-progress-note">Live checkpoints from the agent. The task is only done after its proof passes.</p></section>`);
+        `</ul><p class="meta milestone-progress-note">Live checkpoints from the agent.</p></section>`);
 }
 /** Adaptive execution plans (v44): the current plan revision's own reason
  * and evidence, any revision still awaiting an operator's accept/reject,
@@ -18642,7 +18817,11 @@ function taskBodyParts(data) {
         // data-work-status is the shared projection's token (package 1) —
         // the same one the Work row, chat, and cockpit carry for this task.
         const workToken = resultStatus?.token ?? data.dispatch?.code ?? "unknown";
-        const box = (kind, title, detail, status, controls = "") => `<div class="${kind === "problem" && !inReview ? "problem" : "answered"} dispatch-status" id="run-status" data-dispatch-status="${escape(status ?? title.toLowerCase().replace(/[^a-z0-9]+/g, "-"))}" data-work-status="${escape(workToken)}">` +
+        // A diagnosis under Task options: the exact technical reason, one tap
+        // away from the shared headline (task-status.ts). Red only when that
+        // headline is Failed.
+        const headline = status.label;
+        const box = (kind, title, detail, code, controls = "") => `<div class="${kind === "problem" && !inReview && headline === "Failed" ? "problem" : "answered"} dispatch-status" id="run-status" data-dispatch-status="${escape(code ?? title.toLowerCase().replace(/[^a-z0-9]+/g, "-"))}" data-work-status="${escape(workToken)}">` +
             `<div class="dispatch-copy"><strong>${escape(inReview ? "Recorded checks" : title)}</strong><span class="meta">${detail}</span></div>${controls}</div>`;
         if (task.state !== "done") {
             const diagnosis = data.dispatch ?? null;
@@ -18726,7 +18905,7 @@ function taskBodyParts(data) {
                 return `<details class="dispatch-proof-details"><summary>Previous assessment</summary><div class="dispatch-proof-body">` +
                     `<p class="meta">Saved assessment history. Current task status and checks are shown above.</p>` +
                     (accepted === null ? "" : `<p class="meta">Accepted with an exception by ${escape(accepted.approver)}. Check results are unchanged.${accepted.note === null ? "" : ` ${escape(accepted.note)}`}</p>`) +
-                    (proof.proofReasons.length === 0 ? "" : `<ul>${proof.proofReasons.map(reason => `<li>${escape(reason)}</li>`).join("")}</ul>`) +
+                    (proof.proofReasons.length === 0 ? "" : `<ul>${[...new Set(proof.proofReasons.map(plainReasonWords))].map(reason => `<li>${escape(reason)}</li>`).join("")}</ul>`) +
                     criterionMatrixHtml(proof.proofMatrix, { compact: true, runId: proof.runId, links: proof.proofMatrixLinks }) +
                     semanticCoverageHtml(proof.proofMatrix, proof.qualityMode ?? "default") + `</div></details>`;
             }
@@ -19529,7 +19708,13 @@ function taskBodyParts(data) {
                 : ` · filed via ${escape(data.filedVia)}`}${data.deliverable === "report" ? ` · <span class="badge">scout</span>` : ""}</p>`;
     // A pull request that can be merged (or opened) owns the one primary action; the result stays in its section.
     const pullRequestActs = data.csrf !== "" && (data.pullRequest?.view?.canMerge === true || (data.pullRequest?.view == null && data.pullRequest?.offer != null));
-    const assignmentOptions = data.assignment == null ? null : { workStatus: status, hideAction: (approveForm !== "" && data.dispatch?.action === "approve-scope") || pullRequestActs, problem: status.tone === "problem", diagnostics: [...(status.diagnostics ?? []), ...(status.tone === "problem" && status.detail !== data.assignment.detail ? [status] : [])] };
+    const pullRequestFact = data.pullRequest?.fact != null && data.pullRequest.view?.runId === data.assignment?.receipt?.runId ? data.pullRequest.fact : undefined;
+    const assignmentOptions = data.assignment == null ? null : { workStatus: status, hideAction: (approveForm !== "" && data.dispatch?.action === "approve-scope") || pullRequestActs, problem: status.tone === "problem",
+        planning: data.dispatch?.code === "running" && data.dispatch.role === "planner", ...(pullRequestFact === undefined ? {} : { pullRequest: pullRequestFact }),
+        diagnostics: [...(status.diagnostics ?? []), ...(status.tone === "problem" && status.detail !== data.assignment.detail ? [status] : [])] };
+    // Say it once: a pull request that couldn't open, or merged, is the status
+    // card's own row (its reason or merge commit under Details), not a second card.
+    const pullRequestCard = data.pullRequest == null || (pullRequestFact !== undefined && (data.pullRequest.view?.state === "failed" || data.pullRequest.view?.state === "merged")) ? "" : pullRequestCardHtml(data.pullRequest, data.csrf);
     // The result takes over from the task status as soon as it is ready.
     const statusHtml = (data.assignment != null && assignmentOptions !== null ? assignmentSummaryHtml(data.assignment, assignmentOptions) : receiptLeads ? completionReceiptCard(data.completion.receipt, task.id, "task", status) : taskStatusCard(status, task.id, data.dispatch ?? null, liveRunId, approveForm !== "" && data.dispatch?.action === "approve-scope")) + checkProgressHtml(data.checkProgress ?? null);
     // The exact-run control (v52), directly under the scheduler's answer:
@@ -19659,7 +19844,7 @@ function taskBodyParts(data) {
         approval: approvalHtml,
         lead: [
             { key: "history", html: data.history ?? "" }, { key: "control", html: controlHtml }, { key: "problem", html: problemHtml },
-            { key: "pull-request", html: data.pullRequest == null ? "" : pullRequestCardHtml(data.pullRequest, data.csrf) },
+            { key: "pull-request", html: pullRequestCard },
             { key: "needs-scope", html: needsScopeCard }, { key: "progress", html: progressCard }, { key: "revisions", html: revisionLedgerCard },
             { key: "plan", html: planCard }, { key: "mirror", html: mirrorCard }, { key: "contest", html: contestCard }, { key: "attempt", html: attemptPanel },
         ].filter(one => one.html !== ""),
@@ -19911,11 +20096,11 @@ function cockpitStatusOf(view) {
     // The receipt's own status (package 3): the same projection the chat
     // receipt and the run page print, read from the shared detail.
     if (view.run === null || view.detail === null)
-        return view.assignment === null ? resultStatusOf(null, null) : assignmentPresentationOf(view.assignment).status;
+        return view.assignment === null ? resultHeadlineOf(resultStatusOf(null, null)) : assignmentPresentationOf(view.assignment).status;
     const receiptStatus = receiptStatusOf(view.detail.receipt);
     if (view.assignment !== null)
         return assignmentStatusOf(assignmentWithEvidence(view.assignment, receiptStatus, view.run.id));
-    return receiptStatus;
+    return resultHeadlineOf(receiptStatus);
 }
 /** Turn verifier records into one sentence a project owner can act on.
  * A command-not-found result means the check could not start, not that the
@@ -19981,11 +20166,14 @@ function verificationExplanation(verdict, reasons) {
         if (reason === "the sealed diff is unavailable or truncated; the claimed changed paths cannot be verified against it") {
             return "The recorded changes were incomplete, so they could not be verified.";
         }
+        const plainWords = plainReasonWords(reason);
+        if (plainWords !== reason)
+            return plainWords;
         const sentence = reason.trim();
         return sentence === "" ? "" : `${sentence[0]?.toUpperCase() ?? ""}${sentence.slice(1)}${/[.!?]$/.test(sentence) ? "" : "."}`;
     }).filter(Boolean);
     if (plain.length > 0)
-        return plain.join(" ");
+        return [...new Set(plain)].join(" ");
     if (verdict === "verified")
         return "Toolroll independently verified this result.";
     if (verdict === "attested")
@@ -20205,7 +20393,8 @@ function pullRequestCardHtml(pr, csrf) {
     const view = pr.view;
     const url = safePrUrl(view.prUrl);
     const link = view.prNumber === null ? "" : url === null ? `<span class="mono">PR #${view.prNumber}</span>` : `<a href="${escape(url)}" class="mono" rel="noreferrer" target="_blank">PR #${view.prNumber}</a>`;
-    const tone = view.state === "ready" || view.state === "merged" ? "ok" : view.state === "failing" || view.state === "failed" || view.state === "closed" ? "problem" : "waiting";
+    // A pull request's trouble never undoes the result: amber, never red.
+    const tone = view.state === "ready" || view.state === "merged" ? "ok" : view.state === "failing" || view.state === "failed" ? "problem" : "waiting";
     const revision = view.revisionTask === null || view.state !== "failing" ? "" : ` <a href="${taskHref(view.revisionTask)}">Open revision</a>`;
     const merged = view.mergeCommit === null ? "" : `<p class="meta">Merge commit <span class="mono">${escape(view.mergeCommit.slice(0, 12))}</span></p>`;
     const target = pr.target === null ? "the base branch" : pr.target;
@@ -20940,8 +21129,8 @@ function completionReceiptCard(view, taskId, place, standing = receiptStatusOf(v
                     (view.diff.binaryCount > 0 ? ` · ${view.diff.binaryCount} binary` : "") +
                     (view.diff.filesTruncated ? " · list shortened" : "");
     const criteria = facts.checks === null
-        ? "No signed rubric"
-        : `${facts.checks.passed}/${facts.checks.total} acceptance criteria passed`;
+        ? "No requirements set"
+        : `${facts.checks.passed}/${facts.checks.total} requirements met`;
     // The deliverable leads (package 3): a scout's report by its title, UI
     // work by its validated screenshots. Unverifiable shots are counted as
     // unavailable, never shown, never called validated.
@@ -20962,7 +21151,7 @@ function completionReceiptCard(view, taskId, place, standing = receiptStatusOf(v
     const attention = current === null ? [...facts.evidenceProblems, ...view.caveats] : [];
     const caveats = attention.length === 0
         ? ""
-        : `<div class="receipt-caveats" data-result-attention="${attention.length}"><strong>Before you move on</strong><ul>${attention.map(one => `<li>${escape(one)}</li>`).join("")}</ul></div>`;
+        : `<div class="receipt-caveats" data-result-attention="${attention.length}"><strong>Before you move on</strong><ul>${attention.map(one => `<li>${escape(plainReasonWords(one))}</li>`).join("")}</ul></div>`;
     // v51: semantic coverage, distinct from the machine proof word above —
     // the same lines the CLI prints, so chat and terminal cannot disagree.
     // Nothing owed (optional and unsettled, or satisfied) folds behind a
@@ -20981,7 +21170,8 @@ function completionReceiptCard(view, taskId, place, standing = receiptStatusOf(v
         lead +
         `<p class="receipt-summary">${escape(conciseOutcomeOf(view.summary ?? (view.outcome === "no-change" ? "The agent found that no repository change was needed." : "The build finished without a concise handoff.")))}</p>` +
         (headline ? `<div class="receipt-actions"><a class="button-link" href="${escape(resultHref)}" data-open-result data-primary-action>${escape(status.action?.label ?? "Open result")}</a></div>` : "") +
-        (view.publication?.state === "failed" ? `<p class="problem">${escape(facts.publicationWords)}</p>` : "") +
+        // A pull request that couldn't open never undoes the result: an amber note, not red.
+        (view.publication?.state === "failed" ? `<p class="receipt-note">${statusIconSvg("note")} Pull request couldn't open. The commit is safe locally.</p>` : "") +
         caveats +
         coverage +
         `<details class="receipt-details"><summary>Result details</summary>` +
@@ -20994,7 +21184,7 @@ function completionReceiptCard(view, taskId, place, standing = receiptStatusOf(v
         (inReview ? `<details class="receipt-history"><summary>Review history</summary><p class="receipt-review meta" data-receipt-review="${escape(status.token)}">${escape(status.detail)}</p></details>` : "") +
         // The matrix count is the proof's own citation; it reads as verified
         // only when the machine verified the result (workspace package 1).
-        `<div class="receipt-facts"><span><strong>${escape(criteria)}</strong><small>${stored.tone === "problem" ? "cited by the agent — not verified" : stored.token === "agent-attested" ? "cited by the agent, no independent check" : "against the approved scope"}</small></span>` +
+        `<div class="receipt-facts"><span><strong>${escape(criteria)}</strong><small>${stored.tone === "problem" ? "the agent's own claim — not checked" : stored.token === "agent-attested" ? "the agent's own claim, no project check" : "against the approved scope"}</small></span>` +
         `<span><strong>${escape(diff)}</strong><small>${facts.head === null ? "no commit recorded" : `head ${escape(facts.head.slice(0, 12))} · ${escape(facts.headSource ?? "")}`}</small></span>` +
         `<span><strong>${view.screenshots.length} screenshot${view.screenshots.length === 1 ? "" : "s"}</strong><small>${view.screenshots.length === 0 ? "none required or captured" : unavailable === 0 ? "validated visual proof" : `${unavailable} unavailable — not validated`}</small></span></div>` +
         `<div class="receipt-actions">` +
@@ -21032,16 +21222,18 @@ function resultPanelParts(detail, o) {
     const { run, receipt, proof, terminal, handoff } = detail;
     const facts = receipt.facts;
     const current = detail.assignment?.receipt?.runId === run.id ? detail.assignment : null;
-    const presentation = current == null ? null : assignmentPresentationOf(current, { additionalAttention: [...facts.evidenceProblems, ...receipt.caveats] });
-    let status = presentation?.status ?? receiptStatusOf(receipt);
+    const resultLinks = { result: o.hrefFor("summary"), checks: o.hrefFor("checks"), pullRequest: `${taskHref(detail.rootId ?? detail.taskId)}#merge` };
+    const presentation = current == null ? null : assignmentPresentationOf(current, { additionalAttention: [...facts.evidenceProblems, ...receipt.caveats],
+        ...(detail.publication === null ? {} : { pullRequest: pullRequestFactOf({ ...detail.publication, lastCheckState: detail.ciFailing ? "failing" : detail.publication.lastCheckState }) }),
+        evidence: { damaged: facts.evidenceHealth.damaged, missing: facts.evidenceHealth.missing, shortened: facts.evidenceHealth.shortened }, links: resultLinks });
+    const taskStatus = presentation?.taskStatus ?? null;
+    const status = presentation?.status ?? resultHeadlineOf(receiptStatusOf(receipt));
     const stored = receiptStatusOf(receipt, null);
     const humanReview = manualReviewOnly(proof === null ? null : { ...proof, verdict: proof.verdict ?? "" });
     const directAssessment = proof?.matrix.some(row => row.assessment !== undefined) === true;
     const awaitingGoalReview = directAssessment && proof?.reasons.length === 1 && proof.reasons[0] === GOAL_ASSESSMENT_PENDING;
     const assessmentReasons = directAssessment ? new Set(proof.matrix.flatMap(row => row.review ? [`${row.review.author} ${row.review.judgement === "contradicts" ? "contradicts" : "needs more evidence for"} criterion "${row.id}": ${row.review.note}`] : [])) : new Set();
     const physicalReasons = receipt.reasons.filter(reason => !assessmentReasons.has(reason));
-    if (directAssessment && status.token === "verification-needed" && proof?.verdict === "short" && proof.matrix.some(row => row.review?.judgement === "cannot-tell") && physicalReasons.length === 0)
-        status = { ...status, label: "More evidence needed", tone: "attention" };
     const runId = run.id;
     const shots = proof?.screenshots ?? [];
     const shown = shots.filter(one => one.problem === null);
@@ -21075,14 +21267,31 @@ function resultPanelParts(detail, o) {
     attention.push(...(handoff?.followUps ?? []).map(one => `Follow-up: ${one}`));
     // Publication risks stay in the open (repair 2026-09-14); the routine
     // publication fact lives with the build details below.
-    if (publication !== null && publication.state === "failed") {
+    // With the shared status, the pull request is its own quiet row (its reason under Details).
+    if (publication !== null && publication.state === "failed" && taskStatus === null) {
         attention.push(`Publication failed after ${publication.attempts} attempt${publication.attempts === 1 ? "" : "s"}${publication.lastError === null ? "" : ` — ${oneLineOf(publication.lastError, 200)}`}. No pull request or merge is recorded.`);
     }
-    if (detail.ciFailing && publication !== null)
+    if (detail.ciFailing && publication !== null && taskStatus === null)
         attention.push(`CI is failing on PR #${publication.prNumber} at the last check.`);
+    // Requirements only a person can confirm: plain words and one Accept,
+    // in neutral ink — nothing failed. Accepting records the person's
+    // decision and leaves the recorded checks as they are.
+    const personChecks = proof === null || proof.accepted !== null ? [] : [
+        ...proof.matrix.filter(row => row.state === "manual-review").map(row => personCheckWords(row.statement)),
+        ...(proof.matrix.length > 0 ? [] : proof.reasons.filter(reason => manualReviewCriterionOf(reason) !== null).map(() => personCheckWords(null))),
+    ];
+    const acceptable = personChecks.length > 0 && humanReview && o.csrf !== "" && (current != null || detail.assignment == null);
+    const youCheck = personChecks.length === 0 ? null : {
+        lines: [...new Set(personChecks)],
+        accept: acceptable ? { action: `${taskHref(detail.taskId)}/accept-proof`, run: run.id, returnTo: o.returnTo } : null,
+    };
+    const youCheckHtml = youCheck === null ? "" :
+        `<div class="result-you-check" data-result-you-check="${youCheck.lines.length}"><ul>${youCheck.lines.map(one => `<li>${escape(one)}</li>`).join("")}</ul>` +
+            (youCheck.accept === null ? "" : `<form method="post" action="${escape(youCheck.accept.action)}"><input type="hidden" name="csrf" value="${escape(o.csrf)}"><input type="hidden" name="run" value="${youCheck.accept.run}"><input type="hidden" name="return" value="${escape(youCheck.accept.returnTo)}"><button type="submit" data-accept-result>Accept</button></form>`) +
+            `</div>`;
     const attentionHtml = attention.length === 0
         ? ""
-        : `<div class="result-attention" data-result-attention="${attention.length}"><ul>${attention.map(one => `<li>${escape(one)}</li>`).join("")}</ul></div>`;
+        : `<div class="result-attention" data-result-attention="${attention.length}"><ul>${attention.map(one => `<li>${escape(plainReasonWords(one))}</li>`).join("")}</ul></div>`;
     // ---- one outcome, one action (repair 2026-09-14) ------------------------
     // The outcome is the handoff's first sentence, bounded; the agent's full
     // account waits behind a disclosure in Summary so nothing is said twice.
@@ -21338,14 +21547,17 @@ function resultPanelParts(detail, o) {
     const html = (`<section class="card result-panel" id="result" data-result-panel data-result-place="${o.place}" data-result-lead="${lead}" data-result-task="${escape(detail.rootId ?? detail.taskId)}" data-result-user="${escape(o.user)}"${resultFactsAttributes(facts)}>` +
         (o.back === null ? "" : `<p class="result-back"><a href="${escape(o.back.href)}" data-result-back>← ${escape(o.back.label)}</a></p>`) +
         (detail.history ?? "") +
-        `<header class="result-head"><div><h2>${escape(heading)}</h2></div>${o.headStatus === false ? "" : statusLineHtml(status.token === "verification-needed" && !directAssessment ? { ...status, label: "Verification needed" } : status)}</header>` +
+        // One headline: with the shared status, its words lead (task-status.ts); "Changes saved" would compete with them.
+        (taskStatus !== null && o.headStatus !== false
+            ? `<header class="result-head"><div data-headline-tone="${taskStatus.tone}"><h2 class="status-headline" data-work-status="${escape(status.token)}"><i aria-hidden="true"></i>${escape(taskStatus.headline)}</h2><p class="status-sentence">${escape(taskStatus.sentence)}</p></div></header>`
+            : `<header class="result-head"><div><h2>${escape(heading)}</h2></div>${o.headStatus === false ? "" : statusLineHtml(status)}</header>`) +
         `<p class="result-summary">${escape(outcome)}</p>` +
         (current == null || o.place === "review" && (current.state === "ready-to-check" || current.state === "complete") ? "" :
-            `<div class="verdict" data-current-outcome>${verdictChipsHtml(current, facts)}` +
-                (current.receipt?.checks.status === "failed" || current.receipt?.checks.status === "unavailable" ? `<p class="problem">${escape(current.detail)}</p>` : "") + `</div>`) +
+            `<div class="verdict" data-current-outcome data-headline="${escape(taskStatus.headline)}">${statusDetailsHtml(taskStatus)}${statusWhyHtml(taskStatus)}</div>`) +
+        attentionHtml +
+        youCheckHtml +
         action +
         (REVIEW_TOKENS.has(status.token) ? `<details class="receipt-history"><summary>Review history</summary><p class="receipt-review meta" data-receipt-review="${escape(status.token)}">${escape(status.detail)}</p></details>` : "") +
-        attentionHtml +
         tabs +
         view("summary", summaryParts) +
         view("changes", changeParts) +
@@ -21356,9 +21568,10 @@ function resultPanelParts(detail, o) {
     const panel = {
         attributes: { "data-result-panel": "", "data-result-place": o.place, "data-result-lead": lead, "data-result-task": detail.rootId ?? detail.taskId, "data-result-user": o.user, ...resultFactsAttributeMap(facts) },
         heading, outcome,
-        verdict: current == null ? null : verdictChipsOf(current, facts),
+        status: taskStatus,
         reviewHistory: REVIEW_TOKENS.has(status.token) ? status.detail : null,
-        attention: attention.filter(one => !shortenedMaterialReason(one)),
+        attention: attention.filter(one => !shortenedMaterialReason(one)).map(plainReasonWords),
+        youCheck,
         limits: attention.filter(one => shortenedMaterialReason(one)),
         tabs: RESULT_TABS.map(tab => ({ key: tab.key, label: tab.key === "checks" && proof?.matrix.some(row => row.assessment !== undefined) ? "Requirements" : tab.label, count: tabCounts[tab.key], href: o.hrefFor(tab.key), active: tab.key === o.tab })),
         views: [{ key: "summary", html: summaryParts.join("\n") }, { key: "changes", html: changeParts.join("\n") }, { key: "checks", html: checkParts.join("\n") }],
@@ -21370,40 +21583,6 @@ function resultPanelParts(detail, o) {
     };
     return { html, panel };
 }
-const CHIP_ICONS = { check: `<path d="M20 6 9 17l-5-5"/>`, x: `<path d="M18 6 6 18M6 6l12 12"/>` };
-/** The chips as data: the server list below and the rebuilt result page. */
-function verdictChipsOf(current, facts) {
-    const chips = [];
-    const checks = current.receipt?.checks.status ?? null;
-    if (checks === "passed")
-        chips.push({ tone: "success", label: "Checks passed", icon: "check", title: null });
-    else if (checks === "failed")
-        chips.push({ tone: "danger", label: "Checks failed", icon: "x", title: null });
-    else if (checks === "unavailable")
-        chips.push({ tone: "warning", label: "Check unavailable", icon: null, title: null });
-    const publication = { none: ["neutral", "Branch only"], intended: ["info", "Publishing"], pushed: ["info", "Pushed"], opened: ["info", "Pull request open"], failed: ["danger", "Publish failed"] };
-    const [tone, label] = publication[facts.publicationState] ?? ["neutral", facts.publicationState];
-    chips.push({ tone, label, icon: null, title: facts.publicationWords });
-    const health = facts.evidenceHealth;
-    if (health.damaged > 0)
-        chips.push({ tone: "danger", label: "Damaged evidence", icon: null, title: null });
-    else if (health.missing > 0)
-        chips.push({ tone: "warning", label: "Missing evidence", icon: null, title: null });
-    else if (health.shortened > 0)
-        chips.push({ tone: "warning", label: "Partial output", icon: null, title: "Some saved output was shortened when stored" });
-    return { chips, by: current.completion === null ? null : current.completion.actor.replace(/^(?:operator|coordinator|lead):/, "") };
-}
-/** The verdict at a glance: checks, where the work lives, and whether any
- * saved output is partial, as chips instead of sentences. The same facts
- * stay available in words on the Checks tab and in Build details. */
-function verdictChipsHtml(current, facts) {
-    const { chips, by } = verdictChipsOf(current, facts);
-    const items = chips.map(one => {
-        const label = `${one.icon === null ? "" : strokeIcon(CHIP_ICONS[one.icon])}${one.label}`;
-        return `<li class="verdict-chip verdict-chip--${one.tone}" title="${escape(one.title ?? label)}">${label}</li>`;
-    });
-    return `<ul class="verdict-chips" aria-label="Result at a glance">${items.join("")}</ul>` + (by === null ? "" : `<p class="meta verdict-by">Completed by ${escape(by)}</p>`);
-}
 /** The outcome in one bounded sentence (repair 2026-09-14): the handoff's
  * first sentence, cut at a word when it runs past 180 characters. The
  * full conclusion stays available behind the Summary's disclosure. */