@kvman/kvcoder 0.1.20 → 0.1.22

package/dist/rewind/rewind-chat.js

@@ -0,0 +1,80 @@
+import { realpath } from 'node:fs/promises';
+import { dropRun } from "../delegate/runs.js";
+import { deleteSessionTree } from "../sessions/new-session.js";
+import { allDocs } from "../store/all-docs.js";
+import { records, txRecords } from "../store/collections.js";
+import { cancelTurn } from "../turns/end-turn.js";
+import { changedAfter, rewindFile, treeOf } from "./rewind-files.js";
+import { dropRecords } from "./rewind-records.js";
+import { isAfter } from "./rewind-target.js";
+// Helpers made after the message: deleting is marked first, so no change of theirs lands after it (ADR 0118, 5).
+async function stopHelpers(ctx, chatId, mark) {
+    const store = records(ctx.store);
+    const helpers = (await allDocs((options) => store.sessions.find({ parentId: chatId }, options))).filter((child) => isAfter(child.atSeq, child.createdAt, mark));
+    for (const helper of helpers) {
+        await store.sessions.update(helper.id, { deleting: true });
+        await cancelTurn(ctx, helper.id, false);
+    }
+    return helpers.map((helper) => helper.id);
+}
+// Program workers' runs started after the message stop telling no one; processes keep running, but quiet.
+async function stopStarted(ctx, sessions, mark) {
+    const store = records(ctx.store);
+    for (const sessionId of sessions) {
+        for (const run of await allDocs((options) => store.runs.find({ sessionId }, options))) {
+            if (!isAfter(run.atSeq, run.startedAt, mark))
+                continue;
+            await dropRun(ctx, run);
+            await store.runs.delete(run.id);
+        }
+        for (const process of await allDocs((options) => store.processes.find({ sessionId }, options))) {
+            if (isAfter(process.atSeq, process.startedAt, mark))
+                await store.processes.update(process.id, { quiet: true });
+        }
+    }
+}
+// Files kept as they are keep their records under the chat, so a later rewind can still take them back.
+async function keepHelperCopies(ctx, chatId, helpers) {
+    for (const helper of await treeOfAll(ctx, helpers)) {
+        await ctx.store.transaction((tx) => {
+            const store = txRecords(tx);
+            // A moved record leaves the filter, so each page is a fresh first page.
+            for (let page = store.fileBackups.find({ sessionId: helper }, { limit: 1000 }); page.length > 0; page = store.fileBackups.find({ sessionId: helper }, { limit: 1000 }))
+                for (const copy of page)
+                    store.fileBackups.update(copy.id, { sessionId: chatId });
+            for (let page = store.fileCopies.find({ sessionId: helper }, { limit: 1000 }); page.length > 0; page = store.fileCopies.find({ sessionId: helper }, { limit: 1000 }))
+                for (const kept of page)
+                    store.fileCopies.update(kept.id, { sessionId: chatId });
+        });
+    }
+}
+async function treeOfAll(ctx, roots) {
+    return (await Promise.all(roots.map((root) => treeOf(ctx, root)))).flat();
+}
+async function rewindFiles(ctx, chatId, sessions, mark) {
+    const base = await realpath(ctx.job.workspace.path);
+    const decided = [];
+    for (const real of await changedAfter(ctx, sessions, mark)) {
+        const decision = await rewindFile(ctx, chatId, sessions, real, mark, base);
+        if (decision !== undefined)
+            decided.push(decision);
+    }
+    const named = (state) => decided.filter((file) => file.state === state).map((file) => file.path);
+    return { restored: named('restore'), deleted: named('delete'), left: decided.flatMap((file) => (file.state === 'changedSince' || file.state === 'tooLarge' ? [{ path: file.path, reason: file.state }] : [])) };
+}
+/** Rewinds the chat to just before `message`; with `files`, kvman's own changes after it go back too. */
+export async function rewindChat(ctx, chat, message, files) {
+    const mark = { seq: message.seq, createdAt: message.createdAt };
+    await cancelTurn(ctx, chat.id, false);
+    const helpers = await stopHelpers(ctx, chat.id, mark);
+    const sessions = await treeOf(ctx, chat.id);
+    await stopStarted(ctx, sessions, mark);
+    const rewound = files ? await rewindFiles(ctx, chat.id, sessions, mark) : { restored: [], deleted: [], left: [] };
+    if (!files)
+        await keepHelperCopies(ctx, chat.id, helpers);
+    await dropRecords(ctx, chat.id, sessions, mark, helpers);
+    for (const helper of helpers)
+        await deleteSessionTree(ctx, helper);
+    return rewound;
+}
+//# sourceMappingURL=rewind-chat.js.map

