toolroll 0.9.14 → 0.9.15

package/dist/slack-chat.js

@@ -360,7 +360,7 @@ export async function deliverSlackPart(options) {
                     }))
                     : []),
                 ...linkButton(options.origin(), content.link),
-                // [Look first] beside [Merge] or [Mark complete]: each button's own action id.
+                // [Look first] beside [Merge] or [Accept and finish]: each button's own action id.
                 ...(content.also ?? []).flatMap((one, index) => linkButton(options.origin(), one).map(button => ({ ...button, action_id: `toolroll_link_${index + 2}` }))),
             ];
         const target = content.edit ?? row.message;

package/dist/task-status.d.ts

@@ -20,6 +20,11 @@ export declare const HEADLINES: readonly ["Queued", "Planning", "Needs you", "Wa
 export type Headline = (typeof HEADLINES)[number];
 export type HeadlineTone = "neutral" | "live" | "attention" | "ready" | "success" | "danger";
 export declare const HEADLINE_TONE: Readonly<Record<Headline, HeadlineTone>>;
+/** The project's own checks and the pull request's CI are two different things, never one word (Checks beside CI). */
+export declare const CHECKS_LABEL = "Project checks";
+export declare const PR_CI_LABEL = "PR CI";
+/** The one verb for opening a saved result, on every surface. */
+export declare const OPEN_RESULT = "Open result";
 export type DetailKey = "checks" | "pull-request" | "requirements" | "evidence";
 /** The row's small icon: the only coloured part of a detail. `failed` is red
  * and only ever appears under the Failed headline; `note` is amber. */
@@ -86,11 +91,13 @@ export type TaskStatusFacts = {
     report?: boolean;
     checks?: ChecksFact | null;
     pullRequest?: PullRequestFact | null;
-    /** `unverified`: the report is refuted, so no requirement counts as met however it was marked. */
+    /** `unverified`: the report is refuted, so no requirement counts as met however it was marked. `missed`: the ones it
+     * failed or left unanswered. */
     requirements?: {
         met: number;
         total: number;
         yours: number;
+        missed?: number;
         unverified?: boolean;
     } | null;
     evidence?: {
@@ -153,14 +160,19 @@ export declare function assignmentStageOf(assignment: Pick<AssignmentSnapshot, "
     need?: TaskStatusFacts["need"];
     wait?: WaitKey;
 };
-/** Requirements from the stored matrix: met, the ones only a person confirms, and the total. */
-export declare function requirementsOf(matrix: readonly {
+type RequirementRow = {
     state: string;
     assessment?: {
         evidenceState?: string;
     } | undefined;
     review?: unknown;
-}[] | null | undefined): NonNullable<TaskStatusFacts["requirements"]> | null;
+};
+/** One requirement's state in words: the card's Requirements row and the Checks tab read this one source, so they
+ * can't disagree. A refuted report verifies none of its requirements, so each reads Unverified, as the card does. */
+export type RequirementWord = "Met" | "You check" | "Not shown yet" | "Not met" | "Unverified";
+export declare function requirementWordOf(row: RequirementRow, verdict?: string | null): RequirementWord;
+/** Requirements from the stored matrix: met, the ones only a person confirms, and the total. */
+export declare function requirementsOf(matrix: readonly RequirementRow[] | null | undefined): NonNullable<TaskStatusFacts["requirements"]> | null;
 /** A refuted report verifies none of its requirements, whatever it marked met (a person's acceptance doesn't change that). */
 export declare function unverifiedWhenRefuted(requirements: NonNullable<TaskStatusFacts["requirements"]> | null, verdict: string | null | undefined): NonNullable<TaskStatusFacts["requirements"]> | null;
 /** Saved evidence health from the receipt's artifact list and its caveats. */
@@ -188,6 +200,8 @@ export declare function headlineEmoji(headline: Headline): string;
 export declare const statusIconSvg: (mark: DetailMark) => string;
 /** The detail rows as server HTML: quiet rows, colour only on the icon. */
 export declare function statusDetailsHtml(status: TaskStatus): string;
+/** The status card's fold of exact reasons: "More", never a third thing called Details. */
+export declare const STATUS_MORE = "More";
 /** The technical reasons, one tap away. */
 export declare function statusWhyHtml(status: TaskStatus, extra?: readonly string[], diagnostics?: readonly {
     token: string;
@@ -211,3 +225,6 @@ export declare function stageOfDispatch(d: {
     stage: TaskStage;
     need?: TaskStatusFacts["need"];
 };
+/** The demo runs no checks: a Checks row that would offer to run one (or open one that never ran) says so instead. */
+export declare const DEMO_CHECKS = "Can't run in the demo";
+export declare function demoChecksOf(status: TaskStatus): TaskStatus;

package/dist/task-status.js

@@ -8,6 +8,11 @@ export const HEADLINE_TONE = {
     Queued: "neutral", Planning: "live", "Needs you": "attention", Waiting: "neutral", Building: "live",
     "Ready for review": "ready", Complete: "success", Failed: "danger", Stopped: "neutral",
 };
+/** The project's own checks and the pull request's CI are two different things, never one word (Checks beside CI). */
+export const CHECKS_LABEL = "Project checks";
+export const PR_CI_LABEL = "PR CI";
+/** The one verb for opening a saved result, on every surface. */
+export const OPEN_RESULT = "Open result";
 const short = (sha) => sha !== null && /^[a-f0-9]{7,40}$/.test(sha) ? sha.slice(0, 7) : null;
 export function headlineOf(facts) {
     switch (facts.stage) {
@@ -76,19 +81,20 @@ function detailsOf(headline, facts) {
         const runChecks = facts.links?.runChecks === undefined ? null : { label: "Run checks", href: facts.links.runChecks };
         const quick = checks.level === "quick";
         if (checks.running != null)
-            row("checks", "Checks", `${checks.running === "quick" ? "Quick" : "Full"} checks running`, "running", { href: checksHref });
+            row("checks", CHECKS_LABEL, `${checks.running === "quick" ? "Quick" : "Full"} checks running`, "running", { href: checksHref });
         else if (checks.status === "passed")
-            row("checks", "Checks", `${quick ? "Quick checks passed" : "Passed"}${sha === null ? "" : ` on ${sha}`}`, "ok", quick && runChecks !== null && headline !== "Complete" ? { href: checksHref, action: { label: "Run full checks", href: runChecks.href } } : { href: checksHref });
+            row("checks", CHECKS_LABEL, `${quick ? "Quick checks passed" : "Passed"}${sha === null ? "" : ` on ${sha}`}`, "ok", quick && runChecks !== null && headline !== "Complete" ? { href: checksHref, action: { label: "Run full checks", href: runChecks.href } } : { href: checksHref });
         else if (checks.status === "failed")
-            row("checks", "Checks", `${quick ? "Quick checks failed" : "Failed"}${checks.exitCode === null ? "" : ` (exit ${checks.exitCode})`}`, problem(headline), headline === "Failed" ? { href: checksHref } : { action: { label: "See what failed", href: checksHref } });
+            row("checks", CHECKS_LABEL, `${quick ? "Quick checks failed" : "Failed"}${checks.exitCode === null ? "" : ` (exit ${checks.exitCode})`}`, problem(headline), headline === "Failed" ? { href: checksHref } : { action: { label: "See what failed", href: checksHref } });
         else if (checks.status === "running")
-            row("checks", "Checks", "Running", "running");
+            row("checks", CHECKS_LABEL, "Running", "running");
         else if (checks.level === "off")
-            row("checks", "Checks", "Off for this project", "none", runChecks === null ? {} : { action: runChecks });
+            row("checks", CHECKS_LABEL, "Off for this project", "none", runChecks === null ? {} : { action: runChecks });
         else if (checks.status === "not-run")
-            row("checks", "Checks", "Didn't run", "none", runChecks === null ? {} : { action: runChecks });
+            row("checks", CHECKS_LABEL, "Didn't run", "none", runChecks === null ? {} : { action: runChecks });
+        // A saved check that can't be read is run again where that is possible.
         else
-            row("checks", "Checks", "Couldn't be read", "note", { action: { label: "Open the result", href: facts.links?.result ?? null } });
+            row("checks", CHECKS_LABEL, "Couldn't be read", "note", { action: runChecks ?? { label: OPEN_RESULT, href: facts.links?.result ?? null } });
     }
     const pr = facts.pullRequest;
     if (pr != null) {
@@ -105,16 +111,19 @@ function detailsOf(headline, facts) {
         else if (pr.state === "failed")
             row("pull-request", "Pull request", "Couldn't open", "note", { action: pr.compareUrl ? { label: "Open it on GitHub", href: pr.compareUrl } : { label: "See why", href: facts.links?.pullRequest ?? null }, why: pr.error === null ? "Publishing gave up. The commit is safe locally." : `${pr.error} The commit is safe locally.` });
         else if (pr.ci === "running")
-            row("pull-request", "Pull request", `${name} open, CI running`, "running", { href: github });
+            row("pull-request", "Pull request", `${name} open · ${PR_CI_LABEL} running`, "running", { href: github });
         else if (pr.ci === "passing")
-            row("pull-request", "Pull request", `${name} open, CI passed`, "ok", { href: github });
+            row("pull-request", "Pull request", `${name} open · ${PR_CI_LABEL} passed`, "ok", { href: github });
         else if (pr.ci === "failing")
-            row("pull-request", "Pull request", `${name} open, CI failing`, "note", { action: { label: "Open it on GitHub", href: github } });
+            row("pull-request", "Pull request", `${name} open · ${PR_CI_LABEL} failing`, "note", { action: { label: "Open it on GitHub", href: github } });
         else
             row("pull-request", "Pull request", `${name} open`, "none", { href: github });
     }
     const req = facts.requirements;
-    if (req != null && req.total > 0 && req.unverified === true)
+    // A failed result names how many it missed, refuted or not: that is what failed.
+    if (req != null && req.total > 0 && headline === "Failed" && (req.missed ?? 0) > 0)
+        row("requirements", "Requirements", `${req.missed} missed`, "failed");
+    else if (req != null && req.total > 0 && req.unverified === true)
         row("requirements", "Requirements", "Unverified", "none");
     else if (req != null && req.total > 0) {
         const unmet = req.total - req.met - req.yours;
@@ -258,13 +267,21 @@ export function assignmentStageOf(assignment, work, planning = false) {
         }
     }
 }
+/** Evidence that passed and only awaits the retired assessment step is met. */
+const requirementMet = (row) => row.state === "pass" || (row.assessment?.evidenceState === "pass" && (row.review ?? null) === null);
+export function requirementWordOf(row, verdict) {
+    if (verdict === "refuted")
+        return "Unverified";
+    if (requirementMet(row))
+        return "Met";
+    return row.state === "manual-review" ? "You check" : row.state === "missing" ? "Not shown yet" : "Not met";
+}
 /** Requirements from the stored matrix: met, the ones only a person confirms, and the total. */
 export function requirementsOf(matrix) {
     if (!matrix || matrix.length === 0)
         return null;
-    // Evidence that passed and only awaits the retired assessment step is met.
-    const met = (row) => row.state === "pass" || (row.assessment?.evidenceState === "pass" && (row.review ?? null) === null);
-    return { met: matrix.filter(met).length, total: matrix.length, yours: matrix.filter(row => !met(row) && row.state === "manual-review").length };
+    return { met: matrix.filter(requirementMet).length, total: matrix.length, yours: matrix.filter(row => requirementWordOf(row) === "You check").length,
+        missed: matrix.filter(row => !requirementMet(row) && (row.state === "failed" || row.state === "missing")).length };
 }
 /** A refuted report verifies none of its requirements, whatever it marked met (a person's acceptance doesn't change that). */
 export function unverifiedWhenRefuted(requirements, verdict) {
@@ -347,18 +364,20 @@ export const statusIconSvg = (mark) => `<svg class="status-icon status-icon--${m
 export function statusDetailsHtml(status) {
     if (status.details.length === 0)
         return "";
-    return `<ul class="status-details" aria-label="Details">` + status.details.map(one => {
+    return `<ul class="status-details" aria-label="Status">` + status.details.map(one => {
         const text = one.href === null ? escapeHtml(one.text) : `<a href="${escapeHtml(one.href)}">${escapeHtml(one.text)}</a>`;
         const action = one.action === null ? "" : one.action.href === null ? `<span class="status-detail-act">${escapeHtml(one.action.label)}</span>` : `<a class="status-detail-act" href="${escapeHtml(one.action.href)}">${escapeHtml(one.action.label)}</a>`;
         return `<li class="status-detail status-detail--${one.mark}" data-status-detail="${one.key}" data-mark="${one.mark}">${statusIconSvg(one.mark)}<span class="status-detail-label">${escapeHtml(one.label)}</span><span class="status-detail-text"><span>${text}</span>${action}</span></li>`;
     }).join("") + `</ul>`;
 }
+/** The status card's fold of exact reasons: "More", never a third thing called Details. */
+export const STATUS_MORE = "More";
 /** The technical reasons, one tap away. */
 export function statusWhyHtml(status, extra = [], diagnostics = []) {
     const lines = [...new Set([...status.details.flatMap(one => one.why === null ? [] : [`${one.label}: ${one.why}`]), ...status.why, ...extra])];
     if (lines.length === 0 && diagnostics.length === 0)
         return "";
-    return `<details class="status-why"><summary>Details</summary>${lines.map(one => `<p class="meta">${escapeHtml(one)}</p>`).join("")}` +
+    return `<details class="status-why"><summary>${STATUS_MORE}</summary>${lines.map(one => `<p class="meta">${escapeHtml(one)}</p>`).join("")}` +
         diagnostics.map(one => `<p class="meta" data-work-diagnostic="${escapeHtml(one.token)}">${escapeHtml(one.label)} · ${escapeHtml(one.detail)}</p>`).join("") + `</details>`;
 }
 /** Shared CSS for the server-rendered status: neutral rows, coloured icons. */
@@ -377,3 +396,9 @@ export function stageOfDispatch(d, options = {}) {
         return { stage: "needs-you", need: "review-result" };
     return stageOfCode(d.code, { needsPerson: d.condition === "waiting" && d.action !== null, planning: d.condition === "running" && d.role === "planner", operatorHold: d.action === "unhold" });
 }
+/** The demo runs no checks: a Checks row that would offer to run one (or open one that never ran) says so instead. */
+export const DEMO_CHECKS = "Can't run in the demo";
+export function demoChecksOf(status) {
+    return { ...status, details: status.details.map(one => one.key !== "checks" || one.mark === "ok" || one.mark === "failed" || one.mark === "running" ? one
+            : { ...one, text: DEMO_CHECKS, mark: "none", href: null, action: null, why: null }) };
+}

package/dist/test-temp.js

@@ -18,7 +18,7 @@ export const TEST_TEMP_PREFIXES = [
     "flow-goal-", "flow-scratch", "flows-chat-", "invoke-attest-", "knowledge-test-", "learning-", "peek-", "phone-origin-",
     "proposal-repo-", "race-", "refresh-migration-", "refresh-refusal-", "release-check-", "shared-chat-", "skills-test-",
     "task-status-surfaces-", "template-repo-", "template-test-", "v14-migrate-", "v17-migrate-", "watch-anchor-",
-    "needs-you-", "deps-lock-", "deps-state-", "upgrade-fresh-", "upgrade-path-", "deploy-restore-", "result-review-", "one-result-page-",
+    "needs-you-", "deps-lock-", "deps-state-", "upgrade-fresh-", "upgrade-path-", "deploy-restore-", "result-review-", "one-result-page-", "deploy-before-swap-", "one-vocabulary-", "accept-finishes-",
     // Playwright's browser profiles and artifacts.
     "playwright_chromiumdev_profile-", "playwright_firefoxdev_profile-", "playwright-artifacts-",
 ];

package/dist/transitions-recipes.d.ts

@@ -1 +1 @@
-export declare const TRANSITIONS_CSS = "\n/* Transitions.dev \u2014 05-menu-dropdown.md */\n:root {\n  --dropdown-open-dur: 250ms;\n  --dropdown-close-dur: 150ms;\n  --dropdown-pre-scale: 0.97;\n  --dropdown-closing-scale: 0.99;\n  --dropdown-ease: cubic-bezier(0.22, 1, 0.36, 1);\n}\n\n.t-dropdown {\n  transform-origin: top left;\n  transform: scale(var(--dropdown-pre-scale));\n  opacity: 0;\n  pointer-events: none;\n  transition:\n    transform var(--dropdown-open-dur) var(--dropdown-ease),\n    opacity   var(--dropdown-open-dur) var(--dropdown-ease);\n  will-change: transform, opacity;\n}\n.t-dropdown[data-origin=\"top-right\"]     { transform-origin: top right; }\n.t-dropdown[data-origin=\"top-center\"]    { transform-origin: top center; }\n.t-dropdown[data-origin=\"bottom-left\"]   { transform-origin: bottom left; }\n.t-dropdown[data-origin=\"bottom-center\"] { transform-origin: bottom center; }\n.t-dropdown[data-origin=\"bottom-right\"]  { transform-origin: bottom right; }\n\n.t-dropdown.is-open {\n  transform: scale(1);\n  opacity: 1;\n  pointer-events: auto;\n}\n.t-dropdown.is-closing {\n  transform: scale(var(--dropdown-closing-scale));\n  opacity: 0;\n  pointer-events: none;\n  transition:\n    transform var(--dropdown-close-dur) var(--dropdown-ease),\n    opacity   var(--dropdown-close-dur) var(--dropdown-ease);\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-dropdown { transition: none !important; }\n}\n\n/* Transitions.dev \u2014 07-panel-reveal.md */\n:root {\n  --panel-open-dur: 400ms;\n  --panel-close-dur: 350ms;\n  --panel-translate-y: 100px;\n  --panel-blur: 2px;\n  --panel-ease: cubic-bezier(0.22, 1, 0.36, 1);\n}\n\n.t-panel-slide {\n  transform: translateY(var(--panel-translate-y));\n  opacity: 0;\n  filter: blur(var(--panel-blur));\n  pointer-events: none;\n  transition:\n    transform var(--panel-close-dur) var(--panel-ease),\n    opacity   var(--panel-close-dur) var(--panel-ease),\n    filter    var(--panel-close-dur) var(--panel-ease);\n  will-change: transform, opacity, filter;\n}\n.t-panel-slide[data-open=\"true\"] {\n  transform: translateY(0);\n  opacity: 1;\n  filter: blur(0);\n  pointer-events: auto;\n  transition:\n    transform var(--panel-open-dur) var(--panel-ease),\n    opacity   var(--panel-open-dur) var(--panel-ease),\n    filter    var(--panel-open-dur) var(--panel-ease);\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-panel-slide { transition: none !important; }\n}\n\n/* Transitions.dev \u2014 16-tabs-sliding.md */\n:root {\n  --tabs-dur: 250ms;\n  --tabs-ease: cubic-bezier(0.22, 1, 0.36, 1);\n  --tabs-text-muted: rgba(15, 15, 15, 0.8);\n  --tabs-text-active: #0f0f0f;\n  --tabs-bar-bg: #f1f1f1;\n  --tabs-pill-bg: #ffffff;\n}\n\n/* The bar is just a flex container with padding for the pill\n   to sit inside. Tabs sit on z-index: 1, the pill on z-index: 0,\n   so labels read above the pill background. */\n.t-tabs {\n  position: relative;\n  display: inline-flex;\n  align-items: center;\n  gap: 3px;\n  padding: 3px;\n  border-radius: 48px;\n  background: var(--tabs-bar-bg);\n}\n.t-tab {\n  position: relative;\n  appearance: none;\n  border: 0;\n  background: transparent;\n  height: 30px;\n  padding: 4px 12px;\n  color: var(--tabs-text-muted);\n  cursor: pointer;\n  border-radius: 48px;\n  z-index: 1;\n  transition: color var(--tabs-dur) var(--tabs-ease);\n}\n.t-tab:not([aria-selected=\"true\"]):hover,\n.t-tab[aria-selected=\"true\"] {\n  color: var(--tabs-text-active);\n}\n\n/* The pill: width + transform are written inline by JS so\n   the transition tweens between the previous and next\n   measured positions. */\n.t-tabs-pill {\n  position: absolute;\n  top: 3px;\n  left: 0;\n  height: 30px;\n  width: 0;\n  background: var(--tabs-pill-bg);\n  border-radius: 48px;\n  transform: translateX(0);\n  transition:\n    transform var(--tabs-dur) var(--tabs-ease),\n    width     var(--tabs-dur) var(--tabs-ease);\n  will-change: transform, width;\n  z-index: 0;\n  pointer-events: none;\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-tabs-pill, .t-tab { transition: none !important; }\n}\n\n/* Transitions.dev \u2014 21-accordion.md */\n:root {\n  --acc-expand: 250ms;\n  --acc-collapse: 250ms;\n  --acc-chevron: 250ms;\n  --acc-ease: cubic-bezier(0.22, 1, 0.36, 1);\n}\n\n/* grid-template-rows 0fr \u2192 1fr gives a clean height animation\n   with no JS measurement; the inner element clips overflow. */\n.t-acc-panel {\n  display: grid;\n  grid-template-rows: 0fr;\n  transition: grid-template-rows var(--acc-collapse) var(--acc-ease);\n}\n.t-acc[data-open=\"true\"] .t-acc-panel {\n  grid-template-rows: 1fr;\n  transition: grid-template-rows var(--acc-expand) var(--acc-ease);\n}\n.t-acc-panel-inner {\n  overflow: hidden;\n  opacity: 0;\n  filter: blur(2px);\n  transition:\n    opacity var(--acc-collapse) var(--acc-ease),\n    filter var(--acc-collapse) var(--acc-ease);\n}\n.t-acc[data-open=\"true\"] .t-acc-panel-inner {\n  opacity: 1;\n  filter: blur(0);\n  transition:\n    opacity var(--acc-expand) var(--acc-ease),\n    filter var(--acc-expand) var(--acc-ease);\n}\n/* Flip the chevron vertically to turn the \"v\" into a \"^\".\n   scaleY(-1) about the centre passes through a flat line at\n   the midpoint (same look as a `d:` path morph) but animates\n   in every browser, unlike CSS `d:` morphing (Chromium only).\n   The chevron path is symmetric about the 16x16 viewBox\n   centre, so the flip lands exactly on the \"^\"; non-scaling\n   -stroke keeps the stroke width constant through the flip. */\n.t-acc-chevron {\n  display: inline-flex;\n  transform: scaleY(1);\n  transform-origin: center;\n  transition: transform var(--acc-chevron) var(--acc-ease);\n}\n.t-acc-chevron path { vector-effect: non-scaling-stroke; }\n.t-acc[data-open=\"true\"] .t-acc-chevron {\n  transform: scaleY(-1);\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-acc-panel, .t-acc-panel-inner, .t-acc-chevron {\n    transition: none !important;\n  }\n}\n";
+export declare const TRANSITIONS_CSS = "\n/* Transitions.dev \u2014 05-menu-dropdown.md */\n:root {\n  --dropdown-open-dur: 250ms;\n  --dropdown-close-dur: 150ms;\n  --dropdown-pre-scale: 0.97;\n  --dropdown-closing-scale: 0.99;\n  --dropdown-ease: cubic-bezier(0.22, 1, 0.36, 1);\n}\n\n.t-dropdown {\n  transform-origin: top left;\n  transform: scale(var(--dropdown-pre-scale));\n  opacity: 0;\n  pointer-events: none;\n  transition:\n    transform var(--dropdown-open-dur) var(--dropdown-ease),\n    opacity   var(--dropdown-open-dur) var(--dropdown-ease);\n  will-change: transform, opacity;\n}\n.t-dropdown[data-origin=\"top-right\"]     { transform-origin: top right; }\n.t-dropdown[data-origin=\"top-center\"]    { transform-origin: top center; }\n.t-dropdown[data-origin=\"bottom-left\"]   { transform-origin: bottom left; }\n.t-dropdown[data-origin=\"bottom-center\"] { transform-origin: bottom center; }\n.t-dropdown[data-origin=\"bottom-right\"]  { transform-origin: bottom right; }\n\n.t-dropdown.is-open {\n  transform: scale(1);\n  opacity: 1;\n  pointer-events: auto;\n}\n.t-dropdown.is-closing {\n  transform: scale(var(--dropdown-closing-scale));\n  opacity: 0;\n  pointer-events: none;\n  transition:\n    transform var(--dropdown-close-dur) var(--dropdown-ease),\n    opacity   var(--dropdown-close-dur) var(--dropdown-ease);\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-dropdown { transition: none !important; }\n}\n\n/* Transitions.dev \u2014 07-panel-reveal.md */\n:root {\n  --panel-open-dur: 400ms;\n  --panel-close-dur: 350ms;\n  --panel-translate-y: 100px;\n  --panel-blur: 2px;\n  --panel-ease: cubic-bezier(0.22, 1, 0.36, 1);\n}\n\n.t-panel-slide {\n  transform: translateY(var(--panel-translate-y));\n  opacity: 0;\n  filter: blur(var(--panel-blur));\n  pointer-events: none;\n  transition:\n    transform var(--panel-close-dur) var(--panel-ease),\n    opacity   var(--panel-close-dur) var(--panel-ease),\n    filter    var(--panel-close-dur) var(--panel-ease);\n  will-change: transform, opacity, filter;\n}\n.t-panel-slide[data-open=\"true\"] {\n  transform: translateY(0);\n  opacity: 1;\n  filter: blur(0);\n  pointer-events: auto;\n  transition:\n    transform var(--panel-open-dur) var(--panel-ease),\n    opacity   var(--panel-open-dur) var(--panel-ease),\n    filter    var(--panel-open-dur) var(--panel-ease);\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-panel-slide { transition: none !important; }\n}\n\n/* Transitions.dev \u2014 16-tabs-sliding.md */\n:root {\n  --tabs-dur: 250ms;\n  --tabs-ease: cubic-bezier(0.22, 1, 0.36, 1);\n  --tabs-text-muted: rgba(15, 15, 15, 0.8);\n  --tabs-text-active: #0f0f0f;\n  --tabs-bar-bg: #f1f1f1;\n  --tabs-pill-bg: #ffffff;\n}\n\n/* The bar is just a flex container with padding for the pill\n   to sit inside. Tabs sit on z-index: 1, the pill on z-index: 0,\n   so labels read above the pill background. */\n.t-tabs {\n  position: relative;\n  display: inline-flex;\n  align-items: center;\n  gap: 3px;\n  padding: 3px;\n  border-radius: 48px;\n  background: var(--tabs-bar-bg);\n}\n.t-tab {\n  position: relative;\n  appearance: none;\n  border: 0;\n  background: transparent;\n  height: 30px;\n  padding: 4px 12px;\n  color: var(--tabs-text-muted);\n  cursor: pointer;\n  border-radius: 48px;\n  z-index: 1;\n  transition: color var(--tabs-dur) var(--tabs-ease);\n}\n.t-tab:not([aria-selected=\"true\"]):hover,\n.t-tab[aria-selected=\"true\"] {\n  color: var(--tabs-text-active);\n}\n\n/* The pill: width + transform are written inline by JS so\n   the transition tweens between the previous and next\n   measured positions. */\n.t-tabs-pill {\n  position: absolute;\n  top: 3px;\n  left: 0;\n  height: 30px;\n  width: 0;\n  background: var(--tabs-pill-bg);\n  border-radius: 48px;\n  transform: translateX(0);\n  transition:\n    transform var(--tabs-dur) var(--tabs-ease),\n    width     var(--tabs-dur) var(--tabs-ease);\n  will-change: transform, width;\n  z-index: 0;\n  pointer-events: none;\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-tabs-pill, .t-tab { transition: none !important; }\n}\n\n/* Transitions.dev \u2014 21-accordion.md */\n:root {\n  --acc-expand: 250ms;\n  --acc-collapse: 250ms;\n  --acc-chevron: 250ms;\n  --acc-ease: cubic-bezier(0.22, 1, 0.36, 1);\n}\n\n/* grid-template-rows 0fr \u2192 1fr gives a clean height animation\n   with no JS measurement; the inner element clips overflow. */\n.t-acc-panel {\n  display: grid;\n  grid-template-rows: 0fr;\n  transition: grid-template-rows var(--acc-collapse) var(--acc-ease);\n}\n.t-acc[data-open=\"true\"] .t-acc-panel {\n  grid-template-rows: 1fr;\n  transition: grid-template-rows var(--acc-expand) var(--acc-ease);\n}\n.t-acc-panel-inner {\n  overflow: hidden;\n  opacity: 0;\n  filter: blur(2px);\n  transition:\n    opacity var(--acc-collapse) var(--acc-ease),\n    filter var(--acc-collapse) var(--acc-ease);\n}\n.t-acc[data-open=\"true\"] .t-acc-panel-inner {\n  opacity: 1;\n  filter: blur(0);\n  transition:\n    opacity var(--acc-expand) var(--acc-ease),\n    filter var(--acc-expand) var(--acc-ease);\n}\n/* The one disclosure glyph (disclosure.ts): a right chevron that\n   turns down when the fold opens; non-scaling-stroke keeps the\n   stroke width constant through the turn. */\n.t-acc-chevron {\n  display: inline-flex;\n  transform: rotate(0deg);\n  transform-origin: center;\n  transition: transform var(--acc-chevron) var(--acc-ease);\n}\n.t-acc-chevron path { vector-effect: non-scaling-stroke; }\n.t-acc[data-open=\"true\"] .t-acc-chevron {\n  transform: rotate(90deg);\n}\n\n@media (prefers-reduced-motion: reduce) {\n  .t-acc-panel, .t-acc-panel-inner, .t-acc-chevron {\n    transition: none !important;\n  }\n}\n";

package/dist/transitions-recipes.js

@@ -177,22 +177,18 @@ export const TRANSITIONS_CSS = `
     opacity var(--acc-expand) var(--acc-ease),
     filter var(--acc-expand) var(--acc-ease);
 }
-/* Flip the chevron vertically to turn the "v" into a "^".
-   scaleY(-1) about the centre passes through a flat line at
-   the midpoint (same look as a \`d:\` path morph) but animates
-   in every browser, unlike CSS \`d:\` morphing (Chromium only).
-   The chevron path is symmetric about the 16x16 viewBox
-   centre, so the flip lands exactly on the "^"; non-scaling
-   -stroke keeps the stroke width constant through the flip. */
+/* The one disclosure glyph (disclosure.ts): a right chevron that
+   turns down when the fold opens; non-scaling-stroke keeps the
+   stroke width constant through the turn. */
 .t-acc-chevron {
   display: inline-flex;
-  transform: scaleY(1);
+  transform: rotate(0deg);
   transform-origin: center;
   transition: transform var(--acc-chevron) var(--acc-ease);
 }
 .t-acc-chevron path { vector-effect: non-scaling-stroke; }
 .t-acc[data-open="true"] .t-acc-chevron {
-  transform: scaleY(-1);
+  transform: rotate(90deg);
 }
 
 @media (prefers-reduced-motion: reduce) {

package/dist/when-html.d.ts

@@ -1,5 +1,22 @@
-/** "16:39" today, "Yesterday 16:39" / "Tomorrow 16:39" beside it, "Sep 28" otherwise ("Sep 28 2025" in another year). */
-export declare function shortWhen(iso: string, now?: Date): string;
+/** The viewer's own time zone (a browser's); UTC where there is none to read. */
+export declare function viewerZone(): string;
+/** The one formatter for a time a person reads, on every surface: "16:39" today, "Yesterday 16:39" /
+ * "Tomorrow 16:39" beside it, "Sep 28" otherwise ("Sep 28 2025" in another year), counted in `zone`. With `clock`,
+ * a date further out keeps its time of day too ("Sep 28 16:39"), for deadlines and histories where the hour matters. */
+export declare function shortWhen(iso: string, now?: Date, zone?: string, clock?: boolean): string;
+/** A flow card's deadline in the viewer's zone, always with its time of day: "No reply by 16:30" today,
+ * "No reply by Tomorrow 16:30", "Moves on Oct 2 16:30" further out (a label's trailing " at" reads wrong before a date). */
+export declare function deadlineWords(deadline: {
+    at: string;
+    label: string;
+}, now?: Date, zone?: string): string;
+/** The exact minute in `zone` ("2026-09-30 16:39", with " UTC" when it is UTC): a time's title, one hover away. */
+export declare function fullWhen(iso: string, zone?: string): string;
+/** Every server-rendered stamp (`whenHtml`'s `<time data-when>`) inside `root`, reworded by the one formatter in the
+ * viewer's zone: the same words on a desk and a phone, the exact minute in the title. The server's UTC words stay
+ * only without script. Times React writes, relative ages ("3 min ago") and exact stamps (the ledger's seconds) carry
+ * no `data-when` and are never touched. */
+export declare function localizeTimes(root: ParentNode, now?: Date, zone?: string): void;
 /** The `<time>` for a stamp: `full` is the words a desk shows ("2026-09-30 16:39 UTC"). Empty for no stamp. */
 export declare function whenHtml(iso: string | null, full: string, now?: Date): string;
 /** "2026-09-30 16:39 UTC" — the desk's words for a stamp. */

package/dist/when-html.js

@@ -1,34 +1,101 @@
 /**
  * A time a person reads. A desk shows the full stamp, as before; a phone (760px and narrower) shows the short
  * one — "16:39" today, "Yesterday 16:39", "Sep 28" otherwise — and the full stamp stays in the title. Stamps are
- * UTC to the minute, so the short form is counted in UTC too. The CSS that picks one lives in the shared page
+ * UTC to the minute, so the server counts in UTC; in the browser `localizeTimes` rewords each of these with the same
+ * formatter in the viewer's own zone, as the React views do. The CSS that picks one lives in the shared page
  * stylesheet (`.so-when-*` in serve.ts).
  */
 const escape = (value) => value.replace(/[&<>"']/g, c => ({ "&": "&amp;", "<": "&lt;", ">": "&gt;", '"': "&quot;", "'": "&#39;" })[c]);
 const MONTHS = ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
 const DAY_MS = 86_400_000;
-/** "16:39" today, "Yesterday 16:39" / "Tomorrow 16:39" beside it, "Sep 28" otherwise ("Sep 28 2025" in another year). */
-export function shortWhen(iso, now = new Date()) {
+/** One `Intl.DateTimeFormat` per zone: building one is the slow part, and every time on a page shares a few zones. */
+const formats = new Map();
+function formatIn(zone) {
+    let format = formats.get(zone);
+    if (format === undefined) {
+        format = new Intl.DateTimeFormat("en-US", { timeZone: zone, year: "numeric", month: "numeric", day: "numeric", hour: "2-digit", minute: "2-digit", hourCycle: "h23" });
+        formats.set(zone, format);
+    }
+    return format;
+}
+/** A stamp's calendar day, clock and month in a time zone ("UTC" on the server, the viewer's own zone in a browser). */
+function partsIn(at, zone) {
+    const read = (z) => Object.fromEntries(formatIn(z).formatToParts(at).map(part => [part.type, part.value]));
+    let parts;
+    try {
+        parts = read(zone);
+    }
+    catch {
+        parts = read("UTC");
+    }
+    return { year: Number(parts["year"]), month: Number(parts["month"]), day: Number(parts["day"]), clock: `${parts["hour"]}:${parts["minute"]}` };
+}
+const dayNumber = (p) => Math.floor(Date.UTC(p.year, p.month - 1, p.day) / DAY_MS);
+/** The viewer's own time zone (a browser's); UTC where there is none to read. */
+export function viewerZone() {
+    try {
+        return Intl.DateTimeFormat().resolvedOptions().timeZone || "UTC";
+    }
+    catch {
+        return "UTC";
+    }
+}
+/** The one formatter for a time a person reads, on every surface: "16:39" today, "Yesterday 16:39" /
+ * "Tomorrow 16:39" beside it, "Sep 28" otherwise ("Sep 28 2025" in another year), counted in `zone`. With `clock`,
+ * a date further out keeps its time of day too ("Sep 28 16:39"), for deadlines and histories where the hour matters. */
+export function shortWhen(iso, now = new Date(), zone = "UTC", clock = false) {
     const at = new Date(iso);
     if (Number.isNaN(at.getTime()))
         return iso;
-    const clock = iso.length >= 16 && iso[10] === "T" ? iso.slice(11, 16) : at.toISOString().slice(11, 16);
-    const days = Math.floor(at.getTime() / DAY_MS) - Math.floor(now.getTime() / DAY_MS);
+    const then = partsIn(at, zone), today = partsIn(now, zone);
+    const days = dayNumber(then) - dayNumber(today);
     if (days === 0)
-        return clock;
+        return then.clock;
     if (days === -1)
-        return `Yesterday ${clock}`;
+        return `Yesterday ${then.clock}`;
     if (days === 1)
-        return `Tomorrow ${clock}`;
-    const date = `${MONTHS[at.getUTCMonth()]} ${at.getUTCDate()}`;
-    return at.getUTCFullYear() === now.getUTCFullYear() ? date : `${date} ${at.getUTCFullYear()}`;
+        return `Tomorrow ${then.clock}`;
+    const date = `${MONTHS[then.month - 1]} ${then.day}`;
+    return `${then.year === today.year ? date : `${date} ${then.year}`}${clock ? ` ${then.clock}` : ""}`;
+}
+/** A flow card's deadline in the viewer's zone, always with its time of day: "No reply by 16:30" today,
+ * "No reply by Tomorrow 16:30", "Moves on Oct 2 16:30" further out (a label's trailing " at" reads wrong before a date). */
+export function deadlineWords(deadline, now = new Date(), zone = viewerZone()) {
+    if (Number.isNaN(new Date(deadline.at).getTime()))
+        return deadline.label;
+    const words = shortWhen(deadline.at, now, zone, true);
+    return /^(?:\d|Tomorrow|Yesterday)/.test(words) ? `${deadline.label} ${words}` : `${deadline.label.replace(/ at$/, "")} ${words}`;
+}
+/** The exact minute in `zone` ("2026-09-30 16:39", with " UTC" when it is UTC): a time's title, one hover away. */
+export function fullWhen(iso, zone = "UTC") {
+    const at = new Date(iso);
+    if (Number.isNaN(at.getTime()))
+        return iso;
+    const p = partsIn(at, zone);
+    return `${p.year}-${String(p.month).padStart(2, "0")}-${String(p.day).padStart(2, "0")} ${p.clock}${zone === "UTC" ? " UTC" : ""}`;
+}
+/** Every server-rendered stamp (`whenHtml`'s `<time data-when>`) inside `root`, reworded by the one formatter in the
+ * viewer's zone: the same words on a desk and a phone, the exact minute in the title. The server's UTC words stay
+ * only without script. Times React writes, relative ages ("3 min ago") and exact stamps (the ledger's seconds) carry
+ * no `data-when` and are never touched. */
+export function localizeTimes(root, now = new Date(), zone = viewerZone()) {
+    root.querySelectorAll("time[data-when][datetime]").forEach(node => {
+        const iso = node.getAttribute("datetime") ?? "";
+        if (iso === "" || Number.isNaN(new Date(iso).getTime()))
+            return;
+        const words = shortWhen(iso, now, zone), full = fullWhen(iso, zone);
+        if (node.title !== full)
+            node.title = full;
+        if (node.textContent !== words)
+            node.textContent = words;
+    });
 }
 /** The `<time>` for a stamp: `full` is the words a desk shows ("2026-09-30 16:39 UTC"). Empty for no stamp. */
 export function whenHtml(iso, full, now = new Date()) {
     if (iso === null || iso === "")
         return "";
     const words = escape(full);
-    return `<time datetime="${escape(iso)}" title="${words}"><span class="so-when-full">${words}</span><span class="so-when-short">${escape(shortWhen(iso, now))}</span></time>`;
+    return `<time data-when datetime="${escape(iso)}" title="${words}"><span class="so-when-full">${words}</span><span class="so-when-short">${escape(shortWhen(iso, now))}</span></time>`;
 }
 /** "2026-09-30 16:39 UTC" — the desk's words for a stamp. */
 export const utcMinute = (iso) => `${iso.slice(0, 16).replace("T", " ")} UTC`;

package/dist/work-index.d.ts

@@ -2,7 +2,7 @@ import { type Store, type TaskState } from './store.js';
 import type { AssignmentSnapshot } from './assignment.js';
 import type { WorkAction, WorkSummaryAccess } from './work-summary.js';
 import type { WorkStatus, WorkView } from './workspace-ui.js';
-import { type Ask } from './needs-you.js';
+import { type Ask, type AskChip } from './needs-you.js';
 export type WorkIndexCounts = Record<WorkView, number>;
 export type WorkIndexItem = {
     rootId: string;
@@ -25,6 +25,8 @@ export type WorkIndexItem = {
     status: WorkStatus;
     /** What a Needs you row asks of a person (needs-you.ts); null for every other row. */
     ask: Ask | null;
+    /** The row's chip under its group: the specific ask (needs-you.ts askChipOf), or none. */
+    chip: AskChip | null;
     primaryAction: WorkAction | null;
     completion: {
         actor: string;

package/dist/work-index.js

@@ -11,7 +11,7 @@ import { plainReasonOf, replacedWords, stageOfCode, taskStatusOf, workToneOf } f
 import { isCheckLevel } from './check-levels.js';
 import { MARKER } from './worktree.js';
 import { withFollowUps } from './result-follow-ups.js';
-import { ASKS, NEED_ASK, NEEDS, failedAttemptSentence, processNeedOf } from './needs-you.js';
+import { ASKS, NEED_ASK, NEEDS, askChipOf, failedAttemptSentence, processNeedOf, resultHoldUpSentence } from './needs-you.js';
 import { LEAD_CLAIM_SQL, LEAD_IDLE_MS } from './lead-voice.js';
 export const WORK_INDEX_PAGE_LIMIT = 40;
 export const WORK_INDEX_MAX_LIMIT = 100;
@@ -379,7 +379,8 @@ export function workIndexPage(store, now, access, options = {}) {
     'proof_verdict',(SELECT COALESCE(machine_verdict,verdict) FROM proof_verdict WHERE run=page_result_id),
     'proof_failed_check',(SELECT verdict='refuted' AND reasons_json LIKE '%approved verification command exited%' FROM proof_verdict WHERE run=page_result_id),'code',code,'needs',needs,'person_need',person_need,'lead_claim',lead_claim,'family_running',family_running,'rank',rank,'ask_rank',ask_rank,'list_order',${ORDER},'sort_at',sort_at,
     'checked_actor',checked_actor,'checked_at',checked_at,'checked_digest',checked_digest,'question_id',question_id,
-    'dependency_id',dependency_id,'dependency_state',dependency_state,'custody_unresolved',custody_unresolved,'hold_kind',hold_kind,'hold_reason',substr(hold_reason,1,300),'stop_run',stop_run,'unfinished',unfinished,'signed_out',signed_out,
+    'dependency_id',dependency_id,'dependency_state',dependency_state,'custody_unresolved',custody_unresolved,'hold_kind',hold_kind,'hold_reason',substr(hold_reason,1,300),'hold_id',hold_id,'live_lease',live_lease IS NOT NULL,'approved',COALESCE(approved,0),
+    'plan_changed',scope_digest IS NOT NULL AND digest IS NOT scope_digest,'head_ok',length(head_revision)=40 AND head_revision NOT GLOB '*[^a-f0-9]*','stop_run',stop_run,'unfinished',unfinished,'signed_out',signed_out,
     'question_run',(SELECT run FROM decision WHERE id=page.question_id),'replaced_by',(SELECT successor FROM task_replacement WHERE task_ref=page.ref_id),
     'completed_by_lead',(SELECT lead FROM task_act WHERE task_ref=page.root_ref AND act='completed' ORDER BY id DESC LIMIT 1),
     'question_task',(SELECT r.external_id FROM decision d JOIN run ON run.id=d.run JOIN task_ref r ON r.id=run.task_ref WHERE d.id=page.question_id)) FROM page`)
@@ -460,7 +461,8 @@ function itemOf(row, principal, probe) {
         running: ['Running now', '', null, ''],
         'waiting-decision': ['Needs your decision', 'An unanswered question is waiting.', n(row, 'question_id') ? 'answer-decision' : 'inspect-decisions', 'Answer question'],
         'decision-queue': ['Needs your decision', 'The decision queue is full.', 'inspect-decisions', 'Review open questions'],
-        'result-needs-attention': ['Needs your decision', 'Inspect the saved result and resolve its remaining execution or scope issue.', 'inspect-run', 'Inspect run'],
+        // Its own reason replaces this below (resultHoldUpSentence).
+        'result-needs-attention': ['Needs your decision', '', 'inspect-run', 'Inspect run'],
         'process-needs-attention': ['Needs your decision', 'A process exit is not recorded. Open the attempt to check whether its work has stopped.', 'inspect-run', 'Inspect run'],
         failed: ['Needs your decision', 'The last attempt stopped.', 'retry-task', 'Review and retry'],
         'vanished-run': ['Needs your decision', 'An unfinished attempt has no current live claim.', 'reconcile-run', 'Check the unfinished attempt'],
@@ -505,6 +507,13 @@ function itemOf(row, principal, probe) {
     // A failed task says the latest finished attempt across its whole family, whatever its outcome: its recorded reason, or that none was recorded.
     if (code === 'failed')
         detail = failedAttemptSentence(s(row, 'attempt_reason'));
+    // A saved result that can't be accepted yet says its own reason, never one line for every such row.
+    const planChanged = code === 'result-needs-attention' && n(row, 'plan_changed') === 1;
+    if (code === 'result-needs-attention')
+        detail = resultHoldUpSentence({ hold: s(row, 'hold_id') === null ? null : s(row, 'hold_reason') ?? '', planChanged,
+            unapproved: n(row, 'approved') !== 1, question: s(row, 'question_id') !== null, running: n(row, 'live_lease') === 1, unfinished: s(row, 'unfinished') !== null,
+            noCommit: !['built', 'no-change'].includes(s(row, 'result_outcome') ?? '') || (s(row, 'result_role') === 'builder' && n(row, 'head_ok') !== 1),
+            report: s(row, 'result_role') === 'scout' });
     if (code === 'result-needs-attention' && n(row, 'custody_unresolved'))
         detail = 'A process exit is not recorded. Open the result to check whether its work has stopped.';
     if (code === 'result-needs-attention' && ['built', 'no-change'].includes(s(row, 'result_outcome') ?? '')) {
@@ -573,6 +582,7 @@ function itemOf(row, principal, probe) {
         status: { token: `assignment-${assignmentState}`, label, detail, tone: workToneOf(shared.headline),
             action: primaryAction === null ? null : { label: actionLabel, kind: actionCode === 'open-result' ? 'open-result' : 'open-task' }, views, rank: n(row, 'rank') },
         ask: need ? ASKS[n(row, 'ask_rank')] ?? 'unblock' : null,
+        chip: need ? askChipOf({ headline: shared.headline, need: shared.need?.key ?? null, planChanged, mismatch: verdict === 'refuted' && n(row, 'proof_failed_check') !== 1, ask: ASKS[n(row, 'ask_rank')] ?? 'unblock' }) : null,
         primaryAction, completion: code === 'complete' ? { actor: String(row['checked_actor']), at: String(row['checked_at']), digest: String(row['checked_digest']) } : null,
         evidence: 'recorded' };
 }

package/dist/workspace-motion.js

@@ -21,7 +21,7 @@ export const WORKSPACE_MOTION_CSS = String.raw `
 .t-acc[data-open="false"] > .t-acc-panel { grid-template-rows: 0fr; }
 .t-acc[data-open="false"] > .t-acc-panel > .t-acc-panel-inner { opacity: 0; }
 .t-acc > summary { cursor: pointer; }
-.t-acc > summary .t-acc-chevron { width: 14px; height: 14px; margin-left: .4rem; }
+.t-acc > summary .t-acc-chevron { width: 14px; height: 14px; margin-right: .375rem; flex: none; }
 .t-acc > summary .t-acc-chevron svg { width: 100%; height: 100%; }
 .t-acc > summary::before, .t-acc > summary::after { content: none !important; }
 .t-acc > summary::-webkit-details-marker { display: none; }
@@ -60,9 +60,9 @@ export const WORKSPACE_MOTION_SCRIPT = String.raw `
       Array.from(details.childNodes).forEach(function(node){if(node!==head)inner.appendChild(node);});
       panel.appendChild(inner);details.appendChild(panel);details.classList.add('t-acc');
       var chevron=document.createElement('span');chevron.className='t-acc-chevron';chevron.setAttribute('aria-hidden','true');
-      chevron.innerHTML='<svg viewBox="0 0 16 16" fill="none" stroke="currentColor" stroke-width="1.5"><path d="M4 6.5L8 10.5L12 6.5"/></svg>';
+      chevron.innerHTML='<svg viewBox="0 0 16 16" fill="none" stroke="currentColor" stroke-width="1.5"><path d="M6 4L10 8L6 12"/></svg>';
       // Use the existing icon when present, rather than rendering two.
-      var old=head.querySelector(':scope > svg');if(old)old.remove();head.appendChild(chevron);
+      var old=head.querySelector(':scope > svg');if(old)old.remove();head.prepend(chevron);
     }
     details.dataset.motionReady='true';
     var timer=null,closing=false;

package/dist/workspace-ui.d.ts

@@ -17,7 +17,7 @@
  * claimed without one.
  */
 import type { DispatchDiagnosis } from "./dispatch.js";
-import { ACCEPT_NEEDS_REASON } from "./result-acts.js";
+import { ACCEPT_NEEDS_REASON, type AcceptLabel } from "./result-acts.js";
 export { ACCEPT_NEEDS_REASON };
 import { type ProofVerdict } from "./proof.js";
 import type { ReviewRetryState, TaskState } from "./store.js";
@@ -241,15 +241,15 @@ export declare function lastErrorLineOf(log: string): {
 /** The result page's own sentence when the decision is on it. */
 export declare const RESULT_DECISION_SENTENCE = "Review the change, then accept it or ask for changes.";
 /** What the result page's Accept says, from facts it already shows: the
- * recorded checks, the requirements not met, the ones a person still checks,
- * whether the saved proof reads, and what the button posts. "Accept" only when everything is met and the
- * checks passed; otherwise "Accept without checks" and one line naming what.
+ * recorded checks, the requirements not met, whether the saved proof reads,
+ * and what the button posts. "Accept and finish" only when everything is met
+ * and the checks passed; otherwise "Accept without checks" and one line naming
+ * what. The person's own checks are the page's to add (acceptWithChecksOf).
  * `effect` says what pressing it does, in the action's own terms. */
 export type AcceptFacts = {
     checks: "passed" | "failed" | "not-run" | "off" | "running" | "unavailable" | null;
     unmet: number;
-    yours: number;
-    /** `complete`: marks the exact result complete; `accept`: records a person's acceptance only. */
+    /** `complete`: accepts and finishes the exact result in one request; `accept`: records a person's acceptance only (nothing here can finish it). */
     action: "complete" | "accept";
     /** `pull-request`: one can be opened from the task after; `off`: publishing isn't set up; `other`: neither is said. Accept itself never publishes. */
     publishing: "pull-request" | "off" | "other";
@@ -257,7 +257,7 @@ export type AcceptFacts = {
     proof: boolean;
 };
 export type AcceptWords = {
-    label: "Accept" | "Accept without checks";
+    label: AcceptLabel;
     ready: boolean;
     why: string | null;
     effect: string;
@@ -287,3 +287,39 @@ export type PrimaryDestination = "chat" | "work" | "projects" | "flows" | "setti
 export declare function primaryDestinationOf(active: string): PrimaryDestination;
 /** Learning stays in Settings and a useful, closed result disclosure. */
 export declare function learningHtml(view: import('./project-learning.js').LearningView, csrf: string, canManage: boolean, source?: number): string;
+/** The first signed requirement a finished attempt missed (failed or unanswered; a person's own check is not a miss),
+ * with the evidence line behind it in plain words. Null when every requirement held. */
+export declare function missedRequirementOf(matrix: readonly {
+    id: string;
+    statement: string;
+    state: string;
+    detail: readonly string[];
+}[]): {
+    id: string;
+    statement: string;
+    evidence: string | null;
+} | null;
+/** One milestone of a live build's plan, as the agent last reported it; its words are null where only the recorded
+ * progress was read (a list row reads no plan file). */
+export type BuildStep = {
+    description: string | null;
+    state: "pending" | "current" | "completed" | "blocked";
+    note: string | null;
+};
+/** Where a live build is, in one line: "Step 3 of 6: …", or, when a step is blocked, "Stuck on step 4 of 6: <why>" in
+ * its place. `stuck` says which step and why; null while nothing is blocked. */
+export type BuildProgress = {
+    step: number;
+    total: number;
+    line: string;
+    stuck: {
+        step: number;
+        why: string | null;
+        line: string;
+    } | null;
+};
+/** A live build's progress: the step in progress (else the first one not done) as "Step N of M: <step>"; a blocked
+ * step replaces it as "Stuck on step N of M: <why>" (its note, else the step itself). Null with no plan steps. */
+export declare function buildProgressOf(steps: readonly BuildStep[] | null | undefined): BuildProgress | null;
+/** Earlier attempts that stopped before the one now running, in one quiet line. */
+export declare function earlierAttemptsWords(count: number): string;