@metreeca/keep-sparql 0.10.0

package/dist/lookup/encode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"encode.js","sourceRoot":"","sources":["../../src/lookup/encode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA8BH,OAAO,EAA2B,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEhH,OAAO,EAAE,KAAK,EAAc,MAAM,gBAAgB,CAAC;AAEnD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC9F,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAGtD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,MAAM,CACrB,KAAsB,EACtB,KAAqE;IAGrE,OAAO,MAAM,CAAC,GAAG,EAAE,EAAE,KAAK,CACzB,KAAK,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC7C,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAC1D,CAAC,CACF,CAAC,CAAC;IAGH;;;;;OAKG;IACH,SAAS,QAAQ,CAAC,IAAuB,EAAE,MAAwB,EAAE,OAA0B;QAE9F,OAAO;YACN,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC;YACjC,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC;SACpC,CAAC;IAEH,CAAC;IAED;;;;OAIG;IACH,SAAS,OAAO,CAAC,IAAuB,EAAE,MAAwB,EAAE,OAA0B;QAE7F,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAGnD;;;;WAIG;QACH,SAAS,SAAS,CAAC,MAAwB,EAAE,OAA0B;YAEtE,OAAO,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBAErD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;gBAEvC,IAAK,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAG,CAAC;oBAAC,OAAO,EAAE,CAAC;gBAAC,CAAC;qBAAM,CAAC;oBAEjF,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAErC,OAAO,CAAC,QAAQ,CACf,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EACpC,GAAG,SAAS,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAC7C,CAAC,CAAC;gBAEJ,CAAC;YAEF,CAAC,CAAC,CAAC;QAEJ,CAAC;IAEF,CAAC;IAED;;;;;OAKG;IACH,SAAS,UAAU,CAAC,IAAuB,EAAE,MAAwB,EAAE,OAA0B;QAEhG,OAAO,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;YAErD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAEvC,IAAK,KAAK,CAAC,IAAI,KAAK,OAAO,EAAG,CAAC;gBAE9B,OAAO,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;oBAE9F,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;oBAEtC,OAAO,QAAQ,CAAC;wBACd,GAAG,IAAI;wBACP,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;wBACpC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC;qBAC3B,EACD,MAAM,EACN,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAChC,CAAC;gBAEH,CAAC,CAAC,CAAC;YAEJ,CAAC;iBAAM,IAAK,KAAK,CAAC,IAAI,KAAK,YAAY,EAAG,CAAC;gBAE1C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAErC,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAE3D,CAAC;iBAAM,CAAC;gBAEP,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAErC,OAAO,UAAU,CAAC;oBAChB,GAAG,IAAI;oBACP,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;iBACpC,EACD,MAAM,EACN,eAAe,CAAC,MAAM,CAAC,CACvB,CAAC;YAEH,CAAC;QAEF,CAAC,CAAC,CAAC;IAEJ,CAAC;IAGD;;;OAGG;IACH,SAAS,GAAG,CAAC,GAAG,OAA0B;QACzC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC;AAEF,CAAC"}

package/dist/lookup/index.d.ts

@@ -0,0 +1,21 @@
+import type { Broker, Deferred, Lookup } from "@metreeca/keep/batching";
+import { type RepositoryClient } from "@metreeca/wire-sparql";
+/**
+ * Per-batch body for the lookup handler.
+ *
+ * Three phases run in sequence: **plan** every request via
+ * {@link _flake_!createFlake | createFlake}; **fetch** by
+ * folding plans into one batched SELECT through {@link encode}; **deliver** by
+ * {@link decode | decoding} each request against the returned tuples and settling the
+ * deferred. Variable allocation across the batched
+ * SELECT is shared via a single {@link createScope | Scope} passed into {@link encode}, so
+ * the decoder recovers each request's per-slot columns by resolving the same branch nodes.
+ *
+ * Items whose flake carries no top-level descent branch are filtered out of the fetch
+ * phase (their arms would be empty), and the fetch is skipped entirely when no item
+ * contributes anything. They still flow through the deliver phase, where {@link decode}
+ * yields `id` / `type` entries inline from the focus and shape and routes set-valued
+ * slots through the collections pass.
+ */
+export declare function lookup(batch: readonly Deferred<Lookup>[], client: RepositoryClient, broker: Broker): Promise<void>;
+//# sourceMappingURL=index.d.ts.map

