pi-squire 0.20.0 → 0.20.2

package/src/dashboard.ts

@@ -1,144 +0,0 @@
-// Presentation only. The navigator resolves these opaque ids and owns every action/refusal.
-import { type Component, isKeyRelease, matchesKey, truncateToWidth } from "@earendil-works/pi-tui";
-import { type WidgetTheme, widgetText } from "./widget-render.ts";
-
-export type DashboardRow = { id: string; label: string; details: readonly string[]; depth?: number };
-export type DashboardIntent =
-	| { action: "switch" | "close" | "peek" | "resume"; id: string }
-	| { action: "new" }
-	| { action: "close-all" }
-	| undefined;
-export type DashboardPosition = { id?: string; detail: boolean; offset: number; branchList?: boolean };
-type DashboardOptions = {
-	items: readonly DashboardRow[];
-	root?: boolean;
-	branch?: string;
-	position: DashboardPosition;
-	detailBack: "list" | "exit";
-	theme: WidgetTheme;
-	done(result: DashboardIntent): void;
-	redraw(): void;
-	rows(): number;
-};
-
-function label(row: DashboardRow): string {
-	return "  ".repeat(Math.max(0, Math.min(64, row.depth ?? 0))) + widgetText(row.label);
-}
-
-/** One screen used by command and widget entry, with durable position across action dialogs. */
-export class Dashboard implements Component {
-	private readonly options: DashboardOptions;
-
-	constructor(options: DashboardOptions) {
-		this.options = options;
-		const found: boolean = options.items.some((row) => row.id === options.position.id);
-		if (!found) {
-			options.position.id = options.items[0]?.id;
-			options.position.offset = 0;
-			options.position.detail = false;
-		}
-	}
-
-	invalidate(): void {}
-
-	private selected(): DashboardRow | undefined {
-		return this.options.items.find((row) => row.id === this.options.position.id);
-	}
-
-	handleInput(data: string): void {
-		if (isKeyRelease(data)) return;
-		const { position, done } = this.options;
-		if (matchesKey(data, "escape")) {
-			if (position.detail && (this.options.detailBack === "list" || position.branchList)) {
-				position.detail = false;
-				position.offset = 0;
-			} else done(undefined);
-		} else if (matchesKey(data, "b") && this.options.branch !== undefined) {
-			position.branchList = true;
-			position.detail = false;
-			position.offset = 0;
-		} else if (matchesKey(data, "n")) done({ action: "new" });
-		else if (matchesKey(data, "a") && this.options.root) done({ action: "close-all" });
-		else if (matchesKey(data, "up")) this.move(-1);
-		else if (matchesKey(data, "down")) this.move(1);
-		else this.action(data);
-		this.options.redraw();
-	}
-
-	private action(data: string): void {
-		const item: DashboardRow | undefined = this.selected();
-		if (!item) return;
-		const { position, done } = this.options;
-		if (matchesKey(data, "enter")) {
-			if (position.detail) done({ action: "switch", id: item.id });
-			else {
-				position.detail = true;
-				position.offset = 0;
-			}
-		} else if (matchesKey(data, "p")) done({ action: "peek", id: item.id });
-		else if (matchesKey(data, "x")) done({ action: "close", id: item.id });
-		else if (matchesKey(data, "r")) done({ action: "resume", id: item.id });
-	}
-
-	private move(direction: -1 | 1): void {
-		const { items, position } = this.options;
-		if (position.detail) {
-			const max: number = Math.max(0, (this.selected()?.details.length ?? 0) - this.height());
-			position.offset = Math.max(0, Math.min(max, position.offset + direction));
-			return;
-		}
-		const index: number = items.findIndex((row) => row.id === position.id);
-		position.id = items[Math.max(0, Math.min(items.length - 1, index + direction))]?.id;
-	}
-
-	private height(): number {
-		return Math.max(1, this.options.rows() - 6);
-	}
-
-	render(width: number): string[] {
-		const { items, position, theme } = this.options;
-		const fit = (text: string): string => truncateToWidth(text, Math.max(0, width));
-		const item: DashboardRow | undefined = this.selected();
-		if (!item)
-			return [theme.bold(this.heading()), "", `No open delegates · n new · esc close${this.closeAllHint()}`].map(fit);
-		if (position.detail) return this.details(item).map(fit);
-		const index: number = items.indexOf(item);
-		const start: number = Math.max(0, index - this.height() + 1);
-		const rows: string[] = items
-			.slice(start, start + this.height())
-			.map((row) => (row.id === item.id ? theme.fg("accent", `▸ ${label(row)}`) : `  ${label(row)}`));
-		return [
-			theme.bold(this.heading()),
-			"",
-			...rows,
-			`${index + 1}/${items.length}`,
-			theme.fg(
-				"dim",
-				`↑↓ select · enter details · p peek · x close · r resume · n new · esc leave${this.closeAllHint()}`,
-			),
-		].map(fit);
-	}
-
-	private heading(): string {
-		return this.options.branch === undefined ? "Delegates" : `Delegate branch: ${widgetText(this.options.branch)}`;
-	}
-
-	private closeAllHint(): string {
-		if (!this.options.root) return "";
-		return this.options.branch === undefined ? " · a close all subtrees" : " · a close ALL ROOT subtrees";
-	}
-
-	private details(item: DashboardRow): string[] {
-		const { position, theme } = this.options;
-		return [
-			theme.bold(`Delegate: ${widgetText(item.label)}`),
-			"",
-			...item.details.slice(position.offset, position.offset + this.height()).map(widgetText),
-			"",
-			theme.fg(
-				"dim",
-				`↑↓ scroll · enter switch · p peek · x close · r resume · n new · esc back${this.options.branch === undefined ? "" : " · b branch list"}${this.closeAllHint()}`,
-			),
-		];
-	}
-}

