Add task summaries, closed-task search and a summary turn before discard

web/src/api.gen.ts

@@ -320,7 +320,7 @@ export interface paths {
         };
         get?: never;
         put?: never;
-        /** @description Removes the task's worktree and branch without merging. The task's record and events remain. */
+        /** @description Gives the task's agent one dedicated turn to write the task summary, started at once when its session is idle (or in a new session when it has none) and otherwise as soon as the running turn ends, with no other turn admitted meanwhile; drops any held merge; and when that turn ends however it ends, removes the task's worktree and branch without merging and marks the task discarded. The task's record, summary and events remain. Refused while the task is merging or already being discarded; on a task whose cleanup failed, retries the cleanup. */
         post: operations["discardTask"];
         delete?: never;
         options?: never;
@@ -874,6 +874,10 @@ export interface components {
             workflow_stage?: string;
             /** @description Whether a review of one of the task's snapshots is running. */
             reviewing: boolean;
+            /** @description Whether a Merge was started and its turn hasn't ended yet. */
+            merging: boolean;
+            /** @description Whether a Discard was started and the task isn't closed yet: its summary turn is waiting for the running turn, running, or done and the task is being removed. */
+            discarding: boolean;
         };
         Todo: {
             /** @description Whether the default branch has a TODO.md at its root. */
@@ -1818,8 +1822,8 @@ export interface operations {
         };
         requestBody?: never;
         responses: {
-            /** @description The discarded task. */
-            200: {
+            /** @description The task, still active, whose discard was started. */
+            202: {
                 headers: {
                     [name: string]: unknown;
                 };

web/src/state.ts

@@ -83,6 +83,12 @@ export function currentSession(taskId: string): AgentSession | undefined {
 }
 
 export function taskState(task: Task): string | undefined {
+  if (task.discarding) {
+    return "discarding";
+  }
+  if (task.merging) {
+    return "merging";
+  }
   const s = currentSession(task.id)?.state;
   return s === "idle" && task.reviewing ? "reviewing" : s;
 }
@@ -306,6 +312,9 @@ export function handleEvent(ev: ByreEvent): void {
     case "task.merge_title":
     case "task.merge_queued":
     case "task.merge_unqueued":
+    case "task.merge_started":
+    case "task.merge_ended":
+    case "task.discard_started":
     case "task.merged":
     case "task.discarded":
       if (ev.project_id) {

web/src/task.ts

@@ -177,7 +177,7 @@ function taskHead(rerender: () => void): Head {
           mergeIn.disabled = false;
         }
       };
-      const discard = h("button", { class: "danger", disabled: busy, title: "Delete the worktree and branch without merging" }, "Discard");
+      const discard = h("button", { class: "danger", disabled: busy, title: "The agent writes the task summary, then byre deletes the worktree and branch without merging" }, "Discard");
       discard.onclick = () =>
         confirmThen(`Discard "${task.title}"?`, "Discard", true, discard, async () => {
           await post("/api/tasks/{taskId}/discard", { path: { taskId: task.id } });
@@ -1120,6 +1120,12 @@ function renderEvent(ev: ByreEvent, ctx: Ctx): HTMLElement | null {
         when,
       );
 
+    case "task.summary":
+      return h("div", { class: "note" }, `${ev.actor} set the task summary `, when);
+
+    case "task.discard_started":
+      return h("div", { class: "note" }, `${ev.actor} asked to discard the task; the agent writes the task summary first `, when);
+
     case "task.discarded":
       return h("div", { class: "note" }, `${ev.actor} discarded the task `, when);
   }