@graview/core 0.1.0 → 0.1.2

package/dist/ops/log.d.ts

@@ -1,18 +1,131 @@
 import { Graph } from "../graph/graph.js";
+import type { GraphSnapshot } from "../graph/types.js";
 import type { AnySchema } from "../schema/schema.js";
 import type { Batch, Operation } from "./types.js";
+/**
+ * A POINT THE LOG CAN BE FOLDED FROM (FR-27): the graph as it stood, and
+ * the seq of the first op that folds onto it.
+ *
+ * A log that spans a declaration change cannot be folded from empty under
+ * the new declaration, because the ops before the change wrote the old
+ * shape. So each declaration version begins an epoch: ship records one when
+ * a migration runs, with the migrated graph as its base, and one for the
+ * seed a store first opened on, which was never an operation. Verifying
+ * folds from the last epoch, and undo does not reach back across an epoch
+ * that changed the declaration.
+ */
+export interface Epoch {
+    /** The seq of the first op folded onto `base`; every op before it is history behind the base. */
+    readonly seq: number;
+    /** The graph at that point. */
+    readonly base: GraphSnapshot;
+    /** The declaration version the epoch begins, when one is known. */
+    readonly version?: number;
+    /**
+     * What changed to begin it, in a sentence ("migration 1→2: size words
+     * become bed counts"). Present when the declaration changed; undo does
+     * not cross an epoch that has one. A seed, or a store from before epochs
+     * adopting what it holds, begins an epoch without one.
+     */
+    readonly change?: string;
+    /** When it began. */
+    readonly at?: string;
+    /**
+     * THE UNDO HORIZON (FR-23): this epoch is a checkpoint, and the ops
+     * before its seq were archived. A log restored with it begins at its seq,
+     * a normal open loads it and the ops after it and nothing older, and undo
+     * does not reach behind it. Absent on every other epoch.
+     */
+    readonly horizon?: true;
+}
+/**
+ * WHAT A COMPACTION MOVED OUT OF THE LOG (FR-23): the ops before the
+ * horizon, and the epochs before it, oldest first. An adapter keeps them
+ * where a normal open does not load them (`loadArchive`), and a full export
+ * puts them back in front of the tail.
+ */
+export interface LogArchive {
+    readonly ops: readonly Operation[];
+    readonly epochs: readonly Epoch[];
+}
 /**
  * The append-only log. Nothing here mutates or removes an entry: an undo is
  * a new op carrying the inverse, so history is never destroyed and the log
  * doubles as an audit trail of what an agent did on your behalf.
+ *
+ * A LOG BEGINS AT ITS HORIZON (FR-23). Its seqs are contiguous from there:
+ * from 0 for a whole log, from the checkpoint's seq for one compacted
+ * behind an undo horizon, whose older ops an adapter archived.
  */
 export declare class OperationLog {
-    private readonly ops;
+    private ops;
+    private marks;
+    private start;
+    /**
+     * The seq the next op takes, which is how long the log is counting what
+     * a compaction archived (FR-23). The log holds `length - horizon` ops.
+     */
     get length(): number;
+    /**
+     * THE SEQ THE LOG BEGINS AT (FR-23): 0 for a whole log, the checkpoint's
+     * seq for one compacted behind an undo horizon. The ops before it are
+     * archived, not here.
+     */
+    get horizon(): number;
+    /** The ops this log holds, oldest first: from its horizon on. */
     all(): readonly Operation[];
+    /** The ops from `seq` on; from the horizon when `seq` is behind it. */
+    opsFrom(seq: number): readonly Operation[];
     append(op: Operation): void;
-    /** Restores a log from storage, checking the sequence is intact. */
-    static from(ops: readonly Operation[]): OperationLog;
+    /**
+     * Restores a log and its epochs from storage, checking the sequence is
+     * intact. A COMPACTED LOG (FR-23) begins at its horizon: the seq of the
+     * checkpoint among `epochs` (the last one marked `horizon`), or
+     * `options.horizon` for a log handed over without its base, as a client
+     * hydrating on a snapshot is. Its first op must carry that seq, and no
+     * epoch may be older than it. Without either, a log begins at 0.
+     */
+    static from(ops: readonly Operation[], epochs?: readonly Epoch[], options?: {
+        readonly horizon?: number;
+    }): OperationLog;
+    /** The epochs this log can be folded from, oldest first. */
+    epochs(): readonly Epoch[];
+    /** The epoch the current graph folds from, if any was marked. */
+    lastEpoch(): Epoch | undefined;
+    /**
+     * Begins an epoch at `epoch.seq`, usually the log's current length: the
+     * next op folds onto `epoch.base`. Epochs are in order and none starts
+     * past the end of the log.
+     */
+    markEpoch(epoch: Epoch): void;
+    /**
+     * ROLLS THE LOG BACK TO `length`, for ops that were only ever
+     * provisional: an optimistic client's pending tail, cut back before the
+     * server's ops land under it (`Store.rebase`). This is the one way an
+     * entry leaves the log, and it is not for history: ops another store has
+     * seen are undone by appending, never cut. Refuses to cut behind an epoch.
+     * Returns what was cut, oldest first.
+     */
+    truncate(length: number): Operation[];
+    /**
+     * THE GRAPH AS IT STOOD AT `seq`, AS AN EPOCH TO FOLD FROM (FR-23): the
+     * base of the last epoch at or before it, with the ops up to it folded
+     * on. An epoch already at `seq` is that graph and is kept as it is,
+     * declaration change and all. Marked `horizon`, so `compact` can make it
+     * the undo horizon. `at` is when the last op before it was made.
+     */
+    checkpointAt<S extends AnySchema>(schema: S, seq: number, options?: {
+        validate?: boolean;
+    }): Epoch;
+    /**
+     * MOVES THE UNDO HORIZON TO `checkpoint` (FR-23). The ops before its seq
+     * leave the log, with the epochs before it; the checkpoint becomes the
+     * first epoch, and the log begins at its seq. What left is returned,
+     * oldest first, for an adapter to archive: nothing here forgets history,
+     * it only stops carrying it. The graph is untouched, and still folds
+     * from the checkpoint with the ops after it.
+     */
+    compact(checkpoint: Epoch): LogArchive;
     get(id: string): Operation | undefined;
     /** Ops that have not been inverted by a later op. */
     live(): Operation[];
@@ -25,11 +138,39 @@ export declare class OperationLog {
     undoneIds(): Set<string>;
     opsInBatch(batchId: string): Operation[];
     batches(): Batch[];
-    /** Rebuilds the graph from empty by folding every live op forward. */
+    /**
+     * Rebuilds the graph by folding every op forward: from empty, or, given
+     * `from`, from that epoch's base with the ops from its seq on (FR-27),
+     * up to the op before seq `to` when that is given. A compacted log folds
+     * only from its checkpoint or an epoch after it (FR-23).
+     *
+     * Each op lands as it landed when it was made: a write is judged as a
+     * write (a default filled in on the way in is filled in again), an undo
+     * puts back what was there. An op an older declaration accepted and this
+     * one does not is HELD AS WRITTEN rather than refusing the whole history
+     * (FR-28) — `validateGraph` says what no longer fits. Only an op that
+     * cannot apply at all (a patch to a record that is not there) fails.
+     */
     fold<S extends AnySchema>(schema: S, options?: {
         validate?: boolean;
+        from?: Epoch;
+        to?: number;
     }): Graph<S>;
     /** Serializable form for a persistence adapter. */
     toJSON(): Operation[];
 }
+/**
+ * What `checkUndo` reads of a log: its ops, which of them are undone, and
+ * its epochs. An `OperationLog` is one; so is a log as one seat may see it.
+ */
+export interface LogReading {
+    /** The ops it holds: from the undo horizon on, when the log was compacted (FR-23). */
+    all(): readonly Operation[];
+    undoneIds(): Set<string>;
+    epochs(): readonly Epoch[];
+}
+/** The ops of a list that a live op undoes (`OperationLog.undoneIds`). */
+export declare function undoneIn(ops: readonly Operation[]): Set<string>;
+/** Ops grouped into the gestures they were made in, in the order each began. */
+export declare function batchesOf(ops: readonly Operation[], undone: ReadonlySet<string>): Batch[];
 //# sourceMappingURL=log.d.ts.map

package/dist/ops/log.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"log.d.ts","sourceRoot":"","sources":["../../src/ops/log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEnD;;;;GAIG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAmB;IAEvC,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,GAAG,IAAI,SAAS,SAAS,EAAE;IAI3B,MAAM,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI;IAS3B,oEAAoE;IACpE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,GAAG,YAAY;IAMpD,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,qDAAqD;IACrD,IAAI,IAAI,SAAS,EAAE;IAKnB;;;;;OAKG;IACH,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC;IAqBxB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE;IAIxC,OAAO,IAAI,KAAK,EAAE;IA0BlB,sEAAsE;IACtE,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IAQhF,mDAAmD;IACnD,MAAM,IAAI,SAAS,EAAE;CAGtB"}
+{"version":3,"file":"log.d.ts","sourceRoot":"","sources":["../../src/ops/log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAgB,MAAM,qBAAqB,CAAC;AACnE,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEnD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,KAAK;IACpB,iGAAiG;IACjG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,+BAA+B;IAC/B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,qBAAqB;IACrB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;CACnC;AAKD;;;;;;;;GAQG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,GAAG,CAAmB;IAC9B,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,KAAK,CAAK;IAElB;;;OAGG;IACH,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED;;;;OAIG;IACH,IAAI,OAAO,IAAI,MAAM,CAEpB;IAED,iEAAiE;IACjE,GAAG,IAAI,SAAS,SAAS,EAAE;IAI3B,uEAAuE;IACvE,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,SAAS,EAAE;IAI1C,MAAM,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI;IAO3B;;;;;;;OAOG;IACH,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,GAAE,SAAS,KAAK,EAAO,EAAE,OAAO,GAAE;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,YAAY;IAkBhI,4DAA4D;IAC5D,MAAM,IAAI,SAAS,KAAK,EAAE;IAI1B,iEAAiE;IACjE,SAAS,IAAI,KAAK,GAAG,SAAS;IAI9B;;;;OAIG;IACH,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAc7B;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE;IAWrC;;;;;;OAMG;IACH,YAAY,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;KAAO,GAAG,KAAK;IAiBtG;;;;;;;OAOG;IACH,OAAO,CAAC,UAAU,EAAE,KAAK,GAAG,UAAU;IAYtC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAItC,qDAAqD;IACrD,IAAI,IAAI,SAAS,EAAE;IAKnB;;;;;OAKG;IACH,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC;IAIxB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE;IAIxC,OAAO,IAAI,KAAK,EAAE;IAIlB;;;;;;;;;;;;OAYG;IACH,IAAI,CAAC,CAAC,SAAS,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,GAAE;QAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,IAAI,CAAC,EAAE,KAAK,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,KAAK,CAAC,CAAC,CAAC;IA0B/G,mDAAmD;IACnD,MAAM,IAAI,SAAS,EAAE;CAGtB;AAGD;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,sFAAsF;IACtF,GAAG,IAAI,SAAS,SAAS,EAAE,CAAC;IAC5B,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,IAAI,SAAS,KAAK,EAAE,CAAC;CAC5B;AAED,0EAA0E;AAC1E,wBAAgB,QAAQ,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAiB/D;AAED,gFAAgF;AAChF,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,KAAK,EAAE,CAwBzF"}

package/dist/ops/log.js

@@ -1,30 +1,162 @@
 import { Graph } from "../graph/graph.js";
+const beginsPastZero = (op) => `Op "${op.id}" has seq ${op.seq}, so the log begins at seq ${op.seq}: a log that begins past 0 begins at its undo horizon, and none was given (a checkpoint epoch, or { horizon })`;
 /**
  * The append-only log. Nothing here mutates or removes an entry: an undo is
  * a new op carrying the inverse, so history is never destroyed and the log
  * doubles as an audit trail of what an agent did on your behalf.
+ *
+ * A LOG BEGINS AT ITS HORIZON (FR-23). Its seqs are contiguous from there:
+ * from 0 for a whole log, from the checkpoint's seq for one compacted
+ * behind an undo horizon, whose older ops an adapter archived.
  */
 export class OperationLog {
     ops = [];
+    marks = [];
+    start = 0;
+    /**
+     * The seq the next op takes, which is how long the log is counting what
+     * a compaction archived (FR-23). The log holds `length - horizon` ops.
+     */
     get length() {
-        return this.ops.length;
+        return this.start + this.ops.length;
     }
+    /**
+     * THE SEQ THE LOG BEGINS AT (FR-23): 0 for a whole log, the checkpoint's
+     * seq for one compacted behind an undo horizon. The ops before it are
+     * archived, not here.
+     */
+    get horizon() {
+        return this.start;
+    }
+    /** The ops this log holds, oldest first: from its horizon on. */
     all() {
         return this.ops;
     }
+    /** The ops from `seq` on; from the horizon when `seq` is behind it. */
+    opsFrom(seq) {
+        return this.ops.slice(Math.max(0, seq - this.start));
+    }
     append(op) {
-        if (op.seq !== this.ops.length) {
-            throw new Error(`Op "${op.id}" has seq ${op.seq} but the log is ${this.ops.length} long`);
+        if (op.seq !== this.length) {
+            throw new Error(this.length === 0 && op.seq > 0 ? beginsPastZero(op) : `Op "${op.id}" has seq ${op.seq} but the log is ${this.length} long`);
         }
         this.ops.push(op);
     }
-    /** Restores a log from storage, checking the sequence is intact. */
-    static from(ops) {
+    /**
+     * Restores a log and its epochs from storage, checking the sequence is
+     * intact. A COMPACTED LOG (FR-23) begins at its horizon: the seq of the
+     * checkpoint among `epochs` (the last one marked `horizon`), or
+     * `options.horizon` for a log handed over without its base, as a client
+     * hydrating on a snapshot is. Its first op must carry that seq, and no
+     * epoch may be older than it. Without either, a log begins at 0.
+     */
+    static from(ops, epochs = [], options = {}) {
         const log = new OperationLog();
+        const checkpoint = [...epochs].reverse().find((epoch) => epoch.horizon);
+        const horizon = options.horizon ?? checkpoint?.seq ?? 0;
+        if (!Number.isInteger(horizon) || horizon < 0)
+            throw new Error(`A log cannot begin at seq ${horizon}`);
+        if (checkpoint && options.horizon !== undefined && checkpoint.seq !== options.horizon) {
+            throw new Error(`A log said to begin at seq ${options.horizon} has its checkpoint at seq ${checkpoint.seq}`);
+        }
+        const first = ops[0];
+        if (first && horizon > 0 && first.seq !== horizon) {
+            throw new Error(`A log compacted at seq ${horizon} begins with op "${first.id}" at seq ${first.seq}`);
+        }
+        log.start = horizon;
         for (const op of ops)
             log.append(op);
+        for (const epoch of epochs)
+            log.markEpoch(epoch);
         return log;
     }
+    /** The epochs this log can be folded from, oldest first. */
+    epochs() {
+        return this.marks;
+    }
+    /** The epoch the current graph folds from, if any was marked. */
+    lastEpoch() {
+        return this.marks.at(-1);
+    }
+    /**
+     * Begins an epoch at `epoch.seq`, usually the log's current length: the
+     * next op folds onto `epoch.base`. Epochs are in order and none starts
+     * past the end of the log.
+     */
+    markEpoch(epoch) {
+        if (!Number.isInteger(epoch.seq) || epoch.seq < 0 || epoch.seq > this.length) {
+            throw new Error(`An epoch at seq ${epoch.seq} starts past the end of a log ${this.length} long`);
+        }
+        if (epoch.seq < this.start) {
+            throw new Error(`An epoch at seq ${epoch.seq} is behind the horizon at seq ${this.start}: it went to the archive with the ops before it`);
+        }
+        const last = this.lastEpoch();
+        if (last && epoch.seq < last.seq) {
+            throw new Error(`An epoch at seq ${epoch.seq} comes before the last one, at seq ${last.seq}`);
+        }
+        this.marks.push(epoch);
+    }
+    /**
+     * ROLLS THE LOG BACK TO `length`, for ops that were only ever
+     * provisional: an optimistic client's pending tail, cut back before the
+     * server's ops land under it (`Store.rebase`). This is the one way an
+     * entry leaves the log, and it is not for history: ops another store has
+     * seen are undone by appending, never cut. Refuses to cut behind an epoch.
+     * Returns what was cut, oldest first.
+     */
+    truncate(length) {
+        if (!Number.isInteger(length) || length < this.start || length > this.length) {
+            throw new Error(`Cannot cut a log ${this.length} long back to ${length}`);
+        }
+        const last = this.lastEpoch();
+        if (last && last.seq > length) {
+            throw new Error(`Cannot cut the log back to ${length}: an epoch begins at seq ${last.seq}`);
+        }
+        return this.ops.splice(length - this.start);
+    }
+    /**
+     * THE GRAPH AS IT STOOD AT `seq`, AS AN EPOCH TO FOLD FROM (FR-23): the
+     * base of the last epoch at or before it, with the ops up to it folded
+     * on. An epoch already at `seq` is that graph and is kept as it is,
+     * declaration change and all. Marked `horizon`, so `compact` can make it
+     * the undo horizon. `at` is when the last op before it was made.
+     */
+    checkpointAt(schema, seq, options = {}) {
+        if (!Number.isInteger(seq) || seq < this.start || seq > this.length) {
+            throw new Error(`No checkpoint at seq ${seq}: this log holds seqs ${this.start} to ${this.length}`);
+        }
+        const from = [...this.marks].reverse().find((epoch) => epoch.seq <= seq);
+        if (from?.seq === seq)
+            return { ...from, horizon: true };
+        const base = this.fold(schema, { ...options, ...(from ? { from } : {}), to: seq }).snapshot();
+        const at = this.ops[seq - 1 - this.start]?.at ?? from?.at;
+        return {
+            seq,
+            base,
+            ...(from?.version !== undefined ? { version: from.version } : {}),
+            ...(at !== undefined ? { at } : {}),
+            horizon: true,
+        };
+    }
+    /**
+     * MOVES THE UNDO HORIZON TO `checkpoint` (FR-23). The ops before its seq
+     * leave the log, with the epochs before it; the checkpoint becomes the
+     * first epoch, and the log begins at its seq. What left is returned,
+     * oldest first, for an adapter to archive: nothing here forgets history,
+     * it only stops carrying it. The graph is untouched, and still folds
+     * from the checkpoint with the ops after it.
+     */
+    compact(checkpoint) {
+        if (!Number.isInteger(checkpoint.seq) || checkpoint.seq < this.start || checkpoint.seq > this.length) {
+            throw new Error(`Cannot compact at seq ${checkpoint.seq}: this log holds seqs ${this.start} to ${this.length}`);
+        }
+        const ops = this.ops.slice(0, checkpoint.seq - this.start);
+        const epochs = this.marks.filter((epoch) => epoch.seq < checkpoint.seq);
+        this.ops = this.ops.slice(checkpoint.seq - this.start);
+        this.marks = [{ ...checkpoint, horizon: true }, ...this.marks.filter((epoch) => epoch.seq > checkpoint.seq)];
+        this.start = checkpoint.seq;
+        return { ops, epochs };
+    }
     get(id) {
         return this.ops.find((op) => op.id === id);
     }
@@ -40,58 +172,48 @@ export class OperationLog {
      * from the end of the log backwards terminates in one pass.
      */
     undoneIds() {
-        const undoers = new Map();
-        for (const op of this.ops) {
-            if (!op.undoes)
-                continue;
-            const list = undoers.get(op.undoes);
-            if (list)
-                list.push(op.id);
-            else
-                undoers.set(op.undoes, [op.id]);
-        }
-        const live = new Map();
-        for (let i = this.ops.length - 1; i >= 0; i--) {
-            const op = this.ops[i];
-            const mine = undoers.get(op.id) ?? [];
-            live.set(op.id, !mine.some((id) => live.get(id) === true));
-        }
-        return new Set(this.ops.filter((op) => live.get(op.id) === false).map((op) => op.id));
+        return undoneIn(this.ops);
     }
     opsInBatch(batchId) {
         return this.ops.filter((op) => op.batch === batchId);
     }
     batches() {
-        const undone = this.undoneIds();
-        const order = [];
-        const grouped = new Map();
-        for (const op of this.ops) {
-            const list = grouped.get(op.batch);
-            if (list)
-                list.push(op);
-            else {
-                grouped.set(op.batch, [op]);
-                order.push(op.batch);
-            }
+        return batchesOf(this.ops, this.undoneIds());
+    }
+    /**
+     * Rebuilds the graph by folding every op forward: from empty, or, given
+     * `from`, from that epoch's base with the ops from its seq on (FR-27),
+     * up to the op before seq `to` when that is given. A compacted log folds
+     * only from its checkpoint or an epoch after it (FR-23).
+     *
+     * Each op lands as it landed when it was made: a write is judged as a
+     * write (a default filled in on the way in is filled in again), an undo
+     * puts back what was there. An op an older declaration accepted and this
+     * one does not is HELD AS WRITTEN rather than refusing the whole history
+     * (FR-28) — `validateGraph` says what no longer fits. Only an op that
+     * cannot apply at all (a patch to a record that is not there) fails.
+     */
+    fold(schema, options = {}) {
+        const from = options.from?.seq ?? 0;
+        if (from < this.start) {
+            throw new Error(options.from
+                ? `An epoch at seq ${from} is behind the horizon at seq ${this.start}: fold from the checkpoint`
+                : `A log compacted at seq ${this.start} does not fold from empty: fold from its checkpoint`);
         }
-        return order.map((id) => {
-            const ops = grouped.get(id) ?? [];
-            const first = ops[0];
-            return {
-                id,
-                author: first.author,
-                intent: first.intent,
-                at: first.at,
-                ops,
-                undone: ops.every((op) => undone.has(op.id)),
-            };
-        });
-    }
-    /** Rebuilds the graph from empty by folding every live op forward. */
-    fold(schema, options) {
-        const graph = new Graph(schema, options);
-        for (const op of this.ops) {
-            graph.applyPrimitives(op.primitives);
+        const base = (options.from?.base ?? { nodes: [], edges: [] });
+        const graph = Graph.from(schema, base, options.validate !== undefined ? { validate: options.validate } : {});
+        const to = options.to ?? this.length;
+        for (const op of this.ops.slice(from - this.start, Math.max(0, to - this.start))) {
+            if (op.undoes !== undefined) {
+                graph.applyPrimitives(op.primitives, { restoring: true });
+                continue;
+            }
+            try {
+                graph.applyPrimitives(op.primitives);
+            }
+            catch {
+                graph.applyPrimitives(op.primitives, { restoring: true });
+            }
         }
         return graph;
     }
@@ -100,4 +222,51 @@ export class OperationLog {
         return [...this.ops];
     }
 }
+/** The ops of a list that a live op undoes (`OperationLog.undoneIds`). */
+export function undoneIn(ops) {
+    const undoers = new Map();
+    for (const op of ops) {
+        if (!op.undoes)
+            continue;
+        const list = undoers.get(op.undoes);
+        if (list)
+            list.push(op.id);
+        else
+            undoers.set(op.undoes, [op.id]);
+    }
+    const live = new Map();
+    for (let i = ops.length - 1; i >= 0; i--) {
+        const op = ops[i];
+        const mine = undoers.get(op.id) ?? [];
+        live.set(op.id, !mine.some((id) => live.get(id) === true));
+    }
+    return new Set(ops.filter((op) => live.get(op.id) === false).map((op) => op.id));
+}
+/** Ops grouped into the gestures they were made in, in the order each began. */
+export function batchesOf(ops, undone) {
+    const order = [];
+    const grouped = new Map();
+    for (const op of ops) {
+        const list = grouped.get(op.batch);
+        if (list)
+            list.push(op);
+        else {
+            grouped.set(op.batch, [op]);
+            order.push(op.batch);
+        }
+    }
+    return order.map((id) => {
+        const ops = grouped.get(id) ?? [];
+        const first = ops[0];
+        return {
+            id,
+            author: first.author,
+            // What the gesture was for, when its caller said; else its first op's own sentence.
+            intent: first.batchIntent ?? first.intent,
+            at: first.at,
+            ops,
+            undone: ops.every((op) => undone.has(op.id)),
+        };
+    });
+}
 //# sourceMappingURL=log.js.map

package/dist/ops/log.js.map

@@ -1 +1 @@
-{"version":3,"file":"log.js","sourceRoot":"","sources":["../../src/ops/log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAI1C;;;;GAIG;AACH,MAAM,OAAO,YAAY;IACN,GAAG,GAAgB,EAAE,CAAC;IAEvC,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;IACzB,CAAC;IAED,GAAG;QACD,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,EAAa;QAClB,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,mBAAmB,IAAI,CAAC,GAAG,CAAC,MAAM,OAAO,CACzE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,IAAI,CAAC,GAAyB;QACnC,MAAM,GAAG,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,qDAAqD;IACrD,IAAI;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC;IAED;;;;;OAKG;IACH,SAAS;QACP,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,EAAE,CAAC,MAAM;gBAAE,SAAS;YACzB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;;gBACtB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;YACxB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO,IAAI,GAAG,CACZ,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CACtE,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,OAAe;QACxB,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,OAAO;QACL,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;iBACnB,CAAC;gBACJ,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;YACtB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;YACtB,OAAO;gBACL,EAAE;gBACF,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,GAAG;gBACH,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aAC7C,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,sEAAsE;IACtE,IAAI,CAAsB,MAAS,EAAE,OAAgC;QACnE,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mDAAmD;IACnD,MAAM;QACJ,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;CACF"}
+{"version":3,"file":"log.js","sourceRoot":"","sources":["../../src/ops/log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAqD1C,MAAM,cAAc,GAAG,CAAC,EAAa,EAAU,EAAE,CAC/C,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,8BAA8B,EAAE,CAAC,GAAG,gHAAgH,CAAC;AAEtL;;;;;;;;GAQG;AACH,MAAM,OAAO,YAAY;IACf,GAAG,GAAgB,EAAE,CAAC;IACtB,KAAK,GAAY,EAAE,CAAC;IACpB,KAAK,GAAG,CAAC,CAAC;IAElB;;;OAGG;IACH,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;IACtC,CAAC;IAED;;;;OAIG;IACH,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,iEAAiE;IACjE,GAAG;QACD,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAED,uEAAuE;IACvE,OAAO,CAAC,GAAW;QACjB,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,EAAa;QAClB,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,mBAAmB,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC;QAC/I,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,IAAI,CAAC,GAAyB,EAAE,SAA2B,EAAE,EAAE,UAAyC,EAAE;QAC/G,MAAM,GAAG,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,UAAU,EAAE,GAAG,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,OAAO,EAAE,CAAC,CAAC;QACvG,IAAI,UAAU,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;YACtF,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,CAAC,OAAO,8BAA8B,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/G,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,KAAK,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,oBAAoB,KAAK,CAAC,EAAE,YAAY,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACxG,CAAC;QACD,GAAG,CAAC,KAAK,GAAG,OAAO,CAAC;QACpB,KAAK,MAAM,EAAE,IAAI,GAAG;YAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,4DAA4D;IAC5D,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,iEAAiE;IACjE,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,KAAY;QACpB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,GAAG,iCAAiC,IAAI,CAAC,MAAM,OAAO,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,GAAG,iCAAiC,IAAI,CAAC,KAAK,iDAAiD,CAAC,CAAC;QAC5I,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC9B,IAAI,IAAI,IAAI,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,GAAG,sCAAsC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IAED;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAc;QACrB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,KAAK,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7E,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,CAAC,MAAM,iBAAiB,MAAM,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC9B,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,GAAG,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,4BAA4B,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;OAMG;IACH,YAAY,CAAsB,MAAS,EAAE,GAAW,EAAE,UAAkC,EAAE;QAC5F,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACpE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,yBAAyB,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACtG,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;QACzE,IAAI,IAAI,EAAE,GAAG,KAAK,GAAG;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9F,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;QAC1D,OAAO;YACL,GAAG;YACH,IAAI;YACJ,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED;;;;;;;OAOG;IACH,OAAO,CAAC,UAAiB;QACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACrG,MAAM,IAAI,KAAK,CAAC,yBAAyB,UAAU,CAAC,GAAG,yBAAyB,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAClH,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QACxE,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7G,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC;QAC5B,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACzB,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,qDAAqD;IACrD,IAAI;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC;IAED;;;;;OAKG;IACH,SAAS;QACP,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,UAAU,CAAC,OAAe;QACxB,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,OAAO;QACL,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,IAAI,CAAsB,MAAS,EAAE,UAA6D,EAAE;QAClG,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CACb,OAAO,CAAC,IAAI;gBACV,CAAC,CAAC,mBAAmB,IAAI,iCAAiC,IAAI,CAAC,KAAK,4BAA4B;gBAChG,CAAC,CAAC,0BAA0B,IAAI,CAAC,KAAK,qDAAqD,CAC9F,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAmC,CAAC;QAChG,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7G,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC;QACrC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACjF,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC5B,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1D,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;YACvC,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mDAAmD;IACnD,MAAM;QACJ,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;CACF;AAcD,0EAA0E;AAC1E,MAAM,UAAU,QAAQ,CAAC,GAAyB;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,CAAC,EAAE,CAAC,MAAM;YAAE,SAAS;QACzB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;;YACtB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACnB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,GAAyB,EAAE,MAA2B;IAC9E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aACnB,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACtB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACtB,OAAO;YACL,EAAE;YACF,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,oFAAoF;YACpF,MAAM,EAAE,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,MAAM;YACzC,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,GAAG;YACH,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SAC7C,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/ops/revisions.d.ts

@@ -0,0 +1,66 @@
+import type { Primitive } from "../graph/primitives.js";
+import type { Operation } from "./types.js";
+/**
+ * WHICH OP LAST WROTE EACH FIELD (FR-05) — read off the log, never stored.
+ *
+ * A stale write is one made against a value somebody has changed since:
+ * two people open one record, both change its status, and whoever sends
+ * second used to win without knowing the first had spoken. To say so, a
+ * call carries the revision of each field it changes as its sender last
+ * saw it, and the store compares that with the field's revision now.
+ *
+ * A field's revision is the `seq` of the op that last wrote it: an op that
+ * added its record, or one that patched it. It is DERIVED from the log
+ * rather than kept beside it, so no stored format changes and every store,
+ * every client and every host that folds the same log agrees on it without
+ * being told. A field no op in the log has written (a seeded one, or one
+ * written before the log's first op) is at `NEVER_WRITTEN`.
+ */
+export declare const NEVER_WRITTEN = -1;
+/** What a call says it saw: one field of one record, at the revision its sender last read. */
+export interface FieldRevision {
+    readonly node: string;
+    readonly field: string;
+    readonly rev: number;
+}
+/**
+ * A FIELD THAT MOVED WHILE SOMEBODY WAS EDITING IT: the stale write, as
+ * the store refuses it. `theirs` is the value now, `yours` the one the call
+ * would have written, `by` who wrote theirs and `rev` the op that did.
+ * Named as Graview Cloud's room names it, so a host's interim reads the same.
+ */
+export interface FieldConflict {
+    readonly node: string;
+    readonly field: string;
+    readonly theirs: unknown;
+    readonly yours: unknown;
+    /** Who wrote theirs, by name where the log says one: "Sam", "Someone". */
+    readonly by: string;
+    /** The revision the field is at now. */
+    readonly rev: number;
+    /** The revision the call said it saw. */
+    readonly saw: number;
+}
+/** The fields one primitive writes, by record. */
+export declare function fieldsWritten(primitive: Primitive): readonly (readonly [string, string])[];
+/**
+ * The revision of every field a log has written, kept current as ops land.
+ * A revision only moves forward: an op noted twice, or out of order, leaves
+ * a later one standing.
+ */
+export declare class FieldRevisions {
+    private readonly revs;
+    /** Revisions read from a whole log (or the part of one a seat may see). */
+    static of(ops: readonly Operation[]): FieldRevisions;
+    /** Takes in ops as they land, by the seq each carries. */
+    note(ops: readonly Operation[]): void;
+    /** The seq of the op that last wrote this field, or `NEVER_WRITTEN`. */
+    of(node: string, field: string): number;
+    /** The base a call made of these ops would carry: each field they patch on a record they did not add, at its revision here. */
+    baseFor(ops: readonly Operation[], skip?: ReadonlySet<string>): FieldRevision[];
+    /** The base entries that no longer hold: each field written since its sender read it. */
+    stale(base: readonly FieldRevision[]): FieldRevision[];
+}
+/** Every record and every `record\0field` these ops write: what a later call need not claim to have seen. */
+export declare function writtenBy(ops: readonly Operation[]): Set<string>;
+//# sourceMappingURL=revisions.d.ts.map

package/dist/ops/revisions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revisions.d.ts","sourceRoot":"","sources":["../../src/ops/revisions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,aAAa,KAAK,CAAC;AAEhC,8FAA8F;AAC9F,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,wCAAwC;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAID,kDAAkD;AAClD,wBAAgB,aAAa,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAQ1F;AAED;;;;GAIG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA6B;IAElD,2EAA2E;IAC3E,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,GAAG,cAAc;IAMpD,0DAA0D;IAC1D,IAAI,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,GAAG,IAAI;IAWrC,wEAAwE;IACxE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAIvC,+HAA+H;IAC/H,OAAO,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,EAAE,IAAI,GAAE,WAAW,CAAC,MAAM,CAAa,GAAG,aAAa,EAAE;IAiB1F,yFAAyF;IACzF,KAAK,CAAC,IAAI,EAAE,SAAS,aAAa,EAAE,GAAG,aAAa,EAAE;CAGvD;AAED,6GAA6G;AAC7G,wBAAgB,SAAS,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAShE"}