AnxForever
70b90f1880
Right-clicking a folder has always opened the configured default shell — usually PowerShell — with no way to ask for a WSL distribution instead. - `--shell <id>` takes the same ids the `shell` setting uses (`pwsh`, `cmd`, `wsl:Ubuntu`, or an imported profile's settings id) and applies to the first tab this process creates. It carries an id rather than a path so every launch re-resolves the executable. - The id travels both startup paths: the cold start (`run_shell` → `WorkspaceStartup::NewTerminal`), and the resident hand-off, which is the common case on Windows. `tab.new`/`window.create` gained an optional `shell` field, so clicking the menu while Pebrel is already running adds a tab to the existing window instead of starting a second process. - An explicit request never silently degrades. An unresolvable id fails (`invalid_shell`, or a startup error before any window opens), and a `wsl:<distro>` id that the registry no longer lists still launches `wsl.exe -d <distro>`, leaving the complaint to the distribution itself. The `shell` setting keeps its documented fallback to the platform default. - The winit shell rejects a shell request instead of ignoring it, so the caller falls back to a cold GPUI start and still gets the requested shell. The resolution lives in a new `workspace::shell_launch` module: `main.rs` has to validate `--shell` before it opens a window, and none of it needs `NebulaWorkspace` state — `workspace.rs` is also at its line budget, which this keeps from growing (`architecture/file-budgets.txt`). The installer registers one context-menu entry per registered WSL distribution (`PebrelWsl<n>`, skipping `docker-desktop*`) and the uninstaller reclaims them by key prefix plus the command line it wrote. `--shell` is passed before `--working-directory`: a drive-root `%V` ends in `\"`, which would swallow the rest of the line if the directory came first. Both the string and the order are pinned by installer assertions. Docs (runtime API schema + control API) and shell completions are updated.
1217 lines
37 KiB
JSON
1217 lines
37 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$id": "https://github.com/Kuddev/nebula/docs/runtime-api-v1.schema.json",
|
|
"title": "Nebula Runtime API v1 frames",
|
|
"description": "JSON Lines request, response, and event frames for the authenticated local runtime control plane.",
|
|
"type": "object",
|
|
"properties": {
|
|
"protocol": {
|
|
"const": "nebula.runtime"
|
|
},
|
|
"version": {
|
|
"const": 1
|
|
}
|
|
},
|
|
"required": [
|
|
"protocol",
|
|
"version"
|
|
],
|
|
"oneOf": [
|
|
{
|
|
"$ref": "#/$defs/request"
|
|
},
|
|
{
|
|
"$ref": "#/$defs/response"
|
|
},
|
|
{
|
|
"$ref": "#/$defs/event"
|
|
}
|
|
],
|
|
"$defs": {
|
|
"request": {
|
|
"type": "object",
|
|
"required": [
|
|
"protocol",
|
|
"version",
|
|
"id",
|
|
"token",
|
|
"method",
|
|
"params"
|
|
],
|
|
"properties": {
|
|
"protocol": {
|
|
"const": "nebula.runtime"
|
|
},
|
|
"version": {
|
|
"const": 1
|
|
},
|
|
"id": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"token": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"method": {
|
|
"enum": [
|
|
"runtime.describe",
|
|
"runtime.snapshot",
|
|
"runtime.orchestrate",
|
|
"events.subscribe",
|
|
"agents.list",
|
|
"agent.start",
|
|
"agent.fork",
|
|
"agent.get",
|
|
"agent.delegate",
|
|
"agent.prompt",
|
|
"agent.paste",
|
|
"agent.read",
|
|
"agent.wait",
|
|
"window.create",
|
|
"window.close",
|
|
"window.focus",
|
|
"tab.new",
|
|
"tab.close",
|
|
"tab.rename",
|
|
"tab.move",
|
|
"pane.split",
|
|
"pane.close",
|
|
"pane.zoom",
|
|
"pane.resize",
|
|
"pane.prompt",
|
|
"pane.paste",
|
|
"pane.read",
|
|
"pane.procs",
|
|
"pane.send_key",
|
|
"pane.run",
|
|
"pane.exec",
|
|
"pane.wait"
|
|
]
|
|
},
|
|
"params": {
|
|
"type": "object"
|
|
}
|
|
},
|
|
"additionalProperties": false,
|
|
"allOf": [
|
|
{
|
|
"if": { "properties": { "method": { "enum": ["runtime.describe", "runtime.snapshot", "window.create"] } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/empty_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "runtime.orchestrate" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/orchestrate_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "events.subscribe" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/subscribe_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agents.list" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/window_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.start" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_start_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.fork" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_fork_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.get" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_target_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.prompt" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_prompt_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.delegate" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_delegate_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.paste" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_paste_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.read" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_read_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "agent.wait" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/agent_wait_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "window.focus" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/focus_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "window.close" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/window_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "tab.new" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/tab_new_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "tab.close" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/tab_target_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "tab.rename" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/tab_rename_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "tab.move" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/tab_move_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.split" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/split_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.zoom" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/pane_zoom_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.resize" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/pane_resize_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.prompt" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/prompt_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.paste" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/paste_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.read" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/read_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "enum": ["pane.close", "pane.procs"] } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/pane_target_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.send_key" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/send_key_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.run" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/run_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.exec" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/exec_params" } } }
|
|
},
|
|
{
|
|
"if": { "properties": { "method": { "const": "pane.wait" } } },
|
|
"then": { "properties": { "params": { "$ref": "#/$defs/wait_params" } } }
|
|
}
|
|
]
|
|
},
|
|
"empty_params": {
|
|
"type": "object",
|
|
"maxProperties": 0
|
|
},
|
|
"nullable_window_id": {
|
|
"type": ["integer", "null"],
|
|
"minimum": 0
|
|
},
|
|
"window_params": {
|
|
"type": "object",
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"cwd": { "type": ["string", "null"] },
|
|
"shell": { "type": ["string", "null"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"subscribe_params": {
|
|
"type": "object",
|
|
"properties": {
|
|
"since_revision": { "type": ["integer", "null"], "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_params": {
|
|
"type": "object",
|
|
"required": ["steps"],
|
|
"properties": {
|
|
"steps": {
|
|
"type": "array",
|
|
"minItems": 1,
|
|
"maxItems": 32,
|
|
"items": { "$ref": "#/$defs/orchestrate_step" }
|
|
},
|
|
"on_error": { "enum": ["stop", "continue"], "default": "stop" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_step": {
|
|
"oneOf": [
|
|
{ "$ref": "#/$defs/orchestrate_new_tab" },
|
|
{ "$ref": "#/$defs/orchestrate_focus" },
|
|
{ "$ref": "#/$defs/orchestrate_split" },
|
|
{ "$ref": "#/$defs/orchestrate_prompt" },
|
|
{ "$ref": "#/$defs/orchestrate_run" },
|
|
{ "$ref": "#/$defs/orchestrate_agent_launch" },
|
|
{ "$ref": "#/$defs/orchestrate_wait" }
|
|
]
|
|
},
|
|
"orchestrate_step_id": {
|
|
"type": "string",
|
|
"pattern": "^[A-Za-z_][A-Za-z0-9_-]{0,63}$"
|
|
},
|
|
"orchestrate_pane_target": {
|
|
"oneOf": [
|
|
{
|
|
"type": "object",
|
|
"required": ["step", "field"],
|
|
"properties": {
|
|
"step": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"field": { "const": "pane_id" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
{
|
|
"type": "object",
|
|
"required": ["pane_id"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
]
|
|
},
|
|
"orchestrate_new_tab": {
|
|
"type": "object",
|
|
"required": ["id", "op"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "new_tab" },
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"cwd": { "type": ["string", "null"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_focus": {
|
|
"type": "object",
|
|
"required": ["id", "op", "target"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "focus" },
|
|
"target": { "$ref": "#/$defs/orchestrate_pane_target" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_split": {
|
|
"type": "object",
|
|
"required": ["id", "op", "direction"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "split" },
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"target": { "$ref": "#/$defs/orchestrate_pane_target" },
|
|
"direction": { "enum": ["left_right", "top_bottom"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_prompt": {
|
|
"type": "object",
|
|
"required": ["id", "op", "target", "text"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "prompt" },
|
|
"target": { "$ref": "#/$defs/orchestrate_pane_target" },
|
|
"text": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"submit": { "type": "boolean", "default": true }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_run": {
|
|
"type": "object",
|
|
"required": ["id", "op", "target", "command"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "run" },
|
|
"target": { "$ref": "#/$defs/orchestrate_pane_target" },
|
|
"command": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"wait": { "type": "boolean", "default": true },
|
|
"timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000, "default": 30000 },
|
|
"tail_lines": { "type": "integer", "minimum": 1, "maximum": 2000 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_agent_launch": {
|
|
"type": "object",
|
|
"required": ["id", "op", "target", "name", "kind", "initial_prompt"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "agent_launch" },
|
|
"target": { "$ref": "#/$defs/orchestrate_pane_target" },
|
|
"name": { "type": "string", "minLength": 1, "maxLength": 64 },
|
|
"kind": { "$ref": "#/$defs/launch_agent_kind" },
|
|
"resume_session_id": { "type": ["string", "null"] },
|
|
"initial_prompt": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"ready_timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000, "default": 10000 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"orchestrate_wait": {
|
|
"type": "object",
|
|
"required": ["id", "op", "target", "state"],
|
|
"properties": {
|
|
"id": { "$ref": "#/$defs/orchestrate_step_id" },
|
|
"op": { "const": "wait" },
|
|
"target": { "$ref": "#/$defs/orchestrate_pane_target" },
|
|
"state": { "$ref": "#/$defs/wait_state" },
|
|
"timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000, "default": 30000 },
|
|
"tail_lines": { "type": "integer", "minimum": 1, "maximum": 2000 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_start_params": {
|
|
"type": "object",
|
|
"required": ["name", "kind"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": ["integer", "null"], "minimum": 0 },
|
|
"name": { "type": "string", "minLength": 1, "maxLength": 64 },
|
|
"kind": { "$ref": "#/$defs/launch_agent_kind" },
|
|
"cwd": { "type": ["string", "null"] },
|
|
"resume_session_id": { "type": ["string", "null"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_fork_params": {
|
|
"type": "object",
|
|
"required": ["name", "kind"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"source_pane_id": { "type": ["integer", "null"], "minimum": 0 },
|
|
"source_cwd": { "type": ["string", "null"] },
|
|
"name": { "type": "string", "minLength": 1, "maxLength": 64 },
|
|
"kind": { "$ref": "#/$defs/launch_agent_kind" },
|
|
"resume_session_id": { "type": ["string", "null"] },
|
|
"branch": { "type": ["string", "null"] },
|
|
"base": { "type": ["string", "null"] },
|
|
"path": { "type": ["string", "null"] },
|
|
"allow_dirty_source": { "type": "boolean", "default": false }
|
|
},
|
|
"anyOf": [
|
|
{ "required": ["source_pane_id"], "properties": { "source_pane_id": { "type": "integer" } } },
|
|
{ "required": ["source_cwd"], "properties": { "source_cwd": { "type": "string", "minLength": 1 } } }
|
|
],
|
|
"additionalProperties": false
|
|
},
|
|
"launch_agent_kind": {
|
|
"enum": ["claude", "codex", "opencode", "cursor", "pi", "omp", "kimi"],
|
|
"description": "Agent kinds with an officially verified interactive cold-start command."
|
|
},
|
|
"agent_target_params": {
|
|
"type": "object",
|
|
"required": ["agent"],
|
|
"properties": {
|
|
"agent": { "type": "string", "minLength": 1, "maxLength": 128 },
|
|
"generation": { "type": ["integer", "null"], "minimum": 1 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_prompt_params": {
|
|
"type": "object",
|
|
"required": ["agent", "text"],
|
|
"properties": {
|
|
"agent": { "type": "string", "minLength": 1, "maxLength": 128 },
|
|
"generation": { "type": ["integer", "null"], "minimum": 1 },
|
|
"text": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"submit": { "type": "boolean", "default": true }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_delegate_params": {
|
|
"type": "object",
|
|
"required": ["agent", "text", "origin_pane_id"],
|
|
"properties": {
|
|
"agent": { "type": "string", "minLength": 1, "maxLength": 128 },
|
|
"generation": { "type": ["integer", "null"], "minimum": 1 },
|
|
"text": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"origin_pane_id": { "type": "integer", "minimum": 1 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_paste_params": {
|
|
"type": "object",
|
|
"required": ["agent", "text"],
|
|
"properties": {
|
|
"agent": { "type": "string", "minLength": 1, "maxLength": 128 },
|
|
"generation": { "type": ["integer", "null"], "minimum": 1 },
|
|
"text": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"submit": { "type": "boolean", "default": true }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_read_params": {
|
|
"type": "object",
|
|
"required": ["agent"],
|
|
"properties": {
|
|
"agent": { "type": "string", "minLength": 1, "maxLength": 128 },
|
|
"generation": { "type": ["integer", "null"], "minimum": 1 },
|
|
"lines": { "type": "integer", "minimum": 1, "maximum": 2000, "default": 120 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_wait_params": {
|
|
"type": "object",
|
|
"required": ["agent", "generation", "state", "timeout_ms"],
|
|
"properties": {
|
|
"agent": { "type": "string", "minLength": 1, "maxLength": 128 },
|
|
"generation": { "type": "integer", "minimum": 1 },
|
|
"state": { "$ref": "#/$defs/wait_state" },
|
|
"timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000 },
|
|
"after_seq": { "type": ["integer", "null"], "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"focus_params": {
|
|
"type": "object",
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": ["integer", "null"], "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"tab_new_params": {
|
|
"type": "object",
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"cwd": { "type": ["string", "null"] },
|
|
"shell": { "type": ["string", "null"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"tab_target_params": {
|
|
"type": "object",
|
|
"required": ["tab_index"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"tab_index": { "type": "integer", "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"tab_rename_params": {
|
|
"type": "object",
|
|
"required": ["tab_index", "name"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"tab_index": { "type": "integer", "minimum": 0 },
|
|
"name": {
|
|
"type": "string",
|
|
"maxLength": 256,
|
|
"pattern": "^[^\\u0000-\\u001F\\u007F]*$",
|
|
"description": "The server additionally enforces a 256-byte UTF-8 limit. Empty restores the generated title."
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"tab_move_params": {
|
|
"type": "object",
|
|
"required": ["tab_index", "to_index"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"tab_index": { "type": "integer", "minimum": 0 },
|
|
"to_index": { "type": "integer", "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"split_params": {
|
|
"type": "object",
|
|
"required": ["direction"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": ["integer", "null"], "minimum": 0 },
|
|
"direction": { "enum": ["left_right", "top_bottom"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"prompt_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "text"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"text": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"submit": { "type": "boolean", "default": true }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"paste_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "text"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"text": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"submit": { "type": "boolean", "default": true }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"read_params": {
|
|
"type": "object",
|
|
"required": ["pane_id"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"lines": { "type": "integer", "minimum": 1, "maximum": 2000, "default": 120 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"pane_target_params": {
|
|
"type": "object",
|
|
"required": ["pane_id"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"pane_zoom_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "zoomed"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"zoomed": { "type": "boolean" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"pane_resize_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "ratio"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"ratio": { "type": "number", "minimum": 0.05, "maximum": 0.95 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"send_key_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "key"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"key": {
|
|
"enum": [
|
|
"escape", "enter", "tab", "backspace", "up", "down", "left", "right",
|
|
"home", "end", "insert", "delete", "page_up", "page_down",
|
|
"f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9", "f10", "f11", "f12",
|
|
"a", "b", "c", "d", "e", "f", "g", "h", "i", "j", "k", "l", "m",
|
|
"n", "o", "p", "q", "r", "s", "t", "u", "v", "w", "x", "y", "z"
|
|
]
|
|
},
|
|
"modifiers": {
|
|
"type": "object",
|
|
"properties": {
|
|
"shift": { "type": "boolean", "default": false },
|
|
"alt": { "type": "boolean", "default": false },
|
|
"control": { "type": "boolean", "default": false }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"repeat": { "type": "integer", "minimum": 1, "maximum": 64, "default": 1 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"run_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "command"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"command": { "type": "string", "minLength": 1, "maxLength": 32768 },
|
|
"wait": { "type": "boolean", "default": true },
|
|
"timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000, "default": 30000 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"exec_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "argv"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"argv": {
|
|
"type": "array",
|
|
"minItems": 1,
|
|
"maxItems": 256,
|
|
"items": { "type": "string" },
|
|
"description": "Direct program argv; no shell expansion is performed. The server enforces a 32768-byte aggregate limit."
|
|
},
|
|
"timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000, "default": 30000 },
|
|
"max_output_bytes": { "type": "integer", "minimum": 1, "maximum": 16777216, "default": 1048576 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"wait_state": {
|
|
"enum": ["idle", "running", "waiting_input", "attention", "finished", "failed", "settled"]
|
|
},
|
|
"wait_params": {
|
|
"type": "object",
|
|
"required": ["pane_id", "state", "timeout_ms"],
|
|
"properties": {
|
|
"window_id": { "$ref": "#/$defs/nullable_window_id" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"state": { "$ref": "#/$defs/wait_state" },
|
|
"timeout_ms": { "type": "integer", "minimum": 1, "maximum": 86400000 },
|
|
"after_seq": { "type": ["integer", "null"], "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"response": {
|
|
"type": "object",
|
|
"required": [
|
|
"protocol",
|
|
"version",
|
|
"id",
|
|
"ok"
|
|
],
|
|
"properties": {
|
|
"protocol": {
|
|
"const": "nebula.runtime"
|
|
},
|
|
"version": {
|
|
"const": 1
|
|
},
|
|
"id": {
|
|
"type": "string"
|
|
},
|
|
"ok": {
|
|
"type": "boolean"
|
|
},
|
|
"result": {},
|
|
"error": {
|
|
"$ref": "#/$defs/error"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"error": {
|
|
"type": "object",
|
|
"required": [
|
|
"code",
|
|
"message"
|
|
],
|
|
"properties": {
|
|
"code": {
|
|
"type": "string"
|
|
},
|
|
"message": {
|
|
"type": "string"
|
|
},
|
|
"details": {}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"event": {
|
|
"type": "object",
|
|
"required": [
|
|
"protocol",
|
|
"version",
|
|
"event",
|
|
"revision",
|
|
"data"
|
|
],
|
|
"properties": {
|
|
"protocol": {
|
|
"const": "nebula.runtime"
|
|
},
|
|
"version": {
|
|
"const": 1
|
|
},
|
|
"event": {
|
|
"const": "runtime.snapshot"
|
|
},
|
|
"revision": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"data": {
|
|
"$ref": "#/$defs/snapshot"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"snapshot": {
|
|
"type": "object",
|
|
"required": [
|
|
"revision",
|
|
"process_id",
|
|
"app_version",
|
|
"protocol_version",
|
|
"detached_windows",
|
|
"windows"
|
|
],
|
|
"properties": {
|
|
"revision": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"process_id": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"app_version": {
|
|
"type": "string"
|
|
},
|
|
"protocol_version": {
|
|
"const": 1
|
|
},
|
|
"detached_windows": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"windows": {
|
|
"type": "array",
|
|
"items": {
|
|
"$ref": "#/$defs/window"
|
|
}
|
|
},
|
|
"pane_lifecycles": {
|
|
"type": "array",
|
|
"items": { "$ref": "#/$defs/pane_lifecycle" }
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"window": {
|
|
"type": "object",
|
|
"required": [
|
|
"id",
|
|
"focused",
|
|
"session_exempt",
|
|
"active_tab",
|
|
"focused_pane_id",
|
|
"tabs"
|
|
],
|
|
"properties": {
|
|
"id": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"focused": {
|
|
"type": "boolean"
|
|
},
|
|
"session_exempt": {
|
|
"type": "boolean"
|
|
},
|
|
"active_tab": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"focused_pane_id": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"tabs": {
|
|
"type": "array",
|
|
"items": {
|
|
"$ref": "#/$defs/tab"
|
|
}
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"tab": {
|
|
"type": "object",
|
|
"required": [
|
|
"index",
|
|
"active",
|
|
"label",
|
|
"kind",
|
|
"bell",
|
|
"focused_pane_id",
|
|
"zoomed_pane_id",
|
|
"layout",
|
|
"panes"
|
|
],
|
|
"properties": {
|
|
"index": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"active": {
|
|
"type": "boolean"
|
|
},
|
|
"label": {
|
|
"type": "string"
|
|
},
|
|
"kind": {
|
|
"enum": [
|
|
"shell",
|
|
"profile",
|
|
"ssh",
|
|
"document",
|
|
"image",
|
|
"code",
|
|
"settings"
|
|
]
|
|
},
|
|
"bell": {
|
|
"type": "boolean"
|
|
},
|
|
"focused_pane_id": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"zoomed_pane_id": {
|
|
"type": [
|
|
"integer",
|
|
"null"
|
|
]
|
|
},
|
|
"layout": {
|
|
"oneOf": [
|
|
{
|
|
"$ref": "#/$defs/layout"
|
|
},
|
|
{
|
|
"type": "null"
|
|
}
|
|
]
|
|
},
|
|
"panes": {
|
|
"type": "array",
|
|
"items": {
|
|
"$ref": "#/$defs/pane"
|
|
}
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"layout": {
|
|
"oneOf": [
|
|
{
|
|
"type": "object",
|
|
"required": [
|
|
"type",
|
|
"pane_id"
|
|
],
|
|
"properties": {
|
|
"type": {
|
|
"const": "pane"
|
|
},
|
|
"pane_id": {
|
|
"type": "integer"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
{
|
|
"type": "object",
|
|
"required": [
|
|
"type",
|
|
"direction",
|
|
"ratio",
|
|
"first",
|
|
"second"
|
|
],
|
|
"properties": {
|
|
"type": {
|
|
"const": "split"
|
|
},
|
|
"direction": {
|
|
"enum": [
|
|
"left_right",
|
|
"top_bottom"
|
|
]
|
|
},
|
|
"ratio": {
|
|
"type": "number",
|
|
"minimum": 0,
|
|
"maximum": 1
|
|
},
|
|
"first": {
|
|
"$ref": "#/$defs/layout"
|
|
},
|
|
"second": {
|
|
"$ref": "#/$defs/layout"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
]
|
|
},
|
|
"pane": {
|
|
"type": "object",
|
|
"required": [
|
|
"id",
|
|
"active",
|
|
"title",
|
|
"cwd",
|
|
"branch",
|
|
"ssh_destination",
|
|
"running_program",
|
|
"task_state",
|
|
"state_change_seq"
|
|
],
|
|
"properties": {
|
|
"id": {
|
|
"type": "integer",
|
|
"minimum": 0
|
|
},
|
|
"active": {
|
|
"type": "boolean"
|
|
},
|
|
"title": {
|
|
"type": "string"
|
|
},
|
|
"cwd": {
|
|
"type": "string"
|
|
},
|
|
"branch": {
|
|
"type": "string"
|
|
},
|
|
"ssh_destination": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
},
|
|
"running_program": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
},
|
|
"agent": {
|
|
"$ref": "#/$defs/agent"
|
|
},
|
|
"task_state": {
|
|
"enum": [
|
|
"idle",
|
|
"running",
|
|
"waiting_input",
|
|
"attention",
|
|
"finished",
|
|
"failed"
|
|
]
|
|
},
|
|
"state_change_seq": {
|
|
"description": "Monotonic per-pane counter, bumped every time task_state changes. Capture it before sending work, then pass it as wait's after_seq so an unchanged pane cannot satisfy the wait.",
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"active_run": {
|
|
"$ref": "#/$defs/pane_run"
|
|
},
|
|
"last_run": {
|
|
"$ref": "#/$defs/run_outcome"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent": {
|
|
"type": "object",
|
|
"required": [
|
|
"kind",
|
|
"display_name",
|
|
"session_id",
|
|
"state_source",
|
|
"hook_seen"
|
|
],
|
|
"properties": {
|
|
"agent_id": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"generation": {
|
|
"type": "integer",
|
|
"minimum": 1
|
|
},
|
|
"name": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"worktree": {
|
|
"$ref": "#/$defs/worktree"
|
|
},
|
|
"kind": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"display_name": {
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"session_id": {
|
|
"type": [
|
|
"string",
|
|
"null"
|
|
]
|
|
},
|
|
"state_source": {
|
|
"enum": [
|
|
"hook",
|
|
"screen",
|
|
"process"
|
|
]
|
|
},
|
|
"state_rule": {
|
|
"type": "string"
|
|
},
|
|
"hook_seen": {
|
|
"type": "boolean"
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"worktree": {
|
|
"type": "object",
|
|
"required": ["repo_root", "source_root", "path", "branch", "base_commit", "created"],
|
|
"properties": {
|
|
"repo_root": { "type": "string", "minLength": 1 },
|
|
"source_root": { "type": "string", "minLength": 1 },
|
|
"path": { "type": "string", "minLength": 1 },
|
|
"branch": { "type": "string", "minLength": 1 },
|
|
"base_commit": { "type": "string", "minLength": 1 },
|
|
"created": { "const": true }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"managed_agent": {
|
|
"type": "object",
|
|
"required": ["agent_id", "generation", "name", "kind", "window_id", "pane_id", "active", "observed"],
|
|
"properties": {
|
|
"agent_id": { "type": "string", "minLength": 1 },
|
|
"generation": { "type": "integer", "minimum": 1 },
|
|
"name": { "type": "string", "minLength": 1, "maxLength": 64 },
|
|
"kind": { "type": "string", "minLength": 1 },
|
|
"window_id": { "type": "integer", "minimum": 0 },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"session_id": { "type": "string" },
|
|
"worktree": { "$ref": "#/$defs/worktree" },
|
|
"active": { "type": "boolean" },
|
|
"observed": { "type": "boolean" },
|
|
"closed_reason": { "type": "string" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"pane_lifecycle": {
|
|
"type": "object",
|
|
"required": ["sequence", "window_id", "pane_id", "event"],
|
|
"properties": {
|
|
"sequence": { "type": "integer", "minimum": 1 },
|
|
"window_id": { "type": "integer", "minimum": 0 },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"event": { "enum": ["closed", "exited"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"pane_run": {
|
|
"type": "object",
|
|
"required": ["run_id", "phase"],
|
|
"properties": {
|
|
"run_id": { "type": "integer", "minimum": 1 },
|
|
"phase": { "enum": ["submitted", "started"] }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"run_outcome": {
|
|
"type": "object",
|
|
"required": ["run_id", "state", "exit_code", "exit_code_capability"],
|
|
"properties": {
|
|
"run_id": { "type": "integer", "minimum": 1 },
|
|
"state": { "enum": ["finished", "failed", "unavailable"] },
|
|
"exit_code": { "type": ["integer", "null"] },
|
|
"exit_code_capability": { "enum": ["supported", "unavailable"] },
|
|
"unavailable_reason": { "type": "string" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agent_pane": {
|
|
"type": "object",
|
|
"required": [
|
|
"window_id",
|
|
"tab_index",
|
|
"tab_active",
|
|
"pane_id",
|
|
"pane_active",
|
|
"title",
|
|
"cwd",
|
|
"branch",
|
|
"ssh_destination",
|
|
"agent",
|
|
"task_state",
|
|
"state_change_seq"
|
|
],
|
|
"properties": {
|
|
"window_id": { "type": "integer", "minimum": 0 },
|
|
"tab_index": { "type": "integer", "minimum": 0 },
|
|
"tab_active": { "type": "boolean" },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"pane_active": { "type": "boolean" },
|
|
"title": { "type": "string" },
|
|
"cwd": { "type": "string" },
|
|
"branch": { "type": "string" },
|
|
"ssh_destination": { "type": ["string", "null"] },
|
|
"agent": { "$ref": "#/$defs/agent" },
|
|
"task_state": {
|
|
"enum": ["idle", "running", "waiting_input", "attention", "finished", "failed"]
|
|
},
|
|
"state_change_seq": { "type": "integer", "minimum": 1 }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"agents_result": {
|
|
"type": "object",
|
|
"required": ["revision", "agents"],
|
|
"properties": {
|
|
"revision": { "type": "integer", "minimum": 1 },
|
|
"agents": {
|
|
"type": "array",
|
|
"items": { "$ref": "#/$defs/agent_pane" }
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
"pane_read": {
|
|
"type": "object",
|
|
"required": [
|
|
"window_id",
|
|
"pane_id",
|
|
"text",
|
|
"requested_lines",
|
|
"returned_lines",
|
|
"history_available",
|
|
"truncated",
|
|
"task_state",
|
|
"exited"
|
|
],
|
|
"properties": {
|
|
"window_id": { "type": "integer", "minimum": 0 },
|
|
"pane_id": { "type": "integer", "minimum": 0 },
|
|
"text": { "type": "string" },
|
|
"requested_lines": { "type": "integer", "minimum": 1, "maximum": 2000 },
|
|
"returned_lines": { "type": "integer", "minimum": 0, "maximum": 2000 },
|
|
"history_available": { "type": "integer", "minimum": 0 },
|
|
"truncated": { "type": "boolean" },
|
|
"task_state": {
|
|
"enum": ["idle", "running", "waiting_input", "attention", "finished", "failed"]
|
|
},
|
|
"exited": { "type": "boolean" },
|
|
"exit_reason": { "type": "string" }
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
}
|
|
}
|