@bastani/atomic 0.9.11-alpha.8 → 0.9.11-alpha.9

package/dist/builtin/workflows/src/tui/overlay-adapter.ts

@@ -15,56 +15,52 @@
  *   - @bastani/atomic docs/tui.md (overlay primitives)
  */
 
-import type { Store } from "../shared/store.js";
-import type { StoreSnapshot } from "../shared/store-types.js";
 import type { ChatMessageRenderOptions, ReadonlyFooterDataProvider } from "@bastani/atomic";
-import { WorkflowAttachPane } from "./workflow-attach-pane.js";
-import { WORKFLOW_STATUS_KEY } from "./workflow-status.js";
-import { deriveGraphThemeFromPiTheme } from "./graph-theme.js";
-import { stageControlRegistry as defaultStageControlRegistry } from "../runs/foreground/stage-control-registry.js";
+import type {
+	PiCustomComponent,
+	PiCustomOverlayFactoryTui,
+	PiCustomOverlayFunction,
+	PiCustomOverlayOptions,
+	PiEditorFactory,
+	PiHostCustomUiState,
+	PiHostCustomUiStateListener,
+	PiKeybindings,
+	PiOverlayHandle,
+	PiOverlayOptions,
+	PiRemoteTerminalControl,
+	PiTheme,
+} from "../extension/wiring.js";
 import type { StageControlRegistry } from "../runs/foreground/stage-control-registry.js";
+import { stageControlRegistry as defaultStageControlRegistry } from "../runs/foreground/stage-control-registry.js";
 import type { StageUiBroker } from "../shared/stage-ui-broker.js";
-import type { PostMortemHandleResolution } from "./workflow-attach-pane-types.js";
-import {
-  remoteTerminalControlFrom,
-  setMouseScrollTracking,
-  setTerminalAutowrap,
-} from "./overlay-terminal-modes.js";
+import type { Store } from "../shared/store.js";
+import type { StoreSnapshot } from "../shared/store-types.js";
+import { deriveGraphThemeFromPiTheme } from "./graph-theme.js";
 import type { OverlayTerminalOutput } from "./overlay-terminal-modes.js";
