@astrosheep/keiyaku 4.5.7 → 4.5.8

package/build/src/akuma/projection.d.ts

@@ -1,101 +1,854 @@
-import { type ToolCall, type ToolResult } from "./provider.js";
-import type { TellDelivery, TellFact, TimelineFact } from "./heart/index.js";
-export type TurnOutcome = Readonly<{
-    kind: "answered";
-    historyId: string;
-    answer: string;
-}> | Readonly<{
-    kind: "failed";
-    historyId: string;
-    diagnostic: string;
-}>;
-export type TurnStartRow = Readonly<{
-    kind: "turn";
-    sequence: number;
-    turnSequence: number;
-    bodySequence: number;
-    at: string;
-}>;
-type CallRow = Readonly<{
-    kind: "call";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    text: string;
-}>;
-type SaidRow = Readonly<{
-    kind: "said";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    text: string;
-    truncated?: true;
-}>;
-type ThoughtRow = Readonly<{
-    kind: "thought";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    text: string;
-    truncated?: true;
-}>;
-type NoteRow = Readonly<{
-    kind: "note";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    text: string;
-    truncated?: true;
-}>;
+import type { TimelineFact } from "./heart/index.js";
+import { z } from "zod";
+declare const turnRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"turn">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    bodySequence: z.ZodNumber;
+    at: z.ZodString;
+}, z.core.$strict>;
+declare const callRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"call">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+}, z.core.$strict>;
+declare const textRowSchema: (kind: "said" | "thought" | "note") => z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>;
+declare const tellRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"tell">;
+    sequence: z.ZodNumber;
+    at: z.ZodString;
+    tellId: z.ZodString;
+    text: z.ZodString;
+    state: z.ZodEnum<{
+        pending: "pending";
+        told: "told";
+    }>;
+    deliveries: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        deliveredAt: z.ZodString;
+        route: z.ZodEnum<{
+            live: "live";
+            launch: "launch";
+        }>;
+        turnSequence: z.ZodNumber;
+        receipt: z.ZodOptional<z.ZodEnum<{
+            required: "required";
+            unavailable: "unavailable";
+        }>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>;
+declare const outcomeSchema: z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"answered">;
+    historyId: z.ZodString;
+    answer: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"failed">;
+    historyId: z.ZodString;
+    diagnostic: z.ZodString;
+}, z.core.$strict>]>;
+declare const outcomeRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"outcome">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    outcome: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"answered">;
+        historyId: z.ZodString;
+        answer: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"failed">;
+        historyId: z.ZodString;
+        diagnostic: z.ZodString;
+    }, z.core.$strict>]>;
+}, z.core.$strict>;
+declare const activeToolRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"tool">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    name: z.ZodString;
+    call: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"run">;
+        command: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"read">;
+        path: z.ZodString;
+        offset: z.ZodOptional<z.ZodNumber>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"search">;
+        query: z.ZodString;
+        scope: z.ZodOptional<z.ZodEnum<{
+            content: "content";
+            files: "files";
+            web: "web";
+        }>>;
+        path: z.ZodOptional<z.ZodString>;
+        glob: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"fileChange">;
+        changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            op: z.ZodEnum<{
+                add: "add";
+                update: "update";
+                delete: "delete";
+                unspecified: "unspecified";
+            }>;
+            path: z.ZodString;
+            diffstat: z.ZodOptional<z.ZodObject<{
+                added: z.ZodNumber;
+                removed: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"other">;
+        display: z.ZodString;
+    }, z.core.$strict>]>;
+    state: z.ZodLiteral<"active">;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>;
+declare const completedToolRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"tool">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    completedAt: z.ZodOptional<z.ZodString>;
+    durationMs: z.ZodOptional<z.ZodNumber>;
+    name: z.ZodString;
+    call: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"run">;
+        command: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"read">;
+        path: z.ZodString;
+        offset: z.ZodOptional<z.ZodNumber>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"search">;
+        query: z.ZodString;
+        scope: z.ZodOptional<z.ZodEnum<{
+            content: "content";
+            files: "files";
+            web: "web";
+        }>>;
+        path: z.ZodOptional<z.ZodString>;
+        glob: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"fileChange">;
+        changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            op: z.ZodEnum<{
+                add: "add";
+                update: "update";
+                delete: "delete";
+                unspecified: "unspecified";
+            }>;
+            path: z.ZodString;
+            diffstat: z.ZodOptional<z.ZodObject<{
+                added: z.ZodNumber;
+                removed: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"other">;
+        display: z.ZodString;
+    }, z.core.$strict>]>;
+    state: z.ZodObject<{
+        status: z.ZodEnum<{
+            error: "error";
+            ok: "ok";
+        }>;
+        message: z.ZodOptional<z.ZodString>;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>;
+declare const unsettledToolRowSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"tool">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    name: z.ZodString;
+    call: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"run">;
+        command: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"read">;
+        path: z.ZodString;
+        offset: z.ZodOptional<z.ZodNumber>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"search">;
+        query: z.ZodString;
+        scope: z.ZodOptional<z.ZodEnum<{
+            content: "content";
+            files: "files";
+            web: "web";
+        }>>;
+        path: z.ZodOptional<z.ZodString>;
+        glob: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"fileChange">;
+        changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            op: z.ZodEnum<{
+                add: "add";
+                update: "update";
+                delete: "delete";
+                unspecified: "unspecified";
+            }>;
+            path: z.ZodString;
+            diffstat: z.ZodOptional<z.ZodObject<{
+                added: z.ZodNumber;
+                removed: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"other">;
+        display: z.ZodString;
+    }, z.core.$strict>]>;
+    state: z.ZodLiteral<"unsettled">;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>;
+declare const openSnapshotRowSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"call">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tell">;
+    sequence: z.ZodNumber;
+    at: z.ZodString;
+    tellId: z.ZodString;
+    text: z.ZodString;
+    state: z.ZodEnum<{
+        pending: "pending";
+        told: "told";
+    }>;
+    deliveries: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        deliveredAt: z.ZodString;
+        route: z.ZodEnum<{
+            live: "live";
+            launch: "launch";
+        }>;
+        turnSequence: z.ZodNumber;
+        receipt: z.ZodOptional<z.ZodEnum<{
+            required: "required";
+            unavailable: "unavailable";
+        }>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>]>, z.ZodObject<{
+    kind: z.ZodLiteral<"tool">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    name: z.ZodString;
+    call: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"run">;
+        command: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"read">;
+        path: z.ZodString;
+        offset: z.ZodOptional<z.ZodNumber>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"search">;
+        query: z.ZodString;
+        scope: z.ZodOptional<z.ZodEnum<{
+            content: "content";
+            files: "files";
+            web: "web";
+        }>>;
+        path: z.ZodOptional<z.ZodString>;
+        glob: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"fileChange">;
+        changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            op: z.ZodEnum<{
+                add: "add";
+                update: "update";
+                delete: "delete";
+                unspecified: "unspecified";
+            }>;
+            path: z.ZodString;
+            diffstat: z.ZodOptional<z.ZodObject<{
+                added: z.ZodNumber;
+                removed: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"other">;
+        display: z.ZodString;
+    }, z.core.$strict>]>;
+    state: z.ZodLiteral<"active">;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tool">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    completedAt: z.ZodOptional<z.ZodString>;
+    durationMs: z.ZodOptional<z.ZodNumber>;
+    name: z.ZodString;
+    call: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"run">;
+        command: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"read">;
+        path: z.ZodString;
+        offset: z.ZodOptional<z.ZodNumber>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"search">;
+        query: z.ZodString;
+        scope: z.ZodOptional<z.ZodEnum<{
+            content: "content";
+            files: "files";
+            web: "web";
+        }>>;
+        path: z.ZodOptional<z.ZodString>;
+        glob: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"fileChange">;
+        changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            op: z.ZodEnum<{
+                add: "add";
+                update: "update";
+                delete: "delete";
+                unspecified: "unspecified";
+            }>;
+            path: z.ZodString;
+            diffstat: z.ZodOptional<z.ZodObject<{
+                added: z.ZodNumber;
+                removed: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"other">;
+        display: z.ZodString;
+    }, z.core.$strict>]>;
+    state: z.ZodObject<{
+        status: z.ZodEnum<{
+            error: "error";
+            ok: "ok";
+        }>;
+        message: z.ZodOptional<z.ZodString>;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>]>;
+declare const idleSnapshotRowSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"call">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"note" | "thought" | "said">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    text: z.ZodString;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tell">;
+    sequence: z.ZodNumber;
+    at: z.ZodString;
+    tellId: z.ZodString;
+    text: z.ZodString;
+    state: z.ZodEnum<{
+        pending: "pending";
+        told: "told";
+    }>;
+    deliveries: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        deliveredAt: z.ZodString;
+        route: z.ZodEnum<{
+            live: "live";
+            launch: "launch";
+        }>;
+        turnSequence: z.ZodNumber;
+        receipt: z.ZodOptional<z.ZodEnum<{
+            required: "required";
+            unavailable: "unavailable";
+        }>>;
+    }, z.core.$strict>>>;
+}, z.core.$strict>]>, z.ZodObject<{
+    kind: z.ZodLiteral<"tool">;
+    sequence: z.ZodNumber;
+    turnSequence: z.ZodNumber;
+    at: z.ZodString;
+    completedAt: z.ZodOptional<z.ZodString>;
+    durationMs: z.ZodOptional<z.ZodNumber>;
+    name: z.ZodString;
+    call: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"run">;
+        command: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"read">;
+        path: z.ZodString;
+        offset: z.ZodOptional<z.ZodNumber>;
+        limit: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"search">;
+        query: z.ZodString;
+        scope: z.ZodOptional<z.ZodEnum<{
+            content: "content";
+            files: "files";
+            web: "web";
+        }>>;
+        path: z.ZodOptional<z.ZodString>;
+        glob: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"fileChange">;
+        changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+            op: z.ZodEnum<{
+                add: "add";
+                update: "update";
+                delete: "delete";
+                unspecified: "unspecified";
+            }>;
+            path: z.ZodString;
+            diffstat: z.ZodOptional<z.ZodObject<{
+                added: z.ZodNumber;
+                removed: z.ZodNumber;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"other">;
+        display: z.ZodString;
+    }, z.core.$strict>]>;
+    state: z.ZodObject<{
+        status: z.ZodEnum<{
+            error: "error";
+            ok: "ok";
+        }>;
+        message: z.ZodOptional<z.ZodString>;
+        exitCode: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    truncated: z.ZodOptional<z.ZodLiteral<true>>;
+}, z.core.$strict>]>;
+declare const snapshotEntrySchema: <Row extends z.ZodType>(row: Row) => z.ZodUnion<readonly [z.ZodObject<{
+    kind: z.ZodLiteral<"gap">;
+    count: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"row">;
+    row: Row;
+}, z.core.$strict>]>;
+declare const reportedFileChangeSchema: z.ZodObject<{
+    sequence: z.ZodNumber;
+    at: z.ZodString;
+    op: z.ZodEnum<{
+        add: "add";
+        update: "update";
+        delete: "delete";
+        unspecified: "unspecified";
+    }>;
+    path: z.ZodString;
+    diffstat: z.ZodOptional<z.ZodObject<{
+        added: z.ZodNumber;
+        removed: z.ZodNumber;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const activitySnapshotSchema: z.ZodUnion<readonly [z.ZodObject<{
+    reportedChanges: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        sequence: z.ZodNumber;
+        at: z.ZodString;
+        op: z.ZodEnum<{
+            add: "add";
+            update: "update";
+            delete: "delete";
+            unspecified: "unspecified";
+        }>;
+        path: z.ZodString;
+        diffstat: z.ZodOptional<z.ZodObject<{
+            added: z.ZodNumber;
+            removed: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
+    reportedChangesOmitted: z.ZodNumber;
+    kind: z.ZodLiteral<"unborn">;
+    entries: z.ZodReadonly<z.ZodTuple<[], null>>;
+    omitted: z.ZodLiteral<0>;
+}, z.core.$strict>, z.ZodObject<{
+    reportedChanges: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        sequence: z.ZodNumber;
+        at: z.ZodString;
+        op: z.ZodEnum<{
+            add: "add";
+            update: "update";
+            delete: "delete";
+            unspecified: "unspecified";
+        }>;
+        path: z.ZodString;
+        diffstat: z.ZodOptional<z.ZodObject<{
+            added: z.ZodNumber;
+            removed: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
+    reportedChangesOmitted: z.ZodNumber;
+    kind: z.ZodLiteral<"open">;
+    turn: z.ZodObject<{
+        kind: z.ZodLiteral<"turn">;
+        sequence: z.ZodNumber;
+        turnSequence: z.ZodNumber;
+        bodySequence: z.ZodNumber;
+        at: z.ZodString;
+    }, z.core.$strict>;
+    entries: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"gap">;
+        count: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"row">;
+        row: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodLiteral<"call">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"note" | "thought" | "said">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"note" | "thought" | "said">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"note" | "thought" | "said">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"tell">;
+            sequence: z.ZodNumber;
+            at: z.ZodString;
+            tellId: z.ZodString;
+            text: z.ZodString;
+            state: z.ZodEnum<{
+                pending: "pending";
+                told: "told";
+            }>;
+            deliveries: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                deliveredAt: z.ZodString;
+                route: z.ZodEnum<{
+                    live: "live";
+                    launch: "launch";
+                }>;
+                turnSequence: z.ZodNumber;
+                receipt: z.ZodOptional<z.ZodEnum<{
+                    required: "required";
+                    unavailable: "unavailable";
+                }>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>]>, z.ZodObject<{
+            kind: z.ZodLiteral<"tool">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            name: z.ZodString;
+            call: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"run">;
+                command: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"read">;
+                path: z.ZodString;
+                offset: z.ZodOptional<z.ZodNumber>;
+                limit: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"search">;
+                query: z.ZodString;
+                scope: z.ZodOptional<z.ZodEnum<{
+                    content: "content";
+                    files: "files";
+                    web: "web";
+                }>>;
+                path: z.ZodOptional<z.ZodString>;
+                glob: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"fileChange">;
+                changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                    op: z.ZodEnum<{
+                        add: "add";
+                        update: "update";
+                        delete: "delete";
+                        unspecified: "unspecified";
+                    }>;
+                    path: z.ZodString;
+                    diffstat: z.ZodOptional<z.ZodObject<{
+                        added: z.ZodNumber;
+                        removed: z.ZodNumber;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"other">;
+                display: z.ZodString;
+            }, z.core.$strict>]>;
+            state: z.ZodLiteral<"active">;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"tool">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            completedAt: z.ZodOptional<z.ZodString>;
+            durationMs: z.ZodOptional<z.ZodNumber>;
+            name: z.ZodString;
+            call: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"run">;
+                command: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"read">;
+                path: z.ZodString;
+                offset: z.ZodOptional<z.ZodNumber>;
+                limit: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"search">;
+                query: z.ZodString;
+                scope: z.ZodOptional<z.ZodEnum<{
+                    content: "content";
+                    files: "files";
+                    web: "web";
+                }>>;
+                path: z.ZodOptional<z.ZodString>;
+                glob: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"fileChange">;
+                changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                    op: z.ZodEnum<{
+                        add: "add";
+                        update: "update";
+                        delete: "delete";
+                        unspecified: "unspecified";
+                    }>;
+                    path: z.ZodString;
+                    diffstat: z.ZodOptional<z.ZodObject<{
+                        added: z.ZodNumber;
+                        removed: z.ZodNumber;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"other">;
+                display: z.ZodString;
+            }, z.core.$strict>]>;
+            state: z.ZodObject<{
+                status: z.ZodEnum<{
+                    error: "error";
+                    ok: "ok";
+                }>;
+                message: z.ZodOptional<z.ZodString>;
+                exitCode: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>]>>>;
+    omitted: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    reportedChanges: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+        sequence: z.ZodNumber;
+        at: z.ZodString;
+        op: z.ZodEnum<{
+            add: "add";
+            update: "update";
+            delete: "delete";
+            unspecified: "unspecified";
+        }>;
+        path: z.ZodString;
+        diffstat: z.ZodOptional<z.ZodObject<{
+            added: z.ZodNumber;
+            removed: z.ZodNumber;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
+    reportedChangesOmitted: z.ZodNumber;
+    kind: z.ZodLiteral<"idle">;
+    outcome: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodLiteral<"outcome">;
+        sequence: z.ZodNumber;
+        turnSequence: z.ZodNumber;
+        at: z.ZodString;
+        outcome: z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodLiteral<"answered">;
+            historyId: z.ZodString;
+            answer: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"failed">;
+            historyId: z.ZodString;
+            diagnostic: z.ZodString;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>;
+    entries: z.ZodReadonly<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"gap">;
+        count: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"row">;
+        row: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodLiteral<"call">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"note" | "thought" | "said">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"note" | "thought" | "said">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"note" | "thought" | "said">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            text: z.ZodString;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"tell">;
+            sequence: z.ZodNumber;
+            at: z.ZodString;
+            tellId: z.ZodString;
+            text: z.ZodString;
+            state: z.ZodEnum<{
+                pending: "pending";
+                told: "told";
+            }>;
+            deliveries: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                deliveredAt: z.ZodString;
+                route: z.ZodEnum<{
+                    live: "live";
+                    launch: "launch";
+                }>;
+                turnSequence: z.ZodNumber;
+                receipt: z.ZodOptional<z.ZodEnum<{
+                    required: "required";
+                    unavailable: "unavailable";
+                }>>;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>]>, z.ZodObject<{
+            kind: z.ZodLiteral<"tool">;
+            sequence: z.ZodNumber;
+            turnSequence: z.ZodNumber;
+            at: z.ZodString;
+            completedAt: z.ZodOptional<z.ZodString>;
+            durationMs: z.ZodOptional<z.ZodNumber>;
+            name: z.ZodString;
+            call: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"run">;
+                command: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"read">;
+                path: z.ZodString;
+                offset: z.ZodOptional<z.ZodNumber>;
+                limit: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"search">;
+                query: z.ZodString;
+                scope: z.ZodOptional<z.ZodEnum<{
+                    content: "content";
+                    files: "files";
+                    web: "web";
+                }>>;
+                path: z.ZodOptional<z.ZodString>;
+                glob: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"fileChange">;
+                changes: z.ZodReadonly<z.ZodArray<z.ZodObject<{
+                    op: z.ZodEnum<{
+                        add: "add";
+                        update: "update";
+                        delete: "delete";
+                        unspecified: "unspecified";
+                    }>;
+                    path: z.ZodString;
+                    diffstat: z.ZodOptional<z.ZodObject<{
+                        added: z.ZodNumber;
+                        removed: z.ZodNumber;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"other">;
+                display: z.ZodString;
+            }, z.core.$strict>]>;
+            state: z.ZodObject<{
+                status: z.ZodEnum<{
+                    error: "error";
+                    ok: "ok";
+                }>;
+                message: z.ZodOptional<z.ZodString>;
+                exitCode: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strict>;
+            truncated: z.ZodOptional<z.ZodLiteral<true>>;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>]>>>;
+    omitted: z.ZodNumber;
+}, z.core.$strict>]>;
+export type TurnOutcome = z.infer<typeof outcomeSchema>;
+export type TurnStartRow = z.infer<typeof turnRowSchema>;
+type CallRow = z.infer<typeof callRowSchema>;
+type SaidRow = z.infer<ReturnType<typeof textRowSchema>>;
+type ThoughtRow = z.infer<ReturnType<typeof textRowSchema>>;
+type NoteRow = z.infer<ReturnType<typeof textRowSchema>>;
 type TurnNarrationRow = CallRow | SaidRow | ThoughtRow | NoteRow;
-export type TellRow = Readonly<{
-    kind: "tell";
-    sequence: number;
-    at: string;
-    tellId: string;
-    text: string;
-    state: TellFact["state"];
-    deliveries: readonly TellDelivery[];
-}>;
-export type OutcomeRow = Readonly<{
-    kind: "outcome";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    outcome: TurnOutcome;
-}>;
-export type ActiveToolRow = Readonly<{
-    kind: "tool";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    name: string;
-    call: ToolCall;
-    state: "active";
-    truncated?: true;
-}>;
-export type CompletedToolRow = Readonly<{
-    kind: "tool";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    completedAt?: string;
-    durationMs?: number;
-    name: string;
-    call: ToolCall;
-    state: ToolResult;
-    truncated?: true;
-}>;
-export type UnsettledToolRow = Readonly<{
-    kind: "tool";
-    sequence: number;
-    turnSequence: number;
-    at: string;
-    name: string;
-    call: ToolCall;
-    state: "unsettled";
-    truncated?: true;
-}>;
+export type TellRow = z.infer<typeof tellRowSchema>;
+export type OutcomeRow = z.infer<typeof outcomeRowSchema>;
+export type ActiveToolRow = z.infer<typeof activeToolRowSchema>;
+export type CompletedToolRow = z.infer<typeof completedToolRowSchema>;
+export type UnsettledToolRow = z.infer<typeof unsettledToolRowSchema>;
 export type OpenTurnRow = TurnNarrationRow | ActiveToolRow | CompletedToolRow;
 export type ClosedTurnRow = TurnNarrationRow | UnsettledToolRow | CompletedToolRow;
 export type OpenTurn = Readonly<{
@@ -111,47 +864,13 @@ export type ClosedTurn = Readonly<{
 }>;
 export type ProjectedTurn = OpenTurn | ClosedTurn;
 export type ActivityRow = TurnStartRow | OpenTurnRow | ClosedTurnRow | TellRow | OutcomeRow;
-type SnapshotFactRow = TurnNarrationRow | TellRow;
-export type OpenSnapshotRow = SnapshotFactRow | ActiveToolRow | CompletedToolRow;
-export type IdleSnapshotRow = SnapshotFactRow | CompletedToolRow;
+export type OpenSnapshotRow = z.infer<typeof openSnapshotRowSchema>;
+export type IdleSnapshotRow = z.infer<typeof idleSnapshotRowSchema>;
 export type SnapshotRow = OpenSnapshotRow | IdleSnapshotRow;
-export type ActivitySnapshotEntry<Row extends SnapshotRow = SnapshotRow> = Readonly<{
-    kind: "row";
-    row: Row;
-}> | Readonly<{
-    kind: "gap";
-    count: number;
-}>;
-export type ReportedFileChange = Readonly<{
-    sequence: number;
-    at: string;
-    op: "add" | "update" | "delete" | "unspecified";
-    path: string;
-    diffstat?: Readonly<{
-        added: number;
-        removed: number;
-    }>;
-}>;
-type ReportedChangeSummary = Readonly<{
-    reportedChanges: readonly ReportedFileChange[];
-    reportedChangesOmitted: number;
-}>;
-export type Snapshot = Readonly<{
-    kind: "unborn";
-    entries: readonly [];
-    omitted: 0;
-} & ReportedChangeSummary> | Readonly<{
-    kind: "open";
-    turn: TurnStartRow;
-    entries: readonly ActivitySnapshotEntry<OpenSnapshotRow>[];
-    omitted: number;
-} & ReportedChangeSummary> | Readonly<{
-    kind: "idle";
-    outcome?: OutcomeRow;
-    entries: readonly ActivitySnapshotEntry<IdleSnapshotRow>[];
-    omitted: number;
-} & ReportedChangeSummary>;
-export type ActivitySnapshot = Snapshot;
+export type ActivitySnapshotEntry<Row extends SnapshotRow = SnapshotRow> = z.infer<ReturnType<typeof snapshotEntrySchema<z.ZodType<Row>>>>;
+export type ReportedFileChange = z.infer<typeof reportedFileChangeSchema>;
+export type Snapshot = z.infer<typeof activitySnapshotSchema>;
+export type ActivitySnapshot = z.infer<typeof activitySnapshotSchema>;
 export type ActivityHistory = Readonly<{
     rows: readonly ActivityRow[];
     omitted: number;