@elaraai/e3-ui 1.0.84 → 1.0.85

package/dist/src/query/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../../../src/query/queries.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EACH,SAAS,EACT,iBAAiB,EACjB,QAAQ,EAER,YAAY,EACZ,QAAQ,EACR,UAAU,EAEV,UAAU,EACV,UAAU,EACV,WAAW,EAKX,KAAK,QAAQ,EAEhB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAsB,gBAAgB,EAAkB,MAAM,YAAY,CAAC;AAMlF,8DAA8D;AAC9D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAA8B,CAAC;AAEjE,0DAA0D;AAC1D,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAEjE;;;;;;;;;GASG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM5B,CAAC;AAEH,wDAAwD;AACxD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,UAAU,CAAC;IAC5C,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,UAAU,CAAC;QAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,OAAO,UAAU,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,CAAC,CAAA;KAAE,CAAC,CAAC;CACnH,CAAC,CAAC,CAAC;AAgBJ;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BrB,CAAC;AAMF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;EAI7B,CAAC;AAEH,wEAAwE;AACxE,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;GAKG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuBrB,CAAC"}

package/dist/src/query/queries.js

@@ -0,0 +1,129 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The saved queries (#935) — the record handle the builder and the query
+ * library read and write through, the patch a save commits, and whether a
+ * saved query's data sources are bound where it would open.
+ *
+ * A save is one patch through the record's patch mutation, computed in East as
+ * the diff of the entries it writes, before and after. A patch carries what it
+ * changes as it was, so a save drafted on a stale entry fails the record's
+ * check, and nothing is overwritten.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, AsyncFunctionType, DictType, East, FunctionType, NullType, OptionType, PatchType, StringType, StructType, VariantType, dictPatchOpsType, none, some, variant, } from "@elaraai/east";
+import { RecordCommitInfoType } from "@elaraai/e3-types";
+import { RecordOutcomeType } from "../bind/record.js";
+import { QueryRootEntryType, SavedQueriesType, SavedQueryType } from "./types.js";
+// ============================================================================
+// The record, bound
+// ============================================================================
+/** The saved queries record's patch — what every write is. */
+export const SavedQueriesPatchType = PatchType(SavedQueriesType);
+/**
+ * The saved queries record, bound with its patch — what the builder and the
+ * query library read and write through: the bound record's `read`, its
+ * `history`, and its patch write awaited. Their factories take these from
+ * `Record.bind(queries, [queriesPatch])`, as Studio's take the pages record.
+ *
+ * @property read - The record's current state
+ * @property history - Its commit chain, newest first — who changed a query last, for a conflict's words
+ * @property commit - Its patch write, awaited: a request id and the patch, answered by the outcome
+ */
+export const QueriesHandleType = StructType({
+    read: FunctionType([], SavedQueriesType),
+    history: FunctionType([], OptionType(ArrayType(RecordCommitInfoType))),
+    commit: StructType({
+        patch: AsyncFunctionType([StringType, SavedQueriesPatchType], RecordOutcomeType),
+    }),
+});
+// ============================================================================
+// A save
+// ============================================================================
+/**
+ * One saved query's operation in a patch of the record by name — the type
+ * `dictPatchOpsType` gives, which the patch system applies, typed.
+ */
+const SavedQueryOpType = dictPatchOpsType(SavedQueryType);
+/**
+ * Saves a query: the patch of the entries it writes, by name.
+ *
+ * @remarks
+ * - A query never saved (`open` is `none`) inserts its entry, so a name
+ *   another write took first is a conflict.
+ * - A save under the open query's own name updates its entry, by the diff of
+ *   the entry as it was and as it is saved.
+ * - A save of the open query under a new name renames it: the patch removes
+ *   the open entry and inserts the new one, in the same patch.
+ *
+ * `saved` is the record as the edit began. The patch carries the open entry
+ * as `saved` holds it, so a save drafted on an entry another write changed or
+ * removed since is a conflict naming it, and nothing is overwritten — every
+ * save writes `saved_at`, so any save of the entry since is one. The patch is
+ * always by name, never a replacement of the whole record.
+ */
+export const saveQuery = East.function([SavedQueriesType, OptionType(StringType), SavedQueryType], SavedQueriesPatchType, ($, saved, open, next) => {
+    const ops = $.let(new Map(), DictType(StringType, SavedQueryOpType));
+    // The open entry as the edit began: updated under its own name, or
+    // removed when the save renames it.
+    $.match(open, {
+        some: ($2, key) => {
+            $2.match(saved.tryGet(key), {
+                some: ($3, entry) => {
+                    $3.if(key.equal(next.name), ($4) => {
+                        $4(ops.insert(key, variant("update", East.diff(entry, next))));
+                    }).else(($4) => {
+                        $4(ops.insert(key, variant("delete", entry)));
+                    });
+                },
+            });
+        },
+    });
+    // The entry under its name, unless it is the open one's, updated above.
+    $.if(ops.has(next.name).not(), ($2) => {
+        $2(ops.insert(next.name, variant("insert", next)));
+    });
+    return variant("patch", ops);
+});
+// ============================================================================
+// Where a saved query opens
+// ============================================================================
+/**
+ * Whether a saved query's data sources are bound where it would open.
+ *
+ * @property bound - Each data source it reads is bound here, by the same name and at the same path
+ * @property elsewhere - One it reads is bound here under its name, but at another path: the saved entry, `{ name, path }`
+ * @property missing - No data source here has the name of one it reads: the name
+ */
+export const QueryRootBoundType = VariantType({
+    bound: NullType,
+    elsewhere: QueryRootEntryType,
+    missing: StringType,
+});
+/**
+ * Whether a saved query opens where these data sources are bound: each entry
+ * of its root must be one of them, by the same name and at the same path, so
+ * it never reads another page's dataset of the same name. When one is not,
+ * the first that is not, and why.
+ */
+export const rootBound = East.function([SavedQueryType, ArrayType(QueryRootEntryType)], QueryRootBoundType, ($, saved, bound) => {
+    const result = $.let(variant("bound", null), QueryRootBoundType);
+    $.for(saved.root, ($2, entry) => {
+        $2.if(result.hasTag("bound"), ($3) => {
+            const here = $3.let(bound.firstMap((_$4, b) => b.name.equal(entry.name).ifElse(() => East.value(some(b), OptionType(QueryRootEntryType)), () => East.value(none, OptionType(QueryRootEntryType)))));
+            $3.match(here, {
+                none: ($4) => { $4.assign(result, variant("missing", entry.name)); },
+                some: ($4, b) => {
+                    $4.if(East.notEqual(b.path, entry.path), ($5) => {
+                        $5.assign(result, variant("elsewhere", entry));
+                    });
+                },
+            });
+        });
+    });
+    return result;
+});
+//# sourceMappingURL=queries.js.map

