@theia/ai-copilot 1.76.0-next.4 → 1.76.0-next.42

package/lib/node/copilot-sdk-types.d.ts

@@ -0,0 +1,208 @@
+/**
+ * The part of the Copilot SDK API this integration uses, mirrored by hand.
+ *
+ * Mirrored from `@github/copilot-sdk` 1.0.9 (protocol version 3), which the Copilot CLI 1.0.79 ships.
+ * The package is deliberately not a dependency: it depends on the CLI, a large proprietary binary that
+ * would end up in the tree and the lockfile of every application. The CLI is a prerequisite on the
+ * backend host instead, see `CopilotCliLocator`, and the SDK is loaded from it at runtime, see
+ * `CopilotSdkLoader`.
+ *
+ * Only what this integration passes to the SDK or reads from it is declared, so a drift shows up as a
+ * compile error here rather than at runtime. `scripts/copilot-sdk-mirror` checks the mirror against a
+ * released SDK and runs in CI on a schedule; update the version above along with the declarations.
+ */
+export interface ModelPolicy {
+    state: 'enabled' | 'disabled' | 'unconfigured';
+}
+/** A model as reported by {@link CopilotClient.listModels}. */
+export interface ModelInfo {
+    /** Model identifier, for example `claude-sonnet-4.5`. */
+    id: string;
+    policy?: ModelPolicy;
+}
+/** The sections the runtime assembles its system prompt from. Unknown ids are a silent no-op there. */
+export type SystemMessageSection = 'preamble' | 'identity' | 'tone' | 'tool_efficiency' | 'environment_context' | 'code_change_rules' | 'guidelines' | 'safety' | 'tool_instructions' | 'custom_instructions' | 'runtime_instructions' | 'last_instructions';
+export type SectionTransformFn = (currentContent: string) => string | Promise<string>;
+export type SectionOverrideAction = 'replace' | 'remove' | 'append' | 'prepend' | 'preserve' | SectionTransformFn;
+export interface SectionOverride {
+    action: SectionOverrideAction;
+    content?: string;
+}
+/** The SDK foundation plus the given content. */
+export interface SystemMessageAppendConfig {
+    mode?: 'append';
+    content?: string;
+}
+/** The given content as the entire system message. */
+export interface SystemMessageReplaceConfig {
+    mode: 'replace';
+    content: string;
+}
+/** The SDK structure with section-level overrides, which is what this integration uses. */
+export interface SystemMessageCustomizeConfig {
+    mode: 'customize';
+    sections?: Partial<Record<SystemMessageSection, SectionOverride>>;
+    content?: string;
+}
+export type SystemMessageConfig = SystemMessageAppendConfig | SystemMessageReplaceConfig | SystemMessageCustomizeConfig;
+/** What the runtime tells a tool handler about its invocation. */
+export interface ToolInvocation {
+    sessionId: string;
+    toolCallId: string;
+    toolName: string;
+    arguments: unknown;
+}
+export type ToolHandler = (args: unknown, invocation: ToolInvocation) => Promise<unknown> | unknown;
+/** A tool declared to the runtime. `parameters` also accepts a Zod schema upstream. */
+export interface Tool {
+    name: string;
+    description?: string;
+    parameters?: Record<string, unknown>;
+    handler?: ToolHandler;
+    /** When true, the tool runs without a permission prompt of the runtime. */
+    skipPermission?: boolean;
+}
+/**
+ * A permission request of the runtime, upstream a union over the kind of operation with its own fields.
+ * Only `managedApprovalRequired` is read, which managed policy sets for a request it reserves for the
+ * user.
+ */
+export interface PermissionRequest {
+    readonly kind: string;
+    readonly managedApprovalRequired?: boolean;
+}
+/** The decisions this integration can return. Upstream also has scopes that outlive a request. */
+export type PermissionRequestResult = {
+    kind: 'approve-once';
+} | {
+    kind: 'reject';
+    feedback?: string;
+}
+/** No user is available to confirm the request. */
+ | {
+    kind: 'user-not-available';
+}
+/** Leaves the request pending, so that another connected client can answer it. */
+ | {
+    kind: 'no-result';
+};
+export type PermissionHandler = (request: PermissionRequest, invocation: {
+    sessionId: string;
+    managedSettingsEnabled?: boolean;
+}) => Promise<PermissionRequestResult> | PermissionRequestResult;
+/** The envelope every session event comes in. */
+export interface SessionEvent<T extends string, D> {
+    readonly type: T;
+    readonly data: D;
+}
+/** The session events this integration listens to, keyed by their type discriminator. */
+export interface CopilotSessionEvents {
+    'assistant.message_delta': SessionEvent<'assistant.message_delta', {
+        readonly deltaContent: string;
+    }>;
+    'assistant.reasoning_delta': SessionEvent<'assistant.reasoning_delta', {
+        readonly deltaContent: string;
+    }>;
+    'assistant.message': SessionEvent<'assistant.message', {
+        readonly content: string;
+        readonly outputTokens?: number;
+    }>;
+    'assistant.usage': SessionEvent<'assistant.usage', {
+        readonly inputTokens?: number;
+        readonly outputTokens?: number;
+    }>;
+    /** Nothing of its payload is read, the event itself is the signal that the turn is over. */
+    'session.idle': SessionEvent<'session.idle', unknown>;
+    'session.error': SessionEvent<'session.error', {
+        readonly errorType: string;
+        readonly message: string;
+        readonly statusCode?: number;
+        readonly stack?: string;
+    }>;
+}
+export type CopilotSessionEventType = keyof CopilotSessionEvents;
+/** The one attachment kind this integration produces: an inline image, from `MessageOptions['attachments']`. */
+export interface BlobMessageAttachment {
+    type: 'blob';
+    data: string;
+    mimeType: string;
+    displayName?: string;
+}
+/** The options this integration passes to {@link CopilotSession.send}. */
+export interface MessageOptions {
+    prompt: string;
+    attachments?: BlobMessageAttachment[];
+}
+/** A conversation with the runtime, upstream a class with resume, fork and sharing on top. */
+export interface CopilotSession {
+    readonly sessionId: string;
+    /**
+     * Registers a handler for one type of event and returns the function that removes it again.
+     */
+    on<K extends CopilotSessionEventType>(eventType: K, handler: (event: CopilotSessionEvents[K]) => void): () => void;
+    /** Sends a turn and resolves with the id of the message it created. */
+    send(options: MessageOptions): Promise<string>;
+    /** Stops the turn in flight. */
+    abort(): Promise<void>;
+    /** Releases the session in memory, leaving what it persisted in place. */
+    disconnect(): Promise<void>;
+}
+/** How the SDK reaches the runtime. This integration always spawns the CLI it located. */
+export interface StdioRuntimeConnection {
+    readonly kind: 'stdio';
+    readonly path?: string;
+    readonly args?: readonly string[];
+    readonly env?: Record<string, string>;
+}
+export type RuntimeConnection = StdioRuntimeConnection;
+/** The `RuntimeConnection` value of the SDK, of which only the stdio factory is used. */
+export interface RuntimeConnectionFactory {
+    readonly forStdio: (options?: {
+        path?: string;
+        args?: readonly string[];
+        env?: Record<string, string>;
+    }) => StdioRuntimeConnection;
+}
+/**
+ * Selects the defaults of the runtime: `copilot-cli` brings the ambient behaviour of the CLI along,
+ * `empty` requires the application to opt into what it needs.
+ */
+export type CopilotClientMode = 'empty' | 'copilot-cli';
+/** The client options this integration sets. */
+export interface CopilotClientOptions {
+    connection?: RuntimeConnection;
+    mode?: CopilotClientMode;
+    /** Copilot home of the runtime, which becomes its `COPILOT_HOME`. Required in `empty` mode. */
+    baseDirectory?: string;
+    logLevel?: 'none' | 'error' | 'warning' | 'info' | 'debug' | 'all';
+    env?: Record<string, string | undefined>;
+    gitHubToken?: string;
+    /** When false, only an explicit token is used and no sign-in found on the host. */
+    useLoggedInUser?: boolean;
+}
+/** The session configuration this integration passes. */
+export interface SessionConfig {
+    model?: string;
+    streaming?: boolean;
+    tools?: Tool[];
+    systemMessage?: SystemMessageConfig;
+    /**
+     * The tools to enable, as source-qualified patterns such as `custom:*` or `builtin:<name>`.
+     * Required in `empty` mode.
+     */
+    availableTools?: string[];
+    onPermissionRequest?: PermissionHandler;
+}
+/** The runtime as seen by this integration, upstream a class with the full session and status API. */
+export interface CopilotClient {
+    /** Starts the runtime and connects to it. */
+    start(): Promise<void>;
+    /** Stops the runtime and resolves with the errors its cleanup ran into, if any. */
+    stop(): Promise<Error[]>;
+    listModels(): Promise<ModelInfo[]>;
+    createSession(config: SessionConfig): Promise<CopilotSession>;
+    /** Removes a session and what it persisted in the Copilot home. */
+    deleteSession(sessionId: string): Promise<void>;
+}
+export type CopilotClientConstructor = new (options?: CopilotClientOptions) => CopilotClient;
+//# sourceMappingURL=copilot-sdk-types.d.ts.map