-import type {
-  PiCustomComponent,
-  PiCustomOverlayFactoryTui,
-  PiCustomOverlayFunction,
-  PiCustomOverlayOptions,
-  PiEditorFactory,
-  PiHostCustomUiState,
-  PiHostCustomUiStateListener,
-  PiKeybindings,
-  PiOverlayHandle,
-  PiOverlayOptions,
-  PiRemoteTerminalControl,
-  PiTheme,
-} from "../extension/wiring.js";
+import { remoteTerminalControlFrom, setMouseScrollTracking, setTerminalAutowrap } from "./overlay-terminal-modes.js";
+import { WorkflowAttachPane } from "./workflow-attach-pane.js";
+import type { PostMortemHandleResolution } from "./workflow-attach-pane-types.js";
+import { WORKFLOW_STATUS_KEY } from "./workflow-status.js";
 
 export type OverlayChatRenderSettings = Partial<Omit<ChatMessageRenderOptions, "ui" | "cwd">>;
 
 export type { OverlayTerminalOutput } from "./overlay-terminal-modes.js";
 
 export interface OverlayUISurface {
-  custom?: PiCustomOverlayFunction;
-  getHostCustomUiState?: () => PiHostCustomUiState;
-  onHostCustomUiStateChange?: (listener: PiHostCustomUiStateListener) => () => void;
-  focusHostInlineCustomUi?: () => boolean;
-  getEditorComponent?: () => PiEditorFactory | undefined;
-  getChatRenderSettings?: () => OverlayChatRenderSettings | undefined;
-  getToolsExpanded?: () => boolean;
-  setToolsExpanded?: (expanded: boolean) => void;
-  getFooterDataProvider?: () => ReadonlyFooterDataProvider;
-  setStatus?: (key: string, value: string | undefined) => void;
+	custom?: PiCustomOverlayFunction;
+	getHostCustomUiState?: () => PiHostCustomUiState;
+	onHostCustomUiStateChange?: (listener: PiHostCustomUiStateListener) => () => void;
+	focusHostInlineCustomUi?: () => boolean;
+	getEditorComponent?: () => PiEditorFactory | undefined;
+	getChatRenderSettings?: () => OverlayChatRenderSettings | undefined;
+	getToolsExpanded?: () => boolean;
+	setToolsExpanded?: (expanded: boolean) => void;
+	getFooterDataProvider?: () => ReadonlyFooterDataProvider;
+	setStatus?: (key: string, value: string | undefined) => void;
 }
 
 export interface OverlayPiSurface {
-  ui?: OverlayUISurface;
+	ui?: OverlayUISurface;
 }
 
 /**
@@ -78,9 +74,9 @@ export interface OverlayPiSurface {
  * and the picker overlay's connect-to-stage flow.
  */
 export interface GraphOverlayPort {
-  open(runId: string | null, surface?: OverlayPiSurface, stageId?: string, stageRunId?: string): void;
-  toggle(runId: string | null, surface?: OverlayPiSurface): void;
-  close(): void;
+	open(runId: string | null, surface?: OverlayPiSurface, stageId?: string, stageRunId?: string): void;
+	toggle(runId: string | null, surface?: OverlayPiSurface): void;
+	close(): void;
 }
 
 /**
@@ -104,384 +100,375 @@ export interface GraphOverlayPort {
  * through `WorkflowAttachPane.getViewportRows` below.
  */
 const FULLSCREEN_OVERLAY_OPTIONS: PiOverlayOptions = {
-  anchor: "center",
-  width: "100%",
-  maxHeight: "100%",
-  margin: 0,
+	anchor: "center",
+	width: "100%",
+	maxHeight: "100%",
+	margin: 0,
 };
 
 const MAIN_CHAT_INPUT_STATUS_KEY = `${WORKFLOW_STATUS_KEY}:main-chat-input`;
 const MAIN_CHAT_INPUT_STATUS = "Main chat needs input — exit graph to answer.";
 
 export interface BuildGraphOverlayAdapterOpts {
-  /**
-   * Live stage-control registry threaded through to the attach shell.
-   * Defaults to the singleton registry registered alongside the store.
-   */
-  stageControlRegistry?: StageControlRegistry;
-  /**
-   * Resolver that revives a post-mortem chat handle for an eligible terminal
-   * agent stage with a valid retained session but no process-local handle.
-   * Threaded into every `WorkflowAttachPane` so generic attach/connect and
-   * restored/replayed durable snapshots open as interactive follow-up chats;
-   * unavailable results provide the pane's actionable read-only reason.
-   */
-  resolvePostMortemHandle?: (runId: string, stageId: string) => PostMortemHandleResolution;
-  /** Broker used to route stage-local custom UI into attached stage chats. */
-  stageUiBroker?: StageUiBroker;
-  /** Optional clock injection for deterministic attach-pane transition tests. */
-  now?: () => number;
-  /** Terminal output seam used to test raw overlay control sequences. */
-  terminalOutput?: OverlayTerminalOutput;
+	/**
+	 * Live stage-control registry threaded through to the attach shell.
+	 * Defaults to the singleton registry registered alongside the store.
+	 */
+	stageControlRegistry?: StageControlRegistry;
+	/**
+	 * Resolver that revives a post-mortem chat handle for an eligible terminal
+	 * agent stage with a valid retained session but no process-local handle.
+	 * Threaded into every `WorkflowAttachPane` so generic attach/connect and
+	 * restored/replayed durable snapshots open as interactive follow-up chats;
+	 * unavailable results provide the pane's actionable read-only reason.
+	 */
+	resolvePostMortemHandle?: (runId: string, stageId: string) => PostMortemHandleResolution;
+	/** Broker used to route stage-local custom UI into attached stage chats. */
+	stageUiBroker?: StageUiBroker;
+	/** Optional clock injection for deterministic attach-pane transition tests. */
+	now?: () => number;
+	/** Terminal output seam used to test raw overlay control sequences. */
+	terminalOutput?: OverlayTerminalOutput;
 }
 
 export function buildGraphOverlayAdapter(
-  pi: OverlayPiSurface,
-  store: Store,
-  buildOpts: BuildGraphOverlayAdapterOpts = {},
+	pi: OverlayPiSurface,
+	store: Store,
+	buildOpts: BuildGraphOverlayAdapterOpts = {},
 ): GraphOverlayPort {
-  const registry = buildOpts.stageControlRegistry ?? defaultStageControlRegistry;
-  const resolvePostMortemHandle = buildOpts.resolvePostMortemHandle;
-  const stageUiBroker = buildOpts.stageUiBroker;
-  const terminalOutput = buildOpts.terminalOutput ?? {
-    platform: process.platform,
-    isTTY: process.stdout.isTTY,
-    write: (data: string): void => {
-      process.stdout.write(data);
-    },
-  };
-  // Isolated interactive mode exposes a remote terminal-control capability;
-  // prefer it so the real host TTY (not the child's non-TTY JSONL stdout) gets
-  // the modes. Otherwise fall back to the local process.stdout seam.
-  let remoteTerminalControl: PiRemoteTerminalControl | null = null;
-  const updateMouseScrollTracking = (enabled: boolean): void => {
-    if (remoteTerminalControl) remoteTerminalControl.setMouseScrollTracking(enabled);
-    else setMouseScrollTracking(enabled, terminalOutput);
-  };
-  let currentView: WorkflowAttachPane | null = null;
-  // pi-tui returns an OverlayHandle via `options.onHandle`. We hold onto
-  // it so toggle() can flip `setHidden` rather than remounting the
-  // overlay — every remount commits the previous overlay frame into
-  // the chat scrollback, producing visible duplicates.
-  let currentHandle: PiOverlayHandle | null = null;
-  let mounted = false;
-  let finishMounted: (() => void) | null = null;
-  // Repaints the mounted overlay through its factory TUI. Needed on the
-  // hidden→visible flip: store updates while hidden intentionally skip
-  // `requestRender` (#1856), so reopening must explicitly render the
-  // invalidated view from the current snapshot.
-  let requestMountedRender: (() => void) | null = null;
-  let observedUi: OverlayUISurface | undefined;
-  let unsubscribeHostCustomUi: (() => void) | null = null;
-  let hostInlineCustomUiActive = false;
-  let overlayVisible = false;
+	const registry = buildOpts.stageControlRegistry ?? defaultStageControlRegistry;
+	const resolvePostMortemHandle = buildOpts.resolvePostMortemHandle;
+	const stageUiBroker = buildOpts.stageUiBroker;
+	const terminalOutput = buildOpts.terminalOutput ?? {
+		platform: process.platform,
+		isTTY: process.stdout.isTTY,
+		write: (data: string): void => {
+			process.stdout.write(data);
+		},
+	};
+	// Isolated interactive mode exposes a remote terminal-control capability;
+	// prefer it so the real host TTY (not the child's non-TTY JSONL stdout) gets
+	// the modes. Otherwise fall back to the local process.stdout seam.
+	let remoteTerminalControl: PiRemoteTerminalControl | null = null;
+	const updateMouseScrollTracking = (enabled: boolean): void => {
+		if (remoteTerminalControl) remoteTerminalControl.setMouseScrollTracking(enabled);
+		else setMouseScrollTracking(enabled, terminalOutput);
+	};
+	let currentView: WorkflowAttachPane | null = null;
+	// pi-tui returns an OverlayHandle via `options.onHandle`. We hold onto
+	// it so toggle() can flip `setHidden` rather than remounting the
+	// overlay — every remount commits the previous overlay frame into
+	// the chat scrollback, producing visible duplicates.
+	let currentHandle: PiOverlayHandle | null = null;
+	let mounted = false;
+	let finishMounted: (() => void) | null = null;
+	// Repaints the mounted overlay through its factory TUI. Needed on the
+	// hidden→visible flip: store updates while hidden intentionally skip
+	// `requestRender` (#1856), so reopening must explicitly render the
+	// invalidated view from the current snapshot.
+	let requestMountedRender: (() => void) | null = null;
+	let observedUi: OverlayUISurface | undefined;
+	let unsubscribeHostCustomUi: (() => void) | null = null;
+	let hostInlineCustomUiActive = false;
+	let overlayVisible = false;
 
-  function updateTerminalAutowrap(visible: boolean): void {
-    if (overlayVisible === visible) return;
-    overlayVisible = visible;
-    if (remoteTerminalControl) {
-      if (terminalOutput.platform === "win32") remoteTerminalControl.setAutowrap(!visible);
-      return;
-    }
-    setTerminalAutowrap(!visible, terminalOutput);
-  }
+	function updateTerminalAutowrap(visible: boolean): void {
+		if (overlayVisible === visible) return;
+		overlayVisible = visible;
+		if (remoteTerminalControl) {
+			if (terminalOutput.platform === "win32") remoteTerminalControl.setAutowrap(!visible);
+			return;
+		}
+		setTerminalAutowrap(!visible, terminalOutput);
+	}
 
-  function readHostCustomUiActive(ui: OverlayUISurface | undefined = observedUi): boolean {
-    const state = ui?.getHostCustomUiState?.();
-    if (state) hostInlineCustomUiActive = state.blockingInlineCustomUiActive;
-    return hostInlineCustomUiActive;
-  }
+	function readHostCustomUiActive(ui: OverlayUISurface | undefined = observedUi): boolean {
+		const state = ui?.getHostCustomUiState?.();
+		if (state) hostInlineCustomUiActive = state.blockingInlineCustomUiActive;
+		return hostInlineCustomUiActive;
+	}
 
-  function updateMainChatInputHint(active: boolean): void {
-    observedUi?.setStatus?.(
-      MAIN_CHAT_INPUT_STATUS_KEY,
-      active ? MAIN_CHAT_INPUT_STATUS : undefined,
-    );
-  }
+	function updateMainChatInputHint(active: boolean): void {
+		observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, active ? MAIN_CHAT_INPUT_STATUS : undefined);
+	}
 
