@finos/legend-cube-builder 0.0.3 → 0.0.4

package/lib/stores/editors/CubeDifferenceDraft.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CubeDifferenceDraft.js","sourceRoot":"","sources":["../../../src/stores/editors/CubeDifferenceDraft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEL,eAAe,GAGhB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,MAAM,CAAC;AAC1D,OAAO,EAAE,8BAA8B,EAAE,MAAM,mCAAmC,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EACL,gBAAgB,EAGhB,cAAc,EACd,cAAc,GACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD;;;;;;GAMG;AACH,MAAM,OAAO,mBACX,SAAQ,aAAyB;IAGjC,KAAK,CAA6B;IAClC,iBAAiB,CAAoB;IACrC,0EAA0E;IAClE,OAAO,GAAG,KAAK,CAAC;IACxB,oGAAoG;IACnF,eAAe,CAAuB;IAEvD,YAAY,QAAoB;QAC9B,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,cAAc,CAAiC,IAAI,EAAE;YACnD,KAAK,EAAE,UAAU,CAAC,GAAG;YACrB,iBAAiB,EAAE,UAAU,CAAC,GAAG;YACjC,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE,MAAM;YACf,UAAU,EAAE,MAAM;YAClB,aAAa,EAAE,MAAM;YACrB,cAAc,EAAE,MAAM;YACtB,sBAAsB,EAAE,MAAM;YAC9B,sBAAsB,EAAE,MAAM;SAC/B,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;QACzE,IAAI,CAAC,eAAe,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAI,CAAC,iBAAiB,GAAG,QAAQ,CAAC,iBAAiB,CAAC;IACtD,CAAC;IAED,OAAO;QACL,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,UAAU,CAAC,GAAW;QACpB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,aAAa,CAAC,GAAW,EAAE,IAAY;QACrC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACnC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5C,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,cAAc,CAAC,GAAW,EAAE,KAAa;QACvC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACnC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAC7C,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,2FAA2F;IAC3F,sBAAsB,CAAC,IAAY,EAAE,UAAkB;QACrD,IAAI,CAAC,iBAAiB,GAAG,cAAc,CACrC,IAAI,CAAC,iBAAiB,EACtB,IAAI,EACJ,UAAU,CACX,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,sBAAsB;QACpB,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,KAAK;QACH,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC;QACzD,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,OAAO;YAClB,CAAC,UAAU,CAAC,WAAW,EAAE,WAAW,CAAC;gBACnC,UAAU,CAAC,YAAY,EAAE,YAAY,CAAC;gBACtC,UAAU,CAAC,IAAI,CAAC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACjE,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;gBACpB,WAAW;gBACX,YAAY;gBACZ,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;aAC1C,CAAC,CAAC;IACT,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,MAAoB,EACpB,WAAmB,EACnB,WAA8B,EACV,EAAE;IACtB,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QACtC,CAAC,CAAC,8BAA8B,CAAC,WAAW;QAC5C,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YACpC,CAAC,CAAC,8BAA8B,CAAC,WAAW;YAC5C,CAAC,CAAC,SAAS,KAAK,SAAS;gBACvB,CAAC,CAAC,8BAA8B,CAAC,YAAY;gBAC7C,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC9B,CAAC,CAAC,8BAA8B,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC;oBACpE,CAAC,CAAC,SAAS,CAAC;AACtB,CAAC,CAAC"}

package/lib/stores/editors/CubeExtendDraft.d.ts

