@vzlentin/harness 0.3.1 → 0.4.0

package/README.md

@@ -1,6 +1,6 @@
 # harness
 
-Observable, persistent subagents on [Pi](https://github.com/earendil-works/pi)'s libraries and
+Observable, persistent (sub)agents on [Pi](https://github.com/earendil-works/pi)'s libraries and
 [pi-durable](https://www.npmjs.com/package/@earendil-works/pi-durable). Each subagent is a conversation in a durable
 host process. You can spawn it, check its status, wait for its answer, steer it, and talk to it live in Pi.
 
@@ -13,22 +13,23 @@ with `/login` in `pi`, or set the API key of the provider, such as `ANTHROPIC_AP
 npm install -g @vzlentin/harness
 ```
 
-This works with npm 11 and npm 12. It gives you the `harness` command, and a setup runs `pi install` on the `pi/`
-folder of the package, which adds the `subagent` tool, the `/subagent` and `/harness` commands and the subagents widget
-to Pi. Pi and the `harness` command use the same host. npm 12 runs no install script by default, so there the first
+This works with npm 11 and npm 12. It gives you the `harness` command, and a setup runs `pi install` on
+`npm:@vzlentin/pi-agents` at the same version, which adds the `subagent` tool, the `/subagent` and `/harness` commands
+and the subagents widget to Pi. Pi and the `harness` command use the same host. npm 12 runs no install script by default, so there the first
 `harness` command does the setup. When `pi` is not on your `PATH`, or the step fails, the setup prints the command to run later:
 
 ```sh
-pi install "$(realpath "$(npm root -g)/@vzlentin/harness/pi")"
+pi install "npm:@vzlentin/pi-agents@$(harness --version)"
 ```
 
-When you install with `--prefix`, give the same `--prefix` to `npm root -g`.
+With only Pi, run `pi install npm:@vzlentin/pi-agents` and start `pi`. The extension asks to install harness with
+`npm install -g`. Answer yes, then run `/reload`.
 
 ### Update and remove
 
 ```sh
-npm install -g @vzlentin/harness@latest
-pi remove "$(realpath "$(npm root -g)/@vzlentin/harness/pi")"    # first: npm runs no script on uninstall
+npm install -g @vzlentin/harness@latest    # the setup pins the extension to this version
+pi remove npm:@vzlentin/pi-agents    # npm runs no script on uninstall
 npm uninstall -g @vzlentin/harness
 ```
 
@@ -60,6 +61,7 @@ XDG_STATE_HOME=/tmp/harness-dev node src/cli.ts list
 `node src/cli.ts` runs the CLI of this checkout. Give it its own `XDG_STATE_HOME`, so its hosts do not share sockets and
 stores with the hosts of the installed `harness`.
 
-The checkout runs from its TypeScript source. The package contains `dist/`, the Pi extension in `pi/` and its
-`postinstall` script. To release, merge the release PR `release: <version>` that CI keeps open: CI then publishes that version. `npm run check` builds `dist/` too, before the type check. The extension imports `../dist/`, so to try the checkout's
-extension in Pi, run `npm run build`, then `pi install ./pi`, and build again after each change in `src/`.
+The checkout runs from its TypeScript source. The package contains `dist/` and its `postinstall` script. The Pi
+extension in `pi/` is the package `@vzlentin/pi-agents`. To release, merge the release PR `release: <version>` that CI keeps open: CI then publishes both packages at that version. `npm run check` builds `dist/` too, before the type check. The extension
+loads `dist/` of the global harness, so to try the checkout's extension in Pi, run `npm run build`, `npm link`, then
+`pi install ./pi`, and build again after each change in `src/`.

package/dist/cli.js

@@ -1,7 +1,10 @@
 #!/usr/bin/env node
 import { spawnSync } from "node:child_process";
 import { randomUUID } from "node:crypto";
+import { readFileSync } from "node:fs";
 import { fileURLToPath } from "node:url";
+import { Type } from "typebox";
+import { Value } from "typebox/value";
 import { request } from "./client.js";
 import { piEnv } from "./herdr.js";
 import { piArgs } from "./mirror.js";
@@ -27,6 +30,7 @@ function usage() {
   harness attach --conversation <id>
   harness create <name> --cwd <dir>
   harness projects
+  harness --version
 Any command but harness <project> takes --project <name> before it; without it, the project is HARNESS_PROJECT, then the cwd.`);
 }
 function valueAfter(args, index, option) {
@@ -236,7 +240,14 @@ async function main() {
     // npm 12 runs no install script by default, so an installed CLI finishes the setup. A checkout runs `cli.ts`, and
     // the host starts from a command that already did it.
     if (import.meta.url.endsWith(".js") && command !== "host")
-        setupOnce(fileURLToPath(new URL("..", import.meta.url)));
+        setupOnce(fileURLToPath(new URL("..", import.meta.url)), "@vzlentin/pi-agents");
+    if (command === "--version") {
+        if (project !== undefined || args.length !== 0)
+            usage();
+        const json = JSON.parse(readFileSync(new URL("../package.json", import.meta.url), "utf8"));
+        process.stdout.write(`${Value.Parse(Type.Object({ version: Type.String() }), json).version}\n`);
+        return;
+    }
     if (command === "create")
         return createCommand(args);
     if (command === "projects")

package/dist/setup.d.ts

@@ -1,14 +1,14 @@
 /**
- * Registers `<packageDir>/pi` in Pi when `packageDir` is a top-level global npm install. It writes its messages to
- * stderr, and it does not throw for a Pi failure: it writes a warning with the command to run. It writes the stamp
- * that `setupOnce` reads unless `pi` failed, so the next run tries again. Without `pi` on PATH it writes the stamp, so
- * a user without Pi gets the hint once per version.
+ * Registers `npm:<piPackage>@<version>` in Pi when `packageDir` is a top-level global npm install, with the version of
+ * `<packageDir>/package.json`. It writes its messages to stderr, and it does not throw for a Pi failure: it writes a
+ * warning with the command to run. It writes the stamp that `setupOnce` reads unless `pi` failed, so the next run
+ * tries again. Without `pi` on PATH it writes the stamp, so a user without Pi gets the hint once per version.
  */
-export declare function setup(packageDir: string): void;
+export declare function setup(packageDir: string, piPackage: string): void;
 /**
  * `setup` once per version and path of the package: it does nothing when the stamp of `setup` exists. It never
  * throws; an error is a warning.
  */
-export declare function setupOnce(packageDir: string): void;
+export declare function setupOnce(packageDir: string, piPackage: string): void;
 /** The `PATH` without the `node_modules/.bin` folders that npm adds: pi-coding-agent there has its own `pi`. */
 export declare function userPath(): string;

package/dist/setup.js

@@ -1,6 +1,7 @@
 /**
- * Registers the Pi extension of a globally installed package in Pi. The `postinstall` script and the CLI of the package
- * run it, since npm 12 does not run install scripts by default. workflows uses it too, as `@vzlentin/harness/setup`.
+ * Registers the Pi package of a globally installed package in Pi, as `npm:<piPackage>@<version>`. The `postinstall`
+ * script and the CLI of the package run it, since npm 12 does not run install scripts by default. workflows uses it
+ * too, as `@vzlentin/harness/setup`, with its own Pi package.
  */
 import { spawnSync } from "node:child_process";
 import { createHash } from "node:crypto";
@@ -18,28 +19,28 @@ const PiSettings = Type.Object({
 /** The prefixes of the Pi package sources that are not local paths, as Pi reads them. */
 const REMOTE = ["npm:", "git:", "github:", "http:", "https:", "ssh:", "builtin:"];
 /**
- * Registers `<packageDir>/pi` in Pi when `packageDir` is a top-level global npm install. It writes its messages to
- * stderr, and it does not throw for a Pi failure: it writes a warning with the command to run. It writes the stamp
- * that `setupOnce` reads unless `pi` failed, so the next run tries again. Without `pi` on PATH it writes the stamp, so
- * a user without Pi gets the hint once per version.
+ * Registers `npm:<piPackage>@<version>` in Pi when `packageDir` is a top-level global npm install, with the version of
+ * `<packageDir>/package.json`. It writes its messages to stderr, and it does not throw for a Pi failure: it writes a
+ * warning with the command to run. It writes the stamp that `setupOnce` reads unless `pi` failed, so the next run
+ * tries again. Without `pi` on PATH it writes the stamp, so a user without Pi gets the hint once per version.
  */
-export function setup(packageDir) {
+export function setup(packageDir, piPackage) {
     const installed = readInstalled(packageDir);
     if (installed === undefined || !isTopLevelGlobal(installed))
         return;
-    if (registerExtension(installed))
+    if (registerExtension(installed, piPackage))
         writeStamp(installed);
 }
 /**
  * `setup` once per version and path of the package: it does nothing when the stamp of `setup` exists. It never
  * throws; an error is a warning.
  */
-export function setupOnce(packageDir) {
+export function setupOnce(packageDir, piPackage) {
     try {
         const installed = readInstalled(packageDir);
         if (installed === undefined || !isTopLevelGlobal(installed) || existsSync(stampPath(installed)))
             return;
-        if (registerExtension(installed))
+        if (registerExtension(installed, piPackage))
             writeStamp(installed);
     }
     catch (error) {
@@ -76,15 +77,15 @@ function writeStamp(installed) {
     writeFileSync(path, `${installed.dir}\n${installed.json.version}\n`);
 }
 /**
- * False when `pi install` failed. It runs no `pi` when Pi already lists the extension, as `pi install` would write the
- * entry again in its own form, relative to the agent directory.
+ * Runs `pi install npm:<piPackage>@<version>` unless Pi already lists it. False when `pi install` failed. Pi replaces
+ * an entry with the same package name, so an older version or a range is updated in place.
  */
-function registerExtension({ dir, json }) {
+function registerExtension({ json }, piPackage) {
     const label = basename(json.name);
-    const extension = join(dir, "pi");
-    if (piLists(extension))
+    const source = `npm:${piPackage}@${json.version}`;
+    if (piLists(piPackage, source))
         return true;
-    return runPi(label, ["install", extension], `To add the Pi extension of ${label}, run: pi install ${extension}`);
+    return runPi(label, ["install", source], `To add the Pi extension of ${label}, run: pi install ${source}`);
 }
 /** Runs `pi`, with a warning when it is missing or fails. False when it failed; true when it worked or is missing. */
 function runPi(label, args, later) {
@@ -105,10 +106,11 @@ function runPi(label, args, later) {
     return true;
 }
 /**
- * Whether the `packages` of Pi's global settings list the folder `extension` as a local path, absolute or relative to
- * the agent directory, with `~` or as a `file:` URL, as Pi resolves them.
+ * Whether the `packages` of Pi's global settings list `source` exactly, or a local folder whose `package.json` has the
+ * name `piPackage`, at any version. A local path is absolute or relative to the agent directory, with `~` or as a
+ * `file:` URL, as Pi resolves it. Another remote source, such as another `npm:` spec, is not listed.
  */
-function piLists(extension) {
+function piLists(piPackage, source) {
     const env = process.env.PI_CODING_AGENT_DIR;
     const agentDir = env ? expandHome(env) : join(homedir(), ".pi", "agent");
     let settings;
@@ -121,12 +123,15 @@ function piLists(extension) {
     if (!Value.Check(PiSettings, settings))
         return false;
     return (settings.packages ?? []).some((item) => {
-        const source = (Value.Check(Type.String(), item) ? item : item.source).trim();
-        if (REMOTE.some((prefix) => source.startsWith(prefix)))
+        const entry = (Value.Check(Type.String(), item) ? item : item.source).trim();
+        if (entry === source)
+            return true;
+        if (REMOTE.some((prefix) => entry.startsWith(prefix)))
             return false;
-        const path = source.startsWith("file://") ? fileURLToPath(source) : resolve(agentDir, expandHome(source));
         try {
-            return realpathSync(path) === extension;
+            const path = entry.startsWith("file://") ? fileURLToPath(entry) : resolve(agentDir, expandHome(entry));
+            const json = JSON.parse(readFileSync(join(path, "package.json"), "utf8"));
+            return Value.Check(PackageJson, json) && json.name === piPackage;
         }
         catch {
             return false;

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@vzlentin/harness",
-	"version": "0.3.1",
+	"version": "0.4.0",
 	"description": "A durable agent harness on Pi, starting with observable, persistent subagents",
 	"repository": {
 		"type": "git",
@@ -19,7 +19,6 @@
 	},
 	"files": [
 		"dist",
-		"pi",
 		"scripts/postinstall.js"
 	],
 	"engines": {

package/scripts/postinstall.js

@@ -1,12 +1,12 @@
-// Registers `pi/` in Pi after a global install, with `setup` of `dist/setup.js`. Plain JavaScript, since Node does not
-// strip types under node_modules. Other installs, such as `npm ci` in a checkout without `dist/`, do nothing, and an
-// error must not fail the npm install.
+// Registers `npm:@vzlentin/pi-agents@<version>` in Pi after a global install, with `setup` of `dist/setup.js`. Plain
+// JavaScript, since Node does not strip types under node_modules. Other installs, such as `npm ci` in a checkout
+// without `dist/`, do nothing, and an error must not fail the npm install.
 import { fileURLToPath } from "node:url";
 
 if (process.env.npm_config_global === "true") {
 	try {
 		const { setup } = await import("../dist/setup.js");
-		setup(fileURLToPath(new URL("..", import.meta.url)));
+		setup(fileURLToPath(new URL("..", import.meta.url)), "@vzlentin/pi-agents");
 	} catch (error) {
 		console.warn(`harness: setup failed: ${error instanceof Error ? error.message : String(error)}`);
 	}

package/pi/attachment.ts

@@ -1,303 +0,0 @@
-/**
- * The mirror of one Pi session: the frame of its entry in Pi's chat, which holds the transcript, the status above the
- * editor, and an editor whose interrupt and follow-up keys act on the agent while it works. The connection to the host
- * is the `Mirror`, and the model and thinking level of the session are the `ModelSync`.
- */
-import type {
-	ExtensionAPI,
-	ExtensionContext,
-	KeybindingsManager,
-	Theme,
-	ThemeColor,
-} from "@earendil-works/pi-coding-agent";
-import * as coding from "@earendil-works/pi-coding-agent";
-import type { ConversationView } from "@earendil-works/pi-durable";
-import type { Component, EditorTheme, TUI } from "@earendil-works/pi-tui";
-import * as tui from "@earendil-works/pi-tui";
-import { type AgentReporter, agentReporter } from "../dist/herdr.js";
-import { Mirror, type MirrorStatus, type MirrorTarget, targetTitle } from "../dist/mirror.js";
-import { type ChildInfo, childLabel, childTitle, errorMessage } from "../dist/protocol.js";
-import { inboxOf, liveOf, queued, statusText } from "../dist/view-state.js";
-import { ChatView } from "./chat.ts";
-import { ModelSync } from "./model-sync.ts";
-import { ProgramStatusReport } from "./program-status.ts";
-import { usageLine } from "./usage-line.ts";
-
-/** The key of the status widget above the editor. */
-const WIDGET = "harness-mirror";
-
-export class Attachment {
-	readonly entryId: string;
-	readonly models: ModelSync;
-	// After a session switch, `#pi` and `#ctx` are stale and throw, so only code that checks `#closed` uses them. The
-	// components that Pi draws use `#theme` instead.
-	readonly #pi: ExtensionAPI;
-	readonly #ctx: ExtensionContext;
-	#theme: Theme;
-	readonly #frame: tui.Container;
-	readonly #status = new StatusArea();
-	readonly #mirror: Mirror;
-	#ui: TUI | undefined;
-	#chat: ChatView | undefined;
-	/** The state of the agent for Herdr, made when the agent is first known. */
-	#reporter: AgentReporter | undefined;
-	/** The state of the agent for the terminal, made with the TUI. */
-	#programStatus: ProgramStatusReport | undefined;
-	#expanded = false;
-	#closed = false;
-
-	constructor(pi: ExtensionAPI, ctx: ExtensionContext, entryId: string, target: MirrorTarget, frame: tui.Container) {
-		this.entryId = entryId;
-		this.#pi = pi;
-		this.#ctx = ctx;
-		this.#theme = ctx.ui.theme;
-		this.#frame = frame;
-		this.#frame.clear();
-		this.#frame.addChild(this.#line("muted", () => `Connecting to the ${targetTitle(target)}...`));
-		// Pi calls the factory at once, which gives the TUI that the tool cards need.
-		ctx.ui.setWidget(
-			WIDGET,
-			(ui, theme) => {
-				this.#ui = ui;
-				this.#theme = theme;
-				this.#programStatus ??= new ProgramStatusReport(ui.terminal);
-
-				return this.#status;
-			},
-			{ placement: "aboveEditor" },
-		);
-		ctx.ui.setEditorComponent((ui, theme, keybindings) => new MirrorEditor(ui, theme, keybindings, this));
-		this.#mirror = new Mirror(target, (previous) => this.#update(previous));
-		this.#programStatus?.update(this.#mirror);
-		this.models = new ModelSync(pi, ctx, this.#mirror, (cause) => this.#notify(cause));
-	}
-
-	get busy(): boolean {
-		return this.#mirror.busy;
-	}
-
-	/**
-	 * Sends `text` to the agent: a new turn when it is idle, else a steer, or a follow-up with `followUp`. A text that
-	 * does not reach the agent goes back to the editor, after the text there, so it is not lost.
-	 */
-	send(text: string, followUp: boolean): void {
-		this.#mirror.send(text, followUp).catch((cause: unknown) => {
-			if (this.#closed) return;
-			const editor = this.#ctx.ui.getEditorText();
-			this.#ctx.ui.setEditorText([editor, text].filter((part) => part.trim() !== "").join("\n\n"));
-			this.#ctx.ui.notify(`harness: not sent: ${errorMessage(cause)}`, "error");
-		});
-	}
-
-	/** Aborts the agent's turn. The queued messages that the host withdraws go back to `editor`, steers first. */
-	abort(editor: Pick<tui.Editor, "getText" | "setText">): void {
-		this.#mirror.abort().then(
-			(texts) => {
-				if (this.#closed) return;
-				const text = [...texts, editor.getText()].filter((part) => part.trim() !== "").join("\n\n");
-
-				if (text !== editor.getText()) editor.setText(text);
-			},
-			(cause: unknown) => this.#notify(cause),
-		);
-	}
-
-	/** Takes the theme and the expanded state of tool output that Pi gives when it draws the entry again. */
-	restyle(theme: Theme, expanded: boolean): void {
-		this.#theme = theme;
-		this.#expanded = expanded;
-		this.#chat?.setExpanded(expanded);
-		this.showThinkingSetting();
-	}
-
-	/** Shows or hides the thinking of the answers, as Pi's `hideThinkingBlock` setting says. */
-	showThinkingSetting(): void {
-		if (!this.#closed) this.#chat?.setHideThinking(this.#pi.getSettings().hideThinkingBlock ?? false);
-	}
-
-	/** Closes the connection and gives Pi back its editor. The agent keeps running in the host. */
-	close(): void {
-		if (this.#closed) return;
-		this.#closed = true;
-		this.models.close();
-		this.#mirror.close();
-		this.#chat?.stopTimers();
-		this.#status.dispose();
-		this.#ctx.ui.setWidget(WIDGET, undefined);
-		this.#ctx.ui.setEditorComponent(undefined);
-		void this.#reporter?.release();
-		this.#programStatus?.leave(this.#mirror);
-	}
-
-	/** Shows each change of the mirror, whose status was `previous` before it. */
-	#update(previous: MirrorStatus): void {
-		const ui = this.#ui;
-
-		if (ui === undefined || this.#closed) return;
-		const { status, view, child } = this.#mirror;
-
-		if (view !== undefined && child !== undefined) this.#showTranscript(ui, view, child, previous);
-		this.#showStatus(ui, view, child);
-
-		if (status.kind === "failed" && previous.kind !== "failed") this.#showFailure(status.reason);
-		this.#reporter?.report(this.#mirror.busy);
-		this.#programStatus?.update(this.#mirror);
-
-		if (child !== undefined) this.#followAgent(child);
-		ui.requestRender();
-	}
-
-	/**
-	 * Shows the transcript under its header, and makes the Herdr reporter at the first connection. It applies `view` only
-	 * on an open connection.
-	 */
-	#showTranscript(ui: TUI, view: ConversationView, child: ChildInfo, previous: MirrorStatus): void {
-		const chat = this.#chat ?? this.#startTranscript(ui, child);
-
-		if (this.#mirror.status.kind === "open") chat.apply(view);
-		// A running bash card keeps its timer until it gets a final result, and no connection gives one now.
-		else if (previous.kind === "open") chat.stopTimers();
-	}
-
-	#startTranscript(ui: TUI, first: ChildInfo): ChatView {
-		const chat = new ChatView(ui, first.cwd, (name, text) => this.#theme.fg(name, text));
-		this.#chat = chat;
-		chat.setExpanded(this.#expanded);
-		this.showThinkingSetting();
-		this.#frame.clear();
-		this.#frame.addChild(this.#line("muted", () => this.#header(this.#mirror.child ?? first)));
-		this.#frame.addChild(chat.transcript);
-		this.#reporter = agentReporter(process.env, childLabel(first), this.#mirror.target);
-
-		return chat;
-	}
-
-	/** Shows above the editor what the agent does, its queued messages and its usage line. */
-	#showStatus(ui: TUI, view: ConversationView | undefined, child: ChildInfo | undefined): void {
-		const { status, busy } = this.#mirror;
-		const lines: string[] = [];
-
-		if (view !== undefined && status.kind === "open") {
-			for (const { mode, text } of queued(inboxOf(view))) {
-				lines.push(this.#theme.fg("dim", `${mode === "steer" ? "Steer" : "Follow-up"}: ${text.split("\n")[0] ?? ""}`));
-			}
-		}
-
-		if (view !== undefined && child !== undefined) {
-			lines.push(usageLine(this.#theme, this.#ctx.modelRegistry, child, view));
-		}
-
-		const working =
-			status.kind === "reconnecting"
-				? "Connecting again to the harness host..."
-				: busy && view !== undefined
-					? statusText(liveOf(view)) || "Working..."
-					: "";
-
-		this.#status.show(ui, this.#theme, working, lines);
-	}
-
-	#showFailure(reason: string): void {
-		// Without a transcript, the error takes the place of the connecting line.
-		if (this.#chat === undefined) this.#frame.clear();
-		this.#frame.addChild(this.#line("error", () => reason));
-		this.#ctx.ui.notify(`harness: ${reason}`, "error");
-	}
-
-	/** Gives Pi the agent's title, and on an open connection its model and thinking level. */
-	#followAgent(child: ChildInfo): void {
-		if (this.#mirror.status.kind === "open") this.models.fromAgent(child);
-		const title = childTitle(child);
-
-		if (this.#pi.getSessionName() !== title) this.#pi.setSessionName(title);
-	}
-
-	#notify(cause: unknown): void {
-		if (!this.#closed) this.#ctx.ui.notify(`harness: ${errorMessage(cause)}`, "error");
-	}
-
-	#header(child: ChildInfo): string {
-		const theme = this.#theme;
-
-		return [theme.bold(theme.fg("accent", "harness")), theme.fg("text", childTitle(child)), child.cwd].join(" │ ");
-	}
-
-	/** One line in the theme color `name`, colored at each render so that it follows a change of theme. */
-	#line(name: ThemeColor, text: () => string): Component {
-		return {
-			render: (width) => [tui.truncateToWidth(` ${this.#theme.fg(name, text())}`, width)],
-			invalidate: () => {},
-		};
-	}
-}
-
-/**
- * The editor of a mirror session. While the agent works, the interrupt key (Esc) aborts its turn and the follow-up key
- * (Alt+Enter) queues the text as a follow-up. Pi's editor handles every other key. After the key that hides thinking
- * (Ctrl+T), which Pi applies only to its own messages, the transcript of the agent follows the setting. After the key
- * that cycles the thinking level (Shift+Tab), the agent gets the level of Pi.
- */
-class MirrorEditor extends coding.CustomEditor {
-	readonly #keys: KeybindingsManager;
-	readonly #attachment: Attachment;
-
-	constructor(ui: TUI, theme: EditorTheme, keys: KeybindingsManager, attachment: Attachment) {
-		super(ui, theme, keys);
-		this.#keys = keys;
-		this.#attachment = attachment;
-	}
-
-	handleInput(data: string): void {
-		if (this.#attachment.busy && this.#keys.matches(data, "app.interrupt") && !this.isShowingAutocomplete()) {
-			this.#attachment.abort(this);
-
-			return;
-		}
-
-		if (this.#attachment.busy && this.#keys.matches(data, "app.message.followUp")) {
-			const text = this.getExpandedText().trim();
-
-			if (text !== "") {
-				this.addToHistory(text);
-				this.setText("");
-				this.#attachment.send(text, true);
-			}
-
-			return;
-		}
-
-		super.handleInput(data);
-
-		if (this.#keys.matches(data, "app.thinking.toggle")) this.#attachment.showThinkingSetting();
-
-		if (this.#keys.matches(data, "app.thinking.cycle")) this.#attachment.models.piCycled();
-	}
-}
-
-/** The status of the agent above the editor: Pi's working indicator while it works, then some lines. */
-class StatusArea extends tui.Container {
-	#loader: tui.Loader | undefined;
-
-	/** Shows `status` with a spinner, or nothing when it is empty, then each of `lines`, cut to the width. */
-	show(ui: TUI, theme: Theme, status: string, lines: readonly string[]): void {
-		if (status === "") {
-			this.dispose();
-		} else if (this.#loader === undefined) {
-			const spinner = (text: string) => theme.fg("accent", text);
-			this.#loader = new tui.Loader(ui, spinner, (text) => theme.fg("muted", text), status);
-		} else {
-			this.#loader.setMessage(status);
-		}
-
-		this.clear();
-
-		if (this.#loader !== undefined) this.addChild(this.#loader);
-
-		for (const line of lines) this.addChild(new tui.TruncatedText(line, 1, 0));
-	}
-
-	dispose(): void {
-		this.#loader?.stop();
-		this.#loader = undefined;
-	}
-}