@codingame/monaco-vscode-chat-service-override 30.0.0 → 31.0.0

package/vscode/src/vs/platform/agentHost/common/state/protocol/commands.d.ts

@@ -1,5 +1,6 @@
-import type { URI, ISnapshot, ISessionSummary, ITurn } from "./state.js";
-import type { IActionEnvelope, IStateAction } from "./actions.js";
+import type { URI, ISnapshot, ISessionConfigSchema, ISessionSummary, IModelSelection, ITurn, ITerminalClaim } from "@codingame/monaco-vscode-xterm-common/vscode/vs/platform/agentHost/common/state/protocol/state";
+import type { IActionEnvelope, IStateAction } from "@codingame/monaco-vscode-xterm-common/vscode/vs/platform/agentHost/common/state/protocol/actions";
+export type { IConfigPropertySchema, IConfigSchema, ISessionConfigPropertySchema, ISessionConfigSchema } from "@codingame/monaco-vscode-xterm-common/vscode/vs/platform/agentHost/common/state/protocol/state";
 /**
  * Establishes a new connection and negotiates the protocol version.
  * This MUST be the first message sent by the client.
@@ -137,15 +138,38 @@ export interface ISubscribeResult {
  * { "jsonrpc": "2.0", "id": 2, "error": { "code": -32003, "message": "Session already exists" } }
  * ```
  */
+/**
+ * Identifies a source session and turn to fork from.
+ *
+ * When provided in `createSession`, the server populates the new session with
+ * content from the source session up to and including the response of the
+ * specified turn.
+ */
+export interface ISessionForkSource {
+    /** URI of the existing session to fork from */
+    session: URI;
+    /** Turn ID in the source session; content up to and including this turn's response is copied */
+    turnId: string;
+}
 export interface ICreateSessionParams {
     /** Session URI (client-chosen, e.g. `copilot:/<uuid>`) */
     session: URI;
     /** Agent provider ID */
     provider?: string;
-    /** Model ID to use */
-    model?: string;
+    /** Model selection (ID and optional model-specific configuration) */
+    model?: IModelSelection;
     /** Working directory for the session */
     workingDirectory?: URI;
+    /**
+     * Fork from an existing session. The new session is populated with content
+     * from the source session up to and including the specified turn's response.
+     */
+    fork?: ISessionForkSource;
+    /**
+     * Agent-specific configuration values collected via `resolveSessionConfig`.
+     * Keys and values correspond to the schema returned by the server.
+     */
+    config?: Record<string, string>;
 }
 /**
  * Disposes a session and cleans up server-side resources.
@@ -162,6 +186,49 @@ export interface IDisposeSessionParams {
     /** Session URI to dispose */
     session: URI;
 }
+/**
+ * Creates a new terminal on the server.
+ *
+ * After creation, the client should subscribe to the terminal URI to receive
+ * state updates. The server dispatches `root/terminalsChanged` to update the
+ * root terminal list.
+ *
+ * @category Commands
+ * @method createTerminal
+ * @direction Client → Server
+ * @messageType Request
+ * @version 1
+ */
+export interface ICreateTerminalParams {
+    /** Terminal URI (client-chosen) */
+    terminal: URI;
+    /** Initial owner of the terminal */
+    claim: ITerminalClaim;
+    /** Human-readable terminal name */
+    name?: string;
+    /** Initial working directory URI */
+    cwd?: URI;
+    /** Initial terminal width in columns */
+    cols?: number;
+    /** Initial terminal height in rows */
+    rows?: number;
+}
+/**
+ * Disposes a terminal and kills its process if still running.
+ *
+ * The server dispatches `root/terminalsChanged` to remove the terminal from
+ * the root terminal list.
+ *
+ * @category Commands
+ * @method disposeTerminal
+ * @direction Client → Server
+ * @messageType Request
+ * @version 1
+ */
+export interface IDisposeTerminalParams {
+    /** Terminal URI to dispose */
+    terminal: URI;
+}
 /**
  * Returns a list of session summaries. Used to populate session lists and sidebars.
  *
@@ -194,7 +261,7 @@ export declare enum ContentEncoding {
     Utf8 = "utf-8"
 }
 /**
- * Fetches large content referenced by a `ContentRef` in the state tree.
+ * Reads the content of a resource by URI.
  *
  * Content references keep the state tree small by storing large data (images,
  * long tool outputs) by reference rather than inline.
@@ -203,7 +270,7 @@ export declare enum ContentEncoding {
  * use `utf-8` encoding.
  *
  * @category Commands
- * @method fetchContent
+ * @method resourceRead
  * @direction Client → Server
  * @messageType Request
  * @version 1
@@ -212,7 +279,7 @@ export declare enum ContentEncoding {
  * @example
  * ```jsonc
  * // Client → Server
- * { "jsonrpc": "2.0", "id": 10, "method": "fetchContent",
+ * { "jsonrpc": "2.0", "id": 10, "method": "resourceRead",
  *   "params": { "uri": "copilot:/<uuid>/content/img-1" } }
  *
  * // Server → Client
@@ -223,20 +290,20 @@ export declare enum ContentEncoding {
  * }}
  * ```
  */
