@elaraai/e3-types 1.0.79 → 1.0.80

package/dist/src/record.js

@@ -10,12 +10,13 @@
  * a content-addressed commit object, so a record's history is a git-style chain
  * — the audit trail of who changed what, when, superseding which state.
  *
- * The record's current state is an ordinary `value` dataset ref (its `hash`
- * points at the plain state blob), so every existing read path — task inputs,
- * `e3 get`, the UI `Data.bind` read — works on records unchanged. Only the
- * write protocol differs.
+ * The record's current state is an ordinary `value` dataset ref. Its `hash`
+ * names the state or, once the record declares an index, a `$record` state
+ * naming it, and every read path resolves it, so task inputs, `e3 get` and the
+ * UI `Data.bind` read work on records unchanged. Only the write protocol
+ * differs.
  */
-import { StructType, StringType, OptionType, DateTimeType, ArrayType, DictType, EastTypeType } from '@elaraai/east';
+import { ArrayType, BooleanType, DateTimeType, DictType, EastTypeType, FunctionType, NullType, OptionType, PatchType, StringType, StructType, VariantType, decodeBeast2For, dictPatchOpsType, setPatchOpsType, toEastTypeValue, } from '@elaraai/east';
 import { RunnerType } from './runner.js';
 /**
  * A single commit in a record's history.
@@ -38,6 +39,61 @@ export const RecordCommitType = StructType({
     actor: StringType,
     /** Commit wall-clock time. */
     at: DateTimeType,
+    /** The mutation delta this commit applied: one sorted collection of the
+     *  primary and index changes, addressed by key. History then shows WHAT
+     *  changed without diffing two states, and an undo can be synthesised from
+     *  it. No state depends on it — every state past and present reads
+     *  identically if every delta were deleted — but it is a collection like any
+     *  other, a manifest naming segment objects, so a collector walks it as a
+     *  value rather than marking it as a leaf the way it marks `args`. */
+    delta: OptionType(StringType),
+});
+const decodeCurrentCommit = decodeBeast2For(RecordCommitType);
+/**
+ * Decode a `RecordCommit`.
+ *
+ * @remarks
+ * Stored state, so it changes by hard cutover: a repository an older e3 wrote
+ * is re-created rather than read, and this says so.
+ *
+ * @param data - the stored bytes
+ * @returns the commit
+ * @throws {Error} When the bytes are not a current commit — one an older e3
+ *   wrote, whose repository is re-created.
+ */
+export function decodeRecordCommit(data) {
+    try {
+        return decodeCurrentCommit(data);
+    }
+    catch (err) {
+        throw new Error(`the record commit does not decode: an older e3 wrote this repository — re-create it: deploy again and import its data again ` +
+            `(${err instanceof Error ? err.message : String(err)})`);
+    }
+}
+/**
+ * How a mutation says what it changed.
+ *
+ * - `reduce` — `(State, …Args) => State`, the original surface. Its body and
+ *   its diff see the whole state, so its RUNNER cost stays O(state); only its
+ *   write, on a Dict or Set record, is O(touched).
+ * - `edit` — `(State, …Args, Edit) => Null`, the lazy write: the body reads the
+ *   state it is given, lazily, and writes through an `edit` capability, so the
+ *   body reads only the entries it touches and the commit rewrites only the
+ *   segments they live in. The state reaches the runner as its manifest, the
+ *   segments linked, so nothing on the way reads it whole either.
+ * - `patch` — no body; the argument is `PatchType(State)`. What an interactive
+ *   edit from a view sends. On a record with no index a patch of per-key
+ *   changes runs nothing at all, the only write whose cost is independent of
+ *   the record's size.
+ *
+ * @remarks
+ * A variant, so a mutation object decodes only with one of these: a form this
+ * e3 does not know is refused where the object is read, not run as another.
+ */
+export const MutationFormType = VariantType({
+    edit: NullType,
+    patch: NullType,
+    reduce: NullType,
 });
 /**
  * A mutation: the write half of the function machinery (CQRS — `e3.function`
@@ -51,17 +107,359 @@ export const MutationObjectType = StructType({
     bodyIr: StringType,
     /** The EXTRA positional parameter types after the state parameter. */
     argTypes: ArrayType(EastTypeType),
-    /** Author-chosen runtime; resolved to argv by runnerToArgv. */
+    /** Author-chosen runtime the mutation's unit runs on. */
     runner: RunnerType,
+    /** Which write form this is — see {@link MutationFormType}. */
+    form: MutationFormType,
+    /** Hash of the generated program's IR bundle: the one thing that actually
+     *  runs, whatever the form. For the `patch` form `bodyIr` names it too,
+     *  there being no author body. */
+    programIr: StringType,
 });