package/dist/rewind/rewind-chat.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-chat.js","sourceRoot":"","sources":["../../src/rewind/rewind-chat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAqB,MAAM,mBAAmB,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAa,MAAM,oBAAoB,CAAC;AAQxD,iHAAiH;AACjH,KAAK,UAAU,WAAW,CAAC,GAAQ,EAAE,MAAc,EAAE,IAAU;IAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAChK,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,MAAM,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,WAAW,CAAC,GAAQ,EAAE,QAA2B,EAAE,IAAU;IAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,MAAM,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YACtF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBAAE,SAAS;YACvD,MAAM,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACxB,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,MAAM,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YAC/F,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC;gBAAE,MAAM,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACjH,CAAC;IACH,CAAC;AACH,CAAC;AAED,wGAAwG;AACxG,KAAK,UAAU,gBAAgB,CAAC,GAAQ,EAAE,MAAc,EAAE,OAA0B;IAClF,KAAK,MAAM,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE;YACjC,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;YAC5B,wEAAwE;YACxE,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBAAE,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YAC1P,KAAK,IAAI,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBAAE,KAAK,MAAM,IAAI,IAAI,IAAI;oBAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACzP,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,KAAwB;IACzD,OAAO,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5E,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,GAAQ,EAAE,MAAc,EAAE,QAA2B,EAAE,IAAU;IAC1F,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC3E,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,KAA4B,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxH,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,cAAc,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAClN,CAAC;AAED,yGAAyG;AACzG,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,GAAQ,EAAE,IAAwB,EAAE,OAA2B,EAAE,KAAc;IAC9G,MAAM,IAAI,GAAS,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;IACtE,MAAM,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,WAAW,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAClH,IAAI,CAAC,KAAK;QAAE,MAAM,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,MAAM,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/rewind/rewind-files.d.ts

@@ -0,0 +1,17 @@
+import type { Ctx } from '@kvman/sdk';
+import { type TxRecords } from '../store/collections.ts';
+import { type Mark } from './rewind-target.ts';
+export type FileState = 'restore' | 'delete' | 'changedSince' | 'tooLarge';
+export type FileDecision = {
+    path: string;
+    state: FileState;
+};
+/** The chat and every session below it. */
+export declare function treeOf(ctx: Ctx, chatId: string): Promise<string[]>;
+/** The files the tree changed after the message, by real path. */
+export declare function changedAfter(ctx: Ctx, sessions: readonly string[], mark: Mark): Promise<string[]>;
+/** What rewinding to the message would do to one file, writing nothing; `undefined` when nothing would change. */
+export declare function decideFile(store: TxRecords, sessions: readonly string[], real: string, mark: Mark, base: string): FileDecision | undefined;
+/** Rewinds one file, with its records, in one transaction. */
+export declare function rewindFile(ctx: Ctx, chatId: string, sessions: readonly string[], real: string, mark: Mark, base: string): Promise<FileDecision | undefined>;
+//# sourceMappingURL=rewind-files.d.ts.map

package/dist/rewind/rewind-files.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-files.d.ts","sourceRoot":"","sources":["../../src/rewind/rewind-files.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAItC,OAAO,EAAsB,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAW,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAOxD,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,cAAc,GAAG,UAAU,CAAC;AAC3E,MAAM,MAAM,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC;AAI9D,2CAA2C;AAC3C,wBAAsB,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAOxE;AAED,kEAAkE;AAClE,wBAAsB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAMvG;AAkBD,kHAAkH;AAClH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAG1I;AA+BD,8DAA8D;AAC9D,wBAAgB,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAW3J"}

package/dist/rewind/rewind-files.js

