toolroll 0.9.63 → 0.9.65

package/dist/server/sweeps.js

@@ -0,0 +1,58 @@
+/**
+ * A lead sweep's table (docs/plans/lead-fan-out.md): every child with its state, its verdict and its result, read from
+ * facts on each look (the page follows the console's live beat). The only sweep-wide act is "cancel the rest"; steer,
+ * cancel or retry one child is that task's own page.
+ */
+import { CONSOLE_FORMS, readForm } from "../contracts/console-api.js";
+import { html, postForm } from "../html.js";
+import { cancelSweepRest, sweepLine, sweepOpen, sweepOpenDigest, sweepTable } from "../lead-sweep.js";
+import { refuse, screen } from "./chrome.js";
+import { handlersOf } from "./handler-registry.js";
+import { redirect } from "./http.js";
+const SWEEP_PATH = /^\/sweeps\/([1-9][0-9]{0,9})(?:\/cancel-rest)?$/;
+const STATE_WORDS = {
+    working: "Working", checking: "Checking", "needs-decision": "Needs you", "ready-to-check": "Ready", complete: "Complete", cancelled: "Cancelled", missing: "Gone",
+};
+export function createSweepHandlers(runtime) {
+    const { store, clock, sendScreen, chromeFor, evidenceRoot, consoleProjects, liveRefreshSeconds } = runtime;
+    const readable = () => runtime.workAccess().repos ?? consoleProjects();
+    async function page(ctx) {
+        const { url, who, response } = ctx;
+        const id = Number(SWEEP_PATH.exec(url.pathname)?.[1]);
+        const table = sweepTable(store, id, clock(), readable(), evidenceRoot);
+        if (table === null)
+            return refuse(response, who, 404, "There's no sweep at this address you can see.", "/chat");
+        const said = url.searchParams.get("said");
+        const rows = table.rows.map(row => html `<tr data-sweep-row="${row.ordinal}">
+      <td>${row.ordinal + 1}</td>
+      <td><a href="/t/${encodeURIComponent(row.task)}">${row.label}</a></td>
+      <td><span class="chip">${STATE_WORDS[row.state]}</span></td>
+      <td>${row.verdict === null ? html `<span class="meta">—</span>` : html `<strong>${row.verdict.verdict}</strong> <span class="meta">${row.verdict.why}</span>`}</td>
+      <td>${row.result === null ? "" : html `<a href="/t/${encodeURIComponent(row.result.taskId)}">Result →</a>`}</td>
+    </tr>`);
+        // The form names exactly what it would act on (each item's active task, state and attempt): a change is refused.
+        const open = sweepOpen(store, table, clock());
+        const running = open.filter(one => one.run !== null).length;
+        const cancel = who.role !== "approver" || open.length === 0 ? "" : html `<details class="card"><summary>Cancel the rest (${open.length})</summary>${postForm(`/sweeps/${id}/cancel-rest`, html `<p>Cancels ${open.length - running} unfinished item${open.length - running === 1 ? "" : "s"}${running === 0 ? "" : ` and stops ${running} running build${running === 1 ? "" : "s"}`}: ${open.map(one => one.label).join(", ")}. Finished results stay.</p><label class="arm"><input type="checkbox" name="confirm" value="yes" required> Cancel the rest</label><button class="danger">Cancel the rest</button>`, { hidden: { snapshot: sweepOpenDigest(open) } })}</details>`;
+        const body = html `<h1>${table.title}</h1>${said === null ? "" : html `<p role="status">${said}</p>`}
+      <p class="meta">${sweepLine(table)} · at most ${table.maxParallel} at once · each item is its own task in its own worktree</p>
+      <table class="sweep-table"><thead><tr><th>#</th><th>Item</th><th>State</th><th>Verdict</th><th></th></tr></thead><tbody>${rows}</tbody></table>${cancel}`;
+        return sendScreen(response, 200, screen(table.title, body, { chrome: chromeFor(table.repo, "work"), refreshSeconds: liveRefreshSeconds() }));
+    }
+    async function cancelRest(ctx) {
+        const { url, who, response, posted } = ctx;
+        const id = Number(SWEEP_PATH.exec(url.pathname)?.[1]);
+        const body = readForm(posted, CONSOLE_FORMS.sweep);
+        const table = sweepTable(store, id, clock(), readable(), evidenceRoot);
+        if (table === null)
+            return refuse(response, who, 404, "There's no sweep at this address you can see.", "/chat");
+        if (body.get("confirm") !== "yes")
+            return redirect(response, `/sweeps/${id}?said=${encodeURIComponent("Tick the box to cancel the rest.")}`);
+        const now = clock();
+        const open = sweepOpen(store, table, now);
+        if (body.get("snapshot") !== sweepOpenDigest(open))
+            return redirect(response, `/sweeps/${id}?said=${encodeURIComponent("The sweep changed while you were reading. Look again, then cancel.")}`);
+        return redirect(response, `/sweeps/${id}?said=${encodeURIComponent(cancelSweepRest(store, who.name, open, now, "web"))}`);
+    }
+    return { registrations: handlersOf("tasks", { "sweep.page": page, "sweep.cancel-rest": cancelRest }) };
+}

