@earendil-works/chord 1.4.0 → 1.5.0

package/dist/next/documents/definition.js

@@ -0,0 +1,73 @@
+// Document definitions: `defineState(name, ...)`, its fingerprint, the one check of a definition's `initial()` (R8),
+// the checked `migrate` of an older value and, for a persisted document, its checkpoint rule (slice 6a §10).
+import { checkName, fingerprintOf } from "../contracts/internal.js";
+import { snapshotSchema } from "../contracts/snapshot.js";
+import { validatorFor } from "../data/internal.js";
+export function defineState(name, options) {
+    checkName(name, "A state name");
+    const { schema, version, initial, migrate, keyed, persist, checkpointWhen } = options;
+    return new StateDefinition(name, schema, version, initial, migrate, keyed ?? false, persist ?? false, checkpointWhen);
+}
+const NEVER = () => false;
+/** A declared document; `T` is its value, `K` whether it is keyed, `P` whether it is persisted. */
+export class StateDefinition {
+    name;
+    schema;
+    version;
+    keyed;
+    persist;
+    /**
+     * `hash64` of the schema's normal form (descriptions and titles ignored), computed once: the same version with
+     * another fingerprint is a schema changed without a version bump.
+     */
+    fingerprint;
+    #initial;
+    #migrate;
+    /** Method-typed so that a definition of a narrower `T` still is a `StateDefinition<JsonObject, ...>`. */
+    #checkpointWhen;
+    #checked = false;
+    constructor(name, schema, version, initial, migrate, keyed, persist, checkpointWhen) {
+        this.name = name;
+        this.schema = schema;
+        this.version = version;
+        this.#initial = initial;
+        this.#migrate = migrate;
+        this.keyed = keyed;
+        this.persist = persist;
+        this.#checkpointWhen = checkpointWhen ?? NEVER;
+        this.fingerprint = fingerprintOf(snapshotSchema(schema, name).normal);
+    }
+    /** Whether a persisted document's change is stored as a new base (its `checkpointWhen`); never asked in memory. */
+    checkpointWhen(value, ops, info) {
+        return this.#checkpointWhen(value, ops, info);
+    }
+    /** A fresh `initial()` value; the first is checked against the schema (counted), later ones are not (R8). */
+    initial(context) {
+        const value = this.#initial();
+        if (this.#checked)
+            return value;
+        this.#check(value, "initial()", context);
+        this.#checked = true;
+        return value;
+    }
+    /**
+     * `old`, a value of version `from`, migrated to this version and checked against the schema once, as it is
+     * produced (R8, counted). Throws without a `migrate` (the access is refused, the data kept) and when the result does
+     * not match.
+     */
+    migrate(old, from, context) {
+        if (this.#migrate === undefined) {
+            throw new Error(`${this.name}: no migrate from version ${from} to ${this.version}`);
+        }
+        const value = this.#migrate(old, from);
+        this.#check(value, `migrate() from version ${from}`, context);
+        return value;
+    }
+    #check(value, what, context) {
+        context.telemetry.metrics?.counter("chord.data.validations").add(1);
+        if (!validatorFor(this, context).check(value)) {
+            throw new Error(`${this.name}: ${what} does not match the schema`);
+        }
+    }
+}
+//# sourceMappingURL=definition.js.map