-  function clearHostCustomUiObservation(): void {
-    unsubscribeHostCustomUi?.();
-    unsubscribeHostCustomUi = null;
-    observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
-    observedUi = undefined;
-    hostInlineCustomUiActive = false;
-  }
+	function clearHostCustomUiObservation(): void {
+		unsubscribeHostCustomUi?.();
+		unsubscribeHostCustomUi = null;
+		observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
+		observedUi = undefined;
+		hostInlineCustomUiActive = false;
+	}
 
-  function observeHostCustomUi(ui: OverlayUISurface | undefined): void {
-    if (observedUi !== ui) {
-      unsubscribeHostCustomUi?.();
-      unsubscribeHostCustomUi = null;
-      observedUi = ui;
-      hostInlineCustomUiActive = false;
-      if (typeof ui?.onHostCustomUiStateChange === "function") {
-        unsubscribeHostCustomUi = ui.onHostCustomUiStateChange((state) => {
-          hostInlineCustomUiActive = state.blockingInlineCustomUiActive;
-          updateMainChatInputHint(hostInlineCustomUiActive);
-        });
-      }
-    }
-    updateMainChatInputHint(readHostCustomUiActive(ui));
-  }
+	function observeHostCustomUi(ui: OverlayUISurface | undefined): void {
+		if (observedUi !== ui) {
+			unsubscribeHostCustomUi?.();
+			unsubscribeHostCustomUi = null;
+			observedUi = ui;
+			hostInlineCustomUiActive = false;
+			if (typeof ui?.onHostCustomUiStateChange === "function") {
+				unsubscribeHostCustomUi = ui.onHostCustomUiStateChange((state) => {
+					hostInlineCustomUiActive = state.blockingInlineCustomUiActive;
+					updateMainChatInputHint(hostInlineCustomUiActive);
+				});
+			}
+		}
+		updateMainChatInputHint(readHostCustomUiActive(ui));
+	}
 