package/dist/lookup/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lookup/index.ts"],"names":[],"mappings":"AA6CA,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,KAAK,gBAAgB,EAA0B,MAAM,uBAAuB,CAAC;AAKtF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,MAAM,CAC3B,KAAK,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,EAClC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,MAAM,GACZ,OAAO,CAAC,IAAI,CAAC,CAmBf"}

package/dist/lookup/index.js

@@ -0,0 +1,72 @@
+/*
+ * Copyright © 2025-2026 Metreeca srl
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+/**
+ * Resources-pass driver.
+ *
+ * Owns one SELECT round per drain iteration covering every queued
+ * {@link Lookup}. The cycle is:
+ *
+ *   **plan** → **encode** → `client.select` → **decode**
+ *
+ *  - {@link _flake_!createFlake | createFlake} builds the per-request lookup plan
+ *    ({@link Flake} IR) from `(shape, model)`;
+ *  - {@link encode} folds every plan into one batched SELECT whose WHERE is a union of
+ *    arms, coordinated with the decoder through the shared {@link Scope};
+ *  - `client.select` runs the unified query;
+ *  - {@link decode} walks each request's plan alongside the returned tuples, decoding
+ *    single-valued slots inline and forwarding set-valued slots to the collections
+ *    pass through {@link select}.
+ *
+ * Multi-valued slots are forwarded to the collections pass through the supplied
+ * {@link Broker}, the only cross-pass communication channel admitted by this module.
+ * Decoding chains the deferred's resolution through the returned promise so the handler
+ * can return promptly and let the drain advance to the collections pass within the same
+ * iteration.
+ *
+ * @module
+ */
+import { eager } from "@metreeca/blue/value";
+import { createScope } from "@metreeca/core/scope";
+import { createFlake, isModelBranch } from "@metreeca/keep-flake";
+import { variable as toVariable } from "@metreeca/wire-sparql";
+import { decode } from "./decode.js";
+import { encode } from "./encode.js";
+/**
+ * Per-batch body for the lookup handler.
+ *
+ * Three phases run in sequence: **plan** every request via
+ * {@link _flake_!createFlake | createFlake}; **fetch** by
+ * folding plans into one batched SELECT through {@link encode}; **deliver** by
+ * {@link decode | decoding} each request against the returned tuples and settling the
+ * deferred. Variable allocation across the batched
+ * SELECT is shared via a single {@link createScope | Scope} passed into {@link encode}, so
+ * the decoder recovers each request's per-slot columns by resolving the same branch nodes.
+ *
+ * Items whose flake carries no top-level descent branch are filtered out of the fetch
+ * phase (their arms would be empty), and the fetch is skipped entirely when no item
+ * contributes anything. They still flow through the deliver phase, where {@link decode}
+ * yields `id` / `type` entries inline from the focus and shape and routes set-valued
+ * slots through the collections pass.
+ */
+export async function lookup(batch, client, broker) {
+    const scope = createScope(toVariable);
+    const items = batch.map(lookup => ({ ...lookup, flake: createFlake(eager(lookup.request.shape), lookup.request.model) }));
+    // drop items whose union arm would be empty (only id/type or collection slots) from the fetch;
+    // they still flow through delivery, where decode yields id/type inline and routes collections
+    const effective = items.filter(({ flake }) => Object.values(flake.entries ?? {}).flat().some(isModelBranch));
+    decode(scope, items, broker, effective.length === 0 ? [] : await client.select(encode(scope, effective)));
+}
+//# sourceMappingURL=index.js.map