package/lib/node/copilot-sdk-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"copilot-sdk-types.d.ts","sourceRoot":"","sources":["../../src/node/copilot-sdk-types.ts"],"names":[],"mappings":"AAwBA;;;;;;;;;;;;GAYG;AAMH,MAAM,WAAW,WAAW;IACxB,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,cAAc,CAAC;CAClD;AAED,+DAA+D;AAC/D,MAAM,WAAW,SAAS;IACtB,yDAAyD;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,WAAW,CAAC;CACxB;AAMD,uGAAuG;AACvG,MAAM,MAAM,oBAAoB,GAC1B,UAAU,GACV,UAAU,GACV,MAAM,GACN,iBAAiB,GACjB,qBAAqB,GACrB,mBAAmB,GACnB,YAAY,GACZ,QAAQ,GACR,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,mBAAmB,CAAC;AAE1B,MAAM,MAAM,kBAAkB,GAAG,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AAEtF,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,kBAAkB,CAAC;AAElH,MAAM,WAAW,eAAe;IAC5B,MAAM,EAAE,qBAAqB,CAAC;IAC9B,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,iDAAiD;AACjD,MAAM,WAAW,yBAAyB;IACtC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,sDAAsD;AACtD,MAAM,WAAW,0BAA0B;IACvC,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,2FAA2F;AAC3F,MAAM,WAAW,4BAA4B;IACzC,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,oBAAoB,EAAE,eAAe,CAAC,CAAC,CAAC;IAClE,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,mBAAmB,GAAG,yBAAyB,GAAG,0BAA0B,GAAG,4BAA4B,CAAC;AAMxH,kEAAkE;AAClE,MAAM,WAAW,cAAc;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;CACtB;AAED,MAAM,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;AAEpG,uFAAuF;AACvF,MAAM,WAAW,IAAI;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,2EAA2E;IAC3E,cAAc,CAAC,EAAE,OAAO,CAAC;CAC5B;AAMD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;CAC9C;AAED,kGAAkG;AAClG,MAAM,MAAM,uBAAuB,GAC7B;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GACxB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;AACvC,mDAAmD;GACjD;IAAE,IAAI,EAAE,oBAAoB,CAAA;CAAE;AAChC,kFAAkF;GAChF;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAE5B,MAAM,MAAM,iBAAiB,GAAG,CAC5B,OAAO,EAAE,iBAAiB,EAC1B,UAAU,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,sBAAsB,CAAC,EAAE,OAAO,CAAA;CAAE,KAClE,OAAO,CAAC,uBAAuB,CAAC,GAAG,uBAAuB,CAAC;AAMhE,iDAAiD;AACjD,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CACpB;AAED,yFAAyF;AACzF,MAAM,WAAW,oBAAoB;IACjC,yBAAyB,EAAE,YAAY,CAAC,yBAAyB,EAAE;QAC/D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAChC,CAAC,CAAC;IACH,2BAA2B,EAAE,YAAY,CAAC,2BAA2B,EAAE;QACnE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAChC,CAAC,CAAC;IACH,mBAAmB,EAAE,YAAY,CAAC,mBAAmB,EAAE;QACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KACjC,CAAC,CAAC;IACH,iBAAiB,EAAE,YAAY,CAAC,iBAAiB,EAAE;QAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KACjC,CAAC,CAAC;IACH,4FAA4F;IAC5F,cAAc,EAAE,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACtD,eAAe,EAAE,YAAY,CAAC,eAAe,EAAE;QAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAC1B,CAAC,CAAC;CACN;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,oBAAoB,CAAC;AAMjE,gHAAgH;AAChH,MAAM,WAAW,qBAAqB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,qBAAqB,EAAE,CAAC;CACzC;AAED,8FAA8F;AAC9F,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;OAEG;IACH,EAAE,CAAC,CAAC,SAAS,uBAAuB,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IACnH,uEAAuE;IACvE,IAAI,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,gCAAgC;IAChC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,0EAA0E;IAC1E,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/B;AAMD,0FAA0F;AAC1F,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACzC;AAED,MAAM,MAAM,iBAAiB,GAAG,sBAAsB,CAAC;AAEvD,yFAAyF;AACzF,MAAM,WAAW,wBAAwB;IACrC,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,KAAK,sBAAsB,CAAC;CACtI;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,aAAa,CAAC;AAExD,gDAAgD;AAChD,MAAM,WAAW,oBAAoB;IACjC,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B,IAAI,CAAC,EAAE,iBAAiB,CAAC;IACzB,+FAA+F;IAC/F,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,CAAC;IACnE,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IACzC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mFAAmF;IACnF,eAAe,CAAC,EAAE,OAAO,CAAC;CAC7B;AAED,yDAAyD;AACzD,MAAM,WAAW,aAAa;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf,aAAa,CAAC,EAAE,mBAAmB,CAAC;IACpC;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,mBAAmB,CAAC,EAAE,iBAAiB,CAAC;CAC3C;AAED,sGAAsG;AACtG,MAAM,WAAW,aAAa;IAC1B,6CAA6C;IAC7C,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,mFAAmF;IACnF,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACzB,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IACnC,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC9D,mEAAmE;IACnE,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACnD;AAED,MAAM,MAAM,wBAAwB,GAAG,KAAK,OAAO,CAAC,EAAE,oBAAoB,KAAK,aAAa,CAAC"}

