@_linked/core 2.9.0 → 2.10.0-next.20260630062115

package/lib/esm/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,kBAAkB,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,iBAAiB,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,aAAa,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC;AAC3C,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,QAAQ,MAAM,2BAA2B,CAAC;AACtD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,YAAY,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,0BAA0B,MAAM,yCAAyC,CAAC;AACtF,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAC;AACzC,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAC,UAAU,EAAE,SAAS,EAAC,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAC,OAAO,EAAC,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAC,uBAAuB,EAAC,MAAM,qCAAqC,CAAC;AAC5E,OAAO,KAAK,aAAa,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,UAAU,MAAM,4BAA4B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAC;AAC7C,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAC;AAC/C,OAAO,KAAK,YAAY,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,cAAc,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,mBAAmB,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,mBAAmB,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,mBAAmB,MAAM,4BAA4B,CAAC;AAClE,2CAA2C;AAC3C,OAAO,EAAC,YAAY,EAAC,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAC,YAAY,EAAE,gBAAgB,EAAC,MAAM,2BAA2B,CAAC;AAGzE,sBAAsB;AACtB,OAAO,EAAC,QAAQ,EAAC,MAAM,uBAAuB,CAAC;AAM/C,+BAA+B;AAC/B,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AAEzD,8CAA8C;AAC9C,OAAO,EAAC,cAAc,EAAC,MAAM,iCAAiC,CAAC;AAE/D,OAAO,EAAC,IAAI,EAAC,MAAM,uBAAuB,CAAC;AAc3C,MAAM,UAAU,cAAc;IAC5B,IAAI,WAAW,GAAG;QAChB,OAAO;QACP,kBAAkB;QAClB,iBAAiB;QACjB,aAAa;QACb,OAAO;QACP,OAAO;QACP,KAAK;QACL,QAAQ;QACR,MAAM;QACN,SAAS;QACT,MAAM;QACN,GAAG;QACH,UAAU;QACV,IAAI;QACJ,QAAQ;QACR,aAAa;QACb,UAAU;QACV,QAAQ;QACR,WAAW;QACX,WAAW;QACX,aAAa;QACb,WAAW;QACX,WAAW;QACX,aAAa;QACb,YAAY;QACZ,0BAA0B;QAC1B,WAAW;QACX,GAAG;QACH,IAAI;QACJ,GAAG;QACH,KAAK;QACL,YAAY;QACZ,GAAG;QACH,GAAG;QACH,MAAM;QACN,kBAAkB;QAClB,kBAAkB;QAClB,oBAAoB;QACpB,cAAc;QACd,mBAAmB;QACnB,mBAAmB;QACnB,mBAAmB;KACpB,CAAC;IACF,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,KAAK,IAAI,OAAO,IAAI,WAAW,EAAE,CAAC;QAChC,IAAI,eAAe,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAC3C,KAAK,IAAI,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,WAAW,CAAC,SAAS,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;AACH,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAC;AAC9C,OAAO,KAAK,kBAAkB,MAAM,+BAA+B,CAAC;AACpE,OAAO,KAAK,iBAAiB,MAAM,8BAA8B,CAAC;AAClE,OAAO,KAAK,aAAa,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAC;AACpD,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC;AAC3C,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,QAAQ,MAAM,2BAA2B,CAAC;AACtD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,WAAW,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,aAAa,MAAM,4BAA4B,CAAC;AAC5D,OAAO,KAAK,YAAY,MAAM,2BAA2B,CAAC;AAC1D,OAAO,KAAK,0BAA0B,MAAM,yCAAyC,CAAC;AACtF,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,UAAU,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAC;AACzC,OAAO,KAAK,QAAQ,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAC,UAAU,EAAE,SAAS,EAAC,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAC,OAAO,EAAC,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAC,uBAAuB,EAAC,MAAM,qCAAqC,CAAC;AAC5E,OAAO,KAAK,aAAa,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,UAAU,MAAM,4BAA4B,CAAC;AACzD,OAAO,KAAK,QAAQ,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAC;AAC7C,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAC;AAC/C,OAAO,KAAK,YAAY,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,2BAA2B,MAAM,oCAAoC,CAAC;AAClF,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,kBAAkB,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,cAAc,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,mBAAmB,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,mBAAmB,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,mBAAmB,MAAM,4BAA4B,CAAC;AAClE,2CAA2C;AAC3C,OAAO,EAAC,aAAa,EAAE,YAAY,EAAC,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAC,KAAK,EAAC,MAAM,oBAAoB,CAAC;AAEzC,OAAO,EAAC,QAAQ,EAAC,MAAM,uBAAuB,CAAC;AAE/C,OAAO,EACL,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAC,YAAY,EAAE,gBAAgB,EAAC,MAAM,2BAA2B,CAAC;AAGzE,sBAAsB;AACtB,OAAO,EAAC,QAAQ,EAAC,MAAM,uBAAuB,CAAC;AAM/C,+BAA+B;AAC/B,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AAGzD,8CAA8C;AAC9C,OAAO,EAAC,cAAc,EAAC,MAAM,iCAAiC,CAAC;AAE/D,OAAO,EAAC,IAAI,EAAC,MAAM,uBAAuB,CAAC;AAe3C,sEAAsE;AACtE,OAAO,EACL,cAAc,EACd,WAAW,GACZ,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,cAAc,EACd,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAWxC,MAAM,UAAU,cAAc;IAC5B,IAAI,WAAW,GAAG;QAChB,OAAO;QACP,kBAAkB;QAClB,iBAAiB;QACjB,aAAa;QACb,OAAO;QACP,OAAO;QACP,KAAK;QACL,QAAQ;QACR,MAAM;QACN,SAAS;QACT,MAAM;QACN,GAAG;QACH,UAAU;QACV,IAAI;QACJ,QAAQ;QACR,aAAa;QACb,UAAU;QACV,QAAQ;QACR,WAAW;QACX,WAAW;QACX,aAAa;QACb,WAAW;QACX,WAAW;QACX,aAAa;QACb,YAAY;QACZ,0BAA0B;QAC1B,WAAW;QACX,GAAG;QACH,IAAI;QACJ,GAAG;QACH,KAAK;QACL,YAAY;QACZ,GAAG;QACH,GAAG;QACH,MAAM;QACN,2BAA2B;QAC3B,kBAAkB;QAClB,kBAAkB;QAClB,oBAAoB;QACpB,cAAc;QACd,mBAAmB;QACnB,mBAAmB;QACnB,mBAAmB;KACpB,CAAC;IACF,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,KAAK,IAAI,OAAO,IAAI,WAAW,EAAE,CAAC;QAChC,IAAI,eAAe,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAC3C,KAAK,IAAI,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,WAAW,CAAC,SAAS,CAAC,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,OAAO,MAAM,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;AACH,CAAC"}

