@opencode-ai/core 0.0.0-next-17293

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

@@ -0,0 +1,1097 @@
+import { Effect, Schema } from "effect";
+import { MessageDecodeError } from "./error.js";
+import { Instructions } from "../instructions/index.js";
+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<{
+    seq: number;
+} | undefined, never, 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<({
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "agent-switched";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly agent: string & import("effect/Brand").Brand<"Agent.ID">;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly previous?: (string & import("effect/Brand").Brand<"Agent.ID">) | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "model-switched";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly model: {
+        readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+        readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+        readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+    };
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly previous?: {
+        readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+        readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+        readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+    } | undefined;
+} | {
+    readonly location: {
+        readonly directory: string & import("effect/Brand").Brand<"AbsolutePath">;
+        readonly workspaceID?: (string & import("effect/Brand").Brand<"Workspace.ID">) | undefined;
+    };
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "location-switched";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly projectID?: (string & import("effect/Brand").Brand<"Project.ID">) | undefined;
+    readonly previous?: {
+        readonly location: {
+            readonly directory: string & import("effect/Brand").Brand<"AbsolutePath">;
+            readonly workspaceID?: (string & import("effect/Brand").Brand<"Workspace.ID">) | undefined;
+        };
+        readonly projectID?: (string & import("effect/Brand").Brand<"Project.ID">) | undefined;
+        readonly subpath?: (string & import("effect/Brand").Brand<"RelativePath">) | undefined;
+    } | undefined;
+    readonly subpath?: (string & import("effect/Brand").Brand<"RelativePath">) | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "user";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly text: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly files?: readonly {
+        readonly source: {
+            readonly type: "inline";
+        } | {
+            readonly type: "uri";
+            readonly uri: string;
+        };
+        readonly data: string;
+        readonly mime: string;
+        readonly name?: string | undefined;
+        readonly description?: string | undefined;
+        readonly mention?: {
+            readonly start: number;
+            readonly end: number;
+            readonly text: string;
+        } | undefined;
+    }[] | undefined;
+    readonly agents?: readonly {
+        readonly name: string;
+        readonly mention?: {
+            readonly start: number;
+            readonly end: number;
+            readonly text: string;
+        } | undefined;
+    }[] | undefined;
+    readonly skills?: readonly {
+        readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+        readonly id: string & import("effect/Brand").Brand<"Skill.ID">;
+        readonly text: string;
+        readonly mention?: {
+            readonly start: number;
+            readonly end: number;
+            readonly text: string;
+        } | undefined;
+    }[] | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "synthetic";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly text: string;
+    readonly description?: string | undefined;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "system";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly text: string;
+    readonly description?: string | undefined;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+} | {
+    readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "skill";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly text: string;
+    readonly skill: string & import("effect/Brand").Brand<"Skill.ID">;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "shell";
+    readonly status: "timeout" | "running" | "exited" | "killed";
+    readonly command: string;
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+        readonly completed?: import("effect/DateTime").Utc | undefined;
+    };
+    readonly shellID: string & import("effect/Brand").Brand<"Shell.ID">;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly output?: {
+        readonly output: string;
+        readonly cursor: number;
+        readonly size: number;
+        readonly truncated: boolean;
+    } | undefined;
+    readonly exit?: number | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "assistant";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+        readonly completed?: import("effect/DateTime").Utc | undefined;
+    };
+    readonly model: {
+        readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+        readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+        readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+    };
+    readonly content: readonly ({
+        readonly name: string;
+        readonly id: string;
+        readonly type: "tool";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+            readonly completed?: import("effect/DateTime").Utc | undefined;
+            readonly ran?: import("effect/DateTime").Utc | undefined;
+        };
+        readonly state: {
+            readonly status: "streaming";
+            readonly input: string;
+        } | {
+            readonly status: "running";
+            readonly input: {
+                readonly [x: string]: unknown;
+            };
+            readonly metadata: {
+                readonly [x: string]: Schema.Json;
+            };
+        } | {
+            readonly status: "completed";
+            readonly input: {
+                readonly [x: string]: unknown;
+            };
+            readonly content: readonly [{
+                readonly type: "text";
+                readonly text: string;
+            } | {
+                readonly type: "file";
+                readonly uri: string;
+                readonly mime: string;
+                readonly name?: string | undefined;
+            }, ...({
+                readonly type: "text";
+                readonly text: string;
+            } | {
+                readonly type: "file";
+                readonly uri: string;
+                readonly mime: string;
+                readonly name?: string | undefined;
+            })[]];
+            readonly metadata?: {
+                readonly [x: string]: Schema.Json;
+            } | undefined;
+        } | {
+            readonly status: "error";
+            readonly input: {
+                readonly [x: string]: unknown;
+            };
+            readonly error: {
+                readonly type: string;
+                readonly message: string;
+                readonly status?: number | undefined;
+            };
+            readonly metadata?: {
+                readonly [x: string]: Schema.Json;
+            } | undefined;
+            readonly content?: readonly [{
+                readonly type: "text";
+                readonly text: string;
+            } | {
+                readonly type: "file";
+                readonly uri: string;
+                readonly mime: string;
+                readonly name?: string | undefined;
+            }, ...({
+                readonly type: "text";
+                readonly text: string;
+            } | {
+                readonly type: "file";
+                readonly uri: string;
+                readonly mime: string;
+                readonly name?: string | undefined;
+            })[]] | undefined;
+        };
+        readonly executed?: boolean | undefined;
+        readonly providerState?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly providerResultState?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly type: "text";
+        readonly text: string;
+        readonly state?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly type: "reasoning";
+        readonly text: string;
+        readonly time?: {
+            readonly created: import("effect/DateTime").Utc;
+            readonly completed?: import("effect/DateTime").Utc | undefined;
+        } | undefined;
+        readonly state?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    })[];
+    readonly agent: string & import("effect/Brand").Brand<"Agent.ID">;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly cost?: (number & import("effect/Brand").Brand<"Money.USD">) | undefined;
+    readonly error?: {
+        readonly type: string;
+        readonly message: string;
+        readonly status?: number | undefined;
+    } | undefined;
+    readonly finish?: "length" | "error" | "stop" | "tool-calls" | "content-filter" | "unknown" | undefined;
+    readonly snapshot?: {
+        readonly end?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+        readonly start?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+        readonly files?: readonly (string & import("effect/Brand").Brand<"RelativePath">)[] | undefined;
+    } | undefined;
+    readonly tokens?: {
+        readonly input: number;
+        readonly output: number;
+        readonly reasoning: number;
+        readonly cache: {
+            readonly read: number;
+            readonly write: number;
+        };
+    } | undefined;
+    readonly retry?: {
+        readonly attempt: number;
+        readonly at: import("effect/DateTime").Utc;
+        readonly error: {
+            readonly type: string;
+            readonly message: string;
+            readonly status?: number | undefined;
+        };
+    } | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "compaction";
+    readonly status: "running";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly reason: "auto" | "manual";
+    readonly summary: string;
+    readonly recent: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "compaction";
+    readonly status: "completed";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly reason: "auto" | "manual";
+    readonly summary: string;
+    readonly recent: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+} | {
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "compaction";
+    readonly status: "failed";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly error: {
+        readonly type: string;
+        readonly message: string;
+        readonly status?: number | undefined;
+    };
+    readonly reason: "auto" | "manual";
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+})[], 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<{
+    initial: string;
+    entries: {
+        seq: number;
+        message: {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "agent-switched";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly agent: string & import("effect/Brand").Brand<"Agent.ID">;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly previous?: (string & import("effect/Brand").Brand<"Agent.ID">) | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "model-switched";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly model: {
+                readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+                readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+                readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+            };
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly previous?: {
+                readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+                readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+                readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+            } | undefined;
+        } | {
+            readonly location: {
+                readonly directory: string & import("effect/Brand").Brand<"AbsolutePath">;
+                readonly workspaceID?: (string & import("effect/Brand").Brand<"Workspace.ID">) | undefined;
+            };
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "location-switched";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly projectID?: (string & import("effect/Brand").Brand<"Project.ID">) | undefined;
+            readonly previous?: {
+                readonly location: {
+                    readonly directory: string & import("effect/Brand").Brand<"AbsolutePath">;
+                    readonly workspaceID?: (string & import("effect/Brand").Brand<"Workspace.ID">) | undefined;
+                };
+                readonly projectID?: (string & import("effect/Brand").Brand<"Project.ID">) | undefined;
+                readonly subpath?: (string & import("effect/Brand").Brand<"RelativePath">) | undefined;
+            } | undefined;
+            readonly subpath?: (string & import("effect/Brand").Brand<"RelativePath">) | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "user";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly text: string;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly files?: readonly {
+                readonly source: {
+                    readonly type: "inline";
+                } | {
+                    readonly type: "uri";
+                    readonly uri: string;
+                };
+                readonly data: string;
+                readonly mime: string;
+                readonly name?: string | undefined;
+                readonly description?: string | undefined;
+                readonly mention?: {
+                    readonly start: number;
+                    readonly end: number;
+                    readonly text: string;
+                } | undefined;
+            }[] | undefined;
+            readonly agents?: readonly {
+                readonly name: string;
+                readonly mention?: {
+                    readonly start: number;
+                    readonly end: number;
+                    readonly text: string;
+                } | undefined;
+            }[] | undefined;
+            readonly skills?: readonly {
+                readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+                readonly id: string & import("effect/Brand").Brand<"Skill.ID">;
+                readonly text: string;
+                readonly mention?: {
+                    readonly start: number;
+                    readonly end: number;
+                    readonly text: string;
+                } | undefined;
+            }[] | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "synthetic";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly text: string;
+            readonly description?: string | undefined;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "system";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly text: string;
+            readonly description?: string | undefined;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "skill";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly text: string;
+            readonly skill: string & import("effect/Brand").Brand<"Skill.ID">;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "shell";
+            readonly status: "timeout" | "running" | "exited" | "killed";
+            readonly command: string;
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+                readonly completed?: import("effect/DateTime").Utc | undefined;
+            };
+            readonly shellID: string & import("effect/Brand").Brand<"Shell.ID">;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly output?: {
+                readonly output: string;
+                readonly cursor: number;
+                readonly size: number;
+                readonly truncated: boolean;
+            } | undefined;
+            readonly exit?: number | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "assistant";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+                readonly completed?: import("effect/DateTime").Utc | undefined;
+            };
+            readonly model: {
+                readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+                readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+                readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+            };
+            readonly content: readonly ({
+                readonly name: string;
+                readonly id: string;
+                readonly type: "tool";
+                readonly time: {
+                    readonly created: import("effect/DateTime").Utc;
+                    readonly completed?: import("effect/DateTime").Utc | undefined;
+                    readonly ran?: import("effect/DateTime").Utc | undefined;
+                };
+                readonly state: {
+                    readonly status: "streaming";
+                    readonly input: string;
+                } | {
+                    readonly status: "running";
+                    readonly input: {
+                        readonly [x: string]: unknown;
+                    };
+                    readonly metadata: {
+                        readonly [x: string]: Schema.Json;
+                    };
+                } | {
+                    readonly status: "completed";
+                    readonly input: {
+                        readonly [x: string]: unknown;
+                    };
+                    readonly content: readonly [{
+                        readonly type: "text";
+                        readonly text: string;
+                    } | {
+                        readonly type: "file";
+                        readonly uri: string;
+                        readonly mime: string;
+                        readonly name?: string | undefined;
+                    }, ...({
+                        readonly type: "text";
+                        readonly text: string;
+                    } | {
+                        readonly type: "file";
+                        readonly uri: string;
+                        readonly mime: string;
+                        readonly name?: string | undefined;
+                    })[]];
+                    readonly metadata?: {
+                        readonly [x: string]: Schema.Json;
+                    } | undefined;
+                } | {
+                    readonly status: "error";
+                    readonly input: {
+                        readonly [x: string]: unknown;
+                    };
+                    readonly error: {
+                        readonly type: string;
+                        readonly message: string;
+                        readonly status?: number | undefined;
+                    };
+                    readonly metadata?: {
+                        readonly [x: string]: Schema.Json;
+                    } | undefined;
+                    readonly content?: readonly [{
+                        readonly type: "text";
+                        readonly text: string;
+                    } | {
+                        readonly type: "file";
+                        readonly uri: string;
+                        readonly mime: string;
+                        readonly name?: string | undefined;
+                    }, ...({
+                        readonly type: "text";
+                        readonly text: string;
+                    } | {
+                        readonly type: "file";
+                        readonly uri: string;
+                        readonly mime: string;
+                        readonly name?: string | undefined;
+                    })[]] | undefined;
+                };
+                readonly executed?: boolean | undefined;
+                readonly providerState?: {
+                    readonly [x: string]: unknown;
+                } | undefined;
+                readonly providerResultState?: {
+                    readonly [x: string]: unknown;
+                } | undefined;
+            } | {
+                readonly type: "text";
+                readonly text: string;
+                readonly state?: {
+                    readonly [x: string]: unknown;
+                } | undefined;
+            } | {
+                readonly type: "reasoning";
+                readonly text: string;
+                readonly time?: {
+                    readonly created: import("effect/DateTime").Utc;
+                    readonly completed?: import("effect/DateTime").Utc | undefined;
+                } | undefined;
+                readonly state?: {
+                    readonly [x: string]: unknown;
+                } | undefined;
+            })[];
+            readonly agent: string & import("effect/Brand").Brand<"Agent.ID">;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly cost?: (number & import("effect/Brand").Brand<"Money.USD">) | undefined;
+            readonly error?: {
+                readonly type: string;
+                readonly message: string;
+                readonly status?: number | undefined;
+            } | undefined;
+            readonly finish?: "length" | "error" | "stop" | "tool-calls" | "content-filter" | "unknown" | undefined;
+            readonly snapshot?: {
+                readonly end?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                readonly start?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                readonly files?: readonly (string & import("effect/Brand").Brand<"RelativePath">)[] | undefined;
+            } | undefined;
+            readonly tokens?: {
+                readonly input: number;
+                readonly output: number;
+                readonly reasoning: number;
+                readonly cache: {
+                    readonly read: number;
+                    readonly write: number;
+                };
+            } | undefined;
+            readonly retry?: {
+                readonly attempt: number;
+                readonly at: import("effect/DateTime").Utc;
+                readonly error: {
+                    readonly type: string;
+                    readonly message: string;
+                    readonly status?: number | undefined;
+                };
+            } | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "compaction";
+            readonly status: "running";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly reason: "auto" | "manual";
+            readonly summary: string;
+            readonly recent: string;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "compaction";
+            readonly status: "completed";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly reason: "auto" | "manual";
+            readonly summary: string;
+            readonly recent: string;
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly type: "compaction";
+            readonly status: "failed";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+            };
+            readonly error: {
+                readonly type: string;
+                readonly message: string;
+                readonly status?: number | undefined;
+            };
+            readonly reason: "auto" | "manual";
+            readonly metadata?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        };
+    }[];
+}, 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<{
+    initial: string;
+    messages: ({
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "agent-switched";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly agent: string & import("effect/Brand").Brand<"Agent.ID">;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly previous?: (string & import("effect/Brand").Brand<"Agent.ID">) | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "model-switched";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly model: {
+            readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+            readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+            readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+        };
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly previous?: {
+            readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+            readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+            readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+        } | undefined;
+    } | {
+        readonly location: {
+            readonly directory: string & import("effect/Brand").Brand<"AbsolutePath">;
+            readonly workspaceID?: (string & import("effect/Brand").Brand<"Workspace.ID">) | undefined;
+        };
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "location-switched";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly projectID?: (string & import("effect/Brand").Brand<"Project.ID">) | undefined;
+        readonly previous?: {
+            readonly location: {
+                readonly directory: string & import("effect/Brand").Brand<"AbsolutePath">;
+                readonly workspaceID?: (string & import("effect/Brand").Brand<"Workspace.ID">) | undefined;
+            };
+            readonly projectID?: (string & import("effect/Brand").Brand<"Project.ID">) | undefined;
+            readonly subpath?: (string & import("effect/Brand").Brand<"RelativePath">) | undefined;
+        } | undefined;
+        readonly subpath?: (string & import("effect/Brand").Brand<"RelativePath">) | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "user";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly text: string;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly files?: readonly {
+            readonly source: {
+                readonly type: "inline";
+            } | {
+                readonly type: "uri";
+                readonly uri: string;
+            };
+            readonly data: string;
+            readonly mime: string;
+            readonly name?: string | undefined;
+            readonly description?: string | undefined;
+            readonly mention?: {
+                readonly start: number;
+                readonly end: number;
+                readonly text: string;
+            } | undefined;
+        }[] | undefined;
+        readonly agents?: readonly {
+            readonly name: string;
+            readonly mention?: {
+                readonly start: number;
+                readonly end: number;
+                readonly text: string;
+            } | undefined;
+        }[] | undefined;
+        readonly skills?: readonly {
+            readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+            readonly id: string & import("effect/Brand").Brand<"Skill.ID">;
+            readonly text: string;
+            readonly mention?: {
+                readonly start: number;
+                readonly end: number;
+                readonly text: string;
+            } | undefined;
+        }[] | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "synthetic";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly text: string;
+        readonly description?: string | undefined;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "system";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly text: string;
+        readonly description?: string | undefined;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "skill";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly text: string;
+        readonly skill: string & import("effect/Brand").Brand<"Skill.ID">;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "shell";
+        readonly status: "timeout" | "running" | "exited" | "killed";
+        readonly command: string;
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+            readonly completed?: import("effect/DateTime").Utc | undefined;
+        };
+        readonly shellID: string & import("effect/Brand").Brand<"Shell.ID">;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly output?: {
+            readonly output: string;
+            readonly cursor: number;
+            readonly size: number;
+            readonly truncated: boolean;
+        } | undefined;
+        readonly exit?: number | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "assistant";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+            readonly completed?: import("effect/DateTime").Utc | undefined;
+        };
+        readonly model: {
+            readonly id: string & import("effect/Brand").Brand<"Model.ID">;
+            readonly providerID: string & import("effect/Brand").Brand<"Provider.ID">;
+            readonly variant?: (string & import("effect/Brand").Brand<"Model.VariantID">) | undefined;
+        };
+        readonly content: readonly ({
+            readonly name: string;
+            readonly id: string;
+            readonly type: "tool";
+            readonly time: {
+                readonly created: import("effect/DateTime").Utc;
+                readonly completed?: import("effect/DateTime").Utc | undefined;
+                readonly ran?: import("effect/DateTime").Utc | undefined;
+            };
+            readonly state: {
+                readonly status: "streaming";
+                readonly input: string;
+            } | {
+                readonly status: "running";
+                readonly input: {
+                    readonly [x: string]: unknown;
+                };
+                readonly metadata: {
+                    readonly [x: string]: Schema.Json;
+                };
+            } | {
+                readonly status: "completed";
+                readonly input: {
+                    readonly [x: string]: unknown;
+                };
+                readonly content: readonly [{
+                    readonly type: "text";
+                    readonly text: string;
+                } | {
+                    readonly type: "file";
+                    readonly uri: string;
+                    readonly mime: string;
+                    readonly name?: string | undefined;
+                }, ...({
+                    readonly type: "text";
+                    readonly text: string;
+                } | {
+                    readonly type: "file";
+                    readonly uri: string;
+                    readonly mime: string;
+                    readonly name?: string | undefined;
+                })[]];
+                readonly metadata?: {
+                    readonly [x: string]: Schema.Json;
+                } | undefined;
+            } | {
+                readonly status: "error";
+                readonly input: {
+                    readonly [x: string]: unknown;
+                };
+                readonly error: {
+                    readonly type: string;
+                    readonly message: string;
+                    readonly status?: number | undefined;
+                };
+                readonly metadata?: {
+                    readonly [x: string]: Schema.Json;
+                } | undefined;
+                readonly content?: readonly [{
+                    readonly type: "text";
+                    readonly text: string;
+                } | {
+                    readonly type: "file";
+                    readonly uri: string;
+                    readonly mime: string;
+                    readonly name?: string | undefined;
+                }, ...({
+                    readonly type: "text";
+                    readonly text: string;
+                } | {
+                    readonly type: "file";
+                    readonly uri: string;
+                    readonly mime: string;
+                    readonly name?: string | undefined;
+                })[]] | undefined;
+            };
+            readonly executed?: boolean | undefined;
+            readonly providerState?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+            readonly providerResultState?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly type: "text";
+            readonly text: string;
+            readonly state?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        } | {
+            readonly type: "reasoning";
+            readonly text: string;
+            readonly time?: {
+                readonly created: import("effect/DateTime").Utc;
+                readonly completed?: import("effect/DateTime").Utc | undefined;
+            } | undefined;
+            readonly state?: {
+                readonly [x: string]: unknown;
+            } | undefined;
+        })[];
+        readonly agent: string & import("effect/Brand").Brand<"Agent.ID">;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+        readonly cost?: (number & import("effect/Brand").Brand<"Money.USD">) | undefined;
+        readonly error?: {
+            readonly type: string;
+            readonly message: string;
+            readonly status?: number | undefined;
+        } | undefined;
+        readonly finish?: "length" | "error" | "stop" | "tool-calls" | "content-filter" | "unknown" | undefined;
+        readonly snapshot?: {
+            readonly end?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+            readonly start?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+            readonly files?: readonly (string & import("effect/Brand").Brand<"RelativePath">)[] | undefined;
+        } | undefined;
+        readonly tokens?: {
+            readonly input: number;
+            readonly output: number;
+            readonly reasoning: number;
+            readonly cache: {
+                readonly read: number;
+                readonly write: number;
+            };
+        } | undefined;
+        readonly retry?: {
+            readonly attempt: number;
+            readonly at: import("effect/DateTime").Utc;
+            readonly error: {
+                readonly type: string;
+                readonly message: string;
+                readonly status?: number | undefined;
+            };
+        } | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "compaction";
+        readonly status: "running";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly reason: "auto" | "manual";
+        readonly summary: string;
+        readonly recent: string;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "compaction";
+        readonly status: "completed";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly reason: "auto" | "manual";
+        readonly summary: string;
+        readonly recent: string;
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    } | {
+        readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+        readonly type: "compaction";
+        readonly status: "failed";
+        readonly time: {
+            readonly created: import("effect/DateTime").Utc;
+        };
+        readonly error: {
+            readonly type: string;
+            readonly message: string;
+            readonly status?: number | undefined;
+        };
+        readonly reason: "auto" | "manual";
+        readonly metadata?: {
+            readonly [x: string]: unknown;
+        } | undefined;
+    })[];
+    instructionUpdate: string;
+}, Instructions.InitializationBlocked, never>;
+/** Returns the session's first user message. */
+export declare const firstUserMessage: (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<{
+    readonly id: string & import("effect/Brand").Brand<"Session.Message.ID">;
+    readonly type: "user";
+    readonly time: {
+        readonly created: import("effect/DateTime").Utc;
+    };
+    readonly text: string;
+    readonly metadata?: {
+        readonly [x: string]: unknown;
+    } | undefined;
+    readonly files?: readonly {
+        readonly source: {
+            readonly type: "inline";
+        } | {
+            readonly type: "uri";
+            readonly uri: string;
+        };
+        readonly data: string;
+        readonly mime: string;
+        readonly name?: string | undefined;
+        readonly description?: string | undefined;
+        readonly mention?: {
+            readonly start: number;
+            readonly end: number;
+            readonly text: string;
+        } | undefined;
+    }[] | undefined;
+    readonly agents?: readonly {
+        readonly name: string;
+        readonly mention?: {
+            readonly start: number;
+            readonly end: number;
+            readonly text: string;
+        } | undefined;
+    }[] | undefined;
+    readonly skills?: readonly {
+        readonly name: string & import("effect/Brand").Brand<"Skill.Name">;
+        readonly id: string & import("effect/Brand").Brand<"Skill.ID">;
+        readonly text: string;
+        readonly mention?: {
+            readonly start: number;
+            readonly end: number;
+            readonly text: string;
+        } | undefined;
+    }[] | undefined;
+} | undefined, never, never>;
+export * as SessionHistory from "./history.js";