@adeildo/pi-harness 4.0.0 → 5.0.0

package/src/look/settings.ts

@@ -1,237 +0,0 @@
-// Every setting of the look, under `look.` in the shared settings file. The slots are plain lists of
-// segment ids, so moving a piece from the frame to the footer is editing one array.
-import {
-	boolean,
-	type Decoder,
-	integer,
-	literal,
-	pass,
-	problem,
-	setting,
-	string,
-} from "@adeildo/pi-kit";
-
-import type { FrameStyle } from "./render/frame.ts";
-import type { IconMode } from "./render/glyphs.ts";
-import { isSegmentId, type SegmentId } from "./render/segments.ts";
-
-const GROUP = "Look";
-
-export type HeaderStyle = "card" | "compact" | "off";
-export type SeparatorStyle = "dot" | "bar" | "slash" | "space";
-export type CursorStyle = "block" | "bar" | "underline";
-
-export const SEPARATORS: Record<SeparatorStyle, string> = {
-	dot: " · ",
-	bar: " │ ",
-	slash: " / ",
-	space: "  ",
-};
-
-/** A list of known segment ids. Unknown ones are dropped with a warning, not the whole list. */
-function segments(fallback: readonly SegmentId[]): Decoder<SegmentId[]> {
-	return {
-		decode(input, path) {
-			if (input === undefined) return pass([...fallback]);
-			if (!Array.isArray(input))
-				return pass([...fallback], [problem(path, "expected an array of segment ids")]);
-			const value: SegmentId[] = [];
-			const unknown: string[] = [];
-			for (const entry of input) {
-				if (typeof entry === "string" && isSegmentId(entry)) value.push(entry);
-				else unknown.push(String(entry));
-			}
-			const problems =
-				unknown.length === 0
-					? []
-					: [problem(path, `ignored unknown segments: ${unknown.join(", ")}`)];
-			return pass(value, problems);
-		},
-	};
-}
-
-function slot(id: string, label: string, description: string, fallback: readonly SegmentId[]) {
-	return setting<SegmentId[]>({
-		id: `look.${id}`,
-		default: [...fallback],
-		decoder: segments(fallback),
-		project: true,
-		ui: { group: GROUP, label, description },
-	});
-}
-
-export const strip = slot(
-	"strip",
-	"Answer strip",
-	"The line above the editor: how long the agent has worked, and the last call that finished.",
-	["elapsed", "last"],
-);
-export const topLeft = slot("frame.topLeft", "Frame, top left", "After the working spinner.", [
-	"branch",
-	"session",
-]);
-export const topRight = slot("frame.topRight", "Frame, top right", "Where you are.", [
-	"path",
-	"host",
-]);
-/** Where pi-ask-permission reports its mode. It says what happens to what you type, so it sits by the editor. */
-export const PERMISSION_MODE: SegmentId = "status:pi-ask-permission:mode";
-
-export const bottomLeft = slot(
-	"frame.bottomLeft",
-	"Frame, bottom left",
-	"How what you type is handled, and who does the work.",
-	[PERMISSION_MODE, "model", "effort"],
-);
-export const bottomRight = slot("frame.bottomRight", "Frame, bottom right", "How full it is.", [
-	"context",
-]);
-export const below = slot(
-	"below",
-	"Below the editor",
-	"The session: cost, tokens, cache, average speeds, and what other packages report, last because it changes the most.",
-	["cost", "tokens", "cache", "average", "statuses"],
-);
-
-export const frame = setting<FrameStyle | "off">({
-	id: "look.frame.style",
-	default: "rounded",
-	decoder: literal("rounded", "square", "heavy", "line", "off"),
-	project: true,
-	ui: {
-		group: GROUP,
-		label: "Frame",
-		description:
-			"The box around the editor. `line` keeps pi's two rules, `off` leaves the editor alone and moves the frame slots to the footer.",
-	},
-});
-
-export const cursor = setting<CursorStyle>({
-	id: "look.frame.cursor",
-	default: "bar",
-	decoder: literal("block", "bar", "underline"),
-	ui: {
-		group: GROUP,
-		label: "Cursor",
-		description: "Bar and underline use the terminal's own cursor, so it blinks the way it does.",
-	},
-});
-
-export const header = setting<HeaderStyle>({
-	id: "look.header",
-	default: "card",
-	decoder: literal("card", "compact", "off"),
-	project: true,
-	ui: {
-		group: GROUP,
-		label: "Start screen",
-		description: "The card pi opens with. Off keeps pi's own.",
-	},
-});
-
-export const icons = setting<IconMode>({
-	id: "look.icons",
-	default: "auto",
-	decoder: literal("auto", "nerd", "unicode", "ascii"),
-	ui: {
-		group: GROUP,
-		label: "Icons",
-		description: "Auto uses Nerd Font glyphs locally, plain Unicode over SSH.",
-	},
-});
-
-export const separator = setting<SeparatorStyle>({
-	id: "look.separator",
-	default: "dot",
-	decoder: literal("dot", "bar", "slash", "space"),
-	project: true,
-	ui: { group: GROUP, label: "Separator", description: "Between the pieces of a slot." },
-});
-
-export const pathLength = setting({
-	id: "look.pathLength",
-	default: 40,
-	decoder: integer(0, 500),
-	project: true,
-	ui: {
-		group: GROUP,
-		label: "Path length",
-		description: "Longest the folder may be before it is shortened from the left. 0 keeps it all.",
-	},
-});
-
-export const gaugeCells = setting({
-	id: "look.gaugeCells",
-	default: 8,
-	decoder: integer(0, 40),
-	project: true,
-	ui: { group: GROUP, label: "Gauge", description: "Cells in the context gauge. 0 hides it." },
-});
-
-export const labels = setting({
-	id: "look.labels",
-	default: true,
-	decoder: boolean,
-	project: true,
-	ui: {
-		group: GROUP,
-		label: "Labels",
-		description:
-			"A short word before each number (out, in, ttft, took, ctx, cache). Off is denser.",
-	},
-});
-
-export const peek = setting({
-	id: "look.peek",
-	default: true,
-	decoder: boolean,
-	ui: {
-		group: GROUP,
-		label: "Working line",
-		description:
-			"The spinner says what the model is doing: the tail of its thinking, the tool it calls.",
-	},
-});
-
-export const desktop = setting({
-	id: "look.desktop.theme",
-	default: true,
-	decoder: boolean,
-	ui: {
-		group: GROUP,
-		label: "Desktop theme",
-		description:
-			"Write the matugen palette from DankMaterialShell as the pi theme `desktop`, and keep it in sync.",
-	},
-});
-
-export const desktopSource = setting({
-	id: "look.desktop.source",
-	default: "~/.cache/DankMaterialShell/dms-colors.json",
-	decoder: string,
-	ui: {
-		group: GROUP,
-		label: "Desktop palette",
-		description: "The DankMaterialShell colour file the desktop theme is made from.",
-	},
-});
-
-export const LOOK_SETTINGS = [
-	strip,
-	topLeft,
-	topRight,
-	bottomLeft,
-	bottomRight,
-	below,
-	frame,
-	cursor,
-	header,
-	icons,
-	separator,
-	pathLength,
-	gaugeCells,
-	labels,
-	peek,
-	desktop,
-	desktopSource,
-];

