@farukada/aws-langgraph-dynamodb-ts 0.7.0 → 0.9.0

package/dist/store/internal/write-verify.d.ts

@@ -1,12 +1,37 @@
 import type { StoreContext } from './setup';
+/** True when `error` is a {@link RetryExhaustedError} — by name, not `instanceof` (banned repo-wide). */
+export declare function isRetryExhausted(error: Error): boolean;
 /**
- * True when `record`'s row already holds the S3 key `expectedS3Key` — i.e. an
- * ambiguous retry-exhaustion write actually landed server-side and only its
- * acknowledgment was lost. A failure reading this (itself possible) is not
- * treated as confirmation — fail safe, matching the pre-fix behavior.
+ * True when the row is confirmed absent — used to resolve an ambiguous
+ * retry-exhausted *delete*, where the delete may well have landed server-side
+ * and only its acknowledgement was lost. A failure reading this is not treated
+ * as confirmation, which is fail-safe here: the caller only rethrows, and
+ * nothing is deleted on the strength of a `false`.
  */
-export declare function writeLandedAt(context: StoreContext, record: {
+export declare function rowIsAbsent(context: StoreContext, key: {
     PK: string;
     SK: string;
-}, expectedS3Key: string): Promise<boolean>;
+}): Promise<boolean>;
+/** What a post-failure verification read could establish about a write. */
+export type WriteVerdict = 'landed' | 'not-landed' | 'unverified';
+/**
+ * Read `record`'s row back to establish what an ambiguous write actually did.
+ *
+ * - `'landed'`: the row holds `expectedS3Key`, so the write committed
+ *   server-side and only its acknowledgement was lost.
+ * - `'not-landed'`: the row was read and holds something else, or nothing, so
+ *   this call's own nonced upload is dead and safe to delete.
+ * - `'unverified'`: the read itself failed, so nothing is established.
+ *
+ * The third answer used to be folded into the second as a plain `false`, which
+ * made a partition that blocked both the put and this read delete the object a
+ * possibly-live row points at — permanently breaking every later read of that
+ * item. Only a *confirmed* non-commit may delete the new upload: leaking one
+ * object (reclaimed by `ensureS3LifecycleRule`) is recoverable, stranding a
+ * live row is not.
+ */
+export declare function verifyWriteLanded(context: StoreContext, record: {
+    PK: string;
+    SK: string;
+}, expectedS3Key: string): Promise<WriteVerdict>;
 //# sourceMappingURL=write-verify.d.ts.map

