@_linked/core 1.1.0 → 1.2.0-next.20260302120536

package/lib/cjs/queries/IRLower.js

@@ -0,0 +1,272 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.lowerSelectQuery = void 0;
+const IRCanonicalize_js_1 = require("./IRCanonicalize.js");
+const IRProjection_js_1 = require("./IRProjection.js");
+const IRAliasScope_js_1 = require("./IRAliasScope.js");
+class LoweringContext {
+    constructor() {
+        this.counter = 0;
+        this.patterns = [];
+        this.traverseMap = new Map();
+        this.filterMap = new Map();
+        this.rootAlias = this.nextAlias();
+    }
+    nextAlias() {
+        return `a${this.counter++}`;
+    }
+    getOrCreateTraversal(fromAlias, propertyShapeId) {
+        const key = `${fromAlias}:${propertyShapeId}`;
+        const existing = this.traverseMap.get(key);
+        if (existing)
+            return existing;
+        const toAlias = this.nextAlias();
+        this.patterns.push({
+            kind: 'traverse',
+            from: fromAlias,
+            to: toAlias,
+            property: propertyShapeId,
+        });
+        this.traverseMap.set(key, toAlias);
+        return toAlias;
+    }
+    generateAlias() {
+        return this.nextAlias();
+    }
+    /**
+     * Attaches an inline where filter to the traverse pattern targeting `toAlias`.
+     * The filter will be merged into the pattern when `getPatterns()` is called.
+     */
+    attachFilter(toAlias, filter) {
+        this.filterMap.set(toAlias, filter);
+    }
+    getPatterns() {
+        return this.patterns.map((p) => {
+            if (p.kind === 'traverse' && this.filterMap.has(p.to)) {
+                return Object.assign(Object.assign({}, p), { filter: this.filterMap.get(p.to) });
+            }
+            return p;
+        });
+    }
+}
+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 lowerPath = (path, options) => (0, IRProjection_js_1.lowerSelectionPathExpression)(path, options);
+const lowerWhereArg = (arg, ctx, options) => {
+    if (typeof arg === 'string' || typeof arg === 'number' || typeof arg === 'boolean') {
+        return { kind: 'literal_expr', value: arg };
+    }
+    if (arg instanceof Date) {
+        return { kind: 'literal_expr', value: arg.toISOString() };
+    }
+    if (arg && typeof arg === 'object') {
+        if ('kind' in arg && arg.kind === 'arg_path') {
+            const argPath = arg;
+            if (argPath.subject && argPath.subject.id) {
+                // Context entity path — resolve property relative to the context IRI
+                const lastStep = argPath.path.steps[argPath.path.steps.length - 1];
+                if (lastStep && lastStep.kind === 'property_step') {
+                    return {
+                        kind: 'context_property_expr',
+                        contextIri: argPath.subject.id,
+                        property: lastStep.propertyShapeId,
+                    };
+                }
+            }
+            return lowerPath(argPath.path, options);
+        }
+        if (isShapeRef(arg)) {
+            return { kind: 'reference_expr', value: arg.id };
+        }
+        if (isNodeRef(arg)) {
+            return { kind: 'reference_expr', value: arg.id };
+        }
+    }
+    return { kind: 'literal_expr', value: null };
+};
+const lowerWhere = (where, ctx, options) => {
+    switch (where.kind) {
+        case 'where_binary': {
+            const comp = where;
+            return {
+                kind: 'binary_expr',
+                operator: comp.operator,
+                left: lowerPath(comp.left, options),
+                right: comp.right.length > 0
+                    ? lowerWhereArg(comp.right[0], ctx, options)
+                    : { kind: 'literal_expr', value: null },
+            };
+        }
+        case 'where_logical': {
+            const logical = where;
+            return {
+                kind: 'logical_expr',
+                operator: logical.operator,
+                expressions: logical.expressions.map((expr) => lowerWhere(expr, ctx, options)),
+            };
+        }
+        case 'where_exists': {
+            const exists = where;
+            const traversals = [];
+            const localTraversalMap = new Map();
+            const existsResolveTraversal = (fromAlias, propertyShapeId) => {
+                const key = `${fromAlias}:${propertyShapeId}`;
+                const existing = localTraversalMap.get(key);
+                if (existing)
+                    return existing;
+                const toAlias = ctx.generateAlias();
+                traversals.push({
+                    kind: 'traverse',
+                    from: fromAlias,
+                    to: toAlias,
+                    property: propertyShapeId,
+                });
+                localTraversalMap.set(key, toAlias);
+                return toAlias;
+            };
+            let existsRootAlias = options.rootAlias;
+            for (const step of exists.path.steps) {
+                if (step.kind === 'property_step') {
+                    existsRootAlias = existsResolveTraversal(existsRootAlias, step.propertyShapeId);
+                }
+            }
+            const filter = lowerWhere(exists.predicate, ctx, {
+                rootAlias: existsRootAlias,
+                resolveTraversal: existsResolveTraversal,
+            });
+            return {
+                kind: 'exists_expr',
+                pattern: traversals.length === 1
+                    ? traversals[0]
+                    : { kind: 'join', patterns: traversals },
+                filter,
+            };
+        }
+        case 'where_not': {
+            const not = where;
+            return {
+                kind: 'not_expr',
+                expression: lowerWhere(not.expression, ctx, options),
+            };
+        }
+        default:
+            throw new Error(`Unknown canonical where kind: ${where.kind}`);
+    }
+};
+const combineWithParentPath = (parentPath, path) => ({
+    kind: 'selection_path',
+    steps: [...parentPath, ...path.steps],
+});
+/**
+ * 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.
+ */
+const lowerSelectQuery = (canonical) => {
+    const ctx = new LoweringContext();
+    const pathOptions = {
+        rootAlias: ctx.rootAlias,
+        resolveTraversal: (fromAlias, propertyShapeId) => ctx.getOrCreateTraversal(fromAlias, propertyShapeId),
+    };
+    const root = {
+        kind: 'shape_scan',
+        shape: canonical.shapeId || '',
+        alias: ctx.rootAlias,
+    };
+    const aliasAfterPath = (steps) => {
+        let currentAlias = pathOptions.rootAlias;
+        for (const step of steps) {
+            if (step.kind === 'property_step') {
+                currentAlias = pathOptions.resolveTraversal(currentAlias, step.propertyShapeId);
+            }
+        }
+        return currentAlias;
+    };
+    const collectProjectionSeeds = (selection, key, parentPath = []) => {
+        if (selection.kind === 'selection_path') {
+            return [{
+                    kind: 'path',
+                    path: combineWithParentPath(parentPath, selection),
+                    key,
+                }];
+        }
+        if (selection.kind === 'sub_select') {
+            return collectProjectionSeeds(selection.selections, key, [...parentPath, ...selection.parentPath]);
+        }
+        if (selection.kind === 'custom_object_select') {
+            return selection.entries.flatMap((entry) => collectProjectionSeeds(entry.value, entry.key, parentPath));
+        }
+        if (selection.kind === 'multi_selection') {
+            return selection.selections.map((path) => ({
+                kind: 'path',
+                path: combineWithParentPath(parentPath, path),
+                key,
+            }));
+        }
+        if (selection.kind === 'evaluation_select') {
+            const canonicalWhere = (0, IRCanonicalize_js_1.canonicalizeWhere)(selection.where);
+            return [{
+                    kind: 'expression',
+                    key: key || 'value',
+                    expression: lowerWhere(canonicalWhere, ctx, {
+                        rootAlias: aliasAfterPath(parentPath),
+                        resolveTraversal: pathOptions.resolveTraversal,
+                    }),
+                }];
+        }
+        return [];
+    };
+    const projectionSeeds = canonical.selections.flatMap((selection) => collectProjectionSeeds(selection));
+    const projectionScope = new IRAliasScope_js_1.IRAliasScope('projection');
+    projectionScope.registerAlias(ctx.rootAlias, 'root');
+    const projection = [];
+    const resultMapEntries = [];
+    // Inline filter handler: when a property step has `.where()`, canonicalize
+    // and lower the where predicate, then attach it to the traverse pattern.
+    const inlineFilterHandler = (traverseAlias, where) => {
+        const canonical = (0, IRCanonicalize_js_1.canonicalizeWhere)(where);
+        const filterExpr = lowerWhere(canonical, ctx, {
+            rootAlias: traverseAlias,
+            resolveTraversal: pathOptions.resolveTraversal,
+        });
+        ctx.attachFilter(traverseAlias, filterExpr);
+    };
+    for (const seed of projectionSeeds) {
+        const key = seed.kind === 'path'
+            ? (seed.key || (0, IRProjection_js_1.projectionKeyFromPath)(seed.path))
+            : seed.key;
+        const alias = projectionScope.generateAlias(key).alias;
+        projection.push({
+            alias,
+            expression: seed.kind === 'path'
+                ? (0, IRProjection_js_1.lowerSelectionPathExpression)(seed.path, pathOptions, inlineFilterHandler)
+                : seed.expression,
+        });
+        resultMapEntries.push({
+            key,
+            alias,
+        });
+    }
+    const where = canonical.where ? lowerWhere(canonical.where, ctx, pathOptions) : undefined;
+    const orderBy = canonical.sortBy
+        ? canonical.sortBy.paths.map((path) => ({
+            expression: lowerPath(path, pathOptions),
+            direction: canonical.sortBy.direction,
+        }))
+        : undefined;
+    return {
+        kind: 'select',
+        root,
+        patterns: ctx.getPatterns(),
+        projection,
+        where,
+        orderBy,
+        limit: canonical.limit,
+        offset: canonical.offset,
+        subjectId: canonical.subjectId,
+        singleResult: canonical.singleResult,
+        resultMap: resultMapEntries,
+    };
+};
+exports.lowerSelectQuery = lowerSelectQuery;
+//# sourceMappingURL=IRLower.js.map

