@opencode-ai/core 0.0.0-dev-19236 → 0.0.0-dev-19265

package/dist/types/instance.d.ts

@@ -16,7 +16,7 @@ import { Image } from "./image.js";
 import { LocationWatcher } from "./filesystem/location-watcher.js";
 import { Integration } from "./integration.js";
 import { Location } from "./location.js";
-import { LocationMutation } from "./location-mutation.js";
+import { FileAccess } from "./file-access.js";
 import { ModelResolver } from "./model-resolver.js";
 import { Mcp } from "./mcp/index.js";
 import { Permission } from "./permission.js";
@@ -49,7 +49,7 @@ import { ToolOutput } from "./tool-output.js";
 import { Vcs } from "./vcs.js";
 export * as Instance from "./instance.js";
 export { Service, node, type Interface } from "./instance/service.js";
-export declare const graph: LayerNode.Graph<Location.Service | Agent.Service | AISDK.Service | Form.Service | Integration.Service | Catalog.Service | Command.Service | Config.Service | Environment.Service | FileMutation.Service | FileSystemSearch.Service | FileSystem.Service | Formatter.Service | ModelResolver.Service | Generate.Service | Image.Service | ShellSelect.Service | Reference.Service | Rpc.Service | WebSearch.Service | Plugin.Service | PluginHooks.Service | InstancePlugins.Service | Mcp.Service | LocationMutation.Service | Permission.Service | ReadToolFileSystem.Service | SessionInstructions.Service | Shell.Service | Skill.Service | InstructionDiscovery.Service | SessionCompaction.Service | Snapshot.Service | Tool.Service | ToolOutput.Service | Worktree.Service | Pty.Service | InstructionBuiltIns.Service | SkillInstructions.Service | ReferenceInstructions.Service | InstructionEntry.Service | McpTool.Service | SessionRunnerModel.Service | SessionTitle.Service | SessionContext.Service | import("./session/runner/index.js").Service | Vcs.Service | LocationWatcher.Service, import("./persistent-pty/index.js").UnavailableError, LayerNode.Tag<"location">>;
+export declare const graph: LayerNode.Graph<Location.Service | Agent.Service | AISDK.Service | Form.Service | Integration.Service | Catalog.Service | Command.Service | Config.Service | ModelResolver.Service | SessionRunnerModel.Service | PluginHooks.Service | Permission.Service | Environment.Service | FileSystemSearch.Service | FileSystem.Service | Image.Service | Tool.Service | FileAccess.Service | FileMutation.Service | Formatter.Service | Generate.Service | ShellSelect.Service | Reference.Service | Rpc.Service | WebSearch.Service | Plugin.Service | InstancePlugins.Service | Mcp.Service | ReadToolFileSystem.Service | SessionInstructions.Service | Shell.Service | Skill.Service | InstructionDiscovery.Service | SessionCompaction.Service | Snapshot.Service | ToolOutput.Service | Worktree.Service | Pty.Service | InstructionBuiltIns.Service | SkillInstructions.Service | ReferenceInstructions.Service | InstructionEntry.Service | McpTool.Service | SessionTitle.Service | SessionContext.Service | import("./session/runner/index.js").Service | Vcs.Service | LocationWatcher.Service, import("./persistent-pty/index.js").UnavailableError, LayerNode.Tag<"location">>;
 export type Services = LayerNode.Output<typeof graph>;
 export type Error = Layer.Error<ReturnType<typeof layer>>;
 export interface Options {

package/dist/types/location-activity.d.ts

@@ -10,5 +10,5 @@ export declare class Service extends Service_base {
 export declare function layer(options?: {
     readonly timeToLive?: Duration.Input;
     readonly sweepInterval?: Duration.Input;
-}): Layer.Layer<Service, never, Bus.Service | LocationServiceMap.Service | SessionStore.Service | SessionExecution.Service>;
+}): Layer.Layer<Service, never, Bus.Service | SessionStore.Service | LocationServiceMap.Service | SessionExecution.Service>;
 export declare const node: import("@opencode-ai/util/effect/layer-node").Provider<Service, never, import("@opencode-ai/util/effect/layer-node").Tag<"global">>;

package/dist/types/location-mutation.d.ts

@@ -1,52 +1,3 @@
-export * as LocationMutation from "./location-mutation.js";
-import { Context, Effect, Schema } from "effect";
-import { FSUtil } from "@opencode-ai/util/fs-util";
-export declare const Kind: Schema.Literals<readonly ["file", "directory"]>;
-export type Kind = typeof Kind.Type;
-/**
- * Mutation paths do not accept project references. A leading `~` expands to
- * the home directory; other relative paths resolve from the active Location.
- * Paths outside it and its non-root project worktree require separate
- * `external_directory` approval.
- */
-export declare const ResolveInput: Schema.Struct<{
-    readonly path: Schema.String;
-    /** Selects the external approval boundary; it does not validate the target type. */
-    readonly kind: Schema.optional<Schema.Literals<readonly ["file", "directory"]>>;
-}>;
-export type ResolveInput = typeof ResolveInput.Type;
-export interface ExternalDirectoryAuthorization {
-    readonly action: "external_directory";
-    /** Lexical directory used as the external approval boundary. */
-    readonly directory: string;
-    /** `external_directory` permission resource. */
-    readonly resource: string;
-    readonly save: string;
-}
-export declare const externalDirectoryPermission: (input: ExternalDirectoryAuthorization) => {
-    action: "external_directory";
-    resources: string[];
-    save: string[];
-};
-export interface Target {
-    /** Absolute lexical path. */
-    readonly absolute: string;
-    /** Permission resource: Location-relative for internal paths, absolute for external paths. */
-    readonly resource: string;
-    readonly externalDirectory?: ExternalDirectoryAuthorization;
-}
-export interface Interface {
-    /**
-     * Resolve a path and derive its permission resources. A leading `~` expands
-     * to the home directory; other relative paths resolve from the Location.
-     * Paths outside it and its non-root project worktree require separate
-     * `external_directory` approval. This does not approve the mutation.
-     */
-    readonly resolve: (input: ResolveInput) => Effect.Effect<Target, FSUtil.Error>;
-}
-/** Lexical absolute path, normalizing Windows shell paths and expanding `~` before resolution. */
-export declare const resolvePath: (directory: string, input: string, home?: string) => string;
-declare const Service_base: Context.ServiceClass<Service, "@opencode/LocationMutation", Interface>;
-export declare class Service extends Service_base {
-}
-export declare const node: import("@opencode-ai/util/effect/layer-node").Provider<Service, never, import("@opencode-ai/util/effect/layer-node").Tag<"location">>;
+/** @deprecated Use FileAccess for path resolution and authorization. */
+export { FileAccess as LocationMutation } from "./file-access.js";
+export * from "./file-access.js";