@@ -0,0 +1,110 @@
+/**
+ * Copyright (c) 2026-present, Goldman Sachs
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+import { type CubeType, Extend, type ExtendColumn, type ExtendTyping, type JsonObject, type QueryNode, type Schema } from '@finos/legend-cube';
+import type { GeneratorFn } from '@finos/legend-shared';
+import { type CubeSourceLocation } from '../../graph-manager/CubeEngine.js';
+import type { CubeEditorState } from '../CubeEditorState.js';
+import { CubeNodeDraft } from './CubeNodeDraft.js';
+/** What the engine made of a row's code the last time it was validated */
+export interface CubeExtendCheckedCode {
+    readonly code: string;
+    readonly lambda: JsonObject;
+    readonly located: JsonObject;
+}
+/** A row's problem from the last Validate: the engine's message, where it is in the code, and a hint */
+export interface CubeExtendRowProblem {
+    readonly message: string;
+    readonly location?: CubeSourceLocation | undefined;
+    readonly hint?: string | undefined;
+}
+/** One new column in the editor */
+export interface CubeExtendRow {
+    /** Identifies the row in the editor, and its code to the engine */
+    readonly key: number;
+    readonly name: string;
+    readonly code: string;
+    readonly checked?: CubeExtendCheckedCode | undefined;
+    readonly problem?: CubeExtendRowProblem | undefined;
+    /** The type the engine gave, while the row is as it was typed */
+    readonly type?: CubeType | undefined;
+}
+/** What a new column's code starts as (PLAN §11.7 Q2) */
+export declare const NEW_EXPRESSION_CODE = "x | ";
+/**
+ * The Extend editor's draft (PLAN §11.7): a row per new column, its name and
+ * its code, `x | …`. Validate (F10) has the engine check each changed code,
+ * type the columns as a chain after the input, located so an error points
+ * into the code, and plan the query for the cube's database. Apply waits
+ * until every row's code is the one validated; the node then holds the
+ * engine's lambdas and their typing, so it needn't be typed again.
+ */
+export declare class CubeExtendDraft extends CubeNodeDraft<Extend> {
+    readonly editorState: CubeEditorState;
+    rows: readonly CubeExtendRow[];
+    /** The typing the last Validate gave, for the rows as they were then */
+    typing: ExtendTyping | undefined;
+    validating: boolean;
+    /** Anything was changed; until then, `build()` gives the original back */
+    private touched;
+    /** The database type the last plan was for, named in its problem */
+    private planDatabaseType;
+    constructor(original: Extend, editorState: CubeEditorState);
+    /** The input's schema, when the input is valid */
+    get inputSchema(): Schema | undefined;
+    /** A row named `col_<n>`, the first such name no column has, in any case */
+    private newRow;
+    /** The columns the rows build: a row's lambda only while its code is the one validated */
+    get columns(): ExtendColumn[];
+    /** Every row's code is the one the engine last checked */
+    get isValidated(): boolean;
+    /** Why Apply waits: a validation running, or a code not validated yet */
+    get applyDisabledReason(): string | undefined;
+    private change;
+    addRow(): void;
+    removeRow(key: number): void;
+    /** Moves a row up (-1) or down (+1); a later column may use it, so its typing waits */
+    moveRow(key: number, offset: number): void;
+    setName(key: number, name: string): void;
+    /** A code edit drops the row's problem and type, until the next Validate */
+    setCode(key: number, code: string): void;
+    build(): Extend;
+    /**
+     * Goes on from an Extend that differs from the original only in its
+     * typing, e.g. typed in the background after an Apply, keeping the rows;
+     * rows not validated in this draft take the new types
+     */
+    follow(node: QueryNode): boolean;
+    /**
+     * Checks every row with the engine (F10): parses each code changed since
+     * the last Validate, then, when every code parses and the input is valid,
+     * types the columns after the input, located in their codes, and plans the
+     * query up to this node for the cube's database; a plan that fails is
+     * planned again column by column to find the first that fails. Each
+     * problem goes on its row.
+     */
+    validate(): GeneratorFn<void>;
+    /** Cube's problems, each on its row; whether there was one */
+    private putCubeProblems;
+    /** The problem on its row, or on every row when the engine named none */
+    private putProblem;
+    /**
+     * Plans the query up to the typed candidate, as a run would; when it
+     * fails with several columns, the first k columns for every k, to name
+     * the column the database can't run
+     */
+    private planFrom;
+}
+//# sourceMappingURL=CubeExtendDraft.d.ts.map

package/lib/stores/editors/CubeExtendDraft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CubeExtendDraft.d.ts","sourceRoot":"","sources":["../../../src/stores/editors/CubeExtendDraft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,KAAK,QAAQ,EACb,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,YAAY,EAIjB,KAAK,UAAU,EAGf,KAAK,SAAS,EACd,KAAK,MAAM,EAEZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAcxD,OAAO,EAIL,KAAK,kBAAkB,EAExB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAO7D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,0EAA0E;AAC1E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAED,wGAAwG;AACxG,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAC;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACpC;AAED,mCAAmC;AACnC,MAAM,WAAW,aAAa;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,GAAG,SAAS,CAAC;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAC;IACpD,iEAAiE;IACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAC;CACtC;AAED,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,SAAS,CAAC;AAc1C;;;;;;;GAOG;AACH,qBAAa,eAAgB,SAAQ,aAAa,CAAC,MAAM,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IACtC,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/B,wEAAwE;IACxE,MAAM,EAAE,YAAY,GAAG,SAAS,CAAC;IACjC,UAAU,UAAS;IACnB,0EAA0E;IAC1E,OAAO,CAAC,OAAO,CAAS;IACxB,oEAAoE;IACpE,OAAO,CAAC,gBAAgB,CAAqB;gBAEjC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,eAAe;IAiC1D,kDAAkD;IAClD,IAAI,WAAW,IAAI,MAAM,GAAG,SAAS,CAMpC;IAED,4EAA4E;IAC5E,OAAO,CAAC,MAAM;IAoBd,0FAA0F;IAC1F,IAAI,OAAO,IAAI,YAAY,EAAE,CAM5B;IAED,0DAA0D;IAC1D,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED,yEAAyE;IACzE,IAAa,mBAAmB,IAAI,MAAM,GAAG,SAAS,CAMrD;IAED,OAAO,CAAC,MAAM;IAKd,MAAM,IAAI,IAAI;IAId,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAI5B,uFAAuF;IACvF,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAY1C,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAQxC,4EAA4E;IAC5E,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAUxC,KAAK,IAAI,MAAM;IASf;;;;OAIG;IACM,MAAM,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO;IAuBzC;;;;;;;OAOG;IACF,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC;IAoH9B,8DAA8D;IAC9D,OAAO,CAAC,eAAe;IAQvB,yEAAyE;IACzE,OAAO,CAAC,UAAU;IAqBlB;;;;OAIG;YACW,QAAQ;CAkFvB"}