package/dist/next/documents/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../../src/next/documents/definition.ts"],"names":[],"mappings":"AAAA,qHAAqH;AACrH,6GAA6G;AAM7G,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAqDnD,MAAM,UAAU,WAAW,CAC1B,IAAY,EACZ,OAGC;IAED,SAAS,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC;IACtF,OAAO,IAAI,eAAe,CACzB,IAAI,EACJ,MAAM,EACN,OAAO,EACP,OAAO,EACP,OAAO,EACP,KAAK,IAAI,KAAK,EACd,OAAO,IAAI,KAAK,EAChB,cAAc,CACd,CAAC;AACH,CAAC;AAKD,MAAM,KAAK,GAA+B,GAAG,EAAE,CAAC,KAAK,CAAC;AAEtD,mGAAmG;AACnG,MAAM,OAAO,eAAe;IAClB,IAAI,CAAS;IACb,MAAM,CAAS;IACf,OAAO,CAAS;IAChB,KAAK,CAAU;IACf,OAAO,CAAU;IAC1B;;;OAGG;IACM,WAAW,CAAS;IAKpB,QAAQ,CAAU;IAClB,QAAQ,CAAqD;IACtE,yGAAyG;IAChG,eAAe,CAAgF;IACxG,QAAQ,GAAG,KAAK,CAAC;IAEjB,YACC,IAAY,EACZ,MAAc,EACd,OAAe,EACf,OAAgB,EAChB,OAA2D,EAC3D,KAAc,EACd,OAAgB,EAChB,cAA6C;QAE7C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,eAAe,GAAG,cAAc,IAAI,KAAK,CAAC;QAC/C,IAAI,CAAC,WAAW,GAAG,aAAa,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC;IAED,mHAAmH;IACnH,cAAc,CAAC,KAAQ,EAAE,GAAkB,EAAE,IAAoB;QAChE,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,6GAA6G;IAC7G,OAAO,CAAC,OAAgB;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,GAAe,EAAE,IAAY,EAAE,OAAgB;QACtD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,6BAA6B,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,0BAA0B,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAQ,EAAE,IAAY,EAAE,OAAgB;QAC9C,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,4BAA4B,CAAC,CAAC;QACpE,CAAC;IACF,CAAC;CACD","sourcesContent":["// Document definitions: `defineState(name, ...)`, its fingerprint, the one check of a definition's `initial()` (R8),\n// the checked `migrate` of an older value and, for a persisted document, its checkpoint rule (slice 6a §10).\n\nimport type { Context } from \"../../context/index.ts\";\nimport type { Op } from \"../../delta/index.ts\";\nimport type { JsonValue } from \"../../json.ts\";\nimport type { Schema, Static } from \"../contracts/index.ts\";\nimport { checkName, fingerprintOf } from \"../contracts/internal.ts\";\nimport { snapshotSchema } from \"../contracts/snapshot.ts\";\nimport { validatorFor } from \"../data/internal.ts\";\n\n/** A document root: a JSON object. */\nexport type JsonObject = { [key: string]: JsonValue };\n\n/**\n * When a commit reaches the store (Durable's `CommitPersistence`): `immediate`, the default, before the commit\n * resolves; `deferred` (a persisted run's state change, D8): adopted and published at once, stored with the next\n * immediate change, the run's outcome, the object's close, or about `withinMs` (default 1,000 ms) later.\n */\nexport type CommitPersistence =\n\t| { readonly kind: \"immediate\" }\n\t| { readonly kind: \"deferred\"; readonly withinMs?: number };\n\n/** What a persisted document's `checkpointWhen` learns of its stored revisions. */\nexport type CheckpointInfo = {\n\t/** The deltas stored after its newest base, without the change being decided. */\n\treadonly deltasSinceBase: number;\n};\n\n/** Whether a commit's change of a persisted document is stored as a whole new base (`true`) or as a delta. */\nexport type CheckpointWhen<T> = (value: T, ops: readonly Op[], info: CheckpointInfo) => boolean;\n\n/** What `defineState` takes for any document. */\ntype StateOptions<S extends Schema, K extends boolean> = {\n\treadonly schema: S;\n\treadonly version: number;\n\treadonly initial: () => DocumentOf<S>;\n\t/** Maps a value of an older version `from` to this version's shape; pure. Required to read older values. */\n\treadonly migrate?: (old: JsonObject, from: number) => DocumentOf<S>;\n\treadonly keyed?: K;\n};\n\n/** What a persisted document adds (slice 6a §10): `checkpointWhen` is required. */\ntype PersistOptions<S extends Schema> = {\n\t/** Stored in the host's store; only in `local` types with empty params (P3). */\n\treadonly persist: true;\n\t/** Called once per commit per changed document; creations and version changes always store a base. */\n\treadonly checkpointWhen: CheckpointWhen<DocumentOf<S>>;\n};\n\n/**\n * Declares a document: a singleton per object, or with `keyed: true` many per object, each by a string key; with\n * `persist: true` stored in the host's store. Its name is a restricted name (lowercase `[a-z0-9@/._~-]`).\n */\nexport function defineState<S extends Schema, K extends boolean = false>(\n\tname: string,\n\toptions: StateOptions<S, K> & { readonly persist?: false; readonly checkpointWhen?: never },\n): StateDefinition<DocumentOf<S>, K, false>;\nexport function defineState<S extends Schema, K extends boolean = false>(\n\tname: string,\n\toptions: StateOptions<S, K> & PersistOptions<S>,\n): StateDefinition<DocumentOf<S>, K, true>;\nexport function defineState<S extends Schema, K extends boolean>(\n\tname: string,\n\toptions: StateOptions<S, K> & {\n\t\treadonly persist?: boolean;\n\t\treadonly checkpointWhen?: CheckpointWhen<DocumentOf<S>>;\n\t},\n): StateDefinition<DocumentOf<S>, K, boolean> {\n\tcheckName(name, \"A state name\");\n\tconst { schema, version, initial, migrate, keyed, persist, checkpointWhen } = options;\n\treturn new StateDefinition(\n\t\tname,\n\t\tschema,\n\t\tversion,\n\t\tinitial,\n\t\tmigrate,\n\t\tkeyed ?? false,\n\t\tpersist ?? false,\n\t\tcheckpointWhen,\n\t);\n}\n\n/** The value of a document whose schema is `S`: its static type, which must be a JSON object. */\ntype DocumentOf<S extends Schema> = Static<S> extends JsonObject ? Static<S> : never;\n\nconst NEVER: CheckpointWhen<JsonObject> = () => false;\n\n/** A declared document; `T` is its value, `K` whether it is keyed, `P` whether it is persisted. */\nexport class StateDefinition<T extends JsonObject, K extends boolean, P extends boolean = false> {\n\treadonly name: string;\n\treadonly schema: Schema;\n\treadonly version: number;\n\treadonly keyed: boolean;\n\treadonly persist: boolean;\n\t/**\n\t * `hash64` of the schema's normal form (descriptions and titles ignored), computed once: the same version with\n\t * another fingerprint is a schema changed without a version bump.\n\t */\n\treadonly fingerprint: string;\n\t/** Type only: whether the definition is keyed. */\n\tdeclare readonly \"~keyed\"?: K;\n\t/** Type only: whether the definition is persisted. */\n\tdeclare readonly \"~persist\"?: P;\n\treadonly #initial: () => T;\n\treadonly #migrate: ((old: JsonObject, from: number) => T) | undefined;\n\t/** Method-typed so that a definition of a narrower `T` still is a `StateDefinition<JsonObject, ...>`. */\n\treadonly #checkpointWhen: { rule(value: T, ops: readonly Op[], info: CheckpointInfo): boolean }[\"rule\"];\n\t#checked = false;\n\n\tconstructor(\n\t\tname: string,\n\t\tschema: Schema,\n\t\tversion: number,\n\t\tinitial: () => T,\n\t\tmigrate: ((old: JsonObject, from: number) => T) | undefined,\n\t\tkeyed: boolean,\n\t\tpersist: boolean,\n\t\tcheckpointWhen: CheckpointWhen<T> | undefined,\n\t) {\n\t\tthis.name = name;\n\t\tthis.schema = schema;\n\t\tthis.version = version;\n\t\tthis.#initial = initial;\n\t\tthis.#migrate = migrate;\n\t\tthis.keyed = keyed;\n\t\tthis.persist = persist;\n\t\tthis.#checkpointWhen = checkpointWhen ?? NEVER;\n\t\tthis.fingerprint = fingerprintOf(snapshotSchema(schema, name).normal);\n\t}\n\n\t/** Whether a persisted document's change is stored as a new base (its `checkpointWhen`); never asked in memory. */\n\tcheckpointWhen(value: T, ops: readonly Op[], info: CheckpointInfo): boolean {\n\t\treturn this.#checkpointWhen(value, ops, info);\n\t}\n\n\t/** A fresh `initial()` value; the first is checked against the schema (counted), later ones are not (R8). */\n\tinitial(context: Context): T {\n\t\tconst value = this.#initial();\n\t\tif (this.#checked) return value;\n\t\tthis.#check(value, \"initial()\", context);\n\t\tthis.#checked = true;\n\t\treturn value;\n\t}\n\n\t/**\n\t * `old`, a value of version `from`, migrated to this version and checked against the schema once, as it is\n\t * produced (R8, counted). Throws without a `migrate` (the access is refused, the data kept) and when the result does\n\t * not match.\n\t */\n\tmigrate(old: JsonObject, from: number, context: Context): T {\n\t\tif (this.#migrate === undefined) {\n\t\t\tthrow new Error(`${this.name}: no migrate from version ${from} to ${this.version}`);\n\t\t}\n\t\tconst value = this.#migrate(old, from);\n\t\tthis.#check(value, `migrate() from version ${from}`, context);\n\t\treturn value;\n\t}\n\n\t#check(value: T, what: string, context: Context): void {\n\t\tcontext.telemetry.metrics?.counter(\"chord.data.validations\").add(1);\n\t\tif (!validatorFor(this, context).check(value)) {\n\t\t\tthrow new Error(`${this.name}: ${what} does not match the schema`);\n\t\t}\n\t}\n}\n"]}

package/dist/next/documents/documents.d.ts