package/src/widget-live-process.ts

@@ -1,31 +0,0 @@
-import { execFile } from "node:child_process";
-
-export type ProcessIdentity = { pid: number; processStart: string };
-export type Liveness = "live" | "dead" | "unknown";
-
-export function processStart(pid: number): Promise<string | undefined> {
-	return new Promise((resolve) => {
-		// lstart is formatted text: publisher and reader must use the same locale/time zone.
-		execFile(
-			"ps",
-			["-o", "lstart=", "-p", String(pid)],
-			{ timeout: 1000, maxBuffer: 4096, env: { ...process.env, LC_ALL: "C", TZ: "UTC" } },
-			(error, stdout) => {
-				resolve(error ? undefined : stdout.trim() || undefined);
-			},
-		);
-	});
-}
-
-/** Only ESRCH or a successfully observed different start token proves a dead generation. */
-export async function processLiveness(owner: ProcessIdentity): Promise<Liveness> {
-	try {
-		process.kill(owner.pid, 0);
-	} catch (error) {
-		if ((error as NodeJS.ErrnoException).code === "ESRCH") return "dead";
-		return "unknown";
-	}
-	const start: string | undefined = await processStart(owner.pid);
-	if (start === undefined) return "unknown";
-	return start === owner.processStart ? "live" : "dead";
-}

package/src/widget-summary.ts

@@ -1,51 +0,0 @@
-// Counts delegated tasks (launch ids), not stable sessions or registry cap charges.
-import { isStarted, type Recorded, sessionIdOf } from "./results.ts";
-import type { TmuxWindow } from "./tmux.ts";
-import type { VisibleFact, VisibleFacts } from "./tree-view.ts";
-import { windowState } from "./windows.ts";
-
-type Outcome = "done" | "failed" | "stopped" | "missing" | "running" | "unknown";
-function outcome(fact: VisibleFact, windows: TmuxWindow[] | undefined): Outcome {
-	const record: Recorded | undefined = fact.semantic;
-	if (!record || !isStarted(record) || record.accountingOnly) return "unknown";
-	if (record.result) {
-		const status: string = record.result.status;
-		return status === "done" || status === "failed" || status === "stopped" ? status : "unknown";
-	}
-	if (record.closed || record.gone) return "missing";
-	if (fact.entry?.finished || fact.entry?.closed || fact.entry?.closing || fact.entry?.gone) return "unknown";
-	return windowState(windows, record) === "open" ? "running" : "unknown";
-}
-
-function below(facts: VisibleFact[], sessionId: string): VisibleFact[] {
-	const sessions: Set<string> = new Set([sessionId]);
-	let changed = true;
-	while (changed) {
-		changed = false;
-		for (const { record } of facts) {
-			if (!isStarted(record) || !record.identity || !sessions.has(record.identity.parent)) continue;
-			const id: string = sessionIdOf(record);
-			if (!sessions.has(id)) {
-				sessions.add(id);
-				changed = true;
-			}
-		}
-	}
-	return facts.filter(({ record }) => isStarted(record) && record.identity && sessions.has(record.identity.parent));
-}
-
-export function taskSummary(view: VisibleFacts, sessionId: string, windows: TmuxWindow[] | undefined): string {
-	const descendants: VisibleFact[] = below(view.facts, sessionId);
-	if (!descendants.length) return view.complete ? "" : "tasks: coverage unavailable";
-	const counts: Map<Outcome, number> = new Map();
-	const seen: Set<string> = new Set();
-	for (const fact of descendants) {
-		if (seen.has(fact.record.id)) continue;
-		seen.add(fact.record.id);
-		const state: Outcome = outcome(fact, windows);
-		counts.set(state, (counts.get(state) ?? 0) + 1);
-	}
-	const order: Outcome[] = ["failed", "stopped", "missing", "running", "unknown", "done"];
-	const labels: string[] = order.flatMap((state) => (counts.has(state) ? [`${counts.get(state)} ${state}`] : []));
-	return `${seen.size} task${seen.size === 1 ? "" : "s"}: ${labels.join(" · ")}${view.complete ? "" : " · partial coverage"}`;
-}