@elaraai/east-ui 1.0.97 → 1.0.98

package/dist/src/platform/slice/record-series.d.ts

@@ -0,0 +1,166 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Queries for e3's series and summary indexes (#1039), the twin of
+ * `record-interval.ts` and `record-area.ts`: a record's events filed by the key
+ * they are on — a Plan's resource — and by each time tile they touch,
+ * `{ …on, __tile, <key> }`. A series index holds an entry for each event in
+ * each tile it touches, carrying the row; a summary index one entry for each
+ * key in each tile, `{ count, ms }`, standing for every event touching it.
+ *
+ * A **cell** is some keys in one tile: what a reader reads of either index for
+ * a block of its rows. Each key of a cell is one search, `[…on, tile, key]`,
+ * which holds exactly that key's entries in that tile, so a cell's searches
+ * hold its keys' entries and no others, in whatever order its keys come — a
+ * block of rows narrowed or ordered by another index included. A reader asks
+ * every cell it wants in one batch of searches, which counts each cell's
+ * entries before one is read, and reads them in one batch of runs.
+ *
+ * Neither index serves the rail's narrowing (`record-plan.ts`): a series index
+ * files an event under each tile it touches, so its runs would count the event
+ * more than once, and a summary index's entries name no row. A narrowing
+ * reaches a cell through the index's leading fields, chosen exactly; what else
+ * it chooses is the reader's to ask of the events it draws (`within`).
+ *
+ * The tiles are e3's, to the millisecond (`e3.recordIndex.series`): a day and
+ * an ISO week counted in whole milliseconds from the epoch and from the Monday
+ * before it, so an instant before 1970 is tiled as one after it; a month, a
+ * quarter and a year by the UTC calendar.
+ */
+import { type ValueTypeOf } from "@elaraai/east";
+import type { SeekQueryType } from "../../contracts/source.js";
+import type { RecordSliceChoiceType, RecordSliceIndexType, RecordSliceTileType, RecordSliceTilingType } from "./record-types.js";
+type Choice = ValueTypeOf<RecordSliceChoiceType>;
+type Index = ValueTypeOf<RecordSliceIndexType>;
+type Tiling = ValueTypeOf<RecordSliceTilingType>;
+/** A series or a summary index's tile field: the tile's start, after the index's leading fields and before its key. */
+export declare const TILE_FIELD = "__tile";
+/** A tile: a day, an ISO week from Monday, a calendar month, a quarter or a year, in UTC. */
+export type RecordTile = keyof RecordSliceTileType["cases"] & string;
+/** The tiles, from the shortest. */
+export declare const RECORD_TILES: readonly RecordTile[];
+/** How a series or a summary index files a record's events, as a binding's index metadata carries it. */
+export interface TileMarker {
+    /** The row field naming what an event is on. */
+    readonly key: string;
+    /** The row field an event starts at. */
+    readonly from: string;
+    /** The row field it ends at. */
+    readonly to: string;
+    /** The tile. */
+    readonly tile: RecordTile;
+    /** Whether the index is a summary — its totals — rather than a series of its events. */
+    readonly summary: boolean;
+}
+/**
+ * The names of the struct `Data.bindPaged` marks a series or a summary index's
+ * `__tile` with in a binding's index metadata, as an area index's `__area` is
+ * marked with its box: the key, start and end fields and the tile, each named
+ * with its role (`key=…`), and `__summary` for a summary index.
+ *
+ * @param marker - How the index files the record's events
+ * @returns The marker struct's field names, in order
+ */
+export declare function tileMarkerFields(marker: TileMarker): string[];
+/**
+ * Read a series or a summary index's filing back from its `__tile` marker's
+ * field names ({@link tileMarkerFields}).
+ *
+ * @param names - The marker struct's field names
+ * @returns The filing, or `undefined` when the names are not a tile marker's
+ */
+export declare function readTileMarker(names: readonly string[]): TileMarker | undefined;
+/**
+ * The start of the tile holding an instant, as e3 files it: a day and a week
+ * floored in whole milliseconds from the epoch and from the Monday before it, a
+ * month, a quarter and a year by the UTC calendar.
+ *
+ * @param tile - The tile
+ * @param at - The instant
+ * @returns The tile's start
+ */
+export declare function tileStart(tile: RecordTile, at: Date): Date;
+/**
+ * The start of the tile after one, as e3 files it.
+ *
+ * @param tile - The tile
+ * @param start - A tile's start
+ * @returns The next tile's start
+ */
+export declare function tileNext(tile: RecordTile, start: Date): Date;
+/**
+ * The tiles a span `[from, to)` overlaps, as e3 files an event over them: each
+ * tile's start, in order — the one tile holding `from` when `to` is at or
+ * before it.
+ *
+ * @param tile - The tile
+ * @param from - The span's start
+ * @param to - Its end, exclusive
+ * @param limit - The most tiles to list, at least one
+ * @returns The tiles' starts; `undefined` when the span overlaps more than `limit` of them
+ * @throws {Error} When `limit` is below one
+ */
+export declare function tilesOver(tile: RecordTile, from: Date, to: Date, limit: number): Date[] | undefined;
+/**
+ * How a series or a summary index files a record's events: the index's own
+ * metadata, or `undefined` for an index of another kind.
+ *
+ * @param index - The index
+ * @returns Its key, start and end fields and its tile
+ */
+export declare function tilingOf(index: Index): Tiling | undefined;
+/**
+ * Whether a series or a summary index reads a narrowing's cells: whether the
+ * narrowing chooses exact values of each of the index's leading fields — one
+ * of a field that fans out over a Set, so no event is counted twice.
+ *
+ * @param index - The index
+ * @param where - The narrowing
+ * @returns Whether its cells hold the narrowing's events of their keys, or more
+ */
+export declare function tileIndexServes(index: Index, where: ReadonlyMap<string, Choice>): boolean;
+/**
+ * The index of a binding's that reads a narrowing's cells: of its series
+ * indexes — or its summary indexes — whose leading fields the narrowing
+ * chooses exactly ({@link tileIndexServes}), the one led by the most of them,
+ * so the fewest of the narrowing's choices are left for the reader to ask; of
+ * two led by as many, the one listed first.
+ *
+ * @param indexes - The binding's indexes
+ * @param where - The narrowing
+ * @param which - A series index, or a summary index
+ * @param accept - Which tiles the reader takes; every tile by default
+ * @returns The index, or `undefined` when none serves the narrowing
+ */
+export declare function tileIndexFor(indexes: readonly Index[], where: ReadonlyMap<string, Choice>, which: "series" | "summary", accept?: (tile: RecordTile) => boolean): Index | undefined;
+/** A cell's searches, and what of the narrowing they leave to the reader. */
+export interface TileCellPlan {
+    /** The searches, one for each combination of the leading fields' chosen values and each key, the keys inner. */
+    readonly queries: ValueTypeOf<SeekQueryType>[];
+    /** The fields of the narrowing the searches do not answer — every field but the index's leading fields and a
+     *  range of its start field, which the tiles cover. The reader asks of each event it draws whether the
+     *  narrowing holds it (`within`); none, and every entry is the narrowing's. */
+    readonly residual: readonly string[];
+}
+/**
+ * Plan a cell of a series or a summary index: some keys in one tile, a search
+ * for each key under each combination of the narrowing's values of the index's
+ * leading fields, `[…on, tile, key]`, holding that key's entries in that tile
+ * and no other's. A range of the index's start field — the window — is the
+ * reader's: its tiles cover it.
+ *
+ * @param index - A series or a summary index ({@link tileIndexFor})
+ * @param where - The narrowing
+ * @param tile - The tile's start ({@link tilesOver})
+ * @param keys - The keys, as `.east` literals of the index's key field
+ * @returns The cell's searches, and the fields the reader asks of each event
+ * @throws {Error} When the index is neither, when the narrowing does not choose
+ *   exact values of each of its leading fields (one of a Set's), when the
+ *   combinations of them pass {@link MAX_RECORD_SLICE_RUNS}, or when `tile` is
+ *   not the start of one of the index's tiles
+ */
+export declare function tileCellQueries(index: Index, where: ReadonlyMap<string, Choice>, tile: Date, keys: readonly string[]): TileCellPlan;
+export {};
+//# sourceMappingURL=record-series.d.ts.map

