@_linked/core 1.0.0 → 1.2.0-next.20260302120536

package/lib/esm/queries/IRCanonicalize.js

@@ -0,0 +1,116 @@
+import { WhereMethods } from './SelectQuery.js';
+const toComparison = (comparison) => {
+    return {
+        kind: 'where_binary',
+        operator: comparison.operator,
+        left: comparison.left,
+        right: comparison.right,
+    };
+};
+const isDesugaredWhere = (arg) => {
+    return (typeof arg === 'object' &&
+        !!arg &&
+        'kind' in arg &&
+        (arg.kind === 'where_comparison' ||
+            arg.kind === 'where_boolean'));
+};
+const toExists = (comparison) => {
+    const nested = comparison.right.find(isDesugaredWhere);
+    if (!nested) {
+        return toComparison(comparison);
+    }
+    const nestedExpr = canonicalizeWhere(nested);
+    if (comparison.operator === WhereMethods.SOME) {
+        return {
+            kind: 'where_exists',
+            path: comparison.left,
+            predicate: nestedExpr,
+        };
+    }
+    if (comparison.operator === WhereMethods.EVERY) {
+        return {
+            kind: 'where_not',
+            expression: {
+                kind: 'where_exists',
+                path: comparison.left,
+                predicate: {
+                    kind: 'where_not',
+                    expression: nestedExpr,
+                },
+            },
+        };
+    }
+    return toComparison(comparison);
+};
+const canonicalizeComparison = (comparison) => {
+    if (comparison.operator === WhereMethods.SOME ||
+        comparison.operator === WhereMethods.EVERY ||
+        comparison.operator === 'some' ||
+        comparison.operator === 'every') {
+        return toExists(comparison);
+    }
+    return toComparison(comparison);
+};
+const flattenLogical = (operator, left, right) => {
+    const expressions = [];
+    if (left.kind === 'where_logical' && left.operator === operator) {
+        expressions.push(...left.expressions);
+    }
+    else {
+        expressions.push(left);
+    }
+    if (right.kind === 'where_logical' && right.operator === operator) {
+        expressions.push(...right.expressions);
+    }
+    else {
+        expressions.push(right);
+    }
+    return {
+        kind: 'where_logical',
+        operator,
+        expressions,
+    };
+};
+/**
+ * Recursively rewrites a desugared where-clause into canonical form:
+ * flattens nested AND/OR groups, converts quantifiers (some/every) to exists patterns.
+ */
+export const canonicalizeWhere = (where) => {
+    if (where.kind === 'where_comparison') {
+        if (where.operator === WhereMethods.EQUALS) {
+            const nestedQuantifier = where.right.find((arg) => isDesugaredWhere(arg) &&
+                arg.kind === 'where_comparison' &&
+                (arg.operator === WhereMethods.SOME ||
+                    arg.operator === WhereMethods.EVERY));
+            if (nestedQuantifier) {
+                return canonicalizeWhere(nestedQuantifier);
+            }
+        }
+        if (where.operator === WhereMethods.SOME ||
+            where.operator === WhereMethods.EVERY ||
+            where.operator === 'some' ||
+            where.operator === 'every') {
+            return toExists(where);
+        }
+        return toComparison(where);
+    }
+    const grouped = where;
+    let current = canonicalizeComparison(grouped.first);
+    grouped.andOr.forEach((token) => {
+        if (token.and) {
+            current = flattenLogical('and', current, canonicalizeWhere(token.and));
+        }
+        else if (token.or) {
+            current = flattenLogical('or', current, canonicalizeWhere(token.or));
+        }
+    });
+    return current;
+};
+/**
+ * Canonicalizes a desugared select query by normalizing its where-clause.
+ * All other fields pass through unchanged.
+ */
+export const canonicalizeDesugaredSelectQuery = (query) => {
+    return Object.assign(Object.assign({}, query), { where: query.where ? canonicalizeWhere(query.where) : undefined });
+};
+//# sourceMappingURL=IRCanonicalize.js.map