package/dist/lookup/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lookup/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAc,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAc,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE9E,OAAO,EAAyB,QAAQ,IAAI,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAGrC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC3B,KAAkC,EAClC,MAAwB,EACxB,MAAc;IAGd,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IAEtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAChC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CACtF,CAAC;IAEF,+FAA+F;IAC/F,8FAA8F;IAE9F,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAC7D,CAAC;IAEF,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,MAAM,CAC7E,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CACxB,CAAC,CAAC;AAEJ,CAAC"}

package/dist/modify/decode.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Modify-pass result decoder.
+ *
+ * Settles each queued {@link Modify} once the batched update has been applied: every request's
+ * deferred resolves to its own `entry`, the mutation having already been folded into the single
+ * update the encoder emitted. A SPARQL Update projects no bindings, so there is nothing to read
+ * back; the decoder exists to keep the drive cycle uniform with the query passes.
+ *
+ * @module
+ */
+import type { Scope } from "@metreeca/core/scope";
+import type { Deferred, Modify } from "@metreeca/keep/batching";
+import type { Variable } from "@metreeca/wire-sparql";
+/**
+ * Resolves each applied modify request to its entry.
+ *
+ * @param scope The shared variable scope, unused: the update projects no bindings
+ * @param batch The queued modify requests to settle, each carrying the `request` whose `entry` is returned
+ * @param value The update result, unused: a SPARQL Update yields no solution
+ */
+export declare function decode(scope: Scope<Variable>, batch: readonly Deferred<Modify>[], value: void): void;
+//# sourceMappingURL=decode.d.ts.map

package/dist/modify/decode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decode.d.ts","sourceRoot":"","sources":["../../src/modify/decode.ts"],"names":[],"mappings":"AAgBA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAGtD;;;;;;GAMG;AACH,wBAAgB,MAAM,CACrB,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,EACtB,KAAK,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,EAClC,KAAK,EAAE,IAAI,GACT,IAAI,CAMN"}

package/dist/modify/decode.js

@@ -0,0 +1,26 @@
+/*
+ * Copyright © 2025-2026 Metreeca srl
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+/**
+ * Resolves each applied modify request to its entry.
+ *
+ * @param scope The shared variable scope, unused: the update projects no bindings
+ * @param batch The queued modify requests to settle, each carrying the `request` whose `entry` is returned
+ * @param value The update result, unused: a SPARQL Update yields no solution
+ */
+export function decode(scope, batch, value) {
+    batch.forEach(({ request, resolve }) => resolve(request.entry));
+}
+//# sourceMappingURL=decode.js.map

package/dist/modify/decode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decode.js","sourceRoot":"","sources":["../../src/modify/decode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAkBH;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACrB,KAAsB,EACtB,KAAkC,EAClC,KAAW;IAGX,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CACtC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CACtB,CAAC;AAEH,CAAC"}

package/dist/modify/encode.d.ts

@@ -0,0 +1,21 @@
+import type { Scope } from "@metreeca/core/scope";
+import { type Flake } from "@metreeca/keep-flake";
+import type { Deferred, Modify } from "@metreeca/keep/batching";
+import { type SPARQL, type Variable } from "@metreeca/wire-sparql";
+/**
+ * Emits a single batched SPARQL Update covering every supplied request.
+ *
+ * Each request is dispatched by the presence of its `state`: a present `state` produces a
+ * cleanup-and-insert statement, an omitted `state` a cascade delete. The per-request statements are
+ * joined into one update applied in submission order.
+ *
+ * @param scope The variable allocator shared across every request's cleanup walk, keyed on
+ * {@link Branch} identity
+ * @param batch The batched root entries paired with their {@link Flake | mutation plans}
+ *
+ * @returns The unified SPARQL Update query
+ */
+export declare function encode(scope: Scope<Variable>, batch: readonly (Deferred<Modify> & {
+    readonly flake: Flake;
+})[]): SPARQL;
+//# sourceMappingURL=encode.d.ts.map

package/dist/modify/encode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"encode.d.ts","sourceRoot":"","sources":["../../src/modify/encode.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAe,KAAK,KAAK,EAAmB,MAAM,sBAAsB,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAIhE,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAkBnE;;;;;;;;;;;;GAYG;AACH,wBAAgB,MAAM,CACrB,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC,EAAE,GAC9D,MAAM,CAkQR"}

