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

package/dist/builtin/workflows/src/tui/graph-view-state.ts

@@ -1,547 +0,0 @@
-import type { ReadonlyFooterDataProvider } from "@bastani/atomic";
-import {
-	type ExpandedWorkflowGraph,
-	type ExpandedWorkflowStage,
-	type ExpandedWorkflowStageTarget,
-	type ExpandedWorkflowTool,
-	expandedStageTarget,
-	expandWorkflowGraph,
-	refreshExpandedWorkflowGraph,
-	sameExpandedWorkflowTopology,
-} from "../shared/expanded-workflow-graph.js";
-import type { Store } from "../shared/store.js";
-import { readGraphStoreSnapshot, subscribeStoreInvalidation } from "../shared/store-observation.js";
-import type { PendingPrompt, RunSnapshot, StageSnapshot, StoreSnapshot } from "../shared/store-types.js";
-import type { GraphTheme } from "./graph-theme.js";
-import { ANIMATION_TICK_MS } from "./graph-view-constants.js";
-import type { GraphViewMode, GraphViewOpts } from "./graph-view-types.js";
-import { computeLayout, type LayoutNode, NODE_H, NODE_W } from "./layout.js";
-import { createPromptCardState, type PromptCardState } from "./prompt-card.js";
-import type { SwitcherState } from "./switcher.js";
-
-export interface GraphStageCounts {
-	pending: number;
-	running: number;
-	awaiting_input: number;
-	paused: number;
-	blocked: number;
-	completed: number;
-	failed: number;
-	skipped: number;
-}
-
-interface GraphNodeHitRect {
-	index: number;
-	top: number;
-	bottom: number;
-	left: number;
-	right: number;
-}
-
-interface GraphViewportGeometry {
-	leftMargin: number;
-	viewportWidth: number;
-}
-
-interface GraphLayoutBand {
-	top: number;
-	bottom: number;
-	nodeIndices: number[];
-}
-
-interface GraphRenderEdge {
-	parentX: number;
-	parentY: number;
-	childX: number;
-	childY: number;
-	top: number;
-	bottom: number;
-	left: number;
-	right: number;
-}
-
-interface GraphRenderGeometry {
-	canvasWidth: number;
-	totalRows: number;
-	bands: GraphLayoutBand[];
-	edges: GraphRenderEdge[];
-}
-
-/** Expansion, focus, prompt, and store-backed layout state for GraphView. */
-export abstract class GraphViewState {
-	protected mode: GraphViewMode;
-	protected runId: string | null;
-	protected store: Store;
-	protected graphTheme: GraphTheme;
-	protected onClose?: () => void;
-	protected onHide?: () => void;
-	protected onPromptResolve?: (runId: string, promptId: string, response: unknown) => void;
-	protected onStageAttach?: (runId: string, stageId: string) => void;
-	protected onDetach?: () => void;
-	protected initialFocusedStageId?: string;
-	protected initialFocusedRunId?: string;
-	protected piTui?: GraphViewOpts["piTui"];
-	protected requestRender?: () => void;
-	protected piKeybindings?: unknown;
-	protected footerData?: ReadonlyFooterDataProvider;
-	protected getStageQueuedMessageCount?: (runId: string, stageId: string) => number;
-
-	/** Active HIL prompt state, set when `_rebuildLayout` sees a new prompt id. */
-	protected promptState: PromptCardState | null = null;
-
-	protected focusedIndex = 0;
-	protected switcherOpen = false;
-	protected switcherState: SwitcherState = { query: "", selectedIndex: 0 };
-	protected detailsExpanded = true;
-	protected cachedLayout: LayoutNode[] = [];
-	/** Stages mirrored from `cachedLayout` — shared across card renders. */
-	protected cachedDisplayStages: StageSnapshot[] = [];
-	protected expandedGraph: ExpandedWorkflowGraph = {
-		stages: [],
-		renderStages: [],
-		tools: [],
-		nodes: [],
-		targets: new Map(),
-	};
-	protected currentSnapshot: StoreSnapshot | null = null;
-	/** Selected read-only tool detail; tool nodes never become stage chats. */
-	protected toolDetail: ExpandedWorkflowTool | null = null;
-	/** Tool message blocks open collapsed and own expansion independently of graph cards. */
-	protected toolDetailExpanded = false;
-	protected abstract _graphScrollTop(): number;
-	protected graphScrollColOffset = 0;
-	protected graphNodeHitRects: GraphNodeHitRect[] = [];
-	protected lastGraphViewport: GraphViewportGeometry | null = null;
-	protected lastGraphTopPad = 0;
-	protected lastGraphVisibleRows = 0;
-	protected pendingEnsureFocusedVisible = true;
-	protected lastAutoFocusedAwaitingInputKey: string | null = null;
-	protected lastBuiltSnapshotVersion: number | null = null;
-	protected topologySnapshot: StoreSnapshot | null = null;
-	protected hasAnimatingStages = false;
-	protected cachedRenderGeometry: GraphRenderGeometry = { canvasWidth: 0, totalRows: 0, bands: [], edges: [] };
-
-	protected _intervalId: ReturnType<typeof setInterval> | null = null;
-	protected _lastGTime: number | null = null;
-	protected _unsubscribe: (() => void) | null = null;
-
-	constructor(opts: GraphViewOpts) {
-		this.mode = opts.mode;
-		this.runId = opts.runId;
-		this.store = opts.store;
-		this.graphTheme = opts.graphTheme;
-		this.onClose = opts.onClose;
-		this.onHide = opts.onHide;
-		this.onPromptResolve = opts.onPromptResolve;
-		this.onStageAttach = opts.onStageAttach;
-		this.onDetach = opts.onDetach;
-		this.initialFocusedStageId = opts.initialFocusedStageId;
-		this.initialFocusedRunId = opts.initialFocusedRunId;
-		this.piTui = opts.piTui;
-		this.requestRender = opts.requestRender;
-		this.piKeybindings = opts.piKeybindings;
-		this.footerData = opts.footerData;
-		this.getStageQueuedMessageCount = opts.getStageQueuedMessageCount;
-
-		this._unsubscribe = subscribeStoreInvalidation(this.store, () => {
-			this.currentSnapshot = readGraphStoreSnapshot(this.store);
-			this._rebuildLayout();
-		});
-		this.currentSnapshot = readGraphStoreSnapshot(this.store);
-		this._rebuildLayout();
-
-		// Animation tick: while the overlay is mounted, fire a render
-		// request every `ANIMATION_TICK_MS` so the duration counter on
-		// each running stage advances and the border-pulse lerp animates
-		// even when the user isn't pressing keys. Only overlay mode owns
-		// visible animations; widget mode renders a single status line
-		// that never needs a steady cadence. The host's `requestRender`
-		// is responsible for gating on overlay visibility / focus — see
-		// `overlay-adapter.ts` and `workflow-attach-pane.ts`. With that
-		// gate in place the previous tmux scrollback "ghost overlay"
-		// failure mode does not apply: pi-tui owns the screen buffer
-		// and diff-blits frames in place.
-		//
-		// Skip ticks when nothing is animating (#2100): a large completed
-		// or pending-only graph must not burn ~10 full paints/sec.
-		if (this.mode === "overlay" && this.requestRender) {
-			this._intervalId = setInterval(() => {
-				if (!this._needsAnimationTick()) return;
-				this.requestRender?.();
-			}, ANIMATION_TICK_MS);
-			(this._intervalId as { unref?: () => void }).unref?.();
-		}
-	}
-
-	protected _needsAnimationTick(): boolean {
-		return this.promptState !== null || this.hasAnimatingStages;
-	}
-
-	protected _rebuildLayout(): void {
-		const version = this.currentSnapshot?.version ?? null;
-		// Overlay adapter calls `invalidate()` after GraphView's own store
-		// subscriber already rebuilt for this snapshot — skip the duplicate.
-		if (version !== null && version === this.lastBuiltSnapshotVersion) {
-			return;
-		}
-
-		const run = this._getCurrentRun();
-		if (!run) {
-			this.cachedLayout = [];
-			this.cachedDisplayStages = [];
-			this.cachedRenderGeometry = { canvasWidth: 0, totalRows: 0, bands: [], edges: [] };
-			this.expandedGraph = { stages: [], renderStages: [], tools: [], nodes: [], targets: new Map() };
-			this.focusedIndex = 0;
-			this.graphScrollColOffset = 0;
-			this.graphNodeHitRects = [];
-			this.lastGraphViewport = null;
-			this.pendingEnsureFocusedVisible = true;
-			this.promptState = null;
-			this.toolDetail = null;
-			this.topologySnapshot = this.currentSnapshot;
-			this.hasAnimatingStages = false;
-			this.lastBuiltSnapshotVersion = version;
-			return;
-		}
-
-		const previousFocusedStageId = this.cachedLayout[this.focusedIndex]?.stage.id;
-		const graphStages = this._graphStages(run);
-		const sameTopology =
-			this.cachedLayout.length === graphStages.length &&
-			this.cachedLayout.length > 0 &&
-			this.cachedLayout.every((node, index) => {
-				const next = graphStages[index];
-				if (!next || node.stage.id !== next.id || node.stage.nodeKind !== next.nodeKind) return false;
-				if (node.stage.parentIds.length !== next.parentIds.length) return false;
-				return node.stage.parentIds.every((parentId, parentIndex) => parentId === next.parentIds[parentIndex]);
-			});
-
-		if (sameTopology) {
-			for (let index = 0; index < this.cachedLayout.length; index++) {
-				this.cachedLayout[index]!.stage = graphStages[index]!;
-			}
-			this.cachedDisplayStages = [...graphStages];
-			this.hasAnimatingStages = graphStages.some(
-				(stage) => stage.status === "running" || stage.status === "awaiting_input",
-			);
-			this._finalizeFocusAndPrompt(run, previousFocusedStageId, true);
-			this._syncToolDetail();
-			this.lastBuiltSnapshotVersion = version;
-			return;
-		}
-
-		const nextLayout = computeLayout(graphStages, { orientation: "vertical" });
-		this.cachedLayout = nextLayout;
-		this.cachedDisplayStages = nextLayout.map((node) => node.stage);
-		this.cachedRenderGeometry = this._buildRenderGeometry(nextLayout);
-		this.hasAnimatingStages = graphStages.some(
-			(stage) => stage.status === "running" || stage.status === "awaiting_input",
-		);
-		this.graphNodeHitRects = [];
-		this.lastGraphViewport = null;
-		this._finalizeFocusAndPrompt(run, previousFocusedStageId, false);
-		this._syncToolDetail();
-		this.lastBuiltSnapshotVersion = version;
-	}
-
-	private _buildRenderGeometry(layout: readonly LayoutNode[]): GraphRenderGeometry {
-		let canvasWidth = 0;
-		let totalRows = 0;
-		const nodeByStageId = new Map<string, LayoutNode>();
-		const bandsByTop = new Map<number, GraphLayoutBand>();
-		for (let index = 0; index < layout.length; index++) {
-			const node = layout[index]!;
-			canvasWidth = Math.max(canvasWidth, node.x + NODE_W);
-			totalRows = Math.max(totalRows, node.y + NODE_H);
-			nodeByStageId.set(node.stage.id, node);
-			const band = bandsByTop.get(node.y);
-			if (band) band.nodeIndices.push(index);
-			else bandsByTop.set(node.y, { top: node.y, bottom: node.y + NODE_H, nodeIndices: [index] });
-		}
-
-		const edges: GraphRenderEdge[] = [];
-		for (const node of layout) {
-			for (const parentId of node.stage.parentIds) {
-				const parent = nodeByStageId.get(parentId);
-				if (!parent) continue;
-				const parentCol = parent.x + Math.floor(NODE_W / 2);
-				const childCol = node.x + Math.floor(NODE_W / 2);
-				edges.push({
-					parentX: parent.x,
-					parentY: parent.y,
-					childX: node.x,
-					childY: node.y,
-					top: parent.y + NODE_H,
-					bottom: node.y,
-					left: Math.min(parentCol, childCol),
-					right: Math.max(parentCol, childCol) + 1,
-				});
-			}
-		}
-		return {
-			canvasWidth,
-			totalRows,
-			bands: [...bandsByTop.values()].sort((left, right) => left.top - right.top),
-			edges,
-		};
-	}
-
-	protected _firstVisibleLayoutBand(viewportTop: number): number {
-		const bands = this.cachedRenderGeometry.bands;
-		let low = 0;
-		let high = bands.length;
-		while (low < high) {
-			const middle = Math.floor((low + high) / 2);
-			if (bands[middle]!.bottom <= viewportTop) low = middle + 1;
-			else high = middle;
-		}
-		return low;
-	}
-
-	protected _finalizeFocusAndPrompt(
-		run: RunSnapshot,
-		previousFocusedStageId: string | undefined,
-		preserveHitRects: boolean,
-	): void {
-		let focusNeedsReveal = this.pendingEnsureFocusedVisible;
-		// One-shot: if the host passed `initialFocusedStageId`, snap the
-		// cursor to that stage now that the layout exists. The attach shell
-		// uses this when swapping back from chat mode so the focus lands on
-		// the same node the user just attached to.
-		if (this.initialFocusedStageId !== undefined) {
-			const idx = this.cachedLayout.findIndex((node) => {
-				const target = expandedStageTarget(this.expandedGraph, node.stage.id);
-				if (this.initialFocusedRunId === undefined) {
-					return node.stage.id === this.initialFocusedStageId || target?.stageId === this.initialFocusedStageId;
-				}
-				return (
-					target !== undefined &&
-					target.stageId === this.initialFocusedStageId &&
-					target.runId === this.initialFocusedRunId
-				);
-			});
-			if (idx >= 0 && idx !== this.focusedIndex) {
-				this.focusedIndex = idx;
-				focusNeedsReveal = true;
-			}
-			this.initialFocusedStageId = undefined;
-			this.initialFocusedRunId = undefined;
-		} else if (previousFocusedStageId !== undefined) {
-			const idx = this.cachedLayout.findIndex((n) => n.stage.id === previousFocusedStageId);
-			if (idx >= 0 && idx !== this.focusedIndex) {
-				this.focusedIndex = idx;
-				focusNeedsReveal = true;
-			}
-		}
-
-		const awaitingTarget = this._awaitingInputFocusTarget();
-		if (awaitingTarget) {
-			if (awaitingTarget.key !== this.lastAutoFocusedAwaitingInputKey) {
-				this.focusedIndex = awaitingTarget.index;
-				focusNeedsReveal = true;
-				this.lastAutoFocusedAwaitingInputKey = awaitingTarget.key;
-			}
-		} else {
-			this.lastAutoFocusedAwaitingInputKey = null;
-		}
-
-		if (this.cachedLayout.length === 0) {
-			this.focusedIndex = 0;
-			this.graphScrollColOffset = 0;
-		} else if (this.focusedIndex >= this.cachedLayout.length) {
-			this.focusedIndex = this.cachedLayout.length - 1;
-			focusNeedsReveal = true;
-		}
-		this.pendingEnsureFocusedVisible = focusNeedsReveal;
-		if (!preserveHitRects && focusNeedsReveal) {
-			this.graphNodeHitRects = [];
-			this.lastGraphViewport = null;
-		}
-		this._syncPromptState(run.pendingPrompt);
-	}
-
-	protected _awaitingInputFocusTarget(): { index: number; key: string } | null {
-		let newest: { index: number; key: string; createdAt: number } | null = null;
-		for (let index = 0; index < this.cachedLayout.length; index++) {
-			const stage = this.cachedLayout[index]!.stage;
-			const target = this._awaitingInputKey(stage);
-			if (!target) continue;
-			if (!newest || target.createdAt >= newest.createdAt) {
-				newest = { index, key: target.key, createdAt: target.createdAt };
-			}
-		}
-		return newest ? { index: newest.index, key: newest.key } : null;
-	}
-
-	protected _awaitingInputKey(stage: StageSnapshot): { key: string; createdAt: number } | null {
-		const target = expandedStageTarget(this.expandedGraph, stage.id);
-		const prefix = target ? `${target.runId}:${target.stageId}` : stage.id;
-		if (stage.pendingPrompt) {
-			return {
-				key: `prompt:${prefix}:${stage.pendingPrompt.id}`,
-				createdAt: stage.pendingPrompt.createdAt,
-			};
-		}
-		if (stage.inputRequest) {
-			return {
-				key: `input-request:${prefix}:${stage.inputRequest.id}`,
-				createdAt: stage.inputRequest.createdAt,
-			};
-		}
-		if (stage.status === "awaiting_input") {
-			return {
-				key: `awaiting:${prefix}:${stage.awaitingInputSince ?? "active"}`,
-				createdAt: stage.awaitingInputSince ?? stage.startedAt ?? 0,
-			};
-		}
-		return null;
-	}
-
-	protected _graphStages(run: RunSnapshot): ExpandedWorkflowStage[] {
-		const snapshot = this.currentSnapshot;
-		if (!snapshot) return [];
-		const canRefresh =
-			this.topologySnapshot !== null && sameExpandedWorkflowTopology(this.topologySnapshot, snapshot);
-		const refreshed = canRefresh ? refreshExpandedWorkflowGraph(this.expandedGraph, snapshot) : undefined;
-		this.expandedGraph = refreshed ?? expandWorkflowGraph(snapshot, run.id);
-		this.topologySnapshot = snapshot;
-		const stages = [...this.expandedGraph.renderStages];
-		const hasStagePrompt = stages.some(
-			(stage) =>
-				stage.pendingPrompt !== undefined ||
-				(stage.status === "awaiting_input" && stage.promptFootprint?.kind === "custom"),
-		);
-		if (!hasStagePrompt) return stages;
-		return stages.filter((stage) => {
-			const isUnstartedPlaceholder =
-				stage.status === "pending" &&
-				stage.startedAt === undefined &&
-				stage.pendingPrompt === undefined &&
-				stage.toolEvents.length === 0;
-			return !isUnstartedPlaceholder;
-		});
-	}
-
-	/**
-	 * Mirror the run's `pendingPrompt` into a UI working state. A new prompt
-	 * id resets the state (caret + buffer); a cleared prompt drops the state
-	 * so the card disappears.
-	 */
-	protected _syncPromptState(prompt: PendingPrompt | undefined): void {
-		if (!prompt) {
-			this.promptState = null;
-			return;
-		}
-		if (!this.promptState || this.promptState.prompt.id !== prompt.id) {
-			this.promptState = createPromptCardState(prompt);
-		}
-	}
-
-	/** Stage-only control target shared by hints and activation. */
-	protected _stageChatTarget(stage: StageSnapshot | undefined): ExpandedWorkflowStageTarget | undefined {
-		if (!stage || stage.nodeKind === "tool") return undefined;
-		return expandedStageTarget(this.expandedGraph, stage.id);
-	}
-	/** Resolve the focused graph projection back to its full tool snapshot. */
-	protected _focusedTool(): ExpandedWorkflowTool | undefined {
-		const stage = this.cachedLayout[this.focusedIndex]?.stage;
-		if (stage?.nodeKind !== "tool") return undefined;
-		return this.expandedGraph.tools.find((tool) => tool.id === stage.id);
-	}
-
-	protected _openFocusedToolDetail(): boolean {
-		const tool = this._focusedTool();
-		if (tool === undefined) return false;
-		this.toolDetail = tool;
-		this.toolDetailExpanded = false;
-		this.graphLayoutInvalidateForDetail();
-		return true;
-	}
-
-	protected _closeToolDetail(): boolean {
-		if (this.toolDetail === null) return false;
-		this.toolDetail = null;
-		this.toolDetailExpanded = false;
-		this.graphLayoutInvalidateForDetail();
-		return true;
-	}
-
-	private _syncToolDetail(): void {
-		if (this.toolDetail === null) return;
-		this.toolDetail = this.expandedGraph.tools.find((tool) => tool.id === this.toolDetail?.id) ?? null;
-	}
-
-	/** Let the renderer discard any cached body frame after a detail transition. */
-	private graphLayoutInvalidateForDetail(): void {
-		this.pendingEnsureFocusedVisible = true;
-		this.graphNodeHitRects = [];
-		this.lastGraphViewport = null;
-	}
-
-	/**
-	 * Pending queued messages for a rendered node. Tool nodes own no session, and
-	 * a nested stage's virtual graph id is not a registry key, so resolve the
-	 * real `{runId, stageId}` first.
-	 */
-	protected _stageQueuedMessageCount(stage: StageSnapshot | undefined): number {
-		const read = this.getStageQueuedMessageCount;
-		if (!read) return 0;
-		const target = this._stageChatTarget(stage);
-		if (!target) return 0;
-		const count = read(target.runId, target.stageId);
-		if (typeof count !== "number" || !Number.isFinite(count)) return 0;
-		return Math.max(0, Math.trunc(count));
-	}
-
-	protected _focusedStageChatTarget(): ExpandedWorkflowStageTarget | undefined {
-		return this._stageChatTarget(this.cachedLayout[this.focusedIndex]?.stage);
-	}
-
-	protected _getCurrentRun(): RunSnapshot | null {
-		if (!this.currentSnapshot) return null;
-		// Pin to the first run we see so a completed run stays visible after
-		// `activeRunId()` clears. Caller can still pass an explicit runId.
-		if (this.runId == null) {
-			const activeId = this.store.activeRunId();
-			if (activeId != null) {
-				this.runId = activeId;
-			}
-		}
-		if (this.runId == null) return null;
-		return this.currentSnapshot.runs.find((r) => r.id === this.runId) ?? null;
-	}
-
-	protected _displayStages(run: RunSnapshot): StageSnapshot[] {
-		return this.cachedDisplayStages.length > 0 ? this.cachedDisplayStages : [...run.stages];
-	}
-
-	protected _counts(stages: readonly StageSnapshot[]): GraphStageCounts {
-		const c: GraphStageCounts = {
-			pending: 0,
-			running: 0,
-			awaiting_input: 0,
-			paused: 0,
-			blocked: 0,
-			completed: 0,
-			failed: 0,
-			skipped: 0,
-		};
-		for (const s of stages) c[s.status]++;
-		return c;
-	}
-
-	dispose(): void {
-		if (this._intervalId != null) {
-			clearInterval(this._intervalId);
-			this._intervalId = null;
-		}
-		if (this._unsubscribe) {
-			this._unsubscribe();
-			this._unsubscribe = null;
-		}
-	}
-
-	invalidate(): void {
-		this._rebuildLayout();
-	}
-}