package/src/look/ui/editor.ts

@@ -1,194 +0,0 @@
-// The editor, framed. Pi's editor draws a rule above and below the text; this one draws a box, writes
-// four slots into its borders, and puts the working spinner in the top-left corner. Typing, history, autocomplete and every app key stay pi's: the class only
-// changes what the lines look like, and shifts mouse clicks by the width of the frame.
-import { CustomEditor, type KeybindingsManager } from "@earendil-works/pi-coding-agent";
-import {
-	type EditorTheme,
-	type TUI,
-	type TuiMouseEvent,
-	type TuiMouseEventResult,
-	truncateToWidth,
-	visibleWidth,
-} from "@earendil-works/pi-tui";
-
-import type { Piece } from "../render/fit.ts";
-import { BOXES, border } from "../render/frame.ts";
-import type { CursorStyle } from "../settings.ts";
-import { type Screen, type SlotName, slotPieces } from "./screen.ts";
-
-type WorkingIndicator = Parameters<CustomEditor["setWorkingStatusIndicator"]>[0];
-
-/** Pi calls the border hooks inside its render; these stand in for the lines this class draws. */
-const TOP = "\u0000look:top\u0000";
-const BOTTOM = "\u0000look:bottom\u0000";
-// oxlint-disable-next-line no-control-regex -- pi's software cursor is an escape sequence
-const INVERTED_CELL = /\x1b\[7m([\s\S]*?)\x1b\[0m/;
-/** Below this the frame is noise, so pi's plain editor draws instead. */
-const MIN_WIDTH = 24;
-/** The spinner always gets this much of the top border, enough for "⠋ Thinking". */
-const LEAD_MIN = 10;
-
-const CURSOR_SEQUENCES: Record<CursorStyle, string> = {
-	block: "\x1b[0 q",
-	bar: "\x1b[6 q",
-	underline: "\x1b[4 q",
-};
-
-export class LookEditor extends CustomEditor {
-	readonly #screen: Screen;
-	#indicator: WorkingIndicator;
-	#framing = false;
-	#hiddenAbove = 0;
-	#hiddenBelow = 0;
-	/** Columns the frame takes on each side, for mouse clicks. */
-	#inset = 0;
-
-	constructor(
-		tui: TUI,
-		theme: EditorTheme,
-		keybindings: KeybindingsManager,
-		screen: Screen,
-		options: { autocompleteMaxVisible?: number } = {},
-	) {
-		super(tui, theme, keybindings, { ...options, paddingX: 0, embedWorkingStatus: true });
-		this.#screen = screen;
-	}
-
-	/** The frame owns the horizontal inset, so pi's padding setting would double it. */
-	override setPaddingX(_padding: number): void {
-		super.setPaddingX(0);
-	}
-
-	override setWorkingStatusIndicator(indicator: WorkingIndicator): void {
-		super.setWorkingStatusIndicator(indicator);
-		this.#indicator = indicator;
-		this.tui.requestRender();
-	}
-
-	override handleMouse(event: TuiMouseEvent): TuiMouseEventResult | undefined {
-		if (this.#inset === 0) return super.handleMouse(event);
-		return super.handleMouse({
-			...event,
-			x: event.x - this.#inset,
-			width: Math.max(1, event.width - 2 * this.#inset),
-		});
-	}
-
-	protected override renderTopBorder(width: number, hiddenLineCount: number): string {
-		if (!this.#framing) return super.renderTopBorder(width, hiddenLineCount);
-		this.#hiddenAbove = hiddenLineCount;
-		return TOP;
-	}
-
-	protected override renderBottomBorder(width: number, hiddenLineCount: number): string {
-		if (!this.#framing) return super.renderBottomBorder(width, hiddenLineCount);
-		this.#hiddenBelow = hiddenLineCount;
-		return BOTTOM;
-	}
-
-	override render(width: number): string[] {
-		const style = this.#screen.frameStyle();
-		if (style === "off" || width < MIN_WIDTH) {
-			this.#inset = 0;
-			return super.render(width);
-		}
-
-		const box = BOXES[style];
-		const glyphs = this.#screen.glyphs();
-		this.#inset = box.vertical === "" ? 0 : 2;
-		const inner = Math.max(1, width - 2 * this.#inset);
-
-		const cursor = this.#screen.cursor();
-		// Pi puts its own cursor setting back after a reload, which would hide a bar cursor.
-		if (cursor !== "block" && !this.tui.getShowHardwareCursor()) applyCursor(this.tui, cursor);
-
-		this.#framing = true;
-		let lines: string[];
-		try {
-			lines = super.render(inner);
-		} finally {
-			this.#framing = false;
-		}
-
-		const paint = this.#screen.paint((text) => this.borderColor(text));
-		const snapshot = this.#screen.snapshot();
-		const separator = paint.dim(this.#screen.separator());
-		const pieces = (name: SlotName): Piece[] => slotPieces(this.#screen, name, snapshot, paint);
-		const scroll = (arrow: string, hidden: number): Piece[] =>
-			hidden > 0 ? [{ text: paint.dim(`${arrow} ${hidden} more`), priority: 1000 }] : [];
-		const options = { box, paint: paint.frame, separator, ellipsis: glyphs.ellipsis };
-
-		const left = style === "line" ? "" : `${paint.frame(box.vertical)} `;
-		const right = style === "line" ? "" : ` ${paint.frame(box.vertical)}`;
-		const result: string[] = [];
-		let inside = false;
-
-		for (const line of lines) {
-			if (line === TOP) {
-				const lead =
-					this.#indicator === undefined ? undefined : (budget: number) => this.#lead(budget);
-				result.push(
-					border(
-						width,
-						pieces("topLeft"),
-						[...scroll("↑", this.#hiddenAbove), ...pieces("topRight")],
-						{
-							...options,
-							edge: "top",
-							lead,
-							leadMin: LEAD_MIN,
-						},
-					),
-				);
-				inside = true;
-			} else if (line === BOTTOM) {
-				result.push(
-					border(
-						width,
-						pieces("bottomLeft"),
-						[...scroll("↓", this.#hiddenBelow), ...pieces("bottomRight")],
-						{ ...options, edge: "bottom" },
-					),
-				);
-				inside = false;
-			} else if (inside) {
-				const text = cursor === "block" ? line : withoutSoftwareCursor(line);
-				result.push(`${left}${fill(text, inner)}${right}`);
-			} else {
-				// The autocomplete list, lined up with the text so clicks land where they look.
-				result.push(`${" ".repeat(this.#inset)}${line}`);
-			}
-		}
-
-		return result.map((line) => truncateToWidth(line, width, ""));
-	}
-
-	/** The spinner and its message, in the room the slots left. Just the spinner when it is tight. */
-	#lead(budget: number): string | undefined {
-		const indicator = this.#indicator;
-		if (indicator === undefined) return undefined;
-		const full = indicator.renderInBorder(budget);
-		if (visibleWidth(full) > 0 && visibleWidth(full) <= budget) return full;
-		return indicator.renderSpinnerInBorder(budget);
-	}
-}
-
-/**
- * Pi draws its cursor as an inverted cell. With the terminal's own cursor showing, that would be two
- * cursors, so the inversion goes and the character stays.
- */
-function withoutSoftwareCursor(line: string): string {
-	return line.replace(INVERTED_CELL, "$1");
-}
-
-/** Pads a content line to the inner width, so the right rail stays straight. */
-function fill(line: string, width: number): string {
-	const clipped = truncateToWidth(line, width, "");
-	return `${clipped}${" ".repeat(Math.max(0, width - visibleWidth(clipped)))}`;
-}
-
-/** Sets the terminal cursor shape. Pi draws its own block cursor, so the others need the hardware one. */
-export function applyCursor(tui: TUI, style: CursorStyle): void {
-	if (style !== "block") tui.setShowHardwareCursor(true);
-	tui.terminal.write(CURSOR_SEQUENCES[style]);
-}

package/src/look/ui/footer.ts

@@ -1,103 +0,0 @@
-// The lines around the editor that are not the frame. The strip above it is the answer being written;
-// the footer below it is the session. With the frame off, the footer also carries the four frame
-// slots, so turning the box off never hides data.
-import type { ReadonlyFooterDataProvider } from "@earendil-works/pi-coding-agent";
-import { type Component, type TUI, visibleWidth } from "@earendil-works/pi-tui";
-
-import { fitLine, fitRegions, type Piece } from "../render/fit.ts";
-import type { Paint } from "../render/paint.ts";
-import { type Screen, type SlotName, slotPieces } from "./screen.ts";
-
-/** At least this much between a left and a right group sharing a line. */
-const GAP = 3;
-
-/** Where the text starts, so the strip and the footer line up with the text inside the frame. */
-export function indentOf(screen: Screen): number {
-	const style = screen.frameStyle();
-	return style === "off" || style === "line" ? 1 : 2;
-}
-
-/** The strip above the editor. Blank until the first answer, but its line is always there. */
-export class StripComponent implements Component {
-	readonly #screen: Screen;
-
-	constructor(screen: Screen) {
-		this.#screen = screen;
-	}
-
-	render(width: number): string[] {
-		const indent = indentOf(this.#screen);
-		const line = renderSlot(this.#screen, "strip", width - indent * 2);
-		// Always one line, empty or not: a strip that appears with the first answer moves the editor.
-		return [line === "" ? "" : `${" ".repeat(indent)}${line}`];
-	}
-
-	invalidate(): void {}
-}
-
-export interface FooterHooks {
-	/** The footer data is where the branch and other packages' statuses come from. */
-	attach(data: ReadonlyFooterDataProvider, repaint: () => void): void;
-	detach(): void;
-}
-
-export class FooterComponent implements Component {
-	readonly #screen: Screen;
-	readonly #hooks: FooterHooks;
-	readonly #stopWatching: () => void;
-
-	constructor(tui: TUI, data: ReadonlyFooterDataProvider, screen: Screen, hooks: FooterHooks) {
-		this.#screen = screen;
-		this.#hooks = hooks;
-		hooks.attach(data, () => tui.requestRender());
-		this.#stopWatching = data.onBranchChange(() => tui.requestRender());
-	}
-
-	render(width: number): string[] {
-		const screen = this.#screen;
-		const indent = indentOf(screen);
-		const room = width - indent * 2;
-		const pad = " ".repeat(indent);
-		const lines: string[] = [];
-
-		if (screen.frameStyle() === "off") {
-			lines.push(spread(screen, "topLeft", "topRight", room));
-			lines.push(spread(screen, "bottomLeft", "bottomRight", room));
-		}
-		lines.push(renderSlot(screen, "below", room));
-
-		const kept = lines.filter((line) => line !== "").map((line) => `${pad}${line}`);
-		// At least one line, for the same reason as the strip: the editor must not jump when it fills.
-		return kept.length === 0 ? [""] : kept;
-	}
-
-	invalidate(): void {}
-
-	dispose(): void {
-		this.#stopWatching();
-		this.#hooks.detach();
-	}
-}
-
-function renderSlot(screen: Screen, name: SlotName, width: number): string {
-	if (width <= 0) return "";
-	const paint = screen.paint();
-	const pieces = slotPieces(screen, name, screen.snapshot(), paint);
-	return fitLine(pieces, width, fitOptions(screen, paint));
-}
-
-/** A left group and a right group on one line, pushed apart. */
-function spread(screen: Screen, leftSlot: SlotName, rightSlot: SlotName, width: number): string {
-	if (width <= 0) return "";
-	const paint = screen.paint();
-	const snapshot = screen.snapshot();
-	const left: Piece[] = slotPieces(screen, leftSlot, snapshot, paint);
-	const right: Piece[] = slotPieces(screen, rightSlot, snapshot, paint);
-	const [l = "", r = ""] = fitRegions([left, right], width - GAP, fitOptions(screen, paint));
-	if (r === "") return l;
-	return `${l}${" ".repeat(Math.max(GAP, width - visibleWidth(l) - visibleWidth(r)))}${r}`;
-}
-
-function fitOptions(screen: Screen, paint: Paint) {
-	return { separator: paint.dim(screen.separator()), ellipsis: screen.glyphs().ellipsis };
-}