-  function close(): void {
-    updateMouseScrollTracking(false);
-    currentHandle?.hide();
-    updateTerminalAutowrap(false);
-    finishMounted?.();
-    observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
-    currentView?.dispose();
-    currentHandle = null;
-    finishMounted = null;
-    currentView = null;
-    mounted = false;
-    remoteTerminalControl = null;
-    requestMountedRender = null;
-    clearHostCustomUiObservation();
-  }
+	function close(): void {
+		updateMouseScrollTracking(false);
+		currentHandle?.hide();
+		updateTerminalAutowrap(false);
+		finishMounted?.();
+		observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
+		currentView?.dispose();
+		currentHandle = null;
+		finishMounted = null;
+		currentView = null;
+		mounted = false;
+		remoteTerminalControl = null;
+		requestMountedRender = null;
+		clearHostCustomUiObservation();
+	}
 
-  /**
-   * Non-destructive return path used by graph-mode `Ctrl+X` / `h`. Goes
-   * through Pi/pi public primitives in priority order:
-   *   1. `OverlayHandle.setHidden(true)` when the host exposed an
-   *      overlay handle via `options.onHandle`. Keeps the overlay
-   *      mounted so a subsequent `open()` can flip it back without
-   *      remounting (state and animations survive).
-   *   2. The factory `done(undefined)` callback when the host didn't
-   *      expose an OverlayHandle. Per pi docs, this disposes the
-   *      component, hides the overlay if present, restores focus to
-   *      the editor, and resolves the custom() promise.
-   *
-   * This is UI-only: the backing workflow keeps running unchanged and the
-   * same mounted overlay can be reopened later.
-   */
-  function hideMounted(): void {
-    updateMouseScrollTracking(false);
-    observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
-    if (currentHandle) {
-      currentView?.setVisible(false);
-      currentHandle.setHidden(true);
-      updateTerminalAutowrap(false);
-      currentHandle.unfocus();
-      return;
-    }
-    if (finishMounted) {
-      finishMounted();
-      return;
-    }
-    updateTerminalAutowrap(false);
-  }
+	/**
+	 * Non-destructive return path used by graph-mode `Ctrl+X` / `h`. Goes
+	 * through Pi/pi public primitives in priority order:
+	 *   1. `OverlayHandle.setHidden(true)` when the host exposed an
+	 *      overlay handle via `options.onHandle`. Keeps the overlay
+	 *      mounted so a subsequent `open()` can flip it back without
+	 *      remounting (state and animations survive).
+	 *   2. The factory `done(undefined)` callback when the host didn't
+	 *      expose an OverlayHandle. Per pi docs, this disposes the
+	 *      component, hides the overlay if present, restores focus to
+	 *      the editor, and resolves the custom() promise.
+	 *
+	 * This is UI-only: the backing workflow keeps running unchanged and the
+	 * same mounted overlay can be reopened later.
+	 */
+	function hideMounted(): void {
+		updateMouseScrollTracking(false);
+		observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
+		if (currentHandle) {
+			currentView?.setVisible(false);
+			currentHandle.setHidden(true);
+			updateTerminalAutowrap(false);
+			currentHandle.unfocus();
+			return;
+		}
+		if (finishMounted) {
+			finishMounted();
+			return;
+		}
+		updateTerminalAutowrap(false);
+	}
 
