@codingame/monaco-vscode-xterm-common 30.0.1 → 31.0.1

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

@@ -0,0 +1,56 @@
+
+
+var ActionType;
+(function (ActionType) {
+    ActionType["RootAgentsChanged"] = "root/agentsChanged";
+    ActionType["RootActiveSessionsChanged"] = "root/activeSessionsChanged";
+    ActionType["SessionReady"] = "session/ready";
+    ActionType["SessionCreationFailed"] = "session/creationFailed";
+    ActionType["SessionTurnStarted"] = "session/turnStarted";
+    ActionType["SessionDelta"] = "session/delta";
+    ActionType["SessionResponsePart"] = "session/responsePart";
+    ActionType["SessionToolCallStart"] = "session/toolCallStart";
+    ActionType["SessionToolCallDelta"] = "session/toolCallDelta";
+    ActionType["SessionToolCallReady"] = "session/toolCallReady";
+    ActionType["SessionToolCallConfirmed"] = "session/toolCallConfirmed";
+    ActionType["SessionToolCallComplete"] = "session/toolCallComplete";
+    ActionType["SessionToolCallResultConfirmed"] = "session/toolCallResultConfirmed";
+    ActionType["SessionToolCallContentChanged"] = "session/toolCallContentChanged";
+    ActionType["SessionTurnComplete"] = "session/turnComplete";
+    ActionType["SessionTurnCancelled"] = "session/turnCancelled";
+    ActionType["SessionError"] = "session/error";
+    ActionType["SessionTitleChanged"] = "session/titleChanged";
+    ActionType["SessionUsage"] = "session/usage";
+    ActionType["SessionReasoning"] = "session/reasoning";
+    ActionType["SessionModelChanged"] = "session/modelChanged";
+    ActionType["SessionServerToolsChanged"] = "session/serverToolsChanged";
+    ActionType["SessionActiveClientChanged"] = "session/activeClientChanged";
+    ActionType["SessionActiveClientToolsChanged"] = "session/activeClientToolsChanged";
+    ActionType["SessionPendingMessageSet"] = "session/pendingMessageSet";
+    ActionType["SessionPendingMessageRemoved"] = "session/pendingMessageRemoved";
+    ActionType["SessionQueuedMessagesReordered"] = "session/queuedMessagesReordered";
+    ActionType["SessionInputRequested"] = "session/inputRequested";
+    ActionType["SessionInputAnswerChanged"] = "session/inputAnswerChanged";
+    ActionType["SessionInputCompleted"] = "session/inputCompleted";
+    ActionType["SessionCustomizationsChanged"] = "session/customizationsChanged";
+    ActionType["SessionCustomizationToggled"] = "session/customizationToggled";
+    ActionType["SessionTruncated"] = "session/truncated";
+    ActionType["SessionIsReadChanged"] = "session/isReadChanged";
+    ActionType["SessionIsDoneChanged"] = "session/isDoneChanged";
+    ActionType["SessionDiffsChanged"] = "session/diffsChanged";
+    ActionType["SessionConfigChanged"] = "session/configChanged";
+    ActionType["RootTerminalsChanged"] = "root/terminalsChanged";
+    ActionType["TerminalData"] = "terminal/data";
+    ActionType["TerminalInput"] = "terminal/input";
+    ActionType["TerminalResized"] = "terminal/resized";
+    ActionType["TerminalClaimed"] = "terminal/claimed";
+    ActionType["TerminalTitleChanged"] = "terminal/titleChanged";
+    ActionType["TerminalCwdChanged"] = "terminal/cwdChanged";
+    ActionType["TerminalExited"] = "terminal/exited";
+    ActionType["TerminalCleared"] = "terminal/cleared";
+    ActionType["TerminalCommandDetectionAvailable"] = "terminal/commandDetectionAvailable";
+    ActionType["TerminalCommandExecuted"] = "terminal/commandExecuted";
+    ActionType["TerminalCommandFinished"] = "terminal/commandFinished";
+})(ActionType || (ActionType = {}));
+
+export { ActionType };

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