package/lib/{common/copilot-oauth-config.js → node/copilot-sdk-types.js}

@@ -1,6 +1,6 @@
 "use strict";
 // *****************************************************************************
-// Copyright (C) 2026 Lonti.com Pty Ltd.
+// Copyright (C) 2026 EclipseSource GmbH and others.
 //
 // This program and the accompanying materials are made available under the
 // terms of the Eclipse Public License v. 2.0 which is available at
@@ -15,15 +15,4 @@
 // SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
 // *****************************************************************************
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.DEFAULT_COPILOT_OAUTH_CONFIG = exports.CopilotOAuthConfig = void 0;
-exports.CopilotOAuthConfig = Symbol('CopilotOAuthConfig');
-/**
- * Default OAuth configuration for the built-in Theia Copilot integration.
- */
-exports.DEFAULT_COPILOT_OAUTH_CONFIG = {
-    clientId: 'Ov23liS2vINy9VOAweyv',
-    userAgent: 'Theia-Copilot/1.0.0',
-    keystoreService: 'theia-copilot-auth',
-    keystoreAccount: 'github-copilot'
-};
-//# sourceMappingURL=copilot-oauth-config.js.map
+//# sourceMappingURL=copilot-sdk-types.js.map

package/lib/node/copilot-sdk-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"copilot-sdk-types.js","sourceRoot":"","sources":["../../src/node/copilot-sdk-types.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,oDAAoD;AACpD,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF"}