package/dist/server/task-views.d.ts

@@ -11,6 +11,7 @@ import { type ProjectPeek, type WorkRow } from "./render-pages.js";
 import { type CompletionReceiptView, type ResultDetail, type TaskPullRequest } from "./render-results.js";
 import { taskBody, type MilestoneProgressView, type PlanContractView, type PlanRevisionLedgerView, type RevisionDocView, type RevisionView, type RouteView } from "./render-tasks.js";
 import { type Who } from "./session.js";
+import type { TaskPageExtras } from "./runtime.js";
 import type { PlanRevision, TaskRef } from "../store.js";
 import { type Run, type Store, type Task, type TaskState } from "../store.js";
 import { type ReviewFacts } from "../workspace-ui.js";
@@ -74,7 +75,7 @@ export declare function createTaskViews(runtime: TaskViewsRuntime): {
         level: "quick" | "full";
         returnTo: string;
     } | null;
-    taskScreen: (response: ServerResponse, who: Who, taskId: string, problem: string | null, status: number, scopeDraft?: URLSearchParams, cancelDraft?: string, editPlan?: boolean) => void;
+    taskScreen: (response: ServerResponse, who: Who, taskId: string, problem: string | null, status: number, scopeDraft?: URLSearchParams, cancelDraft?: string, editPlan?: boolean, extras?: TaskPageExtras) => void;
     armTaskResume: (response: ServerResponse, who: Who, taskId: string, named: string, returnTo: "chat" | "task", now: Date) => void;
     planViewOf: (taskRef: number) => {
         document: string;

package/dist/server/task-views.js

@@ -1,6 +1,9 @@
+import { approvalProofOf, freshlyApprovable, freshnessFor, withFreshness } from "../scope.js";
+import { liveAttemptOf, steerControlsFor } from "../steer-controls.js";
+import { originOf } from "../task-source.js";
 import { taskBaseOf } from "../task-base.js";
 import { assignmentPresentationOf, historicalAssessmentReason } from '../assignment-presentation.js';
-import { html, joinHtml } from "../html.js";
+import { html, htmlString, joinHtml } from "../html.js";
 import { assignmentStatusOf, assignmentWithEvidence } from '../assignment-ui.js';
 import { assignmentOf } from '../assignment.js';
 import { knowledgeContextHtml } from "../knowledge-ui.js";
@@ -18,7 +21,7 @@ import { taskFingerprint } from "../task-live.js";
 import { pullRequestFactOf } from '../task-status.js';
 import { openWorkDecisionOf } from "../work-summary.js";
 import { learningHtml } from "../workspace-ui.js";
-import { randomBytes } from "node:crypto";
+import { createHash, randomBytes } from "node:crypto";
 import {} from "node:http";
 import { agentChoicesFor, routeOfTask } from "../agentconfig.js";
 import { rulesSummary } from "../approval-rules-ui.js";
@@ -41,6 +44,8 @@ import {} from "./render-pages.js";
 import { completionReceiptView, diffFileAnchor, evidenceLinksFor, followUpsFor, orderChangedFiles, parseReviewDiff, proofBundleView, receiptStatusOf, withinSignedTouches } from "./render-results.js";
 import { approvalFormDigest, consentDoorOf, nonceHashOf, publicationFactsOf, resumeCeremonyPage, resumeDigestOf, taskBody, taskPage } from "./render-tasks.js";
 import {} from "./session.js";
+import { RESULT_REVIEW_SCRIPT } from "../result-review.js";
+import { reviewEvidenceScript } from "./render-results.js";
 import { budgetHoldWords, budgetLabel, monthOf } from "../spend.js";
 import {} from "../store.js";
 import { taskControlOf } from "../task-control.js";
@@ -367,6 +372,8 @@ export function createTaskViews(runtime) {
             repairChain: completion !== null ? null : runtime.store.repairChainForDraft(taskId),
             repo: ref?.repo ?? null,
             filedVia: runtime.store.filedViaOf(taskId),
+            // v126: where the work came from (a flow, an outside event), from what was kept when it was filed.
+            origin: (() => { const repos = runtime.workAccess().repos; return originOf(runtime.store, taskId, repo => repos === null || repos.includes(repo)); })(),
             coordinator: (() => {
                 const who = runtime.store.coordinatorProvenanceOf(taskId);
                 if (who === null)
@@ -485,6 +492,31 @@ export function createTaskViews(runtime) {
             steering: ref === null ? [] : runtime.store.listSteerNotes(ref.id),
             base: taskBaseOf(runtime.store, taskId),
             steeringLive: ref !== null && runtime.store.steeringLiveBuild(ref.id, now) !== null,
+            steeringRun: ref === null ? null : runtime.store.steeringLiveBuild(ref.id, now),
+            approvalProof: (() => {
+                // The proof of the approval shown: its approver, its exact sealed digest (approvedDigest === digest when approved).
+                const scope = ref === null ? null : runtime.store.getScope(ref.externalId);
+                return scope === null || scope.approvedBy === null || scope.approvedDigest === null ? null
+                    : approvalProofOf(runtime.store, ref.externalId, scope.approvedBy, scope.approvedDigest);
+            })(),
+            // Cockpit B2: whether this person's remembered password may approve these exact terms (the same rule approve()
+            // applies), and since when.
+            approvalFresh: (() => {
+                const scope = ref === null ? null : runtime.store.getScope(ref.externalId);
+                if (scope === null || who?.via !== "cookie")
+                    return null;
+                const fresh = withFreshness("approve-standard", () => freshnessFor(who.name, Date.now(), true));
+                if (fresh === null)
+                    return null;
+                const gate = runtime.store.approvalGate(ref.externalId, who.name, "person");
+                return freshlyApprovable(runtime.store, ref.externalId, scope, gate.verdict === "seal" && !gate.protectedWork) ? new Date(fresh.at).toISOString() : null;
+            })(),
+            steerRecent: ref === null ? [] : runtime.store.runsFor(ref.id).filter(one => one.outcome !== null).map(one => one.id).sort((a, b) => b - a).slice(0, 5),
+            // The running attempt's composer, for an approver on a browser session (steer-controls.ts).
+            steerComposer: (() => {
+                const run = ref === null ? null : liveAttemptOf(runtime.store, ref.id, now);
+                return run === null ? null : steerControlsFor(runtime.store, ref.externalId, run, now, who?.role === "approver");
+            })(),
             // "publishes as" reads ONLY publicationGrantFor(repo) — the grant
             // the publisher would act under — never listGrants(), which is
             // dispatch authority (slice 1c).
@@ -584,6 +616,7 @@ export function createTaskViews(runtime) {
                     deliverable: view.deliverable ?? "branch",
                     revision: view.revision ?? null,
                     coordinator: view.coordinator ?? null,
+                    origin: view.origin ?? null,
                     repairChain: view.repairChain ?? null,
                 },
             decisions: (view?.decisions ?? runtime.store.decisionsForTask(ref.id))
@@ -690,7 +723,53 @@ export function createTaskViews(runtime) {
             return null;
         return { action: `/r/${runId}/checks`, level: followUps.full ? "full" : "quick", returnTo };
     }
-    function taskScreen(response, who, taskId, problem, status, scopeDraft, cancelDraft, editPlan = false) {
+    /**
+     * One page per task (docs/plans/one-page-task-and-agent.md): the tab the address named, the Result tab's result with
+     * every result attempt to pick from, and every link that would open a result page of this family (its /review deep
+     * link, a build's /r/<n>) pointed at this page's Result tab instead — the person stays on the task.
+     */
+    function onePageView(view, family, runs, extras) {
+        const root = family?.root.id ?? view.id;
+        const current = family?.current.id ?? view.id;
+        const versions = new Set(family?.versions.map(one => one.id) ?? [view.id]);
+        const results = new Map(runs.filter(run => runIsTaskResult(run) && (extras.admissible === undefined || extras.admissible.has(run.id))).map(run => [run.id, run.taskId]));
+        const tabHref = (taskId, run, section, hash) => `${taskHref(root)}?${taskId !== current ? `version=${encodeURIComponent(taskId)}&` : ""}tab=result${run === null ? "" : `&run=${run}`}${section === null || section === "summary" ? "" : `&section=${section}`}${hash}`;
+        const toTab = (href) => {
+            const review = /^\/review\?result=([A-Za-z0-9._~%-]{1,200})(?:&run=([0-9]{1,15}))?(?:&tab=(summary|changes|checks))?(#[A-Za-z0-9_-]{1,120})?$/.exec(href);
+            if (review !== null) {
+                const taskId = decodeURIComponent(review[1]);
+                if (versions.has(taskId))
+                    return tabHref(taskId, review[2] === undefined ? null : Number(review[2]), review[3] ?? null, review[4] ?? "");
+            }
+            const record = /^\/r\/([0-9]{1,15})$/.exec(href);
+            if (record !== null && results.has(Number(record[1])))
+                return tabHref(results.get(Number(record[1])), Number(record[1]), null, "");
+            return href;
+        };
+        const link = (one) => one === null ? null : { ...one, href: one.href === null ? null : toTab(one.href) };
+        const status = view.status === null ? null : { ...view.status, action: view.status.action === null ? null : link(view.status.action),
+            status: { ...view.status.status, details: view.status.status.details.map(one => ({ ...one, href: one.href === null ? null : toTab(one.href), action: one.action === null ? null : link(one.action) })) } };
+        const selected = extras.result?.selected ?? null;
+        const attempts = [...results.entries()].sort((a, b) => b[0] - a[0]).map(([id, taskId]) => {
+            const run = runs.find(one => one.id === id);
+            const outcome = run.outcome === "built" ? "result" : run.outcome === "no-change" ? "no change" : run.outcome === null ? "never finished" : run.outcome;
+            return { label: `${run.role === "scout" ? "Report" : "Build"} #${id} · ${outcome}`, href: tabHref(taskId, id, null, ""), current: selected?.build === id };
+        });
+        return {
+            ...view,
+            status,
+            ...(view.failure == null ? {} : { failure: { ...view.failure, link: link(view.failure.link) } }),
+            ...(view.earlier == null ? {} : { earlier: { ...view.earlier, attempts: view.earlier.attempts.map(one => ({ ...one, href: toTab(one.href) })) } }),
+            ...(view.thread === undefined ? {} : { thread: view.thread.map(one => ({ ...one, link: link(one.link) })) }),
+            // The previous result's fold moves to the Result tab when there is one.
+            sections: selected === null ? view.sections : view.sections.filter(one => one.id !== "result"),
+            tab: extras.tab ?? "activity",
+            result: selected === null ? null : { selected, current: extras.result.current, attempts,
+                // Fresh per-render request tokens (32 hex) are not what it shows: left out, so an unchanged result keeps its stamp.
+                revision: createHash("sha256").update(JSON.stringify(selected).replace(/\b[a-f0-9]{32}\b/g, "")).digest("hex").slice(0, 16) },
+        };
+    }
+    function taskScreen(response, who, taskId, problem, status, scopeDraft, cancelDraft, editPlan = false, extras = {}) {
         const admittedFamily = runtime.familyOf(taskId);
         if (admittedFamily?.problem != null)
             return runtime.sendScreen(response, status, screen(admittedFamily.root.title, html `<h1>${admittedFamily.root.title}</h1><p>${admittedFamily.current.state}</p><p class="problem" data-history-problem>${admittedFamily.problem}</p>`, { chrome: runtime.chromeFor(admittedFamily.root.repo, "tasks") }));
@@ -738,10 +817,21 @@ export function createTaskViews(runtime) {
                     catch {
                         return null;
                     } })() } } : {}) } : page.workspace?.view;
+        // A refusal that keeps a draft (a scope edit, an armed cancel) or asks for the plan editor reopens on Plan, where the
+        // draft and its error are; anything else on Activity unless the address named a tab.
+        const tab = extras.tab ?? (scopeDraft !== undefined || cancelDraft !== undefined || editPlan ? "plan" : "activity");
+        const oneTaskView = taskView?.kind === "task" ? onePageView(taskView, family, presentedData.family?.runs ?? data.runs.map(run => ({ ...run, taskId: data.task.id })), { ...extras, tab }) : taskView;
+        // The Result tab's no-script page, under the task's own (the same HTML its result page serves), and its script.
+        if (extras.result != null) {
+            page.body = html `${page.body}<section class="task-result-tab" id="task-result" aria-label="Result">${extras.result.html}</section>`;
+            // The result's own script, as its result page ships it (a password form there keeps it too: Request changes and
+            // the line notes need it).
+            page.functional = { script: `${page.functional?.script ?? ""}${reviewEvidenceScript()}${RESULT_REVIEW_SCRIPT}`, fetches: page.functional?.fetches ?? false };
+        }
         if (docked !== null)
-            page.workspace = { ...page.workspace, ...(taskView === undefined ? {} : { view: taskView }), conversation: docked, pageHtml: page.body };
-        else if (taskView !== undefined && page.workspace !== undefined)
-            page.workspace = { ...page.workspace, view: taskView };
+            page.workspace = { ...page.workspace, ...(oneTaskView === undefined ? {} : { view: oneTaskView }), conversation: docked, pageHtml: page.body };
+        else if (oneTaskView !== undefined && page.workspace !== undefined)
+            page.workspace = { ...page.workspace, view: oneTaskView };
         page.refreshSeconds = runtime.liveRefreshSeconds();
         return runtime.sendScreen(response, status, page);
     }