/**
 * Single place for TUI ↔ Node WebSocket defaults.
 * Override with `--port` / `-p`, `TUI_PORT`, or `4RUNR_PORT` (see `index.ts`).
 * Rust mk3 uses the same numeric default in `main.rs` — keep in sync when changing.
 */
export declare const DEFAULT_TUI_WS_PORT = 8081;
//# sourceMappingURL=tui-defaults.d.ts.map