package/lib/cjs/queries/IRLower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRLower.js","sourceRoot":"","sources":["../../../src/queries/IRLower.ts"],"names":[],"mappings":";;;AAyBA,2DAAsD;AACtD,uDAAsF;AACtF,uDAA+C;AAG/C,MAAM,eAAe;IAOnB;QANQ,YAAO,GAAG,CAAC,CAAC;QACZ,aAAQ,GAAqB,EAAE,CAAC;QAChC,gBAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,cAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;QAIlD,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IACpC,CAAC;IAEO,SAAS;QACf,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;IAC9B,CAAC;IAED,oBAAoB,CAAC,SAAiB,EAAE,eAAuB;QAC7D,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,eAAe,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAE9B,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,OAAO;YACX,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;IAC1B,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,OAAe,EAAE,MAAoB;QAChD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtD,uCAAW,CAAC,KAAE,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,IAAE;YACnD,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAOD,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,SAAS,GAAG,CAChB,IAA4B,EAC5B,OAA4B,EACd,EAAE,CAAC,IAAA,8CAA4B,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAE/D,MAAM,aAAa,GAAG,CACpB,GAAsB,EACtB,GAAoB,EACpB,OAA4B,EACd,EAAE;IAChB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;QACnF,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAC,CAAC;IAC5C,CAAC;IACD,IAAI,GAAG,YAAY,IAAI,EAAE,CAAC;QACxB,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,EAAC,CAAC;IAC1D,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,GAAsF,CAAC;YACvG,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;gBAC1C,qEAAqE;gBACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACnE,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAClD,OAAO;wBACL,IAAI,EAAE,uBAAuB;wBAC7B,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE;wBAC9B,QAAQ,EAAE,QAAQ,CAAC,eAAe;qBACnC,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,OAAO,EAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAC,CAAC;QACjD,CAAC;QACD,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,EAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAG,GAA0B,CAAC,EAAE,EAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,OAAO,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA+B,EAC/B,GAAoB,EACpB,OAA4B,EACd,EAAE;IAChB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,KAAiC,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,QAAQ,EAAE,IAAI,CAAC,QAAgD;gBAC/D,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;gBACnC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;oBAC1B,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC;oBAC5C,CAAC,CAAC,EAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAC;aACxC,CAAC;QACJ,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,OAAO,GAAG,KAA8B,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;aAC/E,CAAC;QACJ,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,KAA6B,CAAC;YAC7C,MAAM,UAAU,GAAwB,EAAE,CAAC;YAC3C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;YAEpD,MAAM,sBAAsB,GAAG,CAAC,SAAiB,EAAE,eAAuB,EAAU,EAAE;gBACpF,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,eAAe,EAAE,CAAC;gBAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBAE9B,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;gBACpC,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,OAAO;oBACX,QAAQ,EAAE,eAAe;iBAC1B,CAAC,CAAC;gBACH,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACpC,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC;YAEF,IAAI,eAAe,GAAG,OAAO,CAAC,SAAS,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAClC,eAAe,GAAG,sBAAsB,CAAC,eAAe,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;YAED,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,EAAE;gBAC/C,SAAS,EAAE,eAAe;gBAC1B,gBAAgB,EAAE,sBAAsB;aACzC,CAAC,CAAC;YAEH,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;oBAC9B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,EAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAC;gBACxC,MAAM;aACP,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,GAAG,GAAG,KAA0B,CAAC;YACvC,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC;aACrD,CAAC;QACJ,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,iCAAkC,KAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC,CAAC;AAcF,MAAM,qBAAqB,GAAG,CAC5B,UAA2B,EAC3B,IAA4B,EACJ,EAAE,CAAC,CAAC;IAC5B,IAAI,EAAE,gBAAgB;IACtB,KAAK,EAAE,CAAC,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;CACtC,CAAC,CAAC;AAEH;;;;GAIG;AACI,MAAM,gBAAgB,GAAG,CAC9B,SAAwC,EACzB,EAAE;IACjB,MAAM,GAAG,GAAG,IAAI,eAAe,EAAE,CAAC;IAClC,MAAM,WAAW,GAAwB;QACvC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,gBAAgB,EAAE,CAAC,SAAiB,EAAE,eAAuB,EAAE,EAAE,CAC/D,GAAG,CAAC,oBAAoB,CAAC,SAAS,EAAE,eAAe,CAAC;KACvD,CAAC;IAEF,MAAM,IAAI,GAAuB;QAC/B,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,SAAS,CAAC,OAAO,IAAI,EAAE;QAC9B,KAAK,EAAE,GAAG,CAAC,SAAS;KACrB,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,KAAsB,EAAU,EAAE;QACxD,IAAI,YAAY,GAAG,WAAW,CAAC,SAAS,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAClC,YAAY,GAAG,WAAW,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,CAC7B,SAA6B,EAC7B,GAAY,EACZ,aAA8B,EAAE,EACd,EAAE;QACpB,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACxC,OAAO,CAAC;oBACN,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC;oBAClD,GAAG;iBACJ,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACpC,OAAO,sBAAsB,CAC3B,SAAS,CAAC,UAAU,EACpB,GAAG,EACH,CAAC,GAAG,UAAU,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CACzC,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAC9C,OAAO,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACzC,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC,CAC3D,CAAC;QACJ,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACzC,OAAO,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzC,IAAI,EAAE,MAAe;gBACrB,IAAI,EAAE,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC;gBAC7C,GAAG;aACJ,CAAC,CAAC,CAAC;QACN,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAC3C,MAAM,cAAc,GAAG,IAAA,qCAAiB,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO,CAAC;oBACN,IAAI,EAAE,YAAY;oBAClB,GAAG,EAAE,GAAG,IAAI,OAAO;oBACnB,UAAU,EAAE,UAAU,CAAC,cAAc,EAAE,GAAG,EAAE;wBAC1C,SAAS,EAAE,cAAc,CAAC,UAAU,CAAC;wBACrC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;qBAC/C,CAAC;iBACH,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,eAAe,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CACjE,sBAAsB,CAAC,SAAS,CAAC,CAClC,CAAC;IAEF,MAAM,eAAe,GAAG,IAAI,8BAAY,CAAC,YAAY,CAAC,CAAC;IACvD,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAEhD,2EAA2E;IAC3E,yEAAyE;IACzE,MAAM,mBAAmB,GAAG,CAAC,aAAqB,EAAE,KAAqB,EAAE,EAAE;QAC3E,MAAM,SAAS,GAAG,IAAA,qCAAiB,EAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,EAAE,GAAG,EAAE;YAC5C,SAAS,EAAE,aAAa;YACxB,gBAAgB,EAAE,WAAW,CAAC,gBAAgB;SAC/C,CAAC,CAAC;QACH,GAAG,CAAC,YAAY,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM;YAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,IAAA,uCAAqB,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACb,MAAM,KAAK,GAAG,eAAe,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC;YACd,KAAK;YACL,UAAU,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM;gBAC9B,CAAC,CAAC,IAAA,8CAA4B,EAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,mBAAmB,CAAC;gBAC3E,CAAC,CAAC,IAAI,CAAC,UAAU;SACpB,CAAC,CAAC;QACH,gBAAgB,CAAC,IAAI,CAAC;YACpB,GAAG;YACH,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE1F,MAAM,OAAO,GAAgC,SAAS,CAAC,MAAM;QAC3D,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACpC,UAAU,EAAE,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC;YACxC,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS;SACtC,CAAC,CAAC;QACL,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,QAAQ,EAAE,GAAG,CAAC,WAAW,EAAE;QAC3B,UAAU;QACV,KAAK;QACL,OAAO;QACP,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,SAAS,EAAE,gBAAgB;KAC5B,CAAC;AACJ,CAAC,CAAC;AAvIW,QAAA,gBAAgB,oBAuI3B"}