@@ -0,0 +1,106 @@
+import type { Context } from "../../context/index.ts";
+import { ChordError } from "../data/index.ts";
+import type { Batch } from "../state/internal.ts";
+import type { ChordStore } from "../store/store.ts";
+import type { CommitPersistence, JsonObject, StateDefinition } from "./definition.ts";
+import { SealToken } from "./fence.ts";
+import { type HandleOf, type KeyDeclarer } from "./handles.ts";
+import { Line } from "./line.ts";
+import { Residency } from "./residency.ts";
+import { type AnyDefinition } from "./slot.ts";
+import { Transaction } from "./transaction.ts";
+/** Who owns an object's documents: the object's name, batch and context, its store address, its live failure. */
+export type DocumentsOwner = {
+    /** The owner's name in errors. */
+    readonly label: string;
+    readonly batch: Batch;
+    /** The object's context: shared cold loads run under it (rule 11). */
+    readonly context: Context;
+    /** The host's store and the object's owner name in it (its type, R2), when it has one. */
+    readonly store: {
+        readonly store: ChordStore;
+        readonly owner: string;
+    } | undefined;
+    /** A document the code cannot read fails the live object `broken` (slice 6a §1.4); ignored when it is not live. */
+    fail(error: ChordError): void;
+};
+/**
+ * The documents of one object, from its first activation to its end: one slot per declared name, kept across
+ * attempts, and the line. Each attempt declares its handles under its own seal token; the object's own transactions
+ * (job outcomes) run under `own`, sealed only by the object's end.
+ */
+export declare class Documents {
+    #private;
+    /** The owner's name in errors. */
+    readonly label: string;
+    readonly batch: Batch;
+    /** The object's context. */
+    readonly context: Context;
+    readonly line: Line;
+    /**
+     * The idle persisted keyed documents and their eviction. A sweep's only rejection is `onLine`'s `released` once
+     * the object ended (a sweep itself drops trackers in memory and does not throw): nothing to report.
+     */
+    readonly residency: Residency;
+    /** The token of the object's own transactions: sealed with the object (`seal`). */
+    readonly own: SealToken;
+    constructor(owner: DocumentsOwner);
+    /**
+     * A handle to `definition`'s slot for an attempt sealed by `token`, whose `at(key)` pins `declarer` takes: the slot
+     * made by the first declaration of its name, checked against the values for later ones (`SlotDefinition.check`).
+     * "Declared twice" is the attempt's check.
+     */
+    declare<D extends StateDefinition<JsonObject, boolean, boolean>>(definition: D, token: SealToken, declarer: KeyDeclarer): HandleOf<D>;
+    /**
+     * Checks a declaration of `definition` as `declare` would, changing nothing (a reload's staging: a recording factory
+     * declares against the documents the object has).
+     */
+    check(definition: AnyDefinition): void;
+    /**
+     * Takes an attempt's declarations once its factory returned: its `at(key)` pins replace the previous factory's, the
+     * slots it no longer declares are dropped (their watches end; persisted ones load again when declared again), every
+     * declared one hydrated (`initial()`, migrations; a throw fails the activation).
+     */
+    hydrate(declared: ReadonlyMap<string, AnyDefinition>, pins: readonly (() => void)[], context: Context): void;
+    /**
+     * Loads, in one line job, every persisted singleton not loaded yet and every pinned key not loaded since it was
+     * pinned (an attempt's activation, before it goes live, rule 6); `undefined` when nothing is persisted. A failure
+     * fails the activation.
+     */
+    load(context: Context): Promise<void> | undefined;
+    /**
+     * Runs `job` on the line (a cold load, a page of keys, an eviction sweep); refused `released` once the object is
+     * ending or `token` (the handle's that asks, when the job is one handle's) is sealed, a job queued before either
+     * included (anything taking the line after the seal is refused, rule 4).
+     */
+    onLine<T>(job: () => Promise<T>, token?: SealToken): Promise<T>;
+    /**
+     * Runs `fn` as one transaction on the line under `token` and commits what it drafted (§9): a throw, an abort of
+     * `context`, the token's seal or the object's end discards everything. `persistence` defers storing a run state's
+     * change (D8).
+     */
+    tx<R>(fn: (tx: Transaction) => R | Promise<R>, token: SealToken, context: Context, persistence?: CommitPersistence): Promise<R>;
+    /**
+     * Seals `token` (the seal fence): its transactions are refused from now on, and the one holding the line is
+     * discarded and the line released.
+     */
+    fence(token: SealToken): void;
+    /** Throws `released` once the object ended. */
+    assertLive(): void;
+    /** Throws `released` once `token` is sealed or the object is ending: no new work takes the line. */
+    assertAdmitted(token: SealToken): void;
+    /** The live object fails `broken` with `error` (a document the code cannot read); ignored when it is not live. */
+    fail(error: ChordError): void;
+    /** The object is ending: every transaction is refused, the one holding the line discarded; documents stay readable. */
+    seal(): void;
+    /**
+     * Resolves once the line is free. After `seal` only an admitted step can hold it (every other holder was cut):
+     * the object's teardown waits here, so the step adopts into documents that still exist (slice 6a §1.3).
+     */
+    settled(): Promise<void>;
+    /** Drops every document and pin; watches end `ended`, and every later use throws `released`. */
+    end(): void;
+    /** The `released` error of this object's documents. */
+    released(): ChordError;
+}
+//# sourceMappingURL=documents.d.ts.map

package/dist/next/documents/documents.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"documents.d.ts","sourceRoot":"","sources":["../../../src/next/documents/documents.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,WAAW,EAAoB,MAAM,cAAc,CAAC;AAEjF,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,KAAK,aAAa,EAAiB,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,iHAAiH;AACjH,MAAM,MAAM,cAAc,GAAG;IAC5B,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IACnF,mHAAmH;IACnH,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,qBAAa,SAAS;;IACrB,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,4BAA4B;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,OAAc;IAC3B;;;OAGG;IACH,QAAQ,CAAC,SAAS,YAAmF;IAErG,mFAAmF;IACnF,QAAQ,CAAC,GAAG,YAAmB;IAS/B,YAAY,KAAK,EAAE,cAAc,EAKhC;IAED;;;;OAIG;IACH,OAAO,CAAC,CAAC,SAAS,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,EAC9D,UAAU,EAAE,CAAC,EACb,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,WAAW,GACnB,QAAQ,CAAC,CAAC,CAAC,CAWb;IAED;;;OAGG;IACH,KAAK,CAAC,UAAU,EAAE,aAAa,GAAG,IAAI,CAErC;IAED;;;;OAIG;IACH,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAY3G;IAED;;;;OAIG;IACH,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAOhD;IAED;;;;OAIG;IACG,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CASpE;IAED;;;;OAIG;IACG,EAAE,CAAC,CAAC,EACT,EAAE,EAAE,CAAC,EAAE,EAAE,WAAW,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EACvC,KAAK,EAAE,SAAS,EAChB,OAAO,EAAE,OAAO,EAChB,WAAW,CAAC,EAAE,iBAAiB,GAC7B,OAAO,CAAC,CAAC,CAAC,CAqBZ;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAG5B;IAED,+CAA+C;IAC/C,UAAU,IAAI,IAAI,CAEjB;IAED,oGAAoG;IACpG,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAErC;IAED,kHAAkH;IAClH,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAE5B;IAED,uHAAuH;IACvH,IAAI,IAAI,IAAI,CAKX;IAED;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAG7B;IAED,gGAAgG;IAChG,GAAG,IAAI,IAAI,CAMV;IAED,uDAAuD;IACvD,QAAQ,IAAI,UAAU,CAErB;CAmBD"}