package/lib/node/index.d.ts

@@ -1,4 +1,12 @@
 export * from './copilot-auth-service-impl';
-export * from './copilot-language-model';
 export * from './copilot-language-models-manager-impl';
+export * from './copilot-cli-auth-provider';
+export * from './copilot-cli-locator';
+export * from './copilot-credential-store';
+export * from './copilot-runtime-env';
+export * from './copilot-sdk-client-provider';
+export * from './copilot-sdk-loader';
+export * from './copilot-sdk-mappers';
+export * from './copilot-sdk-language-model';
+export * from './copilot-sdk-types';
 //# sourceMappingURL=index.d.ts.map

package/lib/node/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/node/index.ts"],"names":[],"mappings":"AAgBA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,0BAA0B,CAAC;AACzC,cAAc,wCAAwC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/node/index.ts"],"names":[],"mappings":"AAgBA,cAAc,6BAA6B,CAAC;AAC5C,cAAc,wCAAwC,CAAC;AACvD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,uBAAuB,CAAC;AACtC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,qBAAqB,CAAC"}

package/lib/node/index.js

@@ -17,6 +17,14 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const tslib_1 = require("tslib");
 tslib_1.__exportStar(require("./copilot-auth-service-impl"), exports);
-tslib_1.__exportStar(require("./copilot-language-model"), exports);
 tslib_1.__exportStar(require("./copilot-language-models-manager-impl"), exports);
+tslib_1.__exportStar(require("./copilot-cli-auth-provider"), exports);
+tslib_1.__exportStar(require("./copilot-cli-locator"), exports);
+tslib_1.__exportStar(require("./copilot-credential-store"), exports);
+tslib_1.__exportStar(require("./copilot-runtime-env"), exports);
+tslib_1.__exportStar(require("./copilot-sdk-client-provider"), exports);
+tslib_1.__exportStar(require("./copilot-sdk-loader"), exports);
+tslib_1.__exportStar(require("./copilot-sdk-mappers"), exports);
+tslib_1.__exportStar(require("./copilot-sdk-language-model"), exports);
+tslib_1.__exportStar(require("./copilot-sdk-types"), exports);
 //# sourceMappingURL=index.js.map