package/lib/cjs/queries/IRMutation.d.ts

@@ -0,0 +1,23 @@
+import { NodeShape } from '../shapes/SHACL.js';
+import { NodeDescriptionValue, NodeReferenceValue } from './QueryFactory.js';
+import { IRCreateMutation, IRDeleteMutation, IRUpdateMutation } from './IntermediateRepresentation.js';
+type CreateMutationInput = {
+    shape: NodeShape;
+    description: NodeDescriptionValue;
+};
+type UpdateMutationInput = {
+    id: string;
+    shape: NodeShape;
+    updates: NodeDescriptionValue;
+};
+type DeleteMutationInput = {
+    shape: NodeShape;
+    ids: NodeReferenceValue[];
+};
+/** Builds an IRCreateMutation from a create factory's internal description. */
+export declare const buildCanonicalCreateMutationIR: (query: CreateMutationInput) => IRCreateMutation;
+/** Builds an IRUpdateMutation from an update factory's internal description. */
+export declare const buildCanonicalUpdateMutationIR: (query: UpdateMutationInput) => IRUpdateMutation;
+/** Builds an IRDeleteMutation from a delete factory's internal description. */
+export declare const buildCanonicalDeleteMutationIR: (query: DeleteMutationInput) => IRDeleteMutation;
+export {};