+const decodeCurrentMutation = decodeBeast2For(MutationObjectType);
+/**
+ * Decode a `MutationObject`.
+ *
+ * @remarks
+ * A package-borne wire, so it changes by hard cutover: a package exported by
+ * an older SDK is re-exported with the current one, and this says so.
+ *
+ * @param data - the stored bytes
+ * @returns the mutation object
+ * @throws {Error} When the bytes are not a current mutation object — a package
+ *   exported by an older SDK, which is re-exported with the current one.
+ */
+export function decodeMutationObject(data) {
+    try {
+        return decodeCurrentMutation(data);
+    }
+    catch (err) {
+        throw new Error(`the mutation object does not decode: the package was exported by an older e3 SDK — re-export it with the current one ` +
+            `(${err instanceof Error ? err.message : String(err)})`);
+    }
+}
+/**
+ * A secondary index over a record: an East function of an entry, and the
+ * collection it builds.
+ *
+ * An index is a second canonical collection whose sort order IS the query
+ * order, stored as a segment manifest exactly like the primary and maintained
+ * inside the same commit — so a view by an attribute of the row, or by a
+ * related entity a row names many of, is a page rather than a scan.
+ *
+ * The functions are pure for the reason a reducer is: they run again on every
+ * commit and in every bulk build, and a maintained index must equal a rebuilt
+ * one to the byte.
+ */
+export const RecordIndexObjectType = StructType({
+    /** Hash of the encoded EastIR bundle: `(K, V) -> IK`, or `-> Set<IK>` when
+     *  {@link multi}. */
+    keyIr: StringType,
+    /** Declared with `keys` (a Set return) rather than `key`: one entry per
+     *  element, so a row that names five resources appears under five keys. */
+    multi: BooleanType,
+    /** Hash of the covering projection's IR bundle, `(K, V) -> P`; none when the
+     *  index carries no value and `P` is Null. */
+    valueIr: OptionType(StringType),
+    /** `IK` — the index key an entry sorts under. */
+    keyType: EastTypeType,
+    /** `P` — the covering projection's type; Null when there is none. */
+    valueType: EastTypeType,
+    /** Hash of the generated build program's IR bundle: `(piece, emit) =>
+     *  Null`, which emits the index entries of a piece of the primary, in any
+     *  order. */
+    buildIr: StringType,
+    /** Author-chosen runtime the index's functions run on. */
+    runner: RunnerType,
+});
+/**
+ * How a migration says what it changes.
+ *
+ * - `value` — `(Old) => New`, the whole state: one unit, whose runner opens the
+ *   state lazily, so it costs what the body reads.
+ * - `rows` — a Dict's rows, `(K, V1) => V2` with the keys unchanged, or an
+ *   Array's elements, `(T1) => T2` in order: a task split over the state, a
+ *   piece at a time.
+ * - `rekey` — a Dict's entries, `(K1, V1) => { key: K2, value: V2 }`, or a
+ *   Set's elements, `(T1) => T2`: the same split task, whose pieces' outputs
+ *   merge by key. Two rows landing on one key fail, naming it; two elements
+ *   landing on one are one element.
+ *
+ * @remarks
+ * A variant, so a migration object decodes only with one of these: a deploy
+ * never runs a step of a form it does not know as another.
+ */
+export const MigrationFormType = VariantType({
+    rekey: NullType,
+    rows: NullType,
+    value: NullType,
+});
+/**
+ * A migration: one step of a record's declared chain, which a deploy runs over
+ * a workspace's state that has not applied it.
+ *
+ * @remarks
+ * A step changes the record's type, or keeps the type and changes its values.
+ * The chain is the record object's `migrations`, in order, and a workspace's
+ * record ref names the steps it has applied by name, never by this object's
+ * hash: the hash covers the step's IR, which carries source locations and
+ * changes with the SDK that exported it, so an unchanged step would read as
+ * edited.
+ */
+export const MigrationObjectType = StructType({
+    /** Which form this is — see {@link MigrationFormType}. */
+    form: MigrationFormType,
+    /** The record's type before the step. */
+    from: EastTypeType,
+    /** The record's type after it. */
+    to: EastTypeType,
+    /** Hash of the author's function's IR bundle, which a `value` step runs. */
+    bodyIr: StringType,
+    /** Hash of the generated program's IR bundle, `(piece, emit) => Null`,
+     *  which a `rows` or `rekey` step runs over each piece of the state; empty
+     *  for a `value` step. */
+    programIr: StringType,
+    /** Author-chosen runtime the step runs on. */
+    runner: RunnerType,
+});
+const decodeCurrentMigration = decodeBeast2For(MigrationObjectType);
+/**
+ * Decode a `MigrationObject`.
+ *
+ * @remarks
+ * A package-borne wire, so it changes by hard cutover: a package exported by
+ * an older SDK is re-exported with the current one, and this says so.
+ *
+ * @param data - the stored bytes
+ * @returns the migration object
+ * @throws {Error} When the bytes are not a current migration object — a
+ *   package exported by an older SDK, which is re-exported with the current
+ *   one.
+ */
+export function decodeMigrationObject(data) {
+    try {
+        return decodeCurrentMigration(data);
+    }
+    catch (err) {
+        throw new Error(`the migration object does not decode: the package was exported by an older e3 SDK — re-export it with the current one ` +
+            `(${err instanceof Error ? err.message : String(err)})`);
+    }
+}
 /**
  * Record object stored in the object store, referenced by name from
- * `PackageObject.records`. Carries the record's dataset path and its mutations.
+ * `PackageObject.records`. Carries the record's dataset path, its mutations,
+ * its secondary indexes and its migration chain.
  */
 export const RecordObjectType = StructType({
     /** refPath of the record's dataset, e.g. `records/orders`. */
     path: StringType,
     /** Mutations by name -> MutationObject hash. */
     mutations: DictType(StringType, StringType),
+    /** Secondary indexes by name -> RecordIndexObject hash. */
+    indexes: DictType(StringType, StringType),
+    /** The declared migration chain, in order: each step's name, an identifier
+     *  unique on the record, and its MigrationObject hash. Empty when the
+     *  record declares none. */
+    migrations: ArrayType(StructType({ name: StringType, migration: StringType })),
+});
+const decodeCurrentRecord = decodeBeast2For(RecordObjectType);
+/**
+ * Decode a `RecordObject`.
+ *
+ * @remarks
+ * A package-borne wire, so it changes by hard cutover: a package exported by
+ * an older SDK is re-exported with the current one, and this says so.
+ *
+ * @param data - the stored bytes
+ * @returns the record object
+ * @throws {Error} When the bytes are not a current record object — a package
+ *   exported by an older SDK, which is re-exported with the current one.
+ */
+export function decodeRecordObject(data) {
+    try {
+        return decodeCurrentRecord(data);
+    }
+    catch (err) {
+        throw new Error(`the record object does not decode: the package was exported by an older e3 SDK — re-export it with the current one ` +
+            `(${err instanceof Error ? err.message : String(err)})`);
+    }
+}
+/** The `kind` tag a record's state object carries once the record has an
+ *  index: what tells a reader that the ref names a table of manifests rather
+ *  than one of them. */
+export const RECORD_STATE_KIND = '$record';
+/**
+ * A record's state when it has secondary indexes: one small object naming the
+ * primary's manifest and every index's.
+ *
+ * @remarks
+ * One state object, one commit, one conditional ref write — so the primary and
+ * every index are consistent at every commit, history carries them, reading at
+ * an older commit resolves them, compaction keeps them by copying one hash,
+ * and the collector walks them. A record with no index keeps the plain
+ * manifest, so this is additive: the door that resolves a record's state
+ * accepts either.
+ */
+export const RecordStateType = StructType({
+    /** Always {@link RECORD_STATE_KIND}. */
+    kind: StringType,
+    /** CollectionManifest hash of the primary. */
+    primary: StringType,
+    /** Index name -> the manifest it is held in and the index object it was
+     *  built under. Deploy compares the second against the package's to decide
+     *  whether an index is built, dropped or kept. */
+    indexes: DictType(StringType, StructType({
+        /** CollectionManifest hash of the index collection. */
+        manifest: StringType,
+        /** RecordIndexObject hash the index was built under. */
+        index: StringType,
+    })),
 });