package/lib/esm/queries/IRCanonicalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRCanonicalize.js","sourceRoot":"","sources":["../../../src/queries/IRCanonicalize.ts"],"names":[],"mappings":"AAQA,OAAO,EAAC,YAAY,EAAC,MAAM,kBAAkB,CAAC;AAoC9C,MAAM,YAAY,GAAG,CACnB,UAAoC,EACV,EAAE;IAC5B,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,GAAsB,EAAyB,EAAE;IACzE,OAAO,CACL,OAAO,GAAG,KAAK,QAAQ;QACvB,CAAC,CAAC,GAAG;QACL,MAAM,IAAI,GAAG;QACb,CAAE,GAAsB,CAAC,IAAI,KAAK,kBAAkB;YACjD,GAAsB,CAAC,IAAI,KAAK,eAAe,CAAC,CACpD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,UAAoC,EACV,EAAE;IAC5B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,UAAU,CAAC,QAAQ,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,SAAS,EAAE,UAAU;SACtB,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,KAAK,YAAY,CAAC,KAAK,EAAE,CAAC;QAC/C,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE;gBACV,IAAI,EAAE,cAAc;gBACpB,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,SAAS,EAAE;oBACT,IAAI,EAAE,WAAW;oBACjB,UAAU,EAAE,UAAU;iBACvB;aACF;SACF,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,UAAoC,EACV,EAAE;IAC5B,IACE,UAAU,CAAC,QAAQ,KAAK,YAAY,CAAC,IAAI;QACzC,UAAU,CAAC,QAAQ,KAAK,YAAY,CAAC,KAAK;QACzC,UAAU,CAAC,QAA8B,KAAK,MAAM;QACpD,UAAU,CAAC,QAA8B,KAAK,OAAO,EACtD,CAAC;QACD,OAAO,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,YAAY,CAAC,UAAU,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,QAAsB,EACtB,IAA8B,EAC9B,KAA+B,EACR,EAAE;IACzB,MAAM,WAAW,GAA+B,EAAE,CAAC;IAEnD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAChE,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;SAAM,CAAC;QACN,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAClE,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,QAAQ;QACR,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAqB,EACK,EAAE;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;YAC3C,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CACvC,CAAC,GAAG,EAAmC,EAAE,CACvC,gBAAgB,CAAC,GAAG,CAAC;gBACrB,GAAG,CAAC,IAAI,KAAK,kBAAkB;gBAC/B,CAAC,GAAG,CAAC,QAAQ,KAAK,YAAY,CAAC,IAAI;oBACjC,GAAG,CAAC,QAAQ,KAAK,YAAY,CAAC,KAAK,CAAC,CACzC,CAAC;YACF,IAAI,gBAAgB,EAAE,CAAC;gBACrB,OAAO,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,IACE,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,IAAI;YACpC,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,KAAK;YACpC,KAAK,CAAC,QAA8B,KAAK,MAAM;YAC/C,KAAK,CAAC,QAA8B,KAAK,OAAO,EACjD,CAAC;YACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,OAAO,GAAG,KAA8B,CAAC;IAC/C,IAAI,OAAO,GAA6B,sBAAsB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAE9E,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;aAAM,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;YACpB,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,KAA2B,EACI,EAAE;IACjC,uCACK,KAAK,KACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,IAC/D;AACJ,CAAC,CAAC"}

package/lib/esm/queries/IRDesugar.d.ts