package/lib/cjs/queries/IRMutation.js

@@ -0,0 +1,77 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildCanonicalDeleteMutationIR = exports.buildCanonicalUpdateMutationIR = exports.buildCanonicalCreateMutationIR = void 0;
+const QueryFactory_js_1 = require("./QueryFactory.js");
+const toNodeReference = (value) => ({
+    id: value.id,
+});
+const toSetModification = (value) => {
+    return {
+        add: value.$add
+            ? value.$add.map((item) => toFieldValue(item))
+            : undefined,
+        remove: value.$remove ? value.$remove.map((item) => toNodeReference(item)) : undefined,
+    };
+};
+const toSingleFieldValue = (value) => {
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value === 'string' ||
+        typeof value === 'number' ||
+        typeof value === 'boolean' ||
+        value instanceof Date) {
+        return value;
+    }
+    if ('id' in value) {
+        return toNodeReference(value);
+    }
+    return toNodeData(value);
+};
+const toFieldValue = (value) => {
+    if (Array.isArray(value)) {
+        return value.map((item) => toSingleFieldValue(item));
+    }
+    if ((0, QueryFactory_js_1.isSetModificationValue)(value)) {
+        return toSetModification(value);
+    }
+    return toSingleFieldValue(value);
+};
+const toFieldUpdate = (field) => {
+    return {
+        property: field.prop.id,
+        value: toFieldValue(field.val),
+    };
+};
+const toNodeData = (description) => {
+    return Object.assign({ shape: description.shape.id, fields: description.fields.map(toFieldUpdate) }, (description.__id ? { id: description.__id } : {}));
+};
+/** Builds an IRCreateMutation from a create factory's internal description. */
+const buildCanonicalCreateMutationIR = (query) => {
+    return {
+        kind: 'create',
+        shape: query.shape.id,
+        data: toNodeData(query.description),
+    };
+};
+exports.buildCanonicalCreateMutationIR = buildCanonicalCreateMutationIR;
+/** Builds an IRUpdateMutation from an update factory's internal description. */
+const buildCanonicalUpdateMutationIR = (query) => {
+    return {
+        kind: 'update',
+        shape: query.shape.id,
+        id: query.id,
+        data: toNodeData(query.updates),
+    };
+};
+exports.buildCanonicalUpdateMutationIR = buildCanonicalUpdateMutationIR;
+/** Builds an IRDeleteMutation from a delete factory's internal description. */
+const buildCanonicalDeleteMutationIR = (query) => {
+    return {
+        kind: 'delete',
+        shape: query.shape.id,
+        ids: query.ids.map((id) => ({ id: id.id })),
+    };
+};
+exports.buildCanonicalDeleteMutationIR = buildCanonicalDeleteMutationIR;
+//# sourceMappingURL=IRMutation.js.map