package/lib/node/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/node/index.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAEhF,sEAA4C;AAC5C,mEAAyC;AACzC,iFAAuD"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/node/index.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;AAEhF,sEAA4C;AAC5C,iFAAuD;AACvD,sEAA4C;AAC5C,gEAAsC;AACtC,qEAA2C;AAC3C,gEAAsC;AACtC,wEAA8C;AAC9C,+DAAqC;AACrC,gEAAsC;AACtC,uEAA6C;AAC7C,8DAAoC"}

package/package.json

@@ -1,12 +1,10 @@
 {
   "name": "@theia/ai-copilot",
-  "version": "1.76.0-next.4+21b9b5342",
+  "version": "1.76.0-next.42+b0f9e63a6",
   "description": "Theia - GitHub Copilot Integration",
   "dependencies": {
-    "@theia/ai-core": "1.76.0-next.4+21b9b5342",
-    "@theia/ai-openai": "1.76.0-next.4+21b9b5342",
-    "@theia/core": "1.76.0-next.4+21b9b5342",
-    "openai": "^6.49.0",
+    "@theia/ai-core": "1.76.0-next.42+b0f9e63a6",
+    "@theia/core": "1.76.0-next.42+b0f9e63a6",
     "tslib": "^2.8.1"
   },
   "publishConfig": {
@@ -48,5 +46,5 @@
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "21b9b534224c55152fca0b67af7f8a8283dad2bd"
+  "gitHead": "b0f9e63a6d331135265869a341dce7c7f1eef158"
 }

package/src/browser/copilot-auth-dialog.tsx

@@ -16,7 +16,7 @@
 
 import * as React from '@theia/core/shared/react';
 import { inject, injectable, postConstruct } from '@theia/core/shared/inversify';
-import { DialogProps, DialogError } from '@theia/core/lib/browser/dialogs';
+import { DialogProps, DialogError, Dialog } from '@theia/core/lib/browser/dialogs';
 import { ReactDialog } from '@theia/core/lib/browser/dialogs/react-dialog';
 import { ClipboardService } from '@theia/core/lib/browser/clipboard-service';
 import { WindowService } from '@theia/core/lib/browser/window/window-service';
@@ -68,28 +68,30 @@ export class CopilotAuthDialog extends ReactDialog<boolean> {
     protected init(): void {
         this.titleNode.textContent = this.props.title;
         this.appendAcceptButton(nls.localize('theia/ai/copilot/auth/authorize', 'I have authorized'));
-        this.appendCloseButton(nls.localizeByDefault('Cancel'));
+        this.appendCloseButton(Dialog.CANCEL);
     }
 
     protected updateButtonStates(): void {
         const isPolling = this.state === 'polling';
         const isSuccess = this.state === 'success';
+        // Singleton dialog: button state survives close, so reset it on every render.
         if (this.acceptButton) {
             this.acceptButton.disabled = isPolling || isSuccess;
-            if (isSuccess) {
-                this.acceptButton.style.display = 'none';
-            }
+            this.acceptButton.style.display = isSuccess ? 'none' : '';
         }
         if (this.closeButton) {
-            if (isSuccess) {
-                this.closeButton.textContent = nls.localizeByDefault('Close');
-            }
+            this.closeButton.textContent = isSuccess ? nls.localizeByDefault('Close') : Dialog.CANCEL;
         }
     }
 
     override async open(): Promise<boolean | undefined> {
         this.initiateFlow();
-        return super.open();
+        const result = await super.open();
+        if (this.state !== 'success') {
+            // Leave no Copilot CLI process behind when the dialog is dismissed or retried.
+            await this.authService.cancelSignIn();
+        }
+        return result;
     }
 
     override update(): void {
@@ -100,9 +102,12 @@ export class CopilotAuthDialog extends ReactDialog<boolean> {
     protected async initiateFlow(): Promise<void> {
         try {
             this.state = 'loading';
+            this.deviceCodeResponse = undefined;
+            this.errorMessage = undefined;
+            this.copied = false;
             this.update();
 
-            this.deviceCodeResponse = await this.authService.initiateDeviceFlow(this.props.enterpriseUrl);
+            this.deviceCodeResponse = await this.authService.startSignIn(this.props.enterpriseUrl);
             this.state = 'waiting';
             this.update();
         } catch (error) {
@@ -121,11 +126,7 @@ export class CopilotAuthDialog extends ReactDialog<boolean> {
         this.update();
 
         try {
-            const success = await this.authService.pollForToken(
-                this.deviceCodeResponse.device_code,
-                this.deviceCodeResponse.interval,
-                this.props.enterpriseUrl
-            );
+            const success = await this.authService.waitForSignIn();
 
             if (success) {
                 this.state = 'success';
@@ -149,7 +150,10 @@ export class CopilotAuthDialog extends ReactDialog<boolean> {
 
     protected override isValid(_value: boolean, _mode: DialogError): DialogError {
         if (this.state === 'error') {
-            return this.errorMessage ?? 'An error occurred';
+            // The error is shown in the dialog body by renderError, where it can wrap. Returning only a
+            // failed result keeps the accept button disabled without repeating the (often long) message
+            // next to it, where it does not fit.
+            return { result: false, message: '' };
         }
         return '';
     }

package/src/browser/copilot-frontend-application-contribution.ts

@@ -19,9 +19,12 @@ import { CommandService, nls, PreferenceService } from '@theia/core';
 import { FrontendApplicationContribution } from '@theia/core/lib/browser';
 import { MessageService } from '@theia/core/lib/common/message-service';
 import { CopilotAuthService, CopilotLanguageModelsManager, CopilotModelDescription, COPILOT_PROVIDER_ID } from '../common';
-import { COPILOT_ENABLED_PREF, COPILOT_MODEL_OVERRIDES_PREF, COPILOT_ENTERPRISE_URL_PREF } from '../common/copilot-preferences';
+import { COPILOT_ENABLED_PREF, COPILOT_ENTERPRISE_URL_PREF, COPILOT_EXECUTABLE_PATH_PREF, COPILOT_MODEL_OVERRIDES_PREF } from '../common/copilot-preferences';
 import { AICorePreferences, PREFERENCE_NAME_MAX_RETRIES } from '@theia/ai-core/lib/common/ai-core-preferences';
 import { CopilotCommands } from './copilot-command-contribution';
+import { ModelDiscoveryStatusService } from '@theia/ai-core/lib/browser';
+
+const COPILOT_PROVIDER_LABEL = 'GitHub Copilot';
 
 @injectable()
 export class CopilotFrontendApplicationContribution implements FrontendApplicationContribution {
@@ -44,29 +47,49 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
     @inject(CommandService)
     protected readonly commandService: CommandService;
 
+    @inject(ModelDiscoveryStatusService)
+    protected readonly discoveryStatus: ModelDiscoveryStatusService;
+
     protected prevModels: string[] = [];
     protected useAutoDiscovery = false;
 
     onStart(): void {
         this.preferenceService.ready.then(async () => {
-            const enterpriseUrl = this.preferenceService.get<string>(COPILOT_ENTERPRISE_URL_PREF);
-            this.manager.setEnterpriseUrl(enterpriseUrl || undefined);
-
+            this.discoveryStatus.registerProvider({
+                providerId: COPILOT_PROVIDER_ID,
+                label: COPILOT_PROVIDER_LABEL,
+                refresh: () => this.initializeModels()
+            });
+            // Before anything reaches for the CLI: the backend cannot read the preferences itself.
+            await this.updateExecutablePath();
             if (this.isCopilotEnabled()) {
                 const authState = await this.authService.getAuthState();
                 if (authState.migrationRequired) {
-                    this.notifyTokenMigration();
+                    this.notifySignInRequired();
                 }
-                await this.initializeModels();
             }
+            // Also when disabled: that is a state of its own on the provider's page, not the absence of one.
+            await this.initializeModels();
 
             this.preferenceService.onPreferenceChanged(event => {
-                if (event.preferenceName === COPILOT_ENABLED_PREF) {
+                if (event.preferenceName === COPILOT_EXECUTABLE_PATH_PREF) {
+                    this.updateExecutablePath().then(() => {
+                        if (this.isCopilotEnabled() && this.useAutoDiscovery) {
+                            // A CLI that could not be found before may be reachable now.
+                            this.discoverAndRegisterModels();
+                        }
+                    });
+                } else if (event.preferenceName === COPILOT_ENABLED_PREF) {
                     if (this.isCopilotEnabled()) {
                         this.initializeModels();
                     } else {
                         this.removeAllCopilotModels();
+                        this.initializeModels();
                     }
+                } else if (event.preferenceName === COPILOT_ENTERPRISE_URL_PREF) {
+                    // The domain is only read at sign-in time, so a change while signed in has no effect
+                    // until the next sign-in. Let the user know instead of silently ignoring it.
+                    this.notifyEnterpriseUrlChanged();
                 } else if (event.preferenceName === COPILOT_MODEL_OVERRIDES_PREF && this.isCopilotEnabled()) {
                     const newModels = this.preferenceService.get<string[]>(COPILOT_MODEL_OVERRIDES_PREF, []);
                     if (newModels.length > 0) {
@@ -77,15 +100,6 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
                         this.removeAllCopilotModels();
                         this.discoverAndRegisterModels();
                     }
-                } else if (event.preferenceName === COPILOT_ENTERPRISE_URL_PREF && this.isCopilotEnabled()) {
-                    const url = this.preferenceService.get<string>(COPILOT_ENTERPRISE_URL_PREF);
-                    this.manager.setEnterpriseUrl(url || undefined);
-                    if (this.useAutoDiscovery) {
-                        this.removeAllCopilotModels();
-                        this.discoverAndRegisterModels();
-                    } else {
-                        this.manager.refreshModelsStatus();
-                    }
                 }
             });
 
@@ -95,6 +109,7 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
                         await this.discoverAndRegisterModels();
                     } else {
                         this.removeAllCopilotModels();
+                        this.setSignInRequiredStatus();
                     }
                 }
             });
@@ -111,9 +126,87 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
         return this.preferenceService.get<boolean>(COPILOT_ENABLED_PREF, true);
     }
 
+    /**
+     * Hands the configured location of the Copilot CLI to the backend, which searches for it when
+     * none is configured.
+     */
+    protected async updateExecutablePath(): Promise<void> {
+        const executablePath = this.preferenceService.get<string>(COPILOT_EXECUTABLE_PATH_PREF, '').trim();
+        await this.authService.setExecutablePath(executablePath || undefined);
+    }
+
+    /**
+     * Tells the user why they are signed out after an update, since the sign-in of the previous
+     * version cannot be carried over: it belonged to an OAuth application that is no longer used.
+     */
+    protected async notifySignInRequired(): Promise<void> {
+        const signIn = nls.localize('theia/ai/copilot/commands/signIn', 'Sign in to GitHub Copilot');
+        const action = await this.messageService.info(
+            nls.localize('theia/ai/copilot/signInAgain',
+                'GitHub Copilot now signs in through the GitHub Copilot CLI. Your previous sign-in could not be carried over and has been '
+                + 'removed, please sign in again to use Copilot models.'),
+            signIn
+        );
+        if (action === signIn) {
+            this.commandService.executeCommand(CopilotCommands.SIGN_IN.id);
+        }
+    }
+
+    /**
+     * Tells the user that a changed GitHub Copilot domain only takes effect on the next sign-in, since
+     * the domain is read when signing in and not while a session is already established.
+     */
+    protected async notifyEnterpriseUrlChanged(): Promise<void> {
+        const authState = await this.authService.getAuthState();
+        if (!authState.isAuthenticated) {
+            return;
+        }
+        const signIn = nls.localize('theia/ai/copilot/commands/signIn', 'Sign in to GitHub Copilot');
+        const action = await this.messageService.info(
+            nls.localize('theia/ai/copilot/enterpriseUrlChanged',
+                'The GitHub Copilot domain changed. Sign in again for it to take effect.'),
+            signIn
+        );
+        if (action === signIn) {
+            this.commandService.executeCommand(CopilotCommands.SIGN_IN.id);
+        }
+    }
+
+    /** The state of a provider whose credential is a sign-in that has not happened, with the way to fix it. */
+    protected setSignInRequiredStatus(): void {
+        this.discoveryStatus.updateStatus(COPILOT_PROVIDER_ID, {
+            state: 'no-credentials',
+            // What Copilot lacks is a sign-in, not an API key, so it says so rather than letting the
+            // state speak for it.
+            stateLabel: nls.localizeByDefault('Not signed in'),
+            message: nls.localize('theia/ai/copilot/discovery/signedOut',
+                'Not signed in to GitHub Copilot. Sign in to discover the models it offers.'),
+            action: { label: CopilotCommands.SIGN_IN.label!, commandId: CopilotCommands.SIGN_IN.id }
+        });
+    }
+
     protected async initializeModels(): Promise<void> {
+        if (!this.isCopilotEnabled()) {
+            this.discoveryStatus.updateStatus(COPILOT_PROVIDER_ID, {
+                state: 'no-credentials',
+                stateLabel: nls.localizeByDefault('Disabled'),
+                message: nls.localize('theia/ai/copilot/discovery/disabled', 'The GitHub Copilot provider is disabled. Enable it to discover models.'),
+                action: undefined
+            });
+            return;
+        }
         const configuredModels = this.preferenceService.get<string[]>(COPILOT_MODEL_OVERRIDES_PREF, []);
         if (configuredModels.length > 0) {
+            this.discoveryStatus.updateStatus(COPILOT_PROVIDER_ID, {
+                state: 'overridden',
+                stateLabel: undefined,
+                discovered: configuredModels.map(id => ({ id })),
+                message: nls.localize('theia/ai/copilot/discovery/overridden',
+                    'The model list is configured manually. Clear the model overrides to discover the models from GitHub Copilot again.'),
+                lastFetch: undefined,
+                fromCache: false,
+                action: undefined
+            });
             this.useAutoDiscovery = false;
             this.manager.createOrUpdateLanguageModels(
                 ...configuredModels.map((modelId: string) => this.createCopilotModelDescription(modelId))
@@ -126,7 +219,32 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
     }
 
     protected async discoverAndRegisterModels(): Promise<void> {
-        const modelIds = await this.manager.fetchAvailableModelIds();
+        // Runs are queued rather than overlapped: startup, a key change and a manual refresh can all
+        // ask within a moment of each other, and two runs in flight would compute what to unregister
+        // from the same stale list and leave the registry disagreeing with the provider.
+        this.discovering = this.discovering.then(() => this.runDiscovery().catch(error => this.discoveryStatus.reportError(COPILOT_PROVIDER_ID, error)));
+        return this.discovering;
+    }
+
+    protected discovering: Promise<void> = Promise.resolve();
+
+    protected async runDiscovery(): Promise<void> {
+        // Signing in is Copilot's equivalent of setting an API key, so a missing sign-in reads like a
+        // missing credential rather than like a failure: the CLI would answer the list call with an
+        // authorization error, which says the same thing in a way nobody can act on.
+        if (!(await this.authService.getAuthState()).isAuthenticated) {
+            this.setSignInRequiredStatus();
+            return;
+        }
+        this.discoveryStatus.updateStatus(COPILOT_PROVIDER_ID, { state: 'fetching', stateLabel: undefined, message: undefined, action: undefined });
+        const { models, error } = await this.manager.fetchAvailableModels();
+        if (error) {
+            // The models of an earlier discovery stay registered; the manager already marks them
+            // unavailable, so they are visible as such rather than silently gone.
+            this.discoveryStatus.updateStatus(COPILOT_PROVIDER_ID, { state: 'error', stateLabel: undefined, message: error, action: undefined });
+            return;
+        }
+        const modelIds = models.map(model => model.id);
         if (modelIds.length > 0) {
             const modelsToRemove = this.prevModels.filter(m => !modelIds.includes(m));
             if (modelsToRemove.length > 0) {
@@ -139,6 +257,15 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
             );
             this.prevModels = [...modelIds];
         }
+        this.discoveryStatus.updateStatus(COPILOT_PROVIDER_ID, {
+            state: 'ready',
+            stateLabel: undefined,
+            discovered: models,
+            message: undefined,
+            lastFetch: Date.now(),
+            fromCache: false,
+            action: undefined
+        });
     }
 
     protected removeAllCopilotModels(): void {
@@ -171,18 +298,6 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
         this.manager.createOrUpdateLanguageModels(...models.map((modelId: string) => this.createCopilotModelDescription(modelId)));
     }
 
-    protected async notifyTokenMigration(): Promise<void> {
-        const signIn = nls.localize('theia/ai/copilot/commands/signIn', 'Sign in to GitHub Copilot');
-        const action = await this.messageService.info(
-            nls.localize('theia/ai/copilot/tokenMigration',
-                'Your GitHub Copilot session used an outdated authentication method and has been cleared. Please sign in again to access all available models.'),
-            signIn
-        );
-        if (action === signIn) {
-            this.commandService.executeCommand(CopilotCommands.SIGN_IN.id);
-        }
-    }
-
     protected createCopilotModelDescription(modelId: string): CopilotModelDescription {
         const id = `${COPILOT_PROVIDER_ID}/${modelId}`;
         const maxRetries = this.aiCorePreferences.get(PREFERENCE_NAME_MAX_RETRIES) ?? 3;
@@ -190,8 +305,6 @@ export class CopilotFrontendApplicationContribution implements FrontendApplicati
         return {
             id,
             model: modelId,
-            enableStreaming: true,
-            supportsStructuredOutput: true,
             maxRetries
         };
     }