@@ -0,0 +1,99 @@
+import { mkdirSync, unlinkSync } from 'node:fs';
+import path from 'node:path';
+import { existing, fingerprintOf, refusal, replace } from "../files/file-change.js";
+import { beforeOf, byOrder, copiesOf, dropCopy } from "../files/file-copies.js";
+import { allDocs } from "../store/all-docs.js";
+import { records, txRecords } from "../store/collections.js";
+import { isAfter } from "./rewind-target.js";
+/** The chat and every session below it. */
+export async function treeOf(ctx, chatId) {
+    const found = [chatId];
+    for (let index = 0; index < found.length; index += 1) {
+        const parent = found[index] ?? '';
+        found.push(...(await allDocs((options) => records(ctx.store).sessions.find({ parentId: parent }, options))).map((child) => child.id));
+    }
+    return found;
+}
+/** The files the tree changed after the message, by real path. */
+export async function changedAfter(ctx, sessions, mark) {
+    const paths = new Set();
+    for (const sessionId of sessions) {
+        for (const copy of await allDocs((options) => records(ctx.store).fileBackups.find({ sessionId }, options)))
+            if (isAfter(copy.atSeq, copy.createdAt, mark))
+                paths.add(copy.path);
+    }
+    return [...paths].sort();
+}
+const shownPath = (base, real) => path.relative(base, real).split(path.sep).join('/');
+function planFile(store, sessions, real, mark, base) {
+    const after = sessions.flatMap((sessionId) => copiesOf(store, sessionId, real)).filter((copy) => isAfter(copy.atSeq, copy.createdAt, mark)).sort(byOrder);
+    const [oldest, newest] = [after[0], after.at(-1)];
+    if (oldest === undefined || newest === undefined)
+        return undefined;
+    const target = beforeOf(store, oldest);
+    const found = existing({ shown: shownPath(base, real), real });
+    const holdsNewest = newest.written === null ? found === undefined : found !== undefined && fingerprintOf(found.bytes) === newest.written;
+    const plan = (state) => ({ state, after, target, mode: found?.mode });
+    if (!holdsNewest)
+        return plan('changedSince');
+    if (target.kind === 'tooLarge')
+        return plan('tooLarge');
+    if (target.kind === 'absent')
+        return plan(found === undefined ? 'none' : 'delete');
+    return plan(found !== undefined && found.bytes.equals(target.bytes) ? 'none' : 'restore');
+}
+/** What rewinding to the message would do to one file, writing nothing; `undefined` when nothing would change. */
+export function decideFile(store, sessions, real, mark, base) {
+    const planned = planFile(store, sessions, real, mark, base);
+    return planned === undefined || planned.state === 'none' ? undefined : { path: shownPath(base, real), state: planned.state };
+}
+// The tree's record of the file in the Changes view follows its newest change left, or goes with the last one.
+function followChanges(store, sessions, chatId, real) {
+    const [noted] = store.fileChanges.find({ sessionId: chatId, path: real }, { limit: 1 });
+    if (noted === undefined)
+        return;
+    const newest = sessions.flatMap((sessionId) => copiesOf(store, sessionId, real)).sort(byOrder).at(-1);
+    if (newest === undefined)
+        store.fileChanges.delete(noted.id);
+    else
+        store.fileChanges.update(noted.id, { lastAt: newest.createdAt, turnId: newest.turnId });
+}
+// The records taken back go; a change an undo among them had undone counts again.
+function dropAfter(store, after) {
+    const dropped = new Set(after.map((copy) => copy.id));
+    for (const copy of after) {
+        dropCopy(store, copy);
+        if (copy.undoes !== null && !dropped.has(copy.undoes) && store.fileBackups.get(copy.undoes) !== undefined)
+            store.fileBackups.update(copy.undoes, { undone: false });
+    }
+}
+function write(real, planned, jobId) {
+    try {
+        if (planned.state === 'delete')
+            unlinkSync(real);
+        if (planned.state !== 'restore' || planned.target.kind !== 'content')
+            return;
+        mkdirSync(path.dirname(real), { recursive: true });
+    }
+    catch (error) {
+        throw refusal(error);
+    }
+    replace(real, planned.target.bytes, planned.mode, jobId);
+}
+/** Rewinds one file, with its records, in one transaction. */
+export function rewindFile(ctx, chatId, sessions, real, mark, base) {
+    return ctx.store.transaction((tx) => {
+        const store = txRecords(tx);
+        const planned = planFile(store, sessions, real, mark, base);
+        if (planned === undefined)
+            return undefined;
+        write(real, planned, ctx.job.id);
+        dropAfter(store, planned.after);
+        for (const sessionId of sessions)
+            for (const view of store.fileViews.find({ sessionId, path: real }, { limit: 1 }))
+                store.fileViews.delete(view.id);
+        followChanges(store, sessions, chatId, real);
+        return planned.state === 'none' ? undefined : { path: shownPath(base, real), state: planned.state };
+    });
+}
+//# sourceMappingURL=rewind-files.js.map

package/dist/rewind/rewind-files.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-files.js","sourceRoot":"","sources":["../../src/rewind/rewind-files.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAA0B,MAAM,yBAAyB,CAAC;AACxG,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,SAAS,EAAkB,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAa,MAAM,oBAAoB,CAAC;AAYxD,2CAA2C;AAC3C,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,GAAQ,EAAE,MAAc;IACnD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACxI,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,GAAQ,EAAE,QAA2B,EAAE,IAAU;IAClF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,MAAM,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC;YAAE,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClL,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAE9G,SAAS,QAAQ,CAAC,KAAgB,EAAE,QAA2B,EAAE,IAAY,EAAE,IAAU,EAAE,IAAY;IACrG,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1J,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnE,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC;IACzI,MAAM,IAAI,GAAG,CAAC,KAAuB,EAAW,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACjG,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACnF,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAC5F,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,UAAU,CAAC,KAAgB,EAAE,QAA2B,EAAE,IAAY,EAAE,IAAU,EAAE,IAAY;IAC9G,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;AAC/H,CAAC;AAED,+GAA+G;AAC/G,SAAS,aAAa,CAAC,KAAgB,EAAE,QAA2B,EAAE,MAAc,EAAE,IAAY;IAChG,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACxF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,IAAI,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;;QACxD,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/F,CAAC;AAED,kFAAkF;AAClF,SAAS,SAAS,CAAC,KAAgB,EAAE,KAAsB;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACtB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACtK,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,IAAY,EAAE,OAAgB,EAAE,KAAa;IAC1D,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QAC7E,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,UAAU,CAAC,GAAQ,EAAE,MAAc,EAAE,QAA2B,EAAE,IAAY,EAAE,IAAU,EAAE,IAAY;IACtH,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAChC,KAAK,MAAM,SAAS,IAAI,QAAQ;YAAE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpJ,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,OAAO,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IACtG,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/rewind/rewind-records.d.ts

@@ -0,0 +1,7 @@
+import type { Ctx } from '@kvman/sdk';
+import { type Mark } from './rewind-target.ts';
+/** A mark of cleared or collapsed messages, moved back below `seq`. */
+export declare const markBelow: (value: number | null, seq: number) => number | null;
+/** Deletes the chat's records from the message on, and says how many stored messages went. */
+export declare function dropRecords(ctx: Ctx, chatId: string, sessions: readonly string[], mark: Mark, helpers: readonly string[]): Promise<number>;
+//# sourceMappingURL=rewind-records.d.ts.map