-  function refocusVisibleOverlayForAwaitingInput(snapshot: StoreSnapshot): void {
-    if (currentHandle === null) return;
-    if (currentHandle.isHidden()) return;
-    if (currentHandle.isFocused()) return;
-    if (currentView?.wantsFocusForAwaitingInput(snapshot) !== true) return;
-    currentHandle.focus();
-  }
+	function refocusVisibleOverlayForAwaitingInput(snapshot: StoreSnapshot): void {
+		if (currentHandle === null) return;
+		if (currentHandle.isHidden()) return;
+		if (currentHandle.isFocused()) return;
+		if (currentView?.wantsFocusForAwaitingInput(snapshot) !== true) return;
+		currentHandle.focus();
+	}
 
-  function makeComponent(
-    view: WorkflowAttachPane,
-    tui: PiCustomOverlayFactoryTui,
-  ): PiCustomComponent {
-    requestMountedRender = () => tui.requestRender?.();
-    const onStoreUpdate = (snapshot: StoreSnapshot): void => {
-      // Always invalidate retained view state so a later reopen renders the
-      // current snapshot — but while the overlay is hidden, never ask the
-      // host to render (#1856): each hidden-overlay render request became
-      // terminal writes that flickered main chat and could snap native
-      // scrollback to the bottom.
-      view.invalidate();
-      if (currentHandle?.isHidden() === true) return;
-      refocusVisibleOverlayForAwaitingInput(snapshot);
-      tui.requestRender?.();
-    };
-    const unsubscribe = store.subscribe(onStoreUpdate);
-    return {
-      render: (width: number) => view.render(width),
-      handleInput: (data: string) => {
-        const consumed = view.handleInput(data);
-        if (consumed) tui.requestRender?.();
-      },
-      invalidate: () => tui.requestRender?.(),
-      dispose: () => {
-        updateTerminalAutowrap(false);
-        updateMouseScrollTracking(false);
-        remoteTerminalControl = null;
-        requestMountedRender = null;
-        unsubscribe();
-        view.dispose();
-      },
-    };
-  }
+	function makeComponent(view: WorkflowAttachPane, tui: PiCustomOverlayFactoryTui): PiCustomComponent {
+		requestMountedRender = () => tui.requestRender?.();
+		const onStoreUpdate = (snapshot: StoreSnapshot): void => {
+			// Always invalidate retained view state so a later reopen renders the
+			// current snapshot — but while the overlay is hidden, never ask the
+			// host to render (#1856): each hidden-overlay render request became
+			// terminal writes that flickered main chat and could snap native
+			// scrollback to the bottom.
+			view.invalidate();
+			if (currentHandle?.isHidden() === true) return;
+			refocusVisibleOverlayForAwaitingInput(snapshot);
+			tui.requestRender?.();
+		};
+		const unsubscribe = store.subscribe(onStoreUpdate);
+		return {
+			render: (width: number) => view.render(width),
+			handleInput: (data: string) => {
+				const consumed = view.handleInput(data);
+				if (consumed) tui.requestRender?.();
+			},
+			invalidate: () => tui.requestRender?.(),
+			dispose: () => {
+				updateTerminalAutowrap(false);
+				updateMouseScrollTracking(false);
+				remoteTerminalControl = null;
+				requestMountedRender = null;
+				unsubscribe();
+				view.dispose();
+			},
+		};
+	}
 
