@anuma/sdk 2.4.1 → 2.5.0

package/dist/react/{consolidate-IJH7LD2T.mjs → consolidate-3MXZV3G7.mjs}

@@ -15,10 +15,11 @@ var SYSTEM_PROMPT = `You consolidate a new memory against existing memories from
 
 A "memory" is a self-contained natural-language fact about the user. Multiple memories about the same EXACT FACET (the same dimension of the same subject) should never coexist \u2014 they should be merged into one. Different facets on the same subject (e.g. user's dog's name vs user's dog's age) are SEPARATE memories.
 
-Decide one of three actions:
+Decide one of four actions:
 
 - "create": the new memory describes a distinct fact not covered by any existing memory. Write it as new.
-- "update": the new memory describes the SAME FACET as exactly one existing memory. Either it adds detail, corrects a value, or rephrases the same fact. Return targetId of that existing memory + the consolidated content (richest version of the two).
+- "update": the new memory describes the SAME FACET as exactly one existing memory and is COMPATIBLE with it \u2014 it adds detail, fixes an incomplete value, or rephrases the same still-true fact. Return targetId of that existing memory + the consolidated content (richest version of the two).
+- "supersede": the new memory REPLACES a standing fact whose value has CHANGED and is now INCOMPATIBLE with an existing memory \u2014 the old fact was true before but is false now (a state change). Return targetId of the STALE existing memory to retire + content = the NEW fact. The old memory is kept as history, not overwritten or deleted; do not re-state it.
 - "noop": the new memory is already fully captured by an existing memory \u2014 same facet, no new information. Skip the write.
 
 RULES (carry these strictly):
@@ -26,18 +27,21 @@ RULES (carry these strictly):
 1. ONE OBSERVATION PER DISTINCT FACET. If the new memory is about "user's aunt's twins" and an existing memory is also about "user's aunt's twins", they are the same facet \u2192 update, never create.
 2. MATCH BY FACET, NOT TOPIC. Two memories both mentioning "Zara" is not enough to merge \u2014 only merge if they describe the same property (e.g. both about "user's pending Zara boot exchange"). Two memories about Zara on different topics (e.g. "user shops at Zara" + "user returned a sweater to Zara last week") are separate facets.
 3. NO COMPUTATION. Do not sum counts, decrement quantities, or derive new facts from existing ones. If the new memory says "user spent $200 today" and an existing memory says "user spent $150 yesterday", these are TWO SEPARATE EVENTS \u2014 create.
-4. Events with different occurredAt dates are different memories even if the same activity ("user went to gym Monday" vs "user went to gym Friday" \u2014 separate events).
-5. When in doubt between create and update, choose create. Over-merging loses information; under-merging is recoverable.
+4. EVENTS vs STANDING STATE.
+   - Distinct EVENTS (episodic \u2014 something that happened on a date) are separate memories, even if the same activity: "user went to gym Monday" vs "user went to gym Friday" \u2192 create; keep both.
+   - A STANDING ATTRIBUTE (an ongoing state: where the user lives/works, relationship status, current role) has ONE current value. When the new memory changes that value ("Lives in Portland" \u2192 "Lives in San Francisco"; "Works at Google" \u2192 "Works at Riverbend"; "Engaged" \u2192 "Broke up"), the old value is no longer true \u2192 supersede (retire the old, record the new). Do NOT create (that leaves a stale contradiction) and do NOT update (that erases the history that the old value was once true).
+5. When in doubt between create and update, choose create \u2014 EXCEPT when the new memory directly contradicts the current value of a standing attribute in an existing memory; then choose supersede. Over-merging loses information; a live contradiction is worse than either.
 
 OUTPUT \u2014 strict JSON, no prose:
 {
-  "action": "create" | "update" | "noop",
-  "targetId": "<existing memory id, required for update/noop, omit for create>",
-  "content": "<consolidated content, required for create/update, omit for noop>"
+  "action": "create" | "update" | "supersede" | "noop",
+  "targetId": "<existing memory id \u2014 required for update/supersede/noop, omit for create>",
+  "content": "<content \u2014 required for create/update/supersede, omit for noop>"
 }
 
 For "create": content is the new memory verbatim (or a slight refinement).
 For "update": content is the merged richest-version, \u226480 words.
+For "supersede": content is the NEW fact only (\u226480 words); targetId is the stale memory being retired.
 For "noop": no content (existing memory is already correct).`;
 async function consolidateMemory(newContent, candidates, options) {
   const fallback = {
@@ -112,7 +116,9 @@ function validate(parsed, newContent, validIds) {
   if (typeof parsed !== "object" || parsed === null) return null;
   const obj = parsed;
   const action = obj.action;
-  if (action !== "create" && action !== "update" && action !== "noop") return null;
+  if (action !== "create" && action !== "update" && action !== "noop" && action !== "supersede") {
+    return null;
+  }
   if (action === "create") {
     const c2 = typeof obj.content === "string" ? obj.content.trim() : "";
     return { action: "create", content: c2.length > 0 ? c2 : newContent };
@@ -124,7 +130,7 @@ function validate(parsed, newContent, validIds) {
   }
   const c = typeof obj.content === "string" ? obj.content.trim() : "";
   if (c.length === 0) return null;
-  return { action: "update", targetId, content: c };
+  return { action, targetId, content: c };
 }
 export {
   consolidateMemory

package/dist/react/index.cjs

@@ -4403,6 +4403,7 @@ function isOwnedByCtxUser(ctx, record) {
 function baseVaultConditions(ctx, options) {
   return [
     ...options?.includeDeleted ? [] : [import_watermelondb10.Q.where("is_deleted", false)],
+    ...options?.includeSuperseded ? [] : [import_watermelondb10.Q.where("superseded_by", null)],
     ...ctx.userId !== void 0 ? [import_watermelondb10.Q.where("user_id", ctx.userId)] : [],
     ...options?.since ? [import_watermelondb10.Q.where("updated_at", import_watermelondb10.Q.gt(options.since.getTime()))] : []
   ];
@@ -4443,6 +4444,8 @@ function vaultMemoryToStoredRaw(memory) {
     eventTimeKind: memory.eventTimeKind ?? null,
     topicsUserManaged: memory.topicsUserManaged ?? false,
     topicsExtractedAt: memory.topicsExtractedAt ?? null,
+    supersededBy: memory.supersededBy ?? null,
+    supersededAt: memory.supersededAt ?? null,
     createdAt: memory.createdAt,
     updatedAt: memory.updatedAt,
     isDeleted: memory.isDeleted
@@ -4488,6 +4491,59 @@ async function createVaultMemoryOp(ctx, opts) {
   });
   return vaultMemoryToStored(created, ctx.walletAddress, ctx.signMessage, ctx.embeddedWalletSigner);
 }
+async function createSupersedingMemoryOp(ctx, opts, targetId) {
+  if (!targetId) return { created: null, retired: false };
+  const scope = opts.scope ?? "private";
+  const encryptedContent = ctx.walletAddress && ctx.signMessage ? await encryptVaultMemoryContent(
+    opts.content,
+    ctx.walletAddress,
+    ctx.signMessage,
+    ctx.embeddedWalletSigner
+  ) : opts.content;
+  let createdRecord = null;
+  await ctx.database.write(async () => {
+    let target;
+    try {
+      target = await ctx.vaultMemoryCollection.find(targetId);
+    } catch {
+      return;
+    }
+    if (target.isDeleted || target.supersededBy || !isOwnedByCtxUser(ctx, target)) return;
+    createdRecord = await ctx.vaultMemoryCollection.create((record) => {
+      record._setRaw("content", encryptedContent);
+      record._setRaw("scope", scope);
+      record._setRaw("folder_id", opts.folderId ?? null);
+      record._setRaw("user_id", ctx.userId ?? null);
+      record._setRaw("is_deleted", false);
+      if (opts.embedding !== void 0) {
+        record._setRaw("embedding", opts.embedding);
+        record._setRaw("embedding_model", opts.embeddingModel ?? null);
+      }
+      if (opts.sourceChunkIds !== void 0) {
+        record._setRaw("source_chunk_ids", JSON.stringify(opts.sourceChunkIds));
+      }
+      record._setRaw("proof_count", opts.proofCount ?? 1);
+      record._setRaw("source", opts.source ?? "manual");
+      if (opts.eventTime) {
+        record._setRaw("event_time_start", opts.eventTime.start ?? null);
+        record._setRaw("event_time_end", opts.eventTime.end ?? null);
+        record._setRaw("event_time_kind", opts.eventTime.kind ?? null);
+      }
+    });
+    await target.update((r) => {
+      r._setRaw("superseded_by", createdRecord.id);
+      r._setRaw("superseded_at", Date.now());
+    });
+  });
+  if (!createdRecord) return { created: null, retired: false };
+  const created = await vaultMemoryToStored(
+    createdRecord,
+    ctx.walletAddress,
+    ctx.signMessage,
+    ctx.embeddedWalletSigner
+  );
+  return { created, retired: true };
+}
 async function getMemoriesByEventTimeOp(ctx, windowStart, windowEnd) {
   const records = await ctx.vaultMemoryCollection.query(
     ...baseVaultConditions(ctx),
@@ -4627,6 +4683,8 @@ function vaultMemoryRawToStoredRaw(raw) {
     // SQLite stores booleans as 0/1, LokiJS as true/false — coerce both.
     topicsUserManaged: raw.topics_user_managed === true || raw.topics_user_managed === 1,
     topicsExtractedAt: raw.topics_extracted_at ?? null,
+    supersededBy: raw.superseded_by ?? null,
+    supersededAt: raw.superseded_at ?? null,
     createdAt: new Date(raw.created_at),
     updatedAt: new Date(raw.updated_at),
     isDeleted: raw.is_deleted === true || raw.is_deleted === 1
@@ -4668,7 +4726,7 @@ async function getAllVaultMemoryContentsOp(ctx, options) {
 async function updateVaultMemoryOp(ctx, id, opts) {
   try {
     const probe = await ctx.vaultMemoryCollection.find(id);
-    if (probe.isDeleted || !isOwnedByCtxUser(ctx, probe)) return null;
+    if (probe.isDeleted || probe.supersededBy || !isOwnedByCtxUser(ctx, probe)) return null;
     const encryptedContent = ctx.walletAddress && ctx.signMessage ? await encryptVaultMemoryContent(
       opts.content,
       ctx.walletAddress,
@@ -4679,7 +4737,7 @@ async function updateVaultMemoryOp(ctx, id, opts) {
     const record = probe;
     const originalUpdatedAt = record.updatedAt.getTime();
     await ctx.database.write(async () => {
-      if (record.isDeleted || !isOwnedByCtxUser(ctx, record)) {
+      if (record.isDeleted || record.supersededBy || !isOwnedByCtxUser(ctx, record)) {
         stale = true;
         return;
       }
@@ -4811,6 +4869,40 @@ async function deleteVaultMemoryOp(ctx, id) {
     return false;
   }
 }
+async function supersedeVaultMemoryOp(ctx, id, supersededById) {
+  if (id === supersededById) return false;
+  try {
+    const record = await ctx.vaultMemoryCollection.find(id);
+    if (record.isDeleted || record.supersededBy || !isOwnedByCtxUser(ctx, record)) return false;
+    let successor;
+    try {
+      successor = await ctx.vaultMemoryCollection.find(supersededById);
+    } catch {
+      return false;
+    }
+    if (successor.isDeleted || successor.supersededBy || !isOwnedByCtxUser(ctx, successor)) {
+      return false;
+    }
+    let stale = false;
+    await ctx.database.write(async () => {
+      if (record.isDeleted || record.supersededBy || !isOwnedByCtxUser(ctx, record)) {
+        stale = true;
+        return;
+      }
+      if (successor.isDeleted || successor.supersededBy || !isOwnedByCtxUser(ctx, successor)) {
+        stale = true;
+        return;
+      }
+      await record.update((r) => {
+        r._setRaw("superseded_by", supersededById);
+        r._setRaw("superseded_at", Date.now());
+      });
+    });
+    return !stale;
+  } catch {
+    return false;
+  }
+}
 async function getUnfiledVaultMemoriesOp(ctx) {
   const conditions = [
     import_watermelondb10.Q.where("folder_id", null),
@@ -7228,7 +7320,9 @@ function validate2(parsed, newContent, validIds) {
   if (typeof parsed !== "object" || parsed === null) return null;
   const obj = parsed;
   const action = obj.action;
-  if (action !== "create" && action !== "update" && action !== "noop") return null;
+  if (action !== "create" && action !== "update" && action !== "noop" && action !== "supersede") {
+    return null;
+  }
   if (action === "create") {
     const c2 = typeof obj.content === "string" ? obj.content.trim() : "";
     return { action: "create", content: c2.length > 0 ? c2 : newContent };
@@ -7240,7 +7334,7 @@ function validate2(parsed, newContent, validIds) {
   }
   const c = typeof obj.content === "string" ? obj.content.trim() : "";
   if (c.length === 0) return null;
-  return { action: "update", targetId, content: c };
+  return { action, targetId, content: c };
 }
 var DEFAULT_MODEL2, DEFAULT_CONSOLIDATE_ATTEMPTS, DEFAULT_CONSOLIDATE_TOTAL_TIMEOUT_MS, SYSTEM_PROMPT2;
 var init_consolidate = __esm({
@@ -7256,10 +7350,11 @@ var init_consolidate = __esm({
 
 A "memory" is a self-contained natural-language fact about the user. Multiple memories about the same EXACT FACET (the same dimension of the same subject) should never coexist \u2014 they should be merged into one. Different facets on the same subject (e.g. user's dog's name vs user's dog's age) are SEPARATE memories.
 
-Decide one of three actions:
+Decide one of four actions:
 
 - "create": the new memory describes a distinct fact not covered by any existing memory. Write it as new.
-- "update": the new memory describes the SAME FACET as exactly one existing memory. Either it adds detail, corrects a value, or rephrases the same fact. Return targetId of that existing memory + the consolidated content (richest version of the two).
+- "update": the new memory describes the SAME FACET as exactly one existing memory and is COMPATIBLE with it \u2014 it adds detail, fixes an incomplete value, or rephrases the same still-true fact. Return targetId of that existing memory + the consolidated content (richest version of the two).
+- "supersede": the new memory REPLACES a standing fact whose value has CHANGED and is now INCOMPATIBLE with an existing memory \u2014 the old fact was true before but is false now (a state change). Return targetId of the STALE existing memory to retire + content = the NEW fact. The old memory is kept as history, not overwritten or deleted; do not re-state it.
 - "noop": the new memory is already fully captured by an existing memory \u2014 same facet, no new information. Skip the write.
 
 RULES (carry these strictly):
@@ -7267,18 +7362,21 @@ RULES (carry these strictly):
 1. ONE OBSERVATION PER DISTINCT FACET. If the new memory is about "user's aunt's twins" and an existing memory is also about "user's aunt's twins", they are the same facet \u2192 update, never create.
 2. MATCH BY FACET, NOT TOPIC. Two memories both mentioning "Zara" is not enough to merge \u2014 only merge if they describe the same property (e.g. both about "user's pending Zara boot exchange"). Two memories about Zara on different topics (e.g. "user shops at Zara" + "user returned a sweater to Zara last week") are separate facets.
 3. NO COMPUTATION. Do not sum counts, decrement quantities, or derive new facts from existing ones. If the new memory says "user spent $200 today" and an existing memory says "user spent $150 yesterday", these are TWO SEPARATE EVENTS \u2014 create.
-4. Events with different occurredAt dates are different memories even if the same activity ("user went to gym Monday" vs "user went to gym Friday" \u2014 separate events).
-5. When in doubt between create and update, choose create. Over-merging loses information; under-merging is recoverable.
+4. EVENTS vs STANDING STATE.
+   - Distinct EVENTS (episodic \u2014 something that happened on a date) are separate memories, even if the same activity: "user went to gym Monday" vs "user went to gym Friday" \u2192 create; keep both.
+   - A STANDING ATTRIBUTE (an ongoing state: where the user lives/works, relationship status, current role) has ONE current value. When the new memory changes that value ("Lives in Portland" \u2192 "Lives in San Francisco"; "Works at Google" \u2192 "Works at Riverbend"; "Engaged" \u2192 "Broke up"), the old value is no longer true \u2192 supersede (retire the old, record the new). Do NOT create (that leaves a stale contradiction) and do NOT update (that erases the history that the old value was once true).
+5. When in doubt between create and update, choose create \u2014 EXCEPT when the new memory directly contradicts the current value of a standing attribute in an existing memory; then choose supersede. Over-merging loses information; a live contradiction is worse than either.
 
 OUTPUT \u2014 strict JSON, no prose:
 {
-  "action": "create" | "update" | "noop",
-  "targetId": "<existing memory id, required for update/noop, omit for create>",
-  "content": "<consolidated content, required for create/update, omit for noop>"
+  "action": "create" | "update" | "supersede" | "noop",
+  "targetId": "<existing memory id \u2014 required for update/supersede/noop, omit for create>",
+  "content": "<content \u2014 required for create/update/supersede, omit for noop>"
 }
 
 For "create": content is the new memory verbatim (or a slight refinement).
 For "update": content is the merged richest-version, \u226480 words.
+For "supersede": content is the NEW fact only (\u226480 words); targetId is the stale memory being retired.
 For "noop": no content (existing memory is already correct).`;
   }
 });
@@ -7633,6 +7731,7 @@ __export(index_exports, {
   storeNotionReturnUrl: () => storeNotionReturnUrl,
   streamCancelPath: () => streamCancelPath,
   streamReplayPath: () => streamReplayPath,
+  supersedeVaultMemoryOp: () => supersedeVaultMemoryOp,
   updateAttrs: () => updateAttrs,
   updateConversationProjectOp: () => updateConversationProjectOp,
   updateMediaMessageIdBatchOp: () => updateMediaMessageIdBatchOp,
@@ -14234,6 +14333,12 @@ __decorateClass([
 __decorateClass([
   (0, import_decorators3.field)("topics_extracted_at")
 ], VaultMemory.prototype, "topicsExtractedAt", 2);
+__decorateClass([
+  (0, import_decorators3.field)("superseded_by")
+], VaultMemory.prototype, "supersededBy", 2);
+__decorateClass([
+  (0, import_decorators3.field)("superseded_at")
+], VaultMemory.prototype, "supersededAt", 2);
 __decorateClass([
   import_decorators3.readonly,
   (0, import_decorators3.date)("created_at")
@@ -14277,53 +14382,62 @@ async function retain(content, ctx, options = {}) {
   const enableAutoMerge = options.enableAutoMerge ?? true;
   const threshold = options.autoMergeThreshold ?? DEFAULT_AUTO_MERGE_THRESHOLD;
   const resolvedScope = options.scope ?? DEFAULT_SCOPE;
+  let supersedeTargetId;
+  let supersedeContent;
   if (enableAutoMerge) {
     if (options.consolidateOptions) {
-      const consolidationResult = await tryConsolidate(trimmed, ctx, options);
-      if (consolidationResult) return consolidationResult;
-    }
-    const matches = await searchVaultMemories(
-      trimmed,
-      ctx.vaultCtx,
-      ctx.embeddingOptions,
-      ctx.vaultCache,
-      {
-        limit: 1,
-        minSimilarity: threshold,
-        useFusion: false,
-        scopes: [resolvedScope],
-        ...options.folderId !== void 0 && { folderId: options.folderId }
-      }
-    );
-    if (matches.length > 0) {
-      const targetId = matches[0].uniqueId;
-      const existing = await getVaultMemoryOp(ctx.vaultCtx, targetId);
-      if (existing) {
-        const mergedSourceIds = unionStrings(
-          existing.sourceChunkIds ?? [],
-          options.sourceChunkIds ?? []
-        );
-        const eventTimeUpdate = pickEventTimeUpdate(existing, options.eventTime);
-        const updated = await updateVaultMemoryOp(ctx.vaultCtx, targetId, {
-          content: existing.content,
-          proofCountIncrement: 1,
-          sourceChunkIds: mergedSourceIds,
-          preserveUpdatedAt: true,
-          ...eventTimeUpdate && { eventTime: eventTimeUpdate }
-        });
-        if (updated) {
-          return {
-            action: "merge",
-            memoryId: targetId,
-            targetId,
-            proofCount: updated.proofCount ?? (existing.proofCount ?? 1) + 1
-          };
+      const outcome = await tryConsolidate(trimmed, ctx, options);
+      if (outcome) {
+        if ("done" in outcome) return outcome.done;
+        supersedeTargetId = outcome.supersede;
+        supersedeContent = outcome.content;
+      }
+    }
+    if (!supersedeTargetId) {
+      const matches = await searchVaultMemories(
+        trimmed,
+        ctx.vaultCtx,
+        ctx.embeddingOptions,
+        ctx.vaultCache,
+        {
+          limit: 1,
+          minSimilarity: threshold,
+          useFusion: false,
+          scopes: [resolvedScope],
+          ...options.folderId !== void 0 && { folderId: options.folderId }
+        }
+      );
+      if (matches.length > 0) {
+        const targetId = matches[0].uniqueId;
+        const existing = await getVaultMemoryOp(ctx.vaultCtx, targetId);
+        if (existing && !existing.supersededBy) {
+          const mergedSourceIds = unionStrings(
+            existing.sourceChunkIds ?? [],
+            options.sourceChunkIds ?? []
+          );
+          const eventTimeUpdate = pickEventTimeUpdate(existing, options.eventTime);
+          const updated = await updateVaultMemoryOp(ctx.vaultCtx, targetId, {
+            content: existing.content,
+            proofCountIncrement: 1,
+            sourceChunkIds: mergedSourceIds,
+            preserveUpdatedAt: true,
+            ...eventTimeUpdate && { eventTime: eventTimeUpdate }
+          });
+          if (updated) {
+            return {
+              action: "merge",
+              memoryId: targetId,
+              targetId,
+              proofCount: updated.proofCount ?? (existing.proofCount ?? 1) + 1
+            };
+          }
+          await assertMergeTargetGoneOrThrow(ctx, targetId);
         }
-        await assertMergeTargetGoneOrThrow(ctx, targetId);
       }
     }
   }
-  const embedding = await generateEmbedding(trimmed, ctx.embeddingOptions);
+  const contentToWrite = supersedeContent ?? trimmed;
+  const embedding = await generateEmbedding(contentToWrite, ctx.embeddingOptions);
   const embeddingModel = ctx.embeddingOptions.model ?? DEFAULT_API_EMBEDDING_MODEL;
   if (options.respectTombstones) {
     const tombstoneId = await findTombstoneMatch(embedding, embeddingModel, resolvedScope, ctx, {
@@ -14334,8 +14448,8 @@ async function retain(content, ctx, options = {}) {
       return { action: "suppressed", memoryId: tombstoneId, tombstoneId, proofCount: 0 };
     }
   }
-  const created = await createVaultMemoryOp(ctx.vaultCtx, {
-    content: trimmed,
+  const createOpts = {
+    content: contentToWrite,
     scope: resolvedScope,
     ...options.folderId !== void 0 && { folderId: options.folderId },
     embedding: JSON.stringify(embedding),
@@ -14352,7 +14466,24 @@ async function retain(content, ctx, options = {}) {
         kind: options.eventTime.kind
       }
     }
-  });
+  };
+  if (supersedeTargetId) {
+    const { created: created2, retired } = await createSupersedingMemoryOp(
+      ctx.vaultCtx,
+      createOpts,
+      supersedeTargetId
+    );
+    if (created2 && retired) {
+      ctx.vaultCache.set(created2.uniqueId, Float32Array.from(embedding));
+      return {
+        action: "supersede",
+        memoryId: created2.uniqueId,
+        targetId: supersedeTargetId,
+        proofCount: 1
+      };
+    }
+  }
+  const created = await createVaultMemoryOp(ctx.vaultCtx, createOpts);
   ctx.vaultCache.set(created.uniqueId, Float32Array.from(embedding));
   return {
     action: "create",
@@ -14422,9 +14553,14 @@ async function tryConsolidate(trimmed, ctx, options) {
   const { consolidateMemory: doConsolidate } = await Promise.resolve().then(() => (init_consolidate(), consolidate_exports));
   const decision = await doConsolidate(trimmed, candidates, consolidateOptions);
   if (decision.action === "create") return null;
+  if (decision.action === "supersede" && decision.targetId && decision.content) {
+    const existing = await getVaultMemoryOp(ctx.vaultCtx, decision.targetId);
+    if (!existing || existing.supersededBy) return null;
+    return { supersede: decision.targetId, content: decision.content };
+  }
   if (decision.action === "noop" && decision.targetId) {
     const existing = await getVaultMemoryOp(ctx.vaultCtx, decision.targetId);
-    if (!existing) return null;
+    if (!existing || existing.supersededBy) return null;
     const mergedSourceIds = unionStrings(
       existing.sourceChunkIds ?? [],
       options.sourceChunkIds ?? []
@@ -14442,15 +14578,17 @@ async function tryConsolidate(trimmed, ctx, options) {
       return null;
     }
     return {
-      action: "merge",
-      memoryId: decision.targetId,
-      targetId: decision.targetId,
-      proofCount: updated.proofCount ?? (existing.proofCount ?? 1) + 1
+      done: {
+        action: "merge",
+        memoryId: decision.targetId,
+        targetId: decision.targetId,
+        proofCount: updated.proofCount ?? (existing.proofCount ?? 1) + 1
+      }
     };
   }
   if (decision.action === "update" && decision.targetId && decision.content) {
     const existing = await getVaultMemoryOp(ctx.vaultCtx, decision.targetId);
-    if (!existing) return null;
+    if (!existing || existing.supersededBy) return null;
     const mergedSourceIds = unionStrings(
       existing.sourceChunkIds ?? [],
       options.sourceChunkIds ?? []
@@ -14477,10 +14615,12 @@ async function tryConsolidate(trimmed, ctx, options) {
     }
     ctx.vaultCache.set(decision.targetId, Float32Array.from(newEmbedding));
     return {
-      action: "update",
-      memoryId: decision.targetId,
-      targetId: decision.targetId,
-      proofCount: updated.proofCount ?? (existing.proofCount ?? 1) + 1
+      done: {
+        action: "update",
+        memoryId: decision.targetId,
+        targetId: decision.targetId,
+        proofCount: updated.proofCount ?? (existing.proofCount ?? 1) + 1
+      }
     };
   }
   return null;
@@ -19817,7 +19957,7 @@ __decorateClass([
 ], VaultFolder.prototype, "context", 2);
 
 // src/lib/db/schema.ts
-var SDK_SCHEMA_VERSION = 36;
+var SDK_SCHEMA_VERSION = 37;
 var sdkSchema = (0, import_watermelondb20.appSchema)({
   version: SDK_SCHEMA_VERSION,
   tables: [
@@ -19942,7 +20082,16 @@ var sdkSchema = (0, import_watermelondb20.appSchema)({
         // Unix ms of the last LLM topic-extraction pass over this memory's
         // content. Null = never extracted standalone (legacy rows with entity
         // links are grandfathered — see getMemoriesNeedingTopicExtractionOp).
-        { name: "topics_extracted_at", type: "number", isOptional: true }
+        { name: "topics_extracted_at", type: "number", isOptional: true },
+        // Write-time supersession (A2). When set, this fact was replaced by a
+        // newer, incompatible-value fact (e.g. "Lives in Portland" superseded by
+        // "Lives in SF"); `superseded_by` points at the newer memory's id and
+        // `superseded_at` is the Unix ms it happened. Superseded rows stay in
+        // the table (history / read-time fallback) but are excluded from recall
+        // and dedup by default. Null = live (not superseded). Indexed so the
+        // recall filter stays cheap.
+        { name: "superseded_by", type: "string", isOptional: true, isIndexed: true },
+        { name: "superseded_at", type: "number", isOptional: true }
       ]
     }),
     // Entity table — canonical names extracted from auto-extraction (W5).
@@ -20553,6 +20702,21 @@ var sdkMigrations = (0, import_migrations2.schemaMigrations)({
           columns: [{ name: "topics_extracted_at", type: "number", isOptional: true }]
         })
       ]
+    },
+    // v36 -> v37: write-time supersession columns on memory_vault. Existing rows
+    // keep both NULL (= live / not superseded), so no backfill — legacy
+    // contradictory rows are handled by the read-time supersession fallback.
+    {
+      toVersion: 37,
+      steps: [
+        (0, import_migrations2.addColumns)({
+          table: "memory_vault",
+          columns: [
+            { name: "superseded_by", type: "string", isOptional: true, isIndexed: true },
+            { name: "superseded_at", type: "number", isOptional: true }
+          ]
+        })
+      ]
     }
   ]
 });
@@ -30509,6 +30673,7 @@ function renderAnumaJsx(jsx3) {
   storeNotionReturnUrl,
   streamCancelPath,
   streamReplayPath,
+  supersedeVaultMemoryOp,
   updateAttrs,
   updateConversationProjectOp,
   updateMediaMessageIdBatchOp,