package/dist/src/platform/slice/record-series.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-series.d.ts","sourceRoot":"","sources":["../../../../src/platform/slice/record-series.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAmD,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAClG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAGjI,KAAK,MAAM,GAAG,WAAW,CAAC,qBAAqB,CAAC,CAAC;AACjD,KAAK,KAAK,GAAG,WAAW,CAAC,oBAAoB,CAAC,CAAC;AAC/C,KAAK,MAAM,GAAG,WAAW,CAAC,qBAAqB,CAAC,CAAC;AAEjD,uHAAuH;AACvH,eAAO,MAAM,UAAU,WAAW,CAAC;AAEnC,6FAA6F;AAC7F,MAAM,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;AAErE,oCAAoC;AACpC,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EAAgD,CAAC;AAE/F,yGAAyG;AACzG,MAAM,WAAW,UAAU;IACvB,gDAAgD;IAChD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,gBAAgB;IAChB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC7B;AAMD;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,GAAG,SAAS,CAiB/E;AAsBD;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,CAQ1D;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,CAQ5D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,SAAS,CAWnG;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,CAEzD;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,CAMzF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,GAAG,SAAS,EACnH,MAAM,GAAE,CAAC,IAAI,EAAE,UAAU,KAAK,OAAoB,GAAG,KAAK,GAAG,SAAS,CAQzE;AAED,6EAA6E;AAC7E,MAAM,WAAW,YAAY;IACzB,gHAAgH;IAChH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;IAC/C;;mFAE+E;IAC/E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAKD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,YAAY,CA2BnI"}

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

