@opencode-ai/schema 0.0.0-dev-17471

package/dist/session-revert.d.ts

@@ -0,0 +1,480 @@
+import { Schema } from "effect";
+export interface Revert extends Schema.Schema.Type<typeof Revert> {
+}
+export declare const Revert: Schema.Struct<{
+    readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+        create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+    };
+    /** Legacy V1 compatibility state. */
+    readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.brand<Schema.String, "Snapshot.ID">>>, Schema.optionalKey<Schema.brand<Schema.String, "Snapshot.ID">>, never, never>;
+    readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly patch: Schema.String;
+        readonly additions: Schema.Int;
+        readonly deletions: Schema.Int;
+        readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+    }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly patch: Schema.String;
+        readonly additions: Schema.Int;
+        readonly deletions: Schema.Int;
+        readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+    }>>>, never, never>;
+}>;
+export interface RevertV1 extends Schema.Schema.Type<typeof RevertV1> {
+}
+export declare const RevertV1: Schema.Struct<{
+    readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+        create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+    };
+    readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly diff: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+        readonly additions: Schema.Finite;
+        readonly deletions: Schema.Finite;
+        readonly patch: Schema.String;
+    }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+        readonly additions: Schema.Finite;
+        readonly deletions: Schema.Finite;
+        readonly patch: Schema.String;
+    }>>>, never, never>;
+}>;
+/** Storage decoder for revert state written before FileDiff became canonical. */
+export declare const PersistedRevert: Schema.decodeTo<Schema.toType<Schema.Struct<{
+    readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+        create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+    };
+    /** Legacy V1 compatibility state. */
+    readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.brand<Schema.String, "Snapshot.ID">>>, Schema.optionalKey<Schema.brand<Schema.String, "Snapshot.ID">>, never, never>;
+    readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly patch: Schema.String;
+        readonly additions: Schema.Int;
+        readonly deletions: Schema.Int;
+        readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+    }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly patch: Schema.String;
+        readonly additions: Schema.Int;
+        readonly deletions: Schema.Int;
+        readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+    }>>>, never, never>;
+}>>, Schema.Union<readonly [Schema.decodeTo<Schema.Struct<{
+    readonly source: Schema.tag<"current">;
+    readonly revert: Schema.toType<Schema.Struct<{
+        readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+            create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+            fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        };
+        /** Legacy V1 compatibility state. */
+        readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+        readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.brand<Schema.String, "Snapshot.ID">>>, Schema.optionalKey<Schema.brand<Schema.String, "Snapshot.ID">>, never, never>;
+        readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+            readonly file: Schema.String;
+            readonly patch: Schema.String;
+            readonly additions: Schema.Int;
+            readonly deletions: Schema.Int;
+            readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+        }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+            readonly file: Schema.String;
+            readonly patch: Schema.String;
+            readonly additions: Schema.Int;
+            readonly deletions: Schema.Int;
+            readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+        }>>>, never, never>;
+    }>>;
+}>, Schema.Struct<{
+    readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+        create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+    };
+    /** Legacy V1 compatibility state. */
+    readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.brand<Schema.String, "Snapshot.ID">>>, Schema.optionalKey<Schema.brand<Schema.String, "Snapshot.ID">>, never, never>;
+    readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly patch: Schema.String;
+        readonly additions: Schema.Int;
+        readonly deletions: Schema.Int;
+        readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+    }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly file: Schema.String;
+        readonly patch: Schema.String;
+        readonly additions: Schema.Int;
+        readonly deletions: Schema.Int;
+        readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+    }>>>, never, never>;
+}>, never, never>, Schema.decodeTo<Schema.Struct<{
+    readonly source: Schema.tag<"legacy">;
+    readonly revert: Schema.toType<Schema.Struct<{
+        readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+            create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+            fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        };
+        readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+        readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+        readonly diff: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+        readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+            readonly additions: Schema.Finite;
+            readonly deletions: Schema.Finite;
+            readonly patch: Schema.String;
+        }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+            readonly additions: Schema.Finite;
+            readonly deletions: Schema.Finite;
+            readonly patch: Schema.String;
+        }>>>, never, never>;
+    }>>;
+}>, Schema.Struct<{
+    readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+        create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+        fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+    };
+    readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly diff: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+    readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+        readonly additions: Schema.Finite;
+        readonly deletions: Schema.Finite;
+        readonly patch: Schema.String;
+    }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+        readonly additions: Schema.Finite;
+        readonly deletions: Schema.Finite;
+        readonly patch: Schema.String;
+    }>>>, never, never>;
+}>, never, never>]> & {
+    readonly discriminants: readonly ["current", "legacy"];
+    readonly cases: {
+        current: Schema.decodeTo<Schema.Struct<{
+            readonly source: Schema.tag<"current">;
+            readonly revert: Schema.toType<Schema.Struct<{
+                readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+                    create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+                    fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+                };
+                /** Legacy V1 compatibility state. */
+                readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+                readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.brand<Schema.String, "Snapshot.ID">>>, Schema.optionalKey<Schema.brand<Schema.String, "Snapshot.ID">>, never, never>;
+                readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+                    readonly file: Schema.String;
+                    readonly patch: Schema.String;
+                    readonly additions: Schema.Int;
+                    readonly deletions: Schema.Int;
+                    readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+                }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                    readonly file: Schema.String;
+                    readonly patch: Schema.String;
+                    readonly additions: Schema.Int;
+                    readonly deletions: Schema.Int;
+                    readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+                }>>>, never, never>;
+            }>>;
+        }>, Schema.Struct<{
+            readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+                create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+                fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+            };
+            /** Legacy V1 compatibility state. */
+            readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+            readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.brand<Schema.String, "Snapshot.ID">>>, Schema.optionalKey<Schema.brand<Schema.String, "Snapshot.ID">>, never, never>;
+            readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+                readonly file: Schema.String;
+                readonly patch: Schema.String;
+                readonly additions: Schema.Int;
+                readonly deletions: Schema.Int;
+                readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+            }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                readonly file: Schema.String;
+                readonly patch: Schema.String;
+                readonly additions: Schema.Int;
+                readonly deletions: Schema.Int;
+                readonly status: Schema.Literals<readonly ["added", "deleted", "modified"]>;
+            }>>>, never, never>;
+        }>, never, never>;
+        legacy: Schema.decodeTo<Schema.Struct<{
+            readonly source: Schema.tag<"legacy">;
+            readonly revert: Schema.toType<Schema.Struct<{
+                readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+                    create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+                    fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+                };
+                readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+                readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+                readonly diff: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+                readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+                    readonly additions: Schema.Finite;
+                    readonly deletions: Schema.Finite;
+                    readonly patch: Schema.String;
+                }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+                    readonly additions: Schema.Finite;
+                    readonly deletions: Schema.Finite;
+                    readonly patch: Schema.String;
+                }>>>, never, never>;
+            }>>;
+        }>, Schema.Struct<{
+            readonly messageID: Schema.brand<Schema.String, "Session.Message.ID"> & {
+                create: () => string & import("effect/Brand").Brand<"Session.Message.ID">;
+                fromEvent: (eventID: import("./event.js").ID) => string & import("effect/Brand").Brand<"Session.Message.ID">;
+            };
+            readonly partID: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+            readonly snapshot: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+            readonly diff: Schema.decodeTo<Schema.optional<Schema.toType<Schema.String>>, Schema.optionalKey<Schema.String>, never, never>;
+            readonly files: Schema.decodeTo<Schema.optional<Schema.toType<Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+                readonly additions: Schema.Finite;
+                readonly deletions: Schema.Finite;
+                readonly patch: Schema.String;
+            }>>>>, Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly status: Schema.Literals<readonly ["added", "modified", "deleted"]>;
+                readonly additions: Schema.Finite;
+                readonly deletions: Schema.Finite;
+                readonly patch: Schema.String;
+            }>>>, never, never>;
+        }>, never, never>;
+    };
+    readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: {
+        readonly source: "current";
+        readonly revert: {
+            readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly files?: readonly {
+                readonly file: string;
+                readonly patch: string;
+                readonly additions: number;
+                readonly deletions: number;
+                readonly status: "added" | "deleted" | "modified";
+            }[] | undefined;
+            readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+            readonly partID?: string | undefined;
+        };
+    } | {
+        readonly source: "legacy";
+        readonly revert: {
+            readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly files?: readonly {
+                readonly path: string;
+                readonly status: "added" | "deleted" | "modified";
+                readonly additions: number;
+                readonly deletions: number;
+                readonly patch: string;
+            }[] | undefined;
+            readonly snapshot?: string | undefined;
+            readonly partID?: string | undefined;
+            readonly diff?: string | undefined;
+        };
+    }) => value is Extract<{
+        readonly source: "current";
+        readonly revert: {
+            readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly files?: readonly {
+                readonly file: string;
+                readonly patch: string;
+                readonly additions: number;
+                readonly deletions: number;
+                readonly status: "added" | "deleted" | "modified";
+            }[] | undefined;
+            readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+            readonly partID?: string | undefined;
+        };
+    }, {
+        readonly source: Keys;
+    }> | Extract<{
+        readonly source: "legacy";
+        readonly revert: {
+            readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+            readonly files?: readonly {
+                readonly path: string;
+                readonly status: "added" | "deleted" | "modified";
+                readonly additions: number;
+                readonly deletions: number;
+                readonly patch: string;
+            }[] | undefined;
+            readonly snapshot?: string | undefined;
+            readonly partID?: string | undefined;
+            readonly diff?: string | undefined;
+        };
+    }, {
+        readonly source: Keys;
+    }>;
+    readonly guards: {
+        current: (u: unknown) => u is {
+            readonly source: "current";
+            readonly revert: {
+                readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                readonly files?: readonly {
+                    readonly file: string;
+                    readonly patch: string;
+                    readonly additions: number;
+                    readonly deletions: number;
+                    readonly status: "added" | "deleted" | "modified";
+                }[] | undefined;
+                readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                readonly partID?: string | undefined;
+            };
+        };
+        legacy: (u: unknown) => u is {
+            readonly source: "legacy";
+            readonly revert: {
+                readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                readonly files?: readonly {
+                    readonly path: string;
+                    readonly status: "added" | "deleted" | "modified";
+                    readonly additions: number;
+                    readonly deletions: number;
+                    readonly patch: string;
+                }[] | undefined;
+                readonly snapshot?: string | undefined;
+                readonly partID?: string | undefined;
+                readonly diff?: string | undefined;
+            };
+        };
+    };
+    readonly match: {
+        <Cases extends {
+            current: (value: {
+                readonly source: "current";
+                readonly revert: {
+                    readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                    readonly files?: readonly {
+                        readonly file: string;
+                        readonly patch: string;
+                        readonly additions: number;
+                        readonly deletions: number;
+                        readonly status: "added" | "deleted" | "modified";
+                    }[] | undefined;
+                    readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                    readonly partID?: string | undefined;
+                };
+            }) => any;
+            legacy: (value: {
+                readonly source: "legacy";
+                readonly revert: {
+                    readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                    readonly files?: readonly {
+                        readonly path: string;
+                        readonly status: "added" | "deleted" | "modified";
+                        readonly additions: number;
+                        readonly deletions: number;
+                        readonly patch: string;
+                    }[] | undefined;
+                    readonly snapshot?: string | undefined;
+                    readonly partID?: string | undefined;
+                    readonly diff?: string | undefined;
+                };
+            }) => any;
+        }>(value: {
+            readonly source: "current";
+            readonly revert: {
+                readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                readonly files?: readonly {
+                    readonly file: string;
+                    readonly patch: string;
+                    readonly additions: number;
+                    readonly deletions: number;
+                    readonly status: "added" | "deleted" | "modified";
+                }[] | undefined;
+                readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                readonly partID?: string | undefined;
+            };
+        } | {
+            readonly source: "legacy";
+            readonly revert: {
+                readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                readonly files?: readonly {
+                    readonly path: string;
+                    readonly status: "added" | "deleted" | "modified";
+                    readonly additions: number;
+                    readonly deletions: number;
+                    readonly patch: string;
+                }[] | undefined;
+                readonly snapshot?: string | undefined;
+                readonly partID?: string | undefined;
+                readonly diff?: string | undefined;
+            };
+        }, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
+        <Cases extends {
+            current: (value: {
+                readonly source: "current";
+                readonly revert: {
+                    readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                    readonly files?: readonly {
+                        readonly file: string;
+                        readonly patch: string;
+                        readonly additions: number;
+                        readonly deletions: number;
+                        readonly status: "added" | "deleted" | "modified";
+                    }[] | undefined;
+                    readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                    readonly partID?: string | undefined;
+                };
+            }) => any;
+            legacy: (value: {
+                readonly source: "legacy";
+                readonly revert: {
+                    readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                    readonly files?: readonly {
+                        readonly path: string;
+                        readonly status: "added" | "deleted" | "modified";
+                        readonly additions: number;
+                        readonly deletions: number;
+                        readonly patch: string;
+                    }[] | undefined;
+                    readonly snapshot?: string | undefined;
+                    readonly partID?: string | undefined;
+                    readonly diff?: string | undefined;
+                };
+            }) => any;
+        }>(cases: Cases): (value: {
+            readonly source: "current";
+            readonly revert: {
+                readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                readonly files?: readonly {
+                    readonly file: string;
+                    readonly patch: string;
+                    readonly additions: number;
+                    readonly deletions: number;
+                    readonly status: "added" | "deleted" | "modified";
+                }[] | undefined;
+                readonly snapshot?: (string & import("effect/Brand").Brand<"Snapshot.ID">) | undefined;
+                readonly partID?: string | undefined;
+            };
+        } | {
+            readonly source: "legacy";
+            readonly revert: {
+                readonly messageID: string & import("effect/Brand").Brand<"Session.Message.ID">;
+                readonly files?: readonly {
+                    readonly path: string;
+                    readonly status: "added" | "deleted" | "modified";
+                    readonly additions: number;
+                    readonly deletions: number;
+                    readonly patch: string;
+                }[] | undefined;
+                readonly snapshot?: string | undefined;
+                readonly partID?: string | undefined;
+                readonly diff?: string | undefined;
+            };
+        }) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
+    };
+}, never, never>;

