@_linked/core 2.9.0 → 2.10.0-next.20260630061713

package/lib/esm/queries/UpdateBuilder.js

@@ -1,11 +1,12 @@
 import { resolveShape } from './resolveShape.js';
-import { UpdateQueryFactory } from './UpdateQuery.js';
+import { MutationQueryFactory } from './MutationQuery.js';
 import { getQueryDispatch } from './queryDispatch.js';
+import { WIRE_VERSION, assertWireVersion } from './wireVersion.js';
+import { PendingQueryContext, getQueryContext, UnresolvedContextError } from './QueryContext.js';
+import { encodeContextRef, isContextRefJSON } from './ContextRef.js';
 import { processWhereClause } from './SelectQuery.js';
-import { buildCanonicalUpdateWhereMutationIR } from './IRMutation.js';
-import { toWhere } from './IRDesugar.js';
-import { canonicalizeWhere } from './IRCanonicalize.js';
-import { lowerWhereToIR } from './IRLower.js';
+import { encodeNodeData, decodeNodeDataToRaw } from './MutationSerialization.js';
+import { serializeWherePath, deserializeWherePath } from './QueryBuilderSerialization.js';
 /**
  * An immutable, fluent builder for update mutations.
  *
@@ -21,14 +22,21 @@ import { lowerWhereToIR } from './IRLower.js';
  */
 export 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
@@ -37,13 +45,33 @@ export class UpdateBuilder {
         const resolved = resolveShape(shape);
         return new UpdateBuilder({ shape: resolved });
     }
