@llm4ts/runner 2.40.1 → 2.42.0

package/dist/AgentTree.js

@@ -1,6 +1,7 @@
 import * as Option from "effect/Option";
 import * as Schema from "effect/Schema";
-import { FlowEvent } from "@llm4ts/flow/FlowEvents";
+import { toolCategory } from "@llm4ts/flow/Activity";
+import { FlowEvent, cloneName } from "@llm4ts/flow/FlowEvents";
 import { estimateCostUsd } from "@llm4ts/flow/PriceList";
 import { formatCount } from "./Terminal.js";
 export const defaultIdleAfterMs = 120_000;
@@ -24,7 +25,7 @@ export const emptyTree = (options = {}) => ({
     executors: [],
     leases: [],
     exclusions: [],
-    judge: { executor: undefined, reviews: 0, verdicts: 0 },
+    judge: { executor: undefined, reviews: 0, verdicts: 0, borrowed: 0 },
     verdict: undefined,
     judgments: [],
     log: [],
@@ -33,7 +34,8 @@ export const emptyTree = (options = {}) => ({
     ended: undefined,
     time: { model: 0, tools: 0, gates: 0, merge: 0, wait: 0 },
     running: [],
-    idleAfterMs: options.idleAfterMs ?? defaultIdleAfterMs
+    idleAfterMs: options.idleAfterMs ?? defaultIdleAfterMs,
+    lastChanged: undefined
 });
 const costOf = (model, usage) => usage.costUsd ?? (model === undefined ? undefined : estimateCostUsd(model, usage)) ?? 0;
 const logged = (state, entry) => ({
@@ -46,6 +48,34 @@ const updateLane = (state, id, update) => ({
     ...state,
     lanes: state.lanes.map((lane) => (lane.id === id ? update(lane) : lane))
 });
+/** A wait label that is a harness pausing itself, not the roster or a gate. */
+const isPause = (label) => /^pi (retry|compaction)$/u.test(label);
+/**
+ * A delegate tool that starts a sub-agent: Claude's Agent (Task before
+ * 2.1.63), Codex's spawn_agent, Gemini's agents. Codex's wait, send_input,
+ * resume_agent and close_agent act on one that exists.
+ */
+const spawningTools = /^(agent|task|spawn_agent|codebase_investigator|generalist|cli_help|browser_agent)$/iu;
+/**
+ * A delegate call whose end ends the sub-agent: a synchronous one (Agent,
+ * a Gemini agent) or Codex's wait and close; spawn_agent returns at once
+ * with the sub-agent still running (ADR 0033).
+ */
+const endsChild = (tool) => !/^(spawn_agent|send_input|resume_agent)$/iu.test(tool);
+const newestOpenChild = (children) => {
+    for (let index = children.length - 1; index >= 0; index -= 1) {
+        if (children[index]?.ended === false) {
+            return index;
+        }
+    }
+    return -1;
+};
+const endNewestChild = (children) => {
+    const index = newestOpenChild(children);
+    return index < 0
+        ? children
+        : children.map((child, position) => (position === index ? { ...child, ended: true } : child));
+};
 const withoutLast = (items, item) => {
     const index = items.lastIndexOf(item);
     return index < 0 ? items : [...items.slice(0, index), ...items.slice(index + 1)];
@@ -62,30 +92,38 @@ const withExecutor = (state, executor) => state.executors.includes(executor)
     ? state
     : { ...state, executors: [...state.executors, executor] };
 const rosterLog = (state, at, what) => logged(state, { at, source: "roster", who: "roster", what });
-const reduceLease = (state, at, lease) => {
+const reduceLease = (state, at, lease, borrowed) => {
     const held = { ...withExecutor(state, lease.executor), leases: [...state.leases, lease] };
+    const who = cloneName(lease.executor, lease.clone);
+    const forLabel = lease.label === undefined ? "" : ` · ${lease.label}`;
     switch (lease.role) {
         case "coder": {
             const lane = held.lanes.find((candidate) => candidate.id === lease.label);
             const placed = lane === undefined
                 ? held
-                : updateLane(held, lane.id, (open) => ({ ...open, executor: lease.executor }));
-            return rosterLog(placed, at, `${lease.executor} → coder${lease.label === undefined ? "" : ` · ${lease.label}`}`);
+                : updateLane(held, lane.id, (open) => ({
+                    ...open,
+                    executor: lease.executor,
+                    clone: lease.clone
+                }));
+            return rosterLog(placed, at, `${who} → coder${forLabel}`);
         }
         case "reviewer":
-            return {
+        case "judge": {
+            const seat = {
                 ...held,
                 judge: {
                     ...held.judge,
-                    executor: held.judge.executor ?? lease.executor,
-                    reviews: held.judge.reviews + 1
+                    executor: lease.role === "judge" ? lease.executor : (held.judge.executor ?? lease.executor),
+                    reviews: held.judge.reviews + (lease.role === "reviewer" ? 1 : 0),
+                    verdicts: held.judge.verdicts + (lease.role === "judge" ? 1 : 0),
+                    borrowed: held.judge.borrowed + (borrowed ? 1 : 0)
                 }
             };
-        case "judge":
-            return {
-                ...held,
-                judge: { ...held.judge, executor: lease.executor, verdicts: held.judge.verdicts + 1 }
-            };
+            return borrowed
+                ? rosterLog(seat, at, `${lease.role} borrowed from own executor ${who}${forLabel}`)
+                : seat;
+        }
         default:
             return held;
     }
@@ -102,11 +140,14 @@ const reduceEvent = (state, at, event) => {
         : { ...state, executors: [...state.executors, executor] };
     const current = lane === undefined
         ? named
-        : updateLane(named, lane.id, (open) => ({
-            ...open,
-            lastEventAt: at,
-            ...(executor !== undefined && open.executor !== executor ? { executor } : {})
-        }));
+        : {
+            ...updateLane(named, lane.id, (open) => ({
+                ...open,
+                lastEventAt: at,
+                ...(executor !== undefined && open.executor !== executor ? { executor } : {})
+            })),
+            lastChanged: lane.id
+        };
     switch (event._tag) {
         case "StageStarted": {
             const story = storyStage.exec(event.stage)?.[1];
@@ -125,11 +166,18 @@ const reduceEvent = (state, at, event) => {
                     activity: undefined,
                     turns: [],
                     gatesMs: 0,
-                    running: []
+                    running: [],
+                    clone: undefined,
+                    tasks: [],
+                    task: undefined,
+                    children: [],
+                    pause: undefined,
+                    taskCoders: []
                 };
                 return {
                     ...current,
-                    lanes: [...current.lanes.filter((open) => open.id !== story), fresh]
+                    lanes: [...current.lanes.filter((open) => open.id !== story), fresh],
+                    lastChanged: story
                 };
             }
             if (lane !== undefined) {
@@ -138,7 +186,10 @@ const reduceEvent = (state, at, event) => {
                     stages: [...open.stages, event.stage]
                 }));
             }
-            return { ...current, stages: [...current.stages, event.stage] };
+            // A lane that is not a story's (a task run aside, ADR 0034) is not the run's either.
+            return event.lane === undefined
+                ? { ...current, stages: [...current.stages, event.stage] }
+                : current;
         }
         case "StageCompleted":
         case "StageFailed": {
@@ -163,7 +214,9 @@ const reduceEvent = (state, at, event) => {
                     stages: withoutLast(open.stages, event.stage)
                 }));
             }
-            return { ...current, stages: withoutLast(current.stages, event.stage) };
+            return event.lane === undefined
+                ? { ...current, stages: withoutLast(current.stages, event.stage) }
+                : current;
         }
         case "Info": {
             // A story's own milestones are `story <id>: …` (resuming, merged,
@@ -211,7 +264,15 @@ const reduceEvent = (state, at, event) => {
                         : event.kind === "model" && event.label === "coder"
                             ? { activity: undefined, turns: [...open.turns, event.ms] }
                             : {}),
-                    gatesMs: open.gatesMs + (event.kind === "gate" ? event.ms : 0)
+                    gatesMs: open.gatesMs + (event.kind === "gate" ? event.ms : 0),
+                    // The delegate call ended: its sub-agent is done — unless it was
+                    // only spawned, and runs on until a wait or close.
+                    ...(event.kind === "tool" && event.category === "delegate" && endsChild(event.label)
+                        ? { children: endNewestChild(open.children) }
+                        : {}),
+                    ...(event.kind === "wait" && open.pause?.label === event.label
+                        ? { pause: undefined }
+                        : {})
                 }));
         }
         case "Began": {
@@ -220,7 +281,14 @@ const reduceEvent = (state, at, event) => {
                 ? event.lane === undefined
                     ? { ...current, running: [...current.running, work] }
                     : current
-                : updateLane(current, lane.id, (open) => ({ ...open, running: [...open.running, work] }));
+                : updateLane(current, lane.id, (open) => ({
+                    ...open,
+                    running: [...open.running, work],
+                    // A harness pause (`pi retry`, `pi compaction`) is the lane's state while it lasts.
+                    ...(event.kind === "wait" && isPause(event.label)
+                        ? { pause: { label: event.label, since: at } }
+                        : {})
+                }));
         }
         case "StoryJudged": {
             const verdict = {
@@ -246,11 +314,7 @@ const reduceEvent = (state, at, event) => {
                 ]
             };
         case "ExecutorLeased":
-            return reduceLease(current, at, {
-                executor: event.executor,
-                role: event.role,
-                label: event.label
-            });
+            return reduceLease(current, at, { executor: event.executor, role: event.role, label: event.label, clone: event.clone }, event.borrowed === true);
         case "ExecutorReleased": {
             const index = current.leases.findIndex((lease) => lease.executor === event.executor &&
                 lease.role === event.role &&
@@ -277,15 +341,107 @@ const reduceEvent = (state, at, event) => {
             }, at, `${event.executor} back · ${event.why}`);
         case "ExecutorHandedOver":
             return rosterLog(current, at, `${event.label ?? "the run"}: ${event.role} leaves ${event.from} · ${event.reason}`);
-        case "ToolUse":
+        case "ToolUse": {
+            if (lane === undefined) {
+                return current;
+            }
+            const text = `${event.tool} ${event.args}`;
+            return updateLane(current, lane.id, (open) => {
+                // A call inside a sub-agent lands on the newest open child; without
+                // one (an older harness, a lost parent) it is the lane's as before.
+                const child = event.parent === undefined ? -1 : newestOpenChild(open.children);
+                if (child >= 0) {
+                    return {
+                        ...open,
+                        children: open.children.map((candidate, index) => index === child ? { ...candidate, lastTool: text } : candidate)
+                    };
+                }
+                const delegated = toolCategory(event.tool, event.args) === "delegate" && spawningTools.test(event.tool)
+                    ? [
+                        ...open.children,
+                        {
+                            id: `${open.id}:${open.children.length + 1}`,
+                            tool: event.tool,
+                            args: event.args,
+                            since: at,
+                            lastTool: undefined,
+                            ended: false
+                        }
+                    ]
+                    : open.children;
+                return {
+                    ...open,
+                    activity: { text, since: at, tool: true },
+                    lastTool: text,
+                    tools: [...open.tools, text].slice(-expandedTools),
+                    children: delegated
+                };
+            });
+        }
+        case "TasksPlanned":
+            return lane === undefined
+                ? current
+                : updateLane(current, lane.id, (open) => ({
+                    ...open,
+                    tasks: event.tasks.map((task, position) => ({
+                        index: position + 1,
+                        title: task.title,
+                        done: task.completed,
+                        ...(task.satisfies === undefined ? {} : { satisfies: task.satisfies })
+                    }))
+                }));
+        case "TaskStarted": {
+            if (lane === undefined) {
+                return current;
+            }
+            const satisfies = event.satisfies === undefined ? {} : { satisfies: event.satisfies };
+            const listed = (open) => open.tasks.some((task) => task.index === event.index)
+                ? open.tasks
+                : [
+                    ...open.tasks,
+                    { index: event.index, title: event.title, done: false, ...satisfies }
+                ].sort((left, right) => left.index - right.index);
+            if (event.parallel === true) {
+                return updateLane(current, lane.id, (open) => ({
+                    ...open,
+                    tasks: listed(open),
+                    taskCoders: [
+                        ...open.taskCoders.filter((coder) => coder.index !== event.index),
+                        {
+                            index: event.index,
+                            count: event.count,
+                            title: event.title,
+                            executor: event.executor,
+                            clone: event.clone,
+                            since: at
+                        }
+                    ]
+                }));
+            }
+            return updateLane(current, lane.id, (open) => ({
+                ...open,
+                task: { index: event.index, count: event.count, title: event.title, ...satisfies },
+                tasks: listed(open),
+                // Back with the story's coder: no longer beside it.
+                taskCoders: open.taskCoders.filter((coder) => coder.index !== event.index)
+            }));
+        }
+        case "TaskCompleted":
             return lane === undefined
                 ? current
                 : updateLane(current, lane.id, (open) => ({
                     ...open,
-                    activity: { text: `${event.tool} ${event.args}`, since: at, tool: true },
-                    lastTool: `${event.tool} ${event.args}`,
-                    tools: [...open.tools, `${event.tool} ${event.args}`].slice(-expandedTools)
+                    task: open.task?.index === event.index ? undefined : open.task,
+                    taskCoders: open.taskCoders.filter((coder) => coder.index !== event.index),
+                    tasks: open.tasks.map((task) => task.index === event.index ? { ...task, done: true } : task)
                 }));
+        case "StoryStatusChanged":
+            return {
+                ...current,
+                stories: current.stories.some((story) => story.id === event.id)
+                    ? current.stories.map((story) => story.id === event.id ? { ...story, status: event.status } : story)
+                    : [...current.stories, { id: event.id, status: event.status }]
+            };
         case "TokensUsed": {
             const tokens = event.usage.total;
             const costUsd = costOf(event.model, event.usage);
@@ -445,30 +601,48 @@ export const initialView = {
     fullLog: false,
     tail: false,
     tailRole: undefined,
-    tailBack: 0
+    tailBack: 0,
+    scroll: 0
 };
 const runningLanes = (state) => state.lanes.filter((lane) => lane.status === "running");
+/**
+ * The lane the detail box is about: the selection, else the lane that moved
+ * last, else the first running one — so an unattended screen still shows
+ * what is happening (ADR 0033).
+ */
+export const selectedLane = (state, view) => {
+    const running = runningLanes(state);
+    return (running.find((lane) => lane.id === view.selected) ??
+        running.find((lane) => lane.id === state.lastChanged) ??
+        running[0]);
+};
 const tailRoles = [undefined, "coder", "reviewer", "judge"];
 const tailPage = 10;
 /** Whose transcript the tail shows: the selected story, or the selected executor. */
 export const tailTargetOf = (view) => view.selected === undefined
     ? undefined
-    : view.mode === "lanes"
-        ? { lane: view.selected }
-        : { executor: view.selected };
+    : view.mode === "executors"
+        ? { executor: view.selected }
+        : { lane: view.selected };
 /**
  * The view after a key: arrows or 1–9 select a running lane (an executor in
- * the executors view), enter expands it, `t` tails its transcript, `r`
- * cycles the tail's role, escape closes, `e` switches lanes and executors,
- * `l` the full log, `q` quits. Keys it does not know return the same view.
+ * the executors view), enter expands its detail, `t` tails its transcript,
+ * `r` cycles the tail's role, escape closes, `e` switches lanes and
+ * executors, `b` the boards, `l` the full log, `q` quits. Keys it does not
+ * know return the same view.
  */
 export const onTreeKey = (view, key, state) => {
-    const choices = view.mode === "lanes" ? runningLanes(state).map((lane) => lane.id) : state.executors;
-    const index = choices.findIndex((id) => id === view.selected);
+    const choices = view.mode === "executors" ? state.executors : runningLanes(state).map((lane) => lane.id);
+    const current = view.mode === "executors" ? view.selected : selectedLane(state, view)?.id;
+    const index = choices.findIndex((id) => id === current);
     const select = (next) => {
-        const id = choices[Math.max(0, Math.min(choices.length - 1, next))];
-        return id === undefined ? view : { ...view, selected: id };
+        const row = Math.max(0, Math.min(choices.length - 1, next));
+        const id = choices[row];
+        return id === undefined
+            ? view
+            : { ...view, selected: id, scroll: row < view.scroll ? row : view.scroll };
     };
+    const chosen = () => view.mode === "executors" ? view.selected : selectedLane(state, view)?.id;
     switch (key) {
         case "q":
             return "quit";
@@ -479,13 +653,15 @@ export const onTreeKey = (view, key, state) => {
         case "left":
             return select(index < 0 ? 0 : index - 1);
         case "enter":
-            return view.selected === undefined || view.mode !== "lanes"
+            return view.mode === "executors" || chosen() === undefined
                 ? view
                 : { ...view, expanded: !view.expanded };
-        case "t":
-            return view.selected === undefined
+        case "t": {
+            const id = chosen();
+            return id === undefined
                 ? view
-                : { ...view, tail: !view.tail, expanded: false, tailBack: 0 };
+                : { ...view, selected: id, tail: !view.tail, expanded: false, tailBack: 0 };
+        }
         case "pageup":
             return view.tail ? { ...view, tailBack: view.tailBack + tailPage } : view;
         case "pagedown":
@@ -502,9 +678,17 @@ export const onTreeKey = (view, key, state) => {
         case "e":
             return {
                 ...view,
-                mode: view.mode === "lanes" ? "executors" : "lanes",
+                mode: view.mode === "executors" ? "lanes" : "executors",
                 selected: undefined,
                 expanded: false,
+                tail: false,
+                scroll: 0
+            };
+        case "b":
+            return {
+                ...view,
+                mode: view.mode === "boards" ? "lanes" : "boards",
+                expanded: false,
                 tail: false
             };
         case "l":
@@ -514,7 +698,8 @@ export const onTreeKey = (view, key, state) => {
     }
 };
 const railWidth = 26;
-const maxLaneBoxes = 3;
+/** The agent list never shrinks below this many rows for the log's sake. */
+const minListRows = 3;
 const counter = (label, value) => [
     span(`${label.padEnd(15)}${String(value).padStart(5)}`)
 ];
@@ -530,26 +715,8 @@ const railOf = (state) => box(railWidth, "judge", [
     ],
     [],
     counter("reviews", state.judge.reviews),
-    counter("verdicts", state.judge.verdicts)
-]);
-const laneBox = (lane, width, now, selected, idleAfterMs) => box(width, "running", [
-    [span(selected ? `▸ ${lane.id}` : lane.id, "bold")],
-    [span(lane.executor ?? "(leasing)")],
-    [span(lane.stages.at(-1) ?? "starting")],
-    doingLine(lane, now),
-    [
-        span(`${elapsed(lane.startedAt, now)} · ${formatCount(lane.tokens)} tok${lane.costUsd > 0 ? ` · ${dollars(lane.costUsd)}` : ""}`)
-    ],
-    ...(lane.turns.length === 0 && lane.gatesMs === 0
-        ? []
-        : [
-            [
-                span(`turns ${lane.turns.length} · avg ${elapsedMs(lane.turns.length === 0
-                    ? 0
-                    : lane.turns.reduce((total, turn) => total + turn, 0) / lane.turns.length)} · gates ${elapsedMs(lane.gatesMs)}`)
-            ]
-        ]),
-    statusLine(lane, now, idleAfterMs)
+    counter("verdicts", state.judge.verdicts),
+    ...(state.judge.borrowed === 0 ? [] : [counter("borrowed", state.judge.borrowed)])
 ]);
 /** Work under way as a card names it: the command itself, the call, the wait. */
 export const workText = (work) => {
@@ -678,13 +845,244 @@ const columnsOf = (items, width, draw) => {
     const each = Math.floor((width - 2 * (items.length - 1)) / items.length);
     return beside(items.map((item) => draw(item, each)), items.map(() => each));
 };
-const expandedLane = (lane, width, now) => box(width, "running", [
-    [span(`story ${lane.id}`, "bold"), span(`  ${elapsed(lane.startedAt, now)}`)],
-    ...lane.stages.map((stage) => [span(stage)]),
-    [span(`tools (last ${lane.tools.length})`, "dim")],
-    ...lane.tools.map((tool) => [span(`  ${tool}`, "dim")]),
-    [span(`${formatCount(lane.tokens)} tok · ${dollars(lane.costUsd)}`)]
-], `${lane.id} · ${lane.executor ?? "(leasing)"}`);
+/** `◐`/`⏸`: the lane's status at a glance, as `statusLine` grades it. */
+const statusMark = (lane, now, idleAfterMs) => {
+    const line = statusLine(lane, now, idleAfterMs);
+    const text = line[0]?.text ?? "";
+    return span(text.startsWith("◐") ? "◐" : "⏸", line[0]?.style);
+};
+/** `3/5 wire session cookie`, or `2/5 tasks` between tasks, or nothing before the plan. */
+const taskText = (lane) => lane.task !== undefined
+    ? `${lane.task.index}/${lane.task.count} ${lane.task.title}`
+    : lane.tasks.length > 0
+        ? `${lane.tasks.filter((task) => task.done).length}/${lane.tasks.length} tasks`
+        : "";
+/** `head` then `tail` in `width`: a long head is cut, the tail (a timer, a count) never is. */
+const headThenTail = (head, tail, width) => {
+    const room = width - [...tail.text].length;
+    return lengthOf(head) <= room ? [...head, tail] : [...fit(head, Math.max(1, room)), tail];
+};
+/** The one line a running lane is in the agent list (ADR 0033). */
+const laneLine = (lane, width, now, selected, idleAfterMs) => {
+    const task = taskText(lane);
+    const stage = lane.stages.at(-1) ?? "starting";
+    const head = [
+        span(selected ? "▸ " : "  "),
+        statusMark(lane, now, idleAfterMs),
+        span(" "),
+        span(lane.id, "bold"),
+        span(` ${cloneName(lane.executor ?? "(leasing)", lane.clone)}`),
+        ...(task.length === 0 ? [] : [span(" · "), span(task)]),
+        // A task is a stage of its own name: say it once.
+        ...(stage === lane.task?.title ? [] : [span(" · "), span(stage, "dim")]),
+        ...(lane.pause === undefined
+            ? []
+            : [span(" · "), span(`⏸ ${lane.pause.label} ${elapsed(lane.pause.since, now)}`, "judge")])
+    ];
+    return headThenTail(head, span(` · ${elapsed(lane.startedAt, now)} · ${formatCount(lane.tokens)} tok`), width);
+};
+/** A sub-agent the lane's harness spawned, indented under it. */
+/** A task running beside the lane's coder, indented under it (ADR 0034). */
+const taskCoderLine = (coder, width, now) => headThenTail([
+    span("    └ "),
+    span("task coder ", "dim"),
+    span(`${cloneName(coder.executor ?? "(leasing)", coder.clone)} · `),
+    span(`${coder.index}/${coder.count} ${coder.title}`)
+], span(` · ${elapsed(coder.since, now)}`, "dim"), width);
+const childLine = (child, width, now) => headThenTail([
+    span("    └ "),
+    span("sub-agent ", "dim"),
+    span(`${child.tool} ${child.args}`),
+    span(` · ${child.lastTool ?? "starting"}`, "dim")
+], span(` · ${elapsed(child.since, now)}`, "dim"), width);
+/** The list's rows: a running lane, then each sub-agent still running under it. */
+const listRowsOf = (state) => runningLanes(state).reduce((total, lane) => total + 1 + lane.taskCoders.length + lane.children.filter((child) => !child.ended).length, 0);
+/**
+ * Every running agent, one row each, scrolled so the selected lane is in
+ * view and cut to `rows` with a count of what is out of view (ADR 0033).
+ */
+const agentRows = (state, width, view, selected, rows) => {
+    const all = runningLanes(state).flatMap((lane) => [
+        {
+            lane: lane.id,
+            line: laneLine(lane, width, state.now, lane.id === selected?.id, state.idleAfterMs)
+        },
+        ...lane.taskCoders.map((coder) => ({
+            lane: lane.id,
+            line: taskCoderLine(coder, width, state.now)
+        })),
+        ...lane.children
+            .filter((child) => !child.ended)
+            .map((child) => ({ lane: lane.id, line: childLine(child, width, state.now) }))
+    ]);
+    if (rows === undefined || all.length <= rows) {
+        return all.map((row) => row.line);
+    }
+    const wanted = all.findIndex((row) => row.lane === selected?.id);
+    // The "… n above/more" notes take rows of the budget too.
+    const window = (room) => {
+        const start = Math.max(0, Math.min(view.scroll, all.length - room));
+        return wanted < 0
+            ? start
+            : wanted < start
+                ? wanted
+                : wanted >= start + room
+                    ? wanted - room + 1
+                    : start;
+    };
+    let room = Math.max(1, rows - 1);
+    let first = window(room);
+    if (first > 0 && first + room < all.length) {
+        room = Math.max(1, rows - 2);
+        first = window(room);
+    }
+    const shown = all.slice(first, first + room);
+    const above = first;
+    const below = all.length - first - shown.length;
+    return [
+        ...(above > 0 ? [[span(`… ${above} above`, "dim")]] : []),
+        ...shown.map((row) => row.line),
+        ...(below > 0 ? [[span(`… ${below} more`, "dim")]] : [])
+    ];
+};
+const tick = (task, running) => task.done ? "[x]" : running ? "[▶]" : "[ ]";
+/**
+ * The selected lane in full: its task checklist with the criteria each task
+ * satisfies, its stage, what it is doing, its tools, a harness pause, and
+ * its figures (ADR 0033). Expanded, every stage and tool it ran.
+ */
+const detailBox = (lane, width, now, idleAfterMs, expanded) => {
+    const inner = width - 4;
+    const checklist = lane.tasks.length === 0
+        ? [[span("no task plan yet", "dim")]]
+        : lane.tasks.map((task) => {
+            const beside = lane.taskCoders.find((coder) => coder.index === task.index);
+            const running = lane.task?.index === task.index || beside !== undefined;
+            const right = task.satisfies === undefined ? "" : `satisfies ${task.satisfies.join(",")}`;
+            const left = [
+                span(`${tick(task, running)} ${task.index} ${task.title}`, running ? "bold" : undefined),
+                ...(beside === undefined
+                    ? []
+                    : [span(`  ← ${cloneName(beside.executor ?? "(leasing)", beside.clone)}`, "dim")])
+            ];
+            return right.length === 0
+                ? left
+                : [...fit(left, Math.max(1, inner - [...right].length - 1)), span(` ${right}`, "dim")];
+        });
+    const stages = expanded
+        ? lane.stages.map((stage) => [span(stage)])
+        : [[span("stage  "), span(lane.stages.at(-1) ?? "starting")]];
+    const tools = expanded
+        ? [
+            [span(`tools (last ${lane.tools.length})`, "dim")],
+            ...lane.tools.map((tool) => [span(`  ${tool}`, "dim")])
+        ]
+        : lane.tools.length === 0
+            ? []
+            : [[span("tools  "), span(lane.tools.slice(-3).join(" · "), "dim")]];
+    const title = `${lane.id} · ${cloneName(lane.executor ?? "(leasing)", lane.clone)}${lane.task === undefined ? "" : ` · task ${lane.task.index}/${lane.task.count}`}`;
+    return box(width, "running", [
+        ...checklist,
+        ...stages,
+        doingLine(lane, now),
+        ...(lane.pause === undefined
+            ? []
+            : [[span(`⏸ ${lane.pause.label} ${elapsed(lane.pause.since, now)}`, "judge")]]),
+        ...tools,
+        [
+            span(`${elapsed(lane.startedAt, now)} · ${formatCount(lane.tokens)} tok${lane.costUsd > 0 ? ` · ${dollars(lane.costUsd)}` : ""}`)
+        ],
+        ...(lane.turns.length === 0 && lane.gatesMs === 0
+            ? []
+            : [
+                [
+                    span(`turns ${lane.turns.length} · avg ${elapsedMs(lane.turns.length === 0
+                        ? 0
+                        : lane.turns.reduce((total, turn) => total + turn, 0) / lane.turns.length)} · gates ${elapsedMs(lane.gatesMs)}`)
+                ]
+            ]),
+        statusLine(lane, now, idleAfterMs)
+    ], title);
+};
+const bar = (done, total, width = 5) => {
+    const filled = total === 0 ? 0 : Math.round((done / total) * width);
+    return "█".repeat(filled) + "░".repeat(width - filled);
+};
+const boardColumns = [
+    ["planned", "planned"],
+    ["active", "running"],
+    ["waiting", "waiting"],
+    ["done", "done"],
+    ["failed", "failed"]
+];
+/**
+ * The boards (ADR 0033): the epic's stories by column, with a running lane's
+ * clone and progress on its card, then the selected lane's tasks by column.
+ */
+const boardsOf = (state, width, selected, now) => {
+    const chips = chipsOf(state);
+    // Five columns need ~16 characters each to read; narrower, two rows of columns.
+    const epic = chunked(boardColumns, width >= 5 * 16 + 8 ? 5 : 3).flatMap((group) => columnsOf(group, width, ([name, status], each) => {
+        const members = chips.filter((chip) => chip.status === status);
+        const cards = members.flatMap((chip) => {
+            const lane = state.lanes.find((candidate) => candidate.id === chip.id);
+            if (lane === undefined || lane.status !== "running") {
+                return [[span(chip.id)]];
+            }
+            const done = lane.tasks.filter((task) => task.done).length;
+            const progress = lane.tasks.length === 0
+                ? ""
+                : ` ${done}/${lane.tasks.length}${each >= 24 ? ` ${bar(done, lane.tasks.length)}` : ""}`;
+            return [
+                [span(chip.id, "bold")],
+                [span(`  ${cloneName(lane.executor ?? "(leasing)", lane.clone)}${progress}`, "dim")]
+            ];
+        });
+        return box(each, "running", cards.length === 0 ? [[span("—", "dim")]] : cards, `${name} (${members.length})`);
+    }));
+    if (selected === undefined) {
+        return [[span("epic board", "bold")], ...epic];
+    }
+    const taskColumns = [
+        [
+            "todo",
+            (task) => !task.done &&
+                task.index !== selected.task?.index &&
+                !selected.taskCoders.some((coder) => coder.index === task.index)
+        ],
+        [
+            "doing",
+            (task) => !task.done &&
+                (task.index === selected.task?.index ||
+                    selected.taskCoders.some((coder) => coder.index === task.index))
+        ],
+        ["review", () => false],
+        ["done", (task) => task.done]
+    ];
+    const story = chunked(taskColumns, width >= 4 * 16 + 6 ? 4 : 2).flatMap((group) => columnsOf(group, width, ([name, keep], each) => {
+        const members = selected.tasks.filter(keep);
+        return box(each, "running", members.length === 0
+            ? [[span("—", "dim")]]
+            : members.map((task) => [span(`${task.index} ${task.title}`)]), `${name} (${members.length})`);
+    }));
+    return [
+        [span("epic board", "bold")],
+        ...epic,
+        [],
+        [
+            span(`story board · ${selected.id} · ${cloneName(selected.executor ?? "(leasing)", selected.clone)}`, "bold"),
+            span(` · ${elapsed(selected.startedAt, now)}`)
+        ],
+        ...story
+    ];
+};
+/** `codex ×2 · claude ×1`: how many leases each executor holds now. */
+const leaseCounts = (state) => state.executors
+    .map((executor) => [executor, state.leases.filter((lease) => lease.executor === executor).length])
+    .filter(([, count]) => count > 0)
+    .map(([executor, count]) => `${executor} ×${count}`)
+    .join(" · ");
+const chunked = (items, size) => Array.from({ length: Math.ceil(items.length / size) }, (_, index) => items.slice(index * size, index * size + size));
 const barWidth = 10;
 const judgmentRows = 3;
 const meter = (fraction) => {
@@ -728,8 +1126,8 @@ const tailOf = (view, tail, width) => box(width, "running", tail === undefined |
         ]
     ]
     : tail.map((line) => [span(line)]), `tail · ${view.selected ?? ""} · ${view.tailRole ?? "all"}`);
-const mainOf = (state, width, view, tail) => {
-    const running = state.lanes.filter((lane) => lane.status === "running");
+const mainOf = (state, width, view, tail, listRows) => {
+    const running = runningLanes(state);
     const orchestratorWidth = Math.min(46, width);
     const stage = state.stages.at(-1) ?? (running.length > 0 ? "implement stories" : "idle");
     // The run's own work under way (its gates, outside any story), innermost.
@@ -750,27 +1148,29 @@ const mainOf = (state, width, view, tail) => {
             ]),
         [span(`stories ${chipsOf(state).length}  elapsed ${elapsed(state.startedAt, state.now)}`)]
     ], state.title);
-    const selected = running.find((lane) => lane.id === view.selected);
-    const shown = running.slice(0, maxLaneBoxes);
-    const executors = state.executors.slice(0, maxLaneBoxes + 1);
-    const lanes = view.tail && view.selected !== undefined
+    const selected = selectedLane(state, view);
+    const counts = leaseCounts(state);
+    const agents = centre([span(`agents · ${running.length} running${counts.length === 0 ? "" : ` · ${counts}`}`)], width);
+    const body = view.tail && view.selected !== undefined
         ? tailOf(view, tail, width)
-        : view.expanded && selected !== undefined
-            ? expandedLane(selected, width, state.now)
-            : view.mode === "executors"
-                ? executors.length === 0
-                    ? [centre([span("no executors yet", "dim")], width)]
-                    : columnsOf(executors, width, (executor, each) => executorBox(state, executor, each, executor === view.selected))
-                : shown.length === 0
+        : view.mode === "executors"
+            ? state.executors.length === 0
+                ? [centre([span("no executors yet", "dim")], width)]
+                : chunked(state.executors, 4).flatMap((group) => columnsOf(group, width, (executor, each) => executorBox(state, executor, each, executor === view.selected)))
+            : view.mode === "boards"
+                ? boardsOf(state, width, selected, state.now)
+                : running.length === 0 || selected === undefined
                     ? [centre([span("no stories in flight", "dim")], width)]
-                    : columnsOf(shown, width, (lane, each) => laneBox(lane, each, state.now, lane.id === view.selected, state.idleAfterMs));
+                    : [
+                        ...agentRows(state, width, view, selected, listRows),
+                        ...detailBox(selected, width, state.now, state.idleAfterMs, view.expanded)
+                    ];
     return [
         ...orchestrator.map((line) => centre(line, width)),
         centre([span("•", "orchestrator")], width),
         ...judgmentOf(state, width),
-        centre([span(`delegate to roster · ${running.length} running`)], width),
-        centre([span("▼", "dim")], width),
-        ...lanes,
+        agents,
+        ...body,
         [],
         ...wrapChips(chipsOf(state).map(chipOf), width)
     ];
@@ -795,7 +1195,7 @@ const timeSplitOf = (time) => {
     ];
 };
 /** A frame with the session log at `logCount` lines, or without it. */
-const frameOf = (state, options, logCount) => {
+const frameOf = (state, options, logCount, listRows) => {
     const { width } = options;
     const mainWidth = width - railWidth - 2;
     const chips = chipsOf(state);
@@ -805,7 +1205,7 @@ const frameOf = (state, options, logCount) => {
         centre([span("LLM4TS AGENT TREE", "bold"), span("  ·  "), span(state.title, "orchestrator")], width),
         [span("═".repeat(width), "dim")],
         [],
-        ...beside([railOf(state), mainOf(state, mainWidth, options.view, options.tail)], [railWidth, mainWidth]),
+        ...beside([railOf(state), mainOf(state, mainWidth, options.view, options.tail, listRows)], [railWidth, mainWidth]),
         ...(logCount === "none"
             ? []
             : [[], ...box(width, "log", logOf(state, logCount), "session log")]),
@@ -822,24 +1222,37 @@ const frameOf = (state, options, logCount) => {
     return lines.map((line) => paint(fit(line, width), options.colour));
 };
 /**
- * The tree at a width and, when `height` is given, no taller: the session
- * log gives way first — fewer lines, down to one, then none — and only then
- * is the frame cut, keeping its status lines, so a redraw never scrolls.
+ * The tree at a width and, when `height` is given, no taller: the agent
+ * list gives way first (down to `minListRows`, with a count of what is out
+ * of view), then the session log — fewer lines, down to one, then none —
+ * and only then is the frame cut, keeping its status lines, so a redraw
+ * never scrolls.
  */
 export const renderTree = (state, options) => {
     const wanted = options.view.fullLog ? fullLogLines : logLines;
-    const full = frameOf(state, options, wanted);
+    const full = frameOf(state, options, wanted, undefined);
     const { height } = options;
     if (height === undefined || full.length <= height) {
         return full;
     }
+    const total = listRowsOf(state);
+    const floor = Math.min(total, minListRows);
+    const listRows = options.view.mode === "lanes" && total > floor
+        ? Math.max(floor, total - (full.length - height))
+        : undefined;
+    if (listRows !== undefined) {
+        const shorter = frameOf(state, options, wanted, listRows);
+        if (shorter.length <= height) {
+            return shorter;
+        }
+    }
     for (let count = wanted - 1; count >= 1; count -= 1) {
-        const shorter = frameOf(state, options, count);
+        const shorter = frameOf(state, options, count, listRows);
         if (shorter.length <= height) {
             return shorter;
         }
     }
-    return fitToRows(frameOf(state, options, "none"), height);
+    return fitToRows(frameOf(state, options, "none", listRows), height);
 };
 /**
  * A frame cut to a terminal's height: the top of the tree and its two status