effect-dynamodb 1.9.5 → 1.11.0

package/dist/VectorSearchEmulation.js

@@ -0,0 +1,290 @@
+/**
+ * VectorSearchEmulation — a local stand-in for DynamoDB `SearchVectors`.
+ *
+ * DynamoDB Local does not implement vector search: `CreateTable` silently
+ * accepts and discards `VectorIndexes`, and `SearchVectors` fails with
+ * `UnknownOperationException`. LocalStack wraps DynamoDB Local and inherits the
+ * gap. Without an emulation layer there is no way to exercise the full
+ * write → search round trip without an AWS account, which would leave the most
+ * interesting half of the feature untested.
+ *
+ * This layer wraps a `DynamoClient` layer and replaces `searchVectors` with a
+ * Scan + brute-force implementation. Every other operation passes through
+ * untouched, so the same layer stack serves the connected suite and the
+ * runnable example.
+ *
+ * Fidelity is deliberate, not approximate: all three distance functions are
+ * computed exactly as the developer guide documents them (including the score
+ * DIRECTIONS, which differ), the HASH/INLINE_FILTER equality predicates are
+ * evaluated, `ProjectionExpression` is honoured, and results are truncated to
+ * `TopK`. The ranking output is unit-tested against the developer guide's
+ * reference table.
+ *
+ * What it does NOT emulate: approximate (as opposed to exact) nearest-neighbour
+ * behaviour, backfill states, or consumed-capacity reporting. An emulated search
+ * is an exhaustive scan, so it is exact and slow — correct for tests, useless
+ * for load.
+ *
+ * See `DESIGN.md §14 Vector Search`.
+ */
+import { DynamoValidationError } from "@effect-dynamodb/schema/Errors.js";
+import { vectorAttributeName } from "@effect-dynamodb/schema/VectorIndex.js";
+import { Effect, Layer } from "effect";
+import { DynamoClient } from "./DynamoClient.js";
+import { mergeVectorIndexes } from "./Table.js";
+/** @internal Build the IndexName → {vectorAttribute, distance} registry. */
+const buildRegistry = (options) => {
+    const registry = new Map();
+    for (const table of Object.values(options?.tables ?? {})) {
+        const merged = mergeVectorIndexes(table.entities);
+        for (const [indexName, entry] of merged) {
+            registry.set(indexName, toEmulated(entry.definition, entry.filters.map(entry.resolveDbName)));
+        }
+    }
+    for (const [indexName, entry] of Object.entries(options?.indexes ?? {})) {
+        registry.set(indexName, entry);
+    }
+    return registry;
+};
+/** @internal */
+const toEmulated = (definition, filterAttributes) => ({
+    vectorAttribute: definition.vectorField,
+    distance: definition.distance,
+    partitionAttribute: definition.partitionField,
+    filterAttributes,
+});
+// ---------------------------------------------------------------------------
+// Distance functions — see the reference table in DESIGN.md §14
+// ---------------------------------------------------------------------------
+/** @internal Dot product. Higher is more similar; may be negative. */
+export const dotProduct = (a, b) => {
+    let sum = 0;
+    for (let i = 0; i < a.length; i++)
+        sum += (a[i] ?? 0) * (b[i] ?? 0);
+    return sum;
+};
+/**
+ * @internal Cosine DISTANCE (`1 - cosine similarity`), range 0…2.
+ * Lower is more similar — the same direction DynamoDB reports.
+ */
+export const cosineDistance = (a, b) => {
+    const magnitudeA = Math.sqrt(dotProduct(a, a));
+    const magnitudeB = Math.sqrt(dotProduct(b, b));
+    if (magnitudeA === 0 || magnitudeB === 0)
+        return 1;
+    return 1 - dotProduct(a, b) / (magnitudeA * magnitudeB);
+};
+/** @internal Euclidean (L2) distance, range 0…∞. Lower is more similar. */
+export const euclideanDistance = (a, b) => {
+    let sum = 0;
+    for (let i = 0; i < Math.max(a.length, b.length); i++) {
+        const delta = (a[i] ?? 0) - (b[i] ?? 0);
+        sum += delta * delta;
+    }
+    return Math.sqrt(sum);
+};
+/** @internal Score a candidate exactly as DynamoDB would report it. */
+export const scoreVector = (query, candidate, distance) => {
+    switch (distance) {
+        case "cosine":
+            return cosineDistance(query, candidate);
+        case "euclidean":
+            return euclideanDistance(query, candidate);
+        case "dotProduct":
+            return dotProduct(query, candidate);
+    }
+};
+/**
+ * @internal Is a LOWER raw score more similar for this distance function?
+ * COSINE and EUCLIDEAN report distances; DOT_PRODUCT reports a similarity.
+ */
+const lowerIsCloser = (distance) => distance !== "dotProduct";
+// ---------------------------------------------------------------------------
+// AttributeValue helpers
+// ---------------------------------------------------------------------------
+/** @internal Read a stored embedding (`L` of `N`) out of an item. */
+const readVector = (value) => {
+    if (value === undefined)
+        return undefined;
+    if (value.L !== undefined) {
+        const numbers = value.L.map((element) => Number(element.N));
+        return numbers.some((n) => Number.isNaN(n)) ? undefined : numbers;
+    }
+    if (value.NS !== undefined)
+        return value.NS.map((n) => Number(n));
+    return undefined;
+};
+/** @internal Structural equality over the scalar AttributeValue shapes. */
+const attributeEquals = (a, b) => {
+    if (a === undefined || b === undefined)
+        return false;
+    if (a.S !== undefined || b.S !== undefined)
+        return a.S === b.S;
+    if (a.N !== undefined || b.N !== undefined)
+        return Number(a.N) === Number(b.N);
+    if (a.BOOL !== undefined || b.BOOL !== undefined)
+        return a.BOOL === b.BOOL;
+    return JSON.stringify(a) === JSON.stringify(b);
+};
+/**
+ * @internal Parse the equality-only `SearchConditionExpression`.
+ *
+ * The expression grammar the library emits (and the only one the API supports)
+ * is a conjunction of `#name = :value` terms, so a split is a complete parser
+ * rather than a shortcut. Anything unrecognised is skipped rather than throwing:
+ * an over-permissive emulator surfaces as a failed assertion in the test that
+ * cares, which is easier to debug than a parse error from a layer.
+ */
+const parseEqualityConditions = (expression, names, values) => {
+    if (!expression)
+        return [];
+    const conditions = [];
+    for (const term of expression.split(/\s+AND\s+/i)) {
+        const match = term.trim().match(/^([#\w.]+)\s*=\s*(:[\w]+)$/);
+        if (!match)
+            continue;
+        const rawName = match[1];
+        const rawValue = match[2];
+        const attribute = rawName.startsWith("#") ? (names?.[rawName] ?? rawName) : rawName;
+        const value = values?.[rawValue];
+        if (value === undefined)
+            continue;
+        conditions.push({ attribute, value });
+    }
+    return conditions;
+};
+/** @internal Resolve a `ProjectionExpression` into concrete attribute names. */
+const parseProjection = (expression, names) => {
+    if (!expression)
+        return undefined;
+    return expression
+        .split(",")
+        .map((part) => part.trim())
+        .filter((part) => part.length > 0)
+        .map((part) => (part.startsWith("#") ? (names?.[part] ?? part) : part));
+};
+// ---------------------------------------------------------------------------
+// Emulated searchVectors
+// ---------------------------------------------------------------------------
+/**
+ * Wrap a {@link DynamoClientService} so `searchVectors` is emulated locally.
+ * Every other operation delegates to the wrapped service unchanged.
+ */
+export const wrap = (service, options) => {
+    const registry = buildRegistry(options);
+    return {
+        ...service,
+        // Real DynamoDB REQUIRES every vector SearchSchema element in
+        // AttributeDefinitions; DynamoDB Local discards `VectorIndexes`, sees those
+        // definitions as unreferenced, and rejects the table ("The number of
+        // attributes in key schema must match..."). The two backends demand
+        // incompatible inputs, so the emulation strips the vector-only parts down
+        // to what DynamoDB Local understands.
+        createTable: (input) => {
+            if (input.VectorIndexes === undefined)
+                return service.createTable(input);
+            const referenced = new Set([
+                ...(input.KeySchema ?? []),
+                ...(input.GlobalSecondaryIndexes ?? []).flatMap((gsi) => gsi.KeySchema ?? []),
+                ...(input.LocalSecondaryIndexes ?? []).flatMap((lsi) => lsi.KeySchema ?? []),
+            ].flatMap((element) => (element.AttributeName ? [element.AttributeName] : [])));
+            const { VectorIndexes: _dropped, ...rest } = input;
+            return service.createTable({
+                ...rest,
+                AttributeDefinitions: (input.AttributeDefinitions ?? []).filter((definition) => definition.AttributeName !== undefined && referenced.has(definition.AttributeName)),
+            });
+        },
+        updateTable: (input) => {
+            if (input.VectorIndexUpdates === undefined)
+                return service.updateTable(input);
+            const { AttributeDefinitions: _defs, VectorIndexUpdates: _updates, ...rest } = input;
+            const hasOtherUpdates = Object.keys(rest).some((key) => key !== "TableName");
+            // A pure vector-index update has nothing DynamoDB Local can apply —
+            // succeed as a no-op so `addVectorIndex` stays usable in local stacks.
+            return hasOtherUpdates
+                ? service.updateTable(rest)
+                : Effect.succeed({ $metadata: {} });
+        },
+        searchVectors: (input) => Effect.gen(function* () {
+            const indexName = input.IndexName ?? "";
+            const index = registry.get(indexName) ?? {
+                vectorAttribute: vectorAttributeName(indexName),
+                distance: "cosine",
+            };
+            const queryVector = (input.SearchVector ?? []).map((element) => Number(element.N));
+            const conditions = parseEqualityConditions(input.SearchConditionExpression, input.ExpressionAttributeNames, input.ExpressionAttributeValues);
+            const projection = parseProjection(input.ProjectionExpression, input.ExpressionAttributeNames);
+            const topK = input.TopK ?? 10;
+            // Real DynamoDB rejects a SearchConditionExpression that names an
+            // attribute which is not the HASH element or a declared INLINE_FILTER.
+            // Reproduce that here — an over-permissive emulator would let an
+            // undeclared filter pass every local test and fail only in production.
+            if (index.filterAttributes !== undefined) {
+                const allowed = new Set(index.filterAttributes);
+                if (index.partitionAttribute !== undefined)
+                    allowed.add(index.partitionAttribute);
+                for (const condition of conditions) {
+                    if (allowed.has(condition.attribute))
+                        continue;
+                    return yield* new DynamoValidationError({
+                        operation: "SearchVectors",
+                        cause: `Attribute "${condition.attribute}" is not a HASH or INLINE_FILTER element of ` +
+                            `vector index "${indexName}". Declared: ${[...allowed].sort().join(", ")}.`,
+                    });
+                }
+            }
+            // Exhaustive scan — the emulator trades speed for exactness.
+            const candidates = [];
+            let exclusiveStartKey;
+            do {
+                const page = yield* service.scan({
+                    TableName: input.TableName,
+                    ExclusiveStartKey: exclusiveStartKey,
+                });
+                for (const item of page.Items ?? []) {
+                    const record = item;
+                    // Sparse index semantics: no embedding ⇒ not in the index.
+                    const stored = readVector(record[index.vectorAttribute]);
+                    if (stored === undefined)
+                        continue;
+                    if (!conditions.every((c) => attributeEquals(record[c.attribute], c.value)))
+                        continue;
+                    candidates.push({
+                        item: record,
+                        score: scoreVector(queryVector, stored, index.distance),
+                    });
+                }
+                exclusiveStartKey = page.LastEvaluatedKey;
+            } while (exclusiveStartKey !== undefined);
+            candidates.sort((a, b) => lowerIsCloser(index.distance) ? a.score - b.score : b.score - a.score);
+            return {
+                $metadata: {},
+                SearchResults: candidates.slice(0, topK).map(({ item, score }) => ({
+                    Item: projection === undefined ? item : project(item, projection),
+                    Score: score,
+                })),
+            };
+        }),
+    };
+};
+/** @internal Reduce an item to the projected attributes. */
+const project = (item, attributes) => {
+    const projected = {};
+    for (const attribute of attributes) {
+        const value = item[attribute];
+        if (value !== undefined)
+            projected[attribute] = value;
+    }
+    return projected;
+};
+/**
+ * Wrap a `DynamoClient` layer so `searchVectors` is emulated locally.
+ *
+ * @example
+ * ```typescript
+ * const DdbLocal = DynamoClient.layer({ region: "us-east-1", endpoint: "http://localhost:8000" })
+ * const Emulated = VectorSearchEmulation.layer(DdbLocal, { tables: { MainTable } })
+ * ```
+ */
+export const layer = (inner, options) => Layer.effect(DynamoClient, Effect.map(DynamoClient, (service) => wrap(service, options))).pipe(Layer.provide(inner));
+//# sourceMappingURL=VectorSearchEmulation.js.map

package/dist/VectorSearchEmulation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"VectorSearchEmulation.js","sourceRoot":"","sources":["../src/VectorSearchEmulation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAUH,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAA;AAKzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,YAAY,EAAoD,MAAM,mBAAmB,CAAA;AAClG,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAgD/C,4EAA4E;AAC5E,MAAM,aAAa,GAAG,CAAC,OAAqC,EAAoC,EAAE;IAChG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAA;IACvD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QACzD,MAAM,MAAM,GAAG,kBAAkB,CAC/B,KAAK,CAAC,QAA+D,CACtE,CAAA;QACD,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YACxC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;QAC/F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACxE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,gBAAgB;AAChB,MAAM,UAAU,GAAG,CACjB,UAAiC,EACjC,gBAAuC,EAClB,EAAE,CAAC,CAAC;IACzB,eAAe,EAAE,UAAU,CAAC,WAAW;IACvC,QAAQ,EAAE,UAAU,CAAC,QAAQ;IAC7B,kBAAkB,EAAE,UAAU,CAAC,cAAc;IAC7C,gBAAgB;CACjB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,gEAAgE;AAChE,8EAA8E;AAE9E,sEAAsE;AACtE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAwB,EAAE,CAAwB,EAAU,EAAE;IACvF,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACnE,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAwB,EAAE,CAAwB,EAAU,EAAE;IAC3F,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC9C,IAAI,UAAU,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAClD,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAA;AACzD,CAAC,CAAA;AAED,2EAA2E;AAC3E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAwB,EAAE,CAAwB,EAAU,EAAE;IAC9F,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;QACvC,GAAG,IAAI,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACvB,CAAC,CAAA;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAA4B,EAC5B,SAAgC,EAChC,QAA0B,EAClB,EAAE;IACV,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;QACzC,KAAK,WAAW;YACd,OAAO,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;QAC5C,KAAK,YAAY;YACf,OAAO,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;IACvC,CAAC;AACH,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,aAAa,GAAG,CAAC,QAA0B,EAAW,EAAE,CAAC,QAAQ,KAAK,YAAY,CAAA;AAExF,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,qEAAqE;AACrE,MAAM,UAAU,GAAG,CAAC,KAAiC,EAAqC,EAAE;IAC1F,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACzC,IAAI,KAAK,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;QAC3D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAA;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,2EAA2E;AAC3E,MAAM,eAAe,GAAG,CAAC,CAA6B,EAAE,CAA6B,EAAW,EAAE;IAChG,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACpD,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC9D,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAA;IAC1E,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAChD,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,uBAAuB,GAAG,CAC9B,UAA8B,EAC9B,KAAyC,EACzC,MAAkD,EAC6B,EAAE;IACjF,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAA;IAC1B,MAAM,UAAU,GAAwD,EAAE,CAAA;IAC1E,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAA;QAC7D,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QAC1B,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;QACnF,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAA;QAChC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,UAAU,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;IACvC,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AAED,gFAAgF;AAChF,MAAM,eAAe,GAAG,CACtB,UAA8B,EAC9B,KAAyC,EACN,EAAE;IACrC,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAA;IACjC,OAAO,UAAU;SACd,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACjC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAC3E,CAAC,CAAA;AAED,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,OAA4B,EAC5B,OAA0B,EACL,EAAE;IACvB,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;IACvC,OAAO;QACL,GAAG,OAAO;QACV,8DAA8D;QAC9D,4EAA4E;QAC5E,qEAAqE;QACrE,oEAAoE;QACpE,0EAA0E;QAC1E,sCAAsC;QACtC,WAAW,EAAE,CAAC,KAA8B,EAAE,EAAE;YAC9C,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;YACxE,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB;gBACE,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC;gBAC1B,GAAG,CAAC,KAAK,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;gBAC7E,GAAG,CAAC,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;aAC7E,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC/E,CAAA;YACD,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAA;YAClD,OAAO,OAAO,CAAC,WAAW,CAAC;gBACzB,GAAG,IAAI;gBACP,oBAAoB,EAAE,CAAC,KAAK,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,MAAM,CAC7D,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,aAAa,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,CACrF;aACF,CAAC,CAAA;QACJ,CAAC;QACD,WAAW,EAAE,CAAC,KAA8B,EAAE,EAAE;YAC9C,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAA;YAC7E,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAA;YACpF,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,WAAW,CAAC,CAAA;YAC5E,oEAAoE;YACpE,uEAAuE;YACvE,OAAO,eAAe;gBACpB,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;gBAC3B,CAAC,CAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAG/B,CAAA;QACR,CAAC;QACD,aAAa,EAAE,CACb,KAAgC,EAC8B,EAAE,CAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,IAAI,EAAE,CAAA;YACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI;gBACvC,eAAe,EAAE,mBAAmB,CAAC,SAAS,CAAC;gBAC/C,QAAQ,EAAE,QAAiB;aAC5B,CAAA;YACD,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;YAClF,MAAM,UAAU,GAAG,uBAAuB,CACxC,KAAK,CAAC,yBAAyB,EAC/B,KAAK,CAAC,wBAAwB,EAC9B,KAAK,CAAC,yBAAyB,CAChC,CAAA;YACD,MAAM,UAAU,GAAG,eAAe,CAChC,KAAK,CAAC,oBAAoB,EAC1B,KAAK,CAAC,wBAAwB,CAC/B,CAAA;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,CAAA;YAE7B,kEAAkE;YAClE,uEAAuE;YACvE,iEAAiE;YACjE,uEAAuE;YACvE,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,gBAAgB,CAAC,CAAA;gBACvD,IAAI,KAAK,CAAC,kBAAkB,KAAK,SAAS;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;gBACjF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC;wBAAE,SAAQ;oBAC9C,OAAO,KAAK,CAAC,CAAC,IAAI,qBAAqB,CAAC;wBACtC,SAAS,EAAE,eAAe;wBAC1B,KAAK,EACH,cAAc,SAAS,CAAC,SAAS,8CAA8C;4BAC/E,iBAAiB,SAAS,gBAAgB,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;qBAC9E,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YAED,6DAA6D;YAC7D,MAAM,UAAU,GAAmE,EAAE,CAAA;YACrF,IAAI,iBAA6D,CAAA;YACjE,GAAG,CAAC;gBACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC/B,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,iBAAiB,EAAE,iBAAiB;iBACrC,CAAC,CAAA;gBACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;oBACpC,MAAM,MAAM,GAAG,IAAsC,CAAA;oBACrD,2DAA2D;oBAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAA;oBACxD,IAAI,MAAM,KAAK,SAAS;wBAAE,SAAQ;oBAClC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;wBAAE,SAAQ;oBACrF,UAAU,CAAC,IAAI,CAAC;wBACd,IAAI,EAAE,MAAM;wBACZ,KAAK,EAAE,WAAW,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;qBACxD,CAAC,CAAA;gBACJ,CAAC;gBACD,iBAAiB,GAAG,IAAI,CAAC,gBAA8D,CAAA;YACzF,CAAC,QAAQ,iBAAiB,KAAK,SAAS,EAAC;YAEzC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvB,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CACtE,CAAA;YAED,OAAO;gBACL,SAAS,EAAE,EAAE;gBACb,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;oBACjE,IAAI,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC;oBACjE,KAAK,EAAE,KAAK;iBACb,CAAC,CAAC;aACiC,CAAA;QACxC,CAAC,CAAC;KACL,CAAA;AACH,CAAC,CAAA;AAED,4DAA4D;AAC5D,MAAM,OAAO,GAAG,CACd,IAAoC,EACpC,UAAiC,EACD,EAAE;IAClC,MAAM,SAAS,GAAmC,EAAE,CAAA;IACpD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;QAC7B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,CAAA;IACvD,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,KAAsC,EACtC,OAA0B,EACO,EAAE,CACnC,KAAK,CAAC,MAAM,CACV,YAAY,EACZ,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAC9D,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAoC,CAAA"}

package/dist/index.d.ts

@@ -1,12 +1,16 @@
 export * as DynamoModel from "@effect-dynamodb/schema/DynamoModel.js";
 export type { Casing, DynamoSchema as DynamoSchemaType, } from "@effect-dynamodb/schema/DynamoSchema.js";
 export * as DynamoSchema from "@effect-dynamodb/schema/DynamoSchema.js";
-export { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, CascadePartialFailure, CompositeKeyHoleError, CompositeNullableError, ConditionalCheckFailed, DynamoError, DynamoValidationError, InternalServerError, ItemDeleted, ItemNotDeleted, ItemNotFound, makeCompositeKeyHoleError, makeCompositeNullableError, OptimisticLockError, RefNotFound, ResourceNotFoundError, StaleAppend, ThrottlingError, TransactionCancelled, TransactionOverflow, UniqueConstraintViolation, ValidationError, VersionConflict, } from "@effect-dynamodb/schema/Errors.js";
-export type { AppendInputType, AppendSuccess, EntityInputType, EntityKeyType, EntityRecordType, EntityRefInputType, EntityRefUpdateType, EntityUpdateType, IndexPkComposites, IndexPkInput, IndexSkComposites, ModelType, PrimaryKeyComposites, RefErrors, SystemFieldsType, } from "@effect-dynamodb/schema/internal/EntityTypes.js";
+export type { EmbedderService } from "@effect-dynamodb/schema/Embedder.js";
+export { Embedder } from "@effect-dynamodb/schema/Embedder.js";
+export { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, CascadePartialFailure, CompositeKeyHoleError, CompositeNullableError, ConditionalCheckFailed, DynamoError, DynamoValidationError, EmbeddingError, InternalServerError, ItemDeleted, ItemNotDeleted, ItemNotFound, makeCompositeKeyHoleError, makeCompositeNullableError, OptimisticLockError, RefNotFound, ResourceNotFoundError, StaleAppend, ThrottlingError, TransactionCancelled, TransactionOverflow, UniqueConstraintViolation, ValidationError, VectorIndexBackfilling, VersionConflict, } from "@effect-dynamodb/schema/Errors.js";
+export type { AppendInputType, AppendSuccess, EntityInputType, EntityKeyType, EntityRecordType, EntityRefInputType, EntityRefUpdateType, EntityUpdateType, IndexPkComposites, IndexPkInput, IndexSkComposites, ModelType, PrimaryKeyComposites, RefErrors, SystemFieldsType, VectorErrors, } from "@effect-dynamodb/schema/internal/EntityTypes.js";
 export type { GsiConfig, IndexDefinition, KeyPart } from "@effect-dynamodb/schema/KeyComposer.js";
 export * as KeyComposer from "@effect-dynamodb/schema/KeyComposer.js";
 export type { ProjectionResult } from "@effect-dynamodb/schema/Projection.js";
 export * as Projection from "@effect-dynamodb/schema/Projection.js";
+export type { DistanceFunction, Similarity, VectorFilterInput, VectorFilterOperand, VectorIndexConfig, VectorIndexDefinition, VectorSourceConfig, } from "@effect-dynamodb/schema/VectorIndex.js";
+export * as VectorIndex from "@effect-dynamodb/schema/VectorIndex.js";
 export type { BoundAggregate } from "./Aggregate.js";
 export * as Aggregate from "./Aggregate.js";
 export type { BatchRetryConfig } from "./Batch.js";
@@ -22,6 +26,7 @@ export type { ConditionInput, ExpressionResult, UpdateInput, } from "./Expressio
 export * as Expression from "./Expression.js";
 export type { BoundQuery, BoundQueryBase, BoundQueryWithWhere, SkConditionOps, } from "./internal/BoundQuery.js";
 export { makeBoundQuery } from "./internal/BoundQuery.js";
+export type { BoundVectorQuery, BoundVectorQueryCombinators, BoundVectorQueryTerminals, BoundVectorQueryWithPartition, VectorHit, VectorSearchError, } from "./internal/BoundVectorQuery.js";
 export type { CompileResult, ConditionOps, ConditionShorthand, Expr, } from "./internal/Expr.js";
 export { compileExpr, createConditionOps, isExpr, parseShorthand, parseSimpleShorthand, } from "./internal/Expr.js";
 export type { ArrayPath, DeepPick, Path, PathBuilder, PathKeys, SizeOperand, } from "./internal/PathBuilder.js";
@@ -32,4 +37,6 @@ export type { Table as TableType, TableConfig } from "./Table.js";
 export * as Table from "./Table.js";
 export type { ConditionCheckOp } from "./Transaction.js";
 export * as Transaction from "./Transaction.js";
+export type { EmulatedVectorIndex, EmulationOptions, } from "./VectorSearchEmulation.js";
+export * as VectorSearchEmulation from "./VectorSearchEmulation.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,YAAY,EACV,MAAM,EACN,YAAY,IAAI,gBAAgB,GACjC,MAAM,yCAAyC,CAAA;AAChD,OAAO,KAAK,YAAY,MAAM,yCAAyC,CAAA;AACvE,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,qBAAqB,EACrB,mBAAmB,EACnB,WAAW,EACX,cAAc,EACd,YAAY,EACZ,yBAAyB,EACzB,0BAA0B,EAC1B,mBAAmB,EACnB,WAAW,EACX,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,eAAe,GAChB,MAAM,mCAAmC,CAAA;AAC1C,YAAY,EACV,eAAe,EACf,aAAa,EACb,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,oBAAoB,EACpB,SAAS,EACT,gBAAgB,GACjB,MAAM,iDAAiD,CAAA;AACxD,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,wCAAwC,CAAA;AACjG,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,YAAY,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAA;AAC7E,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAA;AACnE,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,YAAY,EAAE,UAAU,IAAI,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACnE,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,SAAS,EACT,eAAe,EACf,WAAW,GACZ,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,YAAY,EACV,WAAW,EACX,MAAM,IAAI,UAAU,EACpB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,YAAY,EACZ,gBAAgB,GACjB,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,WAAW,GACZ,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,YAAY,EACV,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,cAAc,GACf,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,YAAY,EACV,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,IAAI,GACL,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,cAAc,EACd,oBAAoB,GACrB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACV,SAAS,EACT,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,QAAQ,EACR,WAAW,GACZ,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,YAAY,EAAE,KAAK,IAAI,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACjE,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,YAAY,EACV,MAAM,EACN,YAAY,IAAI,gBAAgB,GACjC,MAAM,yCAAyC,CAAA;AAChD,OAAO,KAAK,YAAY,MAAM,yCAAyC,CAAA;AACvE,YAAY,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAA;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAA;AAC9D,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,qBAAqB,EACrB,cAAc,EACd,mBAAmB,EACnB,WAAW,EACX,cAAc,EACd,YAAY,EACZ,yBAAyB,EACzB,0BAA0B,EAC1B,mBAAmB,EACnB,WAAW,EACX,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,sBAAsB,EACtB,eAAe,GAChB,MAAM,mCAAmC,CAAA;AAC1C,YAAY,EACV,eAAe,EACf,aAAa,EACb,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,oBAAoB,EACpB,SAAS,EACT,gBAAgB,EAChB,YAAY,GACb,MAAM,iDAAiD,CAAA;AACxD,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,wCAAwC,CAAA;AACjG,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,YAAY,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAA;AAC7E,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAA;AACnE,YAAY,EACV,gBAAgB,EAChB,UAAU,EACV,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wCAAwC,CAAA;AAC/C,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,YAAY,EAAE,UAAU,IAAI,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACnE,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,YAAY,EACV,iBAAiB,EACjB,mBAAmB,EACnB,SAAS,EACT,eAAe,EACf,WAAW,GACZ,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,YAAY,EACV,WAAW,EACX,MAAM,IAAI,UAAU,EACpB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,YAAY,EACZ,gBAAgB,GACjB,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,YAAY,EACV,cAAc,EACd,gBAAgB,EAChB,WAAW,GACZ,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,YAAY,EACV,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,cAAc,GACf,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,YAAY,EACV,gBAAgB,EAChB,2BAA2B,EAC3B,yBAAyB,EACzB,6BAA6B,EAC7B,SAAS,EACT,iBAAiB,GAClB,MAAM,gCAAgC,CAAA;AACvC,YAAY,EACV,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,IAAI,GACL,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,cAAc,EACd,oBAAoB,GACrB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACV,SAAS,EACT,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,QAAQ,EACR,WAAW,GACZ,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,YAAY,EAAE,KAAK,IAAI,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACjE,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,YAAY,EACV,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,4BAA4B,CAAA;AACnC,OAAO,KAAK,qBAAqB,MAAM,4BAA4B,CAAA"}

package/dist/index.js

@@ -1,8 +1,10 @@
 export * as DynamoModel from "@effect-dynamodb/schema/DynamoModel.js";
 export * as DynamoSchema from "@effect-dynamodb/schema/DynamoSchema.js";
-export { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, CascadePartialFailure, CompositeKeyHoleError, CompositeNullableError, ConditionalCheckFailed, DynamoError, DynamoValidationError, InternalServerError, ItemDeleted, ItemNotDeleted, ItemNotFound, makeCompositeKeyHoleError, makeCompositeNullableError, OptimisticLockError, RefNotFound, ResourceNotFoundError, StaleAppend, ThrottlingError, TransactionCancelled, TransactionOverflow, UniqueConstraintViolation, ValidationError, VersionConflict, } from "@effect-dynamodb/schema/Errors.js";
+export { Embedder } from "@effect-dynamodb/schema/Embedder.js";
+export { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, CascadePartialFailure, CompositeKeyHoleError, CompositeNullableError, ConditionalCheckFailed, DynamoError, DynamoValidationError, EmbeddingError, InternalServerError, ItemDeleted, ItemNotDeleted, ItemNotFound, makeCompositeKeyHoleError, makeCompositeNullableError, OptimisticLockError, RefNotFound, ResourceNotFoundError, StaleAppend, ThrottlingError, TransactionCancelled, TransactionOverflow, UniqueConstraintViolation, ValidationError, VectorIndexBackfilling, VersionConflict, } from "@effect-dynamodb/schema/Errors.js";
 export * as KeyComposer from "@effect-dynamodb/schema/KeyComposer.js";
 export * as Projection from "@effect-dynamodb/schema/Projection.js";
+export * as VectorIndex from "@effect-dynamodb/schema/VectorIndex.js";
 export * as Aggregate from "./Aggregate.js";
 export * as Batch from "./Batch.js";
 export * as Collection from "./Collection.js";
@@ -17,4 +19,5 @@ export * as Marshaller from "./Marshaller.js";
 export * as Query from "./Query.js";
 export * as Table from "./Table.js";
 export * as Transaction from "./Transaction.js";
+export * as VectorSearchEmulation from "./VectorSearchEmulation.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AAKrE,OAAO,KAAK,YAAY,MAAM,yCAAyC,CAAA;AACvE,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,qBAAqB,EACrB,mBAAmB,EACnB,WAAW,EACX,cAAc,EACd,YAAY,EACZ,yBAAyB,EACzB,0BAA0B,EAC1B,mBAAmB,EACnB,WAAW,EACX,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,eAAe,GAChB,MAAM,mCAAmC,CAAA;AAmB1C,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AAErE,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAA;AAEnE,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAQ7C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAUhD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAM7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAO7C,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAOzD,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,cAAc,EACd,oBAAoB,GACrB,MAAM,oBAAoB,CAAA;AAS3B,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AAKrE,OAAO,KAAK,YAAY,MAAM,yCAAyC,CAAA;AAEvE,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAA;AAC9D,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,EACtB,WAAW,EACX,qBAAqB,EACrB,cAAc,EACd,mBAAmB,EACnB,WAAW,EACX,cAAc,EACd,YAAY,EACZ,yBAAyB,EACzB,0BAA0B,EAC1B,mBAAmB,EACnB,WAAW,EACX,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,sBAAsB,EACtB,eAAe,GAChB,MAAM,mCAAmC,CAAA;AAoB1C,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AAErE,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAA;AAUnE,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AAErE,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAE3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAQ7C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAUhD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAM7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAO7C,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAezD,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,MAAM,EACN,cAAc,EACd,oBAAoB,GACrB,MAAM,oBAAoB,CAAA;AAS3B,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAA;AAClF,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAK/C,OAAO,KAAK,qBAAqB,MAAM,4BAA4B,CAAA"}

package/dist/internal/BoundCrud.d.ts

@@ -32,20 +32,27 @@ export interface BoundCrudConfig<Model> {
  * yield* db.entities.Users.create(input).condition((t, { eq }) => eq(t.status, "active"))
  * ```
  */
-export interface BoundPut<Model, A, E> extends Pipeable.Pipeable {
+export interface BoundPut<Model, A, E, VN extends string = string> extends Pipeable.Pipeable {
     /** Add a condition expression. Callback or shorthand. */
-    readonly condition: (cond: ConditionArg<Model>) => BoundPut<Model, A, E>;
+    readonly condition: (cond: ConditionArg<Model>) => BoundPut<Model, A, E, VN>;
+    /**
+     * Supply a pre-computed embedding for a named vector index, skipping the
+     * `Embedder` for that index on this write. `name` is the LOGICAL vector index
+     * name declared on `Entity.make({ vectorIndexes })`.
+     */
+    readonly withVector: (name: VN, vector: ReadonlyArray<number>) => BoundPut<Model, A, E, VN>;
     /** Convert to an executable Effect for Effect combinator interop. */
     readonly asEffect: () => Effect.Effect<A, E, never>;
     /** Yield support for `Effect.gen`. */
     readonly [Symbol.iterator]: () => Iterator<Effect.Effect<A, E, never>, A>;
 }
 /** @internal */
-export declare class BoundPutImpl<Model, A, E> implements BoundPut<Model, A, E> {
+export declare class BoundPutImpl<Model, A, E, VN extends string = string> implements BoundPut<Model, A, E, VN> {
     readonly _op: EntityPut<A, any, E, any>;
     readonly _config: BoundCrudConfig<Model>;
     constructor(_op: EntityPut<A, any, E, any>, _config: BoundCrudConfig<Model>);
-    condition(cond: ConditionArg<Model>): BoundPutImpl<Model, A, E>;
+    condition(cond: ConditionArg<Model>): BoundPutImpl<Model, A, E, VN>;
+    withVector(name: VN, vector: ReadonlyArray<number>): BoundPutImpl<Model, A, E, VN>;
     asEffect(): Effect.Effect<A, E, never>;
     [Symbol.iterator](): any;
     pipe(): unknown;
@@ -94,105 +101,112 @@ export declare class BoundDeleteImpl<Model, E> implements BoundDelete<Model, E>
  *   .remove(["temporaryFlag"])
  * ```
  */
-export interface BoundUpdate<Model, A, U, E> extends Pipeable.Pipeable {
+export interface BoundUpdate<Model, A, U, E, VN extends string = string> extends Pipeable.Pipeable {
     /** Set the fields to update (record-based SET). */
-    readonly set: (updates: U) => BoundUpdate<Model, A, U, E>;
+    readonly set: (updates: U) => BoundUpdate<Model, A, U, E, VN>;
     /** Remove attributes (REMOVE clause). */
-    readonly remove: (fields: ReadonlyArray<string>) => BoundUpdate<Model, A, U, E>;
+    readonly remove: (fields: ReadonlyArray<string>) => BoundUpdate<Model, A, U, E, VN>;
     /** Atomic numeric ADD. */
-    readonly add: (values: globalThis.Record<string, number>) => BoundUpdate<Model, A, U, E>;
+    readonly add: (values: globalThis.Record<string, number>) => BoundUpdate<Model, A, U, E, VN>;
     /** Numeric SET subtraction (synthesized as `SET #f = #f - :v`). */
-    readonly subtract: (values: globalThis.Record<string, number>) => BoundUpdate<Model, A, U, E>;
+    readonly subtract: (values: globalThis.Record<string, number>) => BoundUpdate<Model, A, U, E, VN>;
     /** List append (synthesized as `SET #f = list_append(#f, :v)`). */
-    readonly append: (values: globalThis.Record<string, ReadonlyArray<unknown>>) => BoundUpdate<Model, A, U, E>;
+    readonly append: (values: globalThis.Record<string, ReadonlyArray<unknown>>) => BoundUpdate<Model, A, U, E, VN>;
     /** Delete elements from a set attribute. */
-    readonly deleteFromSet: (values: globalThis.Record<string, unknown>) => BoundUpdate<Model, A, U, E>;
+    readonly deleteFromSet: (values: globalThis.Record<string, unknown>) => BoundUpdate<Model, A, U, E, VN>;
     /** Optimistic concurrency — expected version. */
-    readonly expectedVersion: (version: number) => BoundUpdate<Model, A, U, E>;
+    readonly expectedVersion: (version: number) => BoundUpdate<Model, A, U, E, VN>;
     /** Add a condition expression. Callback or shorthand. */
-    readonly condition: (cond: ConditionArg<Model>) => BoundUpdate<Model, A, U, E>;
+    readonly condition: (cond: ConditionArg<Model>) => BoundUpdate<Model, A, U, E, VN>;
+    /**
+     * Supply a pre-computed embedding for a named vector index, skipping the
+     * `Embedder` for that index on this write. `name` is the LOGICAL vector index
+     * name declared on `Entity.make({ vectorIndexes })`.
+     */
+    readonly withVector: (name: VN, vector: ReadonlyArray<number>) => BoundUpdate<Model, A, U, E, VN>;
     /** Set ReturnValues mode. */
-    readonly returnValues: (mode: ReturnValuesMode) => BoundUpdate<Model, A, U, E>;
+    readonly returnValues: (mode: ReturnValuesMode) => BoundUpdate<Model, A, U, E, VN>;
     /** Configure cascade updates to denormalized target entities. */
     readonly cascade: (config: {
         readonly targets: ReadonlyArray<CascadeTarget>;
         readonly filter?: globalThis.Record<string, unknown> | undefined;
         readonly mode?: "eventual" | "transactional" | undefined;
-    }) => BoundUpdate<Model, A, U, E>;
+    }) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based SET. */
-    readonly pathSet: (op: PathSetOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathSet: (op: PathSetOp) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based REMOVE. */
-    readonly pathRemove: (segments: ReadonlyArray<string | number>) => BoundUpdate<Model, A, U, E>;
+    readonly pathRemove: (segments: ReadonlyArray<string | number>) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based ADD. */
-    readonly pathAdd: (op: PathAddOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathAdd: (op: PathAddOp) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based SUBTRACT. */
-    readonly pathSubtract: (op: PathSubtractOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathSubtract: (op: PathSubtractOp) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based APPEND. */
-    readonly pathAppend: (op: PathAppendOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathAppend: (op: PathAppendOp) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based PREPEND. */
-    readonly pathPrepend: (op: PathPrependOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathPrepend: (op: PathPrependOp) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based if_not_exists. */
-    readonly pathIfNotExists: (op: PathIfNotExistsOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathIfNotExists: (op: PathIfNotExistsOp) => BoundUpdate<Model, A, U, E, VN>;
     /** Path-based DELETE (set removal). */
-    readonly pathDelete: (op: PathDeleteOp) => BoundUpdate<Model, A, U, E>;
+    readonly pathDelete: (op: PathDeleteOp) => BoundUpdate<Model, A, U, E, VN>;
     /**
      * Remove specific entries from a sparse-map field. Compiles to
      * `REMOVE <prefix>#k1, <prefix>#k2, ...`. Removing an entry that doesn't
      * exist is a no-op (DynamoDB REMOVE semantics).
      */
-    readonly removeEntries: (field: string, keys: ReadonlyArray<string>) => BoundUpdate<Model, A, U, E>;
+    readonly removeEntries: (field: string, keys: ReadonlyArray<string>) => BoundUpdate<Model, A, U, E, VN>;
     /**
      * Clear all entries of a sparse-map field. Two-op helper: reads the current
      * item, then folds REMOVE clauses for the discovered `<prefix>#*` attrs into
      * the same final UpdateItem. Atomic via the version CAS for `versioned`
      * entities; best-effort for non-versioned.
      */
-    readonly clearMap: (field: string) => BoundUpdate<Model, A, U, E>;
+    readonly clearMap: (field: string) => BoundUpdate<Model, A, U, E, VN>;
     /** Convert to an executable Effect for Effect combinator interop. */
     readonly asEffect: () => Effect.Effect<A, E, never>;
     /** Yield support for `Effect.gen`. */
     readonly [Symbol.iterator]: () => Iterator<Effect.Effect<A, E, never>, A>;
 }
 /** @internal */
-export declare class BoundUpdateImpl<Model, A, U, E> implements BoundUpdate<Model, A, U, E> {
+export declare class BoundUpdateImpl<Model, A, U, E, VN extends string = string> implements BoundUpdate<Model, A, U, E, VN> {
     readonly _op: EntityUpdate<A, any, U, E, any>;
     readonly _config: BoundCrudConfig<Model>;
     constructor(_op: EntityUpdate<A, any, U, E, any>, _config: BoundCrudConfig<Model>);
     private _with;
-    set(updates: U): BoundUpdateImpl<Model, A, U, E>;
-    remove(fields: ReadonlyArray<string>): BoundUpdateImpl<Model, A, U, E>;
-    add(values: globalThis.Record<string, number>): BoundUpdateImpl<Model, A, U, E>;
-    subtract(values: globalThis.Record<string, number>): BoundUpdateImpl<Model, A, U, E>;
-    append(values: globalThis.Record<string, ReadonlyArray<unknown>>): BoundUpdateImpl<Model, A, U, E>;
-    deleteFromSet(values: globalThis.Record<string, unknown>): BoundUpdateImpl<Model, A, U, E>;
-    expectedVersion(version: number): BoundUpdateImpl<Model, A, U, E>;
-    condition(cond: ConditionArg<Model>): BoundUpdateImpl<Model, A, U, E>;
-    returnValues(mode: ReturnValuesMode): BoundUpdateImpl<Model, A, U, E>;
+    set(updates: U): BoundUpdateImpl<Model, A, U, E, VN>;
+    remove(fields: ReadonlyArray<string>): BoundUpdateImpl<Model, A, U, E, VN>;
+    add(values: globalThis.Record<string, number>): BoundUpdateImpl<Model, A, U, E, VN>;
+    subtract(values: globalThis.Record<string, number>): BoundUpdateImpl<Model, A, U, E, VN>;
+    append(values: globalThis.Record<string, ReadonlyArray<unknown>>): BoundUpdateImpl<Model, A, U, E, VN>;
+    deleteFromSet(values: globalThis.Record<string, unknown>): BoundUpdateImpl<Model, A, U, E, VN>;
+    expectedVersion(version: number): BoundUpdateImpl<Model, A, U, E, VN>;
+    condition(cond: ConditionArg<Model>): BoundUpdateImpl<Model, A, U, E, VN>;
+    withVector(name: VN, vector: ReadonlyArray<number>): BoundUpdateImpl<Model, A, U, E, VN>;
+    returnValues(mode: ReturnValuesMode): BoundUpdateImpl<Model, A, U, E, VN>;
     cascade(config: {
         readonly targets: ReadonlyArray<CascadeTarget>;
         readonly filter?: globalThis.Record<string, unknown> | undefined;
         readonly mode?: "eventual" | "transactional" | undefined;
-    }): BoundUpdateImpl<Model, A, U, E>;
-    pathSet(op: PathSetOp): BoundUpdateImpl<Model, A, U, E>;
-    pathRemove(segments: ReadonlyArray<string | number>): BoundUpdateImpl<Model, A, U, E>;
-    pathAdd(op: PathAddOp): BoundUpdateImpl<Model, A, U, E>;
-    pathSubtract(op: PathSubtractOp): BoundUpdateImpl<Model, A, U, E>;
-    pathAppend(op: PathAppendOp): BoundUpdateImpl<Model, A, U, E>;
-    pathPrepend(op: PathPrependOp): BoundUpdateImpl<Model, A, U, E>;
-    pathIfNotExists(op: PathIfNotExistsOp): BoundUpdateImpl<Model, A, U, E>;
-    pathDelete(op: PathDeleteOp): BoundUpdateImpl<Model, A, U, E>;
-    removeEntries(field: string, keys: ReadonlyArray<string>): BoundUpdateImpl<Model, A, U, E>;
-    clearMap(field: string): BoundUpdateImpl<Model, A, U, E>;
+    }): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathSet(op: PathSetOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathRemove(segments: ReadonlyArray<string | number>): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathAdd(op: PathAddOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathSubtract(op: PathSubtractOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathAppend(op: PathAppendOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathPrepend(op: PathPrependOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathIfNotExists(op: PathIfNotExistsOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    pathDelete(op: PathDeleteOp): BoundUpdateImpl<Model, A, U, E, VN>;
+    removeEntries(field: string, keys: ReadonlyArray<string>): BoundUpdateImpl<Model, A, U, E, VN>;
+    clearMap(field: string): BoundUpdateImpl<Model, A, U, E, VN>;
     asEffect(): Effect.Effect<A, E, never>;
     [Symbol.iterator](): any;
     pipe(): unknown;
 }
 /** @internal */
-export declare const makeBoundPut: <Model, A, E>(op: EntityPut<A, any, E, any>, config: BoundCrudConfig<Model>) => BoundPut<Model, A, E>;
+export declare const makeBoundPut: <Model, A, E, VN extends string = string>(op: EntityPut<A, any, E, any>, config: BoundCrudConfig<Model>) => BoundPut<Model, A, E, VN>;
 /** @internal */
 export declare const makeBoundDelete: <Model, E>(op: EntityDelete<E, any>, config: BoundCrudConfig<Model>) => BoundDelete<Model, E>;
 /** @internal */
-export declare const makeBoundUpdate: <Model, A, U, E>(op: EntityUpdate<A, any, U, E, any>, config: BoundCrudConfig<Model>) => BoundUpdate<Model, A, U, E>;
+export declare const makeBoundUpdate: <Model, A, U, E, VN extends string = string>(op: EntityUpdate<A, any, U, E, any>, config: BoundCrudConfig<Model>) => BoundUpdate<Model, A, U, E, VN>;
 /**
  * Fluent builder for `Entity.append()` on time-series entities.
  *