package/dist/rewind/rewind-records.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-records.d.ts","sourceRoot":"","sources":["../../src/rewind/rewind-records.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAU,MAAM,YAAY,CAAC;AAK9C,OAAO,EAAW,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAqDxD,uEAAuE;AACvE,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,GAAG,IAAI,EAAE,KAAK,MAAM,KAAG,MAAM,GAAG,IAA0E,CAAC;AAElJ,8FAA8F;AAC9F,wBAAgB,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAa1I"}

package/dist/rewind/rewind-records.js

@@ -0,0 +1,82 @@
+import { now } from "../sessions/session-lookup.js";
+import { txRecords } from "../store/collections.js";
+import { blockOf } from "../turns/history.js";
+import { isAfter } from "./rewind-target.js";
+// The chat's records of a rewind (ADR 0118, 1), in one transaction: the message and every message after it, every
+// queued message, the turns opened after it with their questions, what was made after it (artifacts, the map, the
+// pieces of a long file), the chat's views of files, and the background rows of the helpers that go. The marks of
+// cleared and collapsed messages move back below the message; `nextSeq` stays, so no `seq` is used twice.
+const pageSize = 1000;
+// Every document `find` gives inside the transaction, in pages.
+function everyInTx(find) {
+    const found = [];
+    for (let page = find(undefined); page.length > 0; page = find(found.at(-1)?.id)) {
+        found.push(...page);
+        if (page.length < pageSize)
+            break;
+    }
+    return found;
+}
+const paged = (after) => ({ limit: pageSize, ...(after === undefined ? {} : { after }) });
+function dropMessages(store, chat, mark) {
+    let removed = 0;
+    for (let block = blockOf(mark.seq); block <= blockOf(Math.max(chat.nextSeq - 1, 0)); block += 1) {
+        for (const message of store.messages.find({ sessionId: chat.id, block }, { limit: pageSize })) {
+            if (message.seq < mark.seq)
+                continue;
+            store.messages.delete(message.id);
+            removed += 1;
+        }
+    }
+    for (const queued of everyInTx((after) => store.queued.find({ sessionId: chat.id }, paged(after))))
+        store.queued.delete(queued.id);
+    return removed;
+}
+function dropTurns(store, chatId, mark) {
+    const gone = new Set();
+    for (const turn of everyInTx((after) => store.turns.find({ sessionId: chatId }, paged(after)))) {
+        if (!isAfter(turn.atSeq, turn.startedAt, mark))
+            continue;
+        store.turns.delete(turn.id);
+        gone.add(turn.id);
+    }
+    for (const question of everyInTx((after) => store.questions.find({ sessionId: chatId }, paged(after))))
+        if (gone.has(question.turnId))
+            store.questions.delete(question.id);
+}
+function dropMade(store, chatId, sessions, mark) {
+    for (const artifact of everyInTx((after) => store.artifacts.find({ sessionId: chatId }, paged(after))))
+        if (isAfter(artifact.atSeq, artifact.createdAt, mark))
+            store.artifacts.delete(artifact.id);
+    for (const map of store.maps.find({ sessionId: chatId }, { limit: pageSize }))
+        if (isAfter(map.atSeq, map.createdAt, mark))
+            store.maps.delete(map.id);
+    for (const sessionId of sessions) {
+        for (const part of everyInTx((after) => store.fileParts.find({ sessionId }, paged(after))))
+            if (isAfter(part.atSeq, part.updatedAt, mark))
+                store.fileParts.delete(part.id);
+    }
+    for (const view of everyInTx((after) => store.fileViews.find({ sessionId: chatId }, paged(after))))
+        store.fileViews.delete(view.id);
+}
+/** A mark of cleared or collapsed messages, moved back below `seq`. */
+export const markBelow = (value, seq) => (value === null || value < seq ? value : seq > 0 ? seq - 1 : null);
+/** Deletes the chat's records from the message on, and says how many stored messages went. */
+export function dropRecords(ctx, chatId, sessions, mark, helpers) {
+    return ctx.store.transaction((tx) => {
+        const store = txRecords(tx);
+        const chat = store.sessions.get(chatId);
+        if (chat === undefined)
+            throw ctx.problem('kvcoder/SESSION_NOT_FOUND', { sessionId: chatId });
+        const removed = dropMessages(store, chat, mark);
+        dropTurns(store, chatId, mark);
+        dropMade(store, chatId, sessions, mark);
+        const gone = new Set(helpers);
+        for (const row of everyInTx((after) => store.background.find({ sessionId: chatId }, paged(after))))
+            if (gone.has(row.ref))
+                store.background.delete(row.id);
+        store.sessions.update(chatId, { clearedThroughSeq: markBelow(chat.clearedThroughSeq, mark.seq), collapsedThroughSeq: markBelow(chat.collapsedThroughSeq, mark.seq), updatedAt: now() });
+        return removed;
+    });
+}
+//# sourceMappingURL=rewind-records.js.map

