opencode-courier 0.5.0 → 0.6.0

package/dist/tui.js

@@ -18,7 +18,8 @@ var Permission = Schema.Struct({
   requestID: Schema.String,
   action: Schema.String,
   resources: Schema.Array(Schema.String),
-  save: Schema.optionalKey(Schema.Array(Schema.String))
+  save: Schema.optionalKey(Schema.Array(Schema.String)),
+  passesOn: Schema.optionalKey(Schema.Struct({ sessionID: Schema.String, requestID: Schema.String }))
 });
 var Prompt = Schema.Struct({
   question: Schema.String,
@@ -36,8 +37,7 @@ var Asks = Schema.Struct({
   top: Schema.String,
   sessions: Schema.Array(Session),
   permissions: Schema.Array(Permission),
-  questions: Schema.Array(Question),
-  truncated: Schema.optionalKey(Count)
+  questions: Schema.Array(Question)
 });
 var Answered = Schema.Struct({
   answered: Schema.Boolean,
@@ -66,12 +66,22 @@ var REJECTED = "Refused by the session that started you. Do without it, or repor
 var QUESTION_FORM = "question";
 var INBOX_COMMAND = "courier.asks";
 var SETTLE_MS = 250;
+var topSession = (asks) => ({
+  sessionID: asks.top,
+  title: "",
+  parentID: "",
+  depth: 0
+});
 function asksOf(asks, forms) {
-  return asks.sessions.flatMap((session) => [...asks.permissions.filter((request) => request.sessionID === session.sessionID).map((request) => ({
+  const prompting = new Set(asks.permissions.flatMap((request) => request.sessionID === asks.top && request.passesOn ? [request.passesOn.requestID] : []));
+  return [topSession(asks), ...asks.sessions].flatMap((session) => [...asks.permissions.filter((request) => request.sessionID === session.sessionID).map((request) => ({
     kind: "permission",
     key: `permission ${request.requestID}`,
     session,
-    request
+    request,
+    ...session.depth > 0 && prompting.has(request.requestID) ? {
+      prompted: true
+    } : {}
   })), ...asks.questions.filter((question) => question.sessionID === session.sessionID).map((question) => ({
     kind: "question",
     key: `question ${question.requestID}`,
@@ -84,11 +94,13 @@ function asksOf(asks, forms) {
     form
   }))]);
 }
-function pathOf(asks, sessionID, topTitle) {
+function pathOf(asks, sessionID, topTitle, currentTitle = () => {
+  return;
+}) {
   const byID = new Map(asks.sessions.map((session) => [session.sessionID, session]));
   const titles = [];
   for (let at = byID.get(sessionID);at && titles.length <= byID.size; at = byID.get(at.parentID))
-    titles.unshift(at.title);
+    titles.unshift(currentTitle(at.sessionID) || at.title);
   return [topTitle, ...titles].join(" \u203A ");
 }
 var clip = (text, max = 80) => text.length > max ? `${text.slice(0, max - 1)}\u2026` : text;
@@ -97,9 +109,13 @@ function askTitle(ask) {
     case "permission": {
       const {
         action,
-        resources
+        resources,
+        passesOn
       } = ask.request;
-      return clip(resources.length ? `Permission: ${action} ${resources.join(", ")}` : `Permission: ${action}`);
+      const what = resources.length ? `${action} ${resources.join(", ")}` : action;
+      if (ask.session.depth > 0)
+        return clip(`Permission: ${what}`);
+      return clip(passesOn ? `Permission (top session): courier_answer once for "${what}"` : `Permission (top session): ${what}`);
     }
     case "question": {
       const [first, ...rest] = ask.question.questions;
@@ -112,14 +128,89 @@ function askTitle(ask) {
   }
 }
 function askFooter(ask) {
-  return [`depth ${ask.session.depth}`, ask.session.group ? `group ${ask.session.group}` : "", ask.kind === "question" && ask.question.stopped ? "cut off, answered by message" : ""].filter(Boolean).join(" \xB7 ");
+  const top = ask.session.depth === 0;
+  return [top ? "top session" : `depth ${ask.session.depth}`, ask.session.group ? `group ${ask.session.group}` : "", ask.kind === "permission" && ask.prompted ? "the top's prompt asks" : "", ask.kind === "question" && ask.question.stopped ? "cut off, answered by message" : ""].filter(Boolean).join(" \xB7 ");
 }
-var soundOf = (ask) => ask.kind === "permission" ? "permission" : "question";
-function shown(field, answers) {
-  if ("hidden" in field && field.hidden)
-    return false;
+function active(field, answers) {
   const when = "when" in field ? field.when ?? [] : [];
-  return when.every((condition) => condition.op === "eq" ? answers[condition.key] === condition.value : answers[condition.key] !== condition.value);
+  return when.every(({
+    key,
+    op,
+    value
+  }) => {
+    const answer = answers[key];
+    if (answer === undefined)
+      return false;
+    const hit = Array.isArray(answer) ? answer.some((item) => item === value) : answer === value;
+    return op === "eq" ? hit : !hit;
+  });
+}
+var EMAIL = /^[^\s@]+@[^\s@]+\.[^\s@]+$/;
+var isDate = (text) => /^\d{4}-\d{2}-\d{2}$/.test(text) && new Date(`${text}T00:00:00.000Z`).toISOString().slice(0, 10) === text;
+function misfit(field, value) {
+  if (field.type === "string") {
+    if (typeof value !== "string")
+      return "Expected text";
+    if (field.required && !value)
+      return "Answer required";
+    if (field.minLength !== undefined && value.length < field.minLength)
+      return `Must be at least ${field.minLength} characters`;
+    if (field.maxLength !== undefined && value.length > field.maxLength)
+      return `Must be at most ${field.maxLength} characters`;
+    if (field.pattern !== undefined) {
+      try {
+        if (!new RegExp(field.pattern).test(value))
+          return `Must match pattern: ${field.pattern}`;
+      } catch {
+        return `Invalid pattern: ${field.pattern}`;
+      }
+    }
+    if (field.format === "email" && !EMAIL.test(value))
+      return "Expected an email address";
+    if (field.format === "uri" && !URL.canParse(value))
+      return "Expected a URL";
+    if (field.format === "date" && !isDate(value))
+      return "Expected a date (YYYY-MM-DD)";
+    if (field.format === "date-time" && Number.isNaN(new Date(value).getTime()))
+      return "Expected a date and time";
+    return;
+  }
+  if (field.type === "number" || field.type === "integer") {
+    if (typeof value !== "number" || !Number.isFinite(value))
+      return "Expected a number";
+    if (field.type === "integer" && !Number.isInteger(value))
+      return "Expected an integer";
+    if (typeof field.minimum === "number" && value < field.minimum)
+      return `Must be at least ${field.minimum}`;
+    if (typeof field.maximum === "number" && value > field.maximum)
+      return `Must be at most ${field.maximum}`;
+    return;
+  }
+  if (field.type === "multiselect") {
+    if (!Array.isArray(value))
+      return "Expected selections";
+    if (field.required && !value.length)
+      return "Select at least one option";
+    if (field.minItems !== undefined && value.length < field.minItems)
+      return `Select at least ${field.minItems}`;
+    if (field.maxItems !== undefined && value.length > field.maxItems)
+      return `Select at most ${field.maxItems}`;
+  }
+  return;
+}
+var numberOf = (limit) => typeof limit === "number" ? limit : undefined;
+function limitsOf(field) {
+  const range = (low, high, unit = "") => {
+    if (low !== undefined && high !== undefined)
+      return `${low}-${high}${unit}`;
+    if (low !== undefined)
+      return `at least ${low}${unit}`;
+    if (high !== undefined)
+      return `at most ${high}${unit}`;
+    return;
+  };
+  const parts = field.type === "number" || field.type === "integer" ? [range(numberOf(field.minimum), numberOf(field.maximum))] : field.type === "string" ? [range(field.minLength, field.maxLength, " characters"), field.format, field.pattern ? `/${field.pattern}/` : undefined] : [];
+  return parts.filter(Boolean).join(", ") || undefined;
 }
 function chooseOptions(choices, picked, {
   multiple = false,
@@ -163,8 +254,10 @@ function toggle(picked, value) {
 var OWN = Symbol("own");
 var DONE = Symbol("done");
 var SKIP = Symbol("skip");
-function addAsksInbox(ctx) {
+var NOTE = Symbol("note");
+function addAsksInbox(ctx, follows) {
   const person = ctx.client.rpc(personRpc);
+  const currentTitle = (sessionID) => ctx.data.session.get(sessionID)?.title;
   const location = (sessionID) => ctx.data.session.get(sessionID)?.location ?? ctx.location ?? ctx.data.location.default();
   const openSession = () => {
     const route = ctx.ui.router.current();
@@ -186,31 +279,46 @@ function addAsksInbox(ctx) {
     for (const ask of listed)
       if (!firstSeen.has(ask.key))
         firstSeen.set(ask.key, seen++);
-    listed.sort((a, b) => firstSeen.get(a.key) - firstSeen.get(b.key));
+    const rank = (ask) => ask.session.depth === 0 ? 0 : 1;
+    listed.sort((a, b) => rank(a) - rank(b) || firstSeen.get(a.key) - firstSeen.get(b.key));
     return {
       asks,
       listed
     };
   }
+  const reason = (error) => {
+    if (error instanceof Error)
+      return error.message;
+    return typeof error === "object" && error && "message" in error ? String(error.message) : String(error);
+  };
   const fail = (what) => (error) => ctx.ui.toast.show({
     title: "courier",
-    message: `${what}: ${error instanceof Error ? error.message : String(error)}`,
+    message: `${what}: ${reason(error)}`,
     variant: "error"
   });
   async function choose(title, choices, {
     multiple = false,
     own = false,
-    optional = false
+    optional = false,
+    asks = "",
+    start = []
   } = {}) {
-    const picked = [];
+    const picked = [...start];
     for (;; ) {
       const value = await ctx.ui.dialog.select({
         title,
-        options: chooseOptions(choices, picked, {
+        ...!multiple && start[0] !== undefined ? {
+          current: start[0]
+        } : {},
+        options: [...asks ? [{
+          title: asks,
+          value: NOTE,
+          disabled: true
+        }] : [], ...chooseOptions(choices, picked, {
           multiple,
           own,
           optional
-        })
+        })]
       });
       if (value === undefined)
         return;
@@ -313,6 +421,9 @@ function addAsksInbox(ctx) {
         ...field.description ? {
           description: field.description
         } : {},
+        ...field.placeholder ? {
+          placeholder: field.placeholder
+        } : {},
         ...field.default ? {
           value: field.default
         } : {}
@@ -324,11 +435,16 @@ function addAsksInbox(ctx) {
     }
   }
   async function numeric(title, field, optional) {
+    const label = field.title ?? field.key;
     const whole = field.type === "integer";
     for (;; ) {
       const text = await typed(title, {
         ...field.description ? {
           description: field.description
+        } : {},
+        ...placeholder(field),
+        ...field.default !== undefined ? {
+          default: String(field.default)
         } : {}
       }, optional);
       if (text === undefined || text === SKIP)
@@ -338,13 +454,36 @@ function addAsksInbox(ctx) {
         return value;
       ctx.ui.toast.show({
         title: "courier",
-        message: `${title} takes ${whole ? "a whole number" : "a number"}`,
+        message: `${label} takes ${whole ? "a whole number" : "a number"}`,
         variant: "warning"
       });
     }
   }
-  async function answerField(field) {
-    const title = field.title ?? field.key;
+  const placeholder = (field) => {
+    const limits = limitsOf(field);
+    return limits ? {
+      placeholder: limits
+    } : {};
+  };
+  async function answerField(form, field) {
+    for (;; ) {
+      const value = await askField(form, field);
+      if (value === undefined || value === SKIP)
+        return value;
+      const problem = misfit(field, value);
+      if (!problem)
+        return value;
+      ctx.ui.toast.show({
+        title: "courier",
+        message: `${field.title ?? field.key}: ${problem}`,
+        variant: "warning"
+      });
+    }
+  }
+  async function askField(form, field) {
+    const label = field.title ?? field.key;
+    const title = form.title ? `${form.title} \xB7 ${label}` : label;
+    const asks = field.description ?? "";
     const optional = !(("required" in field) && field.required);
     switch (field.type) {
       case "external":
@@ -356,7 +495,14 @@ function addAsksInbox(ctx) {
       case "boolean":
         return ctx.ui.dialog.select({
           title,
-          options: [{
+          ...field.default !== undefined ? {
+            current: field.default
+          } : {},
+          options: [...asks ? [{
+            title: asks,
+            value: NOTE,
+            disabled: true
+          }] : [], {
             title: "Yes",
             value: true
           }, {
@@ -367,7 +513,9 @@ function addAsksInbox(ctx) {
       case "multiselect": {
         const picked = await choose(title, field.options, {
           multiple: true,
-          own: !!field.custom
+          own: !!field.custom,
+          asks,
+          start: field.default ?? []
         });
         if (picked?.length === 0 && optional)
           return SKIP;
@@ -375,10 +523,15 @@ function addAsksInbox(ctx) {
       }
       case "string": {
         if (!field.options?.length)
-          return typed(title, field, optional);
+          return typed(title, {
+            ...field,
+            ...placeholder(field)
+          }, optional);
         const picked = await choose(title, field.options, {
           own: !!field.custom,
-          optional
+          optional,
+          asks,
+          start: field.default === undefined ? [] : [field.default]
         });
         return picked && (picked[0] ?? SKIP);
       }
@@ -393,19 +546,36 @@ function addAsksInbox(ctx) {
     } = ask;
     const answer2 = {};
     for (const field of form.fields) {
-      if (!shown(field, answer2))
+      if (!active(field, answer2))
         continue;
-      const value = await answerField(field);
+      if ("hidden" in field && field.hidden) {
+        if ("default" in field && field.default !== undefined)
+          answer2[field.key] = field.default;
+        continue;
+      }
+      const value = await answerField(form, field);
       if (value === undefined)
         return false;
       if (value !== SKIP)
         answer2[field.key] = value;
     }
-    await ctx.data.session.form.reply({
-      sessionID: form.sessionID,
-      formID: form.id,
-      answer: answer2
-    });
+    try {
+      await ctx.client.session.form.reply({
+        sessionID: form.sessionID,
+        formID: form.id,
+        answer: answer2
+      });
+    } catch (error) {
+      const tag = error?._tag;
+      if (tag !== "FormNotFoundError" && tag !== "FormAlreadySettledError")
+        throw error;
+      ctx.ui.toast.show({
+        title: "courier",
+        message: "It no longer waits: answered or settled some other way.",
+        variant: "warning"
+      });
+      return false;
+    }
     return true;
   }
   const answer = (ask) => {
@@ -418,6 +588,68 @@ function addAsksInbox(ctx) {
         return answerForm(ask);
     }
   };
+  let listing;
+  let following;
+  const keysOf = (listed) => listed.map((ask) => ask.key).join(`
+`);
+  let reads = 0;
+  const follow = async () => {
+    const sessionID = listing?.sessionID;
+    if (!sessionID)
+      return;
+    const ticket = ++reads;
+    const found = await read(sessionID);
+    const shown = listing;
+    if (ticket === reads && shown?.sessionID === sessionID && keysOf(found.listed) !== shown.keys)
+      shown.replace(found);
+  };
+  async function showList(sessionID, {
+    asks,
+    listed
+  }) {
+    let replace = () => {
+      return;
+    };
+    const newer = new Promise((resolve) => {
+      replace = resolve;
+    });
+    listing = {
+      sessionID,
+      keys: keysOf(listed),
+      replace
+    };
+    const top = ctx.data.session.get(asks.top)?.title ?? asks.top;
+    const choosing = ctx.ui.dialog.select({
+      title: `Waiting on you (${listed.length})`,
+      placeholder: "Search",
+      options: listed.map((ask) => ({
+        title: askTitle(ask),
+        value: ask,
+        description: pathOf(asks, ask.session.sessionID, top, currentTitle),
+        footer: askFooter(ask)
+      }))
+    });
+    ctx.ui.dialog.set({
+      size: "large"
+    });
+    try {
+      return await Promise.race([choosing.then((chosen) => ({
+        chosen
+      })), newer.then((read2) => ({
+        read: read2
+      }))]);
+    } finally {
+      listing = undefined;
+    }
+  }
+  async function answerChosen(chosen) {
+    const done = await answer(chosen).catch((error) => {
+      fail("The answer was not passed on")(error);
+      return false;
+    });
+    if (done)
+      answered.add(chosen.key);
+  }
   let opened = false;
   async function open(sessionID = openSession()) {
     if (!sessionID) {
@@ -432,83 +664,95 @@ function addAsksInbox(ctx) {
       return;
     opened = true;
     try {
-      for (let first = true;; first = false) {
-        const found = await read(sessionID).catch(fail("The asks could not be read"));
-        if (!found)
-          return;
-        const {
-          asks,
-          listed
-        } = found;
-        if (!listed.length) {
-          if (first)
-            ctx.ui.toast.show({
-              title: "courier",
-              message: "Nothing in this courier tree waits on you.",
-              variant: "info"
-            });
-          return;
+      let found = await read(sessionID).catch(fail("The asks could not be read"));
+      let first = true;
+      let shown = false;
+      while (found?.listed.length) {
+        first = false;
+        const next = await showList(sessionID, found);
+        shown = "read" in next;
+        if ("read" in next) {
+          found = next.read;
+          continue;
         }
-        const top = ctx.data.session.get(asks.top)?.title ?? asks.top;
-        const choosing = ctx.ui.dialog.select({
-          title: `Waiting on you (${listed.length})`,
-          placeholder: "Search",
-          options: listed.map((ask) => ({
-            title: askTitle(ask),
-            value: ask,
-            description: pathOf(asks, ask.session.sessionID, top),
-            footer: askFooter(ask)
-          }))
-        });
-        ctx.ui.dialog.set({
-          size: "large"
-        });
-        const chosen = await choosing;
-        if (!chosen)
+        if (!next.chosen)
           return;
-        const done = await answer(chosen).catch((error) => {
-          fail("The answer was not passed on")(error);
-          return false;
-        });
-        if (done)
-          answered.add(chosen.key);
+        await answerChosen(next.chosen);
+        found = await read(sessionID).catch(fail("The asks could not be read"));
       }
+      if (!found)
+        return;
+      if (first)
+        ctx.ui.toast.show({
+          title: "courier",
+          message: "Nothing in this courier tree waits on you.",
+          variant: "info"
+        });
+      if (shown)
+        ctx.ui.dialog.clear();
     } finally {
       opened = false;
+      clearTimeout(following);
+      following = undefined;
     }
   }
   const sounded = new Set;
+  const readTops = new Set;
+  let named = new Set;
   let settling;
   const sound = async () => {
     const sessionID = openSession();
-    if (!sessionID)
+    if (!sessionID) {
+      named.clear();
       return;
+    }
     const {
       asks,
       listed
     } = await read(sessionID);
+    const eventSessions = named;
+    named = new Set;
     const top = ctx.data.session.get(asks.top)?.title ?? asks.top;
+    const first = !readTops.has(asks.top);
+    readTops.add(asks.top);
     for (const ask of listed) {
       if (sounded.has(ask.key))
         continue;
       sounded.add(ask.key);
+      if (first && !eventSessions.has(ask.session.sessionID))
+        continue;
+      if (!ctx.data.session.get(ask.session.sessionID)?.parentID)
+        continue;
       ctx.attention.notify({
-        title: pathOf(asks, ask.session.sessionID, top),
+        title: pathOf(asks, ask.session.sessionID, top, currentTitle),
         message: askTitle(ask),
         notification: {
           when: "blurred"
         },
-        sound: {
-          name: soundOf(ask),
-          when: "always"
-        }
+        sound: false
       });
     }
   };
+  sound().catch(() => {
+    return;
+  });
   const unlisten = ctx.data.listen(({
     details
   }) => {
-    if (details.type !== "permission.asked" && details.type !== "form.created" || settling)
+    if (listing && follows.has(details.type) && !following)
+      following = setTimeout(() => {
+        following = undefined;
+        follow().catch(() => {
+          return;
+        });
+      }, SETTLE_MS);
+    if (details.type !== "permission.asked" && details.type !== "form.created")
+      return;
+    const data = details.data;
+    const eventSession = data?.sessionID ?? data?.form?.sessionID;
+    if (eventSession)
+      named.add(eventSession);
+    if (settling)
       return;
     settling = setTimeout(() => {
       settling = undefined;
@@ -537,6 +781,7 @@ function addAsksInbox(ctx) {
     open,
     cleanup: () => {
       clearTimeout(settling);
+      clearTimeout(following);
       unlisten();
     }
   };
@@ -552,7 +797,7 @@ import { createTextNode as _$createTextNode } from "@opentui/solid";
 import { insertNode as _$insertNode } from "@opentui/solid";
 import { setProp as _$setProp } from "@opentui/solid";
 import { createElement as _$createElement } from "@opentui/solid";
-import { createEffect, createResource, createRoot, createSignal, For, on, onCleanup, onMount, Show, untrack } from "solid-js";
+import { createEffect, createMemo, createResource, createRoot, createSignal, For, on, onCleanup, onMount, Show, untrack } from "solid-js";
 
 // src/tree/rpc.ts
 import { Rpc as Rpc2 } from "@opencode/plugin/rpc";
@@ -563,12 +808,12 @@ var Summary = Schema2.Struct({
   running: Count2,
   waiting: Count2,
   idle: Count2,
-  groups: Schema2.Array(Group),
-  truncated: Schema2.optionalKey(Count2)
+  groups: Schema2.Array(Group)
 });
 var Wait = Schema2.Union([
   Schema2.Struct({ type: Schema2.Literal("permission"), action: Schema2.String, resources: Schema2.Array(Schema2.String) }),
-  Schema2.Struct({ type: Schema2.Literal("question"), question: Schema2.String })
+  Schema2.Struct({ type: Schema2.Literal("question"), question: Schema2.String }),
+  Schema2.Struct({ type: Schema2.Literal("form"), title: Schema2.String })
 ]);
 var Row = Schema2.Struct({
   sessionID: Schema2.String,
@@ -577,6 +822,7 @@ var Row = Schema2.Struct({
   depth: Count2,
   state: Schema2.Literals(["running", "waiting", "idle", "gone"]),
   outcome: Schema2.optionalKey(Schema2.Literals(["succeeded", "failed", "interrupted"])),
+  stopped: Schema2.optionalKey(Schema2.Boolean),
   report: Schema2.optionalKey(Schema2.Struct({ state: Schema2.Literals(["owed", "reported", "ended"]), status: Schema2.optionalKey(Schema2.String), progressed: Schema2.Boolean })),
   group: Schema2.optionalKey(Schema2.Struct({ name: Schema2.String, standing: Schema2.String })),
   isolated: Schema2.Boolean,
@@ -594,6 +840,10 @@ var Stopped = Schema2.Struct({
   stopped: Schema2.Array(Schema2.Struct({ sessionID: Schema2.String, title: Schema2.String, outcome: Schema2.String })),
   cancelled: Count2
 });
+var Forgotten = Schema2.Union([
+  Schema2.Struct({ outcome: Schema2.Literals(["forgotten", "removed", "gone"]) }),
+  Schema2.Struct({ outcome: Schema2.Literal("kept"), reason: Schema2.String })
+]);
 var treeRpc = Rpc2.define({
   id: "courier",
   methods: {
@@ -609,6 +859,11 @@ var treeRpc = Rpc2.define({
       input: Schema2.toStandardSchemaV1(Schema2.Struct({ sessionID: Schema2.String, by: Schema2.String })),
       output: Schema2.toStandardSchemaV1(Stopped),
       errors: { refused: Schema2.toStandardSchemaV1(Schema2.Struct({})) }
+    },
+    cleanup: {
+      input: Schema2.toStandardSchemaV1(Schema2.Struct({ sessionID: Schema2.String, by: Schema2.String })),
+      output: Schema2.toStandardSchemaV1(Forgotten),
+      errors: { refused: Schema2.toStandardSchemaV1(Schema2.Struct({})) }
     }
   },
   events: {}
@@ -621,9 +876,19 @@ var SETTLE_MS2 = 250;
 var PANEL_SETTLE_MS = 1000;
 var PANEL = "courier-tree";
 var TICK_MS = 1000;
-function summaryLine(summary) {
-  const parts = [summary.running ? `${summary.running} running` : "", summary.waiting ? `${summary.waiting} waiting on you` : "", summary.idle ? `${summary.idle} idle` : "", ...summary.groups.map((group) => `group ${group.name} ${group.reported}/${group.members}`), summary.truncated ? `first ${summary.truncated} counted` : ""].filter(Boolean);
-  return parts.length ? `courier ${parts.join(" \xB7 ")}` : "";
+function summaryLine(summary, maxWidth = Infinity) {
+  const groups = summary.groups.map((group) => `group ${group.name} ${group.reported}/${group.members}`);
+  const parts = [summary.waiting ? `${summary.waiting} waiting on you` : "", summary.running ? `${summary.running} running` : "", ...groups, summary.idle ? `${summary.idle} idle` : ""].filter(Boolean);
+  if (!parts.length)
+    return "";
+  const line = (kept) => {
+    const dropped = groups.filter((group) => parts.indexOf(group) >= kept).length;
+    return ["courier", parts.slice(0, kept).join(" \xB7 "), dropped ? `\xB7 +${counted(dropped, "group")}` : ""].filter(Boolean).join(" ");
+  };
+  for (let kept = parts.length;kept > 0; kept--)
+    if (line(kept).length <= maxWidth)
+      return line(kept);
+  return parts[0];
 }
 function duration(ms) {
   const seconds = Math.max(0, Math.floor(ms / 1000));
@@ -649,25 +914,29 @@ function bar({
   return `[${"\u2588".repeat(filled)}${"\u2591".repeat(width - filled)}] ${reported}/${started} reported`;
 }
 function waitLine(wait) {
-  return wait.type === "permission" ? `asks permission: ${[wait.action, ...wait.resources].join(" ")}` : `asks: ${wait.question}`;
+  if (wait.type === "permission")
+    return `asks permission: ${[wait.action, ...wait.resources].join(" ")}`;
+  return wait.type === "form" ? `shows a form: ${wait.title}` : `asks: ${wait.question}`;
 }
 function statusLine(row) {
-  return [stateWord(row), reportWords(row.report), row.group ? `group ${row.group.name} ${row.group.standing}` : "", row.isolated ? "isolated" : ""].filter(Boolean).join(" \xB7 ");
+  return [stateWord(row), reportWords(row.report, row.stopped), row.group ? `group ${row.group.name} ${row.group.standing}` : "", row.isolated ? "isolated" : ""].filter(Boolean).join(" \xB7 ");
 }
 function stateWord(row) {
   if (row.state === "waiting")
     return "waiting on you";
+  if (row.state === "idle" && row.stopped)
+    return "stopped";
   if (row.state === "idle" && (row.outcome === "failed" || row.outcome === "interrupted"))
     return row.outcome;
   return row.state;
 }
-function reportWords(report) {
+function reportWords(report, stopped) {
   if (!report)
     return "";
   if (report.state === "owed")
     return "owes a report";
   if (report.state === "ended")
-    return "ended without a report";
+    return stopped ? "" : "ended without a report";
   return ["reported", report.status].filter(Boolean).join(" ");
 }
 var counted = (count, noun) => `${count} ${noun}${count === 1 ? "" : "s"}`;
@@ -733,34 +1002,44 @@ function addTreeStatus(ctx, onWaiting) {
         location: location(sessionID)
       }).then((summary) => ({
         sessionID,
-        line: summaryLine(summary),
+        summary,
         waiting: summary.waiting
       }), () => ({
         sessionID,
-        line: "",
+        summary: undefined,
         waiting: 0
       })));
-      const shown2 = () => {
+      const shown = () => {
         const latest = read.state === "ready" || read.state === "refreshing" ? read.latest : undefined;
         return latest && latest.sessionID === input.sessionID ? latest : undefined;
       };
-      const line = () => shown2()?.line ?? "";
+      const [width, setWidth] = createSignal(0);
+      const present = () => shown()?.summary ? summaryLine(shown().summary) : "";
+      const line = () => width() && shown()?.summary ? summaryLine(shown().summary, width() - 1) : "";
       const click = () => {
-        const latest = shown2();
+        const latest = shown();
         if (latest?.waiting)
           onWaiting?.(latest.sessionID);
       };
       return _$createComponent(Show, {
         get when() {
-          return line();
+          return present();
         },
         get children() {
-          var _el$ = _$createElement("text"), _el$2 = _$createTextNode(` `);
+          var _el$ = _$createElement("box"), _el$2 = _$createElement("text"), _el$3 = _$createTextNode(` `);
           _$insertNode(_el$, _el$2);
-          _$setProp(_el$, "wrapMode", "none");
-          _$setProp(_el$, "onMouseUp", click);
-          _$insert(_el$, line, null);
-          _$effect((_$p) => _$setProp(_el$, "fg", ctx.theme.text.muted, _$p));
+          _$setProp(_el$, "flexGrow", 1);
+          _$setProp(_el$, "flexShrink", 1);
+          _$setProp(_el$, "minWidth", 0);
+          _$setProp(_el$, "onSizeChange", function() {
+            if (this.width > 0)
+              setWidth(this.width);
+          });
+          _$insertNode(_el$2, _el$3);
+          _$setProp(_el$2, "wrapMode", "none");
+          _$setProp(_el$2, "onMouseUp", click);
+          _$insert(_el$2, line, null);
+          _$effect((_$p) => _$setProp(_el$2, "fg", ctx.theme.text.muted, _$p));
           return _el$;
         }
       });
@@ -815,7 +1094,52 @@ async function confirmStop(ctx, courier, location, by, target) {
   }
   return true;
 }
+function forgottenLine(title, result) {
+  const name = `"${oneLine(title)}"`;
+  if (result.outcome === "kept")
+    return `Kept ${name} and its worktree: ${result.reason}`;
+  if (result.outcome === "removed")
+    return `Forgot ${name} and removed its worktree`;
+  return result.outcome === "gone" ? `Forgot ${name}; its worktree was already gone` : `Forgot ${name}`;
+}
+async function confirmForget(ctx, courier, location, by, target, done) {
+  const what = target.isolated ? "Its worktree is removed unless it has uncommitted changes or commits found nowhere else." : "It leaves this tree and courier_children.";
+  const confirmed = await ctx.ui.dialog.confirm({
+    title: "Forget session",
+    message: `Forget "${oneLine(target.title)}" (${target.sessionID})? ${what}`,
+    label: {
+      confirm: "Forget",
+      cancel: "Keep"
+    }
+  });
+  if (!confirmed)
+    return false;
+  try {
+    const result = await courier.cleanup({
+      sessionID: target.sessionID,
+      by
+    }, {
+      location: location(by)
+    });
+    ctx.ui.toast.show({
+      title: "courier",
+      message: forgottenLine(target.title, result),
+      variant: result.outcome === "kept" ? "warning" : "success"
+    });
+    if (result.outcome !== "kept")
+      done();
+  } catch (error) {
+    ctx.ui.toast.show({
+      title: "courier forget",
+      message: reason(error),
+      variant: "error"
+    });
+  }
+  return true;
+}
 var FOCUS_PROMPT = "pane.focus.left";
+var SPLIT_WIDTH = 80;
+var oneLine = (title) => title.replace(/[\r\n]+/g, " ");
 function TreePanel(props) {
   const {
     ctx,
@@ -855,10 +1179,18 @@ function TreePanel(props) {
         tree
       });
   });
-  createEffect(() => view.note({
-    presentation: input.presentation,
-    focused: input.focused
-  }));
+  createEffect(() => {
+    const {
+      presentation,
+      focused
+    } = input;
+    view.note(ctx.renderer.width > SPLIT_WIDTH ? {
+      presentation,
+      focused
+    } : {
+      focused
+    });
+  });
   onMount(() => {
     if (!view.refocus)
       return;
@@ -868,23 +1200,39 @@ function TreePanel(props) {
   const [now, setNow] = createSignal(Date.now());
   const tick = setInterval(() => setNow(Date.now()), TICK_MS);
   onCleanup(() => clearInterval(tick));
-  const [selected, setSelected] = createSignal(0);
+  const [selectedID, setSelectedID] = createSignal();
   let placed = false;
   createEffect(() => {
-    const index = placed ? -1 : rows().findIndex((row) => row.sessionID === input.sessionID);
-    if (index < 0)
+    const found = placed ? undefined : rows().find((row) => row.sessionID === input.sessionID);
+    if (!found)
       return;
     placed = true;
-    setSelected(index);
+    setSelectedID(found.sessionID);
   });
-  const current = () => rows()[Math.min(selected(), rows().length - 1)];
+  let at = 0;
+  const selected = createMemo(() => {
+    const id = selectedID();
+    const found = rows().findIndex((row) => row.sessionID === id);
+    const index = found >= 0 ? found : Math.min(at, rows().length - 1);
+    at = Math.max(index, 0);
+    return index;
+  });
+  createEffect(() => {
+    const row = rows()[selected()];
+    if (row && row.sessionID !== selectedID())
+      setSelectedID(row.sessionID);
+  });
+  const current = () => rows()[selected()];
   let scroll;
   createEffect(() => {
-    const index = Math.min(selected(), rows().length - 1);
-    if (index >= 0)
-      scroll?.scrollChildIntoView(`courier-row-${index}`);
+    if (selected() >= 0)
+      scroll?.scrollChildIntoView(`courier-row-${selected()}`);
   });
-  const move = (by) => setSelected((index) => Math.max(0, Math.min(rows().length - 1, Math.min(index, rows().length - 1) + by)));
+  const move = (by) => {
+    const next = rows()[Math.max(0, Math.min(rows().length - 1, selected() + by))];
+    if (next)
+      setSelectedID(next.sessionID);
+  };
   const open = () => {
     const row = current();
     if (row)
@@ -902,6 +1250,22 @@ function TreePanel(props) {
         under: reach(rows(), row.sessionID) - 1
       });
   };
+  const forgetSelected = () => {
+    const row = current();
+    if (!row)
+      return;
+    if (row.state !== "gone")
+      return ctx.ui.toast.show({
+        title: "courier",
+        message: `x forgets only a gone session; "${oneLine(row.title)}" is ${row.state}.`,
+        variant: "warning"
+      });
+    confirmForget(ctx, courier, location, view.root, {
+      sessionID: row.sessionID,
+      title: row.title,
+      isolated: row.isolated
+    }, () => void refetch());
+  };
   ctx.keymap.layer(() => ({
     priority: 10,
     enabled: () => input.focused,
@@ -935,6 +1299,11 @@ function TreePanel(props) {
       title: "Stop session and those under it",
       group: "Courier",
       run: stopSelected
+    }, {
+      bind: "x",
+      title: "Forget gone session",
+      group: "Courier",
+      run: forgetSelected
     }, {
       bind: "r",
       title: "Refresh",
@@ -959,47 +1328,46 @@ function TreePanel(props) {
     return row.state === "gone" ? theme.text.muted : theme.text.base;
   };
   return (() => {
-    var _el$3 = _$createElement("box"), _el$4 = _$createElement("box"), _el$5 = _$createElement("text"), _el$13 = _$createElement("scrollbox"), _el$14 = _$createElement("text");
-    _$insertNode(_el$3, _el$4);
-    _$insertNode(_el$3, _el$13);
-    _$insertNode(_el$3, _el$14);
-    _$setProp(_el$3, "flexDirection", "column");
-    _$setProp(_el$3, "flexGrow", 1);
-    _$setProp(_el$3, "paddingLeft", 1);
-    _$setProp(_el$3, "paddingRight", 1);
+    var _el$4 = _$createElement("box"), _el$5 = _$createElement("box"), _el$6 = _$createElement("text"), _el$13 = _$createElement("scrollbox"), _el$14 = _$createElement("text");
     _$insertNode(_el$4, _el$5);
-    _$setProp(_el$4, "flexDirection", "row");
-    _$setProp(_el$4, "flexShrink", 0);
-    _$setProp(_el$4, "gap", 2);
-    _$insertNode(_el$5, _$createTextNode(`courier tree`));
-    _$setProp(_el$5, "wrapMode", "none");
-    _$insert(_el$4, _$createComponent(Show, {
+    _$insertNode(_el$4, _el$13);
+    _$insertNode(_el$4, _el$14);
+    _$setProp(_el$4, "flexDirection", "column");
+    _$setProp(_el$4, "flexGrow", 1);
+    _$setProp(_el$4, "paddingLeft", 1);
+    _$setProp(_el$4, "paddingRight", 1);
+    _$insertNode(_el$5, _el$6);
+    _$setProp(_el$5, "flexDirection", "row");
+    _$setProp(_el$5, "flexShrink", 0);
+    _$setProp(_el$5, "gap", 2);
+    _$insertNode(_el$6, _$createTextNode(`courier tree`));
+    _$setProp(_el$6, "wrapMode", "none");
+    _$insert(_el$5, _$createComponent(Show, {
       get when() {
         return root().started;
       },
       get children() {
-        var _el$7 = _$createElement("text");
-        _$setProp(_el$7, "wrapMode", "none");
-        _$insert(_el$7, () => bar(root()));
-        _$effect((_$p) => _$setProp(_el$7, "fg", theme.text.muted, _$p));
-        return _el$7;
+        var _el$8 = _$createElement("text");
+        _$setProp(_el$8, "wrapMode", "none");
+        _$insert(_el$8, () => bar(root()));
+        _$effect((_$p) => _$setProp(_el$8, "fg", theme.text.muted, _$p));
+        return _el$8;
       }
     }), null);
-    _$insert(_el$4, _$createComponent(Show, {
+    _$insert(_el$5, _$createComponent(Show, {
       get when() {
         return latest()?.tree?.truncated;
       },
       get children() {
-        var _el$8 = _$createElement("text"), _el$9 = _$createTextNode(`first `), _el$0 = _$createTextNode(` shown`);
-        _$insertNode(_el$8, _el$9);
-        _$insertNode(_el$8, _el$0);
-        _$setProp(_el$8, "wrapMode", "none");
-        _$insert(_el$8, () => latest()?.tree?.truncated, _el$0);
-        _$effect((_$p) => _$setProp(_el$8, "fg", theme.text.feedback.warning.base, _$p));
-        return _el$8;
+        var _el$9 = _$createElement("text"), _el$0 = _$createTextNode(` older left out`);
+        _$insertNode(_el$9, _el$0);
+        _$setProp(_el$9, "wrapMode", "none");
+        _$insert(_el$9, () => latest()?.tree?.truncated, _el$0);
+        _$effect((_$p) => _$setProp(_el$9, "fg", theme.text.feedback.warning.base, _$p));
+        return _el$9;
       }
     }), null);
-    _$insert(_el$3, _$createComponent(Show, {
+    _$insert(_el$4, _$createComponent(Show, {
       get when() {
         return latest()?.error;
       },
@@ -1011,7 +1379,7 @@ function TreePanel(props) {
         return _el$1;
       }
     }), _el$13);
-    _$insert(_el$3, _$createComponent(Show, {
+    _$insert(_el$4, _$createComponent(Show, {
       get when() {
         return _$memo(() => !!latest()?.tree)() && !rows().length;
       },
@@ -1029,43 +1397,48 @@ function TreePanel(props) {
         return rows();
       },
       children: (row, index) => {
-        const chosen = () => index() === Math.min(selected(), rows().length - 1);
+        const chosen = () => index() === selected();
         const indent = "  ".repeat(row.depth - 1);
         return (() => {
-          var _el$16 = _$createElement("box"), _el$17 = _$createElement("text"), _el$18 = _$createTextNode(`  `), _el$19 = _$createElement("span");
+          var _el$16 = _$createElement("box"), _el$17 = _$createElement("box"), _el$18 = _$createElement("text"), _el$19 = _$createElement("text"), _el$20 = _$createTextNode(`  `);
           _$insertNode(_el$16, _el$17);
           _$setProp(_el$16, "flexDirection", "column");
           _$setProp(_el$16, "flexShrink", 0);
           _$insertNode(_el$17, _el$18);
           _$insertNode(_el$17, _el$19);
-          _$setProp(_el$17, "wrapMode", "none");
-          _$insert(_el$17, indent, _el$18);
-          _$insert(_el$17, () => chosen() ? "\u25B8 " : "  ", _el$18);
-          _$insert(_el$17, () => row.title, _el$18);
-          _$insert(_el$17, () => row.sessionID === input.sessionID ? " (on screen)" : "", _el$18);
-          _$insert(_el$19, () => statusLine(row));
+          _$setProp(_el$17, "flexDirection", "row");
+          _$setProp(_el$17, "flexShrink", 0);
+          _$setProp(_el$18, "wrapMode", "none");
+          _$setProp(_el$18, "flexShrink", 1);
+          _$setProp(_el$18, "minWidth", 0);
+          _$insert(_el$18, indent, null);
+          _$insert(_el$18, () => chosen() ? "\u25B8 " : "  ", null);
+          _$insert(_el$18, () => oneLine(row.title), null);
+          _$insert(_el$18, () => row.sessionID === input.sessionID ? " (on screen)" : "", null);
+          _$insertNode(_el$19, _el$20);
+          _$setProp(_el$19, "wrapMode", "none");
+          _$setProp(_el$19, "flexShrink", 0);
+          _$insert(_el$19, () => statusLine(row), null);
           _$insert(_el$16, _$createComponent(For, {
             get each() {
               return detailLines(row, rows(), now());
             },
             children: (line) => (() => {
-              var _el$20 = _$createElement("text"), _el$21 = _$createTextNode(`    `);
-              _$insertNode(_el$20, _el$21);
-              _$setProp(_el$20, "wrapMode", "none");
-              _$insert(_el$20, indent, _el$21);
-              _$insert(_el$20, line, null);
-              _$effect((_$p) => _$setProp(_el$20, "fg", theme.text.muted, _$p));
-              return _el$20;
+              var _el$21 = _$createElement("text"), _el$22 = _$createTextNode(`    `);
+              _$insertNode(_el$21, _el$22);
+              _$setProp(_el$21, "wrapMode", "none");
+              _$insert(_el$21, indent, _el$22);
+              _$insert(_el$21, line, null);
+              _$effect((_$p) => _$setProp(_el$21, "fg", theme.text.muted, _$p));
+              return _el$21;
             })()
           }), null);
           _$effect((_p$) => {
-            var _v$3 = `courier-row-${index()}`, _v$4 = chosen() && input.focused ? theme.background.raised.high : undefined, _v$5 = rowColor(row), _v$6 = {
-              fg: theme.text.muted
-            };
+            var _v$3 = `courier-row-${index()}`, _v$4 = chosen() && input.focused ? theme.background.raised.high : undefined, _v$5 = rowColor(row), _v$6 = theme.text.muted;
             _v$3 !== _p$.e && (_p$.e = _$setProp(_el$16, "id", _v$3, _p$.e));
             _v$4 !== _p$.t && (_p$.t = _$setProp(_el$16, "backgroundColor", _v$4, _p$.t));
-            _v$5 !== _p$.a && (_p$.a = _$setProp(_el$17, "fg", _v$5, _p$.a));
-            _v$6 !== _p$.o && (_p$.o = _$setProp(_el$19, "style", _v$6, _p$.o));
+            _v$5 !== _p$.a && (_p$.a = _$setProp(_el$18, "fg", _v$5, _p$.a));
+            _v$6 !== _p$.o && (_p$.o = _$setProp(_el$19, "fg", _v$6, _p$.o));
             return _p$;
           }, {
             e: undefined,
@@ -1077,19 +1450,19 @@ function TreePanel(props) {
         })();
       }
     }));
-    _$insertNode(_el$14, _$createTextNode(`\u2191\u2193 select \xB7 enter open \xB7 s stop \xB7 r refresh \xB7 f fullscreen \xB7 q close`));
+    _$insertNode(_el$14, _$createTextNode(`\u2191\u2193 select \xB7 enter open \xB7 s stop \xB7 x forget \xB7 r refresh \xB7 f fullscreen \xB7 q close`));
     _$setProp(_el$14, "wrapMode", "none");
     _$setProp(_el$14, "flexShrink", 0);
     _$effect((_p$) => {
       var _v$ = theme.text.base, _v$2 = theme.text.muted;
-      _v$ !== _p$.e && (_p$.e = _$setProp(_el$5, "fg", _v$, _p$.e));
+      _v$ !== _p$.e && (_p$.e = _$setProp(_el$6, "fg", _v$, _p$.e));
       _v$2 !== _p$.t && (_p$.t = _$setProp(_el$14, "fg", _v$2, _p$.t));
       return _p$;
     }, {
       e: undefined,
       t: undefined
     });
-    return _el$3;
+    return _el$4;
   })();
 }
 var USAGE = "/courier tree opens the session tree; /courier stop [session] stops a session and those under it";
@@ -1187,11 +1560,11 @@ function addTreePanel(ctx) {
     createEffect(() => {
       const route = ctx.ui.router.current();
       const sessionID = route.type === "session" ? route.sessionID : undefined;
-      const shown2 = ctx.ui.panel.current();
+      const shown = ctx.ui.panel.current();
       untrack(() => {
-        if (!following || shown2 && shown2.sessionID === sessionID || !following.at && following.to === sessionID)
+        if (!following || shown && shown.sessionID === sessionID || !following.at && following.to === sessionID)
           return;
-        if (!shown2 && sessionID && following.at === sessionID)
+        if (!shown && sessionID && following.at === sessionID)
           following = undefined;
         else if (!sessionID)
           hide(following);
@@ -1237,11 +1610,29 @@ function addTreePanel(ctx) {
         message: "Open a session first",
         variant: "warning"
       });
-    const rows = await courier.tree({
+    const read = await courier.tree({
       sessionID: route.sessionID
     }, {
       location: location(route.sessionID)
-    }).then((tree) => tree.rows, () => []);
+    }).then((tree) => ({
+      rows: tree.rows
+    }), (error) => ({
+      rows: [],
+      error
+    }));
+    const rows = read.rows;
+    if (!target && "error" in read)
+      return ctx.ui.toast.show({
+        title: "courier stop",
+        message: reason(read.error),
+        variant: "error"
+      });
+    if (!target && !rows.length)
+      return ctx.ui.toast.show({
+        title: "courier stop",
+        message: "No session started with courier_spawn under this one.",
+        variant: "warning"
+      });
     const sessionID = target || await ctx.ui.dialog.select({
       title: "Stop which session?",
       options: rows.map((row2) => ({
@@ -1314,6 +1705,8 @@ function addTreeAttention(ctx) {
     const from = typeof metadata.from === "string" ? metadata.from : "";
     if (!group && !status)
       return;
+    if (!group && ctx.data.session.get(from)?.parentID !== undefined)
+      return;
     notified.add(inboxID);
     if (notified.size > NOTIFIED_MAX)
       notified.delete(notified.values().next().value);
@@ -1345,7 +1738,7 @@ function addTreeAttention(ctx) {
 var tui_default = Plugin.define({
   id: "courier.tui",
   setup: (ctx) => {
-    const inbox = addAsksInbox(ctx);
+    const inbox = addAsksInbox(ctx, CHANGES);
     const cleanups = [inbox.cleanup, addTreeStatus(ctx, (sessionID) => void inbox.open(sessionID)), addTreePanel(ctx), addTreeAttention(ctx)];
     return () => {
       for (const cleanup of cleanups.toReversed())