package/lib/cjs/queries/IRMutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRMutation.js","sourceRoot":"","sources":["../../../src/queries/IRMutation.ts"],"names":[],"mappings":";;;AACA,uDAO2B;AA2B3B,MAAM,eAAe,GAAG,CAAC,KAAyB,EAAsB,EAAE,CAAC,CAAC;IAC1E,EAAE,EAAE,KAAK,CAAC,EAAE;CACb,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,KAA2B,EAA0B,EAAE;IAChF,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,IAAI;YACb,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAkC,CAAC,CAAC;YAC5E,CAAC,CAAC,SAAS;QACb,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;KACvF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAgC,EAAgB,EAAE;IAC5E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAC1B,KAAK,YAAY,IAAI,EACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,IAAK,KAA4B,EAAE,CAAC;QAC1C,OAAO,eAAe,CAAC,KAA2B,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,UAAU,CAAC,KAA6B,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAgB,EAAE;IAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,IAAA,wCAAsB,EAAC,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,KAA6C,EAAiB,EAAE;IACrF,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;QACvB,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC;KAC/B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,WAAiC,EAAc,EAAE;IACnE,uBACE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,EAC3B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,IAC1C,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAC,EAAE,EAAE,WAAW,CAAC,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACnD;AACJ,CAAC,CAAC;AAEF,+EAA+E;AACxE,MAAM,8BAA8B,GAAG,CAC5C,KAA0B,EACR,EAAE;IACpB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QACrB,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC;AARW,QAAA,8BAA8B,kCAQzC;AAEF,gFAAgF;AACzE,MAAM,8BAA8B,GAAG,CAC5C,KAA0B,EACR,EAAE;IACpB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QACrB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;KAChC,CAAC;AACJ,CAAC,CAAC;AATW,QAAA,8BAA8B,kCASzC;AAEF,+EAA+E;AACxE,MAAM,8BAA8B,GAAG,CAC5C,KAA0B,EACR,EAAE;IACpB,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE;QACrB,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAC,CAAC,CAAC;KAC1C,CAAC;AACJ,CAAC,CAAC;AARW,QAAA,8BAA8B,kCAQzC"}