package/dist/store/internal/write-verify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"write-verify.d.ts","sourceRoot":"","sources":["../../../src/store/internal/write-verify.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE5C;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAClC,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,OAAO,CAAC,CAgBlB"}
+{"version":3,"file":"write-verify.d.ts","sourceRoot":"","sources":["../../../src/store/internal/write-verify.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE5C,yGAAyG;AACzG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAEtD;AAED;;;;;;GAMG;AACH,wBAAsB,WAAW,CAC/B,OAAO,EAAE,YAAY,EACrB,GAAG,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9B,OAAO,CAAC,OAAO,CAAC,CAelB;AAED,2EAA2E;AAC3E,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,GAAG,YAAY,CAAC;AAElE;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAClC,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,YAAY,CAAC,CAkBvB"}

package/dist/store/internal/write-verify.js

@@ -1,15 +1,53 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.writeLandedAt = writeLandedAt;
+exports.isRetryExhausted = isRetryExhausted;
+exports.rowIsAbsent = rowIsAbsent;
+exports.verifyWriteLanded = verifyWriteLanded;
 const codec_1 = require("../../shared/codec/codec");
 const retry_1 = require("../../shared/dynamodb/retry");
+/** True when `error` is a {@link RetryExhaustedError} — by name, not `instanceof` (banned repo-wide). */
+function isRetryExhausted(error) {
+    return error.name === 'RetryExhaustedError';
+}
+/**
+ * True when the row is confirmed absent — used to resolve an ambiguous
+ * retry-exhausted *delete*, where the delete may well have landed server-side
+ * and only its acknowledgement was lost. A failure reading this is not treated
+ * as confirmation, which is fail-safe here: the caller only rethrows, and
+ * nothing is deleted on the strength of a `false`.
+ */
+async function rowIsAbsent(context, key) {
+    try {
+        const result = await (0, retry_1.withDynamoDBRetry)(() => context.client.get({
+            TableName: context.tableName,
+            Key: key,
+            ConsistentRead: true,
+            ProjectionExpression: '#v',
+            ExpressionAttributeNames: { '#v': 'value' },
+        }));
+        return result.Item === undefined;
+    }
+    catch {
+        return false;
+    }
+}
 /**
- * True when `record`'s row already holds the S3 key `expectedS3Key` — i.e. an
- * ambiguous retry-exhaustion write actually landed server-side and only its
- * acknowledgment was lost. A failure reading this (itself possible) is not
- * treated as confirmation — fail safe, matching the pre-fix behavior.
+ * Read `record`'s row back to establish what an ambiguous write actually did.
+ *
+ * - `'landed'`: the row holds `expectedS3Key`, so the write committed
+ *   server-side and only its acknowledgement was lost.
+ * - `'not-landed'`: the row was read and holds something else, or nothing, so
+ *   this call's own nonced upload is dead and safe to delete.
+ * - `'unverified'`: the read itself failed, so nothing is established.
+ *
+ * The third answer used to be folded into the second as a plain `false`, which
+ * made a partition that blocked both the put and this read delete the object a
+ * possibly-live row points at — permanently breaking every later read of that
+ * item. Only a *confirmed* non-commit may delete the new upload: leaking one
+ * object (reclaimed by `ensureS3LifecycleRule`) is recoverable, stranding a
+ * live row is not.
  */
-async function writeLandedAt(context, record, expectedS3Key) {
+async function verifyWriteLanded(context, record, expectedS3Key) {
     try {
         const result = await (0, retry_1.withDynamoDBRetry)(() => context.client.get({
             TableName: context.tableName,
@@ -19,10 +57,12 @@ async function writeLandedAt(context, record, expectedS3Key) {
             ExpressionAttributeNames: { '#v': 'value' },
         }));
         const value = result.Item?.value;
-        return value?.location === codec_1.PayloadLocation.S3 && value.s3Key === expectedS3Key;
+        return value?.location === codec_1.PayloadLocation.S3 && value.s3Key === expectedS3Key
+            ? 'landed'
+            : 'not-landed';
     }
     catch {
-        return false;
+        return 'unverified';
     }
 }
 //# sourceMappingURL=write-verify.js.map

package/dist/store/internal/write-verify.js.map

@@ -1 +1 @@
-{"version":3,"file":"write-verify.js","sourceRoot":"","sources":["../../../src/store/internal/write-verify.ts"],"names":[],"mappings":";;;AAAA,oDAAmF;AACnF,uDAAgE;AAGhE;;;;;GAKG;AACI,KAAK,wBACV,OAAqB,EACrB,MAAkC,EAClC,aAAqB;IAErB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAA,yBAAiB,EAAC,GAAG,EAAE,CAC1C,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE;YACrC,cAAc,EAAE,IAAI;YACpB,oBAAoB,EAAE,IAAI;YAC1B,wBAAwB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;SAC5C,CAAC,CACH,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,KAAsC,CAAC;QAClE,OAAO,KAAK,EAAE,QAAQ,KAAK,uBAAe,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,aAAa,CAAC;IACjF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
+{"version":3,"file":"write-verify.js","sourceRoot":"","sources":["../../../src/store/internal/write-verify.ts"],"names":[],"mappings":";;;;;AAAA,oDAAmF;AACnF,uDAAgE;AAGhE,yGAAyG;AACzG,0BAAiC,KAAY;IAC3C,OAAO,KAAK,CAAC,IAAI,KAAK,qBAAqB,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACI,KAAK,sBACV,OAAqB,EACrB,GAA+B;IAE/B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAA,yBAAiB,EAAC,GAAG,EAAE,CAC1C,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,GAAG,EAAE,GAAG;YACR,cAAc,EAAE,IAAI;YACpB,oBAAoB,EAAE,IAAI;YAC1B,wBAAwB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;SAC5C,CAAC,CACH,CAAC;QACF,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAKD;;;;;;;;;;;;;;;GAeG;AACI,KAAK,4BACV,OAAqB,EACrB,MAAkC,EAClC,aAAqB;IAErB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAA,yBAAiB,EAAC,GAAG,EAAE,CAC1C,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;YACjB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,GAAG,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE;YACrC,cAAc,EAAE,IAAI;YACpB,oBAAoB,EAAE,IAAI;YAC1B,wBAAwB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;SAC5C,CAAC,CACH,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,KAAsC,CAAC;QAClE,OAAO,KAAK,EAAE,QAAQ,KAAK,uBAAe,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,aAAa;YAC5E,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,YAAY,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,YAAY,CAAC;IACtB,CAAC;AACH,CAAC"}

package/dist/store/types.d.ts

@@ -1,6 +1,7 @@
 import type { IndexConfig, SerializerProtocol } from '@langchain/langgraph-checkpoint';
 import type { PayloadDescriptor } from '../shared/codec/codec';
 import type { BaseAdapterOptions, CodecOptions } from '../shared/options';
+import type { VectorScoreDirection } from './internal/score-direction';
 import type { VectorBackend } from './vector-backend';
 /** Options for {@link DynamoDBStore}. */
 export type DynamoDBStoreOptions = BaseAdapterOptions & CodecOptions & {
@@ -14,6 +15,15 @@ export type DynamoDBStoreOptions = BaseAdapterOptions & CodecOptions & {
     maxSearchCandidates?: number;
     /** Cap on items scanned into memory during a plain (non-semantic) search before ResultTruncatedError. Defaults to MAX_TOTAL_ITEMS_IN_MEMORY. */
     maxScanItems?: number;
+    /**
+     * Direction of the score a `vectorBackend` returns. `'relevance'` (the
+     * default) forwards it unchanged; `'distance'` negates and re-sorts, so a
+     * distance-native backend (S3 Vectors, FAISS L2, pgvector `<->`) satisfies
+     * the higher-is-better contract without the caller wrapping it. Any other
+     * value is rejected at construction with a `ValidationError` rather than
+     * silently ranking one direction as the other.
+     */
+    vectorScoreDirection?: VectorScoreDirection;
 };
 /** The DynamoDB item backing a single stored value. */
 export interface StoreItemRecord {
@@ -26,5 +36,11 @@ export interface StoreItemRecord {
     updatedAt: string;
     embedding?: number[];
     ttl?: number;
+    /**
+     * Revision token, rewritten on every put. Pins the compare-and-swap that
+     * keeps two concurrent overwrites from both deleting the same superseded S3
+     * object. Optional: rows written before 0.9.0 carry none.
+     */
+    rev?: string;
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/store/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/store/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAEvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,yCAAyC;AACzC,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,GACnD,YAAY,GAAG;IACb,0EAA0E;IAC1E,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,sEAAsE;IACtE,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B,mFAAmF;IACnF,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,iFAAiF;IACjF,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,gJAAgJ;IAChJ,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEJ,uDAAuD;AACvD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/store/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAEvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,yCAAyC;AACzC,MAAM,MAAM,oBAAoB,GAAG,kBAAkB,GACnD,YAAY,GAAG;IACb,0EAA0E;IAC1E,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,sEAAsE;IACtE,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B,mFAAmF;IACnF,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,iFAAiF;IACjF,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,gJAAgJ;IAChJ,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;;;OAOG;IACH,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;CAC7C,CAAC;AAEJ,uDAAuD;AACvD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,iBAAiB,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;OAIG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;CACd"}

package/dist/store/vector-backend.d.ts

@@ -2,6 +2,18 @@
 export interface VectorMatch {
     namespace: string[];
     key: string;
+    /**
+     * Relevance, where **higher means a better match** — the same direction as
+     * upstream `SearchItem.score`, which this value is forwarded to verbatim.
+     *
+     * A backend whose native output is a *distance* (S3 Vectors, FAISS L2,
+     * pgvector's `<->`) has two options: convert before returning, or declare
+     * `vectorScoreDirection: 'distance'` on the store, which negates and
+     * re-sorts for you. Forwarding an unconverted distance without declaring it
+     * yields results ordered correctly but scored backwards, which silently
+     * breaks any caller that thresholds or displays the number; that case is
+     * warned about but never reordered.
+     */
     score: number;
 }
 /** A stored vector's location, returned by {@link VectorBackend.listKeys}. */
@@ -15,6 +27,11 @@ export interface VectorRef {
  */
 export interface VectorBackend {
     upsert(namespace: string[], key: string, vector: number[]): Promise<void>;
+    /**
+     * Return up to `topK` matches under `namespacePrefix`, best first. Each
+     * match's `score` must be a relevance, not a distance — see
+     * {@link VectorMatch.score}.
+     */
     query(namespacePrefix: string[], queryVector: number[], topK: number): Promise<VectorMatch[]>;
     delete(namespace: string[], key: string): Promise<void>;
     /**

package/dist/store/vector-backend.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vector-backend.d.ts","sourceRoot":"","sources":["../../src/store/vector-backend.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED,8EAA8E;AAC9E,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9F,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,eAAe,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;CAC5D"}
+{"version":3,"file":"vector-backend.d.ts","sourceRoot":"","sources":["../../src/store/vector-backend.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;;;OAWG;IACH,KAAK,EAAE,MAAM,CAAC;CACf;AAED,8EAA8E;AAC9E,MAAM,WAAW,SAAS;IACxB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E;;;;OAIG;IACH,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9F,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,eAAe,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;CAC5D"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@farukada/aws-langgraph-dynamodb-ts",
-  "version": "0.7.0",
+  "version": "0.9.0",
   "license": "MIT",
   "description": "AWS DynamoDB implementation for LangGraph Memory Store and Checkpoint Saver in TypeScript",
   "keywords": [