package/dist/modify/encode.js

@@ -0,0 +1,184 @@
+/*
+ * Copyright © 2025-2026 Metreeca srl
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+import { getShapeVariants, getStateVariant } from "@metreeca/blue/union";
+import { isObject, opt } from "@metreeca/core";
+import { some } from "@metreeca/core/arrays";
+import { getFlakeVariant } from "@metreeca/keep-flake";
+import { isVacuous } from "@metreeca/qest/template";
+import { named, rdf } from "@metreeca/trio";
+import { deleet, fragment, insert as create, nil, optional, pattern, reference, union, update, values, variable, where } from "@metreeca/wire-sparql/builder";
+import { forward, reverse, valuesToTerms } from "../_/_encode.js";
+/**
+ * Emits a single batched SPARQL Update covering every supplied request.
+ *
+ * Each request is dispatched by the presence of its `state`: a present `state` produces a
+ * cleanup-and-insert statement, an omitted `state` a cascade delete. The per-request statements are
+ * joined into one update applied in submission order.
+ *
+ * @param scope The variable allocator shared across every request's cleanup walk, keyed on
+ * {@link Branch} identity
+ * @param batch The batched root entries paired with their {@link Flake | mutation plans}
+ *
+ * @returns The unified SPARQL Update query
+ */
+export function encode(scope, batch) {
+    return update(...batch.map(({ request: { entry, state }, flake }) => state === undefined
+        ? remove(entry, flake)
+        : insert(entry, flake, state)));
+    function insert(entry, flake, state) {
+        return update(deleet(triples(named(entry), flake), where(matches(named(entry), flake))), create(data(entry, flake, state)));
+        function triples(entry, flake) {
+            return fragment(...flake.range.variants.flatMap(shape => shape.kind !== "resource" ? [] : [fragment(isTyped(shape) ? pattern([entry, named(rdf.type), scope.resolve(shape)]) : nil(), ...getFlakeVariant(flake, shape).flatMap(branch => {
+                    const property = branch.entry;
+                    if (property.kind === "property" && isOwn(property.range.shape)) {
+                        const v = scope.resolve(branch);
+                        return [
+                            forward([entry, property, v]),
+                            reverse([entry, property, v]),
+                            triples(v, branch) // only embedded resources recurse; references are written separately
+                        ];
+                    }
+                    else {
+                        return [];
+                    }
+                }))]));
+        }
+        function matches(entry, flake) {
+            return fragment(...flake.range.variants.flatMap(shape => shape.kind !== "resource" ? [] : [fragment(isTyped(shape) ? optional(pattern([entry, named(rdf.type), scope.resolve(shape)])) : nil(), ...getFlakeVariant(flake, shape).flatMap(branch => {
+                    const property = branch.entry;
+                    if (property.kind === "property" && isOwn(property.range.shape)) {
+                        const v = scope.resolve(branch);
+                        const edges = fragment(forward([entry, property, v]), reverse([entry, property, v]));
+                        return [
+                            ...(getShapeVariants(property.range.shape).some(variant => variant.kind === "resource")
+                                ? [optional(edges, matches(v, branch))] // only embedded resources recurse
+                                : []),
+                            ...(isLeaf(property.range.shape)
+                                ? [optional(edges)]
+                                : [])
+                        ];
+                    }
+                    else {
+                        return [];
+                    }
+                }))]));
+        }
+        function data(entry, flake, state) {
+            const shape = getStateVariant(state, flake.range.variants);
+            return shape === undefined || shape.kind !== "resource" ? nil() : record(named(entry), shape, state);
+            function record(entry, shape, state) {
+                // denormalise the class lineage as `rdf:type` triples — own `class` plus inherited `classes` —
+                // so an exact-match query on any supertype reaches the instance (class-lineage retrieval)
+                return fragment(shape.class !== undefined ? pattern([entry, named(rdf.type), named(shape.class)]) : nil(), ...(shape.classes ?? []).map(clazz => pattern([entry, named(rdf.type), named(clazz)])), ...Object.entries(shape.entries).flatMap(([label, property]) => {
+                    const values = state[label];
+                    if (property.kind === "property" && values !== undefined) {
+                        const variants = getShapeVariants(property.range.shape);
+                        return some(values)
+                            .filter(value => !isVacuous(value))
+                            .flatMap(value => opt(getStateVariant(value, variants), variant => triples(property, value, variant), []));
+                    }
+                    else {
+                        return [];
+                    }
+                }));
+                function triples(property, values, shape) {
+                    switch (shape.kind) {
+                        case "boolean":
+                        case "number":
+                        case "string":
+                        case "dictionary":
+                            return valuesToTerms(values, shape).map(term => forward([entry, property, term]));
+                        case "reference":
+                            if (shape.foreign === true) {
+                                return [];
+                            }
+                            else {
+                                return valuesToTerms(values, shape).filter(node => node.kind === "named").flatMap(node => [
+                                    forward([entry, property, node]),
+                                    reverse([entry, property, node])
+                                ]);
+                            }
+                        case "resource":
+                            if (!isObject(values)) {
+                                return [];
+                            }
+                            else {
+                                return valuesToTerms(values, shape).filter(node => node.kind === "named").flatMap(node => [
+                                    forward([entry, property, node]),
+                                    reverse([entry, property, node]),
+                                    record(node, shape, values)
+                                ]);
+                            }
+                    }
+                }
+            }
+        }
+    }
+    function remove(entry, flake) {
+        const branches = Object.values(flake.entries ?? {}).flat();
+        const root = scope.resolve();
+        // wildcard patterns matching every triple incident on `?root` (outgoing then incoming),
+        // resolved once so the same variables bind in both the DELETE template and the WHERE match
+        const wildcard = [
+            pattern([root, scope.resolve(), scope.resolve()]),
+            pattern([scope.resolve(), scope.resolve(), root])
+        ];
+        return deleet(fragment(...wildcard), where(union(values([variable(root)], [[reference(entry)]]), ...matches(named(entry), [], branches)), union(...wildcard)));
+        function matches(anchor, prefix, level) {
+            return level.flatMap(branch => {
+                if (branch.entry.kind === "property" && isCascading(branch.entry.range.shape)) {
+                    const property = branch.entry;
+                    const here = fragment(...prefix, forward([anchor, property, root]), reverse([anchor, property, root]));
+                    const perVariant = getShapeVariants(property.range.shape)
+                        .map(variant => getFlakeVariant(branch, variant))
+                        .filter(bs => bs.length > 0);
+                    if (perVariant.length === 0) {
+                        return [here];
+                    }
+                    else {
+                        const next = scope.resolve();
+                        const step = [
+                            ...prefix,
+                            forward([anchor, property, next]),
+                            reverse([anchor, property, next])
+                        ];
+                        return [here, ...perVariant.flatMap(bs => matches(next, step, bs))];
+                    }
+                }
+                else {
+                    return [];
+                }
+            });
+        }
+    }
+    function isTyped(shape) {
+        return shape.kind === "union" ? shape.variants.some(isTyped)
+            : shape.kind === "resource" && Object.values(shape.entries).some(p => p.kind === "type");
+    }
+    function isLeaf(shape) {
+        return shape.kind === "union" ? shape.variants.some(isLeaf)
+            : shape.kind !== "resource" && (shape.kind !== "reference" || shape.foreign !== true);
+    }
+    function isOwn(shape) {
+        return shape.kind === "union" ? shape.variants.some(isOwn)
+            : shape.kind !== "reference" || shape.foreign !== true;
+    }
+    function isCascading(shape) {
+        return shape.kind === "union" ? shape.variants.some(isCascading)
+            : shape.kind === "reference" && shape.captive === true || shape.kind === "resource";
+    }
+}
+//# sourceMappingURL=encode.js.map