@@ -0,0 +1,258 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Queries for e3's series and summary indexes (#1039), the twin of
+ * `record-interval.ts` and `record-area.ts`: a record's events filed by the key
+ * they are on — a Plan's resource — and by each time tile they touch,
+ * `{ …on, __tile, <key> }`. A series index holds an entry for each event in
+ * each tile it touches, carrying the row; a summary index one entry for each
+ * key in each tile, `{ count, ms }`, standing for every event touching it.
+ *
+ * A **cell** is some keys in one tile: what a reader reads of either index for
+ * a block of its rows. Each key of a cell is one search, `[…on, tile, key]`,
+ * which holds exactly that key's entries in that tile, so a cell's searches
+ * hold its keys' entries and no others, in whatever order its keys come — a
+ * block of rows narrowed or ordered by another index included. A reader asks
+ * every cell it wants in one batch of searches, which counts each cell's
+ * entries before one is read, and reads them in one batch of runs.
+ *
+ * Neither index serves the rail's narrowing (`record-plan.ts`): a series index
+ * files an event under each tile it touches, so its runs would count the event
+ * more than once, and a summary index's entries name no row. A narrowing
+ * reaches a cell through the index's leading fields, chosen exactly; what else
+ * it chooses is the reader's to ask of the events it draws (`within`).
+ *
+ * The tiles are e3's, to the millisecond (`e3.recordIndex.series`): a day and
+ * an ISO week counted in whole milliseconds from the epoch and from the Monday
+ * before it, so an instant before 1970 is tiled as one after it; a month, a
+ * quarter and a year by the UTC calendar.
+ */
+import { DateTimeType, equalFor, none, printFor, variant } from "@elaraai/east";
+import { MAX_RECORD_SLICE_RUNS } from "./record-plan.js";
+/** A series or a summary index's tile field: the tile's start, after the index's leading fields and before its key. */
+export const TILE_FIELD = "__tile";
+/** The tiles, from the shortest. */
+export const RECORD_TILES = ["day", "week", "month", "quarter", "year"];
+/** The marker's name for a summary index. */
+const SUMMARY_MARKER = "__summary";
+const TILE_ROLES = ["key", "from", "to", "tile"];
+/**
+ * The names of the struct `Data.bindPaged` marks a series or a summary index's
+ * `__tile` with in a binding's index metadata, as an area index's `__area` is
+ * marked with its box: the key, start and end fields and the tile, each named
+ * with its role (`key=…`), and `__summary` for a summary index.
+ *
+ * @param marker - How the index files the record's events
+ * @returns The marker struct's field names, in order
+ */
+export function tileMarkerFields(marker) {
+    return [`key=${marker.key}`, `from=${marker.from}`, `to=${marker.to}`, `tile=${marker.tile}`, ...(marker.summary ? [SUMMARY_MARKER] : [])];
+}
+/**
+ * Read a series or a summary index's filing back from its `__tile` marker's
+ * field names ({@link tileMarkerFields}).
+ *
+ * @param names - The marker struct's field names
+ * @returns The filing, or `undefined` when the names are not a tile marker's
+ */
+export function readTileMarker(names) {
+    const roles = new Map();
+    let summary = false;
+    for (const name of names) {
+        if (name === SUMMARY_MARKER) {
+            if (summary)
+                return undefined;
+            summary = true;
+            continue;
+        }
+        const at = name.indexOf("=");
+        const role = name.slice(0, Math.max(at, 0));
+        if (at <= 0 || !TILE_ROLES.includes(role) || roles.has(role))
+            return undefined;
+        roles.set(role, name.slice(at + 1));
+    }
+    const key = roles.get("key"), from = roles.get("from"), to = roles.get("to"), tile = RECORD_TILES.find(t => t === roles.get("tile"));
+    if (key === undefined || from === undefined || to === undefined || tile === undefined)
+        return undefined;
+    return { key, from, to, tile, summary };
+}
+/** A day, in milliseconds. */
+const DAY_MS = 86_400_000;
+/** An ISO week, in milliseconds. */
+const WEEK_MS = 604_800_000;
+/** 1969-12-29T00:00:00Z, the Monday before the epoch, in milliseconds: where weeks are counted from. */
+const MONDAY_MS = -259_200_000;
+/** An instant floored to a whole number of `length` milliseconds from `origin`, whichever its sign. */
+function flooredTo(ms, length, origin) {
+    return ms - ((((ms - origin) % length) + length) % length);
+}
+/** The first instant of a UTC month, the month counted on into the next years past December. */
+function monthStart(year, month) {
+    // Never Date.UTC, which reads a year below 100 as one of the 1900s.
+    const at = new Date(0);
+    at.setUTCFullYear(year, month, 1);
+    return at;
+}
+/**
+ * The start of the tile holding an instant, as e3 files it: a day and a week
+ * floored in whole milliseconds from the epoch and from the Monday before it, a
+ * month, a quarter and a year by the UTC calendar.
+ *
+ * @param tile - The tile
+ * @param at - The instant
+ * @returns The tile's start
+ */
+export function tileStart(tile, at) {
+    switch (tile) {
+        case "day": return new Date(flooredTo(at.getTime(), DAY_MS, 0));
+        case "week": return new Date(flooredTo(at.getTime(), WEEK_MS, MONDAY_MS));
+        case "month": return monthStart(at.getUTCFullYear(), at.getUTCMonth());
+        case "quarter": return monthStart(at.getUTCFullYear(), at.getUTCMonth() - (at.getUTCMonth() % 3));
+        case "year": return monthStart(at.getUTCFullYear(), 0);
+    }
+}
+/**
+ * The start of the tile after one, as e3 files it.
+ *
+ * @param tile - The tile
+ * @param start - A tile's start
+ * @returns The next tile's start
+ */
+export function tileNext(tile, start) {
+    switch (tile) {
+        case "day": return new Date(start.getTime() + DAY_MS);
+        case "week": return new Date(start.getTime() + WEEK_MS);
+        case "month": return monthStart(start.getUTCFullYear(), start.getUTCMonth() + 1);
+        case "quarter": return monthStart(start.getUTCFullYear(), start.getUTCMonth() + 3);
+        case "year": return monthStart(start.getUTCFullYear() + 1, start.getUTCMonth());
+    }
+}
+/**
+ * The tiles a span `[from, to)` overlaps, as e3 files an event over them: each
+ * tile's start, in order — the one tile holding `from` when `to` is at or
+ * before it.
+ *
+ * @param tile - The tile
+ * @param from - The span's start
+ * @param to - Its end, exclusive
+ * @param limit - The most tiles to list, at least one
+ * @returns The tiles' starts; `undefined` when the span overlaps more than `limit` of them
+ * @throws {Error} When `limit` is below one
+ */
+export function tilesOver(tile, from, to, limit) {
+    if (!(limit >= 1))
+        throw new Error(`A span's tiles are listed one at least, not ${limit}`);
+    let at = tileStart(tile, from);
+    if (to.getTime() <= from.getTime())
+        return [at];
+    const tiles = [];
+    while (at.getTime() < to.getTime()) {
+        if (tiles.length >= limit)
+            return undefined;
+        tiles.push(at);
+        at = tileNext(tile, at);
+    }
+    return tiles;
+}
+/**
+ * How a series or a summary index files a record's events: the index's own
+ * metadata, or `undefined` for an index of another kind.
+ *
+ * @param index - The index
+ * @returns Its key, start and end fields and its tile
+ */
+export function tilingOf(index) {
+    return index.series.type === "some" ? index.series.value : index.summary.type === "some" ? index.summary.value : undefined;
+}
+/**
+ * Whether a series or a summary index reads a narrowing's cells: whether the
+ * narrowing chooses exact values of each of the index's leading fields — one
+ * of a field that fans out over a Set, so no event is counted twice.
+ *
+ * @param index - The index
+ * @param where - The narrowing
+ * @returns Whether its cells hold the narrowing's events of their keys, or more
+ */
+export function tileIndexServes(index, where) {
+    if (tilingOf(index) === undefined)
+        return false;
+    return index.fields.slice(0, -2).every(field => {
+        const choice = where.get(field);
+        return choice?.type === "values" && choice.value.length > 0 && (!index.sets.has(field) || new Set(choice.value).size === 1);
+    });
+}
+/**
+ * The index of a binding's that reads a narrowing's cells: of its series
+ * indexes — or its summary indexes — whose leading fields the narrowing
+ * chooses exactly ({@link tileIndexServes}), the one led by the most of them,
+ * so the fewest of the narrowing's choices are left for the reader to ask; of
+ * two led by as many, the one listed first.
+ *
+ * @param indexes - The binding's indexes
+ * @param where - The narrowing
+ * @param which - A series index, or a summary index
+ * @param accept - Which tiles the reader takes; every tile by default
+ * @returns The index, or `undefined` when none serves the narrowing
+ */
+export function tileIndexFor(indexes, where, which, accept = () => true) {
+    let best;
+    for (const index of indexes) {
+        const tiling = which === "series" ? index.series : index.summary;
+        if (tiling.type !== "some" || !accept(tiling.value.tile.type) || !tileIndexServes(index, where))
+            continue;
+        if (best === undefined || index.fields.length > best.fields.length)
+            best = index;
+    }
+    return best;
+}
+const printTile = printFor(DateTimeType);
+const sameInstant = equalFor(DateTimeType);
+/**
+ * Plan a cell of a series or a summary index: some keys in one tile, a search
+ * for each key under each combination of the narrowing's values of the index's
+ * leading fields, `[…on, tile, key]`, holding that key's entries in that tile
+ * and no other's. A range of the index's start field — the window — is the
+ * reader's: its tiles cover it.
+ *
+ * @param index - A series or a summary index ({@link tileIndexFor})
+ * @param where - The narrowing
+ * @param tile - The tile's start ({@link tilesOver})
+ * @param keys - The keys, as `.east` literals of the index's key field
+ * @returns The cell's searches, and the fields the reader asks of each event
+ * @throws {Error} When the index is neither, when the narrowing does not choose
+ *   exact values of each of its leading fields (one of a Set's), when the
+ *   combinations of them pass {@link MAX_RECORD_SLICE_RUNS}, or when `tile` is
+ *   not the start of one of the index's tiles
+ */
+export function tileCellQueries(index, where, tile, keys) {
+    const tiling = tilingOf(index);
+    if (tiling === undefined)
+        throw new Error(`A cell reads a series or a summary index, and '${index.name}' is neither`);
+    if (!sameInstant(tileStart(tiling.tile.type, tile), tile)) {
+        throw new Error(`${printTile(tile)} starts no ${tiling.tile.type} tile of '${index.name}'`);
+    }
+    const leading = index.fields.slice(0, -2);
+    let prefixes = [[]];
+    for (const field of leading) {
+        const choice = where.get(field);
+        if (choice?.type !== "values" || choice.value.length === 0) {
+            throw new Error(`A cell of '${index.name}' takes exact values of '${field}', which leads it: choose them, or read the cells of an index it does not lead`);
+        }
+        const values = [...new Set(choice.value)];
+        if (index.sets.has(field) && values.length !== 1) {
+            throw new Error(`A cell of '${index.name}' takes one value of '${field}', which fans out over a Set`);
+        }
+        if (prefixes.length * values.length > MAX_RECORD_SLICE_RUNS) {
+            throw new Error(`A cell of '${index.name}' needs more than ${MAX_RECORD_SLICE_RUNS} searches a key; choose fewer values`);
+        }
+        prefixes = prefixes.flatMap(prefix => values.map(value => [...prefix, value]));
+    }
+    const at = printTile(tile);
+    const queries = prefixes.flatMap(prefix => keys.map(key => variant("fields", { values: [...prefix, at, key], prefix: none })));
+    const residual = [...where].filter(([field, choice]) => !leading.includes(field) && !(field === tiling.from && choice.type === "range"))
+        .map(([field]) => field);
+    return { queries, residual };
+}
+//# sourceMappingURL=record-series.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"record-series.js","sourceRoot":"","sources":["../../../../src/platform/slice/record-series.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAoB,MAAM,eAAe,CAAC;AAGlG,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAMzD,uHAAuH;AACvH,MAAM,CAAC,MAAM,UAAU,GAAG,QAAQ,CAAC;AAKnC,oCAAoC;AACpC,MAAM,CAAC,MAAM,YAAY,GAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;AAgB/F,6CAA6C;AAC7C,MAAM,cAAc,GAAG,WAAW,CAAC;AACnC,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAU,CAAC;AAE1D;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAkB;IAC/C,OAAO,CAAC,OAAO,MAAM,CAAC,GAAG,EAAE,EAAE,QAAQ,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/I,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,KAAwB;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;YAC1B,IAAI,OAAO;gBAAE,OAAO,SAAS,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACb,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,EAAE,IAAI,CAAC,IAAI,CAAE,UAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACtG,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACrI,IAAI,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxG,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC5C,CAAC;AAED,8BAA8B;AAC9B,MAAM,MAAM,GAAG,UAAU,CAAC;AAC1B,oCAAoC;AACpC,MAAM,OAAO,GAAG,WAAW,CAAC;AAC5B,wGAAwG;AACxG,MAAM,SAAS,GAAG,CAAC,WAAW,CAAC;AAE/B,uGAAuG;AACvG,SAAS,SAAS,CAAC,EAAU,EAAE,MAAc,EAAE,MAAc;IACzD,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAC/D,CAAC;AAED,gGAAgG;AAChG,SAAS,UAAU,CAAC,IAAY,EAAE,KAAa;IAC3C,oEAAoE;IACpE,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAClC,OAAO,EAAE,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,EAAQ;IAChD,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;QAC1E,KAAK,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC,EAAE,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QACvE,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,EAAE,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClG,KAAK,MAAM,CAAC,CAAC,OAAO,UAAU,CAAC,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAgB,EAAE,KAAW;IAClD,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC;QACtD,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC;QACxD,KAAK,OAAO,CAAC,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QACjF,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;QACnF,KAAK,MAAM,CAAC,CAAC,OAAO,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IACpF,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,IAAU,EAAE,EAAQ,EAAE,KAAa;IAC3E,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,KAAK,EAAE,CAAC,CAAC;IAC3F,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,IAAI,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAChD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK;YAAE,OAAO,SAAS,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAY;IACjC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/H,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,KAAY,EAAE,KAAkC;IAC5E,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;QAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IAChI,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAAC,OAAyB,EAAE,KAAkC,EAAE,KAA2B,EACnH,SAAwC,GAAG,EAAE,CAAC,IAAI;IAClD,IAAI,IAAuB,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QACjE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,SAAS;QAC1G,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,IAAI,GAAG,KAAK,CAAC;IACrF,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAYD,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AACzC,MAAM,WAAW,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AAE3C;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,eAAe,CAAC,KAAY,EAAE,KAAkC,EAAE,IAAU,EAAE,IAAuB;IACjH,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC;IACtH,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,QAAQ,GAAe,CAAC,EAAE,CAAC,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,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,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,IAAI,4BAA4B,KAAK,gFAAgF,CAAC,CAAC;QAC/J,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,IAAI,yBAAyB,KAAK,8BAA8B,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,IAAI,qBAAqB,qBAAqB,sCAAsC,CAAC,CAAC;QAC9H,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,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/H,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;SACnI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACjC,CAAC"}