@bastani/atomic 0.9.16-alpha.2 → 0.9.16-alpha.3

package/dist/builtin/workflows/src/tui/workflow-attach-pane.ts

@@ -1,477 +0,0 @@
-/**
- * In-place shell that swaps one `pi.ui.custom` overlay between the workflow
- * graph and a stage chat without remounting the outer popup. Enter attaches
- * the focused graph node; Ctrl+X returns to the graph with focus preserved,
- * including for paused stages.
- *
- * Related host and view wiring lives in `overlay-adapter.ts`, `graph-view.ts`,
- * `stage-chat-view.ts`, and `stage-control-registry.ts`.
- */
-
-import {
-	type ChatMessageRenderOptions,
-	type ReadonlyFooterDataProvider,
-	TRANSCRIPT_JUMP_TO_END_URL,
-} from "@bastani/atomic";
-import type { Component, EditorComponent, EditorTheme, TUI } from "@earendil-works/pi-tui";
-import type { StageControlRegistry } from "../runs/foreground/stage-control-registry.js";
-import { stageQueuedUserMessageCount } from "../runs/foreground/stage-queued-user-messages.js";
-import { expandWorkflowGraph } from "../shared/expanded-workflow-graph.js";
-import type { StageUiBroker } from "../shared/stage-ui-broker.js";
-import type { Store } from "../shared/store.js";
-import { readGraphStoreSnapshot, subscribeStoreInvalidation } from "../shared/store-observation.js";
-import type { StageSnapshot, StoreSnapshot } from "../shared/store-types.js";
-import type { GraphTheme } from "./graph-theme.js";
-import { GraphView } from "./graph-view.js";
-import { StageChatComposerDrafts } from "./stage-chat-composer-drafts.js";
-import { type StageChatDetachMetadata, type StageChatDetachReason, StageChatView } from "./stage-chat-view.js";
-import { Key, matchesKey } from "./text-helpers.js";
-import { resolveAttachedStageHandle } from "./workflow-attach-pane-handle.js";
-import type { WorkflowAttachPaneMode, WorkflowAttachPaneOpts } from "./workflow-attach-pane-types.js";
-
-const ENTER_TRANSITION_QUARANTINE_MS = 200;
-export class WorkflowAttachPane implements Component {
-	private store: Store;
-	private theme: GraphTheme;
-	private runId: string | null;
-	private registry: StageControlRegistry | undefined;
-	private resolvePostMortemHandle?: WorkflowAttachPaneOpts["resolvePostMortemHandle"];
-	private stageUiBroker: StageUiBroker | undefined;
-	private onClose: () => void;
-	private onHide?: () => void;
-	private onPromptResolve?: (runId: string, promptId: string, response: unknown) => void;
-	private hostRequestRender?: () => void;
-	private hostRequestFocus?: () => void;
-	private piTui?: TUI;
-	private piTheme?: unknown;
-	private piKeybindings?: unknown;
-	private piEditorFactory?: (tui: TUI, theme: EditorTheme, keybindings: unknown) => EditorComponent;
-	private getChatRenderSettings?: () => Partial<Omit<ChatMessageRenderOptions, "ui" | "cwd">> | undefined;
-	private getToolsExpanded?: () => boolean;
-	private setToolsExpanded?: (expanded: boolean) => void;
-	private footerData?: ReadonlyFooterDataProvider;
-	private now: () => number;
-	private mode: WorkflowAttachPaneMode = "graph";
-	private visible = true;
-	private graphView: GraphView;
-	private chatView: StageChatView | null = null;
-	private unsubscribeStore: (() => void) | null = null;
-	/** Run id for the currently attached stage chat; graph mode keeps `runId` as the root graph run. */
-	private attachedRunId: string | null = null;
-	/** Stage id the user most recently attached to (used to seed focus). */
-	private lastAttachedStageId: string | null = null;
-	private composerDrafts = new StageChatComposerDrafts();
-	/** Time-boxed guard for Enter leaking into graph mode during connect/detach transitions. */
-	private graphEnterQuarantineUntil = 0;
-	private stagePromptEnterQuarantineUntil = 0;
-	private lastGraphAwaitingInputKey: string | null = null;
-	private lastStageAwaitingInputKey: string | null = null;
-	constructor(opts: WorkflowAttachPaneOpts) {
-		this.store = opts.store;
-		this.theme = opts.graphTheme;
-		this.runId = opts.runId;
-		this.registry = opts.stageControlRegistry;
-		this.resolvePostMortemHandle = opts.resolvePostMortemHandle;
-		this.stageUiBroker = opts.stageUiBroker;
-		this.onClose = opts.onClose;
-		this.onHide = opts.onHide;
-		this.onPromptResolve = opts.onPromptResolve;
-		this.hostRequestRender = opts.requestRender;
-		this.hostRequestFocus = opts.requestFocus;
-		this.piTui = opts.piTui;
-		this.piTheme = opts.piTheme;
-		this.piKeybindings = opts.piKeybindings;
-		this.piEditorFactory = opts.piEditorFactory;
-		this.getChatRenderSettings = opts.getChatRenderSettings;
-		this.getToolsExpanded = opts.getToolsExpanded;
-		this.setToolsExpanded = opts.setToolsExpanded;
-		this.footerData = opts.footerData;
-		this.now = opts.now ?? Date.now;
-		this.unsubscribeStore = subscribeStoreInvalidation(this.store, () =>
-			this._handleStoreUpdate(readGraphStoreSnapshot(this.store)),
-		);
-		this.graphView = this._buildGraphView();
-		const target =
-			opts.initialAttachStageId !== undefined && this.runId
-				? opts.initialAttachRunId === undefined
-					? this._resolveGraphStageTarget(this.runId, opts.initialAttachStageId)
-					: { runId: opts.initialAttachRunId, stageId: opts.initialAttachStageId }
-				: undefined;
-		if (target) {
-			this._attachToStage(target.runId, target.stageId);
-		} else {
-			this._syncAwaitingInputKeys(readGraphStoreSnapshot(this.store));
-			this._armGraphEnterQuarantineIfRunNeedsInput();
-		}
-	}
-	private _buildGraphView(initialFocusedStageId?: string, initialFocusedRunId?: string): GraphView {
-		return new GraphView({
-			mode: "overlay",
-			runId: this.runId,
-			store: this.store,
-			graphTheme: this.theme,
-			onClose: this.onClose,
-			onHide: this.onHide,
-			onPromptResolve: this.onPromptResolve,
-			onStageAttach: (runId, stageId) =>
-				this._attachToStage(runId, stageId, {
-					suppressInitialPromptSubmit: true,
-				}),
-			onDetach: () => {
-				if (this.onHide) this.onHide();
-			},
-			initialFocusedStageId,
-			initialFocusedRunId,
-			piTui: this.piTui,
-			piKeybindings: this.piKeybindings,
-			footerData: this.footerData,
-			getStageQueuedMessageCount: (runId, stageId) => this._stageQueuedMessageCount(runId, stageId),
-			requestRender: () => {
-				if (this.mode !== "graph") return;
-				this.hostRequestRender?.();
-			},
-		});
-	}
-	/**
-	 * Pending-message count for a stage, read straight from the registry so the
-	 * graph can badge a node whose chat is not mounted. It comes from the
-	 * handle's own `queue_update` projection rather than a concrete
-	 * `AgentSession`, so an adapter-backed stage is counted too. `peek`
-	 * deliberately does not claim a provisional detached handle.
-	 */
-	private _stageQueuedMessageCount(runId: string, stageId: string): number {
-		return stageQueuedUserMessageCount(this.registry?.peek(runId, stageId)?.queuedUserMessages?.());
-	}
-	private _resolveRunId(): string | null {
-		if (this.runId) return this.runId;
-		const active = this.store.activeRunId();
-		if (active) {
-			this.runId = active;
-			return active;
-		}
-		return null;
-	}
-	private _workflowName(runId: string): string {
-		const snap = readGraphStoreSnapshot(this.store);
-		const run = snap.runs.find((r) => r.id === runId);
-		return run?.name ?? "workflow";
-	}
-	private _attachToStage(
-		runId: string,
-		stageId: string,
-		options: { suppressInitialPromptSubmit?: boolean } = { suppressInitialPromptSubmit: true },
-	): void {
-		this.graphEnterQuarantineUntil = 0;
-		const snapshot = readGraphStoreSnapshot(this.store);
-		const graphRunId = this._resolveRunId();
-		this.lastGraphAwaitingInputKey = graphRunId ? this._runAwaitingInputKey(snapshot, graphRunId) : null;
-		this.lastStageAwaitingInputKey = this._stageAwaitingInputKey(snapshot, runId, stageId);
-		this.stagePromptEnterQuarantineUntil =
-			options.suppressInitialPromptSubmit === true && this.lastStageAwaitingInputKey !== null
-				? this.now() + ENTER_TRANSITION_QUARANTINE_MS
-				: 0;
-		this.attachedRunId = runId;
-		this.lastAttachedStageId = stageId;
-		const { handle, postMortemUnavailableReason } = resolveAttachedStageHandle(
-			this.registry,
-			this.resolvePostMortemHandle,
-			runId,
-			stageId,
-		);
-		this.chatView?.dispose();
-		let chatView!: StageChatView;
-		chatView = new StageChatView({
-			store: this.store,
-			graphTheme: this.theme,
-			runId,
-			stageId,
-			workflowName: this._workflowName(runId),
-			handle,
-			initialComposerDraft: this.composerDrafts.get(runId, stageId),
-			postMortemUnavailableReason,
-			onDetach: (reason, metadata) => this._detachFromStage(reason, metadata),
-			onClose: this.onClose,
-			requestRender: this.hostRequestRender,
-			requestFocus: this.hostRequestFocus,
-			piTui: this.piTui,
-			piTheme: this.piTheme,
-			piKeybindings: this.piKeybindings,
-			piEditorFactory: this.piEditorFactory,
-			getChatRenderSettings: this.getChatRenderSettings,
-			getToolsExpanded: this.getToolsExpanded,
-			setToolsExpanded: this.setToolsExpanded,
-			footerData: this.footerData,
-			stageUiBroker: this.stageUiBroker,
-			canSubmitPrompt: (candidateRunId, candidateStageId) =>
-				this.visible &&
-				this.mode === "stage-chat" &&
-				this.chatView === chatView &&
-				this.attachedRunId === candidateRunId &&
-				this.lastAttachedStageId === candidateStageId &&
-				this._isStageMarkedAttached(candidateRunId, candidateStageId),
-		});
-		this.chatView = chatView;
-		this.mode = "stage-chat";
-		this.store.recordStageAttached(runId, stageId, this.visible);
-	}
-	private _detachFromStage(reason: StageChatDetachReason = "user", metadata: StageChatDetachMetadata = {}): void {
-		this.composerDrafts.capture(this.attachedRunId, this.lastAttachedStageId, this.chatView?._inputBuffer);
-		if (this.chatView && this.attachedRunId && this.lastAttachedStageId) {
-			this.store.recordStageAttached(this.attachedRunId, this.lastAttachedStageId, false);
-		}
-		this.chatView?.dispose();
-		this.chatView = null;
-		this.graphView.dispose();
-		this.graphView = this._buildGraphView(this.lastAttachedStageId ?? undefined, this.attachedRunId ?? undefined);
-		this.attachedRunId = null;
-		this.mode = "graph";
-		this.stagePromptEnterQuarantineUntil = 0;
-		this.lastStageAwaitingInputKey = null;
-		this.lastGraphAwaitingInputKey = this.runId
-			? this._runAwaitingInputKey(readGraphStoreSnapshot(this.store), this.runId)
-			: null;
-		this.graphEnterQuarantineUntil =
-			reason === "prompt-resolved" && metadata.suppressNextGraphSubmit === true
-				? this.now() + ENTER_TRANSITION_QUARANTINE_MS
-				: 0;
-	}
-	retarget(runId: string | null, stageId?: string, stageRunId?: string): void {
-		if (this.chatView && this.attachedRunId && this.lastAttachedStageId) {
-			this.store.recordStageAttached(this.attachedRunId, this.lastAttachedStageId, false);
-		}
-		this.chatView?.dispose();
-		this.chatView = null;
-		this.graphView.dispose();
-		this.runId = runId;
-		this.attachedRunId = null;
-		this.lastAttachedStageId = null;
-		this.mode = "graph";
-		this.graphEnterQuarantineUntil = 0;
-		this.stagePromptEnterQuarantineUntil = 0;
-		this.graphView = this._buildGraphView();
-		this._syncAwaitingInputKeys(readGraphStoreSnapshot(this.store));
-		if (stageId !== undefined && runId) {
-			const target =
-				stageRunId === undefined ? this._resolveGraphStageTarget(runId, stageId) : { runId: stageRunId, stageId };
-			if (target) {
-				this._attachToStage(target.runId, target.stageId);
-				return;
-			}
-		}
-		this._armGraphEnterQuarantineIfRunNeedsInput();
-	}
-	private _resolveGraphStageTarget(
-		rootRunId: string,
-		stageId: string,
-	): { runId: string; stageId: string } | undefined {
-		const graph = expandWorkflowGraph(readGraphStoreSnapshot(this.store), rootRunId);
-		const exact = graph.stages.find((stage) => stage.id === stageId);
-		const localMatches = graph.stages.filter((stage) => stage.workflowGraphTarget.stageId === stageId);
-		if (exact === undefined && localMatches.length > 1) return undefined;
-		const match = exact ?? localMatches[0];
-		if (match === undefined) return { runId: rootRunId, stageId };
-		return {
-			runId: match.workflowGraphTarget.runId,
-			stageId: match.workflowGraphTarget.stageId,
-		};
-	}
-	private _handleStoreUpdate(snapshot: StoreSnapshot): void {
-		if (!this.visible) {
-			this._syncAwaitingInputKeys(snapshot);
-			return;
-		}
-		const runId = this._resolveRunId();
-		if (!runId) {
-			this.lastGraphAwaitingInputKey = null;
-			this.lastStageAwaitingInputKey = null;
-			return;
-		}
-		if (this.mode === "graph") {
-			const key = this._runAwaitingInputKey(snapshot, runId);
-			if (key !== null && key !== this.lastGraphAwaitingInputKey) {
-				this.graphEnterQuarantineUntil = this.now() + ENTER_TRANSITION_QUARANTINE_MS;
-			}
-			this.lastGraphAwaitingInputKey = key;
-			this.lastStageAwaitingInputKey = null;
-			return;
-		}
-		if (this.mode === "stage-chat" && this.attachedRunId && this.lastAttachedStageId) {
-			const key = this._stageAwaitingInputKey(snapshot, this.attachedRunId, this.lastAttachedStageId);
-			if (key !== null && key !== this.lastStageAwaitingInputKey) {
-				this.stagePromptEnterQuarantineUntil = this.now() + ENTER_TRANSITION_QUARANTINE_MS;
-			}
-			this.lastStageAwaitingInputKey = key;
-			this.lastGraphAwaitingInputKey = this._runAwaitingInputKey(snapshot, runId);
-		}
-	}
-	private _syncAwaitingInputKeys(snapshot: StoreSnapshot): void {
-		const runId = this._resolveRunId();
-		this.lastGraphAwaitingInputKey = runId ? this._runAwaitingInputKey(snapshot, runId) : null;
-		this.lastStageAwaitingInputKey =
-			this.attachedRunId && this.lastAttachedStageId
-				? this._stageAwaitingInputKey(snapshot, this.attachedRunId, this.lastAttachedStageId)
-				: null;
-	}
-	setVisible(visible: boolean): void {
-		this.visible = visible;
-		if (this.mode === "stage-chat" && this.attachedRunId && this.lastAttachedStageId) {
-			this.store.recordStageAttached(this.attachedRunId, this.lastAttachedStageId, visible);
-		}
-	}
-	wantsFocusForAwaitingInput(snapshot: StoreSnapshot): boolean {
-		if (!this.visible) return false;
-		const runId = this._resolveRunId();
-		if (!runId) return false;
-		const run = snapshot.runs.find((candidate) => candidate.id === runId);
-		if (!run) return false;
-		if (this.mode === "graph") {
-			return this._runAwaitingInputKey(snapshot, runId) !== null;
-		}
-		if (this.mode !== "stage-chat" || !this.attachedRunId || !this.lastAttachedStageId) return false;
-		const attachedRun = snapshot.runs.find((candidate) => candidate.id === this.attachedRunId);
-		const stage = attachedRun?.stages.find((candidate) => candidate.id === this.lastAttachedStageId);
-		return stage?.attached === true && this._stageSnapshotNeedsInput(stage);
-	}
-	render(width: number): string[] {
-		if (this.mode === "stage-chat" && this.chatView) {
-			return this.chatView.render(width);
-		}
-		return this.graphView.render(width);
-	}
-	handleInput(data: string): boolean | undefined {
-		if (!this.visible) return false;
-		if (this.mode === "stage-chat" && this.chatView) {
-			if (this._shouldQuarantineStagePromptEnter(data)) return true;
-			return this.chatView.handleInput(data);
-		}
-		// The overlay opts into internal UI actions for the whole adapter, so the
-		// graph view is offered the jump URL too. It draws no follow indicator and
-		// has nothing to jump to: decline so the host transcript stays the fallback
-		// instead of swallowing the activation.
-		if (data === TRANSCRIPT_JUMP_TO_END_URL) return false;
-		if (this._shouldQuarantineGraphEnter(data)) return true;
-		return this.graphView.handleInput(data);
-	}
-	private _shouldQuarantineStagePromptEnter(data: string): boolean {
-		if (this.stagePromptEnterQuarantineUntil <= 0) return false;
-		if (!matchesKey(data, Key.enter)) {
-			this.stagePromptEnterQuarantineUntil = 0;
-			return false;
-		}
-		if (!this.attachedRunId || !this.lastAttachedStageId) {
-			this.stagePromptEnterQuarantineUntil = 0;
-			return false;
-		}
-		if (!this._stageNeedsInput(this.attachedRunId, this.lastAttachedStageId)) {
-			this.stagePromptEnterQuarantineUntil = 0;
-			return false;
-		}
-		const now = this.now();
-		if (now <= this.stagePromptEnterQuarantineUntil) {
-			this.stagePromptEnterQuarantineUntil = now + ENTER_TRANSITION_QUARANTINE_MS;
-			return true;
-		}
-		this.stagePromptEnterQuarantineUntil = 0;
-		return false;
-	}
-	private _shouldQuarantineGraphEnter(data: string): boolean {
-		if (this.graphEnterQuarantineUntil <= 0) return false;
-		if (!matchesKey(data, Key.enter)) {
-			this.graphEnterQuarantineUntil = 0;
-			return false;
-		}
-		const now = this.now();
-		if (now <= this.graphEnterQuarantineUntil) {
-			this.graphEnterQuarantineUntil = now + ENTER_TRANSITION_QUARANTINE_MS;
-			return true;
-		}
-		this.graphEnterQuarantineUntil = 0;
-		return false;
-	}
-	private _armGraphEnterQuarantineIfRunNeedsInput(): void {
-		const runId = this._resolveRunId();
-		this.graphEnterQuarantineUntil =
-			runId && this._runNeedsInput(runId) ? this.now() + ENTER_TRANSITION_QUARANTINE_MS : 0;
-	}
-	private _runNeedsInput(runId: string): boolean {
-		return this._runAwaitingInputKey(readGraphStoreSnapshot(this.store), runId) !== null;
-	}
-	private _runAwaitingInputKey(snapshot: StoreSnapshot, runId: string): string | null {
-		const run = snapshot.runs.find((candidate) => candidate.id === runId);
-		if (!run) return null;
-		const keys: Array<{ key: string; createdAt: number }> = [];
-		if (run.pendingPrompt) {
-			keys.push({ key: `run-prompt:${run.pendingPrompt.id}`, createdAt: run.pendingPrompt.createdAt });
-		}
-		const graph = expandWorkflowGraph(snapshot, runId);
-		for (const stage of graph.stages) {
-			const key = this._stageAwaitingInputKeyFromSnapshot(stage);
-			if (key) keys.push(key);
-		}
-		if (keys.length === 0) return null;
-		keys.sort((a, b) => b.createdAt - a.createdAt);
-		return keys[0]!.key;
-	}
-	private _stageNeedsInput(runId: string, stageId: string): boolean {
-		return this._stageAwaitingInputKey(readGraphStoreSnapshot(this.store), runId, stageId) !== null;
-	}
-	private _stageAwaitingInputKey(snapshot: StoreSnapshot, runId: string, stageId: string): string | null {
-		const run = snapshot.runs.find((candidate) => candidate.id === runId);
-		const stage = run?.stages.find((candidate) => candidate.id === stageId);
-		return stage ? (this._stageAwaitingInputKeyFromSnapshot(stage)?.key ?? null) : null;
-	}
-	private _stageAwaitingInputKeyFromSnapshot(stage: StageSnapshot): { key: string; createdAt: number } | null {
-		if (stage.pendingPrompt) {
-			return { key: `stage-prompt:${stage.id}:${stage.pendingPrompt.id}`, createdAt: stage.pendingPrompt.createdAt };
-		}
-		if (stage.inputRequest) {
-			return { key: `stage-input:${stage.id}:${stage.inputRequest.id}`, createdAt: stage.inputRequest.createdAt };
-		}
-		if (stage.status === "awaiting_input") {
-			return {
-				key: `stage-awaiting:${stage.id}:${stage.awaitingInputSince ?? "active"}`,
-				createdAt: stage.awaitingInputSince ?? stage.startedAt ?? 0,
-			};
-		}
-		return null;
-	}
-	private _isStageMarkedAttached(runId: string, stageId: string): boolean {
-		return this._stageSnapshot(runId, stageId)?.attached === true;
-	}
-	private _stageSnapshot(runId: string, stageId: string): StageSnapshot | undefined {
-		const run = readGraphStoreSnapshot(this.store).runs.find((candidate) => candidate.id === runId);
-		return run?.stages.find((candidate) => candidate.id === stageId);
-	}
-	private _stageSnapshotNeedsInput(stage: Pick<StageSnapshot, "pendingPrompt" | "inputRequest" | "status">): boolean {
-		return stage.pendingPrompt !== undefined || stage.inputRequest !== undefined || stage.status === "awaiting_input";
-	}
-	invalidate(): void {
-		if (this.mode === "stage-chat" && this.chatView) this.chatView.invalidate();
-		else this.graphView.invalidate();
-	}
-	dispose(): void {
-		this.unsubscribeStore?.();
-		this.unsubscribeStore = null;
-		if (this.chatView && this.attachedRunId && this.lastAttachedStageId) {
-			this.store.recordStageAttached(this.attachedRunId, this.lastAttachedStageId, false);
-		}
-		this.chatView?.dispose();
-		this.chatView = null;
-		this.graphView.dispose();
-	}
-	get _mode(): WorkflowAttachPaneMode {
-		return this.mode;
-	}
-	get _lastAttachedStageId(): string | null {
-		return this.lastAttachedStageId;
-	}
-	get _hasChatView(): boolean {
-		return this.chatView !== null;
-	}
-	get _chatInputBuffer(): string | undefined {
-		return this.chatView?._inputBuffer;
-	}
-	get _runId(): string | null {
-		return this.runId;
-	}
-}

