@_linked/core 2.9.0 → 2.10.0-next.20260630062115

package/lib/cjs/queries/lowerMutationJSON.js

@@ -0,0 +1,135 @@
+"use strict";
+/*
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.decodeNodeData = decodeNodeData;
+exports.lowerMutationJSON = lowerMutationJSON;
+const ExpressionNode_js_1 = require("../expressions/ExpressionNode.js");
+const ShapeClass_js_1 = require("../utils/ShapeClass.js");
+const QueryBuilderSerialization_js_1 = require("./QueryBuilderSerialization.js");
+const IRDesugar_js_1 = require("./IRDesugar.js");
+const IRCanonicalize_js_1 = require("./IRCanonicalize.js");
+const IRLower_js_1 = require("./IRLower.js");
+const IRMutation_js_1 = require("./IRMutation.js");
+const ContextRef_js_1 = require("./ContextRef.js");
+const wireVersion_js_1 = require("./wireVersion.js");
+const MutationSerialization_js_1 = require("./MutationSerialization.js");
+function requireShape(shapeId) {
+    var _a;
+    const shape = (_a = (0, ShapeClass_js_1.getShapeClass)(shapeId)) === null || _a === void 0 ? void 0 : _a.shape;
+    if (!shape) {
+        throw new Error(`Shape '${shapeId}' is not registered. The receiving side must have the shape registered to lower mutation DSL-JSON.`);
+    }
+    return shape;
+}
+/** Decode a tagged value to the normalized form the canonical-IR builders consume. */
+function decodeValue(json) {
+    switch (json.kind) {
+        case 'unset':
+            return undefined;
+        case 'lit':
+            return json.value;
+        case 'date':
+            return new Date(json.value);
+        case 'ref':
+            return { id: json.id };
+        case 'ctxRef': {
+            // Lowering path: a mutation must hit a concrete node, so resolve the
+            // context now and throw if it isn't set.
+            const id = (0, ContextRef_js_1.resolveContextId)(json.name, true);
+            return { id };
+        }
+        case 'node':
+            return decodeNodeData(json.data);
+        case 'array':
+            return json.items.map((item) => decodeValue(item));
+        case 'setMod': {
+            const mod = {};
+            if (json.add) {
+                mod.$add = json.add.map((v) => decodeValue(v));
+            }
+            if (json.remove)
+                mod.$remove = json.remove.map((id) => ({ id }));
+            return mod;
+        }
+        case 'expr':
+            return new ExpressionNode_js_1.ExpressionNode(json.ir, (0, MutationSerialization_js_1.recordToRefs)(json.refs));
+    }
+}
+/** Rebuild a normalized node description from JSON, resolving labels via the shape. */
+function decodeNodeData(json) {
+    const shape = requireShape(json.shape);
+    const fields = json.fields.map((f) => {
+        const prop = shape.getPropertyShape(f.prop);
+        if (!prop) {
+            throw new Error(`Property '${f.prop}' not found on shape '${shape.label || shape.id}'`);
+        }
+        return { prop, val: decodeValue(f.value) };
+    });
+    const desc = { shape, fields };
+    if (json.id)
+        desc.__id = json.id;
+    return desc;
+}
+function lowerWhere(shape, json) {
+    const wherePath = (0, QueryBuilderSerialization_js_1.deserializeWherePath)(shape, json);
+    const canonical = (0, IRCanonicalize_js_1.canonicalizeWhere)((0, IRDesugar_js_1.toWhere)(wherePath));
+    return (0, IRLower_js_1.lowerWhereToIR)(canonical);
+}
+/**
+ * Lower a mutation DSL-JSON envelope to the canonical IR mutation the dataset
+ * expects. Mirrors the IR that `lower()` produces from the live builder.
+ */
+function lowerMutationJSON(json) {
+    (0, wireVersion_js_1.assertWireVersion)(json.v);
+    switch (json.op) {
+        case 'create':
+            return (0, IRMutation_js_1.buildCanonicalCreateMutationIR)({
+                shape: requireShape(json.shape),
+                description: decodeNodeData(json.data),
+            });
+        case 'update': {
+            const shape = requireShape(json.shape);
+            const updates = decodeNodeData(json.data);
+            if (json.mode === 'for') {
+                // A `{$ctx}` target resolves against the current context map; a mutation
+                // must hit a concrete subject, so an unresolved context throws.
+                const id = (0, ContextRef_js_1.isContextRefJSON)(json.targetId)
+                    ? (0, ContextRef_js_1.resolveContextId)(json.targetId.$ctx, true)
+                    : json.targetId;
+                if (!id) {
+                    throw new Error('update mode "for" requires a targetId');
+                }
+                return (0, IRMutation_js_1.buildCanonicalUpdateMutationIR)({ id, shape, updates });
+            }
+            let where;
+            let wherePatterns;
+            if (json.mode === 'where') {
+                if (!json.where)
+                    throw new Error('update mode "where" requires a where clause');
+                ({ where, wherePatterns } = lowerWhere(shape, json.where));
+            }
+            return (0, IRMutation_js_1.buildCanonicalUpdateWhereMutationIR)({ shape, updates, where, wherePatterns });
+        }
+        case 'delete': {
+            const shape = requireShape(json.shape);
+            if (json.mode === 'ids') {
+                return (0, IRMutation_js_1.buildCanonicalDeleteMutationIR)({
+                    shape,
+                    // A `{$ctx}` id resolves against the live map; a delete must hit a
+                    // concrete node, so an unresolved context throws.
+                    ids: json.ids.map((id) => (0, ContextRef_js_1.isContextRefJSON)(id) ? { id: (0, ContextRef_js_1.resolveContextId)(id.$ctx, true) } : { id }),
+                });
+            }
+            if (json.mode === 'all') {
+                return (0, IRMutation_js_1.buildCanonicalDeleteAllMutationIR)({ shape });
+            }
+            const { where, wherePatterns } = lowerWhere(shape, json.where);
+            return (0, IRMutation_js_1.buildCanonicalDeleteWhereMutationIR)({ shape, where, wherePatterns });
+        }
+    }
+}
+//# sourceMappingURL=lowerMutationJSON.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lowerMutationJSON.js","sourceRoot":"","sources":["../../../src/queries/lowerMutationJSON.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAmGH,wCAcC;AAeD,8CAmDC;AAhKD,wEAAgE;AAChE,0DAAqD;AAErD,iFAGwC;AACxC,iDAAuC;AACvC,2DAAsD;AACtD,6CAA4C;AAC5C,mDAOyB;AAIzB,mDAAmE;AACnE,qDAAmD;AACnD,yEAKoC;AAEpC,SAAS,YAAY,CAAC,OAAe;;IACnC,MAAM,KAAK,GAAG,MAAA,IAAA,6BAAa,EAAC,OAAO,CAAC,0CAAE,KAAK,CAAC;IAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CACb,UAAU,OAAO,oGAAoG,CACtH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,SAAS,WAAW,CAAC,IAAuB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,KAAK;YACR,OAAO,EAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAC,CAAC;QACvB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,qEAAqE;YACrE,yCAAyC;YACzC,MAAM,EAAE,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAE,CAAC;YAC9C,OAAO,EAAC,EAAE,EAAoB,CAAC;QACjC,CAAC;QACD,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAA+B,CAAC;QACjE,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CACnB,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAA8B,CACzD,CAAC;QACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,GAAG,GAAyB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAiC,CAAC;YACjF,CAAC;YACD,IAAI,IAAI,CAAC,MAAM;gBAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAC,EAAE,EAAC,CAAC,CAAC,CAAC;YAC/D,OAAO,GAAsB,CAAC;QAChC,CAAC;QACD,KAAK,MAAM;YACT,OAAO,IAAI,kCAAc,CACvB,IAAI,CAAC,EAAE,EACP,IAAA,uCAAY,EAAC,IAAI,CAAC,IAAI,CAAC,CACM,CAAC;IACpC,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,SAAgB,cAAc,CAAC,IAA0B;IACvD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,MAAM,GAA8B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,aAAa,CAAC,CAAC,IAAI,yBAAyB,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,GAAG,CACvE,CAAC;QACJ,CAAC;QACD,OAAO,EAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAA4B,CAAC;IACtE,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAyB,EAAC,KAAK,EAAE,MAAM,EAAC,CAAC;IACnD,IAAI,IAAI,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;IACjC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CACjB,KAAgB,EAChB,IAAmB;IAEnB,MAAM,SAAS,GAAG,IAAA,mDAAoB,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,IAAA,qCAAiB,EAAC,IAAA,sBAAO,EAAC,SAAS,CAAC,CAAC,CAAC;IACxD,OAAO,IAAA,2BAAc,EAAC,SAAS,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,SAAgB,iBAAiB,CAC/B,IAAkB;IAElB,IAAA,kCAAiB,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,IAAA,8CAA8B,EAAC;gBACpC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/B,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;aACvC,CAAC,CAAC;QACL,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACxB,yEAAyE;gBACzE,gEAAgE;gBAChE,MAAM,EAAE,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,QAAQ,CAAC;oBACxC,CAAC,CAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC5C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAClB,IAAI,CAAC,EAAE,EAAE,CAAC;oBACR,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;gBAC3D,CAAC;gBACD,OAAO,IAAA,8CAA8B,EAAC,EAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAC,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,KAA+B,CAAC;YACpC,IAAI,aAA2C,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK;oBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;gBAChF,CAAC,EAAC,KAAK,EAAE,aAAa,EAAC,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO,IAAA,mDAAmC,EAAC,EAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAC,CAAC,CAAC;QACrF,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACxB,OAAO,IAAA,8CAA8B,EAAC;oBACpC,KAAK;oBACL,mEAAmE;oBACnE,kDAAkD;oBAClD,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvB,IAAA,gCAAgB,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAC,EAAE,EAAE,IAAA,gCAAgB,EAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAE,EAAC,CAAC,CAAC,CAAC,EAAC,EAAE,EAAC,CACrE;iBACF,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACxB,OAAO,IAAA,iDAAiC,EAAC,EAAC,KAAK,EAAC,CAAC,CAAC;YACpD,CAAC;YACD,MAAM,EAAC,KAAK,EAAE,aAAa,EAAC,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC7D,OAAO,IAAA,mDAAmC,EAAC,EAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,32 @@
+/**
+ * IR-free "lowering specs" — the minimal, plain description each mutation
+ * builder hands to `lower()` so the canonical-IR construction can live entirely
+ * in the IR tier. The builders depend only on these types (no IR), keeping the
+ * IR pipeline reachable solely through `lower()`.
+ */
+import type { Shape, ShapeConstructor } from '../shapes/Shape.js';
+import type { UpdatePartial } from './QueryFactory.js';
+import type { WherePath } from './SelectQuery.js';
+import type { NodeId } from './MutationQuery.js';
+import type { PendingQueryContext } from './QueryContext.js';
+export interface CreateLowerSpec<S extends Shape = Shape> {
+    shapeClass: ShapeConstructor<S>;
+    /** The create data, with any fixed id already injected as `__id`. */
+    data: UpdatePartial<S>;
+}
+export interface UpdateLowerSpec<S extends Shape = Shape> {
+    shapeClass: ShapeConstructor<S>;
+    data: UpdatePartial<S>;
+    mode: 'for' | 'forAll' | 'where';
+    /** Resolved target id (id-based update); the builder already resolved any context. */
+    targetId?: string;
+    /** A pre-evaluated where path (where-mode). */
+    wherePath?: WherePath;
+}
+export interface DeleteLowerSpec<S extends Shape = Shape> {
+    shapeClass: ShapeConstructor<S>;
+    /** Ids to delete: concrete ids/`{id}` refs, or unresolved context refs (resolved at lower). */
+    ids?: (NodeId | PendingQueryContext)[];
+    mode: 'ids' | 'all' | 'where';
+    wherePath?: WherePath;
+}