-export interface IFetchContentParams {
+export interface IResourceReadParams {
     /** Content URI from a `ContentRef` */
     uri: string;
     /** Preferred encoding for the returned data (default: server-chosen) */
     encoding?: ContentEncoding;
 }
 /**
- * Result of the `fetchContent` command.
+ * Result of the `resourceRead` command.
  *
  * The server SHOULD honor the `encoding` requested in the params. If the
  * server cannot provide the requested encoding, it MUST fall back to either
  * `base64` or `utf-8`.
  */
-export interface IFetchContentResult {
+export interface IResourceReadResult {
     /** Content encoded as a string */
     data: string;
     /** How `data` is encoded */
@@ -254,7 +321,7 @@ export interface IFetchContentResult {
  * overwritten unless `createOnly` is set.
  *
  * @category Commands
- * @method writeFile
+ * @method resourceWrite
  * @direction Client → Server
  * @messageType Request
  * @version 1
@@ -264,7 +331,7 @@ export interface IFetchContentResult {
  * @example
  * ```jsonc
  * // Client → Server
- * { "jsonrpc": "2.0", "id": 11, "method": "writeFile",
+ * { "jsonrpc": "2.0", "id": 11, "method": "resourceWrite",
  *   "params": { "uri": "file:///workspace/hello.txt", "data": "SGVsbG8=",
  *              "encoding": "base64", "contentType": "text/plain" } }
  *
@@ -272,7 +339,7 @@ export interface IFetchContentResult {
  * { "jsonrpc": "2.0", "id": 11, "result": {} }
  * ```
  */
-export interface IWriteFileParams {
+export interface IResourceWriteParams {
     /** Target file URI on the server filesystem */
     uri: URI;
     /** Content encoded as a string */
@@ -288,11 +355,11 @@ export interface IWriteFileParams {
     createOnly?: boolean;
 }
 /**
- * Result of the `writeFile` command.
+ * Result of the `resourceWrite` command.
  *
  * An empty object on success.
  */
-export interface IWriteFileResult {
+export interface IResourceWriteResult {
 }
 /**
  * Lists directory entries at a file URI on the server's filesystem.
@@ -305,19 +372,19 @@ export interface IWriteFileResult {
  * server MUST return a JSON-RPC error.
  *
  * @category Commands
- * @method browseDirectory
+ * @method resourceList
  * @direction Client → Server
  * @messageType Request
  * @version 1
  * @throws `NotFound` (`-32008`) if the directory does not exist.
  * @throws `PermissionDenied` (`-32009`) if the client is not permitted to browse the directory.
  */
-export interface IBrowseDirectoryParams {
+export interface IResourceListParams {
     /** Directory URI on the server filesystem */
     uri: URI;
 }
 /**
- * Directory entry returned by `browseDirectory`.
+ * Directory entry returned by `resourceList`.
  */
 export interface IDirectoryEntry {
     /** Base name of the entry */
@@ -326,9 +393,9 @@ export interface IDirectoryEntry {
     type: "file" | "directory";
 }
 /**
- * Result of the `browseDirectory` command.
+ * Result of the `resourceList` command.
  */
-export interface IBrowseDirectoryResult {
+export interface IResourceListResult {
     /** Entries directly contained in the requested directory */
     entries: IDirectoryEntry[];
 }
@@ -407,27 +474,97 @@ export interface IDispatchActionParams {
     action: IStateAction;
 }
 /**
- * Lists the contents of a directory on the server. Used by clients to
- * present directory pickers or file browsers.
+ * Copies a resource from one URI to another on the server's filesystem.
+ *
+ * If the destination already exists, it is overwritten unless `failIfExists`
+ * is set.
+ *
+ * @category Commands
+ * @method resourceCopy
+ * @direction Client → Server
+ * @messageType Request
+ * @version 1
+ * @throws `NotFound` (`-32008`) if the source does not exist.
+ * @throws `PermissionDenied` (`-32009`) if the client is not permitted to read the source or write to the destination.
+ * @throws `AlreadyExists` (`-32010`) if `failIfExists` is set and the destination already exists.
+ */
+export interface IResourceCopyParams {
+    /** Source URI to copy from */
+    source: URI;
+    /** Destination URI to copy to */
+    destination: URI;
+    /**
+     * If `true`, the server MUST fail if the destination already exists instead
+     * of overwriting it.
+     */
+    failIfExists?: boolean;
+}
+/**
+ * Result of the `resourceCopy` command.
+ *
+ * An empty object on success.
+ */
+export interface IResourceCopyResult {
+}
+/**
+ * Deletes a resource at a URI on the server's filesystem.
  *
  * @category Commands
- * @method browseDirectory
+ * @method resourceDelete
  * @direction Client → Server
  * @messageType Request
  * @version 1
+ * @throws `NotFound` (`-32008`) if the resource does not exist.
+ * @throws `PermissionDenied` (`-32009`) if the client is not permitted to delete the resource.
  */
-export interface IBrowseDirectoryParams {
-    /** Directory path to browse. Omit to list the default/root directory. */
-    directory?: string;
+export interface IResourceDeleteParams {
+    /** URI of the resource to delete */
+    uri: URI;
+    /**
+     * If `true` and the target is a directory, delete it and all its contents
+     * recursively. If `false` (default), deleting a non-empty directory MUST fail.
+     */
+    recursive?: boolean;
 }
 /**
- * A single entry in a directory listing.
+ * Result of the `resourceDelete` command.
+ *
+ * An empty object on success.
  */
-export interface IBrowseDirectoryEntry {
-    /** Entry name (not a full path) */
-    name: string;
-    /** Whether this entry is a directory */
-    isDirectory: boolean;
+export interface IResourceDeleteResult {
+}
+/**
+ * Moves (renames) a resource from one URI to another on the server's filesystem.
+ *
+ * If the destination already exists, it is overwritten unless `failIfExists`
+ * is set.
+ *
+ * @category Commands
+ * @method resourceMove
+ * @direction Client → Server
+ * @messageType Request
+ * @version 1
+ * @throws `NotFound` (`-32008`) if the source does not exist.
+ * @throws `PermissionDenied` (`-32009`) if the client is not permitted to move the resource.
+ * @throws `AlreadyExists` (`-32010`) if `failIfExists` is set and the destination already exists.
+ */
+export interface IResourceMoveParams {
+    /** Source URI to move from */
+    source: URI;
+    /** Destination URI to move to */
+    destination: URI;
+    /**
+     * If `true`, the server MUST fail if the destination already exists instead
+     * of overwriting it.
+     */
+    failIfExists?: boolean;
+}
+/**
+ * Result of the `resourceMove` command.
+ *
+ * An empty object on success.
+ */
+export interface IResourceMoveResult {
 }
 /**
  * Pushes a Bearer token for a protected resource. The `resource` field MUST
@@ -476,3 +613,137 @@ export interface IAuthenticateParams {
  */
 export interface IAuthenticateResult {
 }
+/**
+ * Iteratively resolves the session configuration schema. The client sends the
+ * current partial session config and any user-filled metadata values. The server
+ * returns a property schema describing what additional metadata is needed,
+ * contextual to the current selections.
+ *
+ * The client calls this command whenever the user changes a significant input
+ * (e.g. picks a working directory, toggles a property). Each response returns
+ * the full current property set (not a delta). The returned `values` contain
+ * server-resolved defaults to pass to `createSession`.
+ *
+ * @category Commands
+ * @method resolveSessionConfig
+ * @direction Client → Server
+ * @messageType Request
+ * @version 1
+ * @example
+ * ```jsonc
+ * // Step 1: Client picks a working directory
+ * // Client → Server
+ * { "jsonrpc": "2.0", "id": 5, "method": "resolveSessionConfig",
+ *   "params": { "workingDirectory": "file:///home/user/my-project" } }
+ *
+ * // Server → Client (git repo detected, offers worktree option)
+ * { "jsonrpc": "2.0", "id": 5, "result": {
+ *   "schema": {
+ *     "type": "object",
+ *     "properties": {
+ *       "target": { "type": "string", "title": "Target", "enum": ["workspace", "worktree"] }
+ *     }
+ *   },
+ *   "values": {}
+ * }}
+ *
+ * // Step 2: User enables worktree
+ * // Client → Server
+ * { "jsonrpc": "2.0", "id": 6, "method": "resolveSessionConfig",
+ *   "params": { "workingDirectory": "file:///home/user/my-project",
+ *               "config": { "target": "worktree" } } }
+ *
+ * // Server → Client (now requires branch selection)
+ * { "jsonrpc": "2.0", "id": 6, "result": {
+ *   "schema": {
+ *     "type": "object",
+ *     "properties": {
+ *       "target": { "type": "string", "title": "Target", "enum": ["workspace", "worktree"] },
+ *       "baseBranch": { "type": "string", "title": "Base Branch",
+ *                       "enum": ["main", "develop"],
+ *                       "enumLabels": ["main", "develop"] }
+ *     },
+ *     "required": ["baseBranch"]
+ *   },
+ *   "values": { "target": "worktree" }
+ * }}
+ * ```
+ */
+export interface IResolveSessionConfigParams {
+    /** Agent provider ID */
+    provider?: string;
+    /** Working directory for the session */
+    workingDirectory?: URI;
+    /** Current user-filled configuration values */
+    config?: Record<string, string>;
+}
+/**
+ * Result of the `resolveSessionConfig` command.
+ */
+export interface IResolveSessionConfigResult {
+    /** JSON Schema describing available configuration properties given the current context */
+    schema: ISessionConfigSchema;
+    /** Current configuration values (echoed back with server-resolved defaults applied) */
+    values: Record<string, string>;
+}
+/**
+ * A single value item returned by `sessionConfigCompletions`.
+ *
+ * @category Commands
+ */
+export interface ISessionConfigValueItem {
+    /** The value to store in config */
+    value: string;
+    /** Human-readable display label */
+    label: string;
+    /** Optional secondary description */
+    description?: string;
+}
+/**
+ * Queries the server for allowed values of a dynamic session config property.
+ *
+ * Used when a property in the schema returned by `resolveSessionConfig` has
+ * `enumDynamic: true`. The client sends a search query and receives matching
+ * values with display metadata.
+ *
+ * @category Commands
+ * @method sessionConfigCompletions
+ * @direction Client → Server
+ * @messageType Request
+ * @version 1
+ * @example
+ * ```jsonc
+ * // Client → Server (user types "ma" in branch picker)
+ * { "jsonrpc": "2.0", "id": 7, "method": "sessionConfigCompletions",
+ *   "params": { "workingDirectory": "file:///home/user/my-project",
+ *               "config": { "target": "worktree" },
+ *               "property": "baseBranch", "query": "ma" } }
+ *
+ * // Server → Client
+ * { "jsonrpc": "2.0", "id": 7, "result": {
+ *   "items": [
+ *     { "value": "main", "label": "main", "icon": "git-branch" },
+ *     { "value": "main-v2", "label": "main-v2", "icon": "git-branch" }
+ *   ]
+ * }}
+ * ```
+ */
+export interface ISessionConfigCompletionsParams {
+    /** Agent provider ID */
+    provider?: string;
+    /** Working directory for the session */
+    workingDirectory?: URI;
+    /** Current user-filled configuration values (provides context for the query) */
+    config?: Record<string, string>;
+    /** Property id from the schema to query values for */
+    property: string;
+    /** Search filter text (empty or omitted returns default/recent values) */
+    query?: string;
+}
+/**
+ * Result of the `sessionConfigCompletions` command.
+ */
+export interface ISessionConfigCompletionsResult {
+    /** Matching value items */
+    items: ISessionConfigValueItem[];
+}

package/vscode/src/vs/platform/agentHost/common/state/protocol/commands.js

@@ -0,0 +1,14 @@
+
+
+var ReconnectResultType;
+(function (ReconnectResultType) {
+    ReconnectResultType["Replay"] = "replay";
+    ReconnectResultType["Snapshot"] = "snapshot";
+})(ReconnectResultType || (ReconnectResultType = {}));
+var ContentEncoding;
+(function (ContentEncoding) {
+    ContentEncoding["Base64"] = "base64";
+    ContentEncoding["Utf8"] = "utf-8";
+})(ContentEncoding || (ContentEncoding = {}));
+
+export { ContentEncoding, ReconnectResultType };

package/vscode/src/vs/platform/agentHost/common/state/protocol/errors.d.ts

@@ -55,7 +55,7 @@ export declare const AhpErrorCodes: {
     readonly PermissionDenied: -32009;
     /**
      * The target resource already exists and the operation does not allow
-     * overwriting (e.g. `writeFile` with `createOnly: true`).
+     * overwriting (e.g. `resourceWrite` with `createOnly: true`).
      */
     readonly AlreadyExists: -32010;
 };

package/vscode/src/vs/platform/agentHost/common/state/protocol/errors.js

@@ -0,0 +1,9 @@
+
+
+const AhpErrorCodes = {
+    NotFound: -32008,
+    PermissionDenied: -32009,
+    AlreadyExists: -32010,
+};
+
+export { AhpErrorCodes };

package/vscode/src/vs/platform/agentHost/common/state/protocol/reducers.d.ts

@@ -0,0 +1,30 @@
+import { type IRootState, type ISessionState, type ITerminalState } from "@codingame/monaco-vscode-xterm-common/vscode/vs/platform/agentHost/common/state/protocol/state";
+import { type IRootAction, type ISessionAction, type IClientSessionAction, type ITerminalAction, type IClientTerminalAction } from "@codingame/monaco-vscode-api/vscode/vs/platform/agentHost/common/state/protocol/action-origin.generated";
+/**
+ * Soft assertion for exhaustiveness checking. Place in the `default` branch of
+ * a switch on a discriminated union so the compiler errors when a new variant
+ * is added but not handled.
+ *
+ * At runtime, logs a warning instead of throwing so that forward-compatible
+ * clients receiving unknown actions from a newer server degrade gracefully.
+ */
+export declare function softAssertNever(value: never, log?: (msg: string) => void): void;
+/**
+ * Pure reducer for root state. Handles all {@link IRootAction} variants.
+ */
+export declare function rootReducer(state: IRootState, action: IRootAction, log?: (msg: string) => void): IRootState;
+/**
+ * Pure reducer for session state. Handles all {@link ISessionAction} variants.
+ */
+export declare function sessionReducer(state: ISessionState, action: ISessionAction, log?: (msg: string) => void): ISessionState;
+/**
+ * Pure reducer for terminal state. Handles all {@link ITerminalAction} variants.
+ */
+export declare function terminalReducer(state: ITerminalState, action: ITerminalAction, log?: (msg: string) => void): ITerminalState;
+/**
+ * Type guard that checks whether a session action may be dispatched by a client.
+ *
+ * Servers SHOULD call this to validate incoming `dispatchAction` requests
+ * and reject any action the client is not allowed to originate.
+ */
+export declare function isClientDispatchable(action: ISessionAction | ITerminalAction): action is IClientSessionAction | IClientTerminalAction;