@@ -0,0 +1,98 @@
+import { JSNonNullPrimitive, SelectPath, SortByPath, WhereMethods, WherePath } from './SelectQuery.js';
+import { NodeReferenceValue, ShapeReferenceValue } from './QueryFactory.js';
+/**
+ * Internal pipeline input type — captures exactly what the desugar pass
+ * needs from a select query factory. Replaces the old LegacySelectQuery
+ * as the pipeline entry point.
+ */
+export type RawSelectInput = {
+    select: SelectPath;
+    where?: WherePath;
+    sortBy?: SortByPath;
+    subject?: unknown;
+    shape?: unknown;
+    limit?: number;
+    offset?: number;
+    singleResult?: boolean;
+};
+export type DesugaredPropertyStep = {
+    kind: 'property_step';
+    propertyShapeId: string;
+    where?: DesugaredWhere;
+};
+export type DesugaredCountStep = {
+    kind: 'count_step';
+    path: DesugaredPropertyStep[];
+    label?: string;
+};
+export type DesugaredTypeCastStep = {
+    kind: 'type_cast_step';
+    shapeId: string;
+};
+export type DesugaredStep = DesugaredPropertyStep | DesugaredCountStep | DesugaredTypeCastStep;
+export type DesugaredSelectionPath = {
+    kind: 'selection_path';
+    steps: DesugaredStep[];
+};
+export type DesugaredSubSelect = {
+    kind: 'sub_select';
+    parentPath: DesugaredStep[];
+    selections: DesugaredSelection;
+};
+export type DesugaredCustomObjectSelect = {
+    kind: 'custom_object_select';
+    entries: DesugaredCustomObjectEntry[];
+};
+export type DesugaredCustomObjectEntry = {
+    key: string;
+    value: DesugaredSelection;
+};
+export type DesugaredEvaluationSelect = {
+    kind: 'evaluation_select';
+    where: DesugaredWhere;
+};
+export type DesugaredMultiSelection = {
+    kind: 'multi_selection';
+    selections: DesugaredSelectionPath[];
+};
+export type DesugaredSelection = DesugaredSelectionPath | DesugaredSubSelect | DesugaredCustomObjectSelect | DesugaredEvaluationSelect | DesugaredMultiSelection;
+export type DesugaredWhereComparison = {
+    kind: 'where_comparison';
+    operator: WhereMethods;
+    left: DesugaredSelectionPath;
+    right: DesugaredWhereArg[];
+};
+export type DesugaredWhereBoolean = {
+    kind: 'where_boolean';
+    first: DesugaredWhereComparison;
+    andOr: Array<{
+        and?: DesugaredWhere;
+        or?: DesugaredWhere;
+    }>;
+};
+export type DesugaredWhere = DesugaredWhereComparison | DesugaredWhereBoolean;
+export type DesugaredSortBy = {
+    direction: 'ASC' | 'DESC';
+    paths: DesugaredSelectionPath[];
+};
+export type DesugaredWhereArg = JSNonNullPrimitive | NodeReferenceValue | ShapeReferenceValue | {
+    kind: 'arg_path';
+    subject?: ShapeReferenceValue;
+    path: DesugaredSelectionPath;
+} | DesugaredWhere;
+export type DesugaredSelectQuery = {
+    kind: 'desugared_select';
+    shapeId?: string;
+    subjectId?: string;
+    singleResult?: boolean;
+    limit?: number;
+    offset?: number;
+    selections: DesugaredSelection[];
+    sortBy?: DesugaredSortBy;
+    where?: DesugaredWhere;
+};
+/**
+ * Converts a RawSelectInput (DSL-level query) into a flat DesugaredSelectQuery
+ * by walking proxy-traced select/where/sortBy paths and extracting property steps.
+ */
+export declare const desugarSelectQuery: (query: RawSelectInput) => DesugaredSelectQuery;

package/lib/esm/queries/IRDesugar.js