package/dist/src/query/queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.js","sourceRoot":"","sources":["../../../src/query/queries.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;AAEH,OAAO,EACH,SAAS,EACT,iBAAiB,EACjB,QAAQ,EACR,IAAI,EACJ,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,SAAS,EACT,UAAU,EACV,UAAU,EACV,WAAW,EACX,gBAAgB,EAChB,IAAI,EACJ,IAAI,EACJ,OAAO,GAGV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAElF,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,qBAAqB,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAAC;AAKjE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,gBAAgB,CAAC;IACxC,OAAO,EAAE,YAAY,CAAC,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACtE,MAAM,EAAE,UAAU,CAAC;QACf,KAAK,EAAE,iBAAiB,CAAC,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE,iBAAiB,CAAC;KACnF,CAAC;CACL,CAAC,CAAC;AAgBH,+EAA+E;AAC/E,SAAS;AACT,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,cAAc,CAItD,CAAC;AAEH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAClC,CAAC,gBAAgB,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,EAC1D,qBAAqB,EACrB,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;IACrB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACrE,mEAAmE;IACnE,oCAAoC;IACpC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;QACV,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE;YACd,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;gBACxB,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;oBAChB,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;wBAC/B,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;wBACX,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;oBAClD,CAAC,CAAC,CAAC;gBACP,CAAC;aACJ,CAAC,CAAC;QACP,CAAC;KACJ,CAAC,CAAC;IACH,wEAAwE;IACxE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE;QAClC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC,CACJ,CAAC;AAEF,+EAA+E;AAC/E,4BAA4B;AAC5B,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,WAAW,CAAC;IAC1C,KAAK,EAAE,QAAQ;IACf,SAAS,EAAE,kBAAkB;IAC7B,OAAO,EAAE,UAAU;CACtB,CAAC,CAAC;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAClC,CAAC,cAAc,EAAE,SAAS,CAAC,kBAAkB,CAAC,CAAC,EAC/C,kBAAkB,EAClB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IAChB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACjE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;QAC5B,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;YACjC,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAC1E,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,kBAAkB,CAAC,CAAC,EACzD,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,kBAAkB,CAAC,CAAC,CACzD,CAAC,CAAC,CAAC;YACJ,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE;gBACX,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBACZ,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;wBAC5C,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;oBACnD,CAAC,CAAC,CAAC;gBACP,CAAC;aACJ,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAClB,CAAC,CACJ,CAAC"}