package/dist/modify/encode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"encode.js","sourceRoot":"","sources":["../../src/modify/encode.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAqBH,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEzE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAA2B,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGhF,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAc,GAAG,EAAE,MAAM,gBAAgB,CAAC;AAExD,OAAO,EACN,MAAM,EACN,QAAQ,EACR,MAAM,IAAI,MAAM,EAChB,GAAG,EACH,QAAQ,EACR,OAAO,EACP,SAAS,EACT,KAAK,EACL,MAAM,EACN,MAAM,EACN,QAAQ,EACR,KAAK,EACL,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGlE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,MAAM,CACrB,KAAsB,EACtB,KAAgE;IAGhE,OAAO,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CACnE,KAAK,KAAK,SAAS;QAClB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAC9B,CAAC,CAAC;IAGH,SAAS,MAAM,CAAC,KAAgB,EAAE,KAAY,EAAE,KAAe;QAE9D,OAAO,MAAM,CACZ,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACzE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CACjC,CAAC;QAGF,SAAS,OAAO,CAAC,KAAuB,EAAE,KAAY;YACrD,OAAO,QAAQ,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CACvD,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CACzC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAChF,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBAEjD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;oBAE9B,IAAK,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAG,CAAC;wBAEnE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAEhC,OAAO;4BACN,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;4BAC7B,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;4BAC7B,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,qEAAqE;yBACxF,CAAC;oBAEH,CAAC;yBAAM,CAAC;wBAEP,OAAO,EAAE,CAAC;oBAEX,CAAC;gBAEF,CAAC,CAAC,CACF,CAAC,CACF,CAAC,CAAC;QACJ,CAAC;QAED,SAAS,OAAO,CAAC,KAAuB,EAAE,KAAY;YACrD,OAAO,QAAQ,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CACvD,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CACzC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAC1F,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBAEjD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;oBAE9B,IAAK,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAG,CAAC;wBAEnE,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAEhC,MAAM,KAAK,GAAG,QAAQ,CACrB,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAC7B,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAC7B,CAAC;wBAEF,OAAO;4BACN,GAAG,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC;gCACrF,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,kCAAkC;gCAC1E,CAAC,CAAC,EAAE,CACL;4BACD,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;gCAC9B,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gCACnB,CAAC,CAAC,EAAE,CACL;yBACD,CAAC;oBAEH,CAAC;yBAAM,CAAC;wBAEP,OAAO,EAAE,CAAC;oBAEX,CAAC;gBAEF,CAAC,CAAC,CACF,CAAC,CACF,CAAC,CAAC;QACJ,CAAC;QAED,SAAS,IAAI,CAAC,KAAgB,EAAE,KAAY,EAAE,KAAe;YAE5D,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAE3D,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAGrG,SAAS,MAAM,CAAC,KAAY,EAAE,KAAoB,EAAE,KAAe;gBAElE,+FAA+F;gBAC/F,0FAA0F;gBAE1F,OAAO,QAAQ,CACd,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EACzF,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EACtF,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE;oBAE9D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;oBAE5B,IAAK,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,KAAK,SAAS,EAAG,CAAC;wBAE5D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBAExD,OAAO,IAAI,CAAC,MAAM,CAAC;6BACjB,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;6BAClC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,EACrD,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,EAC5C,EAAE,CACF,CAAC,CAAC;oBAEL,CAAC;yBAAM,CAAC;wBAEP,OAAO,EAAE,CAAC;oBAEX,CAAC;gBAEF,CAAC,CAAC,CACF,CAAC;gBAEF,SAAS,OAAO,CAAC,QAAkB,EAAE,MAAc,EAAE,KAAkB;oBACtE,QAAS,KAAK,CAAC,IAAI,EAAG,CAAC;wBAEtB,KAAK,SAAS,CAAC;wBACf,KAAK,QAAQ,CAAC;wBACd,KAAK,QAAQ,CAAC;wBACd,KAAK,YAAY;4BAEhB,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAC9C,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAChC,CAAC;wBAEH,KAAK,WAAW;4BAEf,IAAK,KAAK,CAAC,OAAO,KAAK,IAAI,EAAG,CAAC;gCAAC,OAAO,EAAE,CAAC;4BAAC,CAAC;iCAAM,CAAC;gCAElD,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oCACzF,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;oCAChC,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;iCAChC,CAAC,CAAC;4BAEJ,CAAC;wBAEF,KAAK,UAAU;4BAEd,IAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAG,CAAC;gCAAA,OAAO,EAAE,CAAC;4BAAA,CAAC;iCAAM,CAAC;gCAE3C,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oCACzF,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;oCAChC,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;oCAChC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC;iCAC3B,CAAC,CAAC;4BAEJ,CAAC;oBAEH,CAAC;gBACF,CAAC;YAEF,CAAC;QAEF,CAAC;IAEF,CAAC;IAED,SAAS,MAAM,CAAC,KAAgB,EAAE,KAAY;QAE7C,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAE3D,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAE7B,wFAAwF;QACxF,2FAA2F;QAE3F,MAAM,QAAQ,GAAG;YAChB,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACjD,OAAO,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;SACjD,CAAC;QAEF,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,EAAE,KAAK,CACzC,KAAK,CACJ,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC9C,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CACtC,EACD,KAAK,CAAC,GAAG,QAAQ,CAAC,CAClB,CAAC,CAAC;QAGH,SAAS,OAAO,CAAC,MAAwB,EAAE,MAAyB,EAAE,KAAwB;YAC7F,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBAE7B,IAAK,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAG,CAAC;oBAEjF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;oBAE9B,MAAM,IAAI,GAAG,QAAQ,CACpB,GAAG,MAAM,EACT,OAAO,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,EACjC,OAAO,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CACjC,CAAC;oBAEF,MAAM,UAAU,GAAG,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;yBACvD,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;yBAChD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBAE9B,IAAK,UAAU,CAAC,MAAM,KAAK,CAAC,EAAG,CAAC;wBAE/B,OAAO,CAAC,IAAI,CAAC,CAAC;oBAEf,CAAC;yBAAM,CAAC;wBAEP,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;wBAE7B,MAAM,IAAI,GAAG;4BACZ,GAAG,MAAM;4BACT,OAAO,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;4BACjC,OAAO,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;yBACjC,CAAC;wBAEF,OAAO,CAAC,IAAI,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;oBAErE,CAAC;gBAEF,CAAC;qBAAM,CAAC;oBAEP,OAAO,EAAE,CAAC;gBAEX,CAAC;YAEF,CAAC,CAAC,CAAC;QACJ,CAAC;IAEF,CAAC;IAGD,SAAS,OAAO,CAAC,KAAY;QAC5B,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC;YAC3D,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC3F,CAAC;IAED,SAAS,MAAM,CAAC,KAAY;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1D,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IACxF,CAAC;IAED,SAAS,KAAK,CAAC,KAAY;QAC1B,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACzD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC;IACzD,CAAC;IAED,SAAS,WAAW,CAAC,KAAY;QAChC,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;YAC/D,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;IACtF,CAAC;AAEF,CAAC"}