+    /** Reconstruct an UpdateBuilder from its DSL-JSON (inverse of `toJSON`). */
+    static fromJSON(json) {
+        assertWireVersion(json.v);
+        const resolved = resolveShape(json.shape);
+        const data = decodeNodeDataToRaw(json.data);
+        if (json.mode === 'for') {
+            if (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 = 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 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() {
@@ -56,59 +84,90 @@ export 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 : 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 UnresolvedContextError(this._targetContextName);
+            }
+            throw new Error('UpdateBuilder requires .for(id), .forAll(), or .where() before it can be lowered.');
         }
-        const factory = new UpdateQueryFactory(this._shape, this._targetId, this._data);
-        return factory.build();
-    }
-    buildUpdateWhere() {
-        const factory = new UpdateQueryFactory(this._shape, '__placeholder__', // not used for where/forAll
-        this._data);
-        const description = factory.fields;
-        let where;
-        let wherePatterns;
-        if (this._whereFn) {
-            const wherePath = processWhereClause(this._whereFn, this._shape);
-            const desugared = toWhere(wherePath);
-            const canonical = canonicalizeWhere(desugared);
-            const lowered = 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 = 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 MutationQueryFactory().describe(this._shape.shape, this._data);
+        const json = {
+            v: WIRE_VERSION,
+            op: 'update',
+            shape: this._shape.shape.id,
+            mode,
+            data: encodeNodeData(fields),
+        };
+        if (mode === 'for') {
+            if (this._targetContextName)
+                json.targetId = encodeContextRef(this._targetContextName);
+            else
+                json.targetId = this._targetId;
+        }
+        if (mode === 'where') {
+            const wherePath = (_a = this._where) !== null && _a !== void 0 ? _a : (this._whereFn ? processWhereClause(this._whereFn, this._shape) : undefined);
+            if (!wherePath) {
+                throw new Error('UpdateBuilder.where() requires a condition callback.');
+            }
+            json.where = serializeWherePath(wherePath);
         }
-        return 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 getQueryDispatch().updateQuery(this.build()).then(() => undefined);
+            return getQueryDispatch().updateQuery(this).then(() => undefined);
         }
-        return getQueryDispatch().updateQuery(this.build());
+        return getQueryDispatch().updateQuery(this);
     }
     // ---------------------------------------------------------------------------
     // Promise interface

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

@@ -1 +1 @@
-{"version":3,"file":"UpdateBuilder.js","sourceRoot":"","sources":["../../../src/queries/UpdateBuilder.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAC,kBAAkB,EAAmB,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAC,gBAAgB,EAAC,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAmB,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAC,mCAAmC,EAAC,MAAM,iBAAiB,CAAC;AACpE,OAAO,EAAC,OAAO,EAAC,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAC,iBAAiB,EAAC,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAC,cAAc,EAAC,MAAM,cAAc,CAAC;AAgB5C;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,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,YAAY,CAAI,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,kBAAkB,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,kBAAkB,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,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACjE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;YACrC,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YAC1C,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YACtB,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;QACxC,CAAC;QAED,OAAO,mCAAmC,CAAC;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,gBAAgB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAe,CAAC;QAC1F,CAAC;QACD,OAAO,gBAAgB,EAAE,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"}
+{"version":3,"file":"UpdateBuilder.js","sourceRoot":"","sources":["../../../src/queries/UpdateBuilder.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,gBAAgB,EAAC,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAC,YAAY,EAAE,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAC,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,EAAC,MAAM,mBAAmB,CAAC;AAC/F,OAAO,EAAC,gBAAgB,EAAE,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AAEnE,OAAO,EAAmC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AAEtF,OAAO,EAAC,cAAc,EAAE,mBAAmB,EAA0B,MAAM,4BAA4B,CAAC;AACxG,OAAO,EAAC,kBAAkB,EAAE,oBAAoB,EAAC,MAAM,gCAAgC,CAAC;AAoBxF;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,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,YAAY,CAAI,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,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAQ,CAAC;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAI,gBAAgB,CAAC,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,oBAAoB,CAAC,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,mBAAmB,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,kBAAkB,CAAC,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,sBAAsB,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,eAAe,CAAC,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,oBAAoB,EAAE,CAAC,QAAQ,CAChD,IAAI,CAAC,MAAM,CAAC,KAAK,EACjB,IAAI,CAAC,KAAK,CACX,CAAC;QACF,MAAM,IAAI,GAAuB;YAC/B,CAAC,EAAE,YAAY;YACf,EAAE,EAAE,QAAQ;YACZ,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC3B,IAAI;YACJ,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC;SAC7B,CAAC;QACF,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,kBAAkB;gBAAE,IAAI,CAAC,QAAQ,GAAG,gBAAgB,CAAC,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,kBAAkB,CAAC,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,kBAAkB,CAAC,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,gBAAgB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAe,CAAC;QAClF,CAAC;QACD,OAAO,gBAAgB,EAAE,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"}

package/lib/esm/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/esm/queries/UpdateQuery.js

@@ -1,19 +1,2 @@
-import { toNodeReference, } from './QueryFactory.js';
-import { MutationQueryFactory } from './MutationQuery.js';
-import { buildCanonicalUpdateMutationIR } from './IRMutation.js';
-export class UpdateQueryFactory extends MutationQueryFactory {
-    constructor(shapeClass, id, updateObjectOrFn) {
-        super();
-        this.shapeClass = shapeClass;
-        this.id = toNodeReference(id).id;
-        this.fields = this.convertUpdateObject(updateObjectOrFn, this.shapeClass.shape);
-    }
-    build() {
-        return buildCanonicalUpdateMutationIR({
-            id: this.id,
-            shape: this.shapeClass.shape,
-            updates: this.fields,
-        });
-    }
-}
+export {};
 //# sourceMappingURL=UpdateQuery.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"UpdateQuery.js","sourceRoot":"","sources":["../../../src/queries/UpdateQuery.ts"],"names":[],"mappings":"AACA,OAAO,EAKL,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AAExD,OAAO,EAAC,8BAA8B,EAAC,MAAM,iBAAiB,CAAC;AAQ/D,MAAM,OAAO,kBAGX,SAAQ,oBAAoB;IAI5B,YACS,UAAuC,EAC9C,EAA+B,EAC/B,gBAAmB;QAEnB,KAAK,EAAE,CAAC;QAJD,eAAU,GAAV,UAAU,CAA6B;QAK9C,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,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,8BAA8B,CAAC;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"}
+{"version":3,"file":"UpdateQuery.js","sourceRoot":"","sources":["../../../src/queries/UpdateQuery.ts"],"names":[],"mappings":""}

package/lib/esm/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/esm/queries/fromJSON.js

@@ -0,0 +1,38 @@
+/*
+ * 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/.
+ */
+/**
+ * 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 } from './QueryBuilder.js';
+import { CreateBuilder } from './CreateBuilder.js';
+import { UpdateBuilder } from './UpdateBuilder.js';
+import { DeleteBuilder } from './DeleteBuilder.js';
+import { assertWireVersion } from './wireVersion.js';
+export function fromJSON(json) {
+    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.fromJSON(json);
+            case 'update':
+                return UpdateBuilder.fromJSON(json);
+            case 'delete':
+                return 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 SelectBuilder.fromJSON(json);
+}
+//# sourceMappingURL=fromJSON.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fromJSON.js","sourceRoot":"","sources":["../../../src/queries/fromJSON.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;GAOG;AACH,OAAO,EAAC,aAAa,EAAwB,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAC,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AAKnD,MAAM,UAAU,QAAQ,CACtB,IAAe;IAEf,iBAAiB,CAAE,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,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ;gBACX,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ;gBACX,OAAO,aAAa,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,aAAa,CAAC,QAAQ,CAAC,IAAwB,CAAC,CAAC;AAC1D,CAAC"}

package/lib/esm/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/esm/queries/lower.js

@@ -0,0 +1,112 @@
+/*
+ * 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/.
+ */
+/**
+ * `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.
+ */
+import { buildSelectQuery } from './IRPipeline.js';
+import { MutationQueryFactory } from './MutationQuery.js';
+import { isSetModificationValue } from './QueryFactory.js';
+import { PendingQueryContext } from './QueryContext.js';
+import { resolveContextId } from './ContextRef.js';
+import { buildCanonicalCreateMutationIR, buildCanonicalUpdateMutationIR, buildCanonicalUpdateWhereMutationIR, buildCanonicalDeleteMutationIR, buildCanonicalDeleteAllMutationIR, buildCanonicalDeleteWhereMutationIR, } from './IRMutation.js';
+import { toWhere } from './IRDesugar.js';
+import { canonicalizeWhere } from './IRCanonicalize.js';
+import { lowerWhereToIR } from './IRLower.js';
+/** Lower a pre-evaluated where path to its canonical IR fragment. */
+function lowerWherePath(where) {
+    return lowerWhereToIR(canonicalizeWhere(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 PendingQueryContext) {
+        return { id: resolveContextId(val.contextName, true) };
+    }
+    if (Array.isArray(val)) {
+        return val.map(resolveValueContexts);
+    }
+    if (val && typeof val === 'object') {
+        if (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 MutationQueryFactory().describe(spec.shapeClass.shape, spec.data, true));
+    return buildCanonicalCreateMutationIR({ shape: spec.shapeClass.shape, description });
+}
+function lowerUpdate(spec) {
+    const shape = spec.shapeClass.shape;
+    const updates = resolveDescriptionContexts(new MutationQueryFactory().describe(shape, spec.data));
+    if (spec.mode === 'for') {
+        return buildCanonicalUpdateMutationIR({ id: spec.targetId, shape, updates });
+    }
+    // forAll / where
+    const lowered = spec.wherePath ? lowerWherePath(spec.wherePath) : undefined;
+    return 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 buildCanonicalDeleteAllMutationIR({ shape });
+    }
+    if (spec.mode === 'where') {
+        const { where, wherePatterns } = lowerWherePath(spec.wherePath);
+        return 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 PendingQueryContext
+        ? { id: resolveContextId(id.contextName, true) }
+        : id);
+    const ids = new MutationQueryFactory().normalizeNodeRefs(resolvedIds);
+    return buildCanonicalDeleteMutationIR({ shape, ids });
+}
+export function lower(query) {
+    switch (query.__queryKind) {
+        case 'select':
+            return 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/esm/queries/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/queries/lower.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;GAWG;AACH,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,sBAAsB,EAA4B,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAC,mBAAmB,EAAC,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACjD,OAAO,EACL,8BAA8B,EAC9B,8BAA8B,EAC9B,mCAAmC,EACnC,8BAA8B,EAC9B,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAC,OAAO,EAAC,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAC,iBAAiB,EAAC,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAC,cAAc,EAAC,MAAM,cAAc,CAAC;AAwB5C,qEAAqE;AACrE,SAAS,cAAc,CAAC,KAAgB;IACtC,OAAO,cAAc,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,GAAY;IACxC,IAAI,GAAG,YAAY,mBAAmB,EAAE,CAAC;QACvC,OAAO,EAAC,EAAE,EAAE,gBAAgB,CAAC,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,sBAAsB,CAAC,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,oBAAoB,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAC5E,CAAC;IACF,OAAO,8BAA8B,CAAC,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,oBAAoB,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CACtD,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,8BAA8B,CAAC,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,mCAAmC,CAAC;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,iCAAiC,CAAC,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,mCAAmC,CAAC,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,mBAAmB;QAC/B,CAAC,CAAC,EAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC;QAC/C,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,oBAAoB,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACtE,OAAO,8BAA8B,CAAC,EAAC,KAAK,EAAE,GAAG,EAAC,CAAC,CAAC;AACtD,CAAC;AAMD,MAAM,UAAU,KAAK,CACnB,KAAqB;IAErB,QAAQ,KAAK,CAAC,WAAW,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC,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/esm/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;