package/lib/esm/interfaces/IDataset.d.ts

@@ -8,9 +8,11 @@ import type { SelectResult, CreateResult, UpdateResult } from '../queries/Interm
  * Linked Queries as input. The implementing class decides how to handle them —
  * compiling to SPARQL for Fuseki, forwarding as-is to a Host Agent API, etc.
  *
- * Each method receives a canonical IR query object and returns the result.
- * The calling layer (LinkedStorage via queryDispatch) threads the precise
- * DSL-level TypeScript result type back to the caller.
+ * Each method receives the live, closed (read-only) query object — the builder
+ * viewed through its `*Query` interface — and returns the result. A store reads
+ * `query.toJSON()` to forward it, or `lower(query)` to get canonical IR. The
+ * calling layer (LinkedStorage via queryDispatch) threads the precise DSL-level
+ * TypeScript result type back to the caller.
  */
 export interface IDataset {
     /**

package/lib/esm/package.json

@@ -1,3 +1,9 @@
 {
-  "type": "module"
+  "type": "module",
+  "sideEffects": [
+    "**/ontologies/*.js",
+    "**/ontologies/*.ts",
+    "**/utils/Package.js",
+    "**/utils/Package.ts"
+  ]
 }

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

@@ -0,0 +1,21 @@
+/** The reserved key that tags a context reference in DSL-JSON. */
+export declare const CONTEXT_REF_KEY = "$ctx";
+/** The wire shape of a context reference: `{$ctx: "<contextName>"}`. */
+export interface ContextRefJSON {
+    [CONTEXT_REF_KEY]: string;
+}
+/** Build a context-reference marker for the given context name. */
+export declare function encodeContextRef(name: string): ContextRefJSON;
+/** Type guard: is this value a `{$ctx: "..."}` context-reference marker? */
+export declare function isContextRefJSON(value: unknown): value is ContextRefJSON;
+/**
+ * Resolve a context name to its node id against the current context map.
+ *
+ * @param name     the context name (e.g. `'user'`)
+ * @param required when true, throw {@link UnresolvedContextError} if the context
+ *   isn't set (the mutation contract — a mutation must not silently target
+ *   nothing). When false, return `undefined` (the select contract — an
+ *   unresolved subject simply yields no results, and a reactive layer re-runs
+ *   the query once the context lands).
+ */
+export declare function resolveContextId(name: string, required: boolean): string | undefined;

package/lib/esm/queries/ContextRef.js

@@ -0,0 +1,52 @@
+/*
+ * 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/.
+ */
+/**
+ * The unified wire encoding for a *query-context reference*.
+ *
+ * A context reference is a placeholder for a node id that is not known when the
+ * query is authored — e.g. "the currently authenticated user". Instead of
+ * resolving it eagerly (which loses the reference and breaks queries built
+ * before auth completes), the reference is carried on the wire as a tagged
+ * marker and resolved at lowering time against whatever context map is
+ * available (client-side React context, server-side auth, …).
+ *
+ * The same `{$ctx: "<name>"}` marker is used in *every* position a node id can
+ * appear: the select subject, the update target, where-clause arguments, and
+ * mutation field values. One marker, one resolver, everywhere.
+ */
+import { getQueryContext, UnresolvedContextError } from './QueryContext.js';
+/** The reserved key that tags a context reference in DSL-JSON. */
+export const CONTEXT_REF_KEY = '$ctx';
+/** Build a context-reference marker for the given context name. */
+export function encodeContextRef(name) {
+    return { [CONTEXT_REF_KEY]: name };
+}
+/** Type guard: is this value a `{$ctx: "..."}` context-reference marker? */
+export function isContextRefJSON(value) {
+    return (!!value &&
+        typeof value === 'object' &&
+        typeof value[CONTEXT_REF_KEY] === 'string' &&
+        Object.keys(value).length === 1);
+}
+/**
+ * Resolve a context name to its node id against the current context map.
+ *
+ * @param name     the context name (e.g. `'user'`)
+ * @param required when true, throw {@link UnresolvedContextError} if the context
+ *   isn't set (the mutation contract — a mutation must not silently target
+ *   nothing). When false, return `undefined` (the select contract — an
+ *   unresolved subject simply yields no results, and a reactive layer re-runs
+ *   the query once the context lands).
+ */
+export function resolveContextId(name, required) {
+    var _a;
+    const id = (_a = getQueryContext(name)) === null || _a === void 0 ? void 0 : _a.id;
+    if (!id && required) {
+        throw new UnresolvedContextError(name);
+    }
+    return id;
+}
+//# sourceMappingURL=ContextRef.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ContextRef.js","sourceRoot":"","sources":["../../../src/queries/ContextRef.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAC,eAAe,EAAE,sBAAsB,EAAC,MAAM,mBAAmB,CAAC;AAE1E,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AAOtC,mEAAmE;AACnE,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,EAAC,CAAC,eAAe,CAAC,EAAE,IAAI,EAAC,CAAC;AACnC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,CACL,CAAC,CAAC,KAAK;QACP,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAQ,KAAiC,CAAC,eAAe,CAAC,KAAK,QAAQ;QACvE,MAAM,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC,MAAM,KAAK,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,QAAiB;;IAEjB,MAAM,EAAE,GAAG,MAAA,eAAe,CAAC,IAAI,CAAC,0CAAE,EAAE,CAAC;IACrC,IAAI,CAAC,EAAE,IAAI,QAAQ,EAAE,CAAC;QACpB,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

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