package/dist/src/query/saved.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Query.value` (#1138) — the value of the saved queries record a solution
+ * ships: each query it writes inline, checked against the data sources it may
+ * read when the package is built.
+ *
+ * @packageDocumentation
+ */
+import { type ValueTypeOf } from "@elaraai/east";
+import type { DatasetDef, TaskDef } from "@elaraai/e3";
+import type { SavedQueriesType } from "./types.js";
+/**
+ * A query a solution saves, as it writes one.
+ *
+ * @property name - Its name, which is its key in the record
+ * @property jq - Its program, as jq text
+ * @property description - One sentence, at most 140 characters; omitted, the sentence generated from its steps shows instead
+ * @property savedAt - When it was saved
+ */
+export interface SavedQueryInput {
+    /** Its name, which is its key in the record. */
+    readonly name: string;
+    /** Its program, as jq text. */
+    readonly jq: string;
+    /** One sentence, at most 140 characters; omitted, the sentence generated from its steps shows instead. */
+    readonly description?: string;
+    /** When it was saved. */
+    readonly savedAt: Date;
+}
+/**
+ * The saved queries record's value — every query a solution ships in it, by
+ * name — what it declares the record with.
+ *
+ * @remarks
+ * - **The data sources** are named as a query reads them (`orders` for
+ *   `.orders`), each a dataset or a task — the dataset or task `Data.bind`
+ *   takes, whose path and type it reads. A query opens where each data source
+ *   it reads is bound by the same name, at the same path.
+ * - **Each query is checked** against the whole root, a struct of the data
+ *   sources in the order given, as the builder checks a query it saves: one
+ *   that does not check fails the build, with the checker's words. Its root
+ *   is the data sources it reads, in that order.
+ * - **A saved query keeps its program** as written, and no types: they are
+ *   what checking it against its data sources gives.
+ *
+ * @param sources - The data sources the queries may read: each name, as a query reads it, to its dataset or task
+ * @param queries - The queries, each its name, its jq, its description and when it was saved ({@link SavedQueryInput})
+ * @returns The saved queries, by name: a value of the record's type, `Query.Types.Saved`
+ * @throws {Error} When a data source's name is not a jq identifier; when a
+ *   query does not check, naming it and saying why; when two queries have one
+ *   name; and when a description holds more than 140 characters
+ *
+ * @example
+ * ```ts
+ * import { ArrayType, FloatType, IntegerType, StructType, variant } from "@elaraai/east";
+ * import { Query } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * const orders = e3.input("orders", ArrayType(StructType({ id: IntegerType, total: FloatType })), variant("value", []));
+ *
+ * // The record ships with one query, checked against `orders` when the package builds.
+ * export const queries = e3.record("queries", Query.Types.Saved, Query.value({ orders }, [
+ *     { name: "Big orders", jq: ".orders | map(select(.total >= 1000))", savedAt: new Date("2026-10-01T09:00:00Z") },
+ * ]));
+ * export const queriesPatch = e3.mutation.patch(queries);
+ * ```
+ */
+export declare function savedQueriesValue(sources: Readonly<Record<string, DatasetDef | TaskDef>>, queries: readonly SavedQueryInput[]): ValueTypeOf<typeof SavedQueriesType>;
+//# sourceMappingURL=saved.d.ts.map

package/dist/src/query/saved.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"saved.d.ts","sourceRoot":"","sources":["../../../src/query/saved.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAqF,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AACpI,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEvD,OAAO,KAAK,EAAE,gBAAgB,EAAkB,MAAM,YAAY,CAAC;AAKnE;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC5B,gDAAgD;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,0GAA0G;IAC1G,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,yBAAyB;IACzB,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,iBAAiB,CAC7B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,CAAC,EACvD,OAAO,EAAE,SAAS,eAAe,EAAE,GACpC,WAAW,CAAC,OAAO,gBAAgB,CAAC,CA6BtC"}

package/dist/src/query/saved.js

@@ -0,0 +1,84 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Query.value` (#1138) — the value of the saved queries record a solution
+ * ships: each query it writes inline, checked against the data sources it may
+ * read when the package is built.
+ *
+ * @packageDocumentation
+ */
+import { SortedMap, StringType, StructType, checkJq, compareFor, none, some } from "@elaraai/east";
+import { assertRootField } from "../bind/sources.js";
+/** The most characters a saved query's description holds, as the builder's Save… popover takes it. */
+const DESCRIPTION_MAX = 140;
+/**
+ * The saved queries record's value — every query a solution ships in it, by
+ * name — what it declares the record with.
+ *
+ * @remarks
+ * - **The data sources** are named as a query reads them (`orders` for
+ *   `.orders`), each a dataset or a task — the dataset or task `Data.bind`
+ *   takes, whose path and type it reads. A query opens where each data source
+ *   it reads is bound by the same name, at the same path.
+ * - **Each query is checked** against the whole root, a struct of the data
+ *   sources in the order given, as the builder checks a query it saves: one
+ *   that does not check fails the build, with the checker's words. Its root
+ *   is the data sources it reads, in that order.
+ * - **A saved query keeps its program** as written, and no types: they are
+ *   what checking it against its data sources gives.
+ *
+ * @param sources - The data sources the queries may read: each name, as a query reads it, to its dataset or task
+ * @param queries - The queries, each its name, its jq, its description and when it was saved ({@link SavedQueryInput})
+ * @returns The saved queries, by name: a value of the record's type, `Query.Types.Saved`
+ * @throws {Error} When a data source's name is not a jq identifier; when a
+ *   query does not check, naming it and saying why; when two queries have one
+ *   name; and when a description holds more than 140 characters
+ *
+ * @example
+ * ```ts
+ * import { ArrayType, FloatType, IntegerType, StructType, variant } from "@elaraai/east";
+ * import { Query } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * const orders = e3.input("orders", ArrayType(StructType({ id: IntegerType, total: FloatType })), variant("value", []));
+ *
+ * // The record ships with one query, checked against `orders` when the package builds.
+ * export const queries = e3.record("queries", Query.Types.Saved, Query.value({ orders }, [
+ *     { name: "Big orders", jq: ".orders | map(select(.total >= 1000))", savedAt: new Date("2026-10-01T09:00:00Z") },
+ * ]));
+ * export const queriesPatch = e3.mutation.patch(queries);
+ * ```
+ */
+export function savedQueriesValue(sources, queries) {
+    // A task's data is its output dataset; a dataset is its own.
+    const datasets = Object.entries(sources).map(([name, def]) => {
+        assertRootField("Query.value", name);
+        return { name, dataset: def.kind === "task" ? def.output : def };
+    });
+    const root = StructType(Object.fromEntries(datasets.map(({ name, dataset }) => [name, dataset.type])));
+    const saved = new SortedMap([], compareFor(StringType));
+    for (const query of queries) {
+        if (saved.has(query.name)) {
+            throw new Error(`Query.value: "${query.name}" is saved twice — a saved query's name is its key in the record`);
+        }
+        if (query.description !== undefined && query.description.length > DESCRIPTION_MAX) {
+            throw new Error(`Query.value: "${query.name}"'s description is ${query.description.length} characters — a description holds at most ${DESCRIPTION_MAX}`);
+        }
+        const checked = checkJq(query.jq, root, { root: true });
+        if (checked.program === null) {
+            const problems = checked.diagnostics.filter(d => d.severity.type === "error").map(d => d.message);
+            throw new Error(`Query.value: "${query.name}" does not check — ${problems.join(" ")}`);
+        }
+        saved.set(query.name, {
+            name: query.name,
+            description: query.description === undefined ? none : some(query.description),
+            program: checked.program,
+            root: datasets.filter(({ name }) => checked.reads.includes(name)).map(({ name, dataset }) => ({ name, path: dataset.path })),
+            saved_at: query.savedAt,
+        });
+    }
+    return saved;
+}
+//# sourceMappingURL=saved.js.map

package/dist/src/query/saved.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"saved.js","sourceRoot":"","sources":["../../../src/query/saved.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAmC,MAAM,eAAe,CAAC;AAEpI,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,sGAAsG;AACtG,MAAM,eAAe,GAAG,GAAG,CAAC;AAqB5B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,UAAU,iBAAiB,CAC7B,OAAuD,EACvD,OAAmC;IAEnC,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE;QACzD,eAAe,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACrE,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAsB,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3H,MAAM,KAAK,GAAG,IAAI,SAAS,CAA6C,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACpG,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,IAAI,kEAAkE,CAAC,CAAC;QACnH,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,IAAI,sBAAsB,KAAK,CAAC,WAAW,CAAC,MAAM,6CAA6C,eAAe,EAAE,CAAC,CAAC;QAC7J,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClG,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,IAAI,sBAAsB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3F,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;YAClB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,WAAW,EAAE,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAC7E,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAC5H,QAAQ,EAAE,KAAK,CAAC,OAAO;SAC1B,CAAC,CAAC;IACP,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC"}