package/dist/rewind/rewind-records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-records.js","sourceRoot":"","sources":["../../src/rewind/rewind-records.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,GAAG,EAAE,MAAM,+BAA+B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAkB,MAAM,yBAAyB,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAa,MAAM,oBAAoB,CAAC;AAExD,kHAAkH;AAClH,kHAAkH;AAClH,kHAAkH;AAClH,0GAA0G;AAE1G,MAAM,QAAQ,GAAG,IAAI,CAAC;AAEtB,gEAAgE;AAChE,SAAS,SAAS,CAA6B,IAA0C;IACvF,MAAM,KAAK,GAAU,EAAE,CAAC;IACxB,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QAChF,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACpB,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ;YAAE,MAAM;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAE9G,SAAS,YAAY,CAAC,KAAgB,EAAE,IAAwB,EAAE,IAAU;IAC1E,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChG,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;YAC9F,IAAI,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG;gBAAE,SAAS;YACrC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAClC,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnI,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAAC,KAAgB,EAAE,MAAc,EAAE,IAAU;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC;YAAE,SAAS;QACzD,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAC7K,CAAC;AAED,SAAS,QAAQ,CAAC,KAAgB,EAAE,MAAc,EAAE,QAA2B,EAAE,IAAU;IACzF,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACnM,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAAE,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtJ,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7K,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACtI,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAoB,EAAE,GAAW,EAAiB,EAAE,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAElJ,8FAA8F;AAC9F,MAAM,UAAU,WAAW,CAAC,GAAQ,EAAE,MAAc,EAAE,QAA2B,EAAE,IAAU,EAAE,OAA0B;IACvH,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE;QAClC,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,GAAG,CAAC,OAAO,CAAC,2BAA2B,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9F,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3J,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,iBAAiB,EAAE,SAAS,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,mBAAmB,EAAE,SAAS,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACxL,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/rewind/rewind-target.d.ts

@@ -0,0 +1,18 @@
+import type { Ctx, Stored } from '@kvman/sdk';
+import type { MessageDoc, SessionDoc } from '../schemas/records.ts';
+/** The message rewound to: its `seq`, and its time for records from before ADR 0118. */
+export type Mark = {
+    seq: number;
+    createdAt: string;
+};
+/** Whether a record was made after the message: by its `atSeq`, or for an older record by its time. */
+export declare function isAfter(atSeq: number | null | undefined, at: string, mark: Mark): boolean;
+/** The chat a rewind works on: a top-level session. */
+export declare function rewoundChat(ctx: Ctx, sessionId: string): Promise<Stored<SessionDoc>>;
+/** The message the person typed at `seq`, for an edit. */
+export declare function editedMessage(ctx: Ctx, chat: Stored<SessionDoc>, seq: number): Promise<Stored<MessageDoc>>;
+/** The message at `seq` when it may be edited or undone, for the preview. */
+export declare function rewindableMessage(ctx: Ctx, chat: Stored<SessionDoc>, seq: number): Promise<Stored<MessageDoc>>;
+/** The latest message the person typed or a slash command sent, for an undo. */
+export declare function undoneMessage(ctx: Ctx, chat: Stored<SessionDoc>): Promise<Stored<MessageDoc>>;
+//# sourceMappingURL=rewind-target.d.ts.map

package/dist/rewind/rewind-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-target.d.ts","sourceRoot":"","sources":["../../src/rewind/rewind-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAG9C,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AASpE,wFAAwF;AACxF,MAAM,MAAM,IAAI,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,uGAAuG;AACvG,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAEzF;AAKD,uDAAuD;AACvD,wBAAsB,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAI1F;AAOD,0DAA0D;AAC1D,wBAAsB,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAIhH;AAED,6EAA6E;AAC7E,wBAAsB,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAIpH;AAED,gFAAgF;AAChF,wBAAsB,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAMnG"}

package/dist/rewind/rewind-target.js

@@ -0,0 +1,47 @@
+import { ownerName } from "../jobs/process-records.js";
+import { invalid } from "../problems.js";
+import { ownSession } from "../sessions/session-lookup.js";
+import { records } from "../store/collections.js";
+import { blockOf } from "../turns/history.js";
+import { messagesBefore } from "../turns/message-blocks.js";
+/** Whether a record was made after the message: by its `atSeq`, or for an older record by its time. */
+export function isAfter(atSeq, at, mark) {
+    return atSeq === null || atSeq === undefined ? at > mark.createdAt : atSeq > mark.seq;
+}
+const typed = (message) => message.kind === 'user' && message.source?.kind === 'user';
+const undoable = (message) => typed(message) || (message.kind === 'user' && message.source?.kind === 'extension' && message.source.name !== ownerName);
+/** The chat a rewind works on: a top-level session. */
+export async function rewoundChat(ctx, sessionId) {
+    const session = await ownSession(ctx, sessionId);
+    if (session.parentId !== null)
+        throw invalid("A helper's chat is for reading; edit or undo in its chat.", { sessionId });
+    return session;
+}
+async function messageAt(ctx, chat, seq) {
+    const block = await records(ctx.store).messages.find({ sessionId: chat.id, block: blockOf(seq) }, { limit: 1000 });
+    return block.find((message) => message.seq === seq);
+}
+/** The message the person typed at `seq`, for an edit. */
+export async function editedMessage(ctx, chat, seq) {
+    const message = await messageAt(ctx, chat, seq);
+    if (message === undefined || !typed(message))
+        throw invalid(`Message ${String(seq)} isn't one the person typed in this chat, so it can't be edited.`, { seq });
+    return message;
+}
+/** The message at `seq` when it may be edited or undone, for the preview. */
+export async function rewindableMessage(ctx, chat, seq) {
+    const message = await messageAt(ctx, chat, seq);
+    if (message === undefined || !undoable(message))
+        throw invalid(`Message ${String(seq)} isn't one the person or a slash command sent in this chat.`, { seq });
+    return message;
+}
+/** The latest message the person typed or a slash command sent, for an undo. */
+export async function undoneMessage(ctx, chat) {
+    for (let page = await messagesBefore(ctx, chat.id, 200, chat.nextSeq); page.length > 0; page = await messagesBefore(ctx, chat.id, 200, page[0]?.seq ?? 0)) {
+        const found = page.findLast(undoable);
+        if (found !== undefined)
+            return found;
+    }
+    throw invalid('This chat has no message to undo.', { sessionId: chat.id });
+}
+//# sourceMappingURL=rewind-target.js.map

