{
  "functions": [
    {
      "description": "Internal: re-apply the Console HTTP port and injectable-UI toggles when its configuration entry changes.",
      "metadata": {
        "internal": true
      },
      "name": "console::on-config-change",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "title": "ConfigChangeRequest",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "ok": {
            "type": "boolean"
          }
        },
        "required": [
          "ok"
        ],
        "title": "ConfigChangeAck",
        "type": "object"
      }
    },
    {
      "description": "Return the console worker's runtime knobs: http_port, engine_url, and version.",
      "metadata": {
        "internal": true
      },
      "name": "console::status",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "title": "StatusInput",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "engine_url": {
            "description": "iii engine WebSocket URL the worker is proxying to.",
            "type": "string"
          },
          "http_port": {
            "description": "TCP port the worker is serving the UI and `/ws` on.",
            "format": "uint16",
            "minimum": 0,
            "type": "integer"
          },
          "version": {
            "description": "Worker version (matches `Cargo.toml`).",
            "type": "string"
          }
        },
        "required": [
          "engine_url",
          "http_port",
          "version"
        ],
        "title": "StatusOutput",
        "type": "object"
      }
    },
    {
      "description": "Serve the console worker's injected console UI assets (content function for its console:script / console:style triggers).",
      "metadata": {
        "internal": true
      },
      "name": "console::ui-content",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "description": "Input of the content function: the console asks for one asset by path.",
        "properties": {
          "path": {
            "description": "The asset path from the trigger config (e.g. `state/page.js`).",
            "type": "string"
          }
        },
        "required": [
          "path"
        ],
        "title": "UiContentInput",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "description": "Output of the content function.",
        "properties": {
          "content": {
            "description": "The asset source, verbatim.",
            "type": "string"
          },
          "content_type": {
            "description": "MIME type the console should serve the asset with.",
            "type": "string"
          }
        },
        "required": [
          "content",
          "content_type"
        ],
        "title": "UiContentResult",
        "type": "object"
      }
    },
    {
      "description": "List the injected console UI assets currently loadable: path, kind (script/style), content hash, and style-lint warnings.",
      "metadata": {
        "internal": true
      },
      "name": "console::ui-manifest",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "title": "UiManifestInput",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "definitions": {
          "AssetKind": {
            "description": "Short asset kind — trigger type ids are `console:*`, kinds stay `script`/`style` in push payloads and the manifest.",
            "enum": [
              "script",
              "style"
            ],
            "type": "string"
          },
          "ManifestAsset": {
            "properties": {
              "hash": {
                "type": "string"
              },
              "kind": {
                "$ref": "#/definitions/AssetKind"
              },
              "path": {
                "type": "string"
              },
              "warnings": {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              "worker": {
                "description": "Best-effort registrant attribution. Not resolved in this build — always `null` (the `<worker>/` path prefix is the human-readable attribution).",
                "type": [
                  "string",
                  "null"
                ]
              }
            },
            "required": [
              "hash",
              "kind",
              "path",
              "warnings"
            ],
            "type": "object"
          },
          "ManifestWorker": {
            "description": "Per-worker summary in the manifest: every worker with at least one *registered* asset — including workers currently toggled off, whose assets are held but not served/announced.",
            "properties": {
              "assets": {
                "description": "Number of registered assets (served only while enabled).",
                "format": "uint",
                "minimum": 0,
                "type": "integer"
              },
              "enabled": {
                "description": "`false` while the worker is in the console configuration's `injectableUi.disabledWorkers` list.",
                "type": "boolean"
              },
              "worker": {
                "description": "Worker name — the first segment of its asset paths.",
                "type": "string"
              }
            },
            "required": [
              "assets",
              "enabled",
              "worker"
            ],
            "type": "object"
          }
        },
        "properties": {
          "assets": {
            "description": "The loadable set: assets of per-worker-disabled workers are held but excluded here (and from tab syncs) until re-enabled.",
            "items": {
              "$ref": "#/definitions/ManifestAsset"
            },
            "type": "array"
          },
          "disabled": {
            "description": "`true` when the `injectable_ui` kill switch is off — the trigger types are unregistered and `/ui` + `/vendor` are not served.",
            "type": "boolean"
          },
          "workers": {
            "description": "Per-worker summary — includes disabled workers (their toggle state lives in the console configuration's `injectableUi.disabledWorkers`).",
            "items": {
              "$ref": "#/definitions/ManifestWorker"
            },
            "type": "array"
          }
        },
        "required": [
          "assets",
          "disabled",
          "workers"
        ],
        "title": "UiManifestOutput",
        "type": "object"
      }
    },
    {
      "description": "Internal: append Console working-directory handoff guidance to Harness generations.",
      "metadata": {
        "internal": true
      },
      "name": "console::working-directory::inject-guidance",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "definitions": {
          "WorkingDirectoryGenerateContext": {
            "properties": {
              "system_prompt": {
                "default": "",
                "type": "string"
              },
              "tools": {
                "items": {
                  "$ref": "#/definitions/WorkingDirectoryTool"
                },
                "type": "array"
              }
            },
            "type": "object"
          },
          "WorkingDirectoryTool": {
            "properties": {
              "name": {
                "type": "string"
              }
            },
            "required": [
              "name"
            ],
            "type": "object"
          }
        },
        "properties": {
          "generate": {
            "$ref": "#/definitions/WorkingDirectoryGenerateContext"
          }
        },
        "title": "WorkingDirectoryGuidanceEvent",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "definitions": {
          "WorkingDirectoryGuidanceMutations": {
            "properties": {
              "system_prompt": {
                "type": [
                  "string",
                  "null"
                ]
              }
            },
            "type": "object"
          }
        },
        "properties": {
          "mutations": {
            "$ref": "#/definitions/WorkingDirectoryGuidanceMutations"
          }
        },
        "required": [
          "mutations"
        ],
        "title": "WorkingDirectoryGuidanceResponse",
        "type": "object"
      }
    },
    {
      "description": "Propose changing the current Harness session's working directory after creating or cloning a project elsewhere. The path is validated, then Console asks the user to confirm before the chat and paired Shell switch together. Call this when the user explicitly asked to continue in the new directory; never use it merely to inspect a file.",
      "metadata": {},
      "name": "console::working-directory::propose",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "path": {
            "description": "Existing directory the user asked to continue working in.",
            "type": "string"
          },
          "reason": {
            "default": null,
            "description": "Short explanation shown with the confirmation.",
            "type": [
              "string",
              "null"
            ]
          },
          "session_id": {
            "default": null,
            "description": "Authoritative Harness context. In-turn calls are stamped before dispatch.",
            "type": [
              "string",
              "null"
            ]
          },
          "turn_id": {
            "default": null,
            "description": "Authoritative Harness turn. In-turn calls are stamped before dispatch.",
            "type": [
              "string",
              "null"
            ]
          }
        },
        "required": [
          "path"
        ],
        "title": "ProposeWorkingDirectoryRequest",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "path": {
            "type": "string"
          },
          "reason": {
            "type": [
              "string",
              "null"
            ]
          },
          "requires_confirmation": {
            "type": "boolean"
          },
          "session_id": {
            "type": "string"
          }
        },
        "required": [
          "path",
          "requires_confirmation",
          "session_id"
        ],
        "title": "ProposeWorkingDirectoryResponse",
        "type": "object"
      }
    },
    {
      "description": "Internal: stamp the authoritative Harness session onto Console working-directory proposals.",
      "metadata": {
        "internal": true
      },
      "name": "console::working-directory::stamp-session",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "definitions": {
          "StampCall": {
            "properties": {
              "arguments": {
                "default": null
              }
            },
            "type": "object"
          }
        },
        "properties": {
          "call": {
            "anyOf": [
              {
                "$ref": "#/definitions/StampCall"
              },
              {
                "type": "null"
              }
            ]
          },
          "session_id": {
            "default": null,
            "type": [
              "string",
              "null"
            ]
          },
          "turn_id": {
            "default": null,
            "type": [
              "string",
              "null"
            ]
          }
        },
        "title": "StampSessionEvent",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "anyOf": [
          {
            "$ref": "#/definitions/StampSessionResponse"
          },
          {
            "type": "null"
          }
        ],
        "definitions": {
          "HookMutations": {
            "properties": {
              "arguments": true
            },
            "required": [
              "arguments"
            ],
            "type": "object"
          },
          "StampSessionResponse": {
            "properties": {
              "decision": {
                "type": "string"
              },
              "mutations": {
                "$ref": "#/definitions/HookMutations"
              }
            },
            "required": [
              "decision",
              "mutations"
            ],
            "type": "object"
          }
        },
        "title": "Nullable_StampSessionResponse"
      }
    },
    {
      "description": "Remove a screen from the console workspace wherever it is shown. Pass `screen: chat` with `session_id` to close one pinned conversation panel. Idempotent: an unmounted screen returns an empty `tab_ids`.",
      "metadata": {},
      "name": "console::workspace::close",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "screen": {
            "type": "string"
          },
          "session_id": {
            "default": null,
            "description": "With `screen: \"chat\"`, close only this conversation session panel.",
            "type": [
              "string",
              "null"
            ]
          }
        },
        "required": [
          "screen"
        ],
        "title": "CloseInput",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "tab_ids": {
            "description": "Tabs the screen was detached from; empty when it was not mounted.",
            "items": {
              "type": "string"
            },
            "type": "array"
          }
        },
        "required": [
          "tab_ids"
        ],
        "title": "CloseOutput",
        "type": "object"
      }
    },
    {
      "description": "List the console workspace the human sees: every tab with its columns and screens, plus which tab is active. Screens are `chat`, `chat:<session-id>`, `traces`, `workers`, or `ext:<page>` for worker pages.",
      "metadata": {},
      "name": "console::workspace::list",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "title": "ListInput",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "definitions": {
          "TabSummary": {
            "properties": {
              "active": {
                "type": "boolean"
              },
              "columns": {
                "format": "uint",
                "minimum": 0,
                "type": "integer"
              },
              "id": {
                "type": "string"
              },
              "name": {
                "type": [
                  "string",
                  "null"
                ]
              },
              "screens": {
                "description": "One entry per column; `null` is an empty column.",
                "items": {
                  "type": [
                    "string",
                    "null"
                  ]
                },
                "type": "array"
              }
            },
            "required": [
              "active",
              "columns",
              "id",
              "screens"
            ],
            "type": "object"
          }
        },
        "properties": {
          "active_tab_id": {
            "type": "string"
          },
          "tabs": {
            "items": {
              "$ref": "#/definitions/TabSummary"
            },
            "type": "array"
          }
        },
        "required": [
          "active_tab_id",
          "tabs"
        ],
        "title": "ListOutput",
        "type": "object"
      }
    },
    {
      "description": "Show a screen to the human in the console workspace, next to the conversation. Reuses the tab that already shows it, else places it beside chat in the active tab, else opens a new tab. Every browser on this engine updates. Use `{\"screen\":\"chat\",\"session_id\":\"<id>\"}` to open a chat panel pinned to one conversation. Use `ext:shell` for the file explorer, `ext:browser` for browser sessions, `ext:editor` for the editor, `workers` for the worker catalog.",
      "metadata": {},
      "name": "console::workspace::open",
      "request_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "properties": {
          "activate": {
            "default": null,
            "description": "Make the tab holding the screen the active one (default true).",
            "type": [
              "boolean",
              "null"
            ]
          },
          "screen": {
            "description": "`chat`, `traces`, `workers`, or `ext:<page-id>` for a worker page.",
            "type": "string"
          },
          "session_id": {
            "default": null,
            "description": "With `screen: \"chat\"`, pin the panel to this conversation session.",
            "type": [
              "string",
              "null"
            ]
          }
        },
        "required": [
          "screen"
        ],
        "title": "OpenInput",
        "type": "object"
      },
      "response_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "definitions": {
          "Placement": {
            "oneOf": [
              {
                "description": "The screen was already mounted; that tab was reused.",
                "enum": [
                  "existing"
                ],
                "type": "string"
              },
              {
                "description": "Placed into an empty column of the active tab.",
                "enum": [
                  "empty_column"
                ],
                "type": "string"
              },
              {
                "description": "A new column was added to the active tab.",
                "enum": [
                  "new_column"
                ],
                "type": "string"
              },
              {
                "description": "The active tab was full; a fresh tab was created.",
                "enum": [
                  "new_tab"
                ],
                "type": "string"
              }
            ]
          }
        },
        "properties": {
          "activated": {
            "type": "boolean"
          },
          "column": {
            "format": "uint",
            "minimum": 0,
            "type": "integer"
          },
          "placement": {
            "$ref": "#/definitions/Placement"
          },
          "screens": {
            "items": {
              "type": [
                "string",
                "null"
              ]
            },
            "type": "array"
          },
          "tab_id": {
            "type": "string"
          }
        },
        "required": [
          "activated",
          "column",
          "placement",
          "screens",
          "tab_id"
        ],
        "title": "OpenOutput",
        "type": "object"
      }
    }
  ],
  "triggers": [
    {
      "description": "A console tab's live-update subscription. The trigger's function_id is the per-tab handler the console pushes sync/set/delete asset events to.",
      "invocation_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "description": "`console:assets` subscriptions carry no config; every subscriber gets every event.",
        "title": "SubscriptionTriggerConfig",
        "type": "object"
      },
      "metadata": {},
      "name": "console:assets",
      "return_schema": {}
    },
    {
      "description": "An ESM JavaScript asset injected into the console UI. `config.path` is the asset identity (re-registering a path overrides it); the trigger's function_id is the content function the console fetches source from.",
      "invocation_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "description": "Trigger config schema for both asset types (`additionalProperties` enforced console-side; the engine treats trigger config schemas as advisory).",
        "properties": {
          "path": {
            "description": "Asset identity. Convention: `<worker>/<name>.<ext>`. Re-registering a path overrides it.",
            "type": "string"
          }
        },
        "required": [
          "path"
        ],
        "title": "AssetTriggerConfig",
        "type": "object"
      },
      "metadata": {},
      "name": "console:script",
      "return_schema": {}
    },
    {
      "description": "A CSS asset injected into the console UI. Same contract as console:script with a .css path.",
      "invocation_schema": {
        "$schema": "http://json-schema.org/draft-07/schema#",
        "additionalProperties": false,
        "description": "Trigger config schema for both asset types (`additionalProperties` enforced console-side; the engine treats trigger config schemas as advisory).",
        "properties": {
          "path": {
            "description": "Asset identity. Convention: `<worker>/<name>.<ext>`. Re-registering a path overrides it.",
            "type": "string"
          }
        },
        "required": [
          "path"
        ],
        "title": "AssetTriggerConfig",
        "type": "object"
      },
      "metadata": {},
      "name": "console:style",
      "return_schema": {}
    }
  ]
}