@elaraai/east-ui 1.0.85 → 1.0.87

package/dist/src/platform/slice/record-plan.js

@@ -0,0 +1,139 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/** Query planning shared by authoring validation and the record Slice runtime. */
+import { none, some, variant } from "@elaraai/east";
+import { intervalQueries } from "./record-interval.js";
+/** Bound the fan-out of a multi-choice path; never replace it with a row scan. */
+export const MAX_RECORD_SLICE_RUNS = 64;
+/**
+ * Whether one index can answer every clause without scanning or duplicate rows.
+ * @param index - Available field path.
+ * @param where - Current narrowing.
+ * @returns Whether it is a supported path.
+ */
+export function recordPathMatches(index, where) {
+    for (const field of index.sets) {
+        const choice = where.get(field);
+        if (choice?.type !== "values" || choice.value.length !== 1)
+            return false;
+    }
+    if (index.interval.type === "some") {
+        const leading = index.fields.slice(0, -1);
+        if (leading.some(field => where.get(field)?.type !== "values"))
+            return false;
+        const time = where.get(index.interval.value.from);
+        return time?.type !== "prefix" && where.size === leading.length + (time === undefined ? 0 : 1);
+    }
+    let seen = 0;
+    for (const field of index.fields) {
+        const choice = where.get(field);
+        if (choice === undefined)
+            break;
+        seen++;
+        if (choice.type !== "values")
+            break;
+    }
+    return seen === where.size;
+}
+/** Pick a supported path without executing or parsing its ranges. */
+export function recordPlanIndex(indexes, where) {
+    const overlaps = new Set(indexes.flatMap(index => index.interval.type === "some" && where.get(index.interval.value.from)?.type === "range" ? [index.interval.value.from] : []));
+    return indexes.find(index => recordPathMatches(index, where) && (overlaps.size === 0
+        || index.interval.type === "some" && overlaps.has(index.interval.value.from)));
+}
+/**
+ * Plan the record's narrowing as exact leading values followed by at most one
+ * prefix or half-open range. The server answers every query; no predicate runs
+ * over a fetched row. Completed ranges are sorted by their actual source offsets.
+ *
+ * @param indexes - Available paths.
+ * @param where - Field choices, in any authored order.
+ * @param defaultIndex - Unfiltered source containing every primary row once.
+ * @returns One path and its key searches; null when no index answers it.
+ * @throws When a choice would exceed the bounded number of disjoint runs.
+ */
+export function planRecordSlice(indexes, where, defaultIndex) {
+    if (where.size === 0) {
+        const index = indexes.find(candidate => candidate.name === defaultIndex);
+        return { index: defaultIndex, queries: index?.interval.type === "some" && index.fields.length === 1
+                ? intervalQueries([], undefined, index.interval.value) : [] };
+    }
+    const index = recordPlanIndex(indexes, where);
+    if (index === undefined)
+        return null;
+    let prefixes = [[]];
+    let tail;
+    for (const field of index.interval.type === "some" ? index.fields.slice(0, -1) : index.fields) {
+        const choice = where.get(field);
+        if (choice === undefined)
+            break;
+        if (choice.type !== "values") {
+            tail = choice;
+            break;
+        }
+        const values = [...new Set(choice.value)];
+        if (values.length === 0)
+            throw new Error(`Clear '${field}' instead of choosing no values`);
+        if (prefixes.length * values.length > MAX_RECORD_SLICE_RUNS) {
+            throw new Error(`This combination needs more than ${MAX_RECORD_SLICE_RUNS} searches; choose fewer values`);
+        }
+        prefixes = prefixes.flatMap(prefix => values.map(value => [...prefix, value]));
+    }
+    if (index.interval.type === "some") {
+        const interval = index.interval.value;
+        const choice = where.get(interval.from);
+        if (choice?.type === "values" && prefixes.length * choice.value.length > MAX_RECORD_SLICE_RUNS) {
+            throw new Error(`This combination needs more than ${MAX_RECORD_SLICE_RUNS} searches; choose fewer values`);
+        }
+        return { index: index.name, queries: prefixes.flatMap(values => intervalQueries(values, choice, interval)) };
+    }
+    return { index: index.name, queries: prefixes.map(values => {
+            if (tail?.type === "range")
+                return variant("range", { from: [...values, tail.value.from], to: [...values, tail.value.to] });
+            if (tail?.type === "prefix")
+                return values.length === 0
+                    ? variant("prefix", tail.value)
+                    : variant("fields", { values, prefix: some(tail.value) });
+            return !index.structured
+                ? variant("key", values[0])
+                : variant("fields", { values, prefix: none });
+        }) };
+}
+/**
+ * Keep the largest supported leading path after a choice changes. A new field
+ * that cannot follow replaces incompatible clauses; a trailing field with no
+ * chosen prerequisites remains unavailable. Chrome uses the same result to
+ * explain replacements before applying them.
+ * @param indexes - Available field paths.
+ * @param current - Current narrowing.
+ * @param field - Field being changed or cleared.
+ * @param choice - New choice, or undefined to clear the field.
+ * @returns Supported next narrowing, or null when prerequisites are missing.
+ */
+export function recordChoiceWhere(indexes, current, field, choice) {
+    const requested = new Map(current);
+    if (choice === undefined)
+        requested.delete(field);
+    else
+        requested.set(field, choice);
+    let best = choice === undefined ? new Map() : null;
+    for (const index of indexes) {
+        const candidate = new Map();
+        for (const name of index.fields) {
+            const clause = requested.get(name);
+            if (clause === undefined)
+                break;
+            candidate.set(name, clause);
+            if (clause.type !== "values")
+                break;
+        }
+        if (choice !== undefined && !candidate.has(field))
+            continue;
+        if (recordPathMatches(index, candidate) && (best === null || candidate.size > best.size))
+            best = candidate;
+    }
+    return best;
+}
+//# sourceMappingURL=record-plan.js.map