package/lib/cjs/queries/IRPipeline.d.ts

@@ -0,0 +1,8 @@
+import { RawSelectInput } from './IRDesugar.js';
+import { IRSelectQuery } from './IntermediateRepresentation.js';
+/**
+ * Runs the full select pipeline: desugar → canonicalize → lower.
+ * Accepts either a RawSelectInput (from a query factory) or an already-built
+ * IRSelectQuery (returned as-is).
+ */
+export declare const buildSelectQuery: (query: RawSelectInput | IRSelectQuery) => IRSelectQuery;

package/lib/cjs/queries/IRPipeline.js

@@ -0,0 +1,25 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildSelectQuery = void 0;
+const IRDesugar_js_1 = require("./IRDesugar.js");
+const IRCanonicalize_js_1 = require("./IRCanonicalize.js");
+const IRLower_js_1 = require("./IRLower.js");
+const isIRSelectQuery = (query) => !!query &&
+    typeof query === 'object' &&
+    'kind' in query &&
+    query.kind === 'select';
+/**
+ * Runs the full select pipeline: desugar → canonicalize → lower.
+ * Accepts either a RawSelectInput (from a query factory) or an already-built
+ * IRSelectQuery (returned as-is).
+ */
+const buildSelectQuery = (query) => {
+    if (isIRSelectQuery(query)) {
+        return query;
+    }
+    const desugared = (0, IRDesugar_js_1.desugarSelectQuery)(query);
+    const canonical = (0, IRCanonicalize_js_1.canonicalizeDesugaredSelectQuery)(desugared);
+    return (0, IRLower_js_1.lowerSelectQuery)(canonical);
+};
+exports.buildSelectQuery = buildSelectQuery;
+//# sourceMappingURL=IRPipeline.js.map

package/lib/cjs/queries/IRPipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRPipeline.js","sourceRoot":"","sources":["../../../src/queries/IRPipeline.ts"],"names":[],"mappings":";;;AAAA,iDAAkE;AAClE,2DAAqE;AACrE,6CAA8C;AAG9C,MAAM,eAAe,GAAG,CAAC,KAAc,EAA0B,EAAE,CACjE,CAAC,CAAC,KAAK;IACP,OAAO,KAAK,KAAK,QAAQ;IACzB,MAAM,IAAI,KAAK;IACd,KAAuB,CAAC,IAAI,KAAK,QAAQ,CAAC;AAE7C;;;;GAIG;AACI,MAAM,gBAAgB,GAAG,CAAC,KAAqC,EAAiB,EAAE;IACvF,IAAI,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,IAAA,iCAAkB,EAAC,KAAuB,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAA,oDAAgC,EAAC,SAAS,CAAC,CAAC;IAC9D,OAAO,IAAA,6BAAgB,EAAC,SAAS,CAAC,CAAC;AACrC,CAAC,CAAC;AARW,QAAA,gBAAgB,oBAQ3B"}

