@graview/core 0.1.0 → 0.1.3

package/dist/mutations/words.js

@@ -0,0 +1,61 @@
+import { GraphError } from "../graph/graph.js";
+import { fieldWords, humaniseField } from "../schema/define-node.js";
+/**
+ * AN ARGUMENT ASKED FOR IN THE RECORD'S OWN WORDS.
+ *
+ * A form walked off a mutation's input named each field by its argument —
+ * "Vin", "Body", "Label" — and offered a choice's raw values — "suv",
+ * "plug-in-hybrid" — while the record the act makes, one page later, said
+ * "VIN", "Body style", "Name", "SUV" and "Plug-in hybrid", because the kind
+ * declares them. An argument that fills a field of the kind the act makes
+ * or acts on is that field, and is asked for in that field's words.
+ */
+export function argumentWords(schema, mutation, name) {
+    const kinds = [...(mutation?.creates ?? []), ...(mutation?.subject && mutation.subject.kinds !== "*" ? mutation.subject.kinds : [])];
+    for (const kind of kinds) {
+        const definition = schema.tryDefinition(kind);
+        const shape = (definition?.fields?.shape ?? {});
+        if (!definition || !(name in shape))
+            continue;
+        const format = definition.display?.format?.[name];
+        const declared = definition.display?.labels?.[name];
+        return {
+            // A kind's `label` is its name: "Label *" is the field's key, not a word for it.
+            label: declared ?? (name === "label" ? "Name" : fieldWords(definition, name)),
+            option: (value) => (format ? format(value) : humaniseField(value)),
+        };
+    }
+    return { label: name === "label" ? "Name" : humaniseField(name), option: (value) => humaniseField(value) };
+}
+/** Arguments a mutation refused, each with where it was and what was wrong. */
+export class InvalidArguments extends GraphError {
+    mutation;
+    issues;
+    constructor(mutation, issues) {
+        super(`Invalid arguments for mutation "${mutation}"`, issues.map((issue) => `${issue.path.map(String).join(".") || "(root)"}: ${issue.message}`).join("; "));
+        this.mutation = mutation;
+        this.issues = issues;
+        this.name = "InvalidArguments";
+    }
+}
+/**
+ * WHY A PRESS DID NOT TAKE, in a person's words.
+ *
+ * Arguments a mutation refused are said field by field, in the words the
+ * form asked in: "Email — Invalid email address", never `Invalid arguments
+ * for mutation "sign-up" email: Invalid email address`, which named the act
+ * by its id and the field by its key to somebody who had only ever seen
+ * "Sign up" and "Email". Anything else is the refusal's own sentence.
+ */
+export function failureWords(schema, mutations, error) {
+    if (error instanceof InvalidArguments) {
+        const mutation = mutations.find((one) => one.name === error.mutation);
+        const said = error.issues.map((issue) => {
+            const field = issue.path.length > 0 ? argumentWords(schema, mutation, String(issue.path[0])).label : undefined;
+            return field ? `${field} — ${issue.message.replace(/^./, (first) => first.toLowerCase())}` : issue.message;
+        });
+        return `Not yet: ${said.join("; ")}.`;
+    }
+    return error instanceof Error ? error.message : String(error);
+}
+//# sourceMappingURL=words.js.map

package/dist/mutations/words.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"words.js","sourceRoot":"","sources":["../../src/mutations/words.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AASrE;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAiB,EACjB,QAA6B,EAC7B,IAAY;IAEZ,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrI,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,CAAE,UAAU,EAAE,MAA0D,EAAE,KAAK,IAAI,EAAE,CAA4B,CAAC;QAChI,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC;YAAE,SAAS;QAC9C,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO;YACL,iFAAiF;YACjF,KAAK,EAAE,QAAQ,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC7E,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SACnE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7G,CAAC;AAED,+EAA+E;AAC/E,MAAM,OAAO,gBAAiB,SAAQ,UAAU;IAEnC;IACA;IAFX,YACW,QAAgB,EAChB,MAAsF;QAE/F,KAAK,CACH,mCAAmC,QAAQ,GAAG,EAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACtG,CAAC;QANO,aAAQ,GAAR,QAAQ,CAAQ;QAChB,WAAM,GAAN,MAAM,CAAgF;QAM/F,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAiB,EACjB,SAA6B,EAC7B,KAAc;IAEd,IAAI,KAAK,YAAY,gBAAgB,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACtC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/G,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QAC7G,CAAC,CAAC,CAAC;QACH,OAAO,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACxC,CAAC;IACD,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC"}

package/dist/ops/log.d.ts

@@ -1,18 +1,142 @@
 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;
+    /**
+     * TAKES ANOTHER LOG WHOLESALE (FR-53): its ops, its epochs and its
+     * horizon, checked exactly as `from` checks them, in place of what this
+     * log held. For a client that resynced and takes the server's history as
+     * the server has it (`Store.adopt`); like `truncate`, it is not for
+     * history another store has seen. All or nothing: a log that is not
+     * intact is refused and this one is as it was.
+     */
+    replace(ops: readonly Operation[], epochs?: readonly Epoch[], options?: {
+        readonly horizon?: number;
+    }): void;
+    /** 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 +149,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;;;;;;;OAOG;IACH,OAAO,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,IAAI;IAOpH,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,176 @@
 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;
     }
+    /**
+     * TAKES ANOTHER LOG WHOLESALE (FR-53): its ops, its epochs and its
+     * horizon, checked exactly as `from` checks them, in place of what this
+     * log held. For a client that resynced and takes the server's history as
+     * the server has it (`Store.adopt`); like `truncate`, it is not for
+     * history another store has seen. All or nothing: a log that is not
+     * intact is refused and this one is as it was.
+     */
+    replace(ops, epochs = [], options = {}) {
+        const next = OperationLog.from(ops, epochs, options);
+        this.ops = next.ops;
+        this.marks = next.marks;
+        this.start = next.start;
+    }
+    /** 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 +186,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 +236,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;;;;;;;OAOG;IACH,OAAO,CAAC,GAAyB,EAAE,SAA2B,EAAE,EAAE,UAAyC,EAAE;QAC3G,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1B,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"}