-  function open(
-    runId: string | null,
-    surface?: OverlayPiSurface,
-    stageId?: string,
-    stageRunId?: string,
-  ): void {
-    const ui = surface?.ui ?? pi.ui;
-    observeHostCustomUi(ui);
+	function open(runId: string | null, surface?: OverlayPiSurface, stageId?: string, stageRunId?: string): void {
+		const ui = surface?.ui ?? pi.ui;
+		observeHostCustomUi(ui);
 
-    // Already mounted but hidden — flip visibility without remounting.
-    if (mounted && currentHandle?.isHidden()) {
-      currentView?.retarget(runId, stageId, stageRunId);
-      currentView?.setVisible(true);
-      updateTerminalAutowrap(true);
-      updateMouseScrollTracking(currentView?.wantsMouseScrollTracking() ?? true);
-      currentHandle.setHidden(false);
-      currentHandle.focus();
-      requestMountedRender?.();
-      return;
-    }
-    if (mounted) {
-      currentView?.retarget(runId, stageId, stageRunId);
-      updateTerminalAutowrap(true);
-      updateMouseScrollTracking(currentView?.wantsMouseScrollTracking() ?? true);
-      // Restore keyboard focus to the visible overlay after retargeting.
-      // pi-tui dispatches key events only to the focused component, so a
-      // mounted-but-visible overlay that is retargeted (e.g. to a stage-scoped
-      // HIL prompt / readiness gate) would otherwise appear frozen — arrows,
-      // Enter and Ctrl+X all dead — if focus stayed on an underlying or
-      // previously-focused pane (issue #1120).
-      currentHandle?.focus();
-      return;
-    }
+		// Already mounted but hidden — flip visibility without remounting.
+		if (mounted && currentHandle?.isHidden()) {
+			currentView?.retarget(runId, stageId, stageRunId);
+			currentView?.setVisible(true);
+			updateTerminalAutowrap(true);
+			updateMouseScrollTracking(currentView?.wantsMouseScrollTracking() ?? true);
+			currentHandle.setHidden(false);
+			currentHandle.focus();
+			requestMountedRender?.();
+			return;
+		}
+		if (mounted) {
+			currentView?.retarget(runId, stageId, stageRunId);
+			updateTerminalAutowrap(true);
+			updateMouseScrollTracking(currentView?.wantsMouseScrollTracking() ?? true);
+			// Restore keyboard focus to the visible overlay after retargeting.
+			// pi-tui dispatches key events only to the focused component, so a
+			// mounted-but-visible overlay that is retargeted (e.g. to a stage-scoped
+			// HIL prompt / readiness gate) would otherwise appear frozen — arrows,
+			// Enter and Ctrl+X all dead — if focus stayed on an underlying or
+			// previously-focused pane (issue #1120).
+			currentHandle?.focus();
+			return;
+		}
 
-    const custom = ui?.custom;
-    if (typeof custom !== "function") return;
+		const custom = ui?.custom;
+		if (typeof custom !== "function") return;
 
-    let settled = false;
-    const factory = (
-      tui: PiCustomOverlayFactoryTui,
-      theme: PiTheme,
-      keybindings: PiKeybindings,
-      done: (result: undefined) => void,
-    ): PiCustomComponent => {
-      // Prefer the host's remote terminal-control capability (isolated mode);
-      // stays null for non-isolated hosts, keeping the local process.stdout seam.
-      remoteTerminalControl = remoteTerminalControlFrom(tui);
-      const finish = (): void => {
-        if (settled) return;
-        settled = true;
-        updateMouseScrollTracking(false);
-        observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
-        currentView?.dispose();
-        currentView = null;
-        currentHandle = null;
-        finishMounted = null;
-        mounted = false;
-        requestMountedRender = null;
-        clearHostCustomUiObservation();
-        try {
-          done(undefined);
-        } finally {
-          updateTerminalAutowrap(false);
-          remoteTerminalControl = null;
-        }
-      };
-      const view = new WorkflowAttachPane({
-        store,
-        graphTheme: deriveGraphThemeFromPiTheme(theme),
-        runId,
-        stageControlRegistry: registry,
-        resolvePostMortemHandle,
-        stageUiBroker,
-        onClose: finish,
-        onHide: hideMounted,
-        initialAttachStageId: stageId,
-        initialAttachRunId: stageRunId,
-        piTui: tui,
-        piTheme: theme,
-        piKeybindings: keybindings,
-        piEditorFactory: ui?.getEditorComponent?.(),
-        getChatRenderSettings: ui?.getChatRenderSettings,
-        getToolsExpanded: ui?.getToolsExpanded,
-        setToolsExpanded: ui?.setToolsExpanded,
-        footerData: ui?.getFooterDataProvider?.(),
-        // Pi-tui owns terminal dimensions; thread its row count down
-        // so the overlay frame fills the actual viewport rather than
-        // a hard-coded 32-row rectangle. Returning `undefined` keeps
-        // the existing fallback for hosts that don't expose
-        // `tui.terminal`.
-        getViewportRows: () => tui.terminal?.rows,
-        // Drive the graph-view animation tick. Short-circuit when the
-        // overlay is hidden so a `setHidden(true)`-ed overlay does
-        // not waste CPU on render passes the user can't see. The
-        // pane's own `mode === "graph"` gate covers the chat-view
-        // case (see workflow-attach-pane.ts).
-        requestRender: () => {
-          if (currentHandle?.isHidden() === true) return;
-          tui.requestRender?.();
-        },
-        // Re-assert overlay keyboard focus on demand. The attached stage chat
-        // calls this when it shows a broker custom UI (e.g. the readiness gate)
-        // so the gate receives input even if focus drifted off the overlay
-        // while the agent's turn was streaming (#1120).
-        requestFocus: () => {
-          if (currentHandle?.isHidden() === true) return;
-          // Idempotent: only grab focus if the overlay does not already own it.
-          // A redundant focus() while already focused re-runs pi-tui's focus
-          // transition mid-stream and stalls the agent's continuation (#1120,
-          // the "ac" freeze). Skipping the no-op case lets callers ask for focus
-          // freely — e.g. when showing a mid-turn ask_user_question — without a
-          // fragile "only when not streaming" guard at every call site.
-          if (currentHandle?.isFocused() === true) return;
-          currentHandle?.focus();
-        },
-        setMouseScrollTracking: updateMouseScrollTracking,
-        now: buildOpts.now,
-      } as ConstructorParameters<typeof WorkflowAttachPane>[0] & {
-        piTui?: PiCustomOverlayFactoryTui;
-        piTheme?: PiTheme;
-        piKeybindings?: PiKeybindings;
-      });
-      currentView = view;
-      finishMounted = finish;
-      mounted = true;
-      updateTerminalAutowrap(true);
-      updateMouseScrollTracking(view.wantsMouseScrollTracking());
-      updateMainChatInputHint(readHostCustomUiActive(ui));
-      return makeComponent(view, tui);
-    };
+		let settled = false;
+		const factory = (
+			tui: PiCustomOverlayFactoryTui,
+			theme: PiTheme,
+			keybindings: PiKeybindings,
+			done: (result: undefined) => void,
+		): PiCustomComponent => {
+			// Prefer the host's remote terminal-control capability (isolated mode);
+			// stays null for non-isolated hosts, keeping the local process.stdout seam.
+			remoteTerminalControl = remoteTerminalControlFrom(tui);
+			const finish = (): void => {
+				if (settled) return;
+				settled = true;
+				updateMouseScrollTracking(false);
+				observedUi?.setStatus?.(MAIN_CHAT_INPUT_STATUS_KEY, undefined);
+				currentView?.dispose();
+				currentView = null;
+				currentHandle = null;
+				finishMounted = null;
+				mounted = false;
+				requestMountedRender = null;
+				clearHostCustomUiObservation();
+				try {
+					done(undefined);
+				} finally {
+					updateTerminalAutowrap(false);
+					remoteTerminalControl = null;
+				}
+			};
+			const view = new WorkflowAttachPane({
+				store,
+				graphTheme: deriveGraphThemeFromPiTheme(theme),
+				runId,
+				stageControlRegistry: registry,
+				resolvePostMortemHandle,
+				stageUiBroker,
+				onClose: finish,
+				onHide: hideMounted,
+				initialAttachStageId: stageId,
+				initialAttachRunId: stageRunId,
+				piTui: tui,
+				piTheme: theme,
+				piKeybindings: keybindings,
+				piEditorFactory: ui?.getEditorComponent?.(),
+				getChatRenderSettings: ui?.getChatRenderSettings,
+				getToolsExpanded: ui?.getToolsExpanded,
+				setToolsExpanded: ui?.setToolsExpanded,
+				footerData: ui?.getFooterDataProvider?.(),
+				// Pi-tui owns terminal dimensions; thread its row count down
+				// so the overlay frame fills the actual viewport rather than
+				// a hard-coded 32-row rectangle. Returning `undefined` keeps
+				// the existing fallback for hosts that don't expose
+				// `tui.terminal`.
+				getViewportRows: () => tui.terminal?.rows,
+				// Drive the graph-view animation tick. Short-circuit when the
+				// overlay is hidden so a `setHidden(true)`-ed overlay does
+				// not waste CPU on render passes the user can't see. The
+				// pane's own `mode === "graph"` gate covers the chat-view
+				// case (see workflow-attach-pane.ts).
+				requestRender: () => {
+					if (currentHandle?.isHidden() === true) return;
+					tui.requestRender?.();
+				},
+				// Re-assert overlay keyboard focus on demand. The attached stage chat
+				// calls this when it shows a broker custom UI (e.g. the readiness gate)
+				// so the gate receives input even if focus drifted off the overlay
+				// while the agent's turn was streaming (#1120).
+				requestFocus: () => {
+					if (currentHandle?.isHidden() === true) return;
+					// Idempotent: only grab focus if the overlay does not already own it.
+					// A redundant focus() while already focused re-runs pi-tui's focus
+					// transition mid-stream and stalls the agent's continuation (#1120,
+					// the "ac" freeze). Skipping the no-op case lets callers ask for focus
+					// freely — e.g. when showing a mid-turn ask_user_question — without a
+					// fragile "only when not streaming" guard at every call site.
+					if (currentHandle?.isFocused() === true) return;
+					currentHandle?.focus();
+				},
+				setMouseScrollTracking: updateMouseScrollTracking,
+				now: buildOpts.now,
+			} as ConstructorParameters<typeof WorkflowAttachPane>[0] & {
+				piTui?: PiCustomOverlayFactoryTui;
+				piTheme?: PiTheme;
+				piKeybindings?: PiKeybindings;
+			});
+			currentView = view;
+			finishMounted = finish;
+			mounted = true;
+			updateTerminalAutowrap(true);
+			updateMouseScrollTracking(view.wantsMouseScrollTracking());
+			updateMainChatInputHint(readHostCustomUiActive(ui));
+			return makeComponent(view, tui);
+		};
 
-    const options: PiCustomOverlayOptions = {
-      overlay: true,
-      deferInlineCustomUiFocus: true,
-      overlayOptions: FULLSCREEN_OVERLAY_OPTIONS,
-      onHandle: (handle) => {
-        currentHandle = handle;
-        updateMainChatInputHint(readHostCustomUiActive(ui));
-      },
-    };
-    void custom(factory, options);
-  }
+		const options: PiCustomOverlayOptions = {
+			overlay: true,
+			deferInlineCustomUiFocus: true,
+			// The graph pane, stage chat, prompt cards, and inline form all bind
+			// Ctrl+C (Skip / Close / cancel), so the host must forward it here
+			// instead of closing this overlay on the first press.
+			handlesCtrlC: true,
+			overlayOptions: FULLSCREEN_OVERLAY_OPTIONS,
+			onHandle: (handle) => {
+				currentHandle = handle;
+				updateMainChatInputHint(readHostCustomUiActive(ui));
+			},
+		};
+		void custom(factory, options);
+	}
 
