| 1 | import type { WireCompletionSummary } from "./types"; |
| 2 | export type DockDelivery = { navigationSource?: string; navigationCancellation?: AbortSignal; acceptNavigation?: () => boolean }; |
| 3 | /** Reveals one path on the change surface; the file surface has its own owner. */ |
| 4 | export type WorkspaceChangeRevealRequest = DockDelivery & { id: number; path: string }; |
| 5 | export type WorkspaceVerificationRevealRequest = DockDelivery & { id: number; summary: WireCompletionSummary; tabId: string; turnStartAt: number; currentSummary?: WireCompletionSummary; sessionPath?: string; view?: "changes" | "checks" }; |
| 6 | export type WorkspaceFileListRequest = DockDelivery & { id: number; paths: string[] }; |
| 7 | export type WorkspaceChangeListEntry = { key: string; path: string; meta: string; time: string; detail: string }; |
| 8 | export type WorkspaceChangeListRequest = DockDelivery & { id: number; changes: WorkspaceChangeListEntry[] }; |
| 9 |