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. Load more
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> =>