@@ -1,6 +1,9 @@
 import { Shape, type ShapeConstructor } from '../shapes/Shape.js';
 import type { UpdatePartial } from './QueryFactory.js';
-import { type CreateQuery, type CreateResponse } from './CreateQuery.js';
+import type { CreateResponse } from './CreateQuery.js';
+import type { NodeShape } from '../shapes/SHACL.js';
+import { type CreateMutationJSON } from './MutationSerialization.js';
+import type { CreateLowerSpec } from './mutationLowerSpec.js';
 /**
  * An immutable, fluent builder for create mutations.
  *
@@ -11,7 +14,8 @@ import { type CreateQuery, type CreateResponse } from './CreateQuery.js';
  * const result = await CreateBuilder.from(Person).set({name: 'Alice'});
  * ```
  *
- * Internally delegates to CreateQueryFactory for IR generation.
+ * Serialization normalizes through the IR-free factory base; IR is produced by
+ * the free `lower()` function (the builder itself imports no IR).
  */
 export declare class CreateBuilder<S extends Shape = Shape, U extends UpdatePartial<S> = UpdatePartial<S>> implements PromiseLike<CreateResponse<U>>, Promise<CreateResponse<U>> {
     private readonly _shape;
@@ -23,12 +27,24 @@ export declare class CreateBuilder<S extends Shape = Shape, U extends UpdatePart
      * Create a CreateBuilder for the given shape.
      */
     static from<S extends Shape>(shape: ShapeConstructor<S> | string): CreateBuilder<S>;
+    /** Reconstruct a CreateBuilder from its DSL-JSON (inverse of `toJSON`). */
+    static fromJSON(json: CreateMutationJSON): CreateBuilder;
     /** Set the data for the entity to create. */
     set<NewU extends UpdatePartial<S>>(data: NewU): CreateBuilder<S, NewU>;
     /** Pre-assign a node ID for the created entity. */
     withId(id: string): CreateBuilder<S, U>;
-    /** Build the IR mutation. Throws if no data was set via .set(). */
-    build(): CreateQuery;
+    /** Discriminator for the free `lower()` function and dataset routing. */
+    readonly __queryKind: "create";
+    /** The shape this query targets — the routing key datasets/`LinkedStorage` use. */
+    get shape(): NodeShape;
+    /** @internal The IR-free lowering spec consumed by `lower()`. Validates inputs. */
+    _lowerSpec(): CreateLowerSpec<S>;
+    /**
+     * Serialize this create mutation to lightweight DSL-JSON. Normalizes the create
+     * data through the IR-free factory base (the same normalization `lower()` runs)
+     * so the result is concrete and JSON-safe, then encodes the node description.
+     */
+    toJSON(): CreateMutationJSON;
     /** Execute the mutation. */
     exec(): Promise<CreateResponse<U>>;
     then<TResult1 = CreateResponse<U>, TResult2 = never>(onfulfilled?: ((value: CreateResponse<U>) => TResult1 | PromiseLike<TResult1>) | null, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | null): Promise<TResult1 | TResult2>;

package/lib/esm/queries/CreateBuilder.js

@@ -1,6 +1,8 @@
 import { resolveShape } from './resolveShape.js';
-import { CreateQueryFactory } from './CreateQuery.js';
+import { MutationQueryFactory } from './MutationQuery.js';
 import { getQueryDispatch } from './queryDispatch.js';
+import { WIRE_VERSION, assertWireVersion } from './wireVersion.js';
+import { encodeNodeData, decodeNodeDataToRaw } from './MutationSerialization.js';
 /**
  * An immutable, fluent builder for create mutations.
  *
@@ -11,10 +13,16 @@ import { getQueryDispatch } from './queryDispatch.js';
  * const result = await CreateBuilder.from(Person).set({name: 'Alice'});
  * ```
  *
- * Internally delegates to CreateQueryFactory for IR generation.
+ * Serialization normalizes through the IR-free factory base; IR is produced by
+ * the free `lower()` function (the builder itself imports no IR).
  */
 export class CreateBuilder {
     constructor(init) {
+        // ---------------------------------------------------------------------------
+        // Build & execute
+        // ---------------------------------------------------------------------------
+        /** Discriminator for the free `lower()` function and dataset routing. */
+        this.__queryKind = 'create';
         this._shape = init.shape;
         this._data = init.data;
         this._fixedId = init.fixedId;
@@ -32,6 +40,11 @@ export class CreateBuilder {
         const resolved = resolveShape(shape);
         return new CreateBuilder({ shape: resolved });
     }
+    /** Reconstruct a CreateBuilder from its DSL-JSON (inverse of `toJSON`). */
+    static fromJSON(json) {
+        assertWireVersion(json.v);
+        return CreateBuilder.from(json.shape).set(decodeNodeDataToRaw(json.data));
+    }
     // ---------------------------------------------------------------------------
     // Fluent API
     // ---------------------------------------------------------------------------
@@ -43,13 +56,14 @@ export class CreateBuilder {
     withId(id) {
         return this.clone({ fixedId: id });
     }
-    // ---------------------------------------------------------------------------
-    // Build & execute
-    // ---------------------------------------------------------------------------
-    /** Build the IR mutation. Throws if no data was set via .set(). */
-    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() {
         if (!this._data) {
-            throw new Error('CreateBuilder requires .set(data) before .build(). Specify what to create.');
+            throw new Error('CreateBuilder requires .set(data) before it can be lowered. Specify what to create.');
         }
         const data = this._data;
         // Validate that required properties (minCount >= 1) are present in data
@@ -70,12 +84,30 @@ export class CreateBuilder {
         // Inject __id if fixedId is set
         const dataWithId = this._fixedId
             ? Object.assign(Object.assign({}, data), { __id: this._fixedId }) : data;
-        const factory = new CreateQueryFactory(this._shape, dataWithId);
-        return factory.build();
+        return { shapeClass: this._shape, data: dataWithId };
+    }
+    /**
+     * Serialize this create mutation to lightweight DSL-JSON. Normalizes the create
+     * data through the IR-free factory base (the same normalization `lower()` runs)
+     * so the result is concrete and JSON-safe, then encodes the node description.
+     */
+    toJSON() {
+        if (!this._data) {
+            throw new Error('CreateBuilder requires .set(data) before .toJSON().');
+        }
+        const dataWithId = this._fixedId
+            ? Object.assign(Object.assign({}, this._data), { __id: this._fixedId }) : this._data;
+        const description = new MutationQueryFactory().describe(this._shape.shape, dataWithId, true);
+        return {
+            v: WIRE_VERSION,
+            op: 'create',
+            shape: this._shape.shape.id,
+            data: encodeNodeData(description),
+        };
     }
     /** Execute the mutation. */
     exec() {
-        return getQueryDispatch().createQuery(this.build());
+        return getQueryDispatch().createQuery(this);
     }
     // ---------------------------------------------------------------------------
     // Promise interface

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

@@ -1 +1 @@
-{"version":3,"file":"CreateBuilder.js","sourceRoot":"","sources":["../../../src/queries/CreateBuilder.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAC,kBAAkB,EAAwC,MAAM,kBAAkB,CAAC;AAC3F,OAAO,EAAC,gBAAgB,EAAC,MAAM,oBAAoB,CAAC;AAWpD;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,aAAa;IAOxB,YAAoB,IAA0B;QAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,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,OAAO,EAAE,IAAI,CAAC,QAAQ,IACnB,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E;;OAEG;IACH,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,6CAA6C;IAC7C,GAAG,CAAgC,IAAU;QAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAC,CAAsC,CAAC;IACjE,CAAC;IAED,mDAAmD;IACnD,MAAM,CAAC,EAAU;QACf,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,OAAO,EAAE,EAAE,EAAC,CAAmC,CAAC;IACrE,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E,mEAAmE;IACnE,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,4EAA4E,CAC7E,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QAExB,wEAAwE;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QACnC,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,aAAa,GAAG,QAAQ;iBAC3B,uBAAuB,EAAE;iBACzB,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,aAAa;iBAC1B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;iBACvC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CACb,gCAAgC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,8FAA8F;QAE9F,gCAAgC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ;YAC9B,CAAC,iCAAM,IAAY,KAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,IACxC,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,OAAO,GAAG,IAAI,kBAAkB,CACpC,IAAI,CAAC,MAAM,EACX,UAA8B,CAC/B,CAAC;QACF,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;IAED,4BAA4B;IAC5B,IAAI;QACF,OAAO,gBAAgB,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAA+B,CAAC;IACpF,CAAC;IAED,8EAA8E;IAC9E,oBAAoB;IACpB,8EAA8E;IAE9E,IAAI,CACF,WAAqF,EACrF,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":"CreateBuilder.js","sourceRoot":"","sources":["../../../src/queries/CreateBuilder.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAG/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;AAEjE,OAAO,EAAC,cAAc,EAAE,mBAAmB,EAA0B,MAAM,4BAA4B,CAAC;AAYxG;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,aAAa;IAOxB,YAAoB,IAA0B;QA+C9C,8EAA8E;QAC9E,kBAAkB;QAClB,8EAA8E;QAE9E,yEAAyE;QAChE,gBAAW,GAAG,QAAiB,CAAC;QAnDvC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,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,OAAO,EAAE,IAAI,CAAC,QAAQ,IACnB,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E;;OAEG;IACH,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,2EAA2E;IAC3E,MAAM,CAAC,QAAQ,CAAC,IAAwB;QACtC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAQ,CAAC,CAAC;IACnF,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,6CAA6C;IAC7C,GAAG,CAAgC,IAAU;QAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAC,CAAsC,CAAC;IACjE,CAAC;IAED,mDAAmD;IACnD,MAAM,CAAC,EAAU;QACf,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,OAAO,EAAE,EAAE,EAAC,CAAmC,CAAC;IACrE,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;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QAExB,wEAAwE;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QACnC,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,aAAa,GAAG,QAAQ;iBAC3B,uBAAuB,EAAE;iBACzB,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,aAAa;iBAC1B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;iBACvC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CACb,gCAAgC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,8FAA8F;QAE9F,gCAAgC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ;YAC9B,CAAC,iCAAM,IAAY,KAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,IACxC,CAAC,CAAC,IAAI,CAAC;QACT,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,UAA8B,EAAC,CAAC;IACzE,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,UAAU,GAAG,IAAI,CAAC,QAAQ;YAC9B,CAAC,iCAAM,IAAI,CAAC,KAAa,KAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,IAC9C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QACf,MAAM,WAAW,GAAG,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CACrD,IAAI,CAAC,MAAM,CAAC,KAAK,EACjB,UAAU,EACV,IAAI,CACL,CAAC;QACF,OAAO;YACL,CAAC,EAAE,YAAY;YACf,EAAE,EAAE,QAAQ;YACZ,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC3B,IAAI,EAAE,cAAc,CAAC,WAAW,CAAC;SAClC,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,IAAI;QACF,OAAO,gBAAgB,EAAE,CAAC,WAAW,CAAC,IAAI,CAA+B,CAAC;IAC5E,CAAC;IAED,8EAA8E;IAC9E,oBAAoB;IACpB,8EAA8E;IAE9E,IAAI,CACF,WAAqF,EACrF,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/CreateQuery.d.ts

@@ -1,17 +1,20 @@
-import { Shape, type ShapeConstructor } from '../shapes/Shape.js';
-import type { AddId, NodeDescriptionValue, UpdatePartial } from './QueryFactory.js';
-import { MutationQueryFactory } from './MutationQuery.js';
+import type { AddId } from './QueryFactory.js';
 import type { IRCreateMutation } from './IntermediateRepresentation.js';
+import type { NodeShape } from '../shapes/SHACL.js';
+import type { CreateMutationJSON } from './MutationSerialization.js';
+import type { CreateLowerSpec } from './mutationLowerSpec.js';
 /**
- * The canonical CreateQuery type — an IR AST node representing a create mutation.
- * This is the type received by IDataset.createQuery().
+ * The closed, read-only create query a dataset receives (implemented by
+ * `CreateBuilder`). The IR is `IRCreateQuery`, produced by `lower(query)` — the
+ * IR construction lives in the IR tier, not here, so this module stays IR-free.
  */
-export type CreateQuery = IRCreateMutation;
-export type CreateResponse<U> = AddId<U, true>;
-export declare class CreateQueryFactory<ShapeType extends Shape, U extends UpdatePartial<ShapeType>> extends MutationQueryFactory {
-    shapeClass: ShapeConstructor<ShapeType>;
-    readonly id: string;
-    readonly description: NodeDescriptionValue;
-    constructor(shapeClass: ShapeConstructor<ShapeType>, updateObjectOrFn: U);
-    build(): CreateQuery;
+export interface CreateQuery {
+    readonly __queryKind: 'create';
+    readonly shape: NodeShape;
+    toJSON(): CreateMutationJSON;
+    /** @internal IR-free lowering spec consumed by `lower()`. */
+    _lowerSpec(): CreateLowerSpec;
 }
+/** The lowered IR for a create mutation (what `lower()` produces). */
+export type IRCreateQuery = IRCreateMutation;
+export type CreateResponse<U> = AddId<U, true>;

package/lib/esm/queries/CreateQuery.js

@@ -1,16 +1,2 @@
-import { MutationQueryFactory } from './MutationQuery.js';
-import { buildCanonicalCreateMutationIR } from './IRMutation.js';
-export class CreateQueryFactory extends MutationQueryFactory {
-    constructor(shapeClass, updateObjectOrFn) {
-        super();
-        this.shapeClass = shapeClass;
-        this.description = this.convertUpdateObject(updateObjectOrFn, this.shapeClass.shape, true);
-    }
-    build() {
-        return buildCanonicalCreateMutationIR({
-            shape: this.shapeClass.shape,
-            description: this.description,
-        });
-    }
-}
+export {};
 //# sourceMappingURL=CreateQuery.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"CreateQuery.js","sourceRoot":"","sources":["../../../src/queries/CreateQuery.ts"],"names":[],"mappings":"AAEA,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AAExD,OAAO,EAAC,8BAA8B,EAAC,MAAM,iBAAiB,CAAC;AAU/D,MAAM,OAAO,kBAGX,SAAQ,oBAAoB;IAI5B,YACS,UAAuC,EAC9C,gBAAmB;QAEnB,KAAK,EAAE,CAAC;QAHD,eAAU,GAAV,UAAU,CAA6B;QAI9C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,mBAAmB,CACzC,gBAAgB,EAChB,IAAI,CAAC,UAAU,CAAC,KAAK,EACrB,IAAI,CACL,CAAC;IACJ,CAAC;IAED,KAAK;QACH,OAAO,8BAA8B,CAAC;YACpC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK;YAC5B,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;IACL,CAAC;CACF"}
+{"version":3,"file":"CreateQuery.js","sourceRoot":"","sources":["../../../src/queries/CreateQuery.ts"],"names":[],"mappings":""}

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

@@ -1,7 +1,13 @@
 import { Shape, type ShapeConstructor } from '../shapes/Shape.js';
-import { type DeleteQuery, type DeleteResponse } from './DeleteQuery.js';
+import type { DeleteResponse } from './DeleteQuery.js';
 import type { NodeId } from './MutationQuery.js';
+import type { NodeShape } from '../shapes/SHACL.js';
 import { type WhereClause } from './SelectQuery.js';
+import { type DeleteMutationJSON } from './MutationSerialization.js';
+import type { DeleteLowerSpec } from './mutationLowerSpec.js';
+import { PendingQueryContext } from './QueryContext.js';
+/** A node to delete: a concrete id, a `{id}` ref, or a live query-context reference. */
+export type DeleteId = NodeId | PendingQueryContext;
 /**
  * An immutable, fluent builder for delete mutations.
  *
@@ -18,15 +24,24 @@ export declare class DeleteBuilder<S extends Shape = Shape, R = DeleteResponse>
     private readonly _ids?;
     private readonly _mode?;
     private readonly _whereFn?;
+    private readonly _where?;
     private constructor();
     private clone;
-    static from<S extends Shape>(shape: ShapeConstructor<S> | string, ids?: NodeId | NodeId[]): DeleteBuilder<S, DeleteResponse>;
+    static from<S extends Shape>(shape: ShapeConstructor<S> | string, ids?: DeleteId | DeleteId[]): DeleteBuilder<S, DeleteResponse>;
+    /** Reconstruct a DeleteBuilder from its DSL-JSON (inverse of `toJSON`). */
+    static fromJSON(json: DeleteMutationJSON): DeleteBuilder;
     /** Delete all instances of this shape type. Returns void. */
     all(): DeleteBuilder<S, void>;
     /** Delete instances matching a condition. Returns void. */
     where(fn: WhereClause<S>): DeleteBuilder<S, void>;
-    /** Build the IR mutation. */
-    build(): DeleteQuery;
+    /** Discriminator for the free `lower()` function and dataset routing. */
+    readonly __queryKind: "delete";
+    /** The shape this query targets — the routing key datasets/`LinkedStorage` use. */
+    get shape(): NodeShape;
+    /** @internal The IR-free lowering spec consumed by `lower()`. Validates inputs. */
+    _lowerSpec(): DeleteLowerSpec<S>;
+    /** Serialize this delete mutation to lightweight DSL-JSON. */
+    toJSON(): DeleteMutationJSON;
     /** Execute the mutation. */
     exec(): Promise<R>;
     then<TResult1 = R, TResult2 = never>(onfulfilled?: ((value: R) => TResult1 | PromiseLike<TResult1>) | null, onrejected?: ((reason: any) => TResult2 | PromiseLike<TResult2>) | null): Promise<TResult1 | TResult2>;

package/lib/esm/queries/DeleteBuilder.js

@@ -1,11 +1,10 @@
 import { resolveShape } from './resolveShape.js';
-import { DeleteQueryFactory } from './DeleteQuery.js';
 import { getQueryDispatch } from './queryDispatch.js';
+import { WIRE_VERSION, assertWireVersion } from './wireVersion.js';
 import { processWhereClause } from './SelectQuery.js';
-import { buildCanonicalDeleteAllMutationIR, buildCanonicalDeleteWhereMutationIR, } from './IRMutation.js';
-import { toWhere } from './IRDesugar.js';
-import { canonicalizeWhere } from './IRCanonicalize.js';
-import { lowerWhereToIR } from './IRLower.js';
+import { serializeWherePath, deserializeWherePath } from './QueryBuilderSerialization.js';
+import { PendingQueryContext, asContextRef } from './QueryContext.js';
+import { encodeContextRef, isContextRefJSON } from './ContextRef.js';
 /**
  * An immutable, fluent builder for delete mutations.
  *
@@ -19,13 +18,19 @@ import { lowerWhereToIR } from './IRLower.js';
  */
 export class DeleteBuilder {
     constructor(init) {
+        // ---------------------------------------------------------------------------
+        // Build & execute
+        // ---------------------------------------------------------------------------
+        /** Discriminator for the free `lower()` function and dataset routing. */
+        this.__queryKind = 'delete';
         this._shape = init.shape;
         this._ids = init.ids;
         this._mode = init.mode;
         this._whereFn = init.whereFn;
+        this._where = init.where;
     }
     clone(overrides = {}) {
-        return new DeleteBuilder(Object.assign({ shape: this._shape, ids: this._ids, mode: this._mode, whereFn: this._whereFn }, overrides));
+        return new DeleteBuilder(Object.assign({ shape: this._shape, ids: this._ids, mode: this._mode, whereFn: this._whereFn, where: this._where }, overrides));
     }
     // ---------------------------------------------------------------------------
     // Static constructors
@@ -33,11 +38,28 @@ export class DeleteBuilder {
     static from(shape, ids) {
         const resolved = resolveShape(shape);
         if (ids !== undefined) {
-            const idsArray = Array.isArray(ids) ? ids : [ids];
+            // Normalize any context reference (unset PendingQueryContext or a resolved
+            // context shape) to a {$ctx} marker so set/unset behave identically.
+            const idsArray = (Array.isArray(ids) ? ids : [ids]).map((id) => { var _a; return (_a = asContextRef(id)) !== null && _a !== void 0 ? _a : id; });
             return new DeleteBuilder({ shape: resolved, ids: idsArray, mode: 'ids' });
         }
         return new DeleteBuilder({ shape: resolved });
     }
+    /** Reconstruct a DeleteBuilder from its DSL-JSON (inverse of `toJSON`). */
+    static fromJSON(json) {
+        assertWireVersion(json.v);
+        const resolved = resolveShape(json.shape);
+        if (json.mode === 'ids') {
+            // A `{$ctx}` id rehydrates as a live context ref (resolved at lower).
+            const ids = json.ids.map((id) => isContextRefJSON(id) ? new PendingQueryContext(id.$ctx) : { id });
+            return new DeleteBuilder({ shape: resolved, ids, mode: 'ids' });
+        }
+        if (json.mode === 'all') {
+            return new DeleteBuilder({ shape: resolved, mode: 'all' });
+        }
+        const where = deserializeWherePath(resolved.shape, json.where);
+        return new DeleteBuilder({ shape: resolved, mode: 'where', where });
+    }
     // ---------------------------------------------------------------------------
     // Fluent API
     // ---------------------------------------------------------------------------
@@ -49,45 +71,76 @@ export class DeleteBuilder {
     where(fn) {
         return this.clone({ mode: 'where', whereFn: fn, ids: undefined });
     }
-    // ---------------------------------------------------------------------------
-    // 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;
         const mode = this._mode || (this._ids ? 'ids' : undefined);
         if (mode === 'all') {
-            return buildCanonicalDeleteAllMutationIR({
-                shape: this._shape.shape,
-            });
+            return { shapeClass: this._shape, mode: 'all' };
         }
         if (mode === 'where') {
-            if (!this._whereFn) {
+            const wherePath = (_a = this._where) !== null && _a !== void 0 ? _a : (this._whereFn ? processWhereClause(this._whereFn, this._shape) : undefined);
+            if (!wherePath) {
                 throw new Error('DeleteBuilder.where() requires a condition callback.');
             }
-            const wherePath = processWhereClause(this._whereFn, this._shape);
-            const desugared = toWhere(wherePath);
-            const canonical = canonicalizeWhere(desugared);
-            const { where, wherePatterns } = lowerWhereToIR(canonical);
-            return buildCanonicalDeleteWhereMutationIR({
-                shape: this._shape.shape,
-                where,
-                wherePatterns,
-            });
+            return { shapeClass: this._shape, mode: 'where', wherePath };
         }
         // Default: ID-based delete
         if (!this._ids || this._ids.length === 0) {
             throw new Error('DeleteBuilder requires at least one ID to delete. Use DeleteBuilder.from(shape, ids), .all(), or .where().');
         }
-        const factory = new DeleteQueryFactory(this._shape, this._ids);
-        return factory.build();
+        return { shapeClass: this._shape, mode: 'ids', ids: this._ids };
+    }
+    /** Serialize this delete mutation to lightweight DSL-JSON. */
+    toJSON() {
+        var _a;
+        const shape = this._shape.shape.id;
+        const mode = this._mode || (this._ids ? 'ids' : undefined);
+        if (mode === 'all') {
+            return { v: WIRE_VERSION, op: 'delete', shape, mode: 'all' };
+        }
+        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('DeleteBuilder.where() requires a condition callback.');
+            }
+            return {
+                v: WIRE_VERSION,
+                op: 'delete',
+                shape,
+                mode: 'where',
+                where: serializeWherePath(wherePath),
+            };
+        }
+        if (!this._ids || this._ids.length === 0) {
+            throw new Error('DeleteBuilder requires at least one ID, .all(), or .where() before .toJSON().');
+        }
+        return {
+            v: WIRE_VERSION,
+            op: 'delete',
+            shape,
+            mode: 'ids',
+            ids: this._ids.map((id) => 
+            // An unresolved context ref travels as a `{$ctx}` marker; a concrete id
+            // (string or `{id}`, incl. a resolved context shape) as a plain string.
+            id instanceof PendingQueryContext
+                ? encodeContextRef(id.contextName)
+                : typeof id === 'string'
+                    ? id
+                    : id.id),
+        };
     }
     /** Execute the mutation. */
     exec() {
         const mode = this._mode || (this._ids ? 'ids' : undefined);
         if (mode === 'all' || mode === 'where') {
-            return getQueryDispatch().deleteQuery(this.build()).then(() => undefined);
+            return getQueryDispatch().deleteQuery(this).then(() => undefined);
         }
-        return getQueryDispatch().deleteQuery(this.build());
+        return getQueryDispatch().deleteQuery(this);
     }
     // ---------------------------------------------------------------------------
     // Promise interface

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

@@ -1 +1 @@
-{"version":3,"file":"DeleteBuilder.js","sourceRoot":"","sources":["../../../src/queries/DeleteBuilder.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAC,kBAAkB,EAAwC,MAAM,kBAAkB,CAAC;AAE3F,OAAO,EAAC,gBAAgB,EAAC,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAmB,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AACtE,OAAO,EACL,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;AAc5C;;;;;;;;;;GAUG;AACH,MAAM,OAAO,aAAa;IAQxB,YAAoB,IAA0B;QAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,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,GAAG,EAAE,IAAI,CAAC,IAAI,EACd,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,CACT,KAAmC,EACnC,GAAuB;QAEvB,MAAM,QAAQ,GAAG,YAAY,CAAI,KAAK,CAAC,CAAC;QACxC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClD,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAC,CAAC,CAAC;IACjD,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,6DAA6D;IAC7D,GAAG;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAC,CAA2B,CAAC;IACjG,CAAC;IAED,2DAA2D;IAC3D,KAAK,CAAC,EAAkB;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAC,CAA2B,CAAC;IAC5F,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E,6BAA6B;IAC7B,KAAK;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAE3D,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;aACzB,CAAC,CAAC;QACL,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,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,EAAC,KAAK,EAAE,aAAa,EAAC,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;YACzD,OAAO,mCAAmC,CAAC;gBACzC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;gBACxB,KAAK;gBACL,aAAa;aACd,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CACb,4GAA4G,CAC7G,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,kBAAkB,CACpC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,IAAI,CACV,CAAC;QACF,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;IACzB,CAAC;IAED,4BAA4B;IAC5B,IAAI;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,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":"DeleteBuilder.js","sourceRoot":"","sources":["../../../src/queries/DeleteBuilder.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAG/C,OAAO,EAAC,gBAAgB,EAAC,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAC,YAAY,EAAE,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAmC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AAEtF,OAAO,EAAC,kBAAkB,EAAE,oBAAoB,EAAC,MAAM,gCAAgC,CAAC;AAExF,OAAO,EAAC,mBAAmB,EAAE,YAAY,EAAC,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAC,gBAAgB,EAAE,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AAmBnE;;;;;;;;;;GAUG;AACH,MAAM,OAAO,aAAa;IASxB,YAAoB,IAA0B;QAuE9C,8EAA8E;QAC9E,kBAAkB;QAClB,8EAA8E;QAE9E,yEAAyE;QAChE,gBAAW,GAAG,QAAiB,CAAC;QA3EvC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,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;IAC3B,CAAC;IAEO,KAAK,CAAC,YAA2C,EAAE;QACzD,OAAO,IAAI,aAAa,iBACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,GAAG,EAAE,IAAI,CAAC,IAAI,EACd,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,OAAO,EAAE,IAAI,CAAC,QAAQ,EACtB,KAAK,EAAE,IAAI,CAAC,MAAM,IACf,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E,MAAM,CAAC,IAAI,CACT,KAAmC,EACnC,GAA2B;QAE3B,MAAM,QAAQ,GAAG,YAAY,CAAI,KAAK,CAAC,CAAC;QACxC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,2EAA2E;YAC3E,qEAAqE;YACrE,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CACrD,CAAC,EAAE,EAAE,EAAE,WAAC,OAAA,MAAA,YAAY,CAAC,EAAE,CAAC,mCAAI,EAAE,CAAA,EAAA,CAC/B,CAAC;YACF,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAC,CAAC,CAAC;IACjD,CAAC;IAED,2EAA2E;IAC3E,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,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,sEAAsE;YACtE,MAAM,GAAG,GAAe,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAC1C,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAC,EAAE,EAAC,CAC/D,CAAC;YACF,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC,CAAC;IACpE,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,6DAA6D;IAC7D,GAAG;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAC,CAA2B,CAAC;IACjG,CAAC;IAED,2DAA2D;IAC3D,KAAK,CAAC,EAAkB;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,EAAC,CAA2B,CAAC;IAC5F,CAAC;IASD,mFAAmF;IACnF,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,mFAAmF;IACnF,UAAU;;QACR,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAE3D,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC;QAChD,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,SAAS,GACb,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;YAC9F,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAC,CAAC;QAC7D,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CACb,4GAA4G,CAC7G,CAAC;QACJ,CAAC;QACD,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAC,CAAC;IAChE,CAAC;IAED,8DAA8D;IAC9D,MAAM;;QACJ,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,EAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC;QAC7D,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,OAAO;gBACL,CAAC,EAAE,YAAY;gBACf,EAAE,EAAE,QAAQ;gBACZ,KAAK;gBACL,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,kBAAkB,CAAC,SAAS,CAAC;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CACb,+EAA+E,CAChF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,CAAC,EAAE,YAAY;YACf,EAAE,EAAE,QAAQ;YACZ,KAAK;YACL,IAAI,EAAE,KAAK;YACX,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;YACxB,wEAAwE;YACxE,wEAAwE;YACxE,EAAE,YAAY,mBAAmB;gBAC/B,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,WAAW,CAAC;gBAClC,CAAC,CAAC,OAAO,EAAE,KAAK,QAAQ;oBACtB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,CAAC,EAAE,CACZ;SACF,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,IAAI;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACvC,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/DeleteQuery.d.ts

@@ -1,12 +1,22 @@
-import { Shape, type ShapeConstructor } from '../shapes/Shape.js';
-import { NodeReferenceValue, type UpdatePartial } from './QueryFactory.js';
-import { MutationQueryFactory, type NodeId } from './MutationQuery.js';
+import type { NodeReferenceValue } from './QueryFactory.js';
 import type { IRDeleteMutation, IRDeleteAllMutation, IRDeleteWhereMutation } from './IntermediateRepresentation.js';
+import type { NodeShape } from '../shapes/SHACL.js';
+import type { DeleteMutationJSON } from './MutationSerialization.js';
+import type { DeleteLowerSpec } from './mutationLowerSpec.js';
 /**
- * The canonical DeleteQuery type — an IR AST node representing a delete mutation.
- * This is the type received by IDataset.deleteQuery().
+ * The closed, read-only delete query a dataset receives (implemented by
+ * `DeleteBuilder`). The IR is `IRDeleteQuery`, produced by `lower(query)` — the
+ * IR construction lives in the IR tier, not here, so this module stays IR-free.
  */
-export type DeleteQuery = IRDeleteMutation | IRDeleteAllMutation | IRDeleteWhereMutation;
+export interface DeleteQuery {
+    readonly __queryKind: 'delete';
+    readonly shape: NodeShape;
+    toJSON(): DeleteMutationJSON;
+    /** @internal IR-free lowering spec consumed by `lower()`. */
+    _lowerSpec(): DeleteLowerSpec;
+}
+/** The lowered IR for a delete mutation (what `lower()` produces). */
+export type IRDeleteQuery = IRDeleteMutation | IRDeleteAllMutation | IRDeleteWhereMutation;
 export type DeleteResponse = {
     /**
      * The IDs of the items that were successfully deleted.
@@ -25,10 +35,3 @@ export type DeleteResponse = {
      */
     errors?: Record<string, string>;
 };
-export declare class DeleteQueryFactory<ShapeType extends Shape, U extends UpdatePartial<ShapeType>> extends MutationQueryFactory {
-    shapeClass: ShapeConstructor<ShapeType>;
-    readonly id: string;
-    readonly ids: NodeReferenceValue[];
-    constructor(shapeClass: ShapeConstructor<ShapeType>, ids: NodeId[] | NodeId);
-    build(): DeleteQuery;
-}