@@ -0,0 +1,240 @@
+import { isWhereEvaluationPath, } from './SelectQuery.js';
+const isPropertyQueryStep = (step) => {
+    var _a;
+    return !!step && typeof step === 'object' && 'property' in step &&
+        !!((_a = step.property) === null || _a === void 0 ? void 0 : _a.id);
+};
+const isSizeStep = (step) => {
+    return !!step && typeof step === 'object' && 'count' in step;
+};
+const isShapeRef = (value) => !!value && typeof value === 'object' && 'id' in value && 'shape' in value;
+const isNodeRef = (value) => typeof value === 'object' && value !== null && 'id' in value;
+const isCustomQueryObject = (value) => !!value && typeof value === 'object' && !Array.isArray(value) &&
+    !('property' in value) && !('count' in value) && !('id' in value) &&
+    !('args' in value) && !('firstPath' in value) && !('method' in value);
+const toStep = (step) => {
+    if (isSizeStep(step)) {
+        return {
+            kind: 'count_step',
+            path: step.count.map((s) => toPropertyStepOnly(s)),
+            label: step.label,
+        };
+    }
+    if (isShapeRef(step)) {
+        return {
+            kind: 'type_cast_step',
+            shapeId: step.id,
+        };
+    }
+    if (isPropertyQueryStep(step)) {
+        const result = {
+            kind: 'property_step',
+            propertyShapeId: step.property.id,
+        };
+        if (step.where) {
+            result.where = toWhere(step.where);
+        }
+        return result;
+    }
+    // CustomQueryObject step — this appears in preload and sub-select paths
+    if (isCustomQueryObject(step)) {
+        // Return a property_step placeholder; the parent path handler will pick up sub-selects
+        // This is an edge case for preload where the sub-query object is pushed into the path
+        return {
+            kind: 'property_step',
+            propertyShapeId: '__sub_query',
+        };
+    }
+    throw new Error('Unsupported query step in desugar pass: ' + JSON.stringify(step));
+};
+const toPropertyStepOnly = (step) => {
+    if (isPropertyQueryStep(step)) {
+        return {
+            kind: 'property_step',
+            propertyShapeId: step.property.id,
+        };
+    }
+    throw new Error('Expected property step in count path');
+};
+/**
+ * Converts a SelectPath (QueryPath[] or CustomQueryObject) to desugared selections.
+ */
+const toSelections = (select) => {
+    if (Array.isArray(select)) {
+        return select.map((path) => toSelection(path));
+    }
+    // CustomQueryObject at top level
+    return [toCustomObjectSelect(select)];
+};
+/**
+ * Converts a single QueryPath to a DesugaredSelection.
+ * A QueryPath can be:
+ * - (QueryStep | SubQueryPaths)[] — a flat or nested array of steps
+ * - WherePath — a where evaluation used as a selection (e.g. p.bestFriend.equals(...))
+ */
+const toSelection = (path) => {
+    // WherePath used as a selection (e.g. customResultEqualsBoolean)
+    if (!Array.isArray(path)) {
+        if (isWhereEvaluationPath(path) || 'firstPath' in path) {
+            return {
+                kind: 'evaluation_select',
+                where: toWhere(path),
+            };
+        }
+        throw new Error('Unsupported non-array path in desugar selection pass');
+    }
+    // Check if the last element is a sub-query (nested array or custom object)
+    const lastElement = path[path.length - 1];
+    if (Array.isArray(lastElement)) {
+        // Sub-select: parent path steps + nested selections
+        const parentSteps = path.slice(0, -1).map((step) => toStep(step));
+        const nestedSelect = lastElement;
+        return {
+            kind: 'sub_select',
+            parentPath: parentSteps,
+            selections: toSubSelections(nestedSelect),
+        };
+    }
+    if (lastElement && typeof lastElement === 'object' && isCustomQueryObject(lastElement)) {
+        // Sub-select with custom object: parent path steps + custom object selections
+        const parentSteps = path.slice(0, -1).map((step) => toStep(step));
+        return {
+            kind: 'sub_select',
+            parentPath: parentSteps,
+            selections: toCustomObjectSelect(lastElement),
+        };
+    }
+    // Flat selection path
+    return {
+        kind: 'selection_path',
+        steps: path.map((step) => toStep(step)),
+    };
+};
+/**
+ * Converts sub-select contents (which can be QueryPath[] or CustomQueryObject).
+ */
+const toSubSelections = (select) => {
+    if (Array.isArray(select)) {
+        // Array of paths — could be a single path or multiple paths
+        if (select.length === 0) {
+            return { kind: 'selection_path', steps: [] };
+        }
+        const selections = select.map((path) => toSelection(path));
+        if (selections.length === 1) {
+            return selections[0];
+        }
+        // Multiple selections in a sub-select
+        return {
+            kind: 'multi_selection',
+            selections: selections.filter((s) => s.kind === 'selection_path'),
+        };
+    }
+    return toCustomObjectSelect(select);
+};
+/**
+ * Converts a CustomQueryObject to a DesugaredCustomObjectSelect.
+ */
+const toCustomObjectSelect = (obj) => {
+    const entries = Object.keys(obj).map((key) => ({
+        key,
+        value: toSelection(obj[key]),
+    }));
+    return {
+        kind: 'custom_object_select',
+        entries,
+    };
+};
+const toSelectionPath = (path) => {
+    if (!Array.isArray(path)) {
+        throw new Error('Unsupported non-array path in desugar selection pass');
+    }
+    return {
+        kind: 'selection_path',
+        steps: path.map((step) => toStep(step)),
+    };
+};
+const toWhereArg = (arg) => {
+    if (typeof arg === 'string' ||
+        typeof arg === 'number' ||
+        typeof arg === 'boolean' ||
+        arg instanceof Date) {
+        return arg;
+    }
+    if (isShapeRef(arg)) {
+        return arg;
+    }
+    if (isNodeRef(arg)) {
+        return arg;
+    }
+    if (arg && typeof arg === 'object') {
+        if (isWhereEvaluationPath(arg) || 'firstPath' in arg) {
+            return toWhere(arg);
+        }
+        if ('path' in arg) {
+            const pathArg = arg;
+            return {
+                kind: 'arg_path',
+                subject: pathArg.subject,
+                path: toSelectionPath(pathArg.path),
+            };
+        }
+    }
+    throw new Error('Unsupported where argument in desugar pass');
+};
+const toWhereComparison = (path) => {
+    if (!isWhereEvaluationPath(path)) {
+        throw new Error('Expected where evaluation path');
+    }
+    return {
+        kind: 'where_comparison',
+        operator: path.method,
+        left: toSelectionPath(path.path),
+        right: (path.args || []).map(toWhereArg),
+    };
+};
+const toWhere = (path) => {
+    if (path.firstPath) {
+        const grouped = path;
+        return {
+            kind: 'where_boolean',
+            first: toWhereComparison(grouped.firstPath),
+            andOr: grouped.andOr.map((token) => ({
+                and: token.and ? toWhere(token.and) : undefined,
+                or: token.or ? toWhere(token.or) : undefined,
+            })),
+        };
+    }
+    return toWhereComparison(path);
+};
+const toSortBy = (query) => {
+    if (!query.sortBy) {
+        return undefined;
+    }
+    return {
+        direction: query.sortBy.direction,
+        paths: query.sortBy.paths.map((path) => toSelectionPath(path)),
+    };
+};
+/**
+ * Converts a RawSelectInput (DSL-level query) into a flat DesugaredSelectQuery
+ * by walking proxy-traced select/where/sortBy paths and extracting property steps.
+ */
+export const desugarSelectQuery = (query) => {
+    var _a, _b, _c;
+    const selections = toSelections(query.select);
+    const subjectId = query.subject && typeof query.subject === 'object' && 'id' in query.subject
+        ? query.subject.id
+        : undefined;
+    return {
+        kind: 'desugared_select',
+        shapeId: ((_b = (_a = query.shape) === null || _a === void 0 ? void 0 : _a.shape) === null || _b === void 0 ? void 0 : _b.id) || ((_c = query.shape) === null || _c === void 0 ? void 0 : _c.id),
+        subjectId,
+        singleResult: query.singleResult,
+        limit: query.limit,
+        offset: query.offset,
+        selections,
+        sortBy: toSortBy(query),
+        where: query.where ? toWhere(query.where) : undefined,
+    };
+};
+//# sourceMappingURL=IRDesugar.js.map