package/dist/next/documents/documents.js

@@ -0,0 +1,224 @@
+// An object's documents (§9, P2, slice 6a §1.2, §10): its slots across attempts, its line (its transactions and line
+// jobs run one at a time), the seal fence over the transaction holding the line, the factory's pins between attempts,
+// the activation's loads and the residency of keyed documents.
+import { ChordError } from "../data/index.js";
+import { SealToken } from "./fence.js";
+import { Keyed, Singleton } from "./handles.js";
+import { KeyedSlot } from "./keyed-slot.js";
+import { Line } from "./line.js";
+import { Persistence } from "./persistence.js";
+import { Residency } from "./residency.js";
+import { SingletonSlot } from "./slot.js";
+import { Transaction } from "./transaction.js";
+/**
+ * The documents of one object, from its first activation to its end: one slot per declared name, kept across
+ * attempts, and the line. Each attempt declares its handles under its own seal token; the object's own transactions
+ * (job outcomes) run under `own`, sealed only by the object's end.
+ */
+export class Documents {
+    /** The owner's name in errors. */
+    label;
+    batch;
+    /** The object's context. */
+    context;
+    line = new Line();
+    /**
+     * The idle persisted keyed documents and their eviction. A sweep's only rejection is `onLine`'s `released` once
+     * the object ended (a sweep itself drops trackers in memory and does not throw): nothing to report.
+     */
+    residency = new Residency((sweep) => void this.onLine(async () => sweep()).catch(() => { }));
+    #owner;
+    /** The token of the object's own transactions: sealed with the object (`seal`). */
+    own = new SealToken();
+    #slots = new Map();
+    /** The transaction holding the line, until it settles or its token is sealed. */
+    #holder;
+    /** `sealed`: the object is ending; its documents stay readable, its transactions throw `released`. */
+    #state = "open";
+    /** The pins the last factory that returned declared (`at(key)`): held until the next one returns (rule 6). */
+    #pins = [];
+    constructor(owner) {
+        this.label = owner.label;
+        this.batch = owner.batch;
+        this.context = owner.context;
+        this.#owner = owner;
+    }
+    /**
+     * A handle to `definition`'s slot for an attempt sealed by `token`, whose `at(key)` pins `declarer` takes: the slot
+     * made by the first declaration of its name, checked against the values for later ones (`SlotDefinition.check`).
+     * "Declared twice" is the attempt's check.
+     */
+    declare(definition, token, declarer) {
+        const slot = this.#slots.get(definition.name);
+        if (slot !== undefined)
+            slot.definition.check(definition);
+        const persistence = slot === undefined && definition.persist ? this.#persistence(definition.name) : undefined;
+        // The definition's `keyed` decides the slot's class and the handle's; its documents are the definition's `T`.
+        if (definition.keyed) {
+            const keyed = slot ?? this.#add(new KeyedSlot(this, definition, persistence));
+            return new Keyed(keyed, token, definition.version, declarer);
+        }
+        const singleton = slot ?? this.#add(new SingletonSlot(this, definition, persistence));
+        return new Singleton(singleton, token, definition.version);
+    }
+    /**
+     * Checks a declaration of `definition` as `declare` would, changing nothing (a reload's staging: a recording factory
+     * declares against the documents the object has).
+     */
+    check(definition) {
+        this.#slots.get(definition.name)?.definition.check(definition);
+    }
+    /**
+     * Takes an attempt's declarations once its factory returned: its `at(key)` pins replace the previous factory's, the
+     * slots it no longer declares are dropped (their watches end; persisted ones load again when declared again), every
+     * declared one hydrated (`initial()`, migrations; a throw fails the activation).
+     */
+    hydrate(declared, pins, context) {
+        const previous = this.#pins;
+        this.#pins = pins;
+        for (const release of previous)
+            release();
+        // A dropped persisted slot goes whole, its loaded documents too: observably the same as keeping them, since
+        // every committed write is in the store and a later declaration reloads from there.
+        for (const [name, slot] of this.#slots) {
+            if (declared.has(name))
+                continue;
+            this.#slots.delete(name);
+            slot.drop();
+        }
+        for (const [name, definition] of declared)
+            this.#slots.get(name).hydrate(definition, context);
+    }
+    /**
+     * Loads, in one line job, every persisted singleton not loaded yet and every pinned key not loaded since it was
+     * pinned (an attempt's activation, before it goes live, rule 6); `undefined` when nothing is persisted. A failure
+     * fails the activation.
+     */
+    load(context) {
+        const persisted = [...this.#slots.values()].filter((slot) => slot.persisted !== undefined);
+        // In memory only: nothing to wait for (an activation without persisted documents takes no extra turn).
+        if (persisted.length === 0)
+            return undefined;
+        return this.onLine(async () => {
+            for (const slot of persisted)
+                await slot.loadDeclared(context);
+        });
+    }
+    /**
+     * Runs `job` on the line (a cold load, a page of keys, an eviction sweep); refused `released` once the object is
+     * ending or `token` (the handle's that asks, when the job is one handle's) is sealed, a job queued before either
+     * included (anything taking the line after the seal is refused, rule 4).
+     */
+    async onLine(job, token) {
+        if (this.#state !== "open" || token?.sealed)
+            throw this.released();
+        const release = await this.line.acquire();
+        try {
+            if (this.#state !== "open" || token?.sealed)
+                throw this.released();
+            return await job();
+        }
+        finally {
+            release();
+        }
+    }
+    /**
+     * Runs `fn` as one transaction on the line under `token` and commits what it drafted (§9): a throw, an abort of
+     * `context`, the token's seal or the object's end discards everything. `persistence` defers storing a run state's
+     * change (D8).
+     */
+    async tx(fn, token, context, persistence) {
+        this.batch.assertOutside("tx");
+        this.assertAdmitted(token);
+        const release = await this.line.acquire();
+        const tx = new Transaction(this, token, release, context, persistence);
+        try {
+            this.assertAdmitted(token);
+            this.#holder = tx;
+            const result = await fn(tx);
+            // In-memory-only commits are synchronous (W12): no await unless the store's step is taken.
+            const step = tx.commit();
+            if (step !== undefined)
+                await step;
+            return result;
+        }
+        catch (error) {
+            tx.discard();
+            throw error;
+        }
+        finally {
+            if (this.#holder === tx)
+                this.#holder = undefined;
+            release();
+            tx.settle();
+        }
+    }
+    /**
+     * Seals `token` (the seal fence): its transactions are refused from now on, and the one holding the line is
+     * discarded and the line released.
+     */
+    fence(token) {
+        token.seal();
+        if (this.#holder?.token === token)
+            this.#cut();
+    }
+    /** Throws `released` once the object ended. */
+    assertLive() {
+        if (this.#state === "ended")
+            throw this.released();
+    }
+    /** Throws `released` once `token` is sealed or the object is ending: no new work takes the line. */
+    assertAdmitted(token) {
+        if (token.sealed || this.#state !== "open")
+            throw this.released();
+    }
+    /** The live object fails `broken` with `error` (a document the code cannot read); ignored when it is not live. */
+    fail(error) {
+        this.#owner.fail(error);
+    }
+    /** The object is ending: every transaction is refused, the one holding the line discarded; documents stay readable. */
+    seal() {
+        if (this.#state !== "open")
+            return;
+        this.#state = "sealed";
+        this.own.seal();
+        this.#cut();
+    }
+    /**
+     * Resolves once the line is free. After `seal` only an admitted step can hold it (every other holder was cut):
+     * the object's teardown waits here, so the step adopts into documents that still exist (slice 6a §1.3).
+     */
+    async settled() {
+        const release = await this.line.acquire();
+        release();
+    }
+    /** Drops every document and pin; watches end `ended`, and every later use throws `released`. */
+    end() {
+        this.#state = "ended";
+        this.residency.end();
+        for (const slot of this.#slots.values())
+            slot.drop();
+        this.#slots.clear();
+        this.#pins = [];
+    }
+    /** The `released` error of this object's documents. */
+    released() {
+        return new ChordError({ code: "released", reason: "ended", message: `${this.label}: ended` });
+    }
+    /** Discards the transaction holding the line and releases the line. */
+    #cut() {
+        const holder = this.#holder;
+        this.#holder = undefined;
+        holder?.cut();
+    }
+    #add(slot) {
+        this.#slots.set(slot.definition.current.name, slot);
+        return slot;
+    }
+    /** The store side of persisted documents named `name`; the attempt checked the store first (P3). */
+    #persistence(name) {
+        const { store, owner } = this.#owner.store;
+        return new Persistence(store, owner, "chord", name);
+    }
+}
+//# sourceMappingURL=documents.js.map

package/dist/next/documents/documents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documents.js","sourceRoot":"","sources":["../../../src/next/documents/documents.ts"],"names":[],"mappings":"AAAA,qHAAqH;AACrH,sHAAsH;AACtH,+DAA+D;AAG/D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAmC,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAsB,aAAa,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAe/C;;;;GAIG;AACH,MAAM,OAAO,SAAS;IACrB,kCAAkC;IACzB,KAAK,CAAS;IACd,KAAK,CAAQ;IACtB,4BAA4B;IACnB,OAAO,CAAU;IACjB,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;IAC3B;;;OAGG;IACM,SAAS,GAAG,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,CAAiB;IAChC,mFAAmF;IAC1E,GAAG,GAAG,IAAI,SAAS,EAAE,CAAC;IACtB,MAAM,GAAG,IAAI,GAAG,EAAqC,CAAC;IAC/D,iFAAiF;IACjF,OAAO,CAA0B;IACjC,sGAAsG;IACtG,MAAM,GAAgC,MAAM,CAAC;IAC7C,8GAA8G;IAC9G,KAAK,GAA4B,EAAE,CAAC;IAEpC,YAAY,KAAqB;QAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACH,OAAO,CACN,UAAa,EACb,KAAgB,EAChB,QAAqB;QAErB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9G,8GAA8G;QAC9G,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;YAC9E,OAAO,IAAI,KAAK,CAAC,KAAkB,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,QAAQ,CAA2B,CAAC;QACrG,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;QACtF,OAAO,IAAI,SAAS,CAAC,SAA0B,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAA2B,CAAC;IACvG,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,UAAyB;QAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,QAA4C,EAAE,IAA6B,EAAE,OAAgB;QACpG,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,KAAK,MAAM,OAAO,IAAI,QAAQ;YAAE,OAAO,EAAE,CAAC;QAC1C,4GAA4G;QAC5G,oFAAoF;QACpF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,CAAC,IAAI,EAAE,CAAC;QACb,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,QAAQ;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChG,CAAC;IAED;;;;OAIG;IACH,IAAI,CAAC,OAAgB;QACpB,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAC3F,uGAAuG;QACvG,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC7C,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE;YAC7B,KAAK,MAAM,IAAI,IAAI,SAAS;gBAAE,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,MAAM,CAAI,GAAqB,EAAE,KAAiB;QACvD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,EAAE,MAAM;YAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1C,IAAI,CAAC;YACJ,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,EAAE,MAAM;gBAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnE,OAAO,MAAM,GAAG,EAAE,CAAC;QACpB,CAAC;gBAAS,CAAC;YACV,OAAO,EAAE,CAAC;QACX,CAAC;IACF,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,EAAE,CACP,EAAuC,EACvC,KAAgB,EAChB,OAAgB,EAChB,WAA+B;QAE/B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,CAAC;YACJ,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5B,2FAA2F;YAC3F,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,CAAC;YACnC,OAAO,MAAM,CAAC;QACf,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,EAAE,CAAC,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,CAAC;QACb,CAAC;gBAAS,CAAC;YACV,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE;gBAAE,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;YAClD,OAAO,EAAE,CAAC;YACV,EAAE,CAAC,MAAM,EAAE,CAAC;QACb,CAAC;IACF,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAgB;QACrB,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,KAAK;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAChD,CAAC;IAED,+CAA+C;IAC/C,UAAU;QACT,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO;YAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;IACpD,CAAC;IAED,oGAAoG;IACpG,cAAc,CAAC,KAAgB;QAC9B,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;IACnE,CAAC;IAED,kHAAkH;IAClH,IAAI,CAAC,KAAiB;QACrB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IAED,uHAAuH;IACvH,IAAI;QACH,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO;QACnC,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAChB,IAAI,CAAC,IAAI,EAAE,CAAC;IACb,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO;QACZ,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1C,OAAO,EAAE,CAAC;IACX,CAAC;IAED,gGAAgG;IAChG,GAAG;QACF,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;IACjB,CAAC;IAED,uDAAuD;IACvD,QAAQ;QACP,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC;IAC/F,CAAC;IAED,uEAAuE;IACvE,IAAI;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QACzB,MAAM,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED,IAAI,CAAsC,IAAO;QAChD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,oGAAoG;IACpG,YAAY,CAAC,IAAY;QACxB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAM,CAAC;QAC5C,OAAO,IAAI,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;CACD","sourcesContent":["// An object's documents (§9, P2, slice 6a §1.2, §10): its slots across attempts, its line (its transactions and line\n// jobs run one at a time), the seal fence over the transaction holding the line, the factory's pins between attempts,\n// the activation's loads and the residency of keyed documents.\n\nimport type { Context } from \"../../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport type { Batch } from \"../state/internal.ts\";\nimport type { ChordStore } from \"../store/store.ts\";\nimport type { CommitPersistence, JsonObject, StateDefinition } from \"./definition.ts\";\nimport { SealToken } from \"./fence.ts\";\nimport { type HandleOf, type KeyDeclarer, Keyed, Singleton } from \"./handles.ts\";\nimport { KeyedSlot } from \"./keyed-slot.ts\";\nimport { Line } from \"./line.ts\";\nimport { Persistence } from \"./persistence.ts\";\nimport { Residency } from \"./residency.ts\";\nimport { type AnyDefinition, SingletonSlot } from \"./slot.ts\";\nimport { Transaction } from \"./transaction.ts\";\n\n/** Who owns an object's documents: the object's name, batch and context, its store address, its live failure. */\nexport type DocumentsOwner = {\n\t/** The owner's name in errors. */\n\treadonly label: string;\n\treadonly batch: Batch;\n\t/** The object's context: shared cold loads run under it (rule 11). */\n\treadonly context: Context;\n\t/** The host's store and the object's owner name in it (its type, R2), when it has one. */\n\treadonly store: { readonly store: ChordStore; readonly owner: string } | undefined;\n\t/** A document the code cannot read fails the live object `broken` (slice 6a §1.4); ignored when it is not live. */\n\tfail(error: ChordError): void;\n};\n\n/**\n * The documents of one object, from its first activation to its end: one slot per declared name, kept across\n * attempts, and the line. Each attempt declares its handles under its own seal token; the object's own transactions\n * (job outcomes) run under `own`, sealed only by the object's end.\n */\nexport class Documents {\n\t/** The owner's name in errors. */\n\treadonly label: string;\n\treadonly batch: Batch;\n\t/** The object's context. */\n\treadonly context: Context;\n\treadonly line = new Line();\n\t/**\n\t * The idle persisted keyed documents and their eviction. A sweep's only rejection is `onLine`'s `released` once\n\t * the object ended (a sweep itself drops trackers in memory and does not throw): nothing to report.\n\t */\n\treadonly residency = new Residency((sweep) => void this.onLine(async () => sweep()).catch(() => {}));\n\treadonly #owner: DocumentsOwner;\n\t/** The token of the object's own transactions: sealed with the object (`seal`). */\n\treadonly own = new SealToken();\n\treadonly #slots = new Map<string, SingletonSlot | KeyedSlot>();\n\t/** The transaction holding the line, until it settles or its token is sealed. */\n\t#holder: Transaction | undefined;\n\t/** `sealed`: the object is ending; its documents stay readable, its transactions throw `released`. */\n\t#state: \"open\" | \"sealed\" | \"ended\" = \"open\";\n\t/** The pins the last factory that returned declared (`at(key)`): held until the next one returns (rule 6). */\n\t#pins: readonly (() => void)[] = [];\n\n\tconstructor(owner: DocumentsOwner) {\n\t\tthis.label = owner.label;\n\t\tthis.batch = owner.batch;\n\t\tthis.context = owner.context;\n\t\tthis.#owner = owner;\n\t}\n\n\t/**\n\t * A handle to `definition`'s slot for an attempt sealed by `token`, whose `at(key)` pins `declarer` takes: the slot\n\t * made by the first declaration of its name, checked against the values for later ones (`SlotDefinition.check`).\n\t * \"Declared twice\" is the attempt's check.\n\t */\n\tdeclare<D extends StateDefinition<JsonObject, boolean, boolean>>(\n\t\tdefinition: D,\n\t\ttoken: SealToken,\n\t\tdeclarer: KeyDeclarer,\n\t): HandleOf<D> {\n\t\tconst slot = this.#slots.get(definition.name);\n\t\tif (slot !== undefined) slot.definition.check(definition);\n\t\tconst persistence = slot === undefined && definition.persist ? this.#persistence(definition.name) : undefined;\n\t\t// The definition's `keyed` decides the slot's class and the handle's; its documents are the definition's `T`.\n\t\tif (definition.keyed) {\n\t\t\tconst keyed = slot ?? this.#add(new KeyedSlot(this, definition, persistence));\n\t\t\treturn new Keyed(keyed as KeyedSlot, token, definition.version, declarer) as unknown as HandleOf<D>;\n\t\t}\n\t\tconst singleton = slot ?? this.#add(new SingletonSlot(this, definition, persistence));\n\t\treturn new Singleton(singleton as SingletonSlot, token, definition.version) as unknown as HandleOf<D>;\n\t}\n\n\t/**\n\t * Checks a declaration of `definition` as `declare` would, changing nothing (a reload's staging: a recording factory\n\t * declares against the documents the object has).\n\t */\n\tcheck(definition: AnyDefinition): void {\n\t\tthis.#slots.get(definition.name)?.definition.check(definition);\n\t}\n\n\t/**\n\t * Takes an attempt's declarations once its factory returned: its `at(key)` pins replace the previous factory's, the\n\t * slots it no longer declares are dropped (their watches end; persisted ones load again when declared again), every\n\t * declared one hydrated (`initial()`, migrations; a throw fails the activation).\n\t */\n\thydrate(declared: ReadonlyMap<string, AnyDefinition>, pins: readonly (() => void)[], context: Context): void {\n\t\tconst previous = this.#pins;\n\t\tthis.#pins = pins;\n\t\tfor (const release of previous) release();\n\t\t// A dropped persisted slot goes whole, its loaded documents too: observably the same as keeping them, since\n\t\t// every committed write is in the store and a later declaration reloads from there.\n\t\tfor (const [name, slot] of this.#slots) {\n\t\t\tif (declared.has(name)) continue;\n\t\t\tthis.#slots.delete(name);\n\t\t\tslot.drop();\n\t\t}\n\t\tfor (const [name, definition] of declared) this.#slots.get(name)!.hydrate(definition, context);\n\t}\n\n\t/**\n\t * Loads, in one line job, every persisted singleton not loaded yet and every pinned key not loaded since it was\n\t * pinned (an attempt's activation, before it goes live, rule 6); `undefined` when nothing is persisted. A failure\n\t * fails the activation.\n\t */\n\tload(context: Context): Promise<void> | undefined {\n\t\tconst persisted = [...this.#slots.values()].filter((slot) => slot.persisted !== undefined);\n\t\t// In memory only: nothing to wait for (an activation without persisted documents takes no extra turn).\n\t\tif (persisted.length === 0) return undefined;\n\t\treturn this.onLine(async () => {\n\t\t\tfor (const slot of persisted) await slot.loadDeclared(context);\n\t\t});\n\t}\n\n\t/**\n\t * Runs `job` on the line (a cold load, a page of keys, an eviction sweep); refused `released` once the object is\n\t * ending or `token` (the handle's that asks, when the job is one handle's) is sealed, a job queued before either\n\t * included (anything taking the line after the seal is refused, rule 4).\n\t */\n\tasync onLine<T>(job: () => Promise<T>, token?: SealToken): Promise<T> {\n\t\tif (this.#state !== \"open\" || token?.sealed) throw this.released();\n\t\tconst release = await this.line.acquire();\n\t\ttry {\n\t\t\tif (this.#state !== \"open\" || token?.sealed) throw this.released();\n\t\t\treturn await job();\n\t\t} finally {\n\t\t\trelease();\n\t\t}\n\t}\n\n\t/**\n\t * Runs `fn` as one transaction on the line under `token` and commits what it drafted (§9): a throw, an abort of\n\t * `context`, the token's seal or the object's end discards everything. `persistence` defers storing a run state's\n\t * change (D8).\n\t */\n\tasync tx<R>(\n\t\tfn: (tx: Transaction) => R | Promise<R>,\n\t\ttoken: SealToken,\n\t\tcontext: Context,\n\t\tpersistence?: CommitPersistence,\n\t): Promise<R> {\n\t\tthis.batch.assertOutside(\"tx\");\n\t\tthis.assertAdmitted(token);\n\t\tconst release = await this.line.acquire();\n\t\tconst tx = new Transaction(this, token, release, context, persistence);\n\t\ttry {\n\t\t\tthis.assertAdmitted(token);\n\t\t\tthis.#holder = tx;\n\t\t\tconst result = await fn(tx);\n\t\t\t// In-memory-only commits are synchronous (W12): no await unless the store's step is taken.\n\t\t\tconst step = tx.commit();\n\t\t\tif (step !== undefined) await step;\n\t\t\treturn result;\n\t\t} catch (error) {\n\t\t\ttx.discard();\n\t\t\tthrow error;\n\t\t} finally {\n\t\t\tif (this.#holder === tx) this.#holder = undefined;\n\t\t\trelease();\n\t\t\ttx.settle();\n\t\t}\n\t}\n\n\t/**\n\t * Seals `token` (the seal fence): its transactions are refused from now on, and the one holding the line is\n\t * discarded and the line released.\n\t */\n\tfence(token: SealToken): void {\n\t\ttoken.seal();\n\t\tif (this.#holder?.token === token) this.#cut();\n\t}\n\n\t/** Throws `released` once the object ended. */\n\tassertLive(): void {\n\t\tif (this.#state === \"ended\") throw this.released();\n\t}\n\n\t/** Throws `released` once `token` is sealed or the object is ending: no new work takes the line. */\n\tassertAdmitted(token: SealToken): void {\n\t\tif (token.sealed || this.#state !== \"open\") throw this.released();\n\t}\n\n\t/** The live object fails `broken` with `error` (a document the code cannot read); ignored when it is not live. */\n\tfail(error: ChordError): void {\n\t\tthis.#owner.fail(error);\n\t}\n\n\t/** The object is ending: every transaction is refused, the one holding the line discarded; documents stay readable. */\n\tseal(): void {\n\t\tif (this.#state !== \"open\") return;\n\t\tthis.#state = \"sealed\";\n\t\tthis.own.seal();\n\t\tthis.#cut();\n\t}\n\n\t/**\n\t * Resolves once the line is free. After `seal` only an admitted step can hold it (every other holder was cut):\n\t * the object's teardown waits here, so the step adopts into documents that still exist (slice 6a §1.3).\n\t */\n\tasync settled(): Promise<void> {\n\t\tconst release = await this.line.acquire();\n\t\trelease();\n\t}\n\n\t/** Drops every document and pin; watches end `ended`, and every later use throws `released`. */\n\tend(): void {\n\t\tthis.#state = \"ended\";\n\t\tthis.residency.end();\n\t\tfor (const slot of this.#slots.values()) slot.drop();\n\t\tthis.#slots.clear();\n\t\tthis.#pins = [];\n\t}\n\n\t/** The `released` error of this object's documents. */\n\treleased(): ChordError {\n\t\treturn new ChordError({ code: \"released\", reason: \"ended\", message: `${this.label}: ended` });\n\t}\n\n\t/** Discards the transaction holding the line and releases the line. */\n\t#cut(): void {\n\t\tconst holder = this.#holder;\n\t\tthis.#holder = undefined;\n\t\tholder?.cut();\n\t}\n\n\t#add<S extends SingletonSlot | KeyedSlot>(slot: S): S {\n\t\tthis.#slots.set(slot.definition.current.name, slot);\n\t\treturn slot;\n\t}\n\n\t/** The store side of persisted documents named `name`; the attempt checked the store first (P3). */\n\t#persistence(name: string): Persistence {\n\t\tconst { store, owner } = this.#owner.store!;\n\t\treturn new Persistence(store, owner, \"chord\", name);\n\t}\n}\n"]}

package/dist/next/documents/fence.d.ts

@@ -0,0 +1,9 @@
+/** One seal token; sealed once, never unsealed. */
+export declare class SealToken {
+    #private;
+    /** Whether work under this token is refused. */
+    get sealed(): boolean;
+    /** Seals the token; `Documents.fence` also discards the transaction it holds open. */
+    seal(): void;
+}
+//# sourceMappingURL=fence.d.ts.map

package/dist/next/documents/fence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fence.d.ts","sourceRoot":"","sources":["../../../src/next/documents/fence.ts"],"names":[],"mappings":"AAGA,mDAAmD;AACnD,qBAAa,SAAS;;IAGrB,gDAAgD;IAChD,IAAI,MAAM,IAAI,OAAO,CAEpB;IAED,sFAAsF;IACtF,IAAI,IAAI,IAAI,CAEX;CACD"}

package/dist/next/documents/fence.js

@@ -0,0 +1,15 @@
+// The seal fence (slice 6a §1.3): the token an attempt, a job run's invocation or the object itself hands its
+// transactions. Once sealed, new transactions under it are refused `released` and the open one is discarded.
+/** One seal token; sealed once, never unsealed. */
+export class SealToken {
+    #sealed = false;
+    /** Whether work under this token is refused. */
+    get sealed() {
+        return this.#sealed;
+    }
+    /** Seals the token; `Documents.fence` also discards the transaction it holds open. */
+    seal() {
+        this.#sealed = true;
+    }
+}
+//# sourceMappingURL=fence.js.map

package/dist/next/documents/fence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fence.js","sourceRoot":"","sources":["../../../src/next/documents/fence.ts"],"names":[],"mappings":"AAAA,8GAA8G;AAC9G,6GAA6G;AAE7G,mDAAmD;AACnD,MAAM,OAAO,SAAS;IACrB,OAAO,GAAG,KAAK,CAAC;IAEhB,gDAAgD;IAChD,IAAI,MAAM;QACT,OAAO,IAAI,CAAC,OAAO,CAAC;IACrB,CAAC;IAED,sFAAsF;IACtF,IAAI;QACH,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACrB,CAAC;CACD","sourcesContent":["// The seal fence (slice 6a §1.3): the token an attempt, a job run's invocation or the object itself hands its\n// transactions. Once sealed, new transactions under it are refused `released` and the open one is discarded.\n\n/** One seal token; sealed once, never unsealed. */\nexport class SealToken {\n\t#sealed = false;\n\n\t/** Whether work under this token is refused. */\n\tget sealed(): boolean {\n\t\treturn this.#sealed;\n\t}\n\n\t/** Seals the token; `Documents.fence` also discards the transaction it holds open. */\n\tseal(): void {\n\t\tthis.#sealed = true;\n\t}\n}\n"]}

package/dist/next/documents/handles.d.ts

@@ -0,0 +1,76 @@
+import type { Context } from "../../context/index.ts";
+import type { Draft } from "../../delta/index.ts";
+import type { Watch, Watchable, WatchHandle } from "../../watch.ts";
+import type { JsonObject, StateDefinition } from "./definition.ts";
+import type { SealToken } from "./fence.ts";
+import type { KeyedSlot, KeySource } from "./keyed-slot.ts";
+import type { SingletonSlot } from "./slot.ts";
+/** A singleton document: a watchable that always has a value (`initial()` until written, and after a retire). */
+export interface SingletonHandle<T extends JsonObject> extends Watchable<T> {
+    /** One transaction that drafts this document and passes the draft to `fn`. */
+    change<R>(fn: (draft: Draft<T>) => R, context: Context): Promise<R>;
+    /** One transaction that retires this document: back to `initial()`. */
+    retire(context: Context): Promise<void>;
+}
+/**
+ * Keyed documents: many per object, by string key. Not a watchable itself: each key is, through `watch(key)` and
+ * `at(key)`; a live collection is a singleton holding it.
+ */
+export interface KeyedHandle<T extends JsonObject> {
+    /** The document's value, `undefined` when absent (persisted and not in memory: loaded on the object's line). */
+    get(key: string, context: Context): Promise<T | undefined>;
+    /** The keys of the present documents, in code point order. */
+    keys(context: Context): AsyncIterable<string>;
+    /**
+     * A watch of the document at `key`, `undefined` when absent. It follows the address: a retirement is one frame with
+     * `retired: true` and `initial()`, a later creation a root replacement; it ends with the object.
+     */
+    watch(key: string, context: Context): Promise<WatchHandle<T> | undefined>;
+    /**
+     * In the factory only: the document at `key` as a watchable (a state member, a derive source, an `on` source),
+     * `initial()` while absent, loaded before the object goes live and pinned while this attempt lives.
+     */
+    at(key: string): Watchable<T>;
+    /** One transaction that drafts the document at `key` and passes the draft to `fn`. */
+    change<R>(key: string, fn: (draft: Draft<T>) => R, context: Context): Promise<R>;
+    /** One transaction that retires the document at `key` (a no-op when absent). */
+    retire(key: string, context: Context): Promise<void>;
+}
+/** The handle `self.state(definition)` returns. */
+export type HandleOf<D> = D extends StateDefinition<infer T, infer K, boolean> ? K extends true ? KeyedHandle<T> : SingletonHandle<T> : never;
+/**
+ * A singleton's handle. Reads go to the slot (allowed after the seal); `change` and `retire` take the line under the
+ * attempt's token. Exposed as a member or read by a derive, it resolves to the slot itself.
+ */
+export declare class Singleton implements SingletonHandle<JsonObject> {
+    readonly slot: SingletonSlot;
+    readonly token: SealToken;
+    /** The version of the definition it was declared with: the slot refuses it once its values are newer (R15). */
+    readonly version: number;
+    constructor(slot: SingletonSlot, token: SealToken, version: number);
+    get value(): JsonObject;
+    watch(context: Context): Promise<Watch<JsonObject>>;
+    change<R>(fn: (draft: Draft<JsonObject>) => R, context: Context): Promise<R>;
+    retire(context: Context): Promise<void>;
+}
+/** Who declares an attempt's `at(key)` pins: its factory, which alone may (the attempt). */
+export interface KeyDeclarer {
+    /** Pins `key` of `slot` for the attempt and returns its source; throws outside the factory. */
+    at(slot: KeyedSlot, key: string): KeySource;
+}
+/** A keyed handle: reads go to the slot; `change`, `retire` and cold reads take the line under the attempt's token. */
+export declare class Keyed implements KeyedHandle<JsonObject> {
+    #private;
+    readonly slot: KeyedSlot;
+    readonly token: SealToken;
+    /** As `Singleton.version`. */
+    readonly version: number;
+    constructor(slot: KeyedSlot, token: SealToken, version: number, declarer: KeyDeclarer);
+    get(key: string, context: Context): Promise<JsonObject | undefined>;
+    keys(context: Context): AsyncIterable<string>;
+    watch(key: string, context: Context): Promise<Watch<JsonObject> | undefined>;
+    at(key: string): Watchable<JsonObject>;
+    change<R>(key: string, fn: (draft: Draft<JsonObject>) => R, context: Context): Promise<R>;
+    retire(key: string, context: Context): Promise<void>;
+}
+//# sourceMappingURL=handles.d.ts.map

package/dist/next/documents/handles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handles.d.ts","sourceRoot":"","sources":["../../../src/next/documents/handles.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAE/C,iHAAiH;AACjH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,UAAU,CAAE,SAAQ,SAAS,CAAC,CAAC,CAAC;IAC1E,8EAA8E;IAC9E,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACpE,uEAAuE;IACvE,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,UAAU;IAChD,gHAAgH;IAChH,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAC3D,8DAA8D;IAC9D,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9C;;;OAGG;IACH,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAC1E;;;OAGG;IACH,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,sFAAsF;IACtF,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACjF,gFAAgF;IAChF,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACrD;AAED,mDAAmD;AACnD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,GAC3E,CAAC,SAAS,IAAI,GACb,WAAW,CAAC,CAAC,CAAC,GACd,eAAe,CAAC,CAAC,CAAC,GACnB,KAAK,CAAC;AAET;;;GAGG;AACH,qBAAa,SAAU,YAAW,eAAe,CAAC,UAAU,CAAC;IAC5D,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,+GAA+G;IAC/G,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB,YAAY,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAIjE;IAED,IAAI,KAAK,IAAI,UAAU,CAGtB;IAEK,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAIxD;IAED,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAE3E;IAED,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAEtC;CACD;AAED,4FAA4F;AAC5F,MAAM,WAAW,WAAW;IAC3B,+FAA+F;IAC/F,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5C;AAED,uHAAuH;AACvH,qBAAa,KAAM,YAAW,WAAW,CAAC,UAAU,CAAC;;IACpD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,8BAA8B;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAGzB,YAAY,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAKpF;IAED,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAElE;IAED,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAE5C;IAED,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,SAAS,CAAC,CAE3E;IAED,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,CAGrC;IAED,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAExF;IAED,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAEnD;CACD"}