package/dist/builtin/workflows/src/tui/workflow-list.ts

@@ -1,189 +0,0 @@
-/**
- * `/workflow list` catalogue — rounded workflow-tool output surface.
- *
- * Visual contract:
- *  - One rounded `WORKFLOWS` panel with the registered count in the title.
- *  - One rounded card per workflow:
- *      title: workflow name
- *      row 1: muted description
- *      row 2: dim "inputs"  ·  signature
- *  - Hint rows pointing at `/workflow <name> …` and `/workflow inputs <name>`.
- *
- * Truncation policy (ui/mockups.html §4):
- *  - workflow name in tag end-truncates with `…`;
- *  - description end-truncates to the row width;
- *  - input signature renders the first 3 inputs inline, then `+N more`.
- *  - optional inputs are marked with a trailing `?`.
- *
- * cross-ref:
- *  - ui/mockups.html §3, §4 (long-description policy)
- *  - src/tui/chat-surface.ts shared primitives
- *  - src/extension/dispatcher.ts list result with `items` metadata
- */
-
-import { chatWidth, ELLIPSIS, renderHintRows, renderRoundedBox } from "./chat-surface.js";
-import { BOLD, hexToAnsi, RESET } from "./color-utils.js";
-import type { GraphTheme } from "./graph-theme.js";
-import { truncateToWidth, visibleWidth } from "./text-helpers.js";
-
-const INLINE_INPUT_LIMIT = 3;
-const TAG_NAME_BUDGET = 50;
-
-export interface WorkflowListEntry {
-	/** Normalised workflow name — appears in the surface0 tag. */
-	name: string;
-	/** One-line description. End-truncated to the card body width. */
-	description: string;
-	/** Declared inputs in registry order. */
-	inputs: ReadonlyArray<{ name: string; required?: boolean }>;
-}
-
-export interface RenderWorkflowListOpts {
-	/** Provide for themed Catppuccin chrome; omit for plain ASCII. */
-	theme?: GraphTheme;
-	/** Render width (cells). Defaults to `process.stdout.columns`. */
-	width?: number;
-	/**
-	 * When true, append the standard hint pair beneath the catalogue.
-	 * Defaults to true.
-	 */
-	showHints?: boolean;
-}
-
-/**
- * Render the workflow catalogue as a rounded `WORKFLOWS` panel with
- * structured rows for each registered workflow.
- */
-export function renderWorkflowList(entries: readonly WorkflowListEntry[], opts: RenderWorkflowListOpts = {}): string {
-	const width = effectiveWidth(opts.width);
-	const bodyWidth = Math.max(20, width - 4);
-	const body: string[] = [];
-	const subtitle = `${entries.length} registered`;
-	const accent = opts.theme?.mauve;
-
-	if (entries.length === 0) {
-		body.push(` ${emptyState(opts.theme)} `);
-	} else {
-		for (let i = 0; i < entries.length; i++) {
-			if (i > 0) body.push("");
-			body.push(...renderWorkflowEntry(entries[i]!, { ...opts, width: bodyWidth }));
-		}
-	}
-
-	if (opts.showHints !== false) {
-		body.push("");
-		body.push(
-			...renderHintRows(
-				[
-					{ command: "/workflow <name> …", hint: "run a workflow" },
-					{ command: "/workflow inputs <name>", hint: "inspect input schema" },
-				],
-				opts.theme,
-			)
-				.split("\n")
-				.map((line) => ` ${line} `),
-		);
-	}
-
-	return renderRoundedBox({
-		title: `WORKFLOWS  ${subtitle}`,
-		bodyLines: body,
-		accent,
-		theme: opts.theme,
-		width,
-	});
-}
-
-function renderWorkflowEntry(entry: WorkflowListEntry, opts: RenderWorkflowListOpts): string[] {
-	const theme = opts.theme;
-	const width = effectiveWidth(opts.width);
-	const interior = Math.max(8, width - 2);
-	const titleBudget = Math.max(8, Math.min(TAG_NAME_BUDGET, interior - 2));
-	const title = truncateToWidth(entry.name, titleBudget, ELLIPSIS);
-	const titleLine = theme ? ` ${hexToAnsi(theme.text)}${BOLD}${title}${RESET} ` : ` ${title} `;
-
-	const descBudget = Math.max(8, interior - 4);
-	const description = truncateToWidth(entry.description, descBudget, ELLIPSIS);
-	const row1 = `   ${paintMuted(description, theme)} `;
-	const row2 = `   ${inputsSignatureRow(entry.inputs, interior - 4, theme)} `;
-
-	return [titleLine, row1, row2];
-}
-
-function inputsSignatureRow(
-	inputs: ReadonlyArray<{ name: string; required?: boolean }>,
-	interior: number,
-	theme?: GraphTheme,
-): string {
-	const dim = theme ? hexToAnsi(theme.dim) : "";
-	const text = theme ? hexToAnsi(theme.text) : "";
-	const muted = theme ? hexToAnsi(theme.textMuted) : "";
-	const reset = theme ? RESET : "";
-	const sep = theme ? `  ${muted}·${reset}  ` : "  ·  ";
-	const sepPlain = "  ·  ";
-
-	const label = theme ? `${dim}inputs${reset}` : "inputs";
-	const labelW = visibleWidth("inputs");
-
-	if (inputs.length === 0) {
-		const none = theme ? `${dim}(none)${reset}` : "(none)";
-		return `${label}    ${none}`;
-	}
-
-	const visible = inputs.slice(0, INLINE_INPUT_LIMIT);
-	const overflow = inputs.length - visible.length;
-
-	// Build inline segments with optional `?` marker for optional inputs.
-	const segs = visible.map((inp) => {
-		const optional = inp.required !== true;
-		const name = inp.name;
-		if (theme) {
-			return optional ? `${text}${name}${reset}${dim}?${reset}` : `${text}${name}${reset}`;
-		}
-		return optional ? `${name}?` : name;
-	});
-
-	let row = `${label}    ${segs.join(sep)}`;
-	if (overflow > 0) {
-		const moreText = `+${overflow} more`;
-		if (theme) {
-			row += `${sep}${dim}${moreText}${reset}`;
-		} else {
-			row += `${sepPlain}${moreText}`;
-		}
-	}
-
-	// If the row exceeds budget, fall back to inline name list w/o decoration.
-	const inlineWidth =
-		labelW +
-		4 +
-		visible.reduce((a, b) => a + visibleWidth(b.name) + (b.required ? 0 : 1), 0) +
-		Math.max(0, visible.length - 1) * visibleWidth(sepPlain) +
-		(overflow > 0 ? visibleWidth(sepPlain) + visibleWidth(`+${overflow} more`) : 0);
-	if (inlineWidth > interior) {
-		// Drop to a single ellipsis-truncated plain join.
-		const flat = inputs.map((i) => (i.required ? i.name : `${i.name}?`)).join(", ");
-		const cut = truncateToWidth(flat, Math.max(8, interior - labelW - 4), ELLIPSIS);
-		row = theme ? `${label}    ${text}${cut}${reset}` : `inputs    ${cut}`;
-	}
-	return row;
-}
-
-function paintMuted(text: string, theme?: GraphTheme): string {
-	if (!theme) return text;
-	return `${hexToAnsi(theme.textMuted)}${text}${RESET}`;
-}
-
-function emptyState(theme?: GraphTheme): string {
-	if (!theme) return "  no workflows registered";
-	return `  ${hexToAnsi(theme.dim)}no workflows registered${RESET}`;
-}
-
-/**
- * Resolve the render width for the catalogue surface. Delegates to the
- * shared `chatWidth()` helper which already accounts for the chat host's
- * 2-cell horizontal padding when no explicit width is supplied.
- */
-function effectiveWidth(width?: number): number {
-	return chatWidth(width);
-}