package/dist/rewind/rewind-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewind-target.js","sourceRoot":"","sources":["../../src/rewind/rewind-target.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAQ5D,uGAAuG;AACvG,MAAM,UAAU,OAAO,CAAC,KAAgC,EAAE,EAAU,EAAE,IAAU;IAC9E,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;AACxF,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,OAAmB,EAAW,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC;AAC3G,MAAM,QAAQ,GAAG,CAAC,OAAmB,EAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;AAE5K,uDAAuD;AACvD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAQ,EAAE,SAAiB;IAC3D,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI;QAAE,MAAM,OAAO,CAAC,2DAA2D,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IACzH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAQ,EAAE,IAAwB,EAAE,GAAW;IACtE,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnH,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,0DAA0D;AAC1D,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAQ,EAAE,IAAwB,EAAE,GAAW;IACjF,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,OAAO,CAAC,WAAW,MAAM,CAAC,GAAG,CAAC,kEAAkE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/J,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,GAAQ,EAAE,IAAwB,EAAE,GAAW;IACrF,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,MAAM,OAAO,CAAC,WAAW,MAAM,CAAC,GAAG,CAAC,6DAA6D,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC7J,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAQ,EAAE,IAAwB;IACpE,KAAK,IAAI,IAAI,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1J,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACxC,CAAC;IACD,MAAM,OAAO,CAAC,mCAAmC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC"}

package/dist/schemas/file-records.d.ts

@@ -0,0 +1,46 @@
+import { z } from '@kvman/sdk';
+declare const atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+export declare const fileViewDocSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    path: z.ZodString;
+    fingerprint: z.ZodString;
+    updatedAt: z.ZodISODateTime;
+}, z.core.$strip>;
+export declare const fileChangeDocSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    path: z.ZodString;
+    firstAt: z.ZodISODateTime;
+    lastAt: z.ZodISODateTime;
+    turnId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+}, z.core.$strip>;
+export declare const fileBackupDocSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    path: z.ZodString;
+    previous: z.ZodNullable<z.ZodString>;
+    kept: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    written: z.ZodNullable<z.ZodString>;
+    tooLarge: z.ZodDefault<z.ZodBoolean>;
+    atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    order: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    turnId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    undoes: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    undone: z.ZodDefault<z.ZodBoolean>;
+    createdAt: z.ZodISODateTime;
+}, z.core.$strip>;
+export declare const fileCopyDocSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    content: z.ZodString;
+}, z.core.$strip>;
+export declare const filePartDocSchema: z.ZodObject<{
+    sessionId: z.ZodString;
+    path: z.ZodString;
+    part: z.ZodNumber;
+    content: z.ZodString;
+    atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
+    updatedAt: z.ZodISODateTime;
+}, z.core.$strip>;
+export { atSeq as atSeqSchema };
+export type FileViewDoc = z.output<typeof fileViewDocSchema>;
+export type FileChangeDoc = z.output<typeof fileChangeDocSchema>;
+export type FileBackupDoc = z.output<typeof fileBackupDocSchema>;
+//# sourceMappingURL=file-records.d.ts.map

package/dist/schemas/file-records.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-records.d.ts","sourceRoot":"","sources":["../../src/schemas/file-records.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAO/B,QAAA,MAAM,KAAK,0CAA0D,CAAC;AAEtE,eAAO,MAAM,iBAAiB;;;;;iBAAkG,CAAC;AAIjI,eAAO,MAAM,mBAAmB;;;;;;iBAA0J,CAAC;AAM3L,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;iBAa9B,CAAC;AAGH,eAAO,MAAM,iBAAiB;;;iBAA2D,CAAC;AAG1F,eAAO,MAAM,iBAAiB;;;;;;;iBAAgJ,CAAC;AAE/K,OAAO,EAAE,KAAK,IAAI,WAAW,EAAE,CAAC;AAEhC,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC7D,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC;AACjE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAC"}

package/dist/schemas/file-records.js