package/dist/session-revert.js

@@ -0,0 +1,63 @@
+import { Schema, SchemaTransformation } from "effect";
+import { FileDiff } from "./file-diff.js";
+import { optional } from "./schema.js";
+import { SessionMessage } from "./session-message.js";
+import { Snapshot } from "./snapshot.js";
+export const Revert = Schema.Struct({
+    messageID: SessionMessage.ID,
+    /** Legacy V1 compatibility state. */
+    partID: Schema.String.pipe(optional),
+    snapshot: Snapshot.ID.pipe(optional),
+    files: Schema.Array(FileDiff.Info).pipe(optional),
+}).annotate({ identifier: "Session.Revert" });
+const FileDiffV1 = Schema.Struct({
+    path: Schema.String,
+    status: Schema.Literals(["added", "modified", "deleted"]),
+    additions: Schema.Finite,
+    deletions: Schema.Finite,
+    patch: Schema.String,
+});
+export const RevertV1 = Schema.Struct({
+    messageID: SessionMessage.ID,
+    partID: Schema.String.pipe(optional),
+    snapshot: Schema.String.pipe(optional),
+    diff: Schema.String.pipe(optional),
+    files: Schema.Array(FileDiffV1).pipe(optional),
+}).annotate({ identifier: "Session.RevertV1" });
+const PersistedCurrent = Revert.pipe(Schema.decodeTo(Schema.Struct({ source: Schema.tag("current"), revert: Schema.toType(Revert) }), SchemaTransformation.transform({
+    decode: (revert) => ({
+        source: "current",
+        revert,
+    }),
+    encode: (value) => value.revert,
+})));
+const PersistedLegacy = RevertV1.pipe(Schema.decodeTo(Schema.Struct({ source: Schema.tag("legacy"), revert: Schema.toType(RevertV1) }), SchemaTransformation.transform({
+    decode: (revert) => ({
+        source: "legacy",
+        revert,
+    }),
+    encode: (value) => value.revert,
+})));
+/** Storage decoder for revert state written before FileDiff became canonical. */
+export const PersistedRevert = Schema.Union([PersistedCurrent, PersistedLegacy]).pipe(Schema.toTaggedUnion("source"), Schema.decodeTo(Schema.toType(Revert), SchemaTransformation.transform({
+    decode: (persisted) => {
+        if (persisted.source === "current")
+            return persisted.revert;
+        return Revert.make({
+            messageID: persisted.revert.messageID,
+            partID: persisted.revert.partID,
+            snapshot: persisted.revert.snapshot ? Snapshot.ID.make(persisted.revert.snapshot) : undefined,
+            files: persisted.revert.files?.map((file) => ({
+                file: file.path,
+                status: file.status,
+                additions: file.additions,
+                deletions: file.deletions,
+                patch: file.patch,
+            })),
+        });
+    },
+    encode: (revert) => ({
+        source: "current",
+        revert,
+    }),
+})), Schema.annotate({ identifier: "Session.Revert.Persisted" }));