package/lib/stores/editors/CubeExtendDraft.js

@@ -0,0 +1,359 @@
+/**
+ * Copyright (c) 2026-present, Goldman Sachs
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+import { Extend, foldColumnName, getExtendSignature, QueryEmitter, UNTYPED, } from '@finos/legend-cube';
+import { action, computed, flow, flowResult, makeObservable, observable, } from 'mobx';
+import { EXTEND_APPLY_DISABLED_REASON, EXTEND_TO_ONE_HINT, getExtendPlanProblem, } from '../../__lib__/LegendCubeLabels.js';
+import { CubeEngineError, CubeEngineErrorKind, } from '../../graph-manager/CubeEngine.js';
+import { buildCubeExtendTypingLambdas, getCubeExtendUpstream, readCubeExtendTyping, withoutEngineContext, } from '../CubeExtendTyping.js';
+import { CubeNodeDraft } from './CubeNodeDraft.js';
+/** What a new column's code starts as (PLAN §11.7 Q2) */
+export const NEW_EXPRESSION_CODE = 'x | ';
+let nextRowKey = 1;
+/** An engine message about a column that can be empty in arithmetic, which `->toOne()` fixes */
+const NEEDS_TO_ONE = /must have a multiplicity \[1\]|Can't find a match for function '[^']*\[0\.\.1\]/u;
+const problemOf = (error) => ({
+    message: withoutEngineContext(error.firstLine),
+    location: error.location,
+    hint: NEEDS_TO_ONE.test(error.detail) ? EXTEND_TO_ONE_HINT : undefined,
+});
+/**
+ * The Extend editor's draft (PLAN §11.7): a row per new column, its name and
+ * its code, `x | …`. Validate (F10) has the engine check each changed code,
+ * type the columns as a chain after the input, located so an error points
+ * into the code, and plan the query for the cube's database. Apply waits
+ * until every row's code is the one validated; the node then holds the
+ * engine's lambdas and their typing, so it needn't be typed again.
+ */
+export class CubeExtendDraft extends CubeNodeDraft {
+    editorState;
+    rows;
+    /** The typing the last Validate gave, for the rows as they were then */
+    typing;
+    validating = false;
+    /** Anything was changed; until then, `build()` gives the original back */
+    touched = false;
+    /** The database type the last plan was for, named in its problem */
+    planDatabaseType;
+    constructor(original, editorState) {
+        super(original);
+        makeObservable(this, {
+            original: observable.ref,
+            rows: observable.ref,
+            typing: observable.ref,
+            validating: observable,
+            touched: observable,
+            columns: computed,
+            isValidated: computed,
+            applyDisabledReason: computed,
+            addRow: action,
+            removeRow: action,
+            moveRow: action,
+            setName: action,
+            setCode: action,
+            validate: flow,
+            follow: action,
+        });
+        this.editorState = editorState;
+        const types = original.typing.kind === 'typed' ? original.typing.types : [];
+        this.rows = original.columns.map(({ name, code, lambda }, index) => ({
+            key: nextRowKey++,
+            name,
+            code,
+            checked: lambda ? { code, lambda, located: lambda } : undefined,
+            type: types[index],
+        }));
+        if (!this.rows.length) {
+            this.rows = [this.newRow()];
+        }
+    }
+    /** The input's schema, when the input is valid */
+    get inputSchema() {
+        const { query } = this.editorState.document;
+        const [inputId] = query.getInputIds(this.original.id);
+        return inputId === undefined
+            ? undefined
+            : this.editorState.analysis.schemas.get(inputId);
+    }
+    /** A row named `col_<n>`, the first such name no column has, in any case */
+    newRow() {
+        const taken = new Set([
+            ...(this.inputSchema?.names() ?? []),
+            ...(this.rows ?? []).map(({ name }) => name),
+        ].map(foldColumnName));
+        let index = 1;
+        while (taken.has(foldColumnName(`col_${index}`))) {
+            index += 1;
+        }
+        return {
+            key: nextRowKey++,
+            name: `col_${index}`,
+            code: NEW_EXPRESSION_CODE,
+        };
+    }
+    /** The columns the rows build: a row's lambda only while its code is the one validated */
+    get columns() {
+        return this.rows.map(({ name, code, checked }) => ({
+            name,
+            code,
+            lambda: checked?.code === code ? checked.lambda : undefined,
+        }));
+    }
+    /** Every row's code is the one the engine last checked */
+    get isValidated() {
+        return this.rows.every(({ code, checked }) => checked?.code === code);
+    }
+    /** Why Apply waits: a validation running, or a code not validated yet */
+    get applyDisabledReason() {
+        return this.validating
+            ? EXTEND_APPLY_DISABLED_REASON.VALIDATING
+            : this.isValidated
+                ? undefined
+                : EXTEND_APPLY_DISABLED_REASON.NOT_VALIDATED;
+    }
+    change(rows) {
+        this.rows = rows;
+        this.touched = true;
+    }
+    addRow() {
+        this.change([...this.rows, this.newRow()]);
+    }
+    removeRow(key) {
+        this.change(this.rows.filter((row) => row.key !== key));
+    }
+    /** Moves a row up (-1) or down (+1); a later column may use it, so its typing waits */
+    moveRow(key, offset) {
+        const index = this.rows.findIndex((row) => row.key === key);
+        const target = index + offset;
+        if (index < 0 || target < 0 || target >= this.rows.length) {
+            return;
+        }
+        const rows = [...this.rows];
+        const [moved] = rows.splice(index, 1);
+        rows.splice(target, 0, moved);
+        this.change(rows);
+    }
+    setName(key, name) {
+        this.change(this.rows.map((row) => row.key === key ? { ...row, name, problem: undefined } : row));
+    }
+    /** A code edit drops the row's problem and type, until the next Validate */
+    setCode(key, code) {
+        this.change(this.rows.map((row) => row.key === key && row.code !== code
+            ? { key: row.key, name: row.name, code, checked: row.checked }
+            : row));
+    }
+    build() {
+        if (!this.touched) {
+            return this.original;
+        }
+        return this.original
+            .withColumns(this.columns)
+            .withTyping(this.typing ?? this.original.typing);
+    }
+    /**
+     * Goes on from an Extend that differs from the original only in its
+     * typing, e.g. typed in the background after an Apply, keeping the rows;
+     * rows not validated in this draft take the new types
+     */
+    follow(node) {
+        const { original } = this;
+        if (!(node instanceof Extend) ||
+            node.id !== original.id ||
+            JSON.stringify([node.columns, node.rest]) !==
+                JSON.stringify([original.columns, original.rest])) {
+            return false;
+        }
+        this.original = node;
+        if (this.typing === undefined) {
+            const types = node.typing.kind === 'typed' ? node.typing.types : [];
+            this.rows = this.rows.map((row, index) => {
+                const column = node.columns[index];
+                return column?.name === row.name && column.code === row.code
+                    ? { ...row, type: types[index] }
+                    : row;
+            });
+        }
+        return true;
+    }
+    /**
+     * Checks every row with the engine (F10): parses each code changed since
+     * the last Validate, then, when every code parses and the input is valid,
+     * types the columns after the input, located in their codes, and plans the
+     * query up to this node for the cube's database; a plan that fails is
+     * planned again column by column to find the first that fails. Each
+     * problem goes on its row.
+     */
+    *validate() {
+        const { editorState } = this;
+        const { context } = editorState.document;
+        if (this.validating || !context) {
+            return;
+        }
+        this.validating = true;
+        try {
+            const nodeId = this.original.id;
+            const sourceIdOf = (row) => `${nodeId}:${row.key}`;
+            // 1. parse the changed codes
+            const parsed = (yield Promise.all(this.rows.map(async (row) => row.checked?.code === row.code
+                ? row.checked
+                : editorState.host.engine
+                    .parseExpression(row.code, sourceIdOf(row))
+                    .then((expression) => ({
+                    code: row.code,
+                    ...expression,
+                }), (error) => error instanceof CubeEngineError
+                    ? error
+                    : new CubeEngineError(CubeEngineErrorKind.NETWORK, error instanceof Error
+                        ? error.message
+                        : String(error))))));
+            const rows = this.rows.map((row, index) => {
+                const result = parsed[index];
+                return result instanceof CubeEngineError
+                    ? {
+                        key: row.key,
+                        name: row.name,
+                        code: row.code,
+                        problem: problemOf(result),
+                    }
+                    : { key: row.key, name: row.name, code: row.code, checked: result };
+            });
+            this.rows = rows;
+            this.touched = true;
+            const input = this.inputSchema;
+            if (!input || rows.some((row) => row.checked === undefined)) {
+                return;
+            }
+            // 2. Cube's own checks of each column, which need no engine: a name
+            // the input has, in another case, would otherwise type
+            const candidate = this.original.withColumns(this.columns);
+            if (this.putCubeProblems(candidate.getColumnProblems(input))) {
+                this.typing = UNTYPED;
+                return;
+            }
+            // 3. type the columns, located in their codes
+            const query = editorState.document.query.replace(candidate);
+            const located = rows.map((row) => ({
+                name: row.name,
+                lambda: row.checked.located,
+            }));
+            const answers = (yield editorState.host.engine.typeLambdas(context.model, buildCubeExtendTypingLambdas(query, candidate, located, editorState.registry, true)));
+            const { typing, error } = readCubeExtendTyping(answers, candidate, input, located, getCubeExtendUpstream(new QueryEmitter(query, editorState.registry), candidate.id, context.model));
+            this.typing = typing;
+            if (typing.kind !== 'typed') {
+                this.putProblem(typing.kind === 'failed' ? typing.column : undefined, error);
+                return;
+            }
+            this.rows = this.rows.map((row, index) => ({
+                ...row,
+                type: typing.types[index],
+            }));
+            // a type Cube can't hold, such as an enumeration's own `Any`
+            if (this.putCubeProblems(candidate.getTypeProblems(typing.types))) {
+                return;
+            }
+            // 4. plan the query up to this node, for the cube's database
+            const failure = (yield this.planFrom(query.replace(candidate.withTyping(typing)), candidate, typing, input));
+            if (failure) {
+                this.putProblem(failure.column, failure.error, true);
+            }
+        }
+        finally {
+            this.validating = false;
+        }
+    }
+    /** Cube's problems, each on its row; whether there was one */
+    putCubeProblems(problems) {
+        this.rows = this.rows.map((row, index) => {
+            const message = problems[index];
+            return message === undefined ? row : { ...row, problem: { message } };
+        });
+        return problems.some((problem) => problem !== undefined);
+    }
+    /** The problem on its row, or on every row when the engine named none */
+    putProblem(column, error, planned = false) {
+        if (!error) {
+            return;
+        }
+        const problem = problemOf(error);
+        const shown = planned
+            ? {
+                message: getExtendPlanProblem(this.planDatabaseType, error.firstLine),
+            }
+            : problem;
+        this.rows = this.rows.map((row, index) => column === undefined || index === column
+            ? { ...row, problem: shown }
+            : row);
+    }
+    /**
+     * Plans the query up to the typed candidate, as a run would; when it
+     * fails with several columns, the first k columns for every k, to name
+     * the column the database can't run
+     */
+    async planFrom(query, candidate, typing, input) {
+        const { editorState } = this;
+        const { context } = editorState.document;
+        const runtime = context?.runtime;
+        // a cube with no runtime yet can't be planned
+        if (!context || runtime === undefined) {
+            return undefined;
+        }
+        await flowResult(editorState.loadModelOutline(context.model));
+        this.planDatabaseType = editorState.getRunDatabaseType(query, candidate.id, context.model, runtime);
+        const plan = async (count) => {
+            const columns = candidate.columns.slice(0, count);
+            const prefix = candidate.withColumns(columns).withTyping({
+                kind: 'typed',
+                signature: getExtendSignature(input, columns),
+                types: typing.types.slice(0, count),
+            });
+            const replaced = query.replace(prefix);
+            let lambda;
+            try {
+                lambda = new QueryEmitter(
+                // run up to this node, as Execute would with it selected
+                replaced.selected === prefix.id
+                    ? replaced
+                    : replaced.select(prefix.id), editorState.registry).emitExecutionLambda({
+                    rowLimit: 1,
+                    runtime,
+                    databaseType: this.planDatabaseType,
+                });
+            }
+            catch (error) {
+                // the query up to here can't run, e.g. a node above is invalid
+                return new CubeEngineError(CubeEngineErrorKind.COMPILE, error instanceof Error ? error.message : String(error), candidate.id);
+            }
+            return editorState.host.engine.planLambda(context.model, lambda).then(() => undefined, (error) => error instanceof CubeEngineError
+                ? error
+                : new CubeEngineError(CubeEngineErrorKind.NETWORK, error instanceof Error ? error.message : String(error)));
+        };
+        const error = await plan(candidate.columns.length);
+        if (!error) {
+            return undefined;
+        }
+        if (candidate.columns.length < 2 ||
+            error.kind === CubeEngineErrorKind.NETWORK) {
+            return { column: candidate.columns.length < 2 ? 0 : undefined, error };
+        }
+        for (let count = 1; count < candidate.columns.length; count += 1) {
+            const failed = await plan(count);
+            if (failed) {
+                return { column: count - 1, error: failed };
+            }
+        }
+        return { column: candidate.columns.length - 1, error };
+    }
+}
+//# sourceMappingURL=CubeExtendDraft.js.map

package/lib/stores/editors/CubeExtendDraft.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CubeExtendDraft.js","sourceRoot":"","sources":["../../../src/stores/editors/CubeExtendDraft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEL,MAAM,EAGN,cAAc,EACd,kBAAkB,EAIlB,YAAY,EAGZ,OAAO,GACR,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,UAAU,EACV,cAAc,EACd,UAAU,GACX,MAAM,MAAM,CAAC;AACd,OAAO,EACL,4BAA4B,EAC5B,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,eAAe,EACf,mBAAmB,GAIpB,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,4BAA4B,EAC5B,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AA4BnD,yDAAyD;AACzD,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC;AAE1C,IAAI,UAAU,GAAG,CAAC,CAAC;AAEnB,gGAAgG;AAChG,MAAM,YAAY,GAChB,kFAAkF,CAAC;AAErF,MAAM,SAAS,GAAG,CAAC,KAAsB,EAAwB,EAAE,CAAC,CAAC;IACnE,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,SAAS,CAAC;IAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;CACvE,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,OAAO,eAAgB,SAAQ,aAAqB;IAC/C,WAAW,CAAkB;IACtC,IAAI,CAA2B;IAC/B,wEAAwE;IACxE,MAAM,CAA2B;IACjC,UAAU,GAAG,KAAK,CAAC;IACnB,0EAA0E;IAClE,OAAO,GAAG,KAAK,CAAC;IACxB,oEAAoE;IAC5D,gBAAgB,CAAqB;IAE7C,YAAY,QAAgB,EAAE,WAA4B;QACxD,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,cAAc,CAA6B,IAAI,EAAE;YAC/C,QAAQ,EAAE,UAAU,CAAC,GAAG;YACxB,IAAI,EAAE,UAAU,CAAC,GAAG;YACpB,MAAM,EAAE,UAAU,CAAC,GAAG;YACtB,UAAU,EAAE,UAAU;YACtB,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE,QAAQ;YACjB,WAAW,EAAE,QAAQ;YACrB,mBAAmB,EAAE,QAAQ;YAC7B,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,MAAM;YACjB,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,MAAM;YACf,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACnE,GAAG,EAAE,UAAU,EAAE;YACjB,IAAI;YACJ,IAAI;YACJ,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS;YAC/D,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;SACnB,CAAC,CAAC,CAAC;QACJ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,IAAI,WAAW;QACb,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC;QAC5C,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACtD,OAAO,OAAO,KAAK,SAAS;YAC1B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,4EAA4E;IACpE,MAAM;QACZ,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB;YACE,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YACpC,GAAG,CAAE,IAAI,CAAC,IAA6C,IAAI,EAAE,CAAC,CAAC,GAAG,CAChE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CACnB;SACF,CAAC,GAAG,CAAC,cAAc,CAAC,CACtB,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;YACjD,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;QACD,OAAO;YACL,GAAG,EAAE,UAAU,EAAE;YACjB,IAAI,EAAE,OAAO,KAAK,EAAE;YACpB,IAAI,EAAE,mBAAmB;SAC1B,CAAC;IACJ,CAAC;IAED,0FAA0F;IAC1F,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACjD,IAAI;YACJ,IAAI;YACJ,MAAM,EAAE,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;SAC5D,CAAC,CAAC,CAAC;IACN,CAAC;IAED,0DAA0D;IAC1D,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,yEAAyE;IACzE,IAAa,mBAAmB;QAC9B,OAAO,IAAI,CAAC,UAAU;YACpB,CAAC,CAAC,4BAA4B,CAAC,UAAU;YACzC,CAAC,CAAC,IAAI,CAAC,WAAW;gBAChB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,4BAA4B,CAAC,aAAa,CAAC;IACnD,CAAC;IAEO,MAAM,CAAC,IAA8B;QAC3C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,MAAM;QACJ,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,SAAS,CAAC,GAAW;QACnB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,uFAAuF;IACvF,OAAO,CAAC,GAAW,EAAE,MAAc;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,KAAK,GAAG,MAAM,CAAC;QAC9B,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1D,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,KAAsB,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,GAAW,EAAE,IAAY;QAC/B,IAAI,CAAC,MAAM,CACT,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpB,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAC7D,CACF,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,OAAO,CAAC,GAAW,EAAE,IAAY;QAC/B,IAAI,CAAC,MAAM,CACT,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACpB,GAAG,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAClC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;YAC9D,CAAC,CAAC,GAAG,CACR,CACF,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,QAAQ,CAAC;QACvB,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ;aACjB,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;aACzB,UAAU,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IAED;;;;OAIG;IACM,MAAM,CAAC,IAAe;QAC7B,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;QAC1B,IACE,CAAC,CAAC,IAAI,YAAY,MAAM,CAAC;YACzB,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE;YACvB,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EACnD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBACvC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACnC,OAAO,MAAM,EAAE,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;oBAC1D,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;oBAChC,CAAC,CAAC,GAAG,CAAC;YACV,CAAC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;OAOG;IACH,CAAC,QAAQ;QACP,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;QAC7B,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC;QACzC,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,OAAO;QACT,CAAC;QACD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChC,MAAM,UAAU,GAAG,CAAC,GAAkB,EAAU,EAAE,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAC1E,6BAA6B;YAC7B,MAAM,MAAM,GAAG,CAAC,MAAM,OAAO,CAAC,GAAG,CAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAC1B,GAAG,CAAC,OAAO,EAAE,IAAI,KAAK,GAAG,CAAC,IAAI;gBAC5B,CAAC,CAAC,GAAG,CAAC,OAAO;gBACb,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM;qBACpB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;qBAC1C,IAAI,CACH,CAAC,UAAgC,EAAE,EAAE,CAAC,CAAC;oBACrC,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,GAAG,UAAU;iBACd,CAAC,EACF,CAAC,KAAc,EAAE,EAAE,CACjB,KAAK,YAAY,eAAe;oBAC9B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI,eAAe,CACjB,mBAAmB,CAAC,OAAO,EAC3B,KAAK,YAAY,KAAK;wBACpB,CAAC,CAAC,KAAK,CAAC,OAAO;wBACf,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAClB,CACR,CACR,CACF,CAAgD,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBACxC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC7B,OAAO,MAAM,YAAY,eAAe;oBACtC,CAAC,CAAC;wBACE,GAAG,EAAE,GAAG,CAAC,GAAG;wBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;wBACd,IAAI,EAAE,GAAG,CAAC,IAAI;wBACd,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC;qBAC3B;oBACH,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YACxE,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;YACjB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;YACpB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC;YAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;gBAC5D,OAAO;YACT,CAAC;YACD,oEAAoE;YACpE,uDAAuD;YACvD,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1D,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,8CAA8C;YAC9C,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjC,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAG,GAAG,CAAC,OAAiC,CAAC,OAAO;aACvD,CAAC,CAAC,CAAC;YACJ,MAAM,OAAO,GAAG,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CACxD,OAAO,CAAC,KAAK,EACb,4BAA4B,CAC1B,KAAK,EACL,SAAS,EACT,OAAO,EACP,WAAW,CAAC,QAAQ,EACpB,IAAI,CACL,CACF,CAAkD,CAAC;YACpD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,oBAAoB,CAC5C,OAAO,EACP,SAAS,EACT,KAAK,EACL,OAAO,EACP,qBAAqB,CACnB,IAAI,YAAY,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,EAC7C,SAAS,CAAC,EAAE,EACZ,OAAO,CAAC,KAAK,CACd,CACF,CAAC;YACF,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;YACrB,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,IAAI,CAAC,UAAU,CACb,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EACpD,KAAK,CACN,CAAC;gBACF,OAAO;YACT,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACzC,GAAG,GAAG;gBACN,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;aAC1B,CAAC,CAAC,CAAC;YACJ,6DAA6D;YAC7D,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAClE,OAAO;YACT,CAAC;YACD,6DAA6D;YAC7D,MAAM,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,QAAQ,CAClC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAC3C,SAAS,EACT,MAAM,EACN,KAAK,CACN,CAAuE,CAAC;YACzE,IAAI,OAAO,EAAE,CAAC;gBACZ,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,8DAA8D;IACtD,eAAe,CAAC,QAAyC;QAC/D,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;QACxE,CAAC,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC3D,CAAC;IAED,yEAAyE;IACjE,UAAU,CAChB,MAA0B,EAC1B,KAAkC,EAClC,OAAO,GAAG,KAAK;QAEf,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC;gBACE,OAAO,EAAE,oBAAoB,CAAC,IAAI,CAAC,gBAAgB,EAAE,KAAK,CAAC,SAAS,CAAC;aACtE;YACH,CAAC,CAAC,OAAO,CAAC;QACZ,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACvC,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM;YACtC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YAC5B,CAAC,CAAC,GAAG,CACR,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,QAAQ,CACpB,KAAY,EACZ,SAAiB,EACjB,MAAgD,EAChD,KAAa;QAIb,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;QAC7B,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC;QACzC,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,CAAC;QACjC,8CAA8C;QAC9C,IAAI,CAAC,OAAO,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,CAAC,WAAW,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,gBAAgB,GAAG,WAAW,CAAC,kBAAkB,CACpD,KAAK,EACL,SAAS,CAAC,EAAE,EACZ,OAAO,CAAC,KAAK,EACb,OAAO,CACR,CAAC;QACF,MAAM,IAAI,GAAG,KAAK,EAChB,KAAa,EACyB,EAAE;YACxC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC;gBACvD,IAAI,EAAE,OAAO;gBACb,SAAS,EAAE,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC;gBAC7C,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;aACpC,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACvC,IAAI,MAAU,CAAC;YACf,IAAI,CAAC;gBACH,MAAM,GAAG,IAAI,YAAY;gBACvB,yDAAyD;gBACzD,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,EAAE;oBAC7B,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAC9B,WAAW,CAAC,QAAQ,CACrB,CAAC,mBAAmB,CAAC;oBACpB,QAAQ,EAAE,CAAC;oBACX,OAAO;oBACP,YAAY,EAAE,IAAI,CAAC,gBAAgB;iBACpC,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,+DAA+D;gBAC/D,OAAO,IAAI,eAAe,CACxB,mBAAmB,CAAC,OAAO,EAC3B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EACtD,SAAS,CAAC,EAAE,CACb,CAAC;YACJ,CAAC;YACD,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CACnE,GAAG,EAAE,CAAC,SAAS,EACf,CAAC,KAAc,EAAE,EAAE,CACjB,KAAK,YAAY,eAAe;gBAC9B,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,eAAe,CACjB,mBAAmB,CAAC,OAAO,EAC3B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACvD,CACR,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IACE,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAC5B,KAAK,CAAC,IAAI,KAAK,mBAAmB,CAAC,OAAO,EAC1C,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACjE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC;IACzD,CAAC;CACF"}

package/lib/stores/editors/CubeGroupDraft.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Copyright (c) 2026-present, Goldman Sachs
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+import { type ColumnAggregation, type Group, type Schema } from '@finos/legend-cube';
+import { type CubeAggregationRow } from './CubeAggregationRows.js';
+import { CubeNodeDraft } from './CubeNodeDraft.js';
+/** One aggregation row of the Group editor (`CubeAggregationRow`) */
+export type CubeGroupRow = CubeAggregationRow;
+/**
+ * Whether a row builds an aggregation of a Group: it has a column, or it is
+ * Count rows, or it holds a function this version doesn't know with no column
+ * (a newer client's, or a window function such as Rank), kept as saved (Q4).
+ * A blank row, or a column function whose column isn't picked yet, is left
+ * out.
+ */
+export declare const isBuiltGroupRow: (row: CubeGroupRow) => boolean;
+/**
+ * The Group editor's draft (spec §17.6: a multi-select of keys, then rows of
+ * column, function and output name; PLAN §11.5). Picks of keys are stored in
+ * the input's order, but a saved order is kept until the picks change (Q2).
+ * A row's name follows its column and function until typed (Q3). Picking a
+ * column first sets Count; switching to Count rows clears the column, which
+ * it can't hold, and back to a column function leaves one to pick. Which
+ * rows build is `isBuiltGroupRow`.
+ */
+export declare class CubeGroupDraft extends CubeNodeDraft<Group> {
+    columns: readonly string[];
+    rows: readonly CubeGroupRow[];
+    /** Anything was changed; until then, `build()` gives the original back */
+    private touched;
+    constructor(original: Group);
+    /** The aggregations the rows build, in order (`isBuiltGroupRow`) */
+    get aggregations(): ColumnAggregation[];
+    /** Ticks or unticks a key; the keys then follow the input's order (Q2) */
+    toggleColumn(name: string, schema: Schema): void;
+    /** Unticks every key: one group of all the rows */
+    clearColumns(): void;
+    addRow(): void;
+    removeRow(key: number): void;
+    private update;
+    /** Picks the row's column; with no function yet, Count */
+    setColumn(key: number, column: string): void;
+    /** Picks the row's function: Count rows takes no column, the others one */
+    setFunction(key: number, fn: string): void;
+    /** Types the row's name, kept exactly; the auto-name itself follows again */
+    setName(key: number, name: string): void;
+    build(): Group;
+}
+//# sourceMappingURL=CubeGroupDraft.d.ts.map

package/lib/stores/editors/CubeGroupDraft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CubeGroupDraft.d.ts","sourceRoot":"","sources":["../../../src/stores/editors/CubeGroupDraft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,KAAK,iBAAiB,EAEtB,KAAK,KAAK,EACV,KAAK,MAAM,EACZ,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAIL,KAAK,kBAAkB,EAQxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,qEAAqE;AACrE,MAAM,MAAM,YAAY,GAAG,kBAAkB,CAAC;AAE9C;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,GAAI,KAAK,YAAY,KAAG,OACD,CAAC;AAEpD;;;;;;;;GAQG;AACH,qBAAa,cAAe,SAAQ,aAAa,CAAC,KAAK,CAAC;IACtD,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,0EAA0E;IAC1E,OAAO,CAAC,OAAO,CAAS;gBAEZ,QAAQ,EAAE,KAAK;IAkB3B,oEAAoE;IACpE,IAAI,YAAY,IAAI,iBAAiB,EAAE,CAEtC;IAED,0EAA0E;IAC1E,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAKhD,mDAAmD;IACnD,YAAY,IAAI,IAAI;IAKpB,MAAM,IAAI,IAAI;IAKd,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAK5B,OAAO,CAAC,MAAM;IAQd,0DAA0D;IAC1D,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAM5C,2EAA2E;IAC3E,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI;IAI1C,6EAA6E;IAC7E,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAIxC,KAAK,IAAI,KAAK;CAQf"}