package/lib/cjs/queries/mutationLowerSpec.js

@@ -0,0 +1,8 @@
+"use strict";
+/*
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=mutationLowerSpec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutationLowerSpec.js","sourceRoot":"","sources":["../../../src/queries/mutationLowerSpec.ts"],"names":[],"mappings":";AAAA;;;;GAIG"}

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

@@ -0,0 +1,7 @@
+/** Current DSL-JSON wire-format version, stamped onto every `toJSON` envelope as `v`. */
+export declare const WIRE_VERSION = "1.0";
+/**
+ * Validate an incoming envelope's `v`. A missing `v` is tolerated (pre-versioned /
+ * assumed current). A different MAJOR version is rejected — the structures may differ.
+ */
+export declare function assertWireVersion(v: unknown): void;

package/lib/cjs/queries/wireVersion.js

@@ -0,0 +1,25 @@
+"use strict";
+/*
+ * This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WIRE_VERSION = void 0;
+exports.assertWireVersion = assertWireVersion;
+/** Current DSL-JSON wire-format version, stamped onto every `toJSON` envelope as `v`. */
+exports.WIRE_VERSION = '1.0';
+/**
+ * Validate an incoming envelope's `v`. A missing `v` is tolerated (pre-versioned /
+ * assumed current). A different MAJOR version is rejected — the structures may differ.
+ */
+function assertWireVersion(v) {
+    if (v === undefined || v === null)
+        return;
+    const incomingMajor = String(v).split('.')[0];
+    const ourMajor = exports.WIRE_VERSION.split('.')[0];
+    if (incomingMajor !== ourMajor) {
+        throw new Error(`Unsupported DSL-JSON wire version "${v}". This build speaks ${exports.WIRE_VERSION}.`);
+    }
+}
+//# sourceMappingURL=wireVersion.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"wireVersion.js","sourceRoot":"","sources":["../../../src/queries/wireVersion.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AASH,8CASC;AAhBD,yFAAyF;AAC5E,QAAA,YAAY,GAAG,KAAK,CAAC;AAElC;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,CAAU;IAC1C,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO;IAC1C,MAAM,aAAa,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,oBAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,sCAAsC,CAAC,wBAAwB,oBAAY,GAAG,CAC/E,CAAC;IACJ,CAAC;AACH,CAAC"}