package/dist/modify/index.d.ts

@@ -0,0 +1,22 @@
+import type { Deferred, Modify } from "@metreeca/keep/batching";
+import { type RepositoryClient } from "@metreeca/wire-sparql";
+/**
+ * Applies a batch of {@link Modify} requests against a repository as a single update.
+ *
+ * Each request is encoded by the presence of its `state`: a present `state` inserts (creates or
+ * updates) the entry, an omitted `state` removes it. Every request's operations are folded into one
+ * SPARQL update joined in submission order, so the backend applies them sequentially
+ * ({@link https://www.w3.org/TR/sparql11-update/#updateLanguage SPARQL 1.1 Update §3}) and, where
+ * supported, atomically (§3.2). The batch arrives pre-validated by the batching layer, which rejects
+ * any request whose `state` carries an `id` other than its `entry` (§4.1) before it reaches here, so
+ * every request is applied unconditionally; each batched {@link Deferred} resolves to its entry once
+ * the update completes, while a backend failure propagates for the batching layer to settle as a
+ * rejection across the batch.
+ *
+ * @param batch The modify requests to apply
+ * @param client The repository the mutations are applied against
+ *
+ * @returns A promise settling once the batched update has been applied
+ */
+export declare function modify(batch: readonly Deferred<Modify>[], client: RepositoryClient): Promise<void>;
+//# sourceMappingURL=index.d.ts.map