package/dist/src/platform/slice/record-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-plan.js","sourceRoot":"","sources":["../../../../src/platform/slice/record-plan.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,kFAAkF;AAClF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAoB,MAAM,eAAe,CAAC;AAKtE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,kFAAkF;AAClF,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAUxC;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAY,EAAE,KAAkC;IAC9E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAC7E,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7E,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM;QAChC,IAAI,EAAE,CAAC;QACP,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM;IACxC,CAAC;IACD,OAAO,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;AAC/B,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,eAAe,CAAC,OAAyB,EAAE,KAAkC;IACzF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChL,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC;WAC7E,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,OAAyB,EAAE,KAAkC,EAAE,YAAoB;IAC/G,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACzE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAC/F,CAAC,CAAC,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,QAAQ,GAAe,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,IAAqD,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5F,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAAC,IAAI,GAAG,MAAM,CAAC;YAAC,MAAM;QAAC,CAAC;QACvD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,iCAAiC,CAAC,CAAC;QAC3F,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CAAC,oCAAoC,qBAAqB,gCAAgC,CAAC,CAAC;QAC/G,CAAC;QACD,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;YAC7F,MAAM,IAAI,KAAK,CAAC,oCAAoC,qBAAqB,gCAAgC,CAAC,CAAC;QAC/G,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;IACjH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YACvD,IAAI,IAAI,EAAE,IAAI,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5H,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;oBACnD,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC;oBAC/B,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC9D,OAAO,CAAC,KAAK,CAAC,UAAU;gBACpB,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC;gBAC5B,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAyB,EAAE,OAAoC,EAAE,KAAa,EAAE,MAA0B;IACxI,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS;QAAE,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;QAC7C,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAClC,IAAI,IAAI,GAA+B,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM;YAChC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM;QACxC,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC5D,IAAI,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,SAAS,CAAC;IAC/G,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}