@@ -0,0 +1,34 @@
+import { z } from '@kvman/sdk';
+// What a chat knows of the files it changes (plan 08 §8.5): what it last saw of a file, the files it changed, a copy of
+// each change, and the pieces of a long file it is writing (ADR 0053, 2 and 4; ADR 0093, 2; ADR 0118, 3 and 4).
+const fingerprint = z.string().regex(/^[0-9a-f]{64}$/);
+// The chat's `nextSeq` when a record was made, which tells what came after a message (ADR 0118, 4); none before it.
+const atSeq = z.number().int().nonnegative().nullable().default(null);
+export const fileViewDocSchema = z.object({ sessionId: z.string(), path: z.string(), fingerprint, updatedAt: z.iso.datetime() });
+// A file a chat changed with `fs`, under the chat at the root, for its Changes view (ADR 0093, 2).
+// `turnId` is the root chat's turn of the latest change (ADR 0102, 9); records from before it read `null`.
+export const fileChangeDocSchema = z.object({ sessionId: z.string(), path: z.string(), firstAt: z.iso.datetime(), lastAt: z.iso.datetime(), turnId: z.string().nullable().default(null) });
+// One change: what the file held before it and the fingerprint after it (`null` when it removed the file). The content
+// before is in `file-copies` under `kept` (inline as `previous` in records from before ADR 0118); with neither, and not
+// `tooLarge` (over 1 MB, so none was kept), the file didn't exist. `order` is the chat's change counter; an undo's own
+// record names the record it undid in `undoes`, and that one is `undone`.
+export const fileBackupDocSchema = z.object({
+    sessionId: z.string(),
+    path: z.string(),
+    previous: z.string().nullable(),
+    kept: z.string().nullable().default(null),
+    written: fingerprint.nullable(),
+    tooLarge: z.boolean().default(false),
+    atSeq,
+    order: z.number().int().nonnegative().nullable().default(null),
+    turnId: z.string().nullable().default(null),
+    undoes: z.string().nullable().default(null),
+    undone: z.boolean().default(false),
+    createdAt: z.iso.datetime(),
+});
+// The content a change replaced, base64, apart from its record so a chat's records read light (ADR 0118, 3).
+export const fileCopyDocSchema = z.object({ sessionId: z.string(), content: z.string() });
+// One numbered piece of a long file a chat is writing, held until `fs assemble` (ADR 0054, 2).
+export const filePartDocSchema = z.object({ sessionId: z.string(), path: z.string(), part: z.number().int().min(1), content: z.string(), atSeq, updatedAt: z.iso.datetime() });
+export { atSeq as atSeqSchema };
+//# sourceMappingURL=file-records.js.map

package/dist/schemas/file-records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-records.js","sourceRoot":"","sources":["../../src/schemas/file-records.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAE/B,wHAAwH;AACxH,gHAAgH;AAEhH,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AACvD,oHAAoH;AACpH,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAEtE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEjI,mGAAmG;AACnG,2GAA2G;AAC3G,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE3L,uHAAuH;AACvH,wHAAwH;AACxH,uHAAuH;AACvH,0EAA0E;AAC1E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IACzC,OAAO,EAAE,WAAW,CAAC,QAAQ,EAAE;IAC/B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACpC,KAAK;IACL,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC9D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IAClC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAEH,6GAA6G;AAC7G,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAE1F,+FAA+F;AAC/F,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAE/K,OAAO,EAAE,KAAK,IAAI,WAAW,EAAE,CAAC"}

package/dist/schemas/process-doc.d.ts

@@ -17,6 +17,8 @@ export declare const processDocSchema: z.ZodObject<{
     reported: z.ZodBoolean;
     starting: z.ZodExactOptional<z.ZodBoolean>;
     notify: z.ZodExactOptional<z.ZodBoolean>;
+    atSeq: z.ZodExactOptional<z.ZodNumber>;
+    quiet: z.ZodExactOptional<z.ZodBoolean>;
 }, z.core.$strip>;
 export type ProcessDoc = z.output<typeof processDocSchema>;
 //# sourceMappingURL=process-doc.d.ts.map