+/** The record state's field names, in wire order — read from the type itself
+ *  so the recognizer and the type cannot drift. */
+const RECORD_STATE_FIELDS = toEastTypeValue(RecordStateType).value.map((f) => f.name);
+/**
+ * Whether a decoded object is a record's `$record` state.
+ *
+ * @remarks
+ * Matched on the exact field set plus the tag, as every object recognizer is:
+ * a record's own state is an arbitrary user struct flowing through the same
+ * dispatch, and misreading one as a state table would probe its fields as
+ * object hashes.
+ *
+ * @param typeValue - the object's decoded root type
+ * @param value - the decoded value, when the tag is to be checked too
+ * @returns whether the object is a record state
+ */
+export function isRecordStateType(typeValue, value) {
+    if (typeValue.type !== 'Struct')
+        return false;
+    const fields = typeValue.value;
+    if (fields.length !== RECORD_STATE_FIELDS.length
+        || !fields.every((f, i) => f.name === RECORD_STATE_FIELDS[i]))
+        return false;
+    return value === undefined || value?.kind === RECORD_STATE_KIND;
+}
+/**
+ * The collection an index is held in: `Dict<{ik, k}, P>`.
+ *
+ * @remarks
+ * `ik` first, so every entry with one index key is a contiguous run — ordered
+ * by primary key inside it — and a RANGE of index keys is one contiguous run
+ * too. `k` makes the entry unique and gives the run its inner order.
+ *
+ * @param keyType - the record's primary key type, `K`
+ * @param indexKeyType - the index key the function computes, `IK`
+ * @param valueType - the covering projection's type, `P`
+ * @returns the index collection's East type
+ */
+export function indexCollectionType(keyType, indexKeyType, valueType) {
+    return DictType(StructType({ ik: indexKeyType, k: keyType }), valueType);
+}
+/**
+ * The op type of one target's changes: what one touched key carries.
+ *
+ * @remarks
+ * Exactly the op type of that target's own `PatchType`, which is what makes
+ * applying a delta's run for one target literally
+ * `applyFor(targetType)(segment, variant('patch', ops))` — `ConflictError` and
+ * all — rather than a second apply implementation that could disagree with the
+ * first.
+ *
+ * @param collectionType - the target's collection type (a Dict or a Set)
+ * @returns the op variant for one key of it
+ * @throws {Error} When the type is not a Dict or a Set — the kinds whose
+ *   patches are sparse and addressed by key.
+ */
+export function patchOpsType(collectionType) {
+    const collection = collectionType;
+    if (collection.type === 'Dict')
+        return dictPatchOpsType(collection.value);
+    if (collection.type === 'Set')
+        return setPatchOpsType(collection.key);
+    throw new Error(`a mutation delta addresses Dict and Set targets by key; this one holds ${collection.type}`);
+}
+/**
+ * The case of a mutation delta that says the write went stale: its key says
+ * what went stale, in words, and its op is Null.
+ *
+ * @remarks
+ * A write reaches the record two ways — the program emits a delta and the
+ * engine applies it, or the engine applies the client's patch directly — and
+ * both meet the same situation: an op that disagrees with the state it lands
+ * on. The apply reports it as a conflict, which a caller retries. A program
+ * that meets it — a patch whose `before` the record no longer holds, an
+ * update of a row that no longer matches, a delete of a key the record does
+ * not hold — emits one of these rather than failing, which a caller would not
+ * retry. The name sorts before every target's, since index names are
+ * identifiers, so a stale delta says so in its first entry.
+ */
+export const DELTA_CONFLICT = '$conflict';
+/**
+ * The type of a mutation delta: every target's changes in ONE sorted
+ * collection.
+ *
+ * @remarks
+ * One variant case per target — `primary` plus one per declared index, which
+ * is why `primary` is a reserved index name — and {@link DELTA_CONFLICT}, which
+ * sorts first. Canonical order puts every target's ops in one contiguous run,
+ * in that target's own key order, so the apply takes the delta one target at
+ * a time, a segment at a time, and a delta is a pageable collection like any
+ * other.
+ *
+ * Derived on demand and never stored as a type: a delta blob is
+ * self-describing, and deriving it means it cannot drift from the record's
+ * declarations.
+ *
+ * @param targets - the primary and each index, in canonical case order
+ * @returns `Dict<DeltaKey, DeltaOp>`
+ */
+export function mutationDeltaType(targets) {
+    const keys = { [DELTA_CONFLICT]: StringType };
+    const ops = { [DELTA_CONFLICT]: NullType };
+    for (const target of targets) {
+        keys[target.name] = target.keyType;
+        ops[target.name] = patchOpsType(target.collectionType);
+    }
+    return DictType(VariantType(keys), VariantType(ops));
+}
+export function editTypeOf(recordType) {
+    const dict = recordType;
+    if (dict.type !== 'Dict') {
+        throw new Error(`an edit mutation writes a Dict record; this one holds ${dict.type}`);
+    }
+    return StructType({
+        set: FunctionType([dict.key, dict.value], NullType),
+        delete: FunctionType([dict.key], NullType),
+        update: FunctionType([dict.key, PatchType(dict.value)], NullType),
+    });
+}
+/**
+ * One window of an index read: an ORDERED array, never a dict.
+ *
+ * @remarks
+ * A Dict value re-sorts by its own key, which would throw away the index order
+ * the page was asked for — so the wire type of an index window is positional,
+ * in index order, carrying every key the client may need. Whatever renders an
+ * index-ordered view consumes this shape; it is a contract the data layer sets
+ * and the UI meets, not the reverse.
+ *
+ * @param keyType - the record's primary key type, `K`
+ * @param indexKeyType - the index key, `IK`
+ * @param valueType - the covering projection's type, `P`
+ * @param rowType - the record's row type, `V`
+ * @returns the window's East type
+ */
+export function indexWindowType(keyType, indexKeyType, valueType, rowType) {
+    return ArrayType(StructType({
+        /** The index key. */
+        ik: indexKeyType,
+        /** The primary key, so a client can address the row it came from. */
+        key: keyType,
+        /** The covering projection; Null when the index carries none. */
+        value: valueType,
+        /** The primary row — `some(...)` when the read asked for a join. */
+        row: OptionType(rowType),
+    }));
+}
 //# sourceMappingURL=record.js.map

