@_linked/core 2.9.0 → 2.10.0-next.20260630061713

package/lib/cjs/queries/UpdateBuilder.js

@@ -2,13 +2,14 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.UpdateBuilder = void 0;
 const resolveShape_js_1 = require("./resolveShape.js");
-const UpdateQuery_js_1 = require("./UpdateQuery.js");
+const MutationQuery_js_1 = require("./MutationQuery.js");
 const queryDispatch_js_1 = require("./queryDispatch.js");
+const wireVersion_js_1 = require("./wireVersion.js");
+const QueryContext_js_1 = require("./QueryContext.js");
+const ContextRef_js_1 = require("./ContextRef.js");
 const SelectQuery_js_1 = require("./SelectQuery.js");
-const IRMutation_js_1 = require("./IRMutation.js");
-const IRDesugar_js_1 = require("./IRDesugar.js");
-const IRCanonicalize_js_1 = require("./IRCanonicalize.js");
-const IRLower_js_1 = require("./IRLower.js");
+const MutationSerialization_js_1 = require("./MutationSerialization.js");
+const QueryBuilderSerialization_js_1 = require("./QueryBuilderSerialization.js");
 /**
  * An immutable, fluent builder for update mutations.
  *
@@ -24,14 +25,21 @@ const IRLower_js_1 = require("./IRLower.js");
  */
 class UpdateBuilder {
     constructor(init) {
+        // ---------------------------------------------------------------------------
+        // Build & execute
+        // ---------------------------------------------------------------------------
+        /** Discriminator for the free `lower()` function and dataset routing. */
+        this.__queryKind = 'update';
         this._shape = init.shape;
         this._data = init.data;
         this._targetId = init.targetId;
         this._mode = init.mode;
         this._whereFn = init.whereFn;
+        this._where = init.where;
+        this._targetContextName = init.targetContextName;
     }
     clone(overrides = {}) {
-        return new UpdateBuilder(Object.assign({ shape: this._shape, data: this._data, targetId: this._targetId, mode: this._mode, whereFn: this._whereFn }, overrides));
+        return new UpdateBuilder(Object.assign({ shape: this._shape, data: this._data, targetId: this._targetId, mode: this._mode, whereFn: this._whereFn, where: this._where, targetContextName: this._targetContextName }, overrides));
     }
     // ---------------------------------------------------------------------------
     // Static constructors
@@ -40,13 +48,33 @@ class UpdateBuilder {
         const resolved = (0, resolveShape_js_1.resolveShape)(shape);
         return new UpdateBuilder({ shape: resolved });
     }
+    /** Reconstruct an UpdateBuilder from its DSL-JSON (inverse of `toJSON`). */
+    static fromJSON(json) {
+        (0, wireVersion_js_1.assertWireVersion)(json.v);
+        const resolved = (0, resolveShape_js_1.resolveShape)(json.shape);
+        const data = (0, MutationSerialization_js_1.decodeNodeDataToRaw)(json.data);
+        if (json.mode === 'for') {
+            if ((0, ContextRef_js_1.isContextRefJSON)(json.targetId)) {
+                return new UpdateBuilder({ shape: resolved, data, targetContextName: json.targetId.$ctx, mode: 'for' });
+            }
+            return new UpdateBuilder({ shape: resolved, data, targetId: json.targetId, mode: 'for' });
+        }
+        if (json.mode === 'forAll') {
+            return new UpdateBuilder({ shape: resolved, data, mode: 'forAll' });
+        }
+        const where = (0, QueryBuilderSerialization_js_1.deserializeWherePath)(resolved.shape, json.where);
+        return new UpdateBuilder({ shape: resolved, data, mode: 'where', where });
+    }
     // ---------------------------------------------------------------------------
     // Fluent API
     // ---------------------------------------------------------------------------
     /** Target a specific entity by ID. */
     for(id) {
+        if (id instanceof QueryContext_js_1.PendingQueryContext) {
+            return this.clone({ targetContextName: id.contextName, targetId: undefined, mode: 'for' });
+        }
         const resolvedId = typeof id === 'string' ? id : id.id;
-        return this.clone({ targetId: resolvedId, mode: 'for' });
+        return this.clone({ targetId: resolvedId, targetContextName: undefined, mode: 'for' });
     }
     /** Update all instances of this shape type. Returns void. */
     forAll() {
@@ -59,59 +87,90 @@ class UpdateBuilder {
     set(data) {
         return this.clone({ data });
     }
-    // ---------------------------------------------------------------------------
-    // Build & execute
-    // ---------------------------------------------------------------------------
-    /** Build the IR mutation. */
-    build() {
+    /** The shape this query targets — the routing key datasets/`LinkedStorage` use. */
+    get shape() {
+        return this._shape.shape;
+    }
+    /** @internal The IR-free lowering spec consumed by `lower()`. Validates inputs. */
+    _lowerSpec() {
+        var _a;
         if (!this._data) {
-            throw new Error('UpdateBuilder requires .set(data) before .build(). Specify what to update.');
+            throw new Error('UpdateBuilder requires .set(data) before it can be lowered. Specify what to update.');
         }
         const mode = this._mode || (this._targetId ? 'for' : undefined);
         if (mode === 'forAll') {
-            return this.buildUpdateWhere();
+            return { shapeClass: this._shape, data: this._data, mode: 'forAll' };
         }
         if (mode === 'where') {
-            if (!this._whereFn) {
+            if (!this._whereFn && !this._where) {
                 throw new Error('UpdateBuilder.where() requires a condition callback.');
             }
-            return this.buildUpdateWhere();
+            const wherePath = (_a = this._where) !== null && _a !== void 0 ? _a : (0, SelectQuery_js_1.processWhereClause)(this._whereFn, this._shape);
+            return { shapeClass: this._shape, data: this._data, mode: 'where', wherePath };
         }
-        // Default: ID-based update
-        if (!this._targetId) {
-            throw new Error('UpdateBuilder requires .for(id), .forAll(), or .where() before .build().');
+        // Default: ID-based update (target id may come from a query context)
+        const targetId = this._resolveTargetId();
+        if (!targetId) {
+            if (this._targetContextName) {
+                throw new QueryContext_js_1.UnresolvedContextError(this._targetContextName);
+            }
+            throw new Error('UpdateBuilder requires .for(id), .forAll(), or .where() before it can be lowered.');
         }
-        const factory = new UpdateQuery_js_1.UpdateQueryFactory(this._shape, this._targetId, this._data);
-        return factory.build();
-    }
-    buildUpdateWhere() {
-        const factory = new UpdateQuery_js_1.UpdateQueryFactory(this._shape, '__placeholder__', // not used for where/forAll
-        this._data);
-        const description = factory.fields;
-        let where;
-        let wherePatterns;
-        if (this._whereFn) {
-            const wherePath = (0, SelectQuery_js_1.processWhereClause)(this._whereFn, this._shape);
-            const desugared = (0, IRDesugar_js_1.toWhere)(wherePath);
-            const canonical = (0, IRCanonicalize_js_1.canonicalizeWhere)(desugared);
-            const lowered = (0, IRLower_js_1.lowerWhereToIR)(canonical);
-            where = lowered.where;
-            wherePatterns = lowered.wherePatterns;
+        return { shapeClass: this._shape, data: this._data, mode: 'for', targetId };
+    }
+    /** Resolve the target id from an explicit id or a query-context reference. */
+    _resolveTargetId() {
+        var _a;
+        if (this._targetId)
+            return this._targetId;
+        if (this._targetContextName)
+            return (_a = (0, QueryContext_js_1.getQueryContext)(this._targetContextName)) === null || _a === void 0 ? void 0 : _a.id;
+        return undefined;
+    }
+    /**
+     * Serialize this update mutation to lightweight DSL-JSON. Normalizes the update
+     * data through the IR-free factory base (handles the expression-callback form
+     * of `.set()`), and serializes the where clause for `where`-mode updates.
+     */
+    toJSON() {
+        var _a;
+        if (!this._data) {
+            throw new Error('UpdateBuilder requires .set(data) before .toJSON().');
+        }
+        const mode = this._mode || (this._targetId ? 'for' : undefined);
+        if (!mode) {
+            throw new Error('UpdateBuilder requires .for(id), .forAll(), or .where() before .toJSON().');
+        }
+        const fields = new MutationQuery_js_1.MutationQueryFactory().describe(this._shape.shape, this._data);
+        const json = {
+            v: wireVersion_js_1.WIRE_VERSION,
+            op: 'update',
+            shape: this._shape.shape.id,
+            mode,
+            data: (0, MutationSerialization_js_1.encodeNodeData)(fields),
+        };
+        if (mode === 'for') {
+            if (this._targetContextName)
+                json.targetId = (0, ContextRef_js_1.encodeContextRef)(this._targetContextName);
+            else
+                json.targetId = this._targetId;
+        }
+        if (mode === 'where') {
+            const wherePath = (_a = this._where) !== null && _a !== void 0 ? _a : (this._whereFn ? (0, SelectQuery_js_1.processWhereClause)(this._whereFn, this._shape) : undefined);
+            if (!wherePath) {
+                throw new Error('UpdateBuilder.where() requires a condition callback.');
+            }
+            json.where = (0, QueryBuilderSerialization_js_1.serializeWherePath)(wherePath);
         }
-        return (0, IRMutation_js_1.buildCanonicalUpdateWhereMutationIR)({
-            shape: this._shape.shape,
-            updates: description,
-            where,
-            wherePatterns,
-        });
+        return json;
     }
     /** Execute the mutation. */
     exec() {
         const mode = this._mode || (this._targetId ? 'for' : undefined);
         if (mode === 'forAll' || mode === 'where') {
-            return (0, queryDispatch_js_1.getQueryDispatch)().updateQuery(this.build()).then(() => undefined);
+            return (0, queryDispatch_js_1.getQueryDispatch)().updateQuery(this).then(() => undefined);
         }
-        return (0, queryDispatch_js_1.getQueryDispatch)().updateQuery(this.build());
+        return (0, queryDispatch_js_1.getQueryDispatch)().updateQuery(this);
     }
     // ---------------------------------------------------------------------------
     // Promise interface

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

@@ -1 +1 @@
-{"version":3,"file":"UpdateBuilder.js","sourceRoot":"","sources":["../../../src/queries/UpdateBuilder.ts"],"names":[],"mappings":";;;AACA,uDAA+C;AAE/C,qDAAsE;AACtE,yDAAoD;AACpD,qDAAsE;AACtE,mDAAoE;AACpE,iDAAuC;AACvC,2DAAsD;AACtD,6CAA4C;AAgB5C;;;;;;;;;;;;GAYG;AACH,MAAa,aAAa;IASxB,YAAoB,IAA0B;QAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;IAC/B,CAAC;IAEO,KAAK,CAAC,YAA2C,EAAE;QACzD,OAAO,IAAI,aAAa,iBACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,QAAQ,EAAE,IAAI,CAAC,SAAS,EACxB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,OAAO,EAAE,IAAI,CAAC,QAAQ,IACnB,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E,MAAM,CAAC,IAAI,CAAkB,KAAmC;QAC9D,MAAM,QAAQ,GAAG,IAAA,8BAAY,EAAI,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAC,CAAC,CAAC;IACjD,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,sCAAsC;IACtC,GAAG,CAAC,EAA+B;QACjC,MAAM,UAAU,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;IACrG,CAAC;IAED,6DAA6D;IAC7D,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAC,CAAyC,CAAC;IACvH,CAAC;IAED,2DAA2D;IAC3D,KAAK,CAAC,EAAkB;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAC,CAAyC,CAAC;IAC/G,CAAC;IAKD,GAAG,CAAC,IAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAC,CAAQ,CAAC;IACnC,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E,6BAA6B;IAC7B,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,4EAA4E,CAC7E,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEhE,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACjC,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,sDAAsD,CACvD,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACjC,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,0EAA0E,CAC3E,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,mCAAkB,CACpC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,CACX,CAAC;QACF,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;IAEO,gBAAgB;QACtB,MAAM,OAAO,GAAG,IAAI,mCAAkB,CACpC,IAAI,CAAC,MAAM,EACX,iBAAiB,EAAE,4BAA4B;QAC/C,IAAI,CAAC,KAAM,CACZ,CAAC;QACF,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC;QAEnC,IAAI,KAAK,CAAC;QACV,IAAI,aAAa,CAAC;QAElB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,SAAS,GAAG,IAAA,mCAAkB,EAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACjE,MAAM,SAAS,GAAG,IAAA,sBAAO,EAAC,SAAS,CAAC,CAAC;YACrC,MAAM,SAAS,GAAG,IAAA,qCAAiB,EAAC,SAAS,CAAC,CAAC;YAC/C,MAAM,OAAO,GAAG,IAAA,2BAAc,EAAC,SAAS,CAAC,CAAC;YAC1C,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YACtB,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;QACxC,CAAC;QAED,OAAO,IAAA,mDAAmC,EAAC;YACzC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;YACxB,OAAO,EAAE,WAAW;YACpB,KAAK;YACL,aAAa;SACd,CAAC,CAAC;IACL,CAAC;IAED,4BAA4B;IAC5B,IAAI;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1C,OAAO,IAAA,mCAAgB,GAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAe,CAAC;QAC1F,CAAC;QACD,OAAO,IAAA,mCAAgB,GAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAAe,CAAC;IACpE,CAAC;IAED,8EAA8E;IAC9E,oBAAoB;IACpB,8EAA8E;IAE9E,IAAI,CACF,WAAqE,EACrE,UAAuE;QAEvE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,CACH,UAAqE;QAErE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,CAAC,SAA+B;QACrC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC;QACtB,OAAO,eAAe,CAAC;IACzB,CAAC;CACF;AAtKD,sCAsKC"}
+{"version":3,"file":"UpdateBuilder.js","sourceRoot":"","sources":["../../../src/queries/UpdateBuilder.ts"],"names":[],"mappings":";;;AACA,uDAA+C;AAE/C,yDAAwD;AACxD,yDAAoD;AACpD,qDAAiE;AACjE,uDAA+F;AAC/F,mDAAmE;AAEnE,qDAAsF;AAEtF,yEAAwG;AACxG,iFAAwF;AAoBxF;;;;;;;;;;;;GAYG;AACH,MAAa,aAAa;IAWxB,YAAoB,IAA0B;QAgF9C,8EAA8E;QAC9E,kBAAkB;QAClB,8EAA8E;QAE9E,yEAAyE;QAChE,gBAAW,GAAG,QAAiB,CAAC;QApFvC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IACnD,CAAC;IAEO,KAAK,CAAC,YAA2C,EAAE;QACzD,OAAO,IAAI,aAAa,iBACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,QAAQ,EAAE,IAAI,CAAC,SAAS,EACxB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,OAAO,EAAE,IAAI,CAAC,QAAQ,EACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,iBAAiB,EAAE,IAAI,CAAC,kBAAkB,IACvC,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E,MAAM,CAAC,IAAI,CAAkB,KAAmC;QAC9D,MAAM,QAAQ,GAAG,IAAA,8BAAY,EAAI,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAC,CAAC,CAAC;IACjD,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,QAAQ,CAAC,IAAwB;QACtC,IAAA,kCAAiB,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAA,8BAAY,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAA,8CAAmB,EAAC,IAAI,CAAC,IAAI,CAAQ,CAAC;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAI,IAAA,gCAAgB,EAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;YACxG,CAAC;YACD,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,mDAAoB,EAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAM,CAAC,CAAC;QAChE,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC,CAAC;IAC1E,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,sCAAsC;IACtC,GAAG,CAAC,EAAqD;QACvD,IAAI,EAAE,YAAY,qCAAmB,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,iBAAiB,EAAE,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;QACvI,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;IACnI,CAAC;IAED,6DAA6D;IAC7D,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAC,CAAyC,CAAC;IACvH,CAAC;IAED,2DAA2D;IAC3D,KAAK,CAAC,EAAkB;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAC,CAAyC,CAAC;IAC/G,CAAC;IAKD,GAAG,CAAC,IAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAC,CAAQ,CAAC;IACnC,CAAC;IASD,mFAAmF;IACnF,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,mFAAmF;IACnF,UAAU;;QACR,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,qFAAqF,CACtF,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEhE,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC;QACrE,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,SAAS,GACb,MAAA,IAAI,CAAC,MAAM,mCAAI,IAAA,mCAAkB,EAAC,IAAI,CAAC,QAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACjE,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAC,CAAC;QAC/E,CAAC;QAED,qEAAqE;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC5B,MAAM,IAAI,wCAAsB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,IAAI,KAAK,CACb,mFAAmF,CACpF,CAAC;QACJ,CAAC;QACD,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAC,CAAC;IAC5E,CAAC;IAED,8EAA8E;IACtE,gBAAgB;;QACtB,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QAC1C,IAAI,IAAI,CAAC,kBAAkB;YAAE,OAAO,MAAA,IAAA,iCAAe,EAAC,IAAI,CAAC,kBAAkB,CAAC,0CAAE,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,MAAM;;QACJ,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,uCAAoB,EAAE,CAAC,QAAQ,CAChD,IAAI,CAAC,MAAM,CAAC,KAAK,EACjB,IAAI,CAAC,KAAK,CACX,CAAC;QACF,MAAM,IAAI,GAAuB;YAC/B,CAAC,EAAE,6BAAY;YACf,EAAE,EAAE,QAAQ;YACZ,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC3B,IAAI;YACJ,IAAI,EAAE,IAAA,yCAAc,EAAC,MAAM,CAAC;SAC7B,CAAC;QACF,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,kBAAkB;gBAAE,IAAI,CAAC,QAAQ,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;;gBAClF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QACtC,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,MAAA,IAAI,CAAC,MAAM,mCAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAA,mCAAkB,EAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC9G,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,CAAC,KAAK,GAAG,IAAA,iDAAkB,EAAC,SAAS,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,4BAA4B;IAC5B,IAAI;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YAC1C,OAAO,IAAA,mCAAgB,GAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAe,CAAC;QAClF,CAAC;QACD,OAAO,IAAA,mCAAgB,GAAE,CAAC,WAAW,CAAC,IAAI,CAAe,CAAC;IAC5D,CAAC;IAED,8EAA8E;IAC9E,oBAAoB;IACpB,8EAA8E;IAE9E,IAAI,CACF,WAAqE,EACrE,UAAuE;QAEvE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,CACH,UAAqE;QAErE,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,CAAC,SAA+B;QACrC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC;QACtB,OAAO,eAAe,CAAC;IACzB,CAAC;CACF;AA3ND,sCA2NC"}

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

@@ -1,16 +1,18 @@
-import { Shape, type ShapeConstructor } from '../shapes/Shape.js';
-import { type NodeDescriptionValue, NodeReferenceValue, type UpdatePartial } from './QueryFactory.js';
-import { MutationQueryFactory } from './MutationQuery.js';
 import type { IRUpdateMutation, IRUpdateWhereMutation } from './IntermediateRepresentation.js';
+import type { NodeShape } from '../shapes/SHACL.js';
+import type { UpdateMutationJSON } from './MutationSerialization.js';
+import type { UpdateLowerSpec } from './mutationLowerSpec.js';
 /**
- * The canonical UpdateQuery type — an IR AST node representing an update mutation.
- * This is the type received by IDataset.updateQuery().
+ * The closed, read-only update query a dataset receives (implemented by
+ * `UpdateBuilder`). The IR is `IRUpdateQuery`, produced by `lower(query)` — the
+ * IR construction lives in the IR tier, not here, so this module stays IR-free.
  */
-export type UpdateQuery = IRUpdateMutation | IRUpdateWhereMutation;
-export declare class UpdateQueryFactory<ShapeType extends Shape, U extends UpdatePartial<ShapeType>> extends MutationQueryFactory {
-    shapeClass: ShapeConstructor<ShapeType>;
-    readonly id: string;
-    readonly fields: NodeDescriptionValue;
-    constructor(shapeClass: ShapeConstructor<ShapeType>, id: string | NodeReferenceValue, updateObjectOrFn: U);
-    build(): UpdateQuery;
+export interface UpdateQuery {
+    readonly __queryKind: 'update';
+    readonly shape: NodeShape;
+    toJSON(): UpdateMutationJSON;
+    /** @internal IR-free lowering spec consumed by `lower()`. */
+    _lowerSpec(): UpdateLowerSpec;
 }
+/** The lowered IR for an update mutation (what `lower()` produces). */
+export type IRUpdateQuery = IRUpdateMutation | IRUpdateWhereMutation;

package/lib/cjs/queries/UpdateQuery.js

@@ -1,23 +1,3 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.UpdateQueryFactory = void 0;
-const QueryFactory_js_1 = require("./QueryFactory.js");
-const MutationQuery_js_1 = require("./MutationQuery.js");
-const IRMutation_js_1 = require("./IRMutation.js");
-class UpdateQueryFactory extends MutationQuery_js_1.MutationQueryFactory {
-    constructor(shapeClass, id, updateObjectOrFn) {
-        super();
-        this.shapeClass = shapeClass;
-        this.id = (0, QueryFactory_js_1.toNodeReference)(id).id;
-        this.fields = this.convertUpdateObject(updateObjectOrFn, this.shapeClass.shape);
-    }
-    build() {
-        return (0, IRMutation_js_1.buildCanonicalUpdateMutationIR)({
-            id: this.id,
-            shape: this.shapeClass.shape,
-            updates: this.fields,
-        });
-    }
-}
-exports.UpdateQueryFactory = UpdateQueryFactory;
 //# sourceMappingURL=UpdateQuery.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"UpdateQuery.js","sourceRoot":"","sources":["../../../src/queries/UpdateQuery.ts"],"names":[],"mappings":";;;AACA,uDAM2B;AAC3B,yDAAwD;AAExD,mDAA+D;AAQ/D,MAAa,kBAGX,SAAQ,uCAAoB;IAI5B,YACS,UAAuC,EAC9C,EAA+B,EAC/B,gBAAmB;QAEnB,KAAK,EAAE,CAAC;QAJD,eAAU,GAAV,UAAU,CAA6B;QAK9C,IAAI,CAAC,EAAE,GAAG,IAAA,iCAAe,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,mBAAmB,CACpC,gBAAgB,EAChB,IAAI,CAAC,UAAU,CAAC,KAAK,CACtB,CAAC;IACJ,CAAC;IAED,KAAK;QACH,OAAO,IAAA,8CAA8B,EAAC;YACpC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK;YAC5B,OAAO,EAAE,IAAI,CAAC,MAAM;SACrB,CAAC,CAAC;IACL,CAAC;CACF;AA3BD,gDA2BC"}
+{"version":3,"file":"UpdateQuery.js","sourceRoot":"","sources":["../../../src/queries/UpdateQuery.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,16 @@
+/**
+ * Kind-detecting `fromJSON` — rehydrate any query DSL-JSON back into its builder.
+ *
+ * Mutation envelopes carry an `op` discriminator; select envelopes
+ * (`QueryBuilderJSON`) do not. This is the inbound boundary helper: a receiving
+ * process turns wire JSON into a live query with `fromJSON(json).exec()` (the
+ * existing generic dispatch), no per-op routing needed.
+ */
+import { SelectBuilder, type QueryBuilderJSON } from './QueryBuilder.js';
+import { CreateBuilder } from './CreateBuilder.js';
+import { UpdateBuilder } from './UpdateBuilder.js';
+import { DeleteBuilder } from './DeleteBuilder.js';
+import type { MutationJSON } from './MutationSerialization.js';
+/** Any query in its wire (DSL-JSON) form. */
+export type QueryJSON = QueryBuilderJSON | MutationJSON;
+export declare function fromJSON(json: QueryJSON): SelectBuilder | CreateBuilder | UpdateBuilder | DeleteBuilder;

package/lib/cjs/queries/fromJSON.js

@@ -0,0 +1,41 @@
+"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.fromJSON = fromJSON;
+/**
+ * Kind-detecting `fromJSON` — rehydrate any query DSL-JSON back into its builder.
+ *
+ * Mutation envelopes carry an `op` discriminator; select envelopes
+ * (`QueryBuilderJSON`) do not. This is the inbound boundary helper: a receiving
+ * process turns wire JSON into a live query with `fromJSON(json).exec()` (the
+ * existing generic dispatch), no per-op routing needed.
+ */
+const QueryBuilder_js_1 = require("./QueryBuilder.js");
+const CreateBuilder_js_1 = require("./CreateBuilder.js");
+const UpdateBuilder_js_1 = require("./UpdateBuilder.js");
+const DeleteBuilder_js_1 = require("./DeleteBuilder.js");
+const wireVersion_js_1 = require("./wireVersion.js");
+function fromJSON(json) {
+    (0, wireVersion_js_1.assertWireVersion)(json === null || json === void 0 ? void 0 : json.v);
+    if (json && typeof json === 'object' && 'op' in json) {
+        switch (json.op) {
+            case 'create':
+                return CreateBuilder_js_1.CreateBuilder.fromJSON(json);
+            case 'update':
+                return UpdateBuilder_js_1.UpdateBuilder.fromJSON(json);
+            case 'delete':
+                return DeleteBuilder_js_1.DeleteBuilder.fromJSON(json);
+            default:
+                // An `op` is present but not one we know — a malformed/corrupted or
+                // future-versioned mutation envelope. Fail loud rather than silently
+                // reinterpreting it as a select query.
+                throw new Error(`Unknown query op "${String(json.op)}" in DSL-JSON envelope.`);
+        }
+    }
+    return QueryBuilder_js_1.SelectBuilder.fromJSON(json);
+}
+//# sourceMappingURL=fromJSON.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fromJSON.js","sourceRoot":"","sources":["../../../src/queries/fromJSON.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AAoBH,4BAsBC;AAxCD;;;;;;;GAOG;AACH,uDAAuE;AACvE,yDAAiD;AACjD,yDAAiD;AACjD,yDAAiD;AAEjD,qDAAmD;AAKnD,SAAgB,QAAQ,CACtB,IAAe;IAEf,IAAA,kCAAiB,EAAE,IAAsB,aAAtB,IAAI,uBAAJ,IAAI,CAAoB,CAAC,CAAC,CAAC;IAC9C,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACrD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,KAAK,QAAQ;gBACX,OAAO,gCAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ;gBACX,OAAO,gCAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ;gBACX,OAAO,gCAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC;gBACE,oEAAoE;gBACpE,qEAAqE;gBACrE,uCAAuC;gBACvC,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,CAAE,IAAsB,CAAC,EAAE,CAAC,yBAAyB,CACjF,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,+BAAa,CAAC,QAAQ,CAAC,IAAwB,CAAC,CAAC;AAC1D,CAAC"}

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

@@ -0,0 +1,28 @@
+import type { IRSelectQuery } from './IntermediateRepresentation.js';
+import type { IRCreateQuery } from './CreateQuery.js';
+import type { IRUpdateQuery } from './UpdateQuery.js';
+import type { IRDeleteQuery } from './DeleteQuery.js';
+import type { CreateLowerSpec, UpdateLowerSpec, DeleteLowerSpec } from './mutationLowerSpec.js';
+/** A select query that can be lowered (the select builder). */
+export type LowerableSelect = {
+    readonly __queryKind: 'select';
+    toRawInput(): any;
+};
+/** A mutation query that can be lowered (the mutation builders). */
+export type LowerableCreate = {
+    readonly __queryKind: 'create';
+    _lowerSpec(): CreateLowerSpec;
+};
+export type LowerableUpdate = {
+    readonly __queryKind: 'update';
+    _lowerSpec(): UpdateLowerSpec;
+};
+export type LowerableDelete = {
+    readonly __queryKind: 'delete';
+    _lowerSpec(): DeleteLowerSpec;
+};
+export type LowerableQuery = LowerableSelect | LowerableCreate | LowerableUpdate | LowerableDelete;
+export declare function lower(query: LowerableSelect): IRSelectQuery;
+export declare function lower(query: LowerableCreate): IRCreateQuery;
+export declare function lower(query: LowerableUpdate): IRUpdateQuery;
+export declare function lower(query: LowerableDelete): IRDeleteQuery;

package/lib/cjs/queries/lower.js

@@ -0,0 +1,115 @@
+"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.lower = lower;
+/**
+ * `lower(query)` — turn a live query (builder) into its canonical IR algebra.
+ *
+ * This is the single, **free** lowering entry point, and the *only* place the
+ * canonical-IR pipeline (`IRPipeline` / `IRMutation` / `IRLower` / …) is reached
+ * from. The builders are deliberately IR-free: they hand `lower()` a plain
+ * "lowering spec" (`mutationLowerSpec`) or raw select input, and all IR
+ * construction happens here. A client that authors/serializes/forwards queries
+ * but never calls `lower()` therefore tree-shakes the entire IR pipeline away.
+ * The IR is an implementation detail of stores that want it (e.g. SPARQL) — not
+ * the contract.
+ */
+const IRPipeline_js_1 = require("./IRPipeline.js");
+const MutationQuery_js_1 = require("./MutationQuery.js");
+const QueryFactory_js_1 = require("./QueryFactory.js");
+const QueryContext_js_1 = require("./QueryContext.js");
+const ContextRef_js_1 = require("./ContextRef.js");
+const IRMutation_js_1 = require("./IRMutation.js");
+const IRDesugar_js_1 = require("./IRDesugar.js");
+const IRCanonicalize_js_1 = require("./IRCanonicalize.js");
+const IRLower_js_1 = require("./IRLower.js");
+/** Lower a pre-evaluated where path to its canonical IR fragment. */
+function lowerWherePath(where) {
+    return (0, IRLower_js_1.lowerWhereToIR)((0, IRCanonicalize_js_1.canonicalizeWhere)((0, IRDesugar_js_1.toWhere)(where)));
+}
+/**
+ * Resolve any query-context reference carried as a mutation field value. The
+ * builder preserves a live `PendingQueryContext` through normalization (so it can
+ * serialize as `{$ctx}`); at lowering a mutation must hit a concrete node, so the
+ * context is resolved here and an unset one throws `UnresolvedContextError`.
+ */
+function resolveValueContexts(val) {
+    if (val instanceof QueryContext_js_1.PendingQueryContext) {
+        return { id: (0, ContextRef_js_1.resolveContextId)(val.contextName, true) };
+    }
+    if (Array.isArray(val)) {
+        return val.map(resolveValueContexts);
+    }
+    if (val && typeof val === 'object') {
+        if ((0, QueryFactory_js_1.isSetModificationValue)(val)) {
+            const mod = val;
+            const out = {};
+            if (mod.$add)
+                out.$add = mod.$add.map(resolveValueContexts);
+            if (mod.$remove)
+                out.$remove = mod.$remove.map(resolveValueContexts);
+            return out;
+        }
+        if ('fields' in val) {
+            return resolveDescriptionContexts(val);
+        }
+    }
+    return val;
+}
+/** Deep-resolve context references in a normalized node description (returns a new copy). */
+function resolveDescriptionContexts(desc) {
+    return Object.assign(Object.assign({}, desc), { fields: desc.fields.map((f) => (Object.assign(Object.assign({}, f), { val: resolveValueContexts(f.val) }))) });
+}
+function lowerCreate(spec) {
+    const description = resolveDescriptionContexts(new MutationQuery_js_1.MutationQueryFactory().describe(spec.shapeClass.shape, spec.data, true));
+    return (0, IRMutation_js_1.buildCanonicalCreateMutationIR)({ shape: spec.shapeClass.shape, description });
+}
+function lowerUpdate(spec) {
+    const shape = spec.shapeClass.shape;
+    const updates = resolveDescriptionContexts(new MutationQuery_js_1.MutationQueryFactory().describe(shape, spec.data));
+    if (spec.mode === 'for') {
+        return (0, IRMutation_js_1.buildCanonicalUpdateMutationIR)({ id: spec.targetId, shape, updates });
+    }
+    // forAll / where
+    const lowered = spec.wherePath ? lowerWherePath(spec.wherePath) : undefined;
+    return (0, IRMutation_js_1.buildCanonicalUpdateWhereMutationIR)({
+        shape,
+        updates,
+        where: lowered === null || lowered === void 0 ? void 0 : lowered.where,
+        wherePatterns: lowered === null || lowered === void 0 ? void 0 : lowered.wherePatterns,
+    });
+}
+function lowerDelete(spec) {
+    const shape = spec.shapeClass.shape;
+    if (spec.mode === 'all') {
+        return (0, IRMutation_js_1.buildCanonicalDeleteAllMutationIR)({ shape });
+    }
+    if (spec.mode === 'where') {
+        const { where, wherePatterns } = lowerWherePath(spec.wherePath);
+        return (0, IRMutation_js_1.buildCanonicalDeleteWhereMutationIR)({ shape, where, wherePatterns });
+    }
+    // Resolve any context-ref ids ({$ctx}) against the live map — a delete must hit
+    // a concrete node, so an unresolved one throws (never a silent `{id: undefined}`).
+    const resolvedIds = spec.ids.map((id) => id instanceof QueryContext_js_1.PendingQueryContext
+        ? { id: (0, ContextRef_js_1.resolveContextId)(id.contextName, true) }
+        : id);
+    const ids = new MutationQuery_js_1.MutationQueryFactory().normalizeNodeRefs(resolvedIds);
+    return (0, IRMutation_js_1.buildCanonicalDeleteMutationIR)({ shape, ids });
+}
+function lower(query) {
+    switch (query.__queryKind) {
+        case 'select':
+            return (0, IRPipeline_js_1.buildSelectQuery)(query.toRawInput());
+        case 'create':
+            return lowerCreate(query._lowerSpec());
+        case 'update':
+            return lowerUpdate(query._lowerSpec());
+        case 'delete':
+            return lowerDelete(query._lowerSpec());
+    }
+}
+//# sourceMappingURL=lower.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/queries/lower.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;AA+IH,sBAaC;AA1JD;;;;;;;;;;;GAWG;AACH,mDAAiD;AACjD,yDAAwD;AACxD,uDAAoF;AACpF,uDAAsD;AACtD,mDAAiD;AACjD,mDAOyB;AACzB,iDAAuC;AACvC,2DAAsD;AACtD,6CAA4C;AAwB5C,qEAAqE;AACrE,SAAS,cAAc,CAAC,KAAgB;IACtC,OAAO,IAAA,2BAAc,EAAC,IAAA,qCAAiB,EAAC,IAAA,sBAAO,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,GAAY;IACxC,IAAI,GAAG,YAAY,qCAAmB,EAAE,CAAC;QACvC,OAAO,EAAC,EAAE,EAAE,IAAA,gCAAgB,EAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,IAAA,wCAAsB,EAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,GAA8C,CAAC;YAC3D,MAAM,GAAG,GAA4C,EAAE,CAAC;YACxD,IAAI,GAAG,CAAC,IAAI;gBAAE,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YAC5D,IAAI,GAAG,CAAC,OAAO;gBAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YACrE,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,QAAQ,IAAI,GAAG,EAAE,CAAC;YACpB,OAAO,0BAA0B,CAAC,GAA2B,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,SAAS,0BAA0B,CAAC,IAA0B;IAC5D,uCACK,IAAI,KACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAK,CAAC,KAAE,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAiB,IAAE,CAAC,IAC1F;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,WAAW,GAAG,0BAA0B,CAC5C,IAAI,uCAAoB,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5E,CAAC;IACF,OAAO,IAAA,8CAA8B,EAAC,EAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,WAAW,EAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACpC,MAAM,OAAO,GAAG,0BAA0B,CACxC,IAAI,uCAAoB,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CACtD,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,IAAA,8CAA8B,EAAC,EAAC,EAAE,EAAE,IAAI,CAAC,QAAS,EAAE,KAAK,EAAE,OAAO,EAAC,CAAC,CAAC;IAC9E,CAAC;IACD,iBAAiB;IACjB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,OAAO,IAAA,mDAAmC,EAAC;QACzC,KAAK;QACL,OAAO;QACP,KAAK,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK;QACrB,aAAa,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa;KACtC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,IAAA,iDAAiC,EAAC,EAAC,KAAK,EAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,EAAC,KAAK,EAAE,aAAa,EAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAU,CAAC,CAAC;QAC/D,OAAO,IAAA,mDAAmC,EAAC,EAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAC,CAAC,CAAC;IAC5E,CAAC;IACD,gFAAgF;IAChF,mFAAmF;IACnF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvC,EAAE,YAAY,qCAAmB;QAC/B,CAAC,CAAC,EAAC,EAAE,EAAE,IAAA,gCAAgB,EAAC,EAAE,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC;QAC/C,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,uCAAoB,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACtE,OAAO,IAAA,8CAA8B,EAAC,EAAC,KAAK,EAAE,GAAG,EAAC,CAAC,CAAC;AACtD,CAAC;AAMD,SAAgB,KAAK,CACnB,KAAqB;IAErB,QAAQ,KAAK,CAAC,WAAW,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,IAAA,gCAAgB,EAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9C,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,12 @@
+import { type NodeDescriptionValue } from './QueryFactory.js';
+import type { IRCreateQuery } from './CreateQuery.js';
+import type { IRUpdateQuery } from './UpdateQuery.js';
+import type { IRDeleteQuery } from './DeleteQuery.js';
+import { type MutationJSON, type MutationNodeDataJSON } from './MutationSerialization.js';
+/** Rebuild a normalized node description from JSON, resolving labels via the shape. */
+export declare function decodeNodeData(json: MutationNodeDataJSON): NodeDescriptionValue;
+/**
+ * Lower a mutation DSL-JSON envelope to the canonical IR mutation the dataset
+ * expects. Mirrors the IR that `lower()` produces from the live builder.
+ */
+export declare function lowerMutationJSON(json: MutationJSON): IRCreateQuery | IRUpdateQuery | IRDeleteQuery;