package/dist/modify/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/modify/index.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,KAAK,gBAAgB,EAA0B,MAAM,uBAAuB,CAAC;AAItF;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,MAAM,CAC3B,KAAK,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,EAClC,MAAM,EAAE,gBAAgB,GACtB,OAAO,CAAC,IAAI,CAAC,CAYf"}

package/dist/modify/index.js

@@ -0,0 +1,44 @@
+/*
+ * Copyright © 2025-2026 Metreeca srl
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+import { createScope } from "@metreeca/core/scope";
+import { createFlake } from "@metreeca/keep-flake";
+import { variable as toVariable } from "@metreeca/wire-sparql";
+import { decode } from "./decode.js";
+import { encode } from "./encode.js";
+/**
+ * Applies a batch of {@link Modify} requests against a repository as a single update.
+ *
+ * Each request is encoded by the presence of its `state`: a present `state` inserts (creates or
+ * updates) the entry, an omitted `state` removes it. Every request's operations are folded into one
+ * SPARQL update joined in submission order, so the backend applies them sequentially
+ * ({@link https://www.w3.org/TR/sparql11-update/#updateLanguage SPARQL 1.1 Update §3}) and, where
+ * supported, atomically (§3.2). The batch arrives pre-validated by the batching layer, which rejects
+ * any request whose `state` carries an `id` other than its `entry` (§4.1) before it reaches here, so
+ * every request is applied unconditionally; each batched {@link Deferred} resolves to its entry once
+ * the update completes, while a backend failure propagates for the batching layer to settle as a
+ * rejection across the batch.
+ *
+ * @param batch The modify requests to apply
+ * @param client The repository the mutations are applied against
+ *
+ * @returns A promise settling once the batched update has been applied
+ */
+export async function modify(batch, client) {
+    const scope = createScope(toVariable);
+    const items = batch.map(modify => ({ ...modify, flake: createFlake(modify.request.shape) }));
+    decode(scope, items, await client.update(encode(scope, items)));
+}
+//# sourceMappingURL=index.js.map