package/dist/schemas/process-doc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"process-doc.d.ts","sourceRoot":"","sources":["../../src/schemas/process-doc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAK/B,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;iBAc3B,CAAC;AAGH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC"}
+{"version":3,"file":"process-doc.d.ts","sourceRoot":"","sources":["../../src/schemas/process-doc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAK/B,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;iBAiB3B,CAAC;AAGH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC"}

package/dist/schemas/process-doc.js

@@ -16,5 +16,8 @@ export const processDocSchema = z.object({
     starting: z.boolean().exactOptional(),
     /** Started with `notify: true`: its watcher, not the exit handler, reports its end (ADR 0108, 16). */
     notify: z.boolean().exactOptional(),
+    /** The chat's `nextSeq` when it started, and, once a rewind went back past that, `quiet`: its end is never told (ADR 0118, 1). */
+    atSeq: z.number().int().nonnegative().exactOptional(),
+    quiet: z.boolean().exactOptional(),
 });
 //# sourceMappingURL=process-doc.js.map

package/dist/schemas/process-doc.js.map

@@ -1 +1 @@
-{"version":3,"file":"process-doc.js","sourceRoot":"","sources":["../../src/schemas/process-doc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAE/B,0HAA0H;AAC1H,sHAAsH;AACtH,sCAAsC;AACtC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE;IACnC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,aAAa,EAAE;IACzE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,aAAa,EAAE;IACrD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,aAAa,EAAE;IAC7C,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE;IACrC,sGAAsG;IACtG,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE;CACpC,CAAC,CAAC"}
+{"version":3,"file":"process-doc.js","sourceRoot":"","sources":["../../src/schemas/process-doc.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,YAAY,CAAC;AAE/B,0HAA0H;AAC1H,sHAAsH;AACtH,sCAAsC;AACtC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,aAAa,EAAE;IACnC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,aAAa,EAAE;IACzE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,aAAa,EAAE;IACrD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,aAAa,EAAE;IAC7C,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE;IACrC,sGAAsG;IACtG,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE;IACnC,kIAAkI;IAClI,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,aAAa,EAAE;IACrD,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE;CACnC,CAAC,CAAC"}

package/dist/schemas/records.d.ts

@@ -1,6 +1,7 @@
 import { z } from '@kvman/sdk';
 import type { JsonValue } from '../connector-call.ts';
 export { processDocSchema, type ProcessDoc } from './process-doc.ts';
+export { fileBackupDocSchema, fileChangeDocSchema, fileCopyDocSchema, filePartDocSchema, fileViewDocSchema, type FileBackupDoc, type FileChangeDoc } from './file-records.ts';
 export type { JsonValue };
 /** How hard the model thinks, as kvai takes it (ADR 0087, 11). */
 export declare const thinkingSchema: z.ZodEnum<{
@@ -176,6 +177,8 @@ export declare const sessionDocSchema: z.ZodObject<{
         content: z.ZodString;
         told: z.ZodNullable<z.ZodString>;
     }, z.core.$strip>>>;
+    changes: z.ZodDefault<z.ZodNumber>;
+    atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
     createdAt: z.ZodString;
     updatedAt: z.ZodString;
 }, z.core.$strip>;
@@ -363,6 +366,7 @@ export declare const turnDocSchema: z.ZodObject<{
         }, z.core.$strict>;
     }, z.core.$strip>>>;
     connectionWaits: z.ZodDefault<z.ZodNumber>;
+    atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
 }, z.core.$strip>;
 export declare const questionDocSchema: z.ZodObject<{
     sessionId: z.ZodString;
@@ -394,33 +398,6 @@ export declare const answerReceiptDocSchema: z.ZodObject<{
     answerFingerprint: z.ZodString;
     createdAt: z.ZodISODateTime;
 }, z.core.$strip>;
-export declare const fileViewDocSchema: z.ZodObject<{
-    sessionId: z.ZodString;
-    path: z.ZodString;
-    fingerprint: z.ZodString;
-    updatedAt: z.ZodISODateTime;
-}, z.core.$strip>;
-export declare const fileChangeDocSchema: z.ZodObject<{
-    sessionId: z.ZodString;
-    path: z.ZodString;
-    firstAt: z.ZodISODateTime;
-    lastAt: z.ZodISODateTime;
-    turnId: z.ZodDefault<z.ZodNullable<z.ZodString>>;
-}, z.core.$strip>;
-export declare const fileBackupDocSchema: z.ZodObject<{
-    sessionId: z.ZodString;
-    path: z.ZodString;
-    previous: z.ZodNullable<z.ZodString>;
-    written: z.ZodString;
-    createdAt: z.ZodISODateTime;
-}, z.core.$strip>;
-export declare const filePartDocSchema: z.ZodObject<{
-    sessionId: z.ZodString;
-    path: z.ZodString;
-    part: z.ZodNumber;
-    content: z.ZodString;
-    updatedAt: z.ZodISODateTime;
-}, z.core.$strip>;
 export declare const sendReceiptDocSchema: z.ZodObject<{
     sendId: z.ZodString;
     sessionId: z.ZodString;
@@ -486,6 +463,7 @@ export declare const runDocSchema: z.ZodObject<{
         paths: z.ZodNumber;
         restored: z.ZodBoolean;
     }, z.core.$strip>>>;
+    atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
 }, z.core.$strip>;
 export declare const artifactDocSchema: z.ZodObject<{
     sessionId: z.ZodString;
@@ -498,6 +476,7 @@ export declare const artifactDocSchema: z.ZodObject<{
     }>;
     content: z.ZodString;
     version: z.ZodNumber;
+    atSeq: z.ZodDefault<z.ZodNullable<z.ZodNumber>>;
     createdAt: z.ZodString;
     updatedAt: z.ZodString;
 }, z.core.$strip>;
@@ -506,7 +485,6 @@ export type StepIntentDoc = z.output<typeof stepIntentDocSchema>;
 export type MessageDoc = z.output<typeof messageDocSchema>;
 export type QueuedDoc = z.output<typeof queuedDocSchema>;
 export type TurnDoc = z.output<typeof turnDocSchema>;
-export type FileChangeDoc = z.output<typeof fileChangeDocSchema>;
 export type Pending = z.output<typeof pendingSchema>;
 export type HeldResult = z.output<typeof heldResultSchema>;
 export type RunCallDoc = z.output<typeof runCallSchema>;