package/lib/cjs/shapes/Shape.d.ts

@@ -1,11 +1,10 @@
 import type { NodeShape, PropertyShape } from './SHACL.js';
 import type { QueryBuildFn, QueryResponseToResultType, SelectAllQueryResponse, WhereClause } from '../queries/SelectQuery.js';
 import type { NodeReferenceValue, UpdatePartial } from '../queries/QueryFactory.js';
-import type { NodeId } from '../queries/MutationQuery.js';
 import { QueryBuilder } from '../queries/QueryBuilder.js';
 import { CreateBuilder } from '../queries/CreateBuilder.js';
 import { UpdateBuilder } from '../queries/UpdateBuilder.js';
-import { DeleteBuilder } from '../queries/DeleteBuilder.js';
+import { DeleteBuilder, type DeleteId } from '../queries/DeleteBuilder.js';
 import type { ExpressionUpdateProxy, ExpressionUpdateResult } from '../expressions/ExpressionMethods.js';
 import { ShapeSet } from '../collections/ShapeSet.js';
 type AccessPropertiesShape<T extends Shape> = {
@@ -28,6 +27,8 @@ export declare abstract class Shape {
     static shape: NodeShape;
     static typesToShapes: Map<string, Set<typeof Shape>>;
     __queryContextId?: string;
+    /** The query-context name this shape was registered under (for `{$ctx}` refs). */
+    __queryContextName?: string;
     id?: string;
     constructor(node?: string | NodeReferenceValue);
     get nodeShape(): NodeShape;
@@ -62,7 +63,7 @@ export declare abstract class Shape {
     static update<S extends Shape>(this: ShapeConstructor<S>, data: (p: ExpressionUpdateProxy<S>) => ExpressionUpdateResult<S>): UpdateBuilder<S, any>;
     static update<S extends Shape, U extends UpdatePartial<S>>(this: ShapeConstructor<S>, data: U): UpdateBuilder<S, U>;
     static create<S extends Shape, U extends UpdatePartial<S>>(this: ShapeConstructor<S>, updateObjectOrFn?: U): CreateBuilder<S, U>;
-    static delete<S extends Shape>(this: ShapeConstructor<S>, id: NodeId | NodeId[] | NodeReferenceValue[]): DeleteBuilder<S>;
+    static delete<S extends Shape>(this: ShapeConstructor<S>, id: DeleteId | DeleteId[] | NodeReferenceValue[]): DeleteBuilder<S>;
     /** Delete all instances of this shape type. Returns void. */
     static deleteAll<S extends Shape>(this: ShapeConstructor<S>): DeleteBuilder<S, void>;
     /** Delete instances matching a condition. Sugar for `.delete().where(fn)`. Returns void. */

package/lib/cjs/shapes/Shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/shapes/Shape.ts"],"names":[],"mappings":";;;AAeA,gEAAwD;AACxD,kEAA0D;AAC1D,kEAA0D;AAC1D,kEAA0D;AAE1D,0DAA+D;AAC/D,4DAAoD;AAwBpD,MAAsB,KAAK;IAQzB,YAAY,IAAkC;QAC5C,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,EAAE,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;IAED,IAAI,SAAS;QACX,OAAQ,IAAI,CAAC,WAA4B,CAAC,KAAK,CAAC;IAClD,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC;IAED,IAAI,GAAG,CAAC,KAAa;QACnB,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,cAAc,CAAC,UAAwB,EAAE,IAAyB;QACvE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;gBACzB,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC;YACzC,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,GAAG,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;IAsBD,MAAM,CAAC,MAAM,CAMX,QAA6B;QAE7B,IAAI,OAAO,GAAG,8BAAY,CAAC,IAAI,CAAC,IAAI,CAA8B,CAAC;QACnE,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAe,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,OAAyC,CAAC;IACnD,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS;QASd,OAAO,8BAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAsC,CAAC;IACjF,CAAC;IAmBD,MAAM,CAAC,MAAM,CAEX,IAAS;QAET,OAAO,gCAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAqC,CAAC;IAChF,CAAC;IAED,MAAM,CAAC,MAAM,CAEX,gBAAoB;QAEpB,IAAI,OAAO,GAAG,gCAAa,CAAC,IAAI,CAAC,IAAI,CAA0B,CAAC;QAChE,IAAI,gBAAgB,EAAE,CAAC;YACrB,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,OAAyC,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,MAAM,CAEX,EAA4C;QAE5C,OAAO,gCAAa,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAqB,CAAC;IAC1D,CAAC;IAED,6DAA6D;IAC7D,MAAM,CAAC,SAAS;QAGd,OAAQ,gCAAa,CAAC,IAAI,CAAC,IAAI,CAAsB,CAAC,GAAG,EAAE,CAAC;IAC9D,CAAC;IAED,4FAA4F;IAC5F,MAAM,CAAC,WAAW,CAEhB,EAAkB;QAElB,OAAQ,gCAAa,CAAC,IAAI,CAAC,IAAI,CAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,iBAAiB,CAEtB,WAAuD;QAEvD,8EAA8E;QAC9E,kEAAkE;QAClE,IAAI,UAAU,GAAQ,IAAI,IAAI,EAAE,CAAC;QACjC,UAAU,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE;YACvC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ;gBACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC5B,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;wBACtB,IAAI,OAAO,UAAU,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC;4BAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAClC,CAAC;wBACD,IAAI,aAAa,GAAG,IAAA,uCAAuB,EACzC,UAAU,CAAC,WAAW,EACtB,GAAG,CAAC,QAAQ,EAAE,CACf,CAAC;wBACF,IAAI,aAAa,EAAE,CAAC;4BAClB,OAAO,aAAa,CAAC;wBACvB,CAAC;wBACD,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,iGAAiG,CAChI,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC,CAAC;QACH,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,QAAQ,CAEb,MAAiD;QAEjD,MAAM,GAAG,GAAG,IAAI,sBAAQ,EAAK,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,KAAU,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,CAAC;gBAC5B,QAAQ,CAAC,EAAE,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3D,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;;AA7MH,sBA8MC;AA7MQ,iBAAW,GAAuB,IAAI,CAAC;AAEvC,mBAAa,GAAmC,IAAI,GAAG,EAAE,CAAC"}
+{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/shapes/Shape.ts"],"names":[],"mappings":";;;AAeA,gEAAwD;AACxD,kEAA0D;AAC1D,kEAA0D;AAC1D,kEAAyE;AAEzE,0DAA+D;AAC/D,4DAAoD;AAwBpD,MAAsB,KAAK;IAUzB,YAAY,IAAkC;QAC5C,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,EAAE,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;IAED,IAAI,SAAS;QACX,OAAQ,IAAI,CAAC,WAA4B,CAAC,KAAK,CAAC;IAClD,CAAC;IAED,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,EAAE,CAAC;IACjB,CAAC;IAED,IAAI,GAAG,CAAC,KAAa;QACnB,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC;IAClB,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,cAAc,CAAC,UAAwB,EAAE,IAAyB;QACvE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;gBACzB,OAAO;YACT,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC;YACzC,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,GAAG,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;IAsBD,MAAM,CAAC,MAAM,CAMX,QAA6B;QAE7B,IAAI,OAAO,GAAG,8BAAY,CAAC,IAAI,CAAC,IAAI,CAA8B,CAAC;QACnE,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAe,CAAC,CAAC;QAC5C,CAAC;QACD,OAAO,OAAyC,CAAC;IACnD,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS;QASd,OAAO,8BAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAsC,CAAC;IACjF,CAAC;IAmBD,MAAM,CAAC,MAAM,CAEX,IAAS;QAET,OAAO,gCAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAqC,CAAC;IAChF,CAAC;IAED,MAAM,CAAC,MAAM,CAEX,gBAAoB;QAEpB,IAAI,OAAO,GAAG,gCAAa,CAAC,IAAI,CAAC,IAAI,CAA0B,CAAC;QAChE,IAAI,gBAAgB,EAAE,CAAC;YACrB,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,OAAyC,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,MAAM,CAEX,EAAgD;QAEhD,OAAO,gCAAa,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAqB,CAAC;IAC1D,CAAC;IAED,6DAA6D;IAC7D,MAAM,CAAC,SAAS;QAGd,OAAQ,gCAAa,CAAC,IAAI,CAAC,IAAI,CAAsB,CAAC,GAAG,EAAE,CAAC;IAC9D,CAAC;IAED,4FAA4F;IAC5F,MAAM,CAAC,WAAW,CAEhB,EAAkB;QAElB,OAAQ,gCAAa,CAAC,IAAI,CAAC,IAAI,CAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,iBAAiB,CAEtB,WAAuD;QAEvD,8EAA8E;QAC9E,kEAAkE;QAClE,IAAI,UAAU,GAAQ,IAAI,IAAI,EAAE,CAAC;QACjC,UAAU,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE;YACvC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ;gBACvB,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC5B,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;wBACtB,IAAI,OAAO,UAAU,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC;4BAC1C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAClC,CAAC;wBACD,IAAI,aAAa,GAAG,IAAA,uCAAuB,EACzC,UAAU,CAAC,WAAW,EACtB,GAAG,CAAC,QAAQ,EAAE,CACf,CAAC;wBACF,IAAI,aAAa,EAAE,CAAC;4BAClB,OAAO,aAAa,CAAC;wBACvB,CAAC;wBACD,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,iGAAiG,CAChI,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC,CAAC;QACH,OAAO,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,QAAQ,CAEb,MAAiD;QAEjD,MAAM,GAAG,GAAG,IAAI,sBAAQ,EAAK,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,KAAU,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,CAAC;gBAC5B,QAAQ,CAAC,EAAE,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3D,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;;AA/MH,sBAgNC;AA/MQ,iBAAW,GAAuB,IAAI,CAAC;AAEvC,mBAAa,GAAmC,IAAI,GAAG,EAAE,CAAC"}

package/lib/cjs/sparql/SparqlDataset.js

@@ -14,6 +14,7 @@ const irToAlgebra_js_1 = require("./irToAlgebra.js");
 const resultMapping_js_1 = require("./resultMapping.js");
 const sparqlUtils_js_1 = require("./sparqlUtils.js");
 const Shape_js_1 = require("../shapes/Shape.js");
+const lower_js_1 = require("../queries/lower.js");
 /**
  * Abstract base class for SPARQL-backed datasets.
  *
@@ -48,49 +49,53 @@ class SparqlDataset extends Shape_js_1.Shape {
     }
     selectQuery(query) {
         return __awaiter(this, void 0, void 0, function* () {
-            const sparql = (0, irToAlgebra_js_1.selectToSparql)(query, this.options);
+            const ir = (0, lower_js_1.lower)(query);
+            const sparql = (0, irToAlgebra_js_1.selectToSparql)(ir, this.options);
             const json = yield this.executeSparqlSelect(sparql);
-            return (0, resultMapping_js_1.mapSparqlSelectResult)(json, query);
+            return (0, resultMapping_js_1.mapSparqlSelectResult)(json, ir);
         });
     }
     createQuery(query) {
         return __awaiter(this, void 0, void 0, function* () {
-            const uri = query.data.id || (0, sparqlUtils_js_1.generateEntityUri)(query.data.shape, this.options);
-            query.data.id = uri;
-            const sparql = (0, irToAlgebra_js_1.createToSparql)(query, this.options);
+            const ir = (0, lower_js_1.lower)(query);
+            const uri = ir.data.id || (0, sparqlUtils_js_1.generateEntityUri)(ir.data.shape, this.options);
+            ir.data.id = uri;
+            const sparql = (0, irToAlgebra_js_1.createToSparql)(ir, this.options);
             yield this.executeSparqlUpdate(sparql);
-            return (0, resultMapping_js_1.mapSparqlCreateResult)(uri, query);
+            return (0, resultMapping_js_1.mapSparqlCreateResult)(uri, ir);
         });
     }
     updateQuery(query) {
         return __awaiter(this, void 0, void 0, function* () {
-            if (query.kind === 'update_where') {
-                const sparql = (0, irToAlgebra_js_1.updateWhereToSparql)(query, this.options);
+            const ir = (0, lower_js_1.lower)(query);
+            if (ir.kind === 'update_where') {
+                const sparql = (0, irToAlgebra_js_1.updateWhereToSparql)(ir, this.options);
                 yield this.executeSparqlUpdate(sparql);
                 return { id: '' };
             }
-            const sparql = (0, irToAlgebra_js_1.updateToSparql)(query, this.options);
+            const sparql = (0, irToAlgebra_js_1.updateToSparql)(ir, this.options);
             yield this.executeSparqlUpdate(sparql);
-            return (0, resultMapping_js_1.mapSparqlUpdateResult)(query);
+            return (0, resultMapping_js_1.mapSparqlUpdateResult)(ir);
         });
     }
     deleteQuery(query) {
         return __awaiter(this, void 0, void 0, function* () {
-            if (query.kind === 'delete_all') {
-                const sparql = (0, irToAlgebra_js_1.deleteAllToSparql)(query, this.options);
+            const ir = (0, lower_js_1.lower)(query);
+            if (ir.kind === 'delete_all') {
+                const sparql = (0, irToAlgebra_js_1.deleteAllToSparql)(ir, this.options);
                 yield this.executeSparqlUpdate(sparql);
                 return { deleted: [], count: 0 };
             }
-            if (query.kind === 'delete_where') {
-                const sparql = (0, irToAlgebra_js_1.deleteWhereToSparql)(query, this.options);
+            if (ir.kind === 'delete_where') {
+                const sparql = (0, irToAlgebra_js_1.deleteWhereToSparql)(ir, this.options);
                 yield this.executeSparqlUpdate(sparql);
                 return { deleted: [], count: 0 };
             }
-            const sparql = (0, irToAlgebra_js_1.deleteToSparql)(query, this.options);
+            const sparql = (0, irToAlgebra_js_1.deleteToSparql)(ir, this.options);
             yield this.executeSparqlUpdate(sparql);
             return {
-                deleted: query.ids,
-                count: query.ids.length,
+                deleted: ir.ids,
+                count: ir.ids.length,
             };
         });
     }

package/lib/cjs/sparql/SparqlDataset.js.map

@@ -1 +1 @@
-{"version":3,"file":"SparqlDataset.js","sourceRoot":"","sources":["../../../src/sparql/SparqlDataset.ts"],"names":[],"mappings":";;;;;;;;;;;;AAWA,qDAQ0B;AAC1B,yDAI4B;AAC5B,qDAAuE;AACvE,iDAAyC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAsB,aAAc,SAAQ,gBAAK;IAG/C,YAAY,OAAuB;QACjC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAgBK,WAAW,CAAC,KAAkB;;YAClC,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACpD,OAAO,IAAA,wCAAqB,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5C,CAAC;KAAA;IAEK,WAAW,CAAC,KAAkB;;YAClC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,IAAA,kCAAiB,EAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/E,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;YACpB,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO,IAAA,wCAAqB,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;KAAA;IAEK,WAAW,CAAC,KAAkB;;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,EAAC,EAAE,EAAE,EAAE,EAAiB,CAAC;YAClC,CAAC;YACD,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO,IAAA,wCAAqB,EAAC,KAAK,CAAC,CAAC;QACtC,CAAC;KAAA;IAEK,WAAW,CAAC,KAAkB;;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,IAAA,kCAAiB,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,EAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;YACjC,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,EAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;YACjC,CAAC;YACD,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO;gBACL,OAAO,EAAE,KAAK,CAAC,GAAG;gBAClB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;aACxB,CAAC;QACJ,CAAC;KAAA;IAED;;;OAGG;IACG,QAAQ,CACZ,MAAc,EACd,IAAyB;;YAEzB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtB,OAAO,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;KAAA;CACF;AA/ED,sCA+EC;AAGwB,oCAAW"}
+{"version":3,"file":"SparqlDataset.js","sourceRoot":"","sources":["../../../src/sparql/SparqlDataset.ts"],"names":[],"mappings":";;;;;;;;;;;;AAWA,qDAQ0B;AAC1B,yDAI4B;AAC5B,qDAAuE;AACvE,iDAAyC;AACzC,kDAA0C;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAsB,aAAc,SAAQ,gBAAK;IAG/C,YAAY,OAAuB;QACjC,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAgBK,WAAW,CAAC,KAAkB;;YAClC,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,KAAK,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACpD,OAAO,IAAA,wCAAqB,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACzC,CAAC;KAAA;IAEK,WAAW,CAAC,KAAkB;;YAClC,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,KAAK,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,IAAA,kCAAiB,EAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACzE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;YACjB,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO,IAAA,wCAAqB,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;KAAA;IAEK,WAAW,CAAC,KAAkB;;YAClC,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,KAAK,CAAC,CAAC;YACxB,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,EAAC,EAAE,EAAE,EAAE,EAAiB,CAAC;YAClC,CAAC;YACD,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO,IAAA,wCAAqB,EAAC,EAAE,CAAC,CAAC;QACnC,CAAC;KAAA;IAEK,WAAW,CAAC,KAAkB;;YAClC,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,KAAK,CAAC,CAAC;YACxB,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC7B,MAAM,MAAM,GAAG,IAAA,kCAAiB,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,EAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;YACjC,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,IAAA,oCAAmB,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;gBACvC,OAAO,EAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAC,CAAC;YACjC,CAAC;YACD,MAAM,MAAM,GAAG,IAAA,+BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACvC,OAAO;gBACL,OAAO,EAAE,EAAE,CAAC,GAAG;gBACf,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM;aACrB,CAAC;QACJ,CAAC;KAAA;IAED;;;OAGG;IACG,QAAQ,CACZ,MAAc,EACd,IAAyB;;YAEzB,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtB,OAAO,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;KAAA;CACF;AAnFD,sCAmFC;AAGwB,oCAAW"}

package/lib/cjs/sparql/irToAlgebra.js

@@ -23,6 +23,7 @@ const shacl_js_1 = require("../ontologies/shacl.js");
 const xsd_js_1 = require("../ontologies/xsd.js");
 const normalizePropertyPath_js_1 = require("../paths/normalizePropertyPath.js");
 const ShapeClass_js_1 = require("../utils/ShapeClass.js");
+const QueryContext_js_1 = require("../queries/QueryContext.js");
 // ---------------------------------------------------------------------------
 // Constants
 // ---------------------------------------------------------------------------
@@ -135,6 +136,19 @@ function bindingKey(alias, property) {
 function contextAliasKey(contextIri) {
     return `__ctx__${contextIri}`;
 }
+/**
+ * Defense-in-depth: a `reference_expr`/`context_property_expr` must arrive here with its
+ * IRI already resolved (lowering's `resolveContextRefs` fills it from `contextName`). If it
+ * didn't — an unresolved `{$ctx}` reaching the algebra through some path that bypassed
+ * resolution — fail with a clear `UnresolvedContextError` instead of an opaque
+ * `undefined.substring` crash deeper in URI formatting.
+ */
+function resolvedContextIri(iri, contextName) {
+    if (iri === undefined) {
+        throw new QueryContext_js_1.UnresolvedContextError(contextName !== null && contextName !== void 0 ? contextName : '<unknown>');
+    }
+    return iri;
+}
 function mergeKeySets(...sets) {
     const merged = new Set();
     for (const set of sets) {
@@ -887,10 +901,11 @@ function processExpressionForProperties(expr, registry, optionalPropertyTriples,
             // Context entity property — emit a triple with fixed IRI as subject.
             // Use raw IRI as registry key to avoid collision between IRIs that
             // sanitize to the same string (e.g. ctx-1 vs ctx_1).
-            const ctxKey = contextAliasKey(expr.contextIri);
+            const contextIri = resolvedContextIri(expr.contextIri, expr.contextName);
+            const ctxKey = contextAliasKey(contextIri);
             if (!registry.has(ctxKey, expr.property)) {
                 const varName = registry.getOrCreate(ctxKey, expr.property);
-                const triple = tripleOf(iriTerm(expr.contextIri), resolvePropertyPredicateTerm(expr.property), varTerm(varName));
+                const triple = tripleOf(iriTerm(contextIri), resolvePropertyPredicateTerm(expr.property), varTerm(varName));
                 const triples = requiredPropertyKeys.has(bindingKey(ctxKey, expr.property))
                     ? requiredPropertyTriples
                     : optionalPropertyTriples;
@@ -914,7 +929,7 @@ function collectRequiredBindingKeys(expr) {
         case 'property_expr':
             return new Set([bindingKey(expr.sourceAlias, expr.property)]);
         case 'context_property_expr':
-            return new Set([bindingKey(contextAliasKey(expr.contextIri), expr.property)]);
+            return new Set([bindingKey(contextAliasKey(resolvedContextIri(expr.contextIri, expr.contextName)), expr.property)]);
         case 'binary_expr':
             return mergeKeySets(collectRequiredBindingKeys(expr.left), collectRequiredBindingKeys(expr.right));
         case 'function_expr':
@@ -970,11 +985,11 @@ function convertExpression(expr, registry, optionalPropertyTriples) {
             return { kind: 'literal_expr', value: String(value) };
         }
         case 'reference_expr':
-            return { kind: 'iri_expr', value: expr.value };
+            return { kind: 'iri_expr', value: resolvedContextIri(expr.value, expr.contextName) };
         case 'alias_expr':
             return { kind: 'variable_expr', name: expr.alias };
         case 'context_property_expr': {
-            const ctxKey = `__ctx__${expr.contextIri}`;
+            const ctxKey = `__ctx__${resolvedContextIri(expr.contextIri, expr.contextName)}`;
             const ctxVarName = registry.getOrCreate(ctxKey, expr.property);
             return { kind: 'variable_expr', name: ctxVarName };
         }