package/dist/src/record.js.map

@@ -1 +1 @@
-{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/record.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAe,MAAM,eAAe,CAAC;AACjI,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACzC,yDAAyD;IACzD,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;IAC9B,6EAA6E;IAC7E,KAAK,EAAE,UAAU;IACjB,4EAA4E;IAC5E,QAAQ,EAAE,UAAU;IACpB,iFAAiF;IACjF,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IAC5B,2EAA2E;IAC3E,KAAK,EAAE,UAAU;IACjB,8BAA8B;IAC9B,EAAE,EAAE,YAAY;CACjB,CAAC,CAAC;AAIH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC;IAC3C,kFAAkF;IAClF,MAAM,EAAE,UAAU;IAClB,sEAAsE;IACtE,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC;IACjC,+DAA+D;IAC/D,MAAM,EAAE,UAAU;CACnB,CAAC,CAAC;AAIH;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACzC,8DAA8D;IAC9D,IAAI,EAAE,UAAU;IAChB,gDAAgD;IAChD,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CAC5C,CAAC,CAAC"}
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../src/record.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EACpF,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAC1D,eAAe,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,GAEpE,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACzC,yDAAyD;IACzD,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;IAC9B,6EAA6E;IAC7E,KAAK,EAAE,UAAU;IACjB,4EAA4E;IAC5E,QAAQ,EAAE,UAAU;IACpB,iFAAiF;IACjF,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IAC5B,2EAA2E;IAC3E,KAAK,EAAE,UAAU;IACjB,8BAA8B;IAC9B,EAAE,EAAE,YAAY;IAChB;;;;;;0EAMsE;IACtE,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;CAC9B,CAAC,CAAC;AAIH,MAAM,mBAAmB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AAE9D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,8HAA8H;YAC9H,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;IAC1C,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;CACjB,CAAC,CAAC;AAMH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC;IAC3C,kFAAkF;IAClF,MAAM,EAAE,UAAU;IAClB,sEAAsE;IACtE,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC;IACjC,yDAAyD;IACzD,MAAM,EAAE,UAAU;IAClB,+DAA+D;IAC/D,IAAI,EAAE,gBAAgB;IACtB;;sCAEkC;IAClC,SAAS,EAAE,UAAU;CACtB,CAAC,CAAC;AAIH,MAAM,qBAAqB,GAAG,eAAe,CAAC,kBAAkB,CAAC,CAAC;AAElE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAgB;IACnD,IAAI,CAAC;QACH,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,uHAAuH;YACvH,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC9C;yBACqB;IACrB,KAAK,EAAE,UAAU;IACjB;+EAC2E;IAC3E,KAAK,EAAE,WAAW;IAClB;kDAC8C;IAC9C,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC;IAC/B,iDAAiD;IACjD,OAAO,EAAE,YAAY;IACrB,qEAAqE;IACrE,SAAS,EAAE,YAAY;IACvB;;iBAEa;IACb,OAAO,EAAE,UAAU;IACnB,0DAA0D;IAC1D,MAAM,EAAE,UAAU;CACnB,CAAC,CAAC;AAIH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC;IAC3C,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;CAChB,CAAC,CAAC;AAMH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC5C,0DAA0D;IAC1D,IAAI,EAAE,iBAAiB;IACvB,yCAAyC;IACzC,IAAI,EAAE,YAAY;IAClB,kCAAkC;IAClC,EAAE,EAAE,YAAY;IAChB,4EAA4E;IAC5E,MAAM,EAAE,UAAU;IAClB;;8BAE0B;IAC1B,SAAS,EAAE,UAAU;IACrB,8CAA8C;IAC9C,MAAM,EAAE,UAAU;CACnB,CAAC,CAAC;AAIH,MAAM,sBAAsB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAEpE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAgB;IACpD,IAAI,CAAC;QACH,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,wHAAwH;YACxH,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACzC,8DAA8D;IAC9D,IAAI,EAAE,UAAU;IAChB,gDAAgD;IAChD,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAC3C,2DAA2D;IAC3D,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IACzC;;gCAE4B;IAC5B,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;CAC/E,CAAC,CAAC;AAIH,MAAM,mBAAmB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AAE9D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,qHAAqH;YACrH,IAAI,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;wBAEwB;AACxB,MAAM,CAAC,MAAM,iBAAiB,GAAG,SAAS,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACxC,wCAAwC;IACxC,IAAI,EAAE,UAAU;IAChB,8CAA8C;IAC9C,OAAO,EAAE,UAAU;IACnB;;sDAEkD;IAClD,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;QACvC,uDAAuD;QACvD,QAAQ,EAAE,UAAU;QACpB,wDAAwD;QACxD,KAAK,EAAE,UAAU;KAClB,CAAC,CAAC;CACJ,CAAC,CAAC;AAIH;mDACmD;AACnD,MAAM,mBAAmB,GACtB,eAAe,CAAC,eAAe,CAAC,CAAC,KAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAEpF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAwB,EAAE,KAAe;IACzE,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,KAA2B,CAAC;IACrD,IAAI,MAAM,CAAC,MAAM,KAAK,mBAAmB,CAAC,MAAM;WAC3C,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,OAAO,KAAK,KAAK,SAAS,IAAK,KAA4B,EAAE,IAAI,KAAK,iBAAiB,CAAC;AAC1F,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAiB,EAAE,YAAsB,EAAE,SAAmB;IAChG,OAAO,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,YAAY,CAAC,cAAwB;IACnD,MAAM,UAAU,GAAG,cAA6E,CAAC;IACjG,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC1E,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACtE,MAAM,IAAI,KAAK,CACb,0EAA0E,UAAU,CAAC,IAAI,EAAE,CAC5F,CAAC;AACJ,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;AAE1C;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAA+B;IAC/D,MAAM,IAAI,GAA6B,EAAE,CAAC,cAAc,CAAC,EAAE,UAAU,EAAE,CAAC;IACxE,MAAM,GAAG,GAA6B,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC;IACrE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;QACnC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;AACvD,CAAC;AA+BD,MAAM,UAAU,UAAU,CAAC,UAAoB;IAC7C,MAAM,IAAI,GAAG,UAAyE,CAAC;IACvF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,yDAAyD,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,UAAU,CAAC;QAChB,GAAG,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;QACnD,MAAM,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;QAC1C,MAAM,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;KAClE,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAAC,OAAiB,EAAE,YAAsB,EAAE,SAAmB,EAAE,OAAiB;IAC/G,OAAO,SAAS,CAAC,UAAU,CAAC;QAC1B,qBAAqB;QACrB,EAAE,EAAE,YAAY;QAChB,qEAAqE;QACrE,GAAG,EAAE,OAAO;QACZ,iEAAiE;QACjE,KAAK,EAAE,SAAS;QAChB,oEAAoE;QACpE,GAAG,EAAE,UAAU,CAAC,OAAO,CAAC;KACzB,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/src/{stream.spec.d.ts → record.spec.d.ts}

@@ -3,4 +3,4 @@
  * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
  */
 export {};
-//# sourceMappingURL=stream.spec.d.ts.map
+//# sourceMappingURL=record.spec.d.ts.map

package/dist/src/record.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.spec.d.ts","sourceRoot":"","sources":["../../src/record.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/src/record.spec.js

@@ -0,0 +1,143 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The record wire types' decoders: each reads the current shape, and refuses
+ * an older one naming the fix — a commit an older e3 wrote, whose repository
+ * is re-created, and a mutation, migration or record object an older SDK
+ * exported, whose package is re-exported.
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { DateTimeType, DictType, IntegerType, OptionType, StringType, StructType, ArrayType, EastTypeType, encodeBeast2For, isTypeValueEqual, some, toEastTypeValue, variant } from '@elaraai/east';
+import { RunnerType } from './runner.js';
+import { MigrationObjectType, MutationObjectType, RecordCommitType, RecordObjectType, decodeMigrationObject, decodeMutationObject, decodeRecordCommit, decodeRecordObject, } from './record.js';
+describe('decodeRecordCommit', () => {
+    const commit = {
+        parent: some('a'.repeat(64)),
+        state: 'b'.repeat(64),
+        mutation: 'increment',
+        args: some('c'.repeat(64)),
+        actor: 'cli:test',
+        at: new Date(0),
+        delta: some('d'.repeat(64)),
+    };
+    it('round-trips a current commit', () => {
+        assert.deepEqual(decodeRecordCommit(encodeBeast2For(RecordCommitType)(commit)), commit);
+    });
+    it('refuses a commit an older e3 wrote before deltas existed, naming the fix', () => {
+        const PreDeltaCommitType = StructType({
+            parent: OptionType(StringType), state: StringType, mutation: StringType,
+            args: OptionType(StringType), actor: StringType, at: DateTimeType,
+        });
+        const { delta: _delta, ...older } = commit;
+        assert.throws(() => decodeRecordCommit(encodeBeast2For(PreDeltaCommitType)(older)), /^Error: the record commit does not decode: an older e3 wrote this repository — re-create it: deploy again and import its data again \(/);
+    });
+    it('refuses bytes of no commit shape', () => {
+        assert.throws(() => decodeRecordCommit(encodeBeast2For(IntegerType)(7n)), /the record commit does not decode/);
+    });
+});
+describe('decodeMutationObject', () => {
+    const mutation = {
+        bodyIr: 'a'.repeat(64),
+        argTypes: [toEastTypeValue(IntegerType)],
+        runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+        form: variant('edit', null),
+        programIr: 'b'.repeat(64),
+    };
+    /** A decoded mutation with its arg types checked off separately: a decoded
+     *  type value carries no memoized identity, so only the East comparison
+     *  says whether two of them are the same type. */
+    function read(bytes) {
+        const decoded = decodeMutationObject(bytes);
+        assert.equal(decoded.argTypes.length, 1);
+        assert.ok(isTypeValueEqual(decoded.argTypes[0], toEastTypeValue(IntegerType)));
+        const { argTypes: _argTypes, ...rest } = decoded;
+        return rest;
+    }
+    it('round-trips a current mutation', () => {
+        const { argTypes: _argTypes, ...expected } = mutation;
+        assert.deepEqual(read(encodeBeast2For(MutationObjectType)(mutation)), expected);
+    });
+    it('refuses a mutation an older SDK exported before the delta, naming the fix', () => {
+        const PreDeltaMutationType = StructType({
+            bodyIr: StringType, argTypes: ArrayType(EastTypeType), runner: RunnerType,
+        });
+        const { form: _form, programIr: _programIr, argTypes: _argTypes, ...older } = mutation;
+        assert.throws(() => decodeMutationObject(encodeBeast2For(PreDeltaMutationType)({ ...older, argTypes: mutation.argTypes })), /^Error: the mutation object does not decode: the package was exported by an older e3 SDK — re-export it with the current one \(/);
+    });
+    it('refuses a mutation whose form is a String, as an older SDK wrote it, whatever the string', () => {
+        // A String form decoded as any string, and a form e3 does not know ran as
+        // whichever form its checks fell through to.
+        const StringFormMutationType = StructType({
+            bodyIr: StringType, argTypes: ArrayType(EastTypeType), runner: RunnerType, form: StringType, programIr: StringType,
+        });
+        for (const form of ['edit', 'bogus']) {
+            assert.throws(() => decodeMutationObject(encodeBeast2For(StringFormMutationType)({ ...mutation, form })), /^Error: the mutation object does not decode: the package was exported by an older e3 SDK — re-export it with the current one \(/, form);
+        }
+    });
+});
+describe('decodeMigrationObject', () => {
+    const RowV1Type = StructType({ name: StringType });
+    const RowV2Type = StructType({ name: StringType, shift: IntegerType });
+    const migration = {
+        form: variant('rows', null),
+        from: toEastTypeValue(DictType(StringType, RowV1Type)),
+        to: toEastTypeValue(DictType(StringType, RowV2Type)),
+        bodyIr: 'a'.repeat(64),
+        programIr: 'b'.repeat(64),
+        runner: variant('east_node', { platforms: ['@elaraai/east-node-std'] }),
+    };
+    it('round-trips a current migration, its types among it', () => {
+        const decoded = decodeMigrationObject(encodeBeast2For(MigrationObjectType)(migration));
+        // A decoded type value carries no memoized identity, so only the East
+        // comparison says whether two of them are the same type.
+        assert.ok(isTypeValueEqual(decoded.from, migration.from));
+        assert.ok(isTypeValueEqual(decoded.to, migration.to));
+        assert.ok(!isTypeValueEqual(decoded.from, decoded.to));
+        const { from: _from, to: _to, ...rest } = decoded;
+        const { from: _f, to: _t, ...expected } = migration;
+        assert.deepEqual(rest, expected);
+    });
+    it('refuses the bytes of another object, naming the re-export', () => {
+        const mutation = {
+            bodyIr: 'a'.repeat(64), argTypes: [], runner: migration.runner, form: variant('reduce', null), programIr: '',
+        };
+        assert.throws(() => decodeMigrationObject(encodeBeast2For(MutationObjectType)(mutation)), /^Error: the migration object does not decode: the package was exported by an older e3 SDK — re-export it with the current one \(/);
+    });
+    it('refuses a migration whose form is a String, as an older SDK wrote it, whatever the string', () => {
+        // A deploy ran a String form it did not know as a split step.
+        const StringFormMigrationType = StructType({
+            form: StringType, from: EastTypeType, to: EastTypeType, bodyIr: StringType, programIr: StringType, runner: RunnerType,
+        });
+        for (const form of ['rows', 'bogus']) {
+            assert.throws(() => decodeMigrationObject(encodeBeast2For(StringFormMigrationType)({ ...migration, form })), /^Error: the migration object does not decode: the package was exported by an older e3 SDK — re-export it with the current one \(/, form);
+        }
+    });
+});
+describe('decodeRecordObject', () => {
+    const record = {
+        path: 'records/orders',
+        mutations: new Map([['place', 'a'.repeat(64)]]),
+        indexes: new Map([['by_status', 'b'.repeat(64)]]),
+        migrations: [{ name: 'add_shift', migration: 'c'.repeat(64) }, { name: 'widen_row', migration: 'd'.repeat(64) }],
+    };
+    /** A decoded record object with its dicts as entry lists: a decoded Dict is
+     *  a SortedMap, which is the same mapping and not the same container. */
+    const read = (bytes) => {
+        const decoded = decodeRecordObject(bytes);
+        return { path: decoded.path, mutations: [...decoded.mutations], indexes: [...decoded.indexes], migrations: decoded.migrations };
+    };
+    it('round-trips a current record object, its migrations in their order', () => {
+        assert.deepEqual(read(encodeBeast2For(RecordObjectType)(record)), { path: record.path, mutations: [...record.mutations], indexes: [...record.indexes], migrations: record.migrations });
+    });
+    it('refuses a record object an older SDK exported before migrations, naming the fix', () => {
+        const IndexesEraRecordType = StructType({
+            path: StringType, mutations: DictType(StringType, StringType), indexes: DictType(StringType, StringType),
+        });
+        const { migrations: _migrations, ...older } = record;
+        assert.throws(() => decodeRecordObject(encodeBeast2For(IndexesEraRecordType)(older)), /^Error: the record object does not decode: the package was exported by an older e3 SDK — re-export it with the current one \(/);
+    });
+});
+//# sourceMappingURL=record.spec.js.map

package/dist/src/record.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record.spec.js","sourceRoot":"","sources":["../../src/record.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACpM,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EAChB,gBAAgB,EAChB,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,GAKnB,MAAM,aAAa,CAAC;AAErB,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,MAAM,GAAiB;QAC3B,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5B,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrB,QAAQ,EAAE,WAAW;QACrB,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1B,KAAK,EAAE,UAAU;QACjB,EAAE,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC;QACf,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;KAC5B,CAAC;IAEF,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,kBAAkB,GAAG,UAAU,CAAC;YACpC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;YACvE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY;SAClE,CAAC,CAAC;QACH,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC;QAC3C,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAC,KAAK,CAAC,CAAC,EACpE,wIAAwI,CACzI,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,mCAAmC,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,MAAM,QAAQ,GAAmB;QAC/B,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,QAAQ,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACvE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KAC1B,CAAC;IAEF;;sDAEkD;IAClD,SAAS,IAAI,CAAC,KAAiB;QAC7B,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;QACjD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC;QACtD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,oBAAoB,GAAG,UAAU,CAAC;YACtC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU;SAC1E,CAAC,CAAC;QACH,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,GAAG,QAAQ,CAAC;QACvF,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,oBAAoB,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAC5G,iIAAiI,CAClI,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;QAClG,0EAA0E;QAC1E,6CAA6C;QAC7C,MAAM,sBAAsB,GAAG,UAAU,CAAC;YACxC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU;SACnH,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,oBAAoB,CAAC,eAAe,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAC1F,iIAAiI,EACjI,IAAI,CACL,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACvE,MAAM,SAAS,GAAoB;QACjC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;QAC3B,IAAI,EAAE,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACtD,EAAE,EAAE,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACpD,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC;KACxE,CAAC;IAEF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,OAAO,GAAG,qBAAqB,CAAC,eAAe,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACvF,sEAAsE;QACtE,yDAAyD;QACzD,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;QAClD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,CAAC;QACpD,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAmB;YAC/B,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE;SAC7G,CAAC;QACF,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,qBAAqB,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC1E,kIAAkI,CACnI,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,8DAA8D;QAC9D,MAAM,uBAAuB,GAAG,UAAU,CAAC;YACzC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU;SACtH,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,qBAAqB,CAAC,eAAe,CAAC,uBAAuB,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAC7F,kIAAkI,EAClI,IAAI,CACL,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,MAAM,GAAiB;QAC3B,IAAI,EAAE,gBAAgB;QACtB,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;KACjH,CAAC;IAEF;6EACyE;IACzE,MAAM,IAAI,GAAG,CAAC,KAAiB,EAAE,EAAE;QACjC,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;IAClI,CAAC,CAAC;IAEF,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,EAC9D,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,oBAAoB,GAAG,UAAU,CAAC;YACtC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;SACzG,CAAC,CAAC;QACH,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC;QACrD,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,EACtE,+HAA+H,CAChI,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}