3715 lines · 144.2 KB · TypeScript
RawDownload
import {  Context,  Deferred,  Duration,  Effect,  Layer,  Match,  Option,  Result,  Schema,  Semaphore,} from "effect";import { FetchHttpClient, type HttpClient } from "effect/unstable/http";import type { OAuthEndpointUrlPolicy } from "./oauth-helpers";import { generateKeyBetween } from "fractional-indexing";import {  StorageError,  typedAdapter,  type DBAdapter,  type DBSchema,  type DBTransactionAdapter,  type StorageFailure,  type TypedAdapter,} from "@executor-js/storage-core"; import { pluginBlobStore, type BlobStore } from "./blob";import {  ConnectionProviderState,  ConnectionRef,  ConnectionRefreshError,  type ConnectionProvider,  type ConnectionRefreshResult,  type CreateConnectionInput,  type RemoveConnectionInput,  type UpdateConnectionTokensInput,} from "./connections";import {  credentialBindingId,  credentialBindingRowToRef,  type CredentialBindingRef,  type CredentialBindingsFacade,  type CredentialBindingSlotInput,  type CredentialBindingSourceInput,  type RemoveCredentialBindingInput,  type ReplaceCredentialBindingsInput,  ResolvedCredentialSlot,  type SetCredentialBindingInput,} from "./credential-bindings";import {  coreSchema,  isToolPolicyAction,  type ConnectionRow,  type CredentialBindingRow,  type CoreSchema,  type DefinitionsInput,  type SecretRow,  type SourceInput,  type SourceRow,  type ToolAnnotations,  type ToolPolicyRow,  type ToolRow,} from "./core-schema";import {  ElicitationDeclinedError,  ElicitationResponse,  FormElicitation,  type ElicitationHandler,  type ElicitationRequest,} from "./elicitation";import {  ConnectionInUseError,  ConnectionNotFoundError,  ConnectionProviderNotRegisteredError,  ConnectionReauthRequiredError,  ConnectionRefreshNotSupportedError,  NoHandlerError,  PluginNotLoadedError,  SecretInUseError,  SecretOwnedByConnectionError,  SourceRemovalNotAllowedError,  ToolBlockedError,  ToolInvocationError,  ToolNotFoundError,} from "./errors";import { ConnectionId, ScopeId, SecretId, ToolId } from "./ids";import { makeOAuth2Service } from "./oauth-service";import type { OAuthService } from "./oauth";import {  comparePolicyRow,  isValidPattern,  resolveToolPolicy,  rowToToolPolicy,  type CreateToolPolicyInput,  type PolicyMatch,  type RemoveToolPolicyInput,  type ToolPolicy,  type UpdateToolPolicyInput,} from "./policies";import type {  AnyPlugin,  Elicit,  PluginCtx,  PluginExtensions,  StaticSourceDecl,  StaticToolDecl,  StaticToolSchema,  StorageDeps,} from "./plugin";import type { Scope } from "./scope";import { RemoveSecretInput, SecretRef, SetSecretInput, type SecretProvider } from "./secrets";import { Usage } from "./usages";import {  ToolSchema,  type RefreshSourceInput,  type RemoveSourceInput,  type Source,  type SourceDetectionResult,  type Tool,  type ToolListFilter,} from "./types";import { buildToolTypeScriptPreview } from "./schema-types";import {  scopedTypedAdapter,  scopeAdapter,  scopeTransactionAdapter,  type ScopeContext,  type ScopedDBAdapter,} from "./scoped-adapter";import { validateHostedOutboundUrl } from "./hosted-http-client"; const MAX_ANNOTATION_GROUPS = 64;const MAX_APPROVAL_ARGUMENT_PREVIEW_CHARS = 4_000; // ---------------------------------------------------------------------------// Elicitation handler — set once at `createExecutor({ onElicitation })`// and threaded into every tool invocation. A tool that requests user// input mid-execution suspends the fiber and the handler decides how to// respond. Tools that never elicit simply don't trigger the handler.//// The "accept-all" sentinel is convenient for tests and CLI automation —// every elicitation request gets auto-accepted with an empty content// payload. For real interactive hosts, pass a real handler.//// Required at the executor level rather than per-invoke, so the// "what if a caller forgot to pass a handler" branch is structurally// impossible. Higher layers that need per-invocation handler control// (an MCP server bridging different per-client handlers, the execution// engine threading agent-loop callbacks) can pass an override via// `tools.invoke(id, args, { onElicitation })` — the executor-level// handler is the fallback, never null.// --------------------------------------------------------------------------- export type OnElicitation = ElicitationHandler | "accept-all"; export interface InvokeOptions {  /** Override the executor-level handler for this single call. */  readonly onElicitation?: OnElicitation;} const acceptAllHandler: ElicitationHandler = () =>  Effect.succeed(ElicitationResponse.make({ action: "accept" })); const resolveElicitationHandler = (onElicitation: OnElicitation): ElicitationHandler =>  onElicitation === "accept-all" ? acceptAllHandler : onElicitation; // ---------------------------------------------------------------------------// Executor — public surface. Every list/invoke/schema call is a direct// core-table query (for dynamic rows) unioned with the in-memory static// pool. No ToolRegistry, no SourceRegistry, no SecretStore services.// --------------------------------------------------------------------------- export type Executor<TPlugins extends readonly AnyPlugin[] = []> = {  /**   * Precedence-ordered scope stack this executor was configured with.   * Innermost first. Consumers that need "the display scope" typically   * pick `scopes.at(-1)` (outermost, e.g. the organization) or   * `scopes[0]` (innermost, e.g. the current user-in-org) depending on   * what they're rendering.   */  readonly scopes: readonly Scope[];   readonly tools: {    readonly list: (filter?: ToolListFilter) => Effect.Effect<readonly Tool[], StorageFailure>;    /** Fetch a tool's full schema view: JSON schemas with `$defs`     *  attached from the core `definition` table, plus TypeScript     *  preview strings rendered from them. Returns `null` for unknown     *  tool ids. */    readonly schema: (toolId: string) => Effect.Effect<ToolSchema | null, StorageFailure>;    /** Every `$defs` entry across every source, grouped by source id.     *  Used for bulk schema export and downstream TypeScript rendering. */    readonly definitions: () => Effect.Effect<      Record<string, Record<string, unknown>>,      StorageFailure    >;    readonly invoke: (      toolId: string,      args: unknown,      options?: InvokeOptions,    ) => Effect.Effect<      unknown,      | ToolNotFoundError      | ToolBlockedError      | PluginNotLoadedError      | NoHandlerError      | ToolInvocationError      | ElicitationDeclinedError      | StorageFailure    >;  };   readonly sources: {    readonly list: () => Effect.Effect<readonly Source[], StorageFailure>;    readonly remove: (      input: RemoveSourceInput,    ) => Effect.Effect<void, SourceRemovalNotAllowedError | StorageFailure>;    readonly refresh: (input: RefreshSourceInput) => Effect.Effect<void, StorageFailure>;    /** URL autodetection — fans out to every plugin's `detect` hook     *  (if declared), returns every high/medium/low-confidence match.     *  UI picks a winner from the list. */    readonly detect: (      url: string,    ) => Effect.Effect<readonly SourceDetectionResult[], StorageFailure>;    /** All `$defs` registered for a single source, keyed by def name. */    readonly definitions: (      sourceId: string,    ) => Effect.Effect<Record<string, unknown>, StorageFailure>;  };   readonly secrets: {    readonly get: (      id: string,    ) => Effect.Effect<string | null, SecretOwnedByConnectionError | StorageFailure>;    readonly getAtScope: (      id: string,      scope: string,    ) => Effect.Effect<string | null, SecretOwnedByConnectionError | StorageFailure>;    /** Fast-path existence check — hits the core `secret` routing table     *  only, never calls the provider. Use this for UI state ("secret     *  missing, prompt to add") to avoid keychain permission prompts     *  or 1password IPC roundtrips on a pre-flight check. */    readonly status: (id: string) => Effect.Effect<"resolved" | "missing", StorageFailure>;    readonly set: (input: SetSecretInput) => Effect.Effect<SecretRef, StorageFailure>;    /** Delete a bare (non-connection-owned) secret. Connection-owned     *  secrets are rejected with `SecretOwnedByConnectionError` — use     *  `connections.remove` instead. Refuses with `SecretInUseError`     *  if any plugin reports the secret as in use; the caller should     *  show the `usages(id)` list and ask the user to detach first. */    readonly remove: (      input: RemoveSecretInput,    ) => Effect.Effect<void, SecretOwnedByConnectionError | SecretInUseError | StorageFailure>;    readonly list: () => Effect.Effect<readonly SecretRef[], StorageFailure>;    /** Management view of visible secret rows. Unlike `list`, this does     *  not collapse same-id rows across scopes, so UI that writes exact     *  credential targets can show both personal and shared rows. */    readonly listAll: () => Effect.Effect<readonly SecretRef[], StorageFailure>;    /** All places this secret is referenced — fans out across every     *  plugin's `usagesForSecret`. Used by the Secrets-tab "Used by"     *  list and by `remove` for its RESTRICT check. */    readonly usages: (id: string) => Effect.Effect<readonly Usage[], StorageFailure>;    readonly providers: () => Effect.Effect<readonly string[]>;  };   readonly connections: {    readonly get: (id: string) => Effect.Effect<ConnectionRef | null, StorageFailure>;    readonly getAtScope: (      id: string,      scope: string,    ) => Effect.Effect<ConnectionRef | null, StorageFailure>;    readonly list: () => Effect.Effect<readonly ConnectionRef[], StorageFailure>;    readonly create: (      input: CreateConnectionInput,    ) => Effect.Effect<ConnectionRef, ConnectionProviderNotRegisteredError | StorageFailure>;    readonly updateTokens: (      input: UpdateConnectionTokensInput,    ) => Effect.Effect<ConnectionRef, ConnectionNotFoundError | StorageFailure>;    readonly setIdentityLabel: (      id: string,      label: string | null,    ) => Effect.Effect<void, ConnectionNotFoundError | StorageFailure>;    readonly accessToken: (      id: string,    ) => Effect.Effect<      string,      | ConnectionNotFoundError      | ConnectionProviderNotRegisteredError      | ConnectionRefreshNotSupportedError      | ConnectionReauthRequiredError      | ConnectionRefreshError      | StorageFailure    >;    readonly accessTokenAtScope: (      id: string,      scope: string,    ) => Effect.Effect<      string,      | ConnectionNotFoundError      | ConnectionProviderNotRegisteredError      | ConnectionRefreshNotSupportedError      | ConnectionReauthRequiredError      | ConnectionRefreshError      | StorageFailure    >;    /** Refuses with `ConnectionInUseError` if any plugin reports the     *  connection as in use. */    readonly remove: (      input: RemoveConnectionInput,    ) => Effect.Effect<void, ConnectionInUseError | StorageFailure>;    /** All places this connection is referenced — fans out across every     *  plugin's `usagesForConnection`. */    readonly usages: (id: string) => Effect.Effect<readonly Usage[], StorageFailure>;    readonly providers: () => Effect.Effect<readonly string[]>;  };   /** Shared credential slot bindings. Plugins decide what slot keys mean;   *  core owns scoped storage, resolution status, and usage visibility. */  readonly credentialBindings: CredentialBindingsFacade;   /** Shared OAuth service. Hosts use this through the core HTTP OAuth group;   *  plugins see the same service as `ctx.oauth`. */  readonly oauth: OAuthService;   readonly policies: {    /** All policies visible across the executor's scope stack, sorted     *  by (innermost-scope-first, position ascending) — i.e. the order     *  in which they're evaluated by first-match-wins. */    readonly list: () => Effect.Effect<readonly ToolPolicy[], StorageFailure>;    /** Create a new policy. Defaults to the top of the target scope's     *  list (highest precedence) when `position` is omitted. */    readonly create: (input: CreateToolPolicyInput) => Effect.Effect<ToolPolicy, StorageFailure>;    readonly update: (input: UpdateToolPolicyInput) => Effect.Effect<ToolPolicy, StorageFailure>;    readonly remove: (input: RemoveToolPolicyInput) => Effect.Effect<void, StorageFailure>;    /** Resolve the effective policy for a tool id by walking the scope-     *  stacked policy list with first-match-wins semantics. Returns     *  `undefined` when no rule matches (caller falls back to the     *  plugin's `resolveAnnotations` output). */    readonly resolve: (toolId: string) => Effect.Effect<PolicyMatch | undefined, StorageFailure>;  };   readonly close: () => Effect.Effect<void, StorageFailure>;} & PluginExtensions<TPlugins>; export interface ExecutorConfig<TPlugins extends readonly AnyPlugin[] = []> {  /**   * Precedence-ordered scope stack. Innermost first; typical shape is   * `[userInOrgScope, orgScope]`. Reads on scoped tables walk the   * stack (first hit wins for shadow-by-id consumers like secrets and   * blobs); writes require callers to name an explicit target scope.   * Must be non-empty.   */  readonly scopes: readonly Scope[];  readonly adapter: DBAdapter;  readonly blobs: BlobStore;  readonly plugins?: TPlugins;  /**   * How to respond when a tool requests user input mid-invocation. Pass   * `"accept-all"` for tests / non-interactive hosts, or a handler   * `(ctx) => Effect<ElicitationResponse>` for interactive ones.   * Required at construction so per-invoke calls don't have to thread   * an options arg.   */  readonly onElicitation: OnElicitation;  readonly httpClientLayer?: Layer.Layer<HttpClient.HttpClient>;  readonly oauthEndpointUrlPolicy?: OAuthEndpointUrlPolicy;  readonly sourceDetection?: {    readonly maxUrlLength?: number;    readonly maxDetectors?: number;    readonly maxResults?: number;    readonly timeout?: Duration.Input;    readonly hostedOutboundPolicy?: boolean;  };} // ---------------------------------------------------------------------------// collectSchemas — merge coreSchema with every plugin's declared schema.// Hosts call this and pass the result to the migration runner (or to// the adapter factory for backends that auto-migrate from a schema// manifest) before constructing the executor.// --------------------------------------------------------------------------- export const collectSchemas = (plugins: readonly AnyPlugin[]): DBSchema => {  const merged: Record<string, DBSchema[string]> = { ...coreSchema };  for (const plugin of plugins) {    if (!plugin.schema) continue;    for (const [modelKey, model] of Object.entries(plugin.schema)) {      if (merged[modelKey]) {        // oxlint-disable-next-line executor/no-try-catch-or-throw -- boundary: collectSchemas is a synchronous configuration API        throw new StorageError({          message:            `Duplicate model "${modelKey}" contributed by plugin "${plugin.id}"` +            ` (reserved by core or another plugin)`,          cause: undefined,        });      }      merged[modelKey] = model as DBSchema[string];    }  }  return merged;}; // ---------------------------------------------------------------------------// Row → public projection conversions// --------------------------------------------------------------------------- const rowToSource = (row: SourceRow): Source => ({  id: row.id,  scopeId: row.scope_id,  kind: row.kind,  name: row.name,  url: row.url ?? undefined,  pluginId: row.plugin_id,  canRemove: Boolean(row.can_remove),  canRefresh: Boolean(row.can_refresh),  canEdit: Boolean(row.can_edit),  runtime: false,}); const staticDeclToSource = (decl: StaticSourceDecl, pluginId: string): Source => ({  id: decl.id,  scopeId: undefined,  kind: decl.kind,  name: decl.name,  url: decl.url,  pluginId,  canRemove: decl.canRemove ?? false,  canRefresh: decl.canRefresh ?? false,  canEdit: decl.canEdit ?? false,  runtime: true,}); const decodeJsonFromString = Schema.decodeUnknownOption(Schema.UnknownFromJsonString); const decodeJsonColumn = (value: unknown): unknown => {  if (value === null || value === undefined) return undefined;  if (typeof value !== "string") return value;  return decodeJsonFromString(value).pipe(Option.getOrElse(() => value));}; const decodeProviderState = Schema.decodeUnknownOption(ConnectionProviderState); const rowToTool = (row: ToolRow, annotations?: ToolAnnotations): Tool => ({  id: row.id,  sourceId: row.source_id,  pluginId: row.plugin_id,  name: row.name,  description: row.description,  inputSchema: decodeJsonColumn(row.input_schema),  outputSchema: decodeJsonColumn(row.output_schema),  annotations,}); const staticDeclToTool = (  source: StaticSourceDecl,  tool: StaticToolDecl,  pluginId: string,): Tool => ({  id: `${source.id}.${tool.name}`,  sourceId: source.id,  pluginId,  name: tool.name,  description: tool.description,  inputSchema: toToolJsonSchema(tool.inputSchema),  outputSchema: toToolJsonSchema(tool.outputSchema, "output"),  annotations: tool.annotations,}); const toToolJsonSchema = (  schema: StaticToolSchema | undefined,  direction: "input" | "output" = "input",): unknown => {  if (schema == null) return undefined;  return schema["~standard"].jsonSchema[direction]({    target: "draft-2020-12",  });}; const EXECUTOR_SOURCE_ID = "executor";const EXECUTOR_SOURCE: StaticSourceDecl = {  id: EXECUTOR_SOURCE_ID,  kind: "built-in",  name: "Executor",  canRemove: false,  canRefresh: false,  canEdit: false,  tools: [],}; // ---------------------------------------------------------------------------// Dynamic-row writers — used by ctx.core.sources.register. Static sources// never touch these functions.// --------------------------------------------------------------------------- // Upsert shape: delete any existing source + tools + definitions for// `input.id` before creating fresh rows. Keeps replayable — boot-time// sync from executor.jsonc can call register() on rows that already// exist without tripping a UNIQUE constraint.const writeSourceInput = (  core: TypedAdapter<CoreSchema>,  pluginId: string,  input: SourceInput,): Effect.Effect<void, StorageFailure> =>

Lines 1–500 of 3715.