@@ -0,0 +1,179 @@
+import type { URI, ISessionSummary } from "./state.js";
+/**
+ * Reason why authentication is required.
+ *
+ * @category Protocol Notifications
+ */
+export declare enum AuthRequiredReason {
+    /** The client has not yet authenticated for the resource */
+    Required = "required",
+    /** A previously valid token has expired or been revoked */
+    Expired = "expired"
+}
+/**
+ * Discriminant values for all protocol notifications.
+ *
+ * @category Protocol Notifications
+ */
+export declare enum NotificationType {
+    SessionAdded = "notify/sessionAdded",
+    SessionRemoved = "notify/sessionRemoved",
+    SessionSummaryChanged = "notify/sessionSummaryChanged",
+    AuthRequired = "notify/authRequired"
+}
+/**
+ * Broadcast to all connected clients when a new session is created.
+ *
+ * @category Protocol Notifications
+ * @version 1
+ * @example
+ * ```json
+ * {
+ *   "jsonrpc": "2.0",
+ *   "method": "notification",
+ *   "params": {
+ *     "notification": {
+ *       "type": "notify/sessionAdded",
+ *       "summary": {
+ *         "resource": "copilot:/<uuid>",
+ *         "provider": "copilot",
+ *         "title": "New Session",
+ *         "status": 1,
+ *         "createdAt": 1710000000000,
+ *         "modifiedAt": 1710000000000
+ *       }
+ *     }
+ *   }
+ * }
+ * ```
+ */
+export interface ISessionAddedNotification {
+    type: NotificationType.SessionAdded;
+    /** Summary of the new session */
+    summary: ISessionSummary;
+}
+/**
+ * Broadcast to all connected clients when a session is disposed.
+ *
+ * @category Protocol Notifications
+ * @version 1
+ * @example
+ * ```json
+ * {
+ *   "jsonrpc": "2.0",
+ *   "method": "notification",
+ *   "params": {
+ *     "notification": {
+ *       "type": "notify/sessionRemoved",
+ *       "session": "copilot:/<uuid>"
+ *     }
+ *   }
+ * }
+ * ```
+ */
+export interface ISessionRemovedNotification {
+    type: NotificationType.SessionRemoved;
+    /** URI of the removed session */
+    session: URI;
+}
+/**
+ * Broadcast to all connected clients when an existing session's summary
+ * changes (title, status, `modifiedAt`, model, working directory, read/done
+ * state, or diff statistics).
+ *
+ * This notification lets clients that maintain a cached session list — for
+ * example, the result of a previous `listSessions()` call — stay in sync with
+ * in-flight sessions without having to subscribe to every session URI
+ * individually. It is complementary to, not a replacement for,
+ * `notify/sessionAdded` and `notify/sessionRemoved`: those signal lifecycle
+ * (creation/disposal), while this signals summary-level mutations on an
+ * already-known session.
+ *
+ * Semantics:
+ *
+ * - Only fields present in `changes` have new values; omitted fields are
+ *   unchanged on the client's cached summary.
+ * - Identity fields (`resource`, `provider`, `createdAt`) never change and
+ *   are not carried.
+ * - Like all protocol notifications, this is ephemeral: it is **not**
+ *   replayed on reconnect. On reconnect, clients should re-fetch the full
+ *   catalog via `listSessions()` as usual.
+ * - The server SHOULD emit this notification whenever any mutable field on
+ *   {@link ISessionSummary | `ISessionSummary`} changes for a session the
+ *   server has surfaced via `listSessions()` or `notify/sessionAdded`.
+ *   Servers MAY coalesce or debounce updates for noisy fields (for example,
+ *   `modifiedAt` bumps while a turn is streaming, or rapidly changing
+ *   `diffs`) at their discretion.
+ * - Clients that have no cached entry for `session` MAY ignore the
+ *   notification; it is not a substitute for `notify/sessionAdded`.
+ *
+ * @category Protocol Notifications
+ * @version 1
+ * @example
+ * ```json
+ * {
+ *   "jsonrpc": "2.0",
+ *   "method": "notification",
+ *   "params": {
+ *     "notification": {
+ *       "type": "notify/sessionSummaryChanged",
+ *       "session": "copilot:/<uuid>",
+ *       "changes": {
+ *         "title": "Refactor auth middleware",
+ *         "status": 8,
+ *         "modifiedAt": 1710000123456
+ *       }
+ *     }
+ *   }
+ * }
+ * ```
+ */
+export interface ISessionSummaryChangedNotification {
+    type: NotificationType.SessionSummaryChanged;
+    /** URI of the session whose summary changed */
+    session: URI;
+    /**
+     * Mutable summary fields that changed; omitted fields are unchanged.
+     *
+     * Identity fields (`resource`, `provider`, `createdAt`) never change and
+     * MUST be omitted by senders; receivers SHOULD ignore them if present.
+     */
+    changes: Partial<ISessionSummary>;
+}
+/**
+ * Sent by the server when a protected resource requires (re-)authentication.
+ *
+ * This notification is sent when a previously valid token expires or is
+ * revoked, or when the server discovers a new authentication requirement.
+ * Clients should obtain a fresh token and push it via the `authenticate`
+ * command.
+ *
+ * @category Protocol Notifications
+ * @version 1
+ * @see {@link /specification/authentication | Authentication}
+ * @example
+ * ```json
+ * {
+ *   "jsonrpc": "2.0",
+ *   "method": "notification",
+ *   "params": {
+ *     "notification": {
+ *       "type": "notify/authRequired",
+ *       "resource": "https://api.github.com",
+ *       "reason": "expired"
+ *     }
+ *   }
+ * }
+ * ```
+ */
+export interface IAuthRequiredNotification {
+    type: NotificationType.AuthRequired;
+    /** The protected resource identifier that requires authentication */
+    resource: string;
+    /** Why authentication is required */
+    reason?: AuthRequiredReason;
+}
+/**
+ * Discriminated union of all protocol notifications.
+ */
+export type IProtocolNotification = ISessionAddedNotification | ISessionRemovedNotification | ISessionSummaryChangedNotification | IAuthRequiredNotification;

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

@@ -0,0 +1,16 @@
+
+
+var AuthRequiredReason;
+(function (AuthRequiredReason) {
+    AuthRequiredReason["Required"] = "required";
+    AuthRequiredReason["Expired"] = "expired";
+})(AuthRequiredReason || (AuthRequiredReason = {}));
+var NotificationType;
+(function (NotificationType) {
+    NotificationType["SessionAdded"] = "notify/sessionAdded";
+    NotificationType["SessionRemoved"] = "notify/sessionRemoved";
+    NotificationType["SessionSummaryChanged"] = "notify/sessionSummaryChanged";
+    NotificationType["AuthRequired"] = "notify/authRequired";
+})(NotificationType || (NotificationType = {}));
+
+export { AuthRequiredReason, NotificationType };