-  function toggle(runId: string | null, surface?: OverlayPiSurface): void {
-    observeHostCustomUi(surface?.ui ?? pi.ui);
-    // Hide without unmounting if we have a handle (no remount means
-    // no scroll-pollution).
-    if (mounted && currentHandle) {
-      const nowHidden = !currentHandle.isHidden();
-      currentView?.setVisible(!nowHidden);
-      if (!nowHidden) updateTerminalAutowrap(true);
-      updateMouseScrollTracking(
-        nowHidden ? false : currentView?.wantsMouseScrollTracking() ?? true,
-      );
-      currentHandle.setHidden(nowHidden);
-      if (nowHidden) updateTerminalAutowrap(false);
-      else {
-        currentHandle.focus();
-        requestMountedRender?.();
-      }
-      return;
-    }
-    if (mounted) {
-      hideMounted();
-      return;
-    }
-    open(runId, surface);
-  }
+	function toggle(runId: string | null, surface?: OverlayPiSurface): void {
+		observeHostCustomUi(surface?.ui ?? pi.ui);
+		// Hide without unmounting if we have a handle (no remount means
+		// no scroll-pollution).
+		if (mounted && currentHandle) {
+			const nowHidden = !currentHandle.isHidden();
+			currentView?.setVisible(!nowHidden);
+			if (!nowHidden) updateTerminalAutowrap(true);
+			updateMouseScrollTracking(nowHidden ? false : (currentView?.wantsMouseScrollTracking() ?? true));
+			currentHandle.setHidden(nowHidden);
+			if (nowHidden) updateTerminalAutowrap(false);
+			else {
+				currentHandle.focus();
+				requestMountedRender?.();
+			}
+			return;
+		}
+		if (mounted) {
+			hideMounted();
+			return;
+		}
+		open(runId, surface);
+	}
 
-  return { open, toggle, close };
+	return { open, toggle, close };
 }