@pragma-sh/constants 0.1.0

package/src/generated/constants.ts

@@ -0,0 +1,2883 @@
+/* AUTO-GENERATED from schema.json. Do not edit. Run `bun run generate`. */
+
+/**
+ * Which world a terminal session's shell lives in. `native` runs the host's own shell through the host's PTY (a pseudo-terminal on macOS and Linux, ConPTY on Windows). `wsl` runs a Linux shell inside a WSL distribution, served by a Linux `pragma-server` running in that distribution. Only Windows offers a real choice; macOS and Linux always resolve to `native`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "TerminalBackend".
+ */
+export type TerminalBackend = "native" | "wsl";
+/**
+ * Top-level request/response RPC domains served by pragma-server over the Unix-socket frame protocol.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ProtocolRpcMethod".
+ */
+export type ProtocolRpcMethod =
+  | "git"
+  | "filesystem"
+  | "database"
+  | "kanban"
+  | "worktrees"
+  | "projects"
+  | "tabs"
+  | "settings"
+  | "github"
+  | "ai"
+  | "exec"
+  | "automations"
+  | "plugins"
+  | "tunnel"
+  | "ports"
+  | "scratchpads"
+  | "whiteboards"
+  | "wsl"
+  | "fanouts";
+/**
+ * Snapshot-then-delta subscription event streams served by pragma-server.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ProtocolEventKind".
+ */
+export type ProtocolEventKind =
+  | "agentStatus"
+  | "worktreeChanged"
+  | "kanbanChanged"
+  | "tabsChanged"
+  | "fileChanged"
+  | "echoMode"
+  | "automationPending"
+  | "automationsChanged"
+  | "workspace"
+  | "fanouts";
+/**
+ * Stable protocol-level RPC error codes.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ProtocolErrorCode".
+ */
+export type ProtocolErrorCode =
+  "invalidPayload" | "unsupportedMethod" | "notFound" | "staleWrite" | "permissionDenied" | "internal";
+/**
+ * How a desktop update is applied. `reload` swaps the webview UI overlay and leaves the host running. `restart` always runs the full OS installer.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "UpdateApplyMode".
+ */
+export type UpdateApplyMode = "reload" | "restart";
+/**
+ * Installer target id sent on the check request so a restart offer returns the right asset.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "UpdatePlatform".
+ */
+export type UpdatePlatform =
+  | "darwin-aarch64"
+  | "darwin-x86_64"
+  | "linux-x86_64-deb"
+  | "linux-x86_64-rpm"
+  | "linux-x86_64-appimage"
+  | "linux-aarch64-deb"
+  | "linux-aarch64-rpm"
+  | "linux-aarch64-appimage"
+  | "windows-x86_64";
+/**
+ * Lifecycle of one fanout. Deliberately separate from agent runtime status: an attempt's agent may be idle while the fanout is still `active`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutStatus".
+ */
+export type FanoutStatus =
+  | "provisioning"
+  | "active"
+  | "attention"
+  | "partial"
+  | "ready"
+  | "failed"
+  | "interrupted"
+  | "cancelled"
+  | "finalizing"
+  | "needsResolution"
+  | "cleanupFailed"
+  | "completed";
+/**
+ * Lifecycle of one fanout attempt. `interrupted` means the host restarted while the attempt was live; its prompt is never replayed automatically.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutMemberStatus".
+ */
+export type FanoutMemberStatus =
+  "pending" | "provisioning" | "running" | "attention" | "done" | "failed" | "interrupted" | "cancelled" | "selected";
+/**
+ * Durable progress marker for the destructive pick transaction. Persisted after every successful step so a retry resumes at the first incomplete stage instead of repeating a destructive one.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutFinalizeStage".
+ */
+export type FanoutFinalizeStage =
+  | "validating"
+  | "committingWinner"
+  | "merging"
+  | "promotingScratchpads"
+  | "stoppingSessions"
+  | "cleaningUp"
+  | "completed";
+/**
+ * Machine-readable reason a fanout operation failed, preserved through the CLI, the gateway, and the SDK so callers branch on a code rather than on message text.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutFailureCode".
+ */
+export type FanoutFailureCode =
+  | "invalidSelector"
+  | "unknownAgent"
+  | "unknownModel"
+  | "unknownReasoning"
+  | "activeFanoutExists"
+  | "dirtyParent"
+  | "worktreeCreateFailed"
+  | "setupFailed"
+  | "launchFailed"
+  | "notFound"
+  | "conflict"
+  | "descendantWorktree"
+  | "commitMessageFailed"
+  | "mergeConflict"
+  | "promotionFailed"
+  | "cleanupFailed"
+  | "internal";
+/**
+ * Where a fanout's single parent comes from: an existing worktree, or a fresh coordination worktree created from a source worktree.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutParentSpec".
+ */
+export type FanoutParentSpec = FanoutExistingParent | FanoutNewParent;
+/**
+ * Follow-up delivery outcome per member: `accepted` is the fire-and-forget terminal state, the rest are only observable when waiting.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutDeliveryState".
+ */
+export type FanoutDeliveryState = "accepted" | "delivered" | "failed" | "timedOut";
+/**
+ * Brokered control operations routed by pragma-server to the running app (the single controller). The CLI publishes these; the app executes the matching Tauri command and returns a ControlResult. Direct-to-server reads (tab read, agent status, agent report) are not ControlMethods.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ControlMethod".
+ */
+export type ControlMethod =
+  | "worktreesList"
+  | "worktreeCreate"
+  | "worktreeRename"
+  | "worktreeSetHidden"
+  | "worktreeDelete"
+  | "worktreeStatus"
+  | "tabsList"
+  | "tabOpen"
+  | "tabClose"
+  | "tabRename"
+  | "tabExec"
+  | "splitList"
+  | "splitSet"
+  | "splitAddTab"
+  | "splitClear"
+  | "browserNavigate"
+  | "browserBack"
+  | "browserForward"
+  | "browserReload"
+  | "browserClose"
+  | "browserScroll"
+  | "browserFocus"
+  | "browserClick"
+  | "browserEval"
+  | "browserScreenshot"
+  | "agentStart"
+  | "agentSessionLaunch"
+  | "boardDraftCreate"
+  | "scratchpadCreate";
+/**
+ * Where an automation file was discovered.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationScope".
+ */
+export type AutomationScope = "global" | "local";
+/**
+ * Server trust state for an automation file.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationTrust".
+ */
+export type AutomationTrust = "trusted" | "approved" | "pending" | "rejected";
+/**
+ * Automation trigger family.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationTriggerKind".
+ */
+export type AutomationTriggerKind = "cron" | "event" | "unknown";
+/**
+ * Runtime load/run state surfaced by the host automation runner.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationStatus".
+ */
+export type AutomationStatus = "pending" | "loaded" | "running" | "idle" | "rejected" | "error";
+/**
+ * How the stored GitHub token was obtained: the OAuth device flow or adoption of the gh CLI's token.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GitHubAuthMethod".
+ */
+export type GitHubAuthMethod = "deviceFlow" | "cli";
+/**
+ * Which world a terminal session's shell lives in. `native` runs the host's own shell through the host's PTY (a pseudo-terminal on macOS and Linux, ConPTY on Windows). `wsl` runs a Linux shell inside a WSL distribution, served by a Linux `pragma-server` running in that distribution. Only Windows offers a real choice; macOS and Linux always resolve to `native`.
+ */
+export type TerminalBackend1 = "native" | "wsl";
+/**
+ * Which `.pragma` layer a setting or asset belongs to: the user's home directory or the selected project.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "SettingsScope".
+ */
+export type SettingsScope = "global" | "project";
+/**
+ * Which sounds directory the clip was found in.
+ */
+export type SettingsScope1 = "global" | "project";
+/**
+ * Optional agent capability used to exclude unsupported agent-verification scenarios.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentFeature".
+ */
+export type AgentFeature =
+  "questions" | "commandApproval" | "commands" | "subagents" | "abort" | "interrupt" | "usageLimits" | "sessionName";
+/**
+ * One interactive run-script entry: either a single command string or a split layout tree.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "RunScriptEntry".
+ */
+export type RunScriptEntry = string | RunScriptSplit;
+/**
+ * A binary split node. Use exactly one axis: left/right for horizontal, or top/bottom for vertical.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "RunScriptSplit".
+ */
+export type RunScriptSplit = RunScriptHorizontalSplit | RunScriptVerticalSplit;
+/**
+ * A command string leaf or a nested split layout node.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "RunScriptNode".
+ */
+export type RunScriptNode = string | RunScriptSplit;
+/**
+ * Discriminates what a tab hosts: a shell terminal, an embedded browser, a file editor, a scratchpad, a whiteboard, a read-only diff, the read-only daemon log viewer, a pull-request review, or a plugin web view.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "TabKind".
+ */
+export type TabKind =
+  "terminal" | "browser" | "editor" | "scratchpad" | "whiteboard" | "diff" | "log" | "pr-review" | "plugin-webview";
+/**
+ * Shared recursive split-pane tree. A node is either a tab-spec leaf or a binary split (left/right for horizontal, top/bottom for vertical). The CLI split layout and the live frontend split layout both use this shape.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "SplitNode".
+ */
+export type SplitNode = SplitTabLeaf | SplitSplit;
+/**
+ * A binary split node: exactly one axis, horizontal (left/right) or vertical (top/bottom). Mirrors RunScriptSplit.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "SplitSplit".
+ */
+export type SplitSplit = SplitHorizontal | SplitVertical;
+/**
+ * Runtime status for a frontend-managed interactive run-script session.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ScriptRunStatus".
+ */
+export type ScriptRunStatus = "idle" | "running" | "stopping";
+/**
+ * Runtime status an external agent reports for a terminal tab. `cleared` is a transient signal that removes the agent's indicator entirely (used when the agent process exits), as opposed to `done`, which leaves a green "finished, go look" dot.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentStatus".
+ */
+export type AgentStatus = "running" | "attention" | "done" | "cleared";
+/**
+ * CLI report command names; each maps to an AgentStatus, except `session-name`, which renames the session without changing status.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentReportKind".
+ */
+export type AgentReportKind = "started" | "stopped" | "attention" | "cleared" | "session-name";
+/**
+ * Reason an agent needs the user's attention.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentAttentionKind".
+ */
+export type AgentAttentionKind = "question" | "command";
+/**
+ * Agent event stream message frame kind.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentMessageKind".
+ */
+export type AgentMessageKind = "message";
+/**
+ * Role/source for one rich agent message entry.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentMessageRole".
+ */
+export type AgentMessageRole = "assistant" | "tool" | "user" | "system";
+/**
+ * Lifecycle status for a tool call reported inside an AgentMessage.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentToolCallStatus".
+ */
+export type AgentToolCallStatus = "running" | "done" | "error";
+/**
+ * File interaction kind reported inside an AgentMessage.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentFileChangeKind".
+ */
+export type AgentFileChangeKind = "read" | "edited" | "created" | "deleted";
+/**
+ * Which axis of change a diff/listing record refers to. committed (base branch → HEAD), staged (HEAD → index), and unstaged (index → working tree) are the three listing axes. worktree (base branch → working tree) is the unified review side every Changes-sidebar click opens — it compares the file's current on-disk content against what used to be on the worktree at its fork point, regardless of which list the file appears in.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "DiffSide".
+ */
+export type DiffSide = "committed" | "staged" | "unstaged" | "worktree";
+/**
+ * How a file changed relative to the diff base.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ChangeStatus".
+ */
+export type ChangeStatus = "added" | "modified" | "deleted" | "renamed" | "untracked";
+/**
+ * How a watched entry changed on disk, as reported by the pragma-server worktree filesystem watcher.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FileChangeKind".
+ */
+export type FileChangeKind = "created" | "modified" | "removed";
+/**
+ * Column a prompt card lives in on the project Kanban board.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KanbanPromptStatus".
+ */
+export type KanbanPromptStatus = "draft" | "inProgress" | "reviewNeeded" | "completed";
+/**
+ * How a reviewed card was completed: committed and merged, committed with a PR opened, or finished manually.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KanbanCompletedAction".
+ */
+export type KanbanCompletedAction = "commitMerge" | "commitPr" | "manual";
+/**
+ * When the card's agent run is started. MVP supports manual start only.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KanbanSchedulingMode".
+ */
+export type KanbanSchedulingMode = "manual";
+
+/**
+ * Shared compile-time constants. Single source of truth for both the TypeScript frontend (src) and the Rust backend (src-tauri). Edit values.json; never edit generated code.
+ */
+export interface Constants {
+  app: AppInfo;
+  window: WindowDefaults;
+  editorLaunchers: EditorLaunchers;
+  scripts: Scripts;
+  agents: Agents;
+  platform: Platform;
+  daemon: Daemon;
+  gateway: Gateway;
+  protocol: Protocol;
+  github: GitHub;
+  plugins: Plugins;
+  theme: Theme;
+  tunnel: Tunnel;
+  keybindings: KeybindingsFiles;
+  agentStatus: AgentStatusDefaults;
+  terminalDefaults: TerminalDefaults;
+  tabs: TabDefaults;
+  bench: Bench;
+  files: FileReadLimits;
+  scratchpads: Scratchpads;
+  whiteboards: WhiteboardDefaults;
+  fanout: FanoutDefaults;
+  updates: Updates;
+  onboarding: Onboarding;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AppInfo".
+ */
+export interface AppInfo {
+  /**
+   * Human-readable product name.
+   */
+  name: string;
+  /**
+   * Reverse-DNS bundle identifier.
+   */
+  identifier: string;
+  /**
+   * Semantic version string.
+   */
+  version: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WindowDefaults".
+ */
+export interface WindowDefaults {
+  defaultWidth: number;
+  defaultHeight: number;
+  minWidth: number;
+  minHeight: number;
+  /**
+   * Height in px of the custom draggable titlebar strip the frontend reserves above the content. Must clear the inset macOS traffic lights.
+   */
+  titlebarHeight: number;
+  /**
+   * macOS traffic-light button inset in px from the top-left window corner, applied via tauri-plugin-decorum so the controls center vertically within the custom titlebar.
+   */
+  trafficLightInset: number;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "EditorLaunchers".
+ */
+export interface EditorLaunchers {
+  defaultEditorId: string;
+  options: EditorLauncher[];
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "EditorLauncher".
+ */
+export interface EditorLauncher {
+  id: string;
+  name: string;
+  /**
+   * Iconify icon name, preferably from the simple-icons namespace for branded editors.
+   */
+  brandIcon: string;
+  /**
+   * Hex color used to render the monochrome Iconify brand glyph.
+   */
+  brandColor: string;
+  /**
+   * Executable name used to launch the editor with the worktree path. Null uses the system file explorer.
+   */
+  cliCommand: string | null;
+}
+/**
+ * Shared script execution limits used by project lifecycle scripts.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Scripts".
+ */
+export interface Scripts {
+  /**
+   * Maximum number of headless project script commands Pragma runs at once. Interactive run scripts create terminal tabs and are not limited by this value.
+   */
+  maxConcurrentCommands: number;
+  /**
+   * Project-root-relative POSIX path of the optional project script config file. Read by the Rust backend and matched against worktree file-watch events by the frontend to hot-reload script buttons.
+   */
+  configPath: string;
+  /**
+   * Other agent orchestrators whose checked-in lifecycle-script config Pragma can import into `.pragma/scripts.json`. Order is the detection priority: when a project carries more than one, the first match wins.
+   */
+  migrationSources: ScriptMigrationSource[];
+  /**
+   * Conventional-commit subject for the generated `.pragma/scripts.json` commit, written when the import prompt's commit toggle is on. The commit carries no trailers: the user is its sole author.
+   */
+  migrationCommitMessage: string;
+}
+/**
+ * One importable foreign script config: its identifier, display name, and the project-root-relative paths that identify it.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ScriptMigrationSource".
+ */
+export interface ScriptMigrationSource {
+  /**
+   * Stable identifier the frontend sends back over IPC to import this source. Never a display string.
+   */
+  id: string;
+  /**
+   * Tool name shown in the import prompt.
+   */
+  label: string;
+  /**
+   * Project-root-relative POSIX paths this tool stores its lifecycle scripts in, in probe order.
+   *
+   * @minItems 1
+   */
+  configPaths: [string, ...string[]];
+}
+/**
+ * Shared agent-launch timing used by both the frontend's terminal-write scheduling and the Rust CLI/broker launch path.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Agents".
+ */
+export interface Agents {
+  /**
+   * Delay before writing an agent's start command to a freshly spawned PTY, giving the shell time to become ready. There is no readiness signal from the PTY, so this is a best-effort fixed delay.
+   */
+  startDelayMs: number;
+  /**
+   * Maximum extra wait for a bracketed-prefill agent to enter its alternate screen before the prompt is sent anyway.
+   */
+  altScreenExtraWaitMs: number;
+  /**
+   * Delay after a late alternate-screen entry before sending the prompt, allowing the TUI input widget to mount.
+   */
+  altScreenSettleMs: number;
+}
+/**
+ * Per-operating-system launch defaults shared by the Rust session layer and the TypeScript settings UI. Values here are defaults only: a project may override them in its `.pragma/config.json`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Platform".
+ */
+export interface Platform {
+  shells: DefaultShells;
+  wsl: Wsl;
+  defaultBackend: TerminalBackend;
+}
+/**
+ * Fallback shell used when the environment names none. On macOS and Linux the `SHELL` environment variable wins when it is set; Windows has no such convention, so the candidate list is probed in order instead.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "DefaultShells".
+ */
+export interface DefaultShells {
+  /**
+   * Shell launched on macOS when `SHELL` is unset.
+   */
+  macos: string;
+  /**
+   * Shell launched on Linux when `SHELL` is unset.
+   */
+  linux: string;
+  /**
+   * Windows shell candidates, probed in order and resolved against `PATH`. PowerShell 7+ (`pwsh.exe`) is preferred over the in-box Windows PowerShell (`powershell.exe`) because it ships the modern ConPTY behaviour; the last entry must be a shell that is present on every Windows install so resolution cannot fail.
+   *
+   * @minItems 1
+   */
+  windows: [string, ...string[]];
+}
+/**
+ * How the Windows client reaches a Linux `pragma-server` running inside a WSL distribution. The Windows side never translates `\\wsl$\` paths: the Linux server owns its own filesystem world and is addressed exactly like a remote host.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Wsl".
+ */
+export interface Wsl {
+  /**
+   * Executable used to run a command inside a WSL distribution.
+   */
+  launcher: string;
+  /**
+   * Arguments that list installed distributions with their state and WSL version. The output is UTF-16LE encoded, which the parser has to decode before splitting.
+   */
+  listArgs: string[];
+  /**
+   * Name of the Linux `pragma-server` executable expected on the distribution's PATH, or installed by Pragma into the distribution when it is missing.
+   */
+  serverBinary: string;
+}
+/**
+ * Contract between the Pragma app and the detached PTY daemon.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Daemon".
+ */
+export interface Daemon {
+  /**
+   * Internal daemon wire-protocol SemVer, spoken on Hello, `gateway.json` and `/v1/health`. Mirrored from crates/pragma-protocol's package version by `bun run generate`; do not edit by hand. Comparison is exact equality, and that is load-bearing: every peer here ships in one bundle, so a version that no longer matches is a stale process to evict, not a peer to negotiate with. Remote clients use `gateway.apiVersion` instead.
+   */
+  protocolVersion: string;
+  /**
+   * File name of the server's local IPC endpoint inside the server directory. A Unix-domain socket on every supported platform: macOS and Linux use the kernel's AF_UNIX, Windows uses the AF_UNIX support present since Windows 10 build 17063. The server binds it and every native client connects to it, so the name must never be spelled out by hand on either side of the language boundary.
+   */
+  socketFile: string;
+  /**
+   * File name of the startup lock the server holds inside the server directory, used to keep a second server from binding over a live one.
+   */
+  lockFile: string;
+  /**
+   * File name the detached server writes its stdout and stderr to inside the server directory.
+   */
+  logFile: string;
+}
+/**
+ * Local HTTP gateway discovery and authentication constants shared by Rust gateway code and TypeScript clients.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Gateway".
+ */
+export interface Gateway {
+  /**
+   * SemVer of the client-facing gateway HTTP contract, advertised in the pairing payload so a remote client can reject an incompatible host before it stores a connection. Deliberately NOT `daemon.protocolVersion`: that one is the internal daemon frame protocol and is bumped by every desktop release, whereas Pragma Go and the web build embed their copy of this value at build time and ship on their own cadence. Comparison is exact equality, so bump this only on a breaking change to the `/v1` API, and only in the same release as a client build that embeds the new value — a client that never launches cannot be updated first.
+   */
+  apiVersion: string;
+  /**
+   * Filename written beside daemon.sock with gateway port, token, pid, and protocol version.
+   */
+  discoveryFile: string;
+  /**
+   * Filename written beside daemon.sock holding the persistent 0600 bearer token, so the token survives gateway restarts and stays stable across paired devices until explicitly regenerated.
+   */
+  tokenFile: string;
+  /**
+   * Filename written beside daemon.sock holding devices that successfully authenticated with the gateway.
+   */
+  devicesFile: string;
+  /**
+   * HTTP authorization header name used for bearer-token authentication.
+   */
+  tokenHeader: string;
+  /**
+   * HTTP headers carrying installation-scoped mobile device metadata.
+   */
+  deviceHeaders: {
+    id: string;
+    name: string;
+    platform: string;
+    appVersion: string;
+  };
+  push: GatewayPush;
+  web: GatewayWeb;
+}
+/**
+ * Expo push delivery constants. The gateway watches the agent status stream and pushes to every registered phone; the mobile app registers its Expo token through `/v1/push/tokens`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GatewayPush".
+ */
+export interface GatewayPush {
+  /**
+   * Expo push service endpoint the gateway POSTs batches of messages to.
+   */
+  sendUrl: string;
+  /**
+   * Largest number of messages sent in one request; Expo documents 100 per call.
+   */
+  batchSize: number;
+  /**
+   * How long a desktop presence heartbeat counts as current. While a heartbeat says the desktop is focused, phone pushes are suppressed — the user is already looking at the alert. A desktop that dies without blurring stops suppressing after this window.
+   */
+  presenceTtlMs: number;
+  /**
+   * Accepted Expo push token prefixes. A token that matches none is rejected at registration rather than failing later inside Expo.
+   */
+  tokenPrefixes: string[];
+}
+/**
+ * Where the gateway serves the Pragma Go web bundle from, and how that bundle is staged. Shared so the Expo export, the staging script, the Rust static-file routes, and the desktop's shareable link all agree on one path.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GatewayWeb".
+ */
+export interface GatewayWeb {
+  /**
+   * Default access state for the public Pragma Go browser bundle. Users override it with gateway.webEnabled in the global config file.
+   */
+  enabled: boolean;
+  /**
+   * URL prefix the exported web bundle is deployed and served under. Passed to Expo as `EXPO_BASE_URL` at export time so the asset URLs baked into `index.html` match the routes the gateway answers.
+   */
+  basePath: string;
+  /**
+   * Filename inside the staged bundle listing every servable asset with its URL path, content type, and encoding. The gateway serves only what this manifest names, so a request path is looked up as a map key and never joined onto a filesystem path.
+   */
+  manifestFile: string;
+  /**
+   * Directory name under the desktop app's Tauri resources holding the staged bundle.
+   */
+  resourceDir: string;
+}
+/**
+ * Shared schema source of truth for the host-server RPC and subscription protocol. The frame codec itself lives in `pragma-protocol`; these values name the cross-language methods, events, and errors.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Protocol".
+ */
+export interface Protocol {
+  rpcMethods: ProtocolRpcMethod[];
+  events: ProtocolEventKind[];
+  errors: ProtocolErrorCode[];
+}
+/**
+ * GitHub integration contract: the secret-free OAuth Device Flow client id, scopes, and the endpoint URLs shared by the Rust backend (device flow + token exchange) and the frontend Octokit client.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GitHub".
+ */
+export interface GitHub {
+  /**
+   * Client id of the registered Pragma GitHub OAuth App (device flow enabled). No client secret — a distributed desktop app can't keep one secret.
+   */
+  oauthClientId: string;
+  /**
+   * OAuth scopes requested during the device flow (e.g. `repo`).
+   */
+  scopes: string[];
+  /**
+   * Endpoint that issues a device + user code (`POST https://github.com/login/device/code`).
+   */
+  deviceCodeUrl: string;
+  /**
+   * Page the user opens to enter the user code (`https://github.com/login/device`).
+   */
+  deviceVerifyUrl: string;
+  /**
+   * Endpoint polled to exchange an authorized device code for an access token.
+   */
+  accessTokenUrl: string;
+  /**
+   * Base URL for the GitHub REST/GraphQL API (Octokit `baseUrl`).
+   */
+  apiBaseUrl: string;
+  /**
+   * Pragma's public GitHub home page, linked from the pull-request signature footer.
+   */
+  homepageUrl: string;
+  prSignature: PrSignature;
+}
+/**
+ * The "Created with Pragma" footer appended to pull requests Pragma opens. The markers delimit the block so Pragma can strip it again when it renders a PR body, and so a body written by an older Pragma is still recognised.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "PrSignature".
+ */
+export interface PrSignature {
+  /**
+   * Whether the footer is appended when the user has not configured `github.prSignature`.
+   */
+  enabled: boolean;
+  /**
+   * HTML comment opening the footer block. Everything from here to `endMarker` is Pragma-owned and is stripped before the body is shown in Pragma.
+   */
+  startMarker: string;
+  /**
+   * HTML comment closing the footer block.
+   */
+  endMarker: string;
+  /**
+   * Text of the small "Open worktree" link rendered under the footer heading.
+   */
+  linkLabel: string;
+  /**
+   * Web redirector the badge links to, which forwards its query string to the `pragma://open` deep link. GitHub's markdown sanitizer keeps only `http`/`https`/`mailto` hrefs, so a `pragma://` URL would render as inert text.
+   */
+  openUrl: string;
+}
+/**
+ * Plugin-system constants shared by the Rust config reader and the TypeScript loader.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Plugins".
+ */
+export interface Plugins {
+  /**
+   * Relative path of the Pragma config file that declares plugin entries. Resolved against the home directory for global plugins and against the project root for project plugins.
+   */
+  configFileName: string;
+  /**
+   * Plugin storage scopes supported by the host runtime. v1 persists global plugin key/value state; project scope is reserved for project-addressed plugin config/storage layers.
+   */
+  storageScopes: ("global" | "project")[];
+}
+/**
+ * Optional color-theme override file read by the desktop app. Shared so the Rust reader/writer and the TypeScript theme runtime agree on the file location and the color-scheme blocks it may declare.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Theme".
+ */
+export interface Theme {
+  /**
+   * Relative path of the optional theme file. Resolved against the home directory for the global theme and against the project root for a project theme — the same layout rule as `plugins.configFileName`. Both files are optional; the app merges built-in defaults <- global <- project per token.
+   */
+  fileName: string;
+  /**
+   * Color-scheme blocks a theme file may declare under `colors`. Each maps to the matching CSS variable block in the app stylesheet (`:root` for light, `.dark` for dark).
+   */
+  modes: ("light" | "dark")[];
+}
+/**
+ * Defaults for the remote-access tunnel that exposes the local HTTP gateway to a paired mobile device. A user overrides these per-install via the `tunnel` key in `~/.pragma/config.json`. Shared so the Rust tunnel supervisor and any TypeScript config UI agree on the shipped defaults.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Tunnel".
+ */
+export interface Tunnel {
+  /**
+   * Default tunnel command template. `{port}` is the only substitution and is replaced with the live gateway port. Ships targeting ngrok's JSON log output.
+   */
+  defaultCommand: string;
+  /**
+   * Default regular expression whose first capture group is the public tunnel URL, matched against both stdout and stderr lines. Covers ngrok's JSON `"url":"https://…"` log and plain `https://…` URLs (e.g. cloudflared).
+   */
+  defaultUrlPattern: string;
+}
+/**
+ * Location of the editable keybindings file. Resolved against the home directory for global bindings and against the project root for project bindings, so Rust and the Settings UI agree on one path.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KeybindingsFiles".
+ */
+export interface KeybindingsFiles {
+  /**
+   * Relative path of the keybindings file (e.g. `.pragma/keybindings.json`). A project file only needs the actions it overrides; missing actions fall back to the global file, then to the built-in defaults.
+   */
+  configFileName: string;
+}
+/**
+ * Shipped defaults and limits for agent alert notifications and sounds. A user overrides these per install/project via the `agentStatus` key of `.pragma/config.json`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentStatusDefaults".
+ */
+export interface AgentStatusDefaults {
+  /**
+   * Relative directory scanned for alert sounds. Resolved against the home directory for global sounds and against the project root for project sounds.
+   */
+  soundsDirName: string;
+  /**
+   * Longest allowed alert clip. Longer uploads are rejected rather than truncated.
+   */
+  maxSoundSeconds: number;
+  /**
+   * Largest allowed alert clip in bytes, bounding what crosses IPC when a clip is imported or played.
+   */
+  maxSoundBytes: number;
+  /**
+   * Lower-case file extensions (no dot) treated as alert sounds when listing the sounds directory.
+   */
+  soundExtensions: string[];
+  /**
+   * Whether platform notifications fire for agent alerts when the user has not configured `agentStatus.notificationsEnabled`.
+   */
+  notificationsEnabled: boolean;
+  notificationText: AgentNotificationText;
+}
+/**
+ * Templates for the text of an agent alert. Rendered identically by the desktop toast, the desktop platform notification, and the Expo push the gateway sends to a paired phone, so all three read the same. `{agent}`, `{project}`, `{worktree}`, and `{tab}` are substituted; no other placeholder is recognised.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentNotificationText".
+ */
+export interface AgentNotificationText {
+  /**
+   * Title when the agent finished its turn. Takes `{agent}`.
+   */
+  doneTitle: string;
+  /**
+   * Title when the agent needs attention for an unclassified reason. Takes `{agent}`.
+   */
+  attentionTitle: string;
+  /**
+   * Title when the agent is waiting for an answer. Takes `{agent}`.
+   */
+  questionTitle: string;
+  /**
+   * Title when the agent is asking to run a command. Takes `{agent}`.
+   */
+  commandTitle: string;
+  /**
+   * Joins the project and worktree names in the body line.
+   */
+  locationSeparator: string;
+  /**
+   * Appended to the body when the reporting tab has a name of its own. Takes `{tab}`.
+   */
+  tabSuffix: string;
+  /**
+   * Body used when neither the project nor the worktree could be resolved — a report can arrive for a worktree the client has not loaded yet.
+   */
+  unknownLocation: string;
+}
+/**
+ * Shipped defaults for terminal launching. A user overrides these per install/project via the `terminal` key of `.pragma/config.json` (`TerminalSettings`).
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "TerminalDefaults".
+ */
+export interface TerminalDefaults {
+  /**
+   * WSL distribution names hidden from the shell picker by default because they back other tools rather than interactive shells (Docker Desktop's VM distros).
+   */
+  hiddenDistros: string[];
+  /**
+   * Whether a plain new tab defaults to the shell profile most recently picked for that project instead of the configured default terminal.
+   */
+  rememberLastShell: boolean;
+  /**
+   * Largest file (typically an image) that may be dropped onto a terminal. The bytes are copied to the host that runs the PTY in one `filesystem` RPC, so this plus its base64 expansion must stay inside the protocol's frame limit.
+   */
+  maxDroppedFileBytes: number;
+  /**
+   * Directory under the host's temporary directory that holds copies of files dropped onto a terminal, whose absolute paths are pasted into the PTY.
+   */
+  droppedFilesDirName: string;
+  /**
+   * How long a per-drop directory under `droppedFilesDirName` may sit on disk before a sweep deletes it. The host sweeps once at startup and on a fixed interval after that (`DROPPED_FILES_SWEEP_INTERVAL` in `pragma-server`), so a drop is retained for at most this age plus one sweep interval.
+   */
+  droppedFilesMaxAgeMs: number;
+}
+/**
+ * Shipped tab defaults shared by the desktop app and any host that has to reason about a tab's name.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "TabDefaults".
+ */
+export interface TabDefaults {
+  /**
+   * Fallback title per tab kind, used for a tab whose shell or page has not named itself. A tab still carrying its default title has no name worth showing in a notification, so both languages compare against these.
+   */
+  defaultTitles: {
+    fallback: string;
+    browser: string;
+    log: string;
+    scratchpad: string;
+    whiteboard: string;
+    prReview: string;
+    pluginWebview: string;
+  };
+}
+/**
+ * Names the terminal benchmark (`@pragma-sh/bench`) and the desktop app agree on. The app installs the hook global in dev builds only; the benchmark's injected runner reads it back by the same name.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Bench".
+ */
+export interface Bench {
+  /**
+   * `window` property under which a dev build exposes read-only access to its live xterm instances. Absent in production builds.
+   */
+  hookGlobal: string;
+  /**
+   * `window` property the benchmark installs its own injected scenario runner under. Owned by the benchmark, never by the app.
+   */
+  runnerGlobal: string;
+  /**
+   * Leading token of the status line the `pragma-bench tui` payload paints on its first row. The runner scans painted frames for it to learn which input the terminal has finished rendering.
+   */
+  markerPrefix: string;
+  /**
+   * Title given to the terminal tab the benchmark opens, so a run is identifiable in the UI and reclaimable after a crash.
+   */
+  tabTitle: string;
+}
+/**
+ * Limits for reading a binary file in chunks over the `filesystem` RPC. A single chunk plus its base64 expansion must stay well inside the protocol's frame limit, so the host rejects any request for more than `chunkBytes` at once and the frontend loops until the whole file is read.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FileReadLimits".
+ */
+export interface FileReadLimits {
+  /**
+   * Largest number of raw bytes one `readBytesRange` request may return. Base64 inflates this by 4/3 on the wire.
+   */
+  chunkBytes: number;
+  /**
+   * Largest binary file a viewer will assemble in memory from chunks. Bigger files are refused with a message instead of exhausting the webview's heap.
+   */
+  maxBinaryBytes: number;
+}
+/**
+ * Managed scratchpad file contract shared by the CLI, desktop host, and editor.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Scratchpads".
+ */
+export interface Scratchpads {
+  directory: string;
+  extension: string;
+  frontmatterKey: string;
+  version: number;
+}
+/**
+ * Host persistence and validation limits for worktree-scoped whiteboards.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WhiteboardDefaults".
+ */
+export interface WhiteboardDefaults {
+  databaseFile: string;
+  defaultTitle: string;
+  maxTitleChars: number;
+  maxSceneBytes: number;
+  maxRenderDimension: number;
+}
+/**
+ * Shipped defaults for fanout orchestration: the host state file, attempt branch naming, the member floor, and follow-up delivery timeouts. Both `pragma-server` and the desktop read these instead of hard-coding either side.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutDefaults".
+ */
+export interface FanoutDefaults {
+  /**
+   * Owner-only durable fanout record, written beside the server socket.
+   */
+  stateFile: string;
+  /**
+   * Leading segment of every generated attempt branch (`<prefix>/<fanout>/<member>`).
+   */
+  branchPrefix: string;
+  /**
+   * Fewest attempts a fanout may have. A single attempt is an ordinary agent launch.
+   */
+  minMembers: number;
+  /**
+   * Default bound on concurrently launching attempts.
+   */
+  defaultJobs: number;
+  /**
+   * How long a waiting follow-up send waits for each member's delivery receipt.
+   */
+  deliveryTimeoutMs: number;
+  /**
+   * Environment variable exported into every attempt session with the owning fanout id.
+   */
+  envFanoutId: string;
+  /**
+   * Environment variable exported into every attempt session with its member id.
+   */
+  envMemberId: string;
+}
+/**
+ * Shipped defaults for desktop auto-updates. User overrides live in global `.pragma/config.json` under `updates`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Updates".
+ */
+export interface Updates {
+  /**
+   * Production Next.js check endpoint. Dev builds use `devCheckUrl` unless user overrides `other.serverUrl`.
+   */
+  checkUrl: string;
+  /**
+   * Check endpoint used by `pragma-dev-*` builds so they never poll production.
+   */
+  devCheckUrl: string;
+  /**
+   * How often a production (or opted-in) session re-checks for an update.
+   */
+  pollIntervalMs: number;
+  /**
+   * Default for whether the desktop polls on launch and on an interval.
+   */
+  autoDownload: boolean;
+  /**
+   * GitHub Release asset name for the per-release manifest.
+   */
+  manifestFile: string;
+  /**
+   * Directory name under the instance data dir that holds the optional UI overlay (`<data>/<uiDirName>/<version>/`).
+   */
+  uiDirName: string;
+  /**
+   * Sidebar button that applies a downloaded (or on-click) update.
+   */
+  buttonLabel: string;
+  /**
+   * Link label for the GitHub Release notes URL.
+   */
+  changelogLabel: string;
+  /**
+   * Modal title shown before a restart (installer) update.
+   */
+  restartWarningTitle: string;
+  /**
+   * Modal body warning that the app server restarts and terminals stop.
+   */
+  restartWarningBody: string;
+  /**
+   * Supported apply modes, in display order.
+   *
+   * @minItems 2
+   */
+  applyModes: [UpdateApplyMode, UpdateApplyMode, ...UpdateApplyMode[]];
+  /**
+   * Installer platform ids the check API accepts.
+   *
+   * @minItems 1
+   */
+  platforms: [UpdatePlatform, ...UpdatePlatform[]];
+}
+/**
+ * Shipped values for the first-run onboarding flow: where its preview videos stream from, and which global skill directories the skills step can install into.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Onboarding".
+ */
+export interface Onboarding {
+  /**
+   * Base URL the onboarding preview videos are streamed from (the marketing site's `public/media`). Videos are streamed rather than bundled so installers stay small.
+   */
+  mediaBaseUrl: string;
+  skill: OnboardingSkill;
+}
+/**
+ * The Pragma skill offered during onboarding and the global directories it can be installed into.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "OnboardingSkill".
+ */
+export interface OnboardingSkill {
+  /**
+   * Directory name the skill is written as, inside each target directory.
+   */
+  id: string;
+  /**
+   * Install destinations offered by the skills step.
+   */
+  targets: OnboardingSkillTarget[];
+}
+/**
+ * One skill install destination. The frontend sends `id` over IPC; the backend resolves `directory` against the home directory.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "OnboardingSkillTarget".
+ */
+export interface OnboardingSkillTarget {
+  /**
+   * Stable identifier sent over IPC.
+   */
+  id: string;
+  /**
+   * Directory holding the skill, relative to the user's home directory.
+   */
+  directory: string;
+  /**
+   * Button label shown in onboarding.
+   */
+  label: string;
+}
+/**
+ * One failure attached to a fanout or a single member.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutFailure".
+ */
+export interface FanoutFailure {
+  code: FanoutFailureCode;
+  message: string;
+  /**
+   * Member the failure belongs to, or null for a fanout-wide failure.
+   */
+  memberId?: string | null;
+  /**
+   * Finalize stage the failure happened in, when it happened during a pick.
+   */
+  stage?: FanoutFinalizeStage | null;
+}
+/**
+ * One requested attempt before resolution. `selector` is the raw `agent[.model[.reasoning]]` text a CLI caller typed; a structured caller may instead set the fields directly. Duplicate selectors are valid — sampling one model twice is a supported use.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutMemberSelector".
+ */
+export interface FanoutMemberSelector {
+  /**
+   * Raw selector text: a catalog agent id optionally followed by `.<modelId>` and `.<reasoningId>`.
+   */
+  selector: string;
+  /**
+   * Explicit model id, overriding anything parsed out of `selector`.
+   */
+  modelId?: string | null;
+  /**
+   * Explicit reasoning id, overriding both `selector` and the request-wide default.
+   */
+  reasoningId?: string | null;
+}
+/**
+ * One durable fanout attempt: a worktree branched from the fanout's captured base commit, plus the agent-owned terminal tab running in it.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutMember".
+ */
+export interface FanoutMember {
+  id: string;
+  /**
+   * Stable creation order, so the comparison grid column order never shuffles.
+   */
+  ordinal: number;
+  /**
+   * The selector text this member was created from, retained for retry and display.
+   */
+  selector: string;
+  /**
+   * Fully qualified plugin catalog id (`plugin.agent`) used to resolve launch metadata.
+   */
+  catalogAgentId: string;
+  /**
+   * Runtime reporter/watcher id the agent event stream is keyed by. Never derive this at a call site — the host resolves it from the plugin's watcher metadata.
+   */
+  runtimeAgentId: string;
+  modelId: string | null;
+  reasoningId: string | null;
+  branch: string;
+  worktreeId: string | null;
+  tabId: string | null;
+  /**
+   * Tabs this member previously ran in. A retry moves the current tab id here.
+   */
+  priorTabIds: string[];
+  status: FanoutMemberStatus;
+  failure: FanoutFailure | null;
+}
+/**
+ * One durable fanout: a single parent worktree, an immutable base commit, one shared prompt, and N isolated attempts. A parent may own at most one fanout that is not in a terminal state.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Fanout".
+ */
+export interface Fanout {
+  id: string;
+  projectId: string;
+  parentWorktreeId: string;
+  /**
+   * Worktree a newly-created coordination parent was branched from; null when an existing parent was used.
+   */
+  sourceWorktreeId: string | null;
+  /**
+   * True when this fanout created its own parent worktree.
+   */
+  ownsParent: boolean;
+  /**
+   * Exact parent HEAD captured at creation. Every attempt branches from it and every comparison diffs against it, even after the parent moves on.
+   */
+  baseCommit: string;
+  title: string;
+  prompt: string;
+  status: FanoutStatus;
+  winningMemberId: string | null;
+  finalizeStage: FanoutFinalizeStage | null;
+  failure?: FanoutFailure | null;
+  members: FanoutMember[];
+  createdAt: string;
+  updatedAt: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutExistingParent".
+ */
+export interface FanoutExistingParent {
+  kind: "existing";
+  worktreeId: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutNewParent".
+ */
+export interface FanoutNewParent {
+  kind: "new";
+  sourceWorktreeId: string;
+  branch: string;
+  title?: string | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutCreateRequest".
+ */
+export interface FanoutCreateRequest {
+  projectId: string;
+  parent: FanoutParentSpec;
+  prompt: string;
+  /**
+   * Display title. Derived from the prompt's first line when omitted.
+   */
+  title?: string | null;
+  /**
+   * Reasoning effort applied to every member that does not name its own.
+   */
+  defaultReasoningId?: string | null;
+  members: FanoutMemberSelector[];
+  /**
+   * Bound on concurrently launching attempts. Git worktree mutations are serialized regardless.
+   */
+  jobs?: number | null;
+  /**
+   * Repeating a create with the same key returns the existing fanout instead of provisioning a second one.
+   */
+  idempotencyKey?: string | null;
+}
+/**
+ * Addresses one fanout by exactly one of its id or any worktree that belongs to it (its parent, or any attempt).
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutRef".
+ */
+export interface FanoutRef {
+  fanoutId?: string | null;
+  worktreeId?: string | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutReadRequest".
+ */
+export interface FanoutReadRequest {
+  fanoutId?: string | null;
+  worktreeId?: string | null;
+  memberId?: string | null;
+  all?: boolean | null;
+  lines?: number | null;
+}
+/**
+ * One member's terminal output. `text` is the escape-stripped rendering; `data` is the same bounded window as base64 raw bytes, which the SDK decodes to a Uint8Array.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutReadTarget".
+ */
+export interface FanoutReadTarget {
+  memberId: string;
+  worktreeId: string;
+  tabId: string;
+  runtimeAgentId: string;
+  bytes: number;
+  text: string;
+  data: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutReadResult".
+ */
+export interface FanoutReadResult {
+  fanoutId: string;
+  targets: FanoutReadTarget[];
+}
+/**
+ * Who a follow-up goes to: every live member, or one stable member id.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutSendTarget".
+ */
+export interface FanoutSendTarget {
+  kind: "all" | "member";
+  memberId?: string | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutSendRequest".
+ */
+export interface FanoutSendRequest {
+  fanoutId?: string | null;
+  worktreeId?: string | null;
+  target: FanoutSendTarget;
+  message: string;
+  /**
+   * Caller-supplied id making a retry idempotent: a message already delivered under this id is not typed twice.
+   */
+  messageId?: string | null;
+  /**
+   * Wait for bounded per-member receipts (the default) instead of returning after durable enqueue.
+   */
+  waitForDelivery?: boolean | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutDeliveryReceipt".
+ */
+export interface FanoutDeliveryReceipt {
+  memberId: string;
+  worktreeId: string;
+  tabId: string;
+  runtimeAgentId: string;
+  messageId: string;
+  state: FanoutDeliveryState;
+  error?: string | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutSendResult".
+ */
+export interface FanoutSendResult {
+  fanoutId: string;
+  messageId: string;
+  receipts: FanoutDeliveryReceipt[];
+}
+/**
+ * Addresses one member of one fanout — used by retry and pick.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutMemberRequest".
+ */
+export interface FanoutMemberRequest {
+  fanoutId?: string | null;
+  worktreeId?: string | null;
+  memberId: string;
+}
+/**
+ * The durable fanout after a mutation, plus any failures that did not abort it. `partial` is true when at least one member failed while others stayed healthy.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutResult".
+ */
+export interface FanoutResult {
+  fanout: Fanout;
+  partial: boolean;
+  failures: FanoutFailure[];
+}
+/**
+ * Outcome of the destructive pick transaction. A conflicted or partly-cleaned pick still returns the durable fanout so a caller can resume from `stage`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutPickResult".
+ */
+export interface FanoutPickResult {
+  fanout: Fanout;
+  stage: FanoutFinalizeStage;
+  winningMemberId: string;
+  /**
+   * Commit created from the winner's uncommitted changes, when there were any.
+   */
+  commit?: string | null;
+  /**
+   * Parent-relative paths the winner's scratchpads were promoted to.
+   */
+  promotedScratchpads: string[];
+  deletedWorktreeIds: string[];
+  /**
+   * Attempt worktrees cleanup could not remove. Non-empty means `cleanupFailed`, never `completed`.
+   */
+  survivingWorktreeIds: string[];
+  failures: FanoutFailure[];
+}
+/**
+ * Snapshot and delta payload of the `fanouts` subscription. v1 keeps deltas trivial: every delta is a full replacement of the host's fanout set.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FanoutSubscriptionPayload".
+ */
+export interface FanoutSubscriptionPayload {
+  fanouts: Fanout[];
+}
+/**
+ * Automation metadata shared by the server and app UI.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationInfo".
+ */
+export interface AutomationInfo {
+  id: string;
+  name: string;
+  description: string;
+  /**
+   * Absolute host path to the automation source file.
+   */
+  path: string;
+  /**
+   * Path relative to the automation root, suitable for editor tabs when local.
+   */
+  relativePath: string;
+  /**
+   * Changes whenever the automation source file contents change.
+   */
+  sourceVersion: string;
+  scope: AutomationScope;
+  trust: AutomationTrust;
+  triggerKind: AutomationTriggerKind;
+  status: AutomationStatus;
+  projectId: string | null;
+  worktreeId: string | null;
+  worktreeLabel: string | null;
+  lastRunAt: string | null;
+  nextRunAt: string | null;
+  error: string | null;
+}
+/**
+ * Project/worktree roots the app registers with the host server so local automations can run while the app is closed.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationRootRegistration".
+ */
+export interface AutomationRootRegistration {
+  projectId: string;
+  projectPath: string;
+  worktrees: AutomationWorktreeRoot[];
+}
+/**
+ * One worktree path registered for automation discovery.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationWorktreeRoot".
+ */
+export interface AutomationWorktreeRoot {
+  worktreeId: string;
+  path: string;
+  label: string;
+  isMain: boolean;
+}
+/**
+ * Delta payload broadcast when a local automation needs approval.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationPendingPayload".
+ */
+export interface AutomationPendingPayload {
+  automation: AutomationInfo;
+}
+/**
+ * Delta payload broadcast when automation list or runtime state changes.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AutomationsChangedPayload".
+ */
+export interface AutomationsChangedPayload {
+  automations: AutomationInfo[];
+}
+/**
+ * Persisted `github` block of the global `.pragma/config.json`. Global-only: there is no project layer, matching the rest of the GitHub settings. Every field is optional; a missing one means the shipped default.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GitHubSettings".
+ */
+export interface GitHubSettings {
+  /**
+   * Whether Pragma appends the "Created with Pragma" footer to pull requests it opens.
+   */
+  prSignature?: boolean;
+}
+/**
+ * Persisted `other` block of global `.pragma/config.json`. Global-only. Every field is optional; missing values use shipped updater defaults.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "OtherSettings".
+ */
+export interface OtherSettings {
+  /**
+   * Override for server providing update metadata. Empty/omitted uses shipped production or dev default.
+   */
+  serverUrl?: string;
+  /**
+   * When true, Pragma polls on launch, on an interval, and when the window becomes visible. When false, only Check now runs. The download itself starts when the user clicks Install Update.
+   */
+  autoDownload?: boolean;
+}
+/**
+ * The authenticated GitHub user, as surfaced to the UI.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GitHubUser".
+ */
+export interface GitHubUser {
+  /**
+   * GitHub username (login).
+   */
+  login: string;
+  /**
+   * Display name; null when the user has not set one.
+   */
+  name: string | null;
+  /**
+   * Avatar image URL.
+   */
+  avatarUrl: string;
+}
+/**
+ * Drives the setup modal and the Pull Request subtab: whether a token is stored, whether the gh CLI is an option, the signed-in user, and whether setup was skipped.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GitHubAuthStatus".
+ */
+export interface GitHubAuthStatus {
+  /**
+   * True when a usable GitHub token is stored in the backend's 0600 plaintext token file under the app data dir (not the OS keychain; see src-tauri/src/github.rs).
+   */
+  authenticated: boolean;
+  /**
+   * True when the `gh` CLI is installed and authenticated, so the CLI login option can be shown.
+   */
+  ghAvailable: boolean;
+  /**
+   * The authenticated user, or null when not authenticated.
+   */
+  user: GitHubUser | null;
+  /**
+   * How the stored token was obtained, or null when not authenticated (or stored by a build that predates method tracking).
+   */
+  authMethod: GitHubAuthMethod | null;
+  /**
+   * True once the user has skipped the setup modal; the modal never returns while true.
+   */
+  setupDismissed: boolean;
+}
+/**
+ * Result of a fetch + ahead/behind comparison against the upstream of a worktree's branch — the create-PR pre-flight.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "BranchSyncStatus".
+ */
+export interface BranchSyncStatus {
+  /**
+   * The worktree's current branch.
+   */
+  branch: string;
+  /**
+   * Commits the local branch is ahead of its upstream.
+   */
+  ahead: number;
+  /**
+   * Commits the local branch is behind its upstream. Non-zero blocks PR creation.
+   */
+  behind: number;
+  /**
+   * True when the branch already tracks a remote upstream; false means it must be pushed first.
+   */
+  hasUpstream: boolean;
+}
+/**
+ * Owner/repo plus branch context parsed from a worktree's `origin` remote, used to address the GitHub API.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "GitHubRepoRef".
+ */
+export interface GitHubRepoRef {
+  /**
+   * Repository owner (user or org).
+   */
+  owner: string;
+  /**
+   * Repository name (no `.git`).
+   */
+  repo: string;
+  /**
+   * The repo's default branch (PR base).
+   */
+  defaultBranch: string;
+  /**
+   * The worktree's current branch (PR head).
+   */
+  headBranch: string;
+  /**
+   * The branch of the worktree's parent worktree — the branch this worktree was created to merge back into, used as the default PR base. Null for the main/parentless worktree.
+   */
+  parentBranch: string | null;
+}
+/**
+ * One concrete choice of shell world for a terminal session: the resolved form of a `TerminalSettings` default, or the profile a single tab was opened with. Carried on the spawn request so the session layer launches the same shell the picker named, and persisted on the tab so a respawned session keeps it.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ShellProfile".
+ */
+export interface ShellProfile {
+  backend: TerminalBackend;
+  /**
+   * WSL distribution launched when `backend` is `wsl`. Null uses the distribution WSL itself marks as default. Always null for `native`.
+   */
+  distro?: string | null;
+}
+/**
+ * Persisted `agentStatus` block of a global or project `.pragma/config.json`. Every field is optional: a project value overrides the global one, which overrides AgentStatusDefaults.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentStatusSettings".
+ */
+export interface AgentStatusSettings {
+  /**
+   * Whether an agent alert raises a platform notification.
+   */
+  notificationsEnabled?: boolean;
+  /**
+   * File name (not a path) of the clip in the sounds directory played on every agent alert. Null plays the built-in chime instead.
+   */
+  soundName?: string | null;
+}
+/**
+ * Persisted `terminal` block of a global or project `.pragma/config.json`. Every field is optional: a project value overrides the global one, which overrides TerminalDefaults. Only meaningful on Windows, where both a native shell and WSL distributions are launchable; macOS and Linux always resolve to the native shell.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "TerminalSettings".
+ */
+export interface TerminalSettings {
+  /**
+   * Native shell program (name on PATH or absolute path) launched for terminal sessions. On Windows this picks between the candidate shells (e.g. `pwsh.exe` vs `powershell.exe`); on macOS/Linux it wins over the `SHELL` environment variable.
+   */
+  shell?: string;
+  backend?: TerminalBackend1;
+  /**
+   * WSL distribution launched when `backend` is `wsl`. Null uses the distribution WSL itself marks as default.
+   */
+  distro?: string | null;
+  /**
+   * WSL distribution names omitted from the shell picker. Replaces the shipped TerminalDefaults list rather than merging with it.
+   */
+  hiddenDistros?: string[];
+  /**
+   * Whether a plain new tab defaults to the shell profile most recently picked for that project instead of the configured default terminal.
+   */
+  rememberLastShell?: boolean;
+}
+/**
+ * One installed WSL distribution, parsed from `wsl.exe --list --verbose`.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WslDistro".
+ */
+export interface WslDistro {
+  /**
+   * Distribution name as WSL reports it (e.g. `Ubuntu-24.04`).
+   */
+  name: string;
+  /**
+   * Whether the distribution is currently running.
+   */
+  running: boolean;
+  /**
+   * WSL version the distribution runs under (1 or 2).
+   */
+  version: number;
+  /**
+   * Whether WSL treats this distribution as its default.
+   */
+  default: boolean;
+}
+/**
+ * Result of probing WSL availability on the host that owns a worktree — the desktop machine for a local project, the remote daemon's machine for an SSH one. `distros` is empty on non-Windows hosts and on Windows installs without WSL.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WslDistroList".
+ */
+export interface WslDistroList {
+  /**
+   * Whether the host that answered the probe runs Windows, the only platform where WSL distributions can exist.
+   */
+  isWindows: boolean;
+  /**
+   * Installed WSL distributions, before any user-configured hiding.
+   */
+  distros: WslDistro[];
+}
+/**
+ * One alert clip discovered in a scope's sounds directory.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentSound".
+ */
+export interface AgentSound {
+  /**
+   * File name including extension, unique within its directory.
+   */
+  name: string;
+  scope: SettingsScope1;
+}
+/**
+ * Contents of one scope's sounds directory, plus the directory path to show in Settings.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentSoundList".
+ */
+export interface AgentSoundList {
+  /**
+   * Host-resolved absolute path of the scanned sounds directory (it may not exist yet).
+   */
+  dir: string;
+  sounds: AgentSound[];
+}
+/**
+ * One selectable reasoning-effort level for an agent model. Promoted from @pragma-sh/plugin so the catalog wire type has one source of truth.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentReasoning".
+ */
+export interface AgentReasoning {
+  id: string;
+  name: string;
+}
+/**
+ * One selectable model for an agent, with optional reasoning levels.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentModelEntry".
+ */
+export interface AgentModelEntry {
+  id: string;
+  name: string;
+  reasoning?: AgentReasoning[];
+}
+/**
+ * Reference to a plugin-contributed agent icon asset, fetched by content hash through the gateway `/v1/assets/{hash}` route.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentIcon".
+ */
+export interface AgentIcon {
+  /**
+   * Lowercase-hex sha256 of the icon bytes; also the ETag and cache key.
+   */
+  hash: string;
+  /**
+   * Icon MIME type (e.g. `image/svg+xml`).
+   */
+  mime: string;
+}
+/**
+ * One launchable agent in the resolved plugin catalog.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "CatalogAgent".
+ */
+export interface CatalogAgent {
+  id: string;
+  name: string;
+  /**
+   * Id of the plugin that contributed this agent.
+   */
+  pluginId: string;
+  /**
+   * Where the contributing plugin was resolved from. A `project` agent belongs to exactly one project root and must not be offered to another one.
+   */
+  scope?: "global" | "project" | null;
+  /**
+   * Absolute root the contributing plugin was resolved from: the project root for `project` scope or the home directory for `global`.
+   */
+  root?: string | null;
+  /**
+   * Runtime reporter/watcher id the agent event stream is keyed by, when the plugin declares a watcher. Callers must use this rather than re-deriving an id from the dotted catalog id.
+   */
+  runtimeAgentId?: string | null;
+  icon?: AgentIcon | null;
+  models: AgentModelEntry[];
+  /**
+   * Capabilities the agent declares unsupported; agent verification skips matching scenarios.
+   */
+  excludeFeatures?: AgentFeature[];
+  launch: AgentLaunchConfig;
+}
+/**
+ * Resolved launch commands and terminal-input behavior needed by the persistent host to start an agent without a desktop webview.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentLaunchConfig".
+ */
+export interface AgentLaunchConfig {
+  commands: AgentLaunchCommand[];
+  startupInput?: AgentStartupInput[];
+  prefillDelayMs?: number;
+  prefillMode?: "bracketed" | "plain";
+  prefillSubmit?: string;
+  prefillSubmitDelayMs?: number;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentLaunchCommand".
+ */
+export interface AgentLaunchCommand {
+  modelId: string | null;
+  reasoningId: string | null;
+  command: string[];
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentStartupInput".
+ */
+export interface AgentStartupInput {
+  delayMs: number;
+  data: string;
+}
+/**
+ * The resolved set of launchable agents contributed by all loaded plugins, assembled by the pragma-plugins sidecar and cached by pragma-server.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentCatalog".
+ */
+export interface AgentCatalog {
+  agents: CatalogAgent[];
+}
+/**
+ * The QR-encoded payload a desktop shows so a mobile client can connect to this host's gateway through the remote-access tunnel.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "PairingPayload".
+ */
+export interface PairingPayload {
+  /**
+   * Public tunnel base URL of the local HTTP gateway.
+   */
+  url: string;
+  /**
+   * Gateway bearer token the paired device must present.
+   */
+  token: string;
+  /**
+   * pragma-protocol SemVer the host speaks, so the client can reject an incompatible host early.
+   */
+  protocolVersion: string;
+  /**
+   * Human-readable name of the host, shown on the paired device.
+   */
+  hostName: string;
+}
+/**
+ * Project-owned `.pragma/scripts.json` lifecycle scripts. The file is optional; omitted keys behave as empty.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ProjectScriptsConfig".
+ */
+export interface ProjectScriptsConfig {
+  /**
+   * Headless commands run after a worktree is created, from the new worktree root.
+   */
+  setup?: string[];
+  /**
+   * Interactive scripts opened from the workspace header as terminal tabs and optional split layouts, keyed by name. The `run` and `build` keys are the default entries the header always reserves buttons for; any other key is a custom script and renders its own header button.
+   */
+  runScripts?: {
+    [k: string]: RunScriptDefinition;
+  };
+  /**
+   * Headless commands run before a worktree is deleted, from the target worktree root. Failures block deletion.
+   */
+  teardown?: string[];
+}
+/**
+ * One named interactive script: the commands it opens and the icon its header button uses.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "RunScriptDefinition".
+ */
+export interface RunScriptDefinition {
+  /**
+   * Interactive commands opened as terminal tabs and optional split layouts.
+   */
+  command: RunScriptEntry[];
+  /**
+   * Iconify icon name shown on the script's header button. Omitted for `run`/`build` falls back to the built-in play/hammer icons; omitted for a custom script falls back to a generic terminal icon.
+   */
+  icon?: string | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "RunScriptHorizontalSplit".
+ */
+export interface RunScriptHorizontalSplit {
+  left: RunScriptNode;
+  right: RunScriptNode;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "RunScriptVerticalSplit".
+ */
+export interface RunScriptVerticalSplit {
+  top: RunScriptNode;
+  bottom: RunScriptNode;
+}
+/**
+ * A leaf pane in a shared SplitNode tree: a tab spec. `kind` selects the tab type; `command` seeds a terminal tab, `url` a browser tab, `file` an editor/diff tab. This intentionally diverges from RunScriptSplit (whose leaves are bare command strings) so the CLI split tree describes tabs, not commands.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "SplitTabLeaf".
+ */
+export interface SplitTabLeaf {
+  kind: TabKind;
+  /**
+   * Start command for a terminal tab leaf.
+   */
+  command?: string | null;
+  /**
+   * Starting URL for a browser tab leaf.
+   */
+  url?: string | null;
+  /**
+   * Worktree-relative path for an editor/diff tab leaf.
+   */
+  file?: string | null;
+}
+/**
+ * A horizontal split node in a shared SplitNode tree (left/right panes).
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "SplitHorizontal".
+ */
+export interface SplitHorizontal {
+  left: SplitNode;
+  right: SplitNode;
+}
+/**
+ * A vertical split node in a shared SplitNode tree (top/bottom panes).
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "SplitVertical".
+ */
+export interface SplitVertical {
+  top: SplitNode;
+  bottom: SplitNode;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Project".
+ */
+export interface Project {
+  id: string;
+  name: string;
+  path: string;
+  /**
+   * User-chosen emoji shown in the project switcher; null falls back to a favicon found in the checkout, then to the project name's initial.
+   */
+  iconEmoji: string | null;
+  orderIndex: number;
+  createdAt: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Worktree".
+ */
+export interface Worktree {
+  id: string;
+  projectId: string;
+  parentId: string | null;
+  branch: string;
+  title: string | null;
+  path: string;
+  isMain: boolean;
+  /**
+   * True when the user has hidden this worktree from the sidebar. Persists across restarts.
+   */
+  hidden: boolean;
+  createdAt: string;
+}
+/**
+ * A TCP listening port owned by a process descended from a live Pragma terminal tab shell.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "OpenPort".
+ */
+export interface OpenPort {
+  port: number;
+  process: string;
+  pid: number;
+  tabId: string;
+  worktreeId: string;
+}
+/**
+ * A managed scratchpad file discovered on disk, independent of whether it currently has an open tab.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ScratchpadSummary".
+ */
+export interface ScratchpadSummary {
+  id: string;
+  title: string;
+  /**
+   * Worktree-relative POSIX path to the scratchpad's MDX file.
+   */
+  filePath: string;
+}
+/**
+ * A managed scratchpad plus its MDX source and attached-agent metadata, as served by the host's `scratchpads` RPC to clients that render the document themselves.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ScratchpadFile".
+ */
+export interface ScratchpadFile {
+  id: string;
+  title: string;
+  /**
+   * Worktree-relative POSIX path to the scratchpad's MDX file.
+   */
+  filePath: string;
+  /**
+   * The full MDX source, frontmatter included.
+   */
+  contents: string;
+  /**
+   * Terminal tab id this scratchpad prompts, or null when nothing is attached.
+   */
+  agentTabId: string | null;
+  /**
+   * Catalog agent id of the attached tab, or null when nothing is attached.
+   */
+  agentId: string | null;
+  /**
+   * Epoch milliseconds the scratchpad was created, from its managed frontmatter.
+   */
+  createdAt: number;
+}
+/**
+ * Serializable Excalidraw scene. Core fields are validated while element, app-state, and binary-file extensions remain forward compatible with Excalidraw releases.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ExcalidrawScene".
+ */
+export interface ExcalidrawScene {
+  type: "excalidraw";
+  version: number;
+  source?: string;
+  elements: {
+    id: string;
+    type: string;
+    [k: string]: unknown;
+  }[];
+  appState: {
+    [k: string]: unknown;
+  };
+  files: {
+    [k: string]: unknown;
+  };
+}
+/**
+ * One durable worktree-scoped Excalidraw document.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Whiteboard".
+ */
+export interface Whiteboard {
+  id: string;
+  worktreeId: string;
+  title: string;
+  scene: ExcalidrawScene;
+  version: number;
+  createdAt: number;
+  updatedAt: number;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WhiteboardCreateInput".
+ */
+export interface WhiteboardCreateInput {
+  worktreeId: string;
+  title: string;
+  scene: ExcalidrawScene;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WhiteboardEditInput".
+ */
+export interface WhiteboardEditInput {
+  worktreeId: string;
+  id: string;
+  title: string;
+  scene: ExcalidrawScene;
+  expectedVersion: number;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WhiteboardListInput".
+ */
+export interface WhiteboardListInput {
+  worktreeId: string;
+  query?: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WhiteboardIdInput".
+ */
+export interface WhiteboardIdInput {
+  worktreeId: string;
+  id: string;
+}
+/**
+ * Base64-encoded PNG rendering of one whiteboard.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WhiteboardViewResult".
+ */
+export interface WhiteboardViewResult {
+  data: string;
+}
+/**
+ * One tool call surfaced by an agent message.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentToolCall".
+ */
+export interface AgentToolCall {
+  id: string;
+  name: string;
+  status: AgentToolCallStatus;
+  summary?: string;
+}
+/**
+ * A path touched by an agent, without file contents.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentFileChange".
+ */
+export interface AgentFileChange {
+  path: string;
+  change: AgentFileChangeKind;
+}
+/**
+ * Append-only rich message entry reported by an agent. Consumers upsert by id when tool-call state changes.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentMessage".
+ */
+export interface AgentMessage {
+  agent: string;
+  worktreeId: string;
+  tabId: string;
+  id: string;
+  role: AgentMessageRole;
+  text?: string;
+  toolCalls?: AgentToolCall[];
+  files?: AgentFileChange[];
+  /**
+   * Count of active sub-agents visible to the reporting plugin; no nested transcript is carried.
+   */
+  subAgentsActive: number;
+  /**
+   * Emitter timestamp in milliseconds since Unix epoch.
+   */
+  ts: number;
+}
+/**
+ * Status report sent by pragma-cli through pragma-server to native clients.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentReportPayload".
+ */
+export interface AgentReportPayload {
+  agent: string;
+  worktreeId: string;
+  tabId: string;
+  /**
+   * New agent status, or null for a status-less report (e.g. a `session-name` rename) that must leave the stored status untouched.
+   */
+  status: AgentStatus | null;
+  /**
+   * Human-readable name of the agent's active session. Reported on session create/rename/switch; the client renames the hosting tab unless the user renamed it manually.
+   */
+  sessionName?: string;
+  attentionKind?: AgentAttentionKind | null;
+  /**
+   * The command (or tool invocation) the agent is asking permission to run. Set when attentionKind is `command` so a non-terminal client can show it and approve remotely.
+   */
+  command?: string;
+  /**
+   * The question the agent is asking. Set when attentionKind is `question` so a non-terminal client can show it and answer remotely.
+   */
+  question?: string;
+  /**
+   * Answer choices for a `question` attention. Empty/omitted when the question is free-text only or when attentionKind is `command`.
+   */
+  options?: QuestionOption[];
+  /**
+   * Multiple questions for a `question` attention. When present, clients render a back/next question wizard and submit every answer together; the legacy `question`/`options` fields are still used for a single question.
+   */
+  questions?: AgentQuestion[];
+  /**
+   * Correlation id for a command-approval or question round-trip. The reporter sets it on a `command`/`question` attention report and waits for a matching AgentDecision/AgentAnswer before proceeding.
+   */
+  requestId?: string;
+}
+/**
+ * A selectable answer to an agent question.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "QuestionOption".
+ */
+export interface QuestionOption {
+  /**
+   * Answer text sent back to the agent when selected.
+   */
+  label: string;
+  /**
+   * Optional explanation shown beneath the answer label.
+   */
+  description?: string;
+}
+/**
+ * One question in a multi-question attention request. Each entry carries its own prompt and optional answer choices.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentQuestion".
+ */
+export interface AgentQuestion {
+  /**
+   * The question the agent is asking.
+   */
+  question: string;
+  /**
+   * Answer choices for this question. Empty/omitted when the question is free-text only.
+   */
+  options?: QuestionOption[];
+}
+/**
+ * Approve/deny verdict for a command-approval request, published by the controlling client and fanned out to agent subscribers. The waiting reporter (a blocking harness hook or a plugin watcher) matches it by requestId.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentDecision".
+ */
+export interface AgentDecision {
+  agent: string;
+  worktreeId: string;
+  tabId: string;
+  requestId: string;
+  /**
+   * true to run the command, false to reject it.
+   */
+  approved: boolean;
+}
+/**
+ * Reply to a `question` attention request, published by the controlling client and fanned out to agent subscribers. The waiting reporter (a blocking harness hook or a plugin watcher) matches it by requestId.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentAnswer".
+ */
+export interface AgentAnswer {
+  agent: string;
+  worktreeId: string;
+  tabId: string;
+  requestId: string;
+  /**
+   * The reply text. Present when the question was answered; omitted when dismissed.
+   */
+  answer?: string;
+  /**
+   * true when the question was dismissed without an answer.
+   */
+  dismissed: boolean;
+}
+/**
+ * Free-form input (an interjection) sent by the controlling client to a running agent and fanned out to agent subscribers. A blocking harness hook or a plugin watcher delivers `text` into the agent's turn (via a harness input API, or by writing it to the tab's PTY). Unlike AgentDecision/AgentAnswer this is not tied to an outstanding request; `requestId` is optional and only set when the interjection answers a specific prompt.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentInput".
+ */
+export interface AgentInput {
+  agent: string;
+  worktreeId: string;
+  tabId: string;
+  /**
+   * The message text to deliver to the running agent.
+   */
+  text: string;
+  /**
+   * Optional correlation id when the interjection answers a specific outstanding prompt.
+   */
+  requestId?: string;
+}
+/**
+ * Transient request to interrupt a running agent's current turn, published by the controlling client and fanned out to agent subscribers. Delivery is best-effort with no replay buffer: a watcher subscribed to the matching tab sends an interrupt (ESC) to the agent's PTY. Unlike AgentDecision/AgentAnswer it is not required to carry a requestId.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentInterrupt".
+ */
+export interface AgentInterrupt {
+  agent: string;
+  worktreeId: string;
+  tabId: string;
+  /**
+   * Optional correlation id when the interrupt targets a specific outstanding request.
+   */
+  requestId?: string;
+}
+/**
+ * Mirror of the desktop app's entire workspace state (all projects, worktrees, and tabs), published to pragma-server so remote clients (e.g. a paired phone) can render the session launcher without registering as the controller. The desktop publishes the full snapshot on every mutation; v1 keeps deltas trivial (every delta is a full replacement).
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WorkspaceSnapshot".
+ */
+export interface WorkspaceSnapshot {
+  projects: Project[];
+  worktrees: Worktree[];
+  tabs: Tab[];
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Tab".
+ */
+export interface Tab {
+  id: string;
+  projectId: string;
+  worktreeId: string;
+  kind: TabKind;
+  title: string | null;
+  /**
+   * The current page URL for browser tabs; null for terminal tabs.
+   */
+  url: string | null;
+  /**
+   * Worktree-relative path for editor/diff tabs; null for terminal/browser tabs.
+   */
+  filePath: string | null;
+  /**
+   * Durable whiteboard id for whiteboard tabs; null for every other tab kind.
+   */
+  whiteboardId: string | null;
+  /**
+   * Which diff side a diff tab shows; null for non-diff tabs.
+   */
+  diffSide: DiffSide | null;
+  /**
+   * Commit hash a commit-scoped diff tab shows (first parent → commit); null for range diffs and non-diff tabs.
+   */
+  diffCommit: string | null;
+  /**
+   * Pull-request number a pr-review tab reviews; null for non-PR tabs.
+   */
+  prNumber: number | null;
+  /**
+   * Owning plugin id for plugin-webview tabs; null for non-plugin tabs.
+   */
+  pluginId: string | null;
+  /**
+   * Plugin-defined web view id for plugin-webview tabs; null for non-plugin tabs.
+   */
+  pluginViewId: string | null;
+  /**
+   * JSON-encoded payload supplied when opening a plugin-webview tab; null when omitted or for non-plugin tabs.
+   */
+  pluginPayload: string | null;
+  /**
+   * Optional dedupe key used to focus an existing plugin-webview tab instead of opening another.
+   */
+  pluginDedupeKey: string | null;
+  /**
+   * Catalog id of the agent launched into this terminal tab, set at launch time. Drives the tab's agent icon and default title; null for tabs without an agent.
+   */
+  agentId: string | null;
+  /**
+   * True once the user has manually renamed a terminal tab via double-click/context menu. Shell-emitted title updates (OSC 0/2) and agent session-name renames are ignored while this is true. Always false for non-terminal tabs.
+   */
+  userRenamed: boolean;
+  /**
+   * Fanout this terminal tab is an attempt of. Optional rather than nullable: absent on every tab that is not a fanout attempt.
+   */
+  fanoutId?: string | null;
+  /**
+   * Fanout member this terminal tab runs. Always set together with `fanoutId`.
+   */
+  fanoutMemberId?: string | null;
+  /**
+   * Shell profile this terminal tab was opened with, so a session respawned after a daemon restart returns to the same shell instead of the current default. Optional rather than nullable: absent on every tab created before shell selection existed, and on non-terminal tabs.
+   */
+  shell?: ShellProfile | null;
+  orderIndex: number;
+  createdAt: string;
+}
+/**
+ * Payload for the brokered `agentSessionLaunch` control method. The desktop creates or resolves the target worktree + tab, replies with `{ worktreeId, tabId }` immediately, then asynchronously spawns the agent + watcher through the proven Kanban background-launch sequence. Either an existing `worktreeId` or a `newWorktree` spec must be provided.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "AgentSessionLaunchPayload".
+ */
+export interface AgentSessionLaunchPayload {
+  projectId: string;
+  /**
+   * Id of an existing worktree to launch into. Mutually exclusive with `newWorktree`.
+   */
+  worktreeId: string | null;
+  /**
+   * Describes a fresh worktree to create when `worktreeId` is absent. Mutually exclusive with `worktreeId`.
+   */
+  newWorktree: NewWorktreeSpec | null;
+  agentId: string;
+  modelId?: string | null;
+  reasoningId?: string | null;
+  /**
+   * Raw shell snippet appended to the agent's base launch command instead of catalog model/reasoning args (for example `--model moonshot/kimi-k3`). Overrides `modelId`/`reasoningId` when set.
+   */
+  modelCmd?: string | null;
+  prompt?: string | null;
+  /**
+   * When true, the host server launches the session itself (PTY + watcher, no desktop tab) even while a desktop controller is connected. Used by `pragma-cli agent verify` so scenario sessions do not open a desktop tab per step.
+   */
+  headless?: boolean | null;
+}
+/**
+ * Spec for creating a fresh worktree as part of an `agentSessionLaunch` request. Omitted/optional fields fall back to Pragma defaults.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "NewWorktreeSpec".
+ */
+export interface NewWorktreeSpec {
+  parentWorktreeId: string;
+  branch: string;
+  title?: string | null;
+}
+/**
+ * A single entry in a worktree directory listing.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "DirEntry".
+ */
+export interface DirEntry {
+  /**
+   * The entry's file name (no directory part).
+   */
+  name: string;
+  /**
+   * Worktree-relative POSIX path (forward slashes) to the entry.
+   */
+  path: string;
+  isDir: boolean;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ChangedFile".
+ */
+export interface ChangedFile {
+  /**
+   * Worktree-relative POSIX path of the changed file.
+   */
+  path: string;
+  /**
+   * Previous path for a rename; null otherwise.
+   */
+  oldPath: string | null;
+  status: ChangeStatus;
+  side: DiffSide;
+  /**
+   * Lines added in this file's diff on its side. Null for binary files (git reports -/-) and for untracked files whose on-disk line count could not be determined.
+   */
+  additions: number | null;
+  /**
+   * Lines removed in this file's diff on its side. Null for binary files and for untracked files. 0 for untracked files (a brand-new file has nothing to remove).
+   */
+  deletions: number | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WorktreeChanges".
+ */
+export interface WorktreeChanges {
+  committed: ChangedFile[];
+  staged: ChangedFile[];
+  unstaged: ChangedFile[];
+}
+/**
+ * One commit on a worktree's branch since its fork point with the parent branch, with the files it changed.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WorktreeCommit".
+ */
+export interface WorktreeCommit {
+  /**
+   * The full commit hash.
+   */
+  hash: string;
+  /**
+   * The abbreviated commit hash.
+   */
+  shortHash: string;
+  /**
+   * The commit subject (first message line).
+   */
+  subject: string;
+  /**
+   * The author name followed by any Co-authored-by trailer names, deduplicated.
+   */
+  authors: string[];
+  /**
+   * Files this commit changed relative to its first parent.
+   */
+  files: ChangedFile[];
+}
+/**
+ * A page of a worktree's commits since its fork point, newest first.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WorktreeCommitList".
+ */
+export interface WorktreeCommitList {
+  commits: WorktreeCommit[];
+  /**
+   * Total commits in the fork-point range, independent of the requested page size.
+   */
+  totalCount: number;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FileDiff".
+ */
+export interface FileDiff {
+  path: string;
+  /**
+   * The base-side text; empty when the file was added or is binary.
+   */
+  oldText: string;
+  /**
+   * The new-side text; empty when the file was deleted or is binary.
+   */
+  newText: string;
+  /**
+   * True when git reports the file as binary; old/new text are empty.
+   */
+  binary: boolean;
+}
+/**
+ * A single filesystem change delivered over a `fileChanged` subscription by the pragma-server worktree watcher. Drives live file previews on the client.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FileChange".
+ */
+export interface FileChange {
+  /**
+   * Worktree-relative POSIX path (forward slashes) of the changed entry.
+   */
+  path: string;
+  kind: FileChangeKind;
+}
+/**
+ * One base64-encoded slice of a binary file, returned by a chunked read.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FileChunk".
+ */
+export interface FileChunk {
+  /**
+   * The slice's bytes, base64-encoded. Empty once the offset is at or past the end of the file.
+   */
+  base64: string;
+  /**
+   * Byte offset the slice was read from.
+   */
+  offset: number;
+  /**
+   * Total on-disk size of the file in bytes, so a caller can size its buffer from the first chunk.
+   */
+  byteSize: number;
+  /**
+   * True when this slice reaches the end of the file and no further request is needed.
+   */
+  eof: boolean;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "FileContents".
+ */
+export interface FileContents {
+  path: string;
+  /**
+   * The decoded UTF-8 text; empty when binary or truncated.
+   */
+  text: string;
+  /**
+   * True when the bytes are not valid UTF-8.
+   */
+  binary: boolean;
+  /**
+   * True when the file exceeds the read cap and was not read.
+   */
+  truncated: boolean;
+  /**
+   * On-disk size in bytes from the file metadata.
+   */
+  byteSize: number;
+}
+/**
+ * One host-owned command-palette filename or literal code match.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "PaletteSearchMatch".
+ */
+export interface PaletteSearchMatch {
+  worktreeId: string;
+  /**
+   * Worktree-relative POSIX path.
+   */
+  path: string;
+  kind: "file" | "code";
+  score: number;
+  line?: number | null;
+  column?: number | null;
+  snippet?: string | null;
+}
+/**
+ * Bounded host search results for visible worktrees in one project.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "PaletteSearchResponse".
+ */
+export interface PaletteSearchResponse {
+  matches: PaletteSearchMatch[];
+  truncated: boolean;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "ProjectIcon".
+ */
+export interface ProjectIcon {
+  mime: string;
+  dataBase64: string;
+}
+/**
+ * Status of a worktree's working copy, used to warn the user before destructive operations.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "WorktreeStatus".
+ */
+export interface WorktreeStatus {
+  /**
+   * True when the worktree has uncommitted changes, staged changes, or untracked files that `git status` would surface.
+   */
+  dirty: boolean;
+}
+/**
+ * A persisted prompt card on a project's Kanban board, scoped by projectId.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KanbanPromptCard".
+ */
+export interface KanbanPromptCard {
+  id: string;
+  projectId: string;
+  /**
+   * The worktree backing this card once it starts running; null for a draft.
+   */
+  worktreeId?: string | null;
+  /**
+   * Branch the card targets — an existing project worktree branch or a new one to create.
+   */
+  branchName: string;
+  prompt: string;
+  agentId: string;
+  /**
+   * Selected model id for the agent launch; null uses the agent default.
+   */
+  modelId?: string | null;
+  /**
+   * Selected reasoning level id for the agent launch; null uses automatic reasoning.
+   */
+  reasoningId?: string | null;
+  status: KanbanPromptStatus;
+  /**
+   * Terminal tab/daemon session id the agent runs in once started; null before launch.
+   */
+  agentTabId?: string | null;
+  /**
+   * Which completion path finished the card; null until completed.
+   */
+  completedAction?: KanbanCompletedAction | null;
+  /**
+   * URL of the pull request opened during completion, when applicable.
+   */
+  pullRequestUrl?: string | null;
+  /**
+   * Number of the pull request opened during completion, when applicable.
+   */
+  pullRequestNumber?: number | null;
+  schedulingMode: KanbanSchedulingMode;
+  /**
+   * Reserved for scheduled runs; always null in the manual MVP.
+   */
+  scheduledFor?: string | null;
+  createdAt: string;
+  updatedAt: string;
+  /**
+   * When the card first moved to inProgress; null before launch.
+   */
+  startedAt?: string | null;
+  /**
+   * When the card moved to completed; null until completed.
+   */
+  completedAt?: string | null;
+}
+/**
+ * Payload for creating an agent-board draft through the brokered desktop controller.
+ *
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "BoardDraftCreatePayload".
+ */
+export interface BoardDraftCreatePayload {
+  prompt: string;
+  /**
+   * Existing worktree whose project and branch receive the draft.
+   */
+  worktreeId: string;
+  agentId: string;
+  modelId?: string | null;
+  reasoningId?: string | null;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KeybindingChord".
+ */
+export interface KeybindingChord {
+  modifiers: ("cmd" | "ctrl" | "alt" | "shift")[];
+  key: string;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "PlatformChord".
+ */
+export interface PlatformChord {
+  mac: KeybindingChord;
+  linux: KeybindingChord;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "Keybindings".
+ */
+export interface Keybindings {
+  nextTab: PlatformChord;
+  previousTab: PlatformChord;
+  closeTopTab: PlatformChord;
+  newTerminalTab: PlatformChord;
+  newBrowserTab: PlatformChord;
+  newWhiteboard: PlatformChord;
+  clearTerminal: PlatformChord;
+  browserReload: PlatformChord;
+  browserDevtools: PlatformChord;
+  browserCopyUrl: PlatformChord;
+  splitHorizontal: PlatformChord;
+  splitVertical: PlatformChord;
+  deleteFile: PlatformChord;
+  scrollTerminalBottom: PlatformChord;
+  openCommandPalette: PlatformChord;
+  openCommandMode: PlatformChord;
+  openSettings: PlatformChord;
+  switchToWorkspace1: PlatformChord;
+  switchToWorkspace2: PlatformChord;
+  switchToWorkspace3: PlatformChord;
+  switchToWorkspace4: PlatformChord;
+  switchToWorkspace5: PlatformChord;
+  switchToWorkspace6: PlatformChord;
+  switchToWorkspace7: PlatformChord;
+  switchToWorkspace8: PlatformChord;
+  switchToWorkspace9: PlatformChord;
+  switchToWorktree1: PlatformChord;
+  switchToWorktree2: PlatformChord;
+  switchToWorktree3: PlatformChord;
+  switchToWorktree4: PlatformChord;
+  switchToWorktree5: PlatformChord;
+  switchToWorktree6: PlatformChord;
+  switchToWorktree7: PlatformChord;
+  switchToWorktree8: PlatformChord;
+  switchToWorktree9: PlatformChord;
+  switchToTab1: PlatformChord;
+  switchToTab2: PlatformChord;
+  switchToTab3: PlatformChord;
+  switchToTab4: PlatformChord;
+  switchToTab5: PlatformChord;
+  switchToTab6: PlatformChord;
+  switchToTab7: PlatformChord;
+  switchToTab8: PlatformChord;
+  switchToTab9: PlatformChord;
+}
+/**
+ * This interface was referenced by `Constants`'s JSON-Schema
+ * via the `definition` "KeybindingsConfig".
+ */
+export interface KeybindingsConfig {
+  version: number;
+  bindings: Keybindings;
+}