package/lib/cjs/queries/IRProjection.d.ts

@@ -0,0 +1,38 @@
+import { DesugaredSelectionPath, DesugaredWhere } from './IRDesugar.js';
+import { IRAliasScope } from './IRAliasScope.js';
+import { IRExpression, IRProjectionItem, IRResultMapEntry } from './IntermediateRepresentation.js';
+/**
+ * Callback invoked when a property step with an inline `.where()` is encountered
+ * during path lowering. The callback receives the traversal alias (target entity)
+ * and the desugared where predicate so the caller can canonicalize and lower it.
+ */
+export type InlineFilterCallback = (traverseAlias: string, where: DesugaredWhere) => void;
+export type ProjectionPathLoweringOptions = {
+    rootAlias: string;
+    resolveTraversal: (fromAlias: string, propertyShapeId: string) => string;
+};
+export type CanonicalProjectionResult = {
+    projection: IRProjectionItem[];
+    resultMap?: IRResultMapEntry[];
+};
+export type ProjectionPathInput = DesugaredSelectionPath | {
+    path: DesugaredSelectionPath;
+    key?: string;
+};
+/** Derives a result key name from the last step of a selection path. */
+export declare const projectionKeyFromPath: (path: DesugaredSelectionPath) => string;
+/**
+ * Lowers a single desugared selection path into an IR expression,
+ * creating traversal aliases for intermediate property steps.
+ *
+ * When `onInlineFilter` is provided, property steps with `.where()` will
+ * force a traversal creation and invoke the callback with the traversal
+ * alias and the where predicate. For last steps with `.where()`, an
+ * `alias_expr` is returned instead of a `property_expr`.
+ */
+export declare const lowerSelectionPathExpression: (path: DesugaredSelectionPath, options: ProjectionPathLoweringOptions, onInlineFilter?: InlineFilterCallback) => IRExpression;
+/**
+ * Builds projection items and a result map from an array of selection paths.
+ * Each path gets a unique alias and is lowered into an IR expression.
+ */
+export declare const buildCanonicalProjection: (selections: ProjectionPathInput[], options: ProjectionPathLoweringOptions, scope?: IRAliasScope) => CanonicalProjectionResult;

package/lib/cjs/queries/IRProjection.js

@@ -0,0 +1,98 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildCanonicalProjection = exports.lowerSelectionPathExpression = exports.projectionKeyFromPath = void 0;
+const IRAliasScope_js_1 = require("./IRAliasScope.js");
+/** Derives a result key name from the last step of a selection path. */
+const projectionKeyFromPath = (path) => {
+    if (!path.steps.length)
+        return 'value';
+    const lastStep = path.steps[path.steps.length - 1];
+    if (lastStep.kind === 'property_step')
+        return lastStep.propertyShapeId;
+    if (lastStep.kind === 'count_step')
+        return lastStep.label || 'count';
+    if (lastStep.kind === 'type_cast_step')
+        return lastStep.shapeId;
+    return 'value';
+};
+exports.projectionKeyFromPath = projectionKeyFromPath;
+/**
+ * Lowers a single desugared selection path into an IR expression,
+ * creating traversal aliases for intermediate property steps.
+ *
+ * When `onInlineFilter` is provided, property steps with `.where()` will
+ * force a traversal creation and invoke the callback with the traversal
+ * alias and the where predicate. For last steps with `.where()`, an
+ * `alias_expr` is returned instead of a `property_expr`.
+ */
+const lowerSelectionPathExpression = (path, options, onInlineFilter) => {
+    if (path.steps.length === 0) {
+        return { kind: 'alias_expr', alias: options.rootAlias };
+    }
+    let currentAlias = options.rootAlias;
+    for (let i = 0; i < path.steps.length; i++) {
+        const step = path.steps[i];
+        const isLast = i === path.steps.length - 1;
+        if (step.kind === 'property_step') {
+            if (step.where && onInlineFilter) {
+                // Force traversal creation for step with inline where
+                currentAlias = options.resolveTraversal(currentAlias, step.propertyShapeId);
+                onInlineFilter(currentAlias, step.where);
+                if (isLast) {
+                    return { kind: 'alias_expr', alias: currentAlias };
+                }
+                continue;
+            }
+            if (isLast) {
+                return {
+                    kind: 'property_expr',
+                    sourceAlias: currentAlias,
+                    property: step.propertyShapeId,
+                };
+            }
+            currentAlias = options.resolveTraversal(currentAlias, step.propertyShapeId);
+            continue;
+        }
+        if (step.kind === 'count_step') {
+            return {
+                kind: 'aggregate_expr',
+                name: 'count',
+                args: step.path.map((propertyStep) => ({
+                    kind: 'property_expr',
+                    sourceAlias: currentAlias,
+                    property: propertyStep.propertyShapeId,
+                })),
+            };
+        }
+    }
+    return { kind: 'alias_expr', alias: currentAlias };
+};
+exports.lowerSelectionPathExpression = lowerSelectionPathExpression;
+/**
+ * Builds projection items and a result map from an array of selection paths.
+ * Each path gets a unique alias and is lowered into an IR expression.
+ */
+const buildCanonicalProjection = (selections, options, scope = new IRAliasScope_js_1.IRAliasScope('projection')) => {
+    const projection = [];
+    const entries = [];
+    selections.forEach((selection) => {
+        const path = 'path' in selection ? selection.path : selection;
+        const key = 'path' in selection ? selection.key : undefined;
+        const resultKey = key || (0, exports.projectionKeyFromPath)(path);
+        const binding = scope.generateAlias(resultKey);
+        projection.push({
+            alias: binding.alias,
+            expression: (0, exports.lowerSelectionPathExpression)(path, options),
+        });
+        entries.push({
+            key: resultKey,
+            alias: binding.alias,
+        });
+    });
+    return {
+        projection,
+        resultMap: entries,
+    };
+};
+exports.buildCanonicalProjection = buildCanonicalProjection;
+//# sourceMappingURL=IRProjection.js.map