package/lib/esm/queries/IRDesugar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRDesugar.js","sourceRoot":"","sources":["../../../src/queries/IRDesugar.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,qBAAqB,GAUtB,MAAM,kBAAkB,CAAC;AA6H1B,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAuD,EAAE;;IACjG,OAAO,CAAC,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,UAAU,IAAI,IAAI;QAC7D,CAAC,CAAC,CAAA,MAAC,IAAyB,CAAC,QAAQ,0CAAE,EAAE,CAAA,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAa,EAAoB,EAAE;IACrD,OAAO,CAAC,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,IAAI,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAc,EAAgC,EAAE,CAClE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC;AAE5E,MAAM,SAAS,GAAG,CAAC,KAAc,EAA+B,EAAE,CAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAC;AAE/D,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAA8B,EAAE,CACzE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAC7D,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC;IACjE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC;AAExE,MAAM,MAAM,GAAG,CAAC,IAAe,EAAiB,EAAE;IAChD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;YAClD,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAG,IAA4B,CAAC,EAAE;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GAA0B;YACpC,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;SAClC,CAAC;QACF,IAAK,IAAY,CAAC,KAAK,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,GAAG,OAAO,CAAE,IAAY,CAAC,KAAK,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wEAAwE;IACxE,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,uFAAuF;QACvF,sFAAsF;QACtF,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,aAAa;SAC/B,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AACrF,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,IAAe,EAAyB,EAAE;IACpE,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;SAClC,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;AAC1D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,YAAY,GAAG,CAAC,MAAkB,EAAwB,EAAE;IAChE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAiB,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,iCAAiC;IACjC,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAAC,IAAe,EAAsB,EAAE;IAC1D,iEAAiE;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,WAAW,IAAK,IAAgC,EAAE,CAAC;YACpF,OAAO;gBACL,IAAI,EAAE,mBAAmB;gBACzB,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC;aACrB,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IAED,2EAA2E;IAC3E,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,oDAAoD;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC,CAAC;QAC/E,MAAM,YAAY,GAAG,WAAoC,CAAC;QAC1D,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,eAAe,CAAC,YAAY,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC;QACvF,8EAA8E;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC,CAAC;QAC/E,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,oBAAoB,CAAC,WAAW,CAAC;SAC9C,CAAC;IACJ,CAAC;IAED,sBAAsB;IACtB,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC;KACrD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAAG,CAAC,MAAkB,EAAsB,EAAE;IACjE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,4DAA4D;QAC5D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,EAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE,EAAC,CAAC;QAC7C,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAiB,CAAC,CAAC,CAAC;QACxE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;QACD,sCAAsC;QACtC,OAAO;YACL,IAAI,EAAE,iBAA0B;YAChC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;SAC/F,CAAC;IACJ,CAAC;IACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAAC,GAAsB,EAA+B,EAAE;IACnF,MAAM,OAAO,GAAiC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3E,GAAG;QACH,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;KAC7B,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAe,EAA0B,EAAE;IAClE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAiB,CAAC,CAAC;KACrD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,GAAY,EAAqB,EAAE;IACrD,IACE,OAAO,GAAG,KAAK,QAAQ;QACvB,OAAO,GAAG,KAAK,QAAQ;QACvB,OAAO,GAAG,KAAK,SAAS;QACxB,GAAG,YAAY,IAAI,EACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,qBAAqB,CAAC,GAAgB,CAAC,IAAI,WAAW,IAAK,GAA+B,EAAE,CAAC;YAC/F,OAAO,OAAO,CAAC,GAAgB,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,MAAM,IAAK,GAAe,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,GAAc,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,IAA4B,CAAC;aAC5D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,IAAe,EAA4B,EAAE;IACtE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,QAAQ,EAAE,IAAI,CAAC,MAAM;QACrB,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,IAA4B,CAAC;QACxD,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;KACzC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAC,IAAe,EAAkB,EAAE;IAClD,IAAK,IAAmB,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,IAAkB,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3C,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACnC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC/C,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;aAC7C,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC,CAAC;AAGF,MAAM,QAAQ,GAAG,CAAC,KAAqB,EAA+B,EAAE;IACtE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;QACjC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAiB,CAAC,CAAC;KAC5E,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAqB,EAAwB,EAAE;;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAE9C,MAAM,SAAS,GACb,KAAK,CAAC,OAAO,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO;QACzE,CAAC,CAAE,KAAK,CAAC,OAA8B,CAAC,EAAE;QAC1C,CAAC,CAAC,SAAS,CAAC;IAEhB,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAA,MAAA,MAAC,KAAK,CAAC,KAAa,0CAAE,KAAK,0CAAE,EAAE,MAAI,MAAC,KAAK,CAAC,KAAa,0CAAE,EAAE,CAAA;QACpE,SAAS;QACT,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU;QACV,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;QACvB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;KACtD,CAAC;AACJ,CAAC,CAAC"}

package/lib/esm/queries/IRLower.d.ts

@@ -0,0 +1,8 @@
+import { CanonicalDesugaredSelectQuery } from './IRCanonicalize.js';
+import { IRSelectQuery } from './IntermediateRepresentation.js';
+/**
+ * Lowers a canonical desugared select query into the final IRSelectQuery.
+ * Introduces aliases, graph patterns (shape scans, traversals), and
+ * converts selection paths and where-clauses into IR expressions.
+ */
+export declare const lowerSelectQuery: (canonical: CanonicalDesugaredSelectQuery) => IRSelectQuery;