package/dist/modify/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/modify/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD,OAAO,EAAyB,QAAQ,IAAI,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACtF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC3B,KAAkC,EAClC,MAAwB;IAGxB,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IAEtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAChC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CACzD,CAAC;IAEF,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC,MAAM,CACvC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CACpB,CAAC,CAAC;AAEJ,CAAC"}

package/dist/select/decode.d.ts

@@ -0,0 +1,16 @@
+import type { Scope } from "@metreeca/core/scope";
+import { type Flake } from "@metreeca/keep-flake";
+import type { Broker, Deferred, Select } from "@metreeca/keep/batching";
+import type { Tuple, Variable } from "@metreeca/wire-sparql";
+/**
+ * Settles each batched select request against the SELECT solution.
+ *
+ * @param scope The variable scope shared with the encoder, recovering per-request tuple slots
+ * @param batch The queued select requests to settle, each paired with its {@link Flake | query plan} and deferred
+ * @param broker The cross-pass channel expanding localised properties through the resources pass
+ * @param tuples The solution tuples returned by the batched SELECT round
+ */
+export declare function decode(scope: Scope<Variable>, batch: readonly (Deferred<Select> & {
+    readonly flake: Flake;
+})[], broker: Broker, tuples: readonly Tuple[]): void;
+//# sourceMappingURL=decode.d.ts.map

package/dist/select/decode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decode.d.ts","sourceRoot":"","sources":["../../src/select/decode.ts"],"names":[],"mappings":"AAmCA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAEN,KAAK,KAAK,EAOV,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAIxE,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAK7D;;;;;;;GAOG;AACH,wBAAgB,MAAM,CACrB,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CAAE,CAAC,EAAE,EACjE,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,SAAS,KAAK,EAAE,GACtB,IAAI,CAgTN"}