package/dist/types/mcp/oauth.d.ts

@@ -1,11 +1,16 @@
 export * as McpOAuth from "./oauth.js";
-import { type OAuthClientProvider } from "@modelcontextprotocol/sdk/client/auth.js";
+import { type OAuthClientProvider, type OAuthServerInfo } from "@modelcontextprotocol/sdk/client/auth.js";
 import type { OAuthClientInformationMixed, OAuthTokens } from "@modelcontextprotocol/sdk/shared/auth.js";
 import type { FetchLike } from "@modelcontextprotocol/sdk/shared/transport.js";
 import { Effect } from "effect";
 import { Credential } from "@opencode-ai/schema/credential";
 import { ConfigMCP } from "@opencode-ai/schema/config/mcp";
 import type { Integration } from "../integration.js";
+/**
+ * opencode's OAuth Client ID Metadata Document. Authorization servers that support CIMD accept this URL as the
+ * client_id and fetch it to learn our name and redirect URIs, so no per-server dynamic registration is needed.
+ */
+export declare const CLIENT_METADATA_URL = "https://opencode.ai/oauth/opencode/client.json";
 /** Observe OAuth failures before the SDK handles them by invalidating credentials or redirecting. */
 export declare const loggedFetch: (fields: {
     readonly server: string;
@@ -33,6 +38,10 @@ export interface Options {
         readonly id: string;
         readonly secret?: string;
     };
+    /** Use opencode's Client ID Metadata Document as the client_id instead of registering dynamically. */
+    readonly clientMetadataUrl?: string;
+    /** Pre-fetched authorization server discovery so the SDK does not repeat it. */
+    readonly discovery?: OAuthServerInfo;
     /** Invoked by the SDK to drop credentials it has determined are invalid (e.g. a rejected refresh token). */
     readonly invalidate?: (scope: "all" | "client" | "tokens" | "verifier" | "discovery") => void | Promise<void>;
     /** Receives the authorization URL so the caller can open a browser and capture the eventual code. */

package/dist/types/model-resolver.d.ts

@@ -68,7 +68,27 @@ declare const UnresolvedProviderVariablesError_base: Schema.Class<UnresolvedProv
 export declare class UnresolvedProviderVariablesError extends UnresolvedProviderVariablesError_base {
     get message(): string;
 }
-export type Error = VariantUnavailableError | UnsupportedPackageError | UnresolvedProviderVariablesError | Integration.AuthorizationError;
+declare const UnsupportedCompactionError_base: Schema.Class<UnsupportedCompactionError, Schema.TaggedStruct<"SessionRunnerModel.UnsupportedCompactionError", {
+    readonly providerID: Schema.brand<Schema.String, "Provider.ID"> & {
+        opencode: string & import("effect/Brand").Brand<"Provider.ID">;
+        anthropic: string & import("effect/Brand").Brand<"Provider.ID">;
+        openai: string & import("effect/Brand").Brand<"Provider.ID">;
+        google: string & import("effect/Brand").Brand<"Provider.ID">;
+        googleVertex: string & import("effect/Brand").Brand<"Provider.ID">;
+        githubCopilot: string & import("effect/Brand").Brand<"Provider.ID">;
+        amazonBedrock: string & import("effect/Brand").Brand<"Provider.ID">;
+        azure: string & import("effect/Brand").Brand<"Provider.ID">;
+        openrouter: string & import("effect/Brand").Brand<"Provider.ID">;
+        mistral: string & import("effect/Brand").Brand<"Provider.ID">;
+        gitlab: string & import("effect/Brand").Brand<"Provider.ID">;
+    };
+    readonly modelID: Schema.brand<Schema.String, "Model.ID">;
+    readonly route: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class UnsupportedCompactionError extends UnsupportedCompactionError_base {
+    get message(): string;
+}
+export type Error = VariantUnavailableError | UnsupportedPackageError | UnresolvedProviderVariablesError | UnsupportedCompactionError | Integration.AuthorizationError;
 export interface Resolved {
     /** Route-level model for provider requests; its id is the provider API model id, which may differ from the catalog id. */
     readonly model: LanguageModel;
@@ -80,6 +100,8 @@ export interface Resolved {
     readonly cost: Info["cost"];
     /** Catalog token limits used by Core for context management. */
     readonly limit: Info["limit"];
+    /** Model policy overrides the provider policy; omitted means local compaction. */
+    readonly compaction?: Info["compaction"];
 }
 export interface Interface {
     readonly resolve: (requested?: Ref) => Effect.Effect<Resolved | undefined, Error>;
@@ -93,10 +115,10 @@ export interface Dependencies {
     readonly loadPackage?: (specifier: string) => Effect.Effect<Provider.ProviderPackage, Provider.LoadError>;
     readonly loadAISDK?: (model: Info) => Effect.Effect<LanguageModel, AISDK.InitError>;
 }
-export declare const fromCatalogModel: (model: Info, credential?: Credential.Value, dependencies?: Dependencies) => Effect.Effect<LanguageModel, UnsupportedPackageError | UnresolvedProviderVariablesError>;
+export declare const fromCatalogModel: (model: Info, credential?: Credential.Value, dependencies?: Dependencies) => Effect.Effect<LanguageModel, UnsupportedPackageError | UnresolvedProviderVariablesError | UnsupportedCompactionError>;
 export declare const resolveModel: (model: Info, variant: VariantID | undefined, credential?: Credential.Value, dependencies?: Dependencies) => Effect.Effect<LanguageModel<{
     readonly [x: string]: unknown;
-}, import("@opencode-ai/ai/route").CompactionOperations | undefined>, VariantUnavailableError | UnsupportedPackageError | UnresolvedProviderVariablesError, never>;
+}, import("@opencode-ai/ai/route").CompactionOperations | undefined>, VariantUnavailableError | UnsupportedPackageError | UnresolvedProviderVariablesError | UnsupportedCompactionError, never>;
 export declare const hasPackage: (model: Info) => boolean;
 /** Resolves catalog selections into runtime models for the current Location. */
 export declare const layer: Layer.Layer<Service, never, Npm.Service | AISDK.Service | Integration.Service | Catalog.Service>;

package/dist/types/model.d.ts

@@ -188,6 +188,17 @@ export declare const Info: import("effect/Schema").Struct<{
         readonly requireAssistantAfterTool: import("effect/Schema").decodeTo<import("effect/Schema").optional<import("effect/Schema").toType<import("effect/Schema").Boolean>>, import("effect/Schema").optionalKey<import("effect/Schema").Boolean>, never, never>;
     }>>, never, never>;
     readonly package: import("effect/Schema").decodeTo<import("effect/Schema").optional<import("effect/Schema").toType<import("effect/Schema").String>>, import("effect/Schema").optionalKey<import("effect/Schema").String>, never, never>;
+    readonly compaction: import("effect/Schema").decodeTo<import("effect/Schema").optional<import("effect/Schema").toType<import("effect/Schema").Union<readonly [import("effect/Schema").Struct<{
+        readonly mode: import("effect/Schema").Literal<"local">;
+    }>, import("effect/Schema").Struct<{
+        readonly mode: import("effect/Schema").Literal<"provider">;
+        readonly threshold: import("effect/Schema").decodeTo<import("effect/Schema").optional<import("effect/Schema").toType<import("effect/Schema").Int>>, import("effect/Schema").optionalKey<import("effect/Schema").Int>, never, never>;
+    }>]>>>, import("effect/Schema").optionalKey<import("effect/Schema").Union<readonly [import("effect/Schema").Struct<{
+        readonly mode: import("effect/Schema").Literal<"local">;
+    }>, import("effect/Schema").Struct<{
+        readonly mode: import("effect/Schema").Literal<"provider">;
+        readonly threshold: import("effect/Schema").decodeTo<import("effect/Schema").optional<import("effect/Schema").toType<import("effect/Schema").Int>>, import("effect/Schema").optionalKey<import("effect/Schema").Int>, never, never>;
+    }>]>>, never, never>;
 }> & {
     default: (providerID: import("@opencode-ai/schema/provider").ID, id: Model.ID) => {
         id: string & import("effect/Brand").Brand<"Model.ID">;

package/dist/types/plugin/host.d.ts

@@ -25,6 +25,6 @@ import { Permission } from "../permission.js";
 import { PluginHooks } from "./hooks.js";
 import type { Interface } from "../plugin.js";
 import { LayerNode } from "@opencode-ai/util/effect/layer-node";
-export declare const make: (plugin: Pick<Interface, "list">, pluginID?: string | undefined) => Effect.Effect<Plugin.Context, never, Bus.Service | Location.Service | Agent.Service | AISDK.Service | Integration.Service | Catalog.Service | Command.Service | KV.Service | Generate.Service | PersistentPty.Service | LocationServiceMap.Service | Reference.Service | Rpc.Service | WebSearch.Service | PluginHooks.Service | Mcp.Service | Permission.Service | Session.Service | Skill.Service | Tool.Service | Worktree.Service | Vcs.Service>;
-export declare const requirements: LayerNode.Graph<Bus.Service | Location.Service | Agent.Service | AISDK.Service | Integration.Service | Catalog.Service | Command.Service | KV.Service | Generate.Service | PersistentPty.Service | LocationServiceMap.Service | Reference.Service | Rpc.Service | WebSearch.Service | PluginHooks.Service | Mcp.Service | Permission.Service | Session.Service | Skill.Service | Tool.Service | Worktree.Service | Vcs.Service, PersistentPty.UnavailableError, LayerNode.Tag<"global"> | LayerNode.Tag<"location">>;
+export declare const make: (plugin: Pick<Interface, "list">, pluginID?: string | undefined) => Effect.Effect<Plugin.Context, never, Bus.Service | Location.Service | Agent.Service | AISDK.Service | Integration.Service | Catalog.Service | Command.Service | KV.Service | PluginHooks.Service | Permission.Service | Tool.Service | Generate.Service | PersistentPty.Service | LocationServiceMap.Service | Reference.Service | Rpc.Service | WebSearch.Service | Mcp.Service | Session.Service | Skill.Service | Worktree.Service | Vcs.Service>;
+export declare const requirements: LayerNode.Graph<Bus.Service | Location.Service | Agent.Service | AISDK.Service | Integration.Service | Catalog.Service | Command.Service | KV.Service | PluginHooks.Service | Permission.Service | Tool.Service | Generate.Service | PersistentPty.Service | LocationServiceMap.Service | Reference.Service | Rpc.Service | WebSearch.Service | Mcp.Service | Session.Service | Skill.Service | Worktree.Service | Vcs.Service, PersistentPty.UnavailableError, LayerNode.Tag<"global"> | LayerNode.Tag<"location">>;
 export declare function storage(kv: KV.Interface, pluginID: string): Plugin.Context["storage"];

package/dist/types/plugin/internal.d.ts

@@ -12,6 +12,7 @@ import { Credential } from "../credential.js";
 import { Worktree } from "../worktree.js";
 import { Bus } from "../bus.js";
 import { Environment } from "../environment/index.js";
+import { FileAccess } from "../file-access.js";
 import { FileMutation } from "../file-mutation.js";
 import { Formatter } from "../formatter.js";
 import { Form } from "../form.js";
@@ -25,7 +26,6 @@ import { Integration } from "../integration.js";
 import { Job } from "../job.js";
 import { KV } from "../kv.js";
 import { Location } from "../location.js";
-import { LocationMutation } from "../location-mutation.js";
 import { ModelsDev } from "../models-dev.js";
 import { Mcp } from "../mcp/index.js";
 import { Npm } from "@opencode-ai/util/npm";
@@ -46,9 +46,9 @@ import { ReadToolFileSystem } from "../tool/read-filesystem.js";
 import { Tool } from "../tool.js";
 import { ToolOutput } from "../tool-output.js";
 import { WellKnown } from "../wellknown.js";
-declare const services: readonly [typeof Agent.Service, typeof AppProcess.Service, typeof Catalog.Service, typeof Command.Service, typeof Config.Service, typeof Credential.Service, typeof Bus.Service, typeof Environment.Service, typeof FileMutation.Service, typeof Formatter.Service, typeof LocationWatcherPolicy.Service, typeof FileSystem.Service, typeof FSUtil.Service, typeof Global.Service, Context.Service<HttpClient.HttpClient, HttpClient.HttpClient>, typeof Image.Service, typeof InstructionDiscovery.Service, typeof Integration.Service, typeof Job.Service, typeof KV.Service, typeof Location.Service, typeof LocationMutation.Service, typeof ModelsDev.Service, typeof Mcp.Service, typeof Npm.Service, typeof Permission.Service, typeof Form.Service, typeof ReadToolFileSystem.Service, typeof Reference.Service, typeof WebSearch.Service, typeof Ripgrep.Service, typeof Session.Service, typeof SessionCompaction.Service, typeof SessionInstructions.Service, typeof Shell.Service, typeof ShellSelect.Service, typeof Snapshot.Service, typeof Skill.Service, typeof SkillDiscovery.Service, typeof Tool.Service, typeof ToolOutput.Service, typeof Watcher.Service, typeof WellKnown.Service, typeof Worktree.Service];
+declare const services: readonly [typeof Agent.Service, typeof AppProcess.Service, typeof Catalog.Service, typeof Command.Service, typeof Config.Service, typeof Credential.Service, typeof Bus.Service, typeof Environment.Service, typeof FileAccess.Service, typeof FileMutation.Service, typeof Formatter.Service, typeof LocationWatcherPolicy.Service, typeof FileSystem.Service, typeof FSUtil.Service, typeof Global.Service, Context.Service<HttpClient.HttpClient, HttpClient.HttpClient>, typeof Image.Service, typeof InstructionDiscovery.Service, typeof Integration.Service, typeof Job.Service, typeof KV.Service, typeof Location.Service, typeof ModelsDev.Service, typeof Mcp.Service, typeof Npm.Service, typeof Permission.Service, typeof Form.Service, typeof ReadToolFileSystem.Service, typeof Reference.Service, typeof WebSearch.Service, typeof Ripgrep.Service, typeof Session.Service, typeof SessionCompaction.Service, typeof SessionInstructions.Service, typeof Shell.Service, typeof ShellSelect.Service, typeof Snapshot.Service, typeof Skill.Service, typeof SkillDiscovery.Service, typeof Tool.Service, typeof ToolOutput.Service, typeof Watcher.Service, typeof WellKnown.Service, typeof Worktree.Service];
 export type Requirements = Context.Service.Identifier<(typeof services)[number]>;
-export declare const requirements: LayerNode.Graph<Global.Service | HttpClient.HttpClient | FSUtil.Service | AppProcess.Service | Bus.Service | Location.Service | Agent.Service | Npm.Service | Credential.Service | Form.Service | Integration.Service | Catalog.Service | Command.Service | Watcher.Service | KV.Service | WellKnown.Service | Config.Service | Environment.Service | FileMutation.Service | Ripgrep.Service | FileSystem.Service | Formatter.Service | Image.Service | ShellSelect.Service | Reference.Service | WebSearch.Service | Mcp.Service | ModelsDev.Service | LocationMutation.Service | Permission.Service | ReadToolFileSystem.Service | SessionInstructions.Service | Session.Service | Job.Service | Shell.Service | Skill.Service | LocationWatcherPolicy.Service | InstructionDiscovery.Service | SessionCompaction.Service | Snapshot.Service | SkillDiscovery.Service | Tool.Service | ToolOutput.Service | Worktree.Service, never, LayerNode.Tag<"global"> | LayerNode.Tag<"location">>;
+export declare const requirements: LayerNode.Graph<Global.Service | HttpClient.HttpClient | FSUtil.Service | AppProcess.Service | Bus.Service | Location.Service | Agent.Service | Npm.Service | Credential.Service | Form.Service | Integration.Service | Catalog.Service | Command.Service | Watcher.Service | KV.Service | WellKnown.Service | Config.Service | Permission.Service | Environment.Service | Ripgrep.Service | FileSystem.Service | Image.Service | Tool.Service | FileAccess.Service | FileMutation.Service | Formatter.Service | ShellSelect.Service | Reference.Service | WebSearch.Service | Mcp.Service | ModelsDev.Service | ReadToolFileSystem.Service | SessionInstructions.Service | Session.Service | Job.Service | Shell.Service | Skill.Service | LocationWatcherPolicy.Service | InstructionDiscovery.Service | SessionCompaction.Service | Snapshot.Service | SkillDiscovery.Service | ToolOutput.Service | Worktree.Service, never, LayerNode.Tag<"global"> | LayerNode.Tag<"location">>;
 export type InternalPlugin = Plugin<Requirements | Scope.Scope>;
 export declare const list: () => Effect.Effect<{
     pre: Plugin<Scope.Scope>[];

package/dist/types/provider.d.ts

@@ -93,6 +93,17 @@ export declare const Info: Schema.Struct<{
     readonly name: Schema.String;
     readonly activation: Schema.Literals<readonly ["auto", "enabled", "disabled"]>;
     readonly package: Schema.String;
+    readonly compaction: Schema.decodeTo<Schema.optional<Schema.toType<Schema.Union<readonly [Schema.Struct<{
+        readonly mode: Schema.Literal<"local">;
+    }>, Schema.Struct<{
+        readonly mode: Schema.Literal<"provider">;
+        readonly threshold: Schema.decodeTo<Schema.optional<Schema.toType<Schema.Int>>, Schema.optionalKey<Schema.Int>, never, never>;
+    }>]>>>, Schema.optionalKey<Schema.Union<readonly [Schema.Struct<{
+        readonly mode: Schema.Literal<"local">;
+    }>, Schema.Struct<{
+        readonly mode: Schema.Literal<"provider">;
+        readonly threshold: Schema.decodeTo<Schema.optional<Schema.toType<Schema.Int>>, Schema.optionalKey<Schema.Int>, never, never>;
+    }>]>>, never, never>;
 }> & {
     empty: (id: Provider.ID) => Provider.Info;
 };

package/dist/types/session/compaction.d.ts

@@ -1,6 +1,8 @@
 export * as SessionCompaction from "./compaction.js";
+import { Message } from "@opencode-ai/ai";
 import { Context, Effect, Layer } from "effect";
 import { Bus } from "../bus.js";
+import { Database } from "../database/database.js";
 import type { SessionContext } from "./context.js";
 import type { SessionMessage } from "./message.js";
 import { SessionModelRequest } from "./model-request.js";
@@ -20,6 +22,8 @@ export type Editor = {
 export type AutoInput = {
     readonly context: SessionContext.Loaded;
     readonly prepare: SessionModelRequest.Interface["prepare"];
+    /** Known overflow must recover from durable history, not submit the overflowing native window again. */
+    readonly overflow?: boolean;
 };
 type RequiredInput = {
     readonly messages: readonly SessionMessage.Info[];
@@ -37,7 +41,10 @@ export type ManualInput = {
     }, SessionRunnerModel.Error | AgentNotFoundError | Instructions.InitializationBlocked>;
     readonly prepare: SessionModelRequest.Interface["prepare"];
 };
-export type Outcome = Pick<SessionMessage.CompactionCompleted, "status"> | Pick<SessionMessage.CompactionFailed, "status" | "error">;
+export type Outcome = (Pick<SessionMessage.CompactionCompleted, "status"> & {
+    /** Consumes the logical step's one overflow rebuild even when the native attempt overflowed first. */
+    readonly recoveredOverflow?: boolean;
+}) | Pick<SessionMessage.CompactionFailed, "status" | "error">;
 export interface Interface extends State.Transformable<Editor> {
     readonly enabled: () => boolean;
     readonly required: (input: RequiredInput) => boolean;
@@ -48,8 +55,10 @@ declare const Service_base: Context.ServiceClass<Service, "@opencode/SessionComp
 export declare class Service extends Service_base {
 }
 export declare const estimateTokens: (input: RequiredInput) => number;
+/** Keep whole, real user messages, never synthetic guidance or half an attachment/tool exchange. */
+export declare const retainUsers: (messages: readonly SessionMessage.Info[], model: Pick<SessionRunnerModel.Resolved, "ref" | "capabilities">, keepTokens: number) => Message[];
 export declare const truncateToolOutput: (value: string) => string;
 export declare const serializeToolContent: (content: SessionMessage.ToolStateCompleted["content"]) => string;
 export declare const buildPrompt: (update: boolean) => string;
-export declare const layer: Layer.Layer<Service, never, Bus.Service | import("@opencode-ai/ai").LLMClientService>;
+export declare const layer: Layer.Layer<Service, never, Database.Service | Bus.Service | import("@opencode-ai/ai").LLMClientService>;
 export declare const node: import("@opencode-ai/util/effect/layer-node").Provider<Service, never, import("@opencode-ai/util/effect/layer-node").Tag<"location">>;

package/dist/types/session/execution/restart.d.ts

@@ -44,5 +44,5 @@ declare const Service_base: Context.ServiceClass<Service, "@opencode/SessionRest
  */
 export declare class Service extends Service_base {
 }
-export declare const layer: (options?: Options) => Layer.Layer<Service, never, Bus.Service | Session.Service | Job.Service | SessionStore.Service | SessionExecution.Service>;
+export declare const layer: (options?: Options) => Layer.Layer<Service, never, Bus.Service | SessionStore.Service | Session.Service | Job.Service | SessionExecution.Service>;
 export declare const node: import("@opencode-ai/util/effect/layer-node").Provider<Service, never, import("@opencode-ai/util/effect/layer-node").Tag<"global">>;

package/dist/types/session/execution.d.ts

@@ -50,7 +50,7 @@ export declare function terminal(exit: Exit.Exit<void, SessionRunner.RunError>,
     reason?: undefined;
 };
 /** Process-local execution: drains run in this process using the selected instance. */
-export declare const layer: Layer.Layer<Service, never, Database.Service | Bus.Service | Job.Service | SessionStore.Service | Instance.Service>;
+export declare const layer: Layer.Layer<Service, never, Database.Service | Bus.Service | SessionStore.Service | Job.Service | Instance.Service>;
 export declare const node: import("@opencode-ai/util/effect/layer-node").Provider<Service, never, import("@opencode-ai/util/effect/layer-node").Tag<"global">>;
 /** Low-level compatibility layer for callers that only need durable Session recording. */
 export declare const noopLayer: Layer.Layer<Service, never, never>;

package/dist/types/session/generate.d.ts

@@ -12,4 +12,4 @@ export type Error = AgentNotFoundError | Instructions.InitializationBlocked | Se
 export declare const generate: (input: {
     session: SessionSchema.Info;
     prompt: string;
-}) => Effect.Effect<string, AIError | SessionRunnerModel.Error | AgentNotFoundError | Instructions.InitializationBlocked, Database.Service | import("@opencode-ai/ai").LLMClientService | Instance.Service>;
+}) => Effect.Effect<string, AIError | AgentNotFoundError | Instructions.InitializationBlocked | SessionRunnerModel.Error, Database.Service | import("@opencode-ai/ai").LLMClientService | Instance.Service>;

package/dist/types/session/history.d.ts

@@ -1,10 +1,17 @@
 import { Effect, Schema } from "effect";
 import { MessageDecodeError } from "./error.js";
 import { Instructions } from "../instructions/index.js";
+import { SessionProviderContext } from "./provider-context.js";
 import { SessionMessageTable } from "./sql.js";
+/**
+ * Which completed compactions bound a history read. Local summaries always do. Native
+ * windows do for model-neutral readers (`latest`), never for the original transcript
+ * (`local`), and only when the target model can replay them (a provenance).
+ */
+export type Boundary = "latest" | "local" | SessionProviderContext.Provenance;
 export declare const latestCompaction: (db: import("../database/drizzle.js").EffectSQLiteDatabase<import("drizzle-orm").EmptyRelations> & {
     $client: import("effect/unstable/sql/SqlClient").SqlClient;
-}, sessionID: string & import("effect/Brand").Brand<"SessionID">) => Effect.Effect<{
+}, sessionID: string & import("effect/Brand").Brand<"SessionID">, boundary: Boundary) => Effect.Effect<{
     seq: number;
 } | undefined, never, never>;
 export declare const decodeMessageRow: (row: typeof SessionMessageTable.$inferSelect) => Effect.Effect<{
@@ -344,6 +351,18 @@ export declare const decodeMessageRow: (row: typeof SessionMessageTable.$inferSe
     readonly providerState?: {
         readonly [x: string]: unknown;
     } | undefined;
+    readonly providerContext?: {
+        readonly version: 1;
+        readonly provenance: {
+            readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+            readonly provider: string;
+            readonly modelID: string;
+            readonly route: string;
+            readonly protocol: string;
+            readonly endpoint: string;
+        };
+        readonly messages: Schema.Json;
+    } | undefined;
 } | {
     readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
     readonly type: "compaction";
@@ -363,7 +382,7 @@ export declare const decodeMessageRow: (row: typeof SessionMessageTable.$inferSe
 }, MessageDecodeError, never>;
 export declare const load: (db: import("../database/drizzle.js").EffectSQLiteDatabase<import("drizzle-orm").EmptyRelations> & {
     $client: import("effect/unstable/sql/SqlClient").SqlClient;
-}, sessionID: string & import("effect/Brand").Brand<"SessionID">) => Effect.Effect<({
+}, sessionID: string & import("effect/Brand").Brand<"SessionID">, boundary: Boundary) => Effect.Effect<({
     readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
     readonly type: "agent-switched";
     readonly time: {
@@ -700,6 +719,18 @@ export declare const load: (db: import("../database/drizzle.js").EffectSQLiteDat
     readonly providerState?: {
         readonly [x: string]: unknown;
     } | undefined;
+    readonly providerContext?: {
+        readonly version: 1;
+        readonly provenance: {
+            readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+            readonly provider: string;
+            readonly modelID: string;
+            readonly route: string;
+            readonly protocol: string;
+            readonly endpoint: string;
+        };
+        readonly messages: Schema.Json;
+    } | undefined;
 } | {
     readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
     readonly type: "compaction";
@@ -719,7 +750,7 @@ export declare const load: (db: import("../database/drizzle.js").EffectSQLiteDat
 })[], MessageDecodeError, never>;
 export declare const entriesForRunner: (db: import("../database/drizzle.js").EffectSQLiteDatabase<import("drizzle-orm").EmptyRelations> & {
     $client: import("effect/unstable/sql/SqlClient").SqlClient;
-}, sessionID: string & import("effect/Brand").Brand<"SessionID">, instructions: Instructions.List) => Effect.Effect<{
+}, sessionID: string & import("effect/Brand").Brand<"SessionID">, instructions: Instructions.List, boundary: Boundary) => Effect.Effect<{
     initial: string;
     entries: {
         seq: number;
@@ -1060,6 +1091,18 @@ export declare const entriesForRunner: (db: import("../database/drizzle.js").Eff
             readonly providerState?: {
                 readonly [x: string]: unknown;
             } | undefined;
+            readonly providerContext?: {
+                readonly version: 1;
+                readonly provenance: {
+                    readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+                    readonly provider: string;
+                    readonly modelID: string;
+                    readonly route: string;
+                    readonly protocol: string;
+                    readonly endpoint: string;
+                };
+                readonly messages: Schema.Json;
+            } | undefined;
         } | {
             readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
             readonly type: "compaction";
@@ -1081,7 +1124,7 @@ export declare const entriesForRunner: (db: import("../database/drizzle.js").Eff
 }, never, never>;
 export declare const preview: (db: import("../database/drizzle.js").EffectSQLiteDatabase<import("drizzle-orm").EmptyRelations> & {
     $client: import("effect/unstable/sql/SqlClient").SqlClient;
-}, sessionID: string & import("effect/Brand").Brand<"SessionID">, instructions: Instructions.List) => Effect.Effect<{
+}, sessionID: string & import("effect/Brand").Brand<"SessionID">, instructions: Instructions.List, boundary: Boundary) => Effect.Effect<{
     initial: string;
     messages: ({
         readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
@@ -1420,6 +1463,18 @@ export declare const preview: (db: import("../database/drizzle.js").EffectSQLite
         readonly providerState?: {
             readonly [x: string]: unknown;
         } | undefined;
+        readonly providerContext?: {
+            readonly version: 1;
+            readonly provenance: {
+                readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+                readonly provider: string;
+                readonly modelID: string;
+                readonly route: string;
+                readonly protocol: string;
+                readonly endpoint: string;
+            };
+            readonly messages: Schema.Json;
+        } | undefined;
     } | {
         readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
         readonly type: "compaction";

package/dist/types/session/provider-context.d.ts

@@ -0,0 +1,46 @@
+export * as SessionProviderContext from "./provider-context.js";
+import { Message } from "@opencode-ai/ai";
+import { SessionProviderContext } from "@opencode-ai/schema/session-provider-context";
+import { Schema } from "effect";
+import type { SessionMessage } from "./message.js";
+import type { SessionRunnerModel } from "./runner/model.js";
+export type Provenance = SessionProviderContext.Provenance;
+export declare const Info: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly provenance: Schema.Struct<{
+        readonly providerID: Schema.brand<Schema.String, "Provider.ID"> & {
+            opencode: string & import("effect/Brand").Brand<"Provider.ID">;
+            anthropic: string & import("effect/Brand").Brand<"Provider.ID">;
+            openai: string & import("effect/Brand").Brand<"Provider.ID">;
+            google: string & import("effect/Brand").Brand<"Provider.ID">;
+            googleVertex: string & import("effect/Brand").Brand<"Provider.ID">;
+            githubCopilot: string & import("effect/Brand").Brand<"Provider.ID">;
+            amazonBedrock: string & import("effect/Brand").Brand<"Provider.ID">;
+            azure: string & import("effect/Brand").Brand<"Provider.ID">;
+            openrouter: string & import("effect/Brand").Brand<"Provider.ID">;
+            mistral: string & import("effect/Brand").Brand<"Provider.ID">;
+            gitlab: string & import("effect/Brand").Brand<"Provider.ID">;
+        };
+        readonly provider: Schema.String;
+        readonly modelID: Schema.String;
+        readonly route: Schema.String;
+        readonly protocol: Schema.String;
+        readonly endpoint: Schema.String;
+    }>;
+    readonly messages: Schema.Codec<Schema.Json, Schema.Json, never, never>;
+}>;
+export type Info = SessionProviderContext.Info;
+/** No guessed endpoints. Dynamic URL builders cannot establish a durable deployment identity here. */
+export declare function provenance(resolved: Pick<SessionRunnerModel.Resolved, "model" | "ref">): Provenance | undefined;
+export declare const compatible: (source: Provenance, target: Provenance | undefined) => boolean;
+/** A completed compaction that installed a native replacement window instead of a local summary. */
+export declare const isCheckpoint: (message: SessionMessage.Info) => message is SessionMessage.CompactionCompleted & {
+    readonly providerContext: Info;
+};
+/** Stores the canonical replacement, not a local summary or transport continuation.
+ * Provider and attachment metadata can contain optional undefined entries. Use JSON's
+ * omission semantics, while preserving canonical binary media as equivalent base64.
+ */
+export declare const encode: (provenance: Provenance, replacement: ReadonlyArray<Message>) => Info;
+export declare const decode: (context: Info) => readonly Message[];
+export declare const validate: (context: Info) => import("effect/Effect").Effect<readonly Message[], Schema.SchemaError, never>;

package/dist/types/session/runner/model.d.ts

@@ -1,6 +1,7 @@
 export * as SessionRunnerModel from "./model.js";
 import { LanguageModel } from "@opencode-ai/ai";
 import { Model } from "@opencode-ai/schema/model";
+import { Provider } from "@opencode-ai/schema/provider";
 import { Context, Effect, Schema } from "effect";
 import { ModelResolver } from "../../model-resolver.js";
 import { SessionSchema } from "../schema.js";
@@ -38,6 +39,8 @@ export declare const UnsupportedPackageError: typeof ModelResolver.UnsupportedPa
 export type UnsupportedPackageError = ModelResolver.UnsupportedPackageError;
 export declare const UnresolvedProviderVariablesError: typeof ModelResolver.UnresolvedProviderVariablesError;
 export type UnresolvedProviderVariablesError = ModelResolver.UnresolvedProviderVariablesError;
+export declare const UnsupportedCompactionError: typeof ModelResolver.UnsupportedCompactionError;
+export type UnsupportedCompactionError = ModelResolver.UnsupportedCompactionError;
 export type Error = ModelNotSelectedError | ModelUnavailableError | ModelResolver.Error;
 export type Resolved = ModelResolver.Resolved;
 export interface Interface {
@@ -53,5 +56,6 @@ export declare const resolved: (model: LanguageModel, options: {
     readonly variant?: Model.VariantID;
     readonly cost: Model.Info["cost"];
     readonly limit: Model.Info["limit"];
+    readonly compaction?: Provider.Compaction;
 }) => Resolved;
 export declare const node: import("@opencode-ai/util/effect/layer-node").Provider<Service, never, import("@opencode-ai/util/effect/layer-node").Tag<"location">>;

package/dist/types/session/runner/retry.d.ts

@@ -29,6 +29,11 @@ export declare const policy: (sessionID: SessionSchema.ID) => Effect.Effect<(inp
     attempt: number;
     delay: number;
 }, never, never>, never, never>;
+/**
+ * Retries one auxiliary request's transient failures under a shared `policy` allowance, letting the
+ * session retry hook adjust each decision. Context overflow is never transient: callers recover it.
+ */
+export declare const transient: (decide: Effect.Success<ReturnType<typeof policy>>, input: Pick<Input, "agent" | "model" | "hook">) => <A, R>(effect: Effect.Effect<A, AIError, R>) => Effect.Effect<A, AIError, R>;
 export declare const make: (bus: Bus.Interface, sessionID: SessionSchema.ID) => Effect.Effect<{
     decide: (input: Input) => Effect.Effect<{
         retry: false;

package/dist/types/session/session.d.ts

@@ -31,7 +31,7 @@ export declare const make: () => Effect.Effect<{
         updateMessage: (input: {
             readonly messageID: SessionMessage.ID;
             readonly content: readonly SessionMessage.AssistantContent[];
-        }) => Effect.Effect<SessionMessage.Assistant, NotFoundError | BusyError | MessageNotFoundError | MessageNotAssistantError | MessageIncompleteError | MessageToolIncompleteError, never>;
+        }) => Effect.Effect<SessionMessage.Assistant, NotFoundError | MessageNotFoundError | MessageNotAssistantError | MessageIncompleteError | MessageToolIncompleteError | BusyError, never>;
         view: (input: {
             idle: number;
         }) => Effect.Effect<void, NotFoundError, never>;
@@ -173,7 +173,7 @@ export declare const make: () => Effect.Effect<{
             readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
             readonly sessionID: string & import("effect/Brand").Brand<"SessionID">;
             readonly timeCreated: DateTime.Utc;
-        }, NotFoundError | import("./error.js").AttachmentError | import("./error.js").SkillNotFoundError | PromptConflictError, never>;
+        }, NotFoundError | PromptConflictError | import("./error.js").AttachmentError | import("./error.js").SkillNotFoundError, never>;
         synthetic: (input: {
             id?: SessionMessage.ID;
             text: string;
@@ -237,7 +237,7 @@ export declare const make: () => Effect.Effect<{
                     readonly deletions: number;
                     readonly status: "added" | "deleted" | "modified";
                 }[];
-            }, NotFoundError | BusyError | MessageNotFoundError | import("../snapshot.js").Error, never>;
+            }, NotFoundError | MessageNotFoundError | BusyError | import("../snapshot.js").Error, never>;
             clear: () => Effect.Effect<void, NotFoundError | BusyError | import("../snapshot.js").Error, never>;
             commit: () => Effect.Effect<void, NotFoundError | BusyError, never>;
         };

package/dist/types/session/sql.d.ts

@@ -693,7 +693,7 @@ export declare const SessionMessageTable: import("drizzle-orm/sqlite-core").SQLi
             name: string;
             tableName: "session_message";
             dataType: "string";
-            data: "system" | "skill" | "shell" | "agent-switched" | "model-switched" | "location-switched" | "user" | "synthetic" | "assistant" | "compaction";
+            data: "compaction" | "system" | "skill" | "shell" | "agent-switched" | "model-switched" | "location-switched" | "user" | "synthetic" | "assistant";
             driverParam: string;
             notNull: true;
             hasDefault: false;
@@ -764,7 +764,7 @@ export declare const SessionPendingTable: import("drizzle-orm/sqlite-core").SQLi
             name: string;
             tableName: "session_pending";
             dataType: "string";
-            data: "user" | "synthetic" | "compaction" | "move";
+            data: "compaction" | "user" | "synthetic" | "move";
             driverParam: string;
             notNull: true;
             hasDefault: false;
@@ -883,7 +883,7 @@ export declare const SessionInboxTable: import("drizzle-orm/sqlite-core").SQLite
             name: string;
             tableName: "session_inbox";
             dataType: "string";
-            data: "user" | "synthetic" | "compaction" | "move";
+            data: "compaction" | "user" | "synthetic" | "move";
             driverParam: string;
             notNull: true;
             hasDefault: false;