package/lib/cjs/queries/IRProjection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IRProjection.js","sourceRoot":"","sources":["../../../src/queries/IRProjection.ts"],"names":[],"mappings":";;;AACA,uDAA+C;AA8B/C,wEAAwE;AACjE,MAAM,qBAAqB,GAAG,CAAC,IAA4B,EAAU,EAAE;IAC5E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,QAAQ,CAAC,eAAe,CAAC;IACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,QAAQ,CAAC,KAAK,IAAI,OAAO,CAAC;IACrE,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,QAAQ,CAAC,OAAO,CAAC;IAChE,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAPW,QAAA,qBAAqB,yBAOhC;AAEF;;;;;;;;GAQG;AACI,MAAM,4BAA4B,GAAG,CAC1C,IAA4B,EAC5B,OAAsC,EACtC,cAAqC,EACvB,EAAE;IAChB,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,SAAS,EAAC,CAAC;IACxD,CAAC;IAED,IAAI,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjC,sDAAsD;gBACtD,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;gBAC5E,cAAc,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBACzC,IAAI,MAAM,EAAE,CAAC;oBACX,OAAO,EAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAC,CAAC;gBACnD,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,MAAM,EAAE,CAAC;gBACX,OAAO;oBACL,IAAI,EAAE,eAAe;oBACrB,WAAW,EAAE,YAAY;oBACzB,QAAQ,EAAE,IAAI,CAAC,eAAe;iBAC/B,CAAC;YACJ,CAAC;YAED,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;oBACrC,IAAI,EAAE,eAAe;oBACrB,WAAW,EAAE,YAAY;oBACzB,QAAQ,EAAE,YAAY,CAAC,eAAe;iBACvC,CAAC,CAAC;aACJ,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAC,CAAC;AACnD,CAAC,CAAC;AApDW,QAAA,4BAA4B,gCAoDvC;AAEF;;;GAGG;AACI,MAAM,wBAAwB,GAAG,CACtC,UAAiC,EACjC,OAAsC,EACtC,KAAK,GAAG,IAAI,8BAAY,CAAC,YAAY,CAAC,EACX,EAAE;IAC7B,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAuB,EAAE,CAAC;IAEvC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,MAAM,GAAG,GAAG,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5D,MAAM,SAAS,GAAG,GAAG,IAAI,IAAA,6BAAqB,EAAC,IAAI,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC;YACd,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,UAAU,EAAE,IAAA,oCAA4B,EAAC,IAAI,EAAE,OAAO,CAAC;SACxD,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC;YACX,GAAG,EAAE,SAAS;YACd,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,UAAU;QACV,SAAS,EAAE,OAAO;KACnB,CAAC;AACJ,CAAC,CAAC;AA3BW,QAAA,wBAAwB,4BA2BnC"}