package/dist/builtin/workflows/src/tui/graph-view-types.ts

@@ -1,79 +0,0 @@
-import type { ReadonlyFooterDataProvider } from "@bastani/atomic";
-import type { TUI } from "@earendil-works/pi-tui";
-import type { Store } from "../shared/store.js";
-import type { GraphTheme } from "./graph-theme.js";
-
-export type GraphViewMode = "overlay" | "widget";
-/**
- * Terminal geometry exposed to GraphView. The renderer reads only `rows`;
- * the attach shell may pass its full host TUI because it satisfies this slice.
- */
-export type GraphViewHost = {
-	readonly terminal: Pick<TUI["terminal"], "rows">;
-};
-
-export interface GraphViewOpts {
-	mode: GraphViewMode;
-	runId: string | null;
-	store: Store;
-	graphTheme: GraphTheme;
-	onClose?: () => void;
-	/**
-	 * Invoked when the user presses `h` inside the pane. Hides without
-	 * unmounting (overlay-adapter calls `setHidden(true)`). Re-open via
-	 * `F2` or `/workflow connect <id>`.
-	 */
-	onHide?: () => void;
-	/**
-	 * Invoked when the user submits (or skips) a HIL prompt rendered inside
-	 * the pane. The callback typically calls `store.resolvePendingPrompt`;
-	 * GraphView itself stays UI-only.
-	 */
-	onPromptResolve?: (runId: string, promptId: string, response: unknown) => void;
-	/**
-	 * Invoked when the user presses Enter on a focused graph node — the
-	 * parent attach shell swaps the popup interior to that stage's chat
-	 * pane. When unset, Enter is a no-op (preserves graph mode).
-	 */
-	onStageAttach?: (runId: string, stageId: string) => void;
-	/**
-	 * Invoked when the user presses `Ctrl+X` in graph mode. Returns to main
-	 * chat by hiding the popup with `setHidden(true)`. Falls back to `onHide`
-	 * when unset.
-	 */
-	onDetach?: () => void;
-	/**
-	 * When provided, GraphView restores focus to this stage on construction.
-	 * `initialFocusedRunId` disambiguates identical local stage IDs in nested runs.
-	 * The attach shell uses the pair when returning from stage chat.
-	 */
-	initialFocusedStageId?: string;
-	initialFocusedRunId?: string;
-	/**
-	 * Host terminal geometry for the fullscreen frame. GraphView consumes only
-	 * `terminal.rows`; the attach shell passes the same host object to GraphView
-	 * and the attached stage chat. StageChatView retains the full TUI because its
-	 * editor and chat session host use it as well.
-	 */
-	piTui?: GraphViewHost;
-	/**
-	 * Invoked on each animation tick (~10 FPS) so the host can call
-	 * `tui.requestRender()`. Only wired in `overlay` mode; supplying it
-	 * starts the tick loop in the constructor so duration counters and
-	 * the running-stage border pulse refresh without requiring a key
-	 * press. The host is responsible for gating the underlying
-	 * `requestRender` on overlay visibility / focus (see
-	 * `overlay-adapter.ts`).
-	 */
-	requestRender?: () => void;
-	/** Host Pi keybindings manager used by run-level prompt cards. */
-	piKeybindings?: unknown;
-	/** Host footer/status provider used to surface non-workflow extension statuses inside the fullscreen graph overlay. */
-	footerData?: ReadonlyFooterDataProvider;
-	/**
-	 * Live pending steering/follow-up count for one stage, read on every graph
-	 * repaint so a message queued from the stage chat stays visible after the
-	 * user detaches. Runtime-only: queue state never enters a store snapshot.
-	 */
-	getStageQueuedMessageCount?: (runId: string, stageId: string) => number;
-}

package/dist/builtin/workflows/src/tui/graph-view.ts

@@ -1,25 +0,0 @@
-/**
- * GraphView — orchestrator overlay rendered as a pi-tui Component.
- *
- * Visual contract (DESIGN.md):
- *  - No manual ASCII frame. `pi.ui.custom({ overlay: true })` provides the
- *    popup chrome; this renderer leaves one unpainted row above and below
- *    the panel, then paints content on the canvas (`bg`) with full-width
- *    chrome rows for the header (top) and hints (bottom).
- *  - Section labels use the `  LABEL` pattern: mauve glyph + `textMuted`
- *    bold caps.
- *  - Hints follow `<key> <label>` separated by ` · ` in `dim`, active key
- *    letters in `text`, labels in `textMuted`.
- *  - No decorative progress bar. Counts live in the header pills.
- *
- * cross-ref:
- *   - github.com/bastani-inc/atomic packages/atomic-sdk/src/components/session-graph-panel.tsx
- *   - DESIGN.md §4 (Elevation), §5 (Components)
- */
-import type { Component } from "@earendil-works/pi-tui";
-import { GraphViewInputController } from "./graph-view-input.js";
-
-export type { GraphViewMode, GraphViewOpts } from "./graph-view-types.js";
-
-/** Public facade preserving the historical `./graph-view.js` import path. */
-export class GraphView extends GraphViewInputController implements Component {}