dsh-memu-memory 1.2.0 → 1.2.2

package/lib/memory.js

@@ -15,10 +15,12 @@ import { record } from './activity-log.js'
 import { BASE_AROUSAL, derivedValence, dominanceBias, emotionActive, maxShare, moodCongruence, moodDecay, normalizeEmotion, overlap, readMood } from './mood.js'
 import { commit, retrieve, listFiles, forget } from './memu.js'
 import { bumpStats } from './stats.js'
-import { recallRelations } from './graph.js'
+import { recallRelations, pruneOrphanEntities } from './graph.js'
 import { attachmentRefs } from './media.js'
 import { normalizeMemoryContext, contextVisible, sameFactContext } from './context.js'
-import { assertGeneration, assertVectorWriteAllowed, captureGeneration, enrollActiveLibrary, hasActiveVectorGeneration, isVectorStateError, readVectorState, withVectorWrite } from './vector-profile.js'
+import { activeEntryStamp, assertGeneration, assertVectorWriteAllowed, captureGeneration, enrollActiveLibrary, hasActiveVectorGeneration, isVectorStateError, readVectorState, withVectorWrite } from './vector-profile.js'
+import { bigrams, dice, similarTexts, DUP_DICE, DUP_REJECT_DICE, TOPIC_DICE } from './text-similarity.js'
+import { applyAbsorbIndexTransaction } from './curator.js'
 
 const HALF_LIFE_DAYS = 14
 // A short-term entry is meant to live for the length of a conversation, not a
@@ -38,6 +40,11 @@ const HABITUATION_FLOOR = 0.5
 // library with three variants of the same decision would spend the whole block on it.
 // The top hit is always kept; later picks pay lambda x max-similarity-to-what-is-in.
 const MMR_LAMBDA = 0.72
+// Absolute floor on the retrieval share itself . The relative
+// relevanceThreshold cannot stop a near-empty result set from being padded to topK with
+// junk that only matched a duplicate cluster; a floor cuts those before selection.
+// 0 turns it off entirely — the calibrated default until §13.6 has run.
+const RETRIEVAL_FLOOR = 0
 // Semantic fusion uses RRF: each route contributes a
 // rank term and the merged score is normalised to the best fused hit before the
 // existing mood/strength/MMR pipeline sees it. The candidate cap keeps a long
@@ -555,20 +562,8 @@ export function isTipOfTongue(entry) {
 // Not semantic entailment: two bigram sets and a negation test. It only has to be
 // good enough to stop "he likes tea" and "he hates tea" from sitting side by side
 // as equally true, and quiet enough that ordinary rewordings do not trip it.
-function bigrams(text) {
-  const clean = String(text || '').toLowerCase().replace(/[\s\p{P}\p{S}]+/gu, '')
-  const out = new Set()
-  for (let i = 0; i < clean.length - 1; i += 1) out.add(clean.slice(i, i + 2))
-  return out
-}
-
-function dice(a, b) {
-  if (a.size === 0 || b.size === 0) return 0
-  let shared = 0
-  for (const gram of a) if (b.has(gram)) shared += 1
-  return (2 * shared) / (a.size + b.size)
-}
-
+// The bigrams/dice measure lives in lib/text-similarity.js so recall-side folding
+// and the write-side duplicate gate measure with the exact same ruler.
 const NEGATION_RE = /不|没|别|无|never|not|no longer|doesn't|don't/i
 
 /**
@@ -601,6 +596,48 @@ export function findConflict(entries, candidate) {
   return null
 }
 
+// Duplicate/conflict gates may only consult entries this conversation could
+// actually surface. `secret` never auto-surfaces; knownBy/context-hidden rows are
+// equally invisible. A hidden hit must not leak its id (5.1).
+function visibleForDedupe(entry, sessionId) {
+  if (!entry || entry.visibility === 'secret') return false
+  return sessionId ? visibleToSession(entry, sessionId) : true
+}
+
+// Critical-section re-check for the duplicate gate (5.4): the pre-flight scan
+// runs before the backend await, so a concurrent writer can land a twin while the
+// commit is in flight. Same ruler, same visible scope, one pass inside the lock.
+function findNearDuplicate(entries, { id, title, content, context, sessionId, excludeId = null }) {
+  const text = `${title || ''} ${content || ''}`
+  let duplicate = null
+  let hidden = false
+  for (const [otherId, other] of Object.entries(entries || {})) {
+    if (otherId === id || otherId === excludeId) continue
+    if (!isMemoryEligible(other)) continue
+    if (!sameFactContext(other.context, context)) continue
+    const similarity = similarTexts(text, `${other.title || ''} ${other.content || ''}`)
+    if (!visibleForDedupe(other, sessionId)) {
+      if (similarity >= DUP_REJECT_DICE) hidden = true
+      continue
+    }
+    if (similarity > (duplicate?.similarity ?? 0)) duplicate = { id: otherId, similarity }
+  }
+  return { duplicate, hidden }
+}
+
+// The visible tail that the rewrite adds/changes, for a rejection response. Only
+// ever computed against a VISIBLE duplicate — a hidden twin's text must not leak.
+function nearDuplicateDiff(existingText, candidateText, max = 180) {
+  const a = String(existingText || '')
+  const b = String(candidateText || '')
+  let start = 0
+  while (start < a.length && start < b.length && a[start] === b[start]) start += 1
+  let end = 0
+  while (end < a.length - start && end < b.length - start && a[a.length - 1 - end] === b[b.length - 1 - end]) end += 1
+  const added = b.slice(start, b.length - end).trim()
+  return clampText(added || b, max)
+}
+
 function mirrorContent(file) {
   const raw = file?.content
   if (typeof raw === 'string' && raw.trim()) return raw
@@ -770,27 +807,47 @@ export function fuseRecallCandidates({ local = [], semantic = [], index, limit =
     if (automatic && entry.visibility === 'secret') return null
     return { id, entry, file, route, rank }
   }
-  const take = (files, route) => {
+  const take = (files, route, collapsed) => {
     const picked = []
     // One route can name the same canonical entry more than once: a caller may
     // pass both `mem-x` and `mem-x.md`, and an engine can repeat a hit. Dedupe by
     // canonical id before scoring and truncating, keeping the first (best) rank.
     // Otherwise every duplicate adds another 1/(k+rank) and consumes a slot.
     const seen = new Set()
+    // Fact-level folding : id dedupe cannot see "same fact,
+    // different id", so a paraphrase cluster would spend one candidate slot per
+    // member and crowd real memories out before any ranking runs. A candidate that
+    // a accepted candidate already speaks for (dice ≥ DUP_DICE on title + body)
+    // is recorded and skipped: one cluster, one candidate slot.
+    const gramsCache = new Map()
+    const gramsOf = (item) => {
+      let set = gramsCache.get(item.id)
+      if (!set) {
+        set = bigrams(String(item.entry?.title || '') + ' ' + String(item.entry?.content || ''))
+        gramsCache.set(item.id, set)
+      }
+      return set
+    }
     for (const file of Array.isArray(files) ? files : []) {
       const item = eligible(file, route, picked.length + 1)
       if (!item || seen.has(item.id)) continue
       seen.add(item.id)
+      const twin = picked.find((accepted) => dice(gramsOf(item), gramsOf(accepted)) >= DUP_DICE)
+      if (twin) {
+        collapsed.push({ kept: twin.id, dropped: item.id })
+        continue
+      }
       picked.push(item)
       if (picked.length >= limit) break
     }
     return picked
   }
-  const localPicked = take(local, 'local')
-  const semanticPicked = take(semantic, 'semantic')
+  const routeCollapsed = []
+  const localPicked = take(local, 'local', routeCollapsed)
+  const semanticPicked = take(semantic, 'semantic', routeCollapsed)
   const merged = new Map()
   const add = (item) => {
-    const current = merged.get(item.id) || { id: item.id, entry: item.entry, file: item.file, rrf: 0, bestRank: Infinity, localRank: null, semanticRank: null, routes: [] }
+    const current = merged.get(item.id) || { id: item.id, entry: item.entry, file: item.file, rrf: 0, bestRank: Infinity, localRank: null, semanticRank: null, routes: [], mergedTogether: [] }
     current.rrf += 1 / (HYBRID_RRF_K + item.rank)
     current.bestRank = Math.min(current.bestRank, item.rank)
     if (item.route === 'local') current.localRank = item.rank
@@ -804,14 +861,51 @@ export function fuseRecallCandidates({ local = [], semantic = [], index, limit =
   for (const item of localPicked) add(item)
   for (const item of semanticPicked) add(item)
   const rows = [...merged.values()]
+  // Cross-leg folding . Each leg folded within itself, but the
+  // two legs can still meet the same fact under two ids. Keep the highest-rrf member
+  // of each cross-leg cluster and let the rest ride along as mergedTogether metadata
+  // instead of spending recall slots; this must happen BEFORE mmrSelect, so the
+  // diversity ceiling is set by a real spread of memories rather than a cluster.
+  const fusionCollapsed = []
+  const absorbed = new Set()
+  const rowGrams = new Map()
+  const gramsOfRow = (row) => {
+    let set = rowGrams.get(row.id)
+    if (!set) {
+      set = bigrams(String(row.entry?.title || '') + ' ' + String(row.entry?.content || ''))
+      rowGrams.set(row.id, set)
+    }
+    return set
+  }
+  const hosts = []
+  for (const row of rows.slice().sort((a, b) => b.rrf - a.rrf || a.id.localeCompare(b.id))) {
+    const host = hosts.find((kept) => dice(gramsOfRow(row), gramsOfRow(kept)) >= DUP_DICE)
+    if (host) {
+      host.mergedTogether.push(row.id)
+      absorbed.add(row.id)
+      fusionCollapsed.push({ kept: host.id, dropped: row.id })
+    } else {
+      hosts.push(row)
+    }
+  }
+  const collapsedGroups = new Map()
+  for (const { kept, dropped } of [...routeCollapsed, ...fusionCollapsed]) {
+    if (!collapsedGroups.has(kept)) collapsedGroups.set(kept, { kept, dropped: [] })
+    const group = collapsedGroups.get(kept)
+    // The same pair can meet on both routes; report it once.
+    if (!group.dropped.includes(dropped)) group.dropped.push(dropped)
+  }
+  const collapsed = [...collapsedGroups.values()]
   const maxRrf = rows.reduce((max, row) => Math.max(max, row.rrf), 0) || 1
   const files = rows
+    .filter((row) => !absorbed.has(row.id))
     .map((row) => ({
       ...row.file,
       name: row.id,
       entry: row.entry,
       retrievalScore: row.rrf / maxRrf,
       fusion: { rrf: row.rrf, bestRank: row.bestRank, localRank: row.localRank, semanticRank: row.semanticRank, routes: row.routes.slice() },
+      ...(row.mergedTogether.length ? { mergedTogether: row.mergedTogether.slice() } : {}),
     }))
     .sort((a, b) => b.retrievalScore - a.retrievalScore
       || a.fusion.bestRank - b.fusion.bestRank
@@ -830,10 +924,21 @@ export function fuseRecallCandidates({ local = [], semantic = [], index, limit =
       localOnly: [...localIds].filter((id) => !semanticIds.has(id)).length,
       semanticOnly: [...semanticIds].filter((id) => !localIds.has(id)).length,
       shared: [...localIds].filter((id) => semanticIds.has(id)).length,
+      collapsed,
+      clusterCount: collapsed.length,
     },
   }
 }
 
+// The retrieval component of recallScore: a fused file carries its own normalised
+// RRF share; falling back to the old rank decay keeps every lexical caller
+// byte-for-byte compatible. Shared with the retrieval-floor cut so the two can
+// never disagree about what "retrieval" means.
+function retrievalShare(file, rank) {
+  const fused = Number(file?.retrievalScore)
+  return Number.isFinite(fused) ? Math.max(0, Math.min(1, fused)) : 1 / (rank + 1)
+}
+
 // Human-like recall ordering. Retrieval answers first (semantic match is still
 // the primary signal, which is why it stays a rank decay), then these biases
 // re-order within that set:
@@ -843,10 +948,7 @@ export function fuseRecallCandidates({ local = [], semantic = [], index, limit =
 // Every factor is bounded so no bias can outrank a good semantic hit by luck.
 function recallScore(file, rank, context) {
   const entry = file.entry || {}
-  // A fused file carries its own normalised RRF share. Falling back to the old
-  // rank decay keeps every lexical caller byte-for-byte compatible.
-  const fused = Number(file.retrievalScore)
-  const retrieval = Number.isFinite(fused) ? Math.max(0, Math.min(1, fused)) : 1 / (rank + 1)
+  const retrieval = retrievalShare(file, rank)
   const strengthTerm = 0.6 + 0.4 * file.strength
   const marginal = entry.marginalized ? 0.35 : 1
 
@@ -882,8 +984,13 @@ function recallScore(file, rank, context) {
   // a trump card: 1.25 still loses to a clearly better semantic hit.
   const openLoopBias = entry.openLoop ? 1.25 : 1
   const habituation = habituationFactor(entry, context.now)
+  // Fact-level dedup down-weight . A near-copy that arrived
+  // later is tagged duplicateOf at write time; without this factor the copy would
+  // ride the same touch/decay loop as the original and could outlive it in rank —
+  // the "duplicates age better than the truth" loop this closes.
+  const duplicateFactor = entry.duplicateOf ? 0.7 : 1
 
-  return retrieval * strengthTerm * marginal * moodBias * peakEnd * primacy * openLoopBias * habituation * arousalTerm * dominanceTerm
+  return retrieval * strengthTerm * marginal * moodBias * peakEnd * primacy * openLoopBias * habituation * arousalTerm * dominanceTerm * duplicateFactor
 }
 
 /**
@@ -940,12 +1047,19 @@ function habituationFactor(entry, now = Date.now()) {
 // bounded biases, so its scale depends on the library and a fixed cutoff would mean
 // different things in different conversations. "Keep what scores within N of the best
 // hit" is scale-free, and 0 turns the filter off entirely.
-function cutWeakScores(files, threshold) {
+// `retrievalFloor` is the absolute complement : whatever the
+// library looks like, a hit whose retrieval share never cleared the floor must not
+// pad a topK that a duplicate cluster emptied. 0 turns it off entirely.
+function cutWeakScores(files, threshold, retrievalFloor = 0) {
+  let out = files
   const cut = Number(threshold)
-  if (!Number.isFinite(cut) || cut <= 0) return files
-  const best = Number(files[0]?.score || 0)
-  if (best <= 0) return files
-  return files.filter((f) => Number(f.score || 0) >= best * cut)
+  if (Number.isFinite(cut) && cut > 0) {
+    const best = Number(out[0]?.score || 0)
+    if (best > 0) out = out.filter((f) => Number(f.score || 0) >= best * cut)
+  }
+  const floor = Number(retrievalFloor)
+  if (Number.isFinite(floor) && floor > 0) out = out.filter((f) => Number(f.retrieval ?? retrievalShare(f, 0)) >= floor)
+  return out
 }
 
 function privateWeighted(result, max, context = {}) {
@@ -959,6 +1073,7 @@ function privateWeighted(result, max, context = {}) {
     lastCreatedAt: null,
     sessionId: null,
     now: Date.now(),
+    retrievalFloor: RETRIEVAL_FLOOR,
     ...context,
   }
   const items = (result.files || [])
@@ -969,55 +1084,79 @@ function privateWeighted(result, max, context = {}) {
     // memories. Filtering here keeps the anchor and the recall block in agreement.
     .filter((f) => visibleToSession(f.entry, ctx.sessionId))
     .filter((f) => !ctx.automatic || f.entry?.visibility !== 'secret')
-    .map((f, i) => ({ ...f, score: recallScore(f, i, ctx) }))
+    .map((f, i) => ({ ...f, score: recallScore(f, i, ctx), retrieval: retrievalShare(f, i) }))
     .sort((a, b) => b.score - a.score)
-  return { ...result, files: mmrSelect(cutWeakScores(items, ctx.relevanceThreshold), max) }
+  const { chosen, skipped } = mmrSelect(cutWeakScores(items, ctx.relevanceThreshold, ctx.retrievalFloor), max)
+  // Observation for the dedup thresholds : candidate folding
+  // (①②) reports through result.fusion, the ranking-level hard skips (③) come back
+  // from mmrSelect. One merged list — without it, a mistuned threshold eats real
+  // memories invisibly. Fail-open: metadata only, never a recall failure.
+  const fusionCollapsed = Array.isArray(result.fusion?.collapsed) ? result.fusion.collapsed : []
+  const collapsed = [...fusionCollapsed, ...skipped]
+  return { ...result, files: chosen, dedup: { collapsed, clusterCount: collapsed.length } }
 }
 
 /**
  * Greedy maximal marginal relevance over already-scored files.
  *
- * Similarity is lexical (queryTokens + Jaccard) on purpose: it must be cheap enough
- * to run on every recall and predictable enough to explain. An embedding version
- * would need a second engine round trip just to de-duplicate four lines.
+ * Similarity is lexical on purpose (dice over title+body bigrams, the same shared
+ * ruler the write-side duplicate gate uses): it must be cheap enough to run on every
+ * recall and predictable enough to explain. An embedding version would need a second
+ * engine round trip just to de-duplicate four lines.
+ *
+ * Two bands :
+ *   · dice >= DUP_DICE  — the candidate describes a fact something already chosen
+ *     describes: it is never selected, only reported as `skipped`. A soft penalty
+ *     cannot bound how many seats one fact takes; this can.
+ *   · TOPIC_DICE <= dice < DUP_DICE — same topic, different fact: the existing soft
+ *     penalty (lambda x overlap x ceiling) still applies.
+ * Below TOPIC_DICE the two memories do not interact.
  */
 function mmrSelect(items, max, lambda = MMR_LAMBDA) {
   const limit = Number(max || 0)
-  if (!(limit > 0)) return items
-  if (items.length <= 1) return items.slice(0, limit)
+  if (!(limit > 0)) return { chosen: items, skipped: [] }
+  if (items.length <= 1) return { chosen: items.slice(0, limit), skipped: [] }
   const chosen = []
   const pool = items.slice()
-  const tokenCache = new Map()
-  const tokensOf = (file) => {
+  const gramsCache = new Map()
+  const gramsOf = (file) => {
     const key = file.name
-    if (tokenCache.has(key)) return tokenCache.get(key)
-    const set = new Set(queryTokens(String(file.entry?.title || '') + ' ' + String(file.entry?.content || '')))
-    tokenCache.set(key, set)
+    if (gramsCache.has(key)) return gramsCache.get(key)
+    const set = bigrams(String(file.entry?.title || '') + ' ' + String(file.entry?.content || ''))
+    gramsCache.set(key, set)
     return set
   }
   // Anchor the penalty to the best raw score so the diversity term is on the same
   // scale as relevance instead of being dominated by it.
   const ceiling = Number(items[0]?.score || 0) || 1
+  // dropped id -> kept id. Recorded across rounds; an item hard-blocked in one round
+  // stays blocked (chosen only grows), and the map keeps it reported exactly once.
+  const blocked = new Map()
   while (pool.length > 0 && chosen.length < limit) {
-    let bestIdx = 0
+    let bestIdx = -1
     let bestScore = -Infinity
     for (let i = 0; i < pool.length; i += 1) {
       let overlap = 0
-      for (const picked of chosen) overlap = Math.max(overlap, jaccard(tokensOf(pool[i]), tokensOf(picked)))
+      let twin = null
+      for (const picked of chosen) {
+        const similarity = dice(gramsOf(pool[i]), gramsOf(picked))
+        if (similarity >= DUP_DICE) { twin = picked.name; break }
+        if (similarity >= TOPIC_DICE) overlap = Math.max(overlap, similarity)
+      }
+      if (twin) { blocked.set(pool[i].name, twin); continue }
       const adjusted = Number(pool[i].score || 0) - lambda * overlap * ceiling
       if (adjusted > bestScore) { bestScore = adjusted; bestIdx = i }
     }
+    if (bestIdx === -1) break // nothing selectable is left: only hard duplicates remain
     chosen.push(pool.splice(bestIdx, 1)[0])
   }
-  return chosen
-}
-
-/** Jaccard overlap of two token sets; 0 when either side is empty. */
-function jaccard(a, b) {
-  if (!a || !b || a.size === 0 || b.size === 0) return 0
-  let shared = 0
-  for (const token of a) if (b.has(token)) shared += 1
-  return shared / (a.size + b.size - shared)
+  const skipped = []
+  for (const [dropped, kept] of blocked) {
+    let group = skipped.find((g) => g.kept === kept)
+    if (!group) { group = { kept, dropped: [] }; skipped.push(group) }
+    group.dropped.push(dropped)
+  }
+  return { chosen, skipped }
 }
 
 /**
@@ -1110,6 +1249,10 @@ async function privateRememberImpl({
   emotion = undefined, dominance = undefined, emotionSource = null,
   attachments, track = 'memory',
   context,
+  // Escape hatch for the duplicate gate : two genuine
+  // observations of the same fact on the same day are a legal write. Off by
+  // default — the model must say it looked, not default past the gate.
+  allowDuplicate = false,
 }) {
   const scope = resolveLibrary({ exec, libraryId })
   const binding = scope.binding
@@ -1250,7 +1393,10 @@ async function privateRememberImpl({
   // the library is not silently appended: it lands as pending_review with the id it
   // collides with, so the conflict surfaces instead of both copies being read as
   // true. Same mechanism the global curator uses; until now the private side had none.
-  const conflict = findConflict(Object.fromEntries(Object.entries(index.entries).filter(([key]) => key !== id)), entry)
+  // Hidden rows are excluded (5.1): otherwise a visible write could learn an id
+  // through conflictingWith, and a hidden claim could hold an unrelated new one.
+  const memorySession = memorySessionId(exec)
+  const conflict = findConflict(Object.fromEntries(Object.entries(index.entries).filter(([key, other]) => key !== id && visibleForDedupe(other, memorySession))), entry)
   if (conflict) {
     entry.status = 'pending_review'
     entry.conflictingWith = conflict.id
@@ -1258,6 +1404,69 @@ async function privateRememberImpl({
       ? `与已有记忆「${clampText(conflict.entry.title || conflict.id, 60)}」同题但内容不同`
       : `与已有记忆「${clampText(conflict.entry.title || conflict.id, 60)}」说法相反`
   }
+  // Fact-level duplicate gate . Strictly AFTER the conflict
+  // check — in the same-title band a contradictory rewording must land as
+  // pending_review, not be swallowed as a duplicate — and strictly AFTER
+  // redactSecrets, so key material cannot leak into the similarity metric. Measures
+  // with the shared dice the recall side folds with: one ruler for "same fact".
+  // Never deletes or rewrites anything: a hit either refuses the new entry, or tags
+  // it duplicateOf so recall can keep one seat per fact.
+  let duplicate = null
+  let hiddenDuplicate = null
+  if (!conflict && allowDuplicate !== true) {
+    const text = `${entry.title || ''} ${content || ''}`
+    for (const [otherId, other] of Object.entries(index.entries)) {
+      if (otherId === id || !isMemoryEligible(other)) continue
+      if (!sameFactContext(other.context, entry.context)) continue
+      const similarity = similarTexts(text, `${other.title || ''} ${other.content || ''}`)
+      if (!visibleForDedupe(other, memorySession)) {
+        // Hidden near-duplicate: refuse generically, never return its id/similarity.
+        if (similarity >= DUP_REJECT_DICE) hiddenDuplicate = { similarity }
+        continue
+      }
+      if (similarity > (duplicate?.similarity ?? 0)) duplicate = { id: otherId, similarity }
+    }
+  }
+  if (hiddenDuplicate || (duplicate && duplicate.similarity >= DUP_REJECT_DICE)) {
+    // 5.3：拒写不丢文本——新正文作为 pending_review 暂存，进入现有复核队列；
+    // 可见重复给出 id 与差异片段，隐藏重复只说“有重复”，不泄露 id/正文。
+    const visibleTarget = duplicate ? index.entries[duplicate.id] || null : null
+    const pendingEntry = {
+      ...entry,
+      status: 'pending_review',
+      reviewReason: 'near_duplicate',
+      conflictingWith: duplicate ? duplicate.id : null,
+      ...(duplicate ? { duplicateOf: duplicate.id } : {}),
+    }
+    await retryStoreWrite(() => updatePrivateIndex(scope.libraryId, (fresh) => {
+      if (fresh.entries[id]) throw new Error('memory changed concurrently; retry')
+      fresh.entries[id] = pendingEntry
+    }))
+    if (duplicate) {
+      const diff = nearDuplicateDiff(
+        `${visibleTarget?.title || ''} ${visibleTarget?.content || ''}`,
+        `${entry.title || ''} ${entry.content || ''}`,
+      )
+      return {
+        id,
+        entry: pendingEntry,
+        pending: true,
+        deduped: true,
+        existingId: duplicate.id,
+        similarity: duplicate.similarity,
+        hint: `库内已有一条几乎相同的记忆；新正文已暂存待复核（near_duplicate）。差异片段：${diff || '(无可见差异)'}。若确属两次独立观测，带 allowDuplicate=true 重写；要合并请改用 memu_private_update。`,
+      }
+    }
+    return {
+      id,
+      entry: pendingEntry,
+      pending: true,
+      deduped: true,
+      similarityBand: '0.90+',
+      hint: '库内已有一条几乎相同的记忆，但它不在当前会话的可见范围内；新正文已暂存待复核（near_duplicate）。',
+    }
+  }
+  if (duplicate && duplicate.similarity >= TOPIC_DICE) entry.duplicateOf = duplicate.id
   const payload = {
     recall_files: [{
       name: id,
@@ -1280,16 +1489,7 @@ async function privateRememberImpl({
   // 记下"这条进没进向量库"：只有真的带代际提交成功才写，冲突暂扣/降级都不写。
   // 之前没有任何字段能回答"哪条记忆进向量库了"，只能靠猜。
   if (route !== 'lexical' && !conflict && result?.ok !== false && !result?.parseWarning) {
-    const active = readVectorState({ tolerateMissing: true }).state?.active
-    if (active) {
-      entry.vector = {
-        route,
-        model: active.profile?.catalogId || null,
-        generation: active.generation,
-        fingerprint: String(active.fingerprint || '').slice(0, 8),
-        at: stamp(),
-      }
-    }
+    entry.vector = activeEntryStamp(route) || entry.vector
   }
   // Re-read after the await: a curator job or another turn may have written in
   // the meantime, and saving the pre-await snapshot would erase it.
@@ -1298,13 +1498,27 @@ async function privateRememberImpl({
     if (sessionIdOf(exec) && (!currentBinding || currentBinding.libraryId !== scope.libraryId)) throw new Error('memory scope changed during write; retry')
     if (currentBinding) assertScopeEnabled(currentBinding)
     if (previousHabit && JSON.stringify(fresh.entries[id]) !== JSON.stringify(previousHabit[1])) throw new Error('habit changed concurrently; recall and retry')
-    const latestConflict = findConflict(Object.fromEntries(Object.entries(fresh.entries).filter(([key]) => key !== id)), entry)
+    const latestConflict = findConflict(Object.fromEntries(Object.entries(fresh.entries).filter(([key, other]) => key !== id && visibleForDedupe(other, memorySession))), entry)
     if (latestConflict && !conflict) {
       if (db) throw new Error('memory conflict changed during write; retry for review')
       entry.status = 'pending_review'
       entry.conflictingWith = latestConflict.id
       entry.reviewReason = 'concurrent conflicting memory; review required'
     }
+    // 5.4：预检在 await 之前，提交期间另一个 turn 可能刚写入同事实。临界区用同一
+    // 尺子重扫；命中就 retry（有向量则 throw 让 compensation 撤掉刚提交的行），
+    // lexical 路由直接暂扣为 near_duplicate，不双写也不丢文本。
+    const latestDuplicate = allowDuplicate
+      ? { duplicate: null, hidden: false }
+      : findNearDuplicate(fresh.entries, {
+        id, title: entry.title, content: entry.content, context: entry.context, sessionId: memorySession,
+      })
+    if (latestDuplicate.hidden || (latestDuplicate.duplicate && latestDuplicate.duplicate.similarity >= DUP_REJECT_DICE)) {
+      if (db) throw new Error('memory duplicate changed during write; retry')
+      entry.status = 'pending_review'
+      entry.reviewReason = 'near_duplicate'
+      entry.conflictingWith = latestDuplicate.duplicate?.id || null
+    }
     if (layer === 'must_remember' && pinSource === 'self') {
       const pinned = Object.values(fresh.entries).filter(e => e.layer === 'must_remember' && isMemoryEligible(e)).length
       if (pinned >= Number(getSettings().mustRememberCap || 12)) throw new Error('must_remember soft cap reached; retry as long_term')
@@ -1478,6 +1692,12 @@ async function importMemoriesImpl({ libraryId, memories, maxFiles = 2000, now =
       engineWarning = String(error?.message || error)
     }
   }
+  // 批量恢复与单条写入同口径：提交成功就在条目上落"已入向量库"戳，否则这些条目
+  // 在向量计数（membership 的戳腿）里永远缺失。受管提交失败直接抛，不会走到这里。
+  if (route !== 'lexical' && engineWarning === null) {
+    const vector = activeEntryStamp(route)
+    if (vector) for (const item of entries) item.entry.vector = vector
+  }
   const idMap = Object.fromEntries(entries.filter(item => item.entry.importedFrom).map(item => [item.entry.importedFrom, item.id]))
   await retryStoreWrite(() => updatePrivateIndex(libraryId, (fresh) => {
     for (const { id, entry } of entries) {
@@ -1536,6 +1756,21 @@ export async function privateRecall({ exec, query, topK, relevanceThreshold, pur
   // like one nobody ever touches. Batched into a single index write.
   if (purpose !== 'automatic') touchAccessMany({ libraryId: binding.libraryId, ids: (scored.files || []).map((f) => f.name) })
   bumpStats(binding.libraryId, 'recalled', (scored.files || []).length)
+  // Fact-level dedup observation . Fail-open signal, not
+  // bookkeeping: without it a mistuned DUP_DICE silently eats real memories and
+  // nobody can tell "recalled N" from "recalled N members of one fact".
+  if (scored.dedup?.collapsed?.length) {
+    const folded = scored.dedup.collapsed.reduce((n, group) => n + group.dropped.length, 0)
+    record({
+      kind: 'recall',
+      scope: 'private',
+      sessionId: memorySessionId(exec),
+      libraryId: binding.libraryId,
+      message: `去重折叠 ${folded} 条候选（${scored.dedup.clusterCount} 簇）`,
+      detail: { collapsed: scored.dedup.collapsed, clusterCount: scored.dedup.clusterCount },
+      refs: scored.dedup.collapsed.map((group) => group.kept).slice(0, 20),
+    })
+  }
   for (const file of scored.files || []) {
     if (file.entry?.attachments?.length) {
       file.entry = { ...file.entry, attachments: file.entry.attachments.map(item => {
@@ -1604,6 +1839,7 @@ async function privateUpdateImpl({ exec, libraryId, id, content, title, tags, st
   const scope = resolveLibrary({ exec, libraryId })
   if (scope.binding) assertScopeEnabled(scope.binding)
   const index = loadPrivateIndex(scope.libraryId)
+  const memorySession = memorySessionId(exec)
   const id_ = resolveEntryId(index, id)
   const entry = index.entries[id_]
   assertEntryAccess(entry, exec)
@@ -1626,10 +1862,56 @@ async function privateUpdateImpl({ exec, libraryId, id, content, title, tags, st
   // the same way. Capture before the update: `entry` is the pre-update snapshot.
   const wasArchived = entry.status === 'archived'
   const nextContent = content === undefined ? undefined : redactSecrets(content)
-  if (nextContent !== undefined && entry.status !== 'pending_review') {
-    const others = Object.fromEntries(Object.entries(index.entries).filter(([key]) => key !== id_))
-    const conflict = findConflict(others, { ...entry, title: title ?? entry.title, content: nextContent })
+  // 改写文本（title 或 content 任一变化）要过与 remember 写入门同口径的两道门
+  // ：先矛盾、后重复，度量是同一把 dice 尺。此前只有新建
+  // 被拦——把一条记忆改写成与另一条几乎相同就能从更新路径绕开门，这里补上。
+  // 门在 backend commit 之前跑：拒绝时引擎里什么都没写，compensation 路径不受影响。
+  const textChanged = nextContent !== undefined || title !== undefined
+  const nextTitle = title !== undefined ? clampText(title, 120) : (entry.title || '')
+  const nextContext = context === undefined ? entry.context : normalizeMemoryContext(context)
+  const scanned = textChanged && entry.status !== 'pending_review'
+  let duplicate = null
+  let hiddenDuplicate = null
+  let text = null
+  if (scanned) {
+    const allOthers = Object.fromEntries(Object.entries(index.entries).filter(([key]) => key !== id_))
+    const visibleOthers = Object.fromEntries(Object.entries(allOthers).filter(([, other]) => visibleForDedupe(other, memorySession)))
+    const conflict = findConflict(visibleOthers, { ...entry, title: nextTitle, content: nextContent ?? entry.content })
     if (conflict) throw new Error(`content conflicts with ${conflict.id}; write a new memory for review`)
+    text = `${nextTitle} ${nextContent ?? entry.content}`
+    for (const [otherId, other] of Object.entries(allOthers)) {
+      // 与 remember 的门同一过滤集（isMemoryEligible + sameFactContext），再排除它原本的
+      // duplicateOf 关系——那对条目是写入时就获准共存的，向它继续靠拢不该被拦。
+      if (!isMemoryEligible(other)) continue
+      if (otherId === entry.duplicateOf) continue
+      if (!sameFactContext(other.context, nextContext)) continue
+      const similarity = similarTexts(text, `${other.title || ''} ${other.content || ''}`)
+      if (!visibleForDedupe(other, memorySession)) {
+        if (similarity >= DUP_REJECT_DICE) hiddenDuplicate = { similarity }
+        continue
+      }
+      if (similarity > (duplicate?.similarity ?? 0)) duplicate = { id: otherId, similarity }
+    }
+    if (hiddenDuplicate) {
+      record({
+        kind: 'write', scope: 'private', sessionId: sessionIdOf(exec) || null, libraryId: scope.libraryId,
+        message: '拒绝重复更新：改写后与当前会话不可见的记忆几乎相同',
+        detail: { id: id_, deduped: true, hidden: true, similarityBand: '0.90+' },
+        refs: [id_],
+      })
+      throw new Error('update refused: a nearly identical memory exists outside this conversation\'s visible scope; rewrite the text or archive one of the two instead')
+    }
+    if (duplicate && duplicate.similarity >= DUP_REJECT_DICE) {
+      const target = index.entries[duplicate.id]
+      const diff = nearDuplicateDiff(`${target?.title || ''} ${target?.content || ''}`, text)
+      record({
+        kind: 'write', scope: 'private', sessionId: sessionIdOf(exec) || null, libraryId: scope.libraryId,
+        message: '拒绝重复更新：' + id_ + ' 改写后与 ' + duplicate.id + ' 几乎相同',
+        detail: { id: id_, deduped: true, existingId: duplicate.id, similarity: duplicate.similarity },
+        refs: [id_, duplicate.id],
+      })
+      throw new Error(`update refused: the rewritten text is nearly identical to ${duplicate.id} (dice ${duplicate.similarity.toFixed(2)}); differences: ${diff || '(none visible)'}; merge into ${duplicate.id} or archive one of the two instead`)
+    }
   }
   const route = engineRoute()
   const managed = route === 'managed-local'
@@ -1661,8 +1943,30 @@ async function privateUpdateImpl({ exec, libraryId, id, content, title, tags, st
     const currentBinding = peekBinding(exec)
     if (sessionIdOf(exec) && (!currentBinding || currentBinding.libraryId !== scope.libraryId)) throw new Error('memory scope changed during update; retry')
     if (currentBinding) assertScopeEnabled(currentBinding)
+    if (scanned) {
+      const latestDuplicate = findNearDuplicate(fresh.entries, {
+        id: id_, title: nextTitle, content: nextContent ?? entry.content, context: nextContext,
+        sessionId: memorySession, excludeId: entry.duplicateOf,
+      })
+      if (latestDuplicate.hidden || (latestDuplicate.duplicate && latestDuplicate.duplicate.similarity >= DUP_REJECT_DICE)) {
+        throw new Error('duplicate changed during update; retry')
+      }
+      if (latestDuplicate.duplicate) duplicate = latestDuplicate.duplicate
+    }
     if (title !== undefined) target.title = clampText(title, 120)
     if (nextContent !== undefined) target.content = nextContent
+    // 打标带与 remember 同口径：[0.55, 0.90) 改写后仍与另一条同主题 → duplicateOf。
+    // 旧打标的去留也按同一把尺重新裁定：文本改过、且与新文本最相似的条目不在打标带，
+    // 但原 duplicateOf 对象仍与改写后文本同主题（它被排除在拒绝扫描之外，不代表相似
+    // 消失）→ 保留；否则（相似依据消失，或原指向对象已不可召回）摘除——留着会错误
+    // 压低这条记忆的召回权重。未扫（无文本变化）不动。
+    if (scanned) {
+      const previousHost = target.duplicateOf ? fresh.entries[target.duplicateOf] : null
+      const stillHosted = previousHost && isMemoryEligible(previousHost)
+        && similarTexts(text, `${previousHost.title || ''} ${previousHost.content || ''}`) >= TOPIC_DICE
+      if (duplicate && duplicate.similarity >= TOPIC_DICE) target.duplicateOf = duplicate.id
+      else if (!stillHosted) delete target.duplicateOf
+    }
     if (tags !== undefined) target.tags = Array.isArray(tags) ? tags.slice(0, 20) : target.tags
     if (status !== undefined) target.status = status
     if (openLoop !== undefined) target.openLoop = !!openLoop
@@ -1712,6 +2016,12 @@ async function privateUpdateImpl({ exec, libraryId, id, content, title, tags, st
     }
     if (dominance !== undefined) target.dominance = dominance === null ? 0 : Math.max(-1, Math.min(1, Number(dominance)))
     if (nextAttachments !== undefined) target.attachments = nextAttachments
+    // 受管路由下这次更新把这一行重新提交进了当前向量空间（managed 时 commit 无条件发生）。
+    // 戳要跟着刷新：它现在描述的是"这条在当前代际的空间里"，membership 的戳腿靠它计数。
+    if (committedDb) {
+      const vector = activeEntryStamp(route)
+      if (vector) target.vector = vector
+    }
     // Vividness and accuracy are derived, not typed in: correcting the peak flag or
     // the arousal reading has to move `accuracy` too, otherwise the repair would only
     // change how the entry is stored and not how much it is trusted when recalled.
@@ -1759,18 +2069,63 @@ async function privateUpdateImpl({ exec, libraryId, id, content, title, tags, st
 }
 
 /** Review activation and invalidation of the previous claim are one index commit. */
-async function resolveMemoryReviewImpl({ libraryId = null, id, action, resolution = 'replace', reason = '', content, title }) {
+async function resolveMemoryReviewImpl({ libraryId = null, id, action, resolution = 'replace', reason = '', content, title, sessionId = null }) {
   if (!['accept', 'reject'].includes(action)) throw new Error('action must be accept or reject')
-  if (!['replace', 'coexist'].includes(resolution)) throw new Error('resolution must be replace or coexist')
-  if (resolution === 'coexist' && String(reason).trim().length < 8) throw new Error('coexist needs a reason describing the distinct conditions (at least 8 characters)')
   if (libraryId && !getLibrary(libraryId)) throw new Error('library not found')
   const index = libraryId ? loadPrivateIndex(libraryId) : loadGlobalIndex()
   const entry = index.entries[id]
   if (!entry || entry.status !== 'pending_review') throw new Error('no such pending review')
+  // pendingAbsorb（spec §4.11 review-all / 安全门触发的 pending absorb）：走专用复核
+  // 分支——提案是"整簇合并稿"，accept/reject 的落库动作与普通复核完全不同。
+  if (!libraryId && entry.pendingAbsorb) {
+    return resolveAbsorbReviewImpl({ id, entry, index, action, resolution, reason, content, title, sessionId })
+  }
+  if (!['replace', 'coexist'].includes(resolution)) throw new Error('resolution must be replace or coexist')
+  if (resolution === 'coexist' && String(reason).trim().length < 8) throw new Error('coexist needs a reason describing the distinct conditions (at least 8 characters)')
   const next = { ...entry }
   if (action === 'accept') {
     if (typeof content === 'string' && content.trim()) next.content = content
     if (typeof title === 'string' && title.trim()) next.title = title
+    // 接受即写入（accept 会把这条提交进向量库并转为 active），所以它与 remember /
+    // privateUpdate 过同一道重复门：≥ 0.90 拒绝接受（复核保持
+    // 暂扣，不丢数据——换内容或先归档对方后可重试），[0.55, 0.90) 接受但打 duplicateOf。
+    // 排除它自己和 conflictingWith：后者正是这次复核要替代/共存的对象，与它相似是
+    // 复核的本来含义，不是重复。
+    const text = `${next.title || ''} ${next.content || ''}`
+    let duplicate = null
+    let hiddenDuplicate = null
+    for (const [otherId, other] of Object.entries(index.entries || {})) {
+      if (otherId === id || otherId === entry.conflictingWith) continue
+      if (!isMemoryEligible(other)) continue
+      if (!sameFactContext(other.context, next.context)) continue
+      const similarity = similarTexts(text, `${other.title || ''} ${other.content || ''}`)
+      if (!visibleForDedupe(other, sessionId)) {
+        if (similarity >= DUP_REJECT_DICE) hiddenDuplicate = { similarity }
+        continue
+      }
+      if (similarity > (duplicate?.similarity ?? 0)) duplicate = { id: otherId, similarity }
+    }
+    if (hiddenDuplicate) {
+      record({
+        kind: 'write', scope: libraryId ? 'private' : 'global', libraryId: libraryId || null,
+        message: '拒绝复核接受：接受稿与当前会话不可见的记忆几乎相同',
+        detail: { id, deduped: true, hidden: true, similarityBand: '0.90+' },
+        refs: [id],
+      })
+      throw new Error('review accept refused: a nearly identical memory exists outside the visible scope; pass different content or change the review scope first')
+    }
+    if (duplicate && duplicate.similarity >= DUP_REJECT_DICE) {
+      const target = index.entries[duplicate.id]
+      const diff = nearDuplicateDiff(`${target?.title || ''} ${target?.content || ''}`, text)
+      record({
+        kind: 'write', scope: libraryId ? 'private' : 'global', libraryId: libraryId || null,
+        message: '拒绝复核接受：' + id + ' 与 ' + duplicate.id + ' 几乎相同',
+        detail: { id, deduped: true, existingId: duplicate.id, similarity: duplicate.similarity },
+        refs: [id, duplicate.id],
+      })
+      throw new Error(`review accept refused: the accepted text is nearly identical to ${duplicate.id} (dice ${duplicate.similarity.toFixed(2)}); differences: ${diff || '(none visible)'}; pass different content or archive ${duplicate.id} first`)
+    }
+    if (duplicate && duplicate.similarity >= TOPIC_DICE) next.duplicateOf = duplicate.id
     const reviewRoute = engineRoute()
     if (reviewRoute !== 'lexical') {
       await commit({
@@ -1778,6 +2133,9 @@ async function resolveMemoryReviewImpl({ libraryId = null, id, action, resolutio
         route: reviewRoute,
         db: libraryId ? memoryDbPath(libraryId) : globalDbPath(),
       })
+      // pending_review 从不提交，所以被接受的那一刻才第一次真正进向量库：补上戳，
+      // 否则这条在向量计数里永远缺失。
+      next.vector = activeEntryStamp(reviewRoute) || next.vector
     }
   }
   const mutate = fresh => {
@@ -1785,6 +2143,15 @@ async function resolveMemoryReviewImpl({ libraryId = null, id, action, resolutio
       || JSON.stringify(fresh.entries[entry.conflictingWith]) !== JSON.stringify(index.entries[entry.conflictingWith])) {
       throw new Error('review changed; reload and retry')
     }
+    if (action === 'accept') {
+      const latestDuplicate = findNearDuplicate(fresh.entries, {
+        id, title: next.title, content: next.content, context: next.context,
+        sessionId, excludeId: entry.conflictingWith,
+      })
+      if (latestDuplicate.hidden || (latestDuplicate.duplicate && latestDuplicate.duplicate.similarity >= DUP_REJECT_DICE)) {
+        throw new Error('review changed; reload and retry')
+      }
+    }
     const at = stamp()
     next.status = action === 'accept' ? 'active' : 'archived'
     next.reviewedAt = at
@@ -1809,6 +2176,119 @@ async function resolveMemoryReviewImpl({ libraryId = null, id, action, resolutio
   return { id, status: next.status, resolution }
 }
 
+/**
+ * pendingAbsorb 复核分支（spec §3.3/§4.11/§6.7）。只作用于全局队列（私有索引里
+ * 不存在 pendingAbsorb）。
+ *
+ * accept：resolution 必须 replace——合并稿不能与自己的来源"并存"，coexist 直接抛错；
+ * 重复门排除 [id, conflictingWith, ...sourceIds]，否则合并稿会被自己的来源判重；
+ * 快照校验 target/sources 仍 active 且 updatedAt === expectedUpdatedAt，否则抛
+ * 'review changed; reload and retry'；向量库只提交提案 id 本身（绝不提交 sources，
+ * §6.7 复核）；然后单事务落 §4.11 步骤 3c-6 并清 pendingAbsorb/reviewReason/
+ * conflictingWith。索引写失败时 pending 保持、已提交向量行未激活（现有行为，
+ * 本版不额外补偿）。
+ *
+ * reject：提案 archived；target/sources 原样。
+ */
+async function resolveAbsorbReviewImpl({ id, entry, index, action, resolution, reason, content, title, sessionId = null }) {
+  const pa = entry.pendingAbsorb || {}
+  const targetId = String(pa.targetId || '')
+  const sourceIds = (Array.isArray(pa.sourceIds) ? pa.sourceIds : []).map(String)
+  if (action === 'reject') {
+    await retryStoreWrite(() => updateGlobalIndex((fresh) => {
+      if (JSON.stringify(fresh.entries[id]) !== JSON.stringify(entry)) throw new Error('review changed; reload and retry')
+      const at = stamp()
+      const next = { ...entry, status: 'archived', reviewedAt: at, updatedAt: at, reviewResolution: resolution }
+      if (reason) next.reviewNote = String(reason).trim().slice(0, 1000)
+      fresh.entries[id] = next
+    }))
+    return { id, status: 'archived', resolution }
+  }
+  // —— accept ——
+  if (resolution !== 'replace') {
+    throw new Error('absorb review accept requires the replace resolution; a merged entry cannot coexist with its own sources')
+  }
+  const next = { ...entry }
+  if (typeof content === 'string' && content.trim()) next.content = content
+  if (typeof title === 'string' && title.trim()) next.title = title
+  const exclude = new Set([id, entry.conflictingWith, targetId, ...sourceIds].filter(Boolean))
+  const text = `${next.title || ''} ${next.content || ''}`
+  let duplicate = null
+  let hiddenDuplicate = null
+  for (const [otherId, other] of Object.entries(index.entries || {})) {
+    if (exclude.has(otherId)) continue
+    if (!isMemoryEligible(other)) continue
+    if (!sameFactContext(other.context, next.context)) continue
+    const similarity = similarTexts(text, `${other.title || ''} ${other.content || ''}`)
+    if (!visibleForDedupe(other, sessionId)) {
+      if (similarity >= DUP_REJECT_DICE) hiddenDuplicate = { similarity }
+      continue
+    }
+    if (similarity > (duplicate?.similarity ?? 0)) duplicate = { id: otherId, similarity }
+  }
+  if (hiddenDuplicate) {
+    record({
+      kind: 'write', scope: 'global', libraryId: null,
+      message: '拒绝集合吸收接受：接受稿与当前会话不可见的记忆几乎相同',
+      detail: { id, deduped: true, hidden: true, similarityBand: '0.90+' },
+      refs: [id],
+    })
+    throw new Error('review accept refused: a nearly identical memory exists outside the visible scope; pass different content or change the review scope first')
+  }
+  if (duplicate && duplicate.similarity >= DUP_REJECT_DICE) {
+    const target = index.entries[duplicate.id]
+    const diff = nearDuplicateDiff(`${target?.title || ''} ${target?.content || ''}`, text)
+    record({
+      kind: 'write', scope: 'global', libraryId: null,
+      message: '拒绝集合吸收接受：' + id + ' 与 ' + duplicate.id + ' 几乎相同',
+      detail: { id, deduped: true, existingId: duplicate.id, similarity: duplicate.similarity },
+      refs: [id, duplicate.id],
+    })
+    throw new Error(`review accept refused: the accepted text is nearly identical to ${duplicate.id} (dice ${duplicate.similarity.toFixed(2)}); differences: ${diff || '(none visible)'}; pass different content or archive ${duplicate.id} first`)
+  }
+  if (duplicate && duplicate.similarity >= TOPIC_DICE) next.duplicateOf = duplicate.id
+  // 快照校验（§4.11 accept 3）：target/sources 仍 active 且 updatedAt 未被并发改写。
+  const expected = pa.expectedUpdatedAt || {}
+  for (const memberId of [targetId, ...sourceIds].filter(Boolean)) {
+    const current = index.entries[memberId]
+    if (!current || current.status !== 'active'
+      || (expected[memberId] !== undefined && current.updatedAt !== expected[memberId])) {
+      throw new Error('review changed; reload and retry')
+    }
+  }
+  // 向量提交：只提交提案 id，绝不提交 sources（§6.7 复核）。
+  const reviewRoute = engineRoute()
+  if (reviewRoute !== 'lexical') {
+    await commit({
+      payload: { recall_files: [{ name: id, track: next.track || 'memory', description: clampText(next.title, 180), content: next.content }], resource: [], user: {} },
+      route: reviewRoute,
+      db: globalDbPath(),
+    })
+    next.vector = activeEntryStamp(reviewRoute) || next.vector
+  }
+  // 单事务：§4.11 步骤 3c-6。merged 入索引、target superseded、sources archived、
+  // rewire links、写 absorbSnapshot，然后清 pendingAbsorb/reviewReason/conflictingWith。
+  await retryStoreWrite(() => updateGlobalIndex((fresh) => {
+    if (JSON.stringify(fresh.entries[id]) !== JSON.stringify(entry)) throw new Error('review changed; reload and retry')
+    const at = stamp()
+    next.status = 'active'
+    next.updatedAt = at
+    next.reviewedAt = at
+    next.reviewResolution = resolution
+    next.validFrom = at
+    if (reason) next.reviewNote = String(reason).trim().slice(0, 1000)
+    const outcome = applyAbsorbIndexTransaction(fresh, {
+      mergedId: id, merged: next, targetId, sourceIds, expectedUpdatedAt: expected, now: at,
+    })
+    if (!outcome.landed) throw new Error('review changed; reload and retry')
+    const stored = fresh.entries[id]
+    delete stored.pendingAbsorb
+    delete stored.reviewReason
+    delete stored.conflictingWith
+  }))
+  return { id, status: 'active', resolution }
+}
+
 /**
  * Short-term entries expire instead of being deleted. Deleting would throw away the
  * only copy before the consolidation pass could decide what it was worth; flipping
@@ -1897,7 +2377,27 @@ async function privateDeleteImpl({ exec, libraryId, id }) {
   await retryStoreWrite(() => updatePrivateIndex(scope.libraryId, (fresh) => {
     if (JSON.stringify(fresh.entries[id_]) !== JSON.stringify(entry)) throw new Error('memory changed during deletion; reload and retry')
     delete fresh.entries[id_]
+    // Cascade: inbound edges live in *other* entries' links[], so dropping the
+    // row without sweeping them leaves links that point at a memory nothing can
+    // resolve any more (outbound links die with the row itself). In place, O(N
+    // over links) — same style as the unlink mutator, no deep clone. Archived /
+    // suppressed entries keep their links on purpose: only this permanent path
+    // cascades, so archiving stays reversible.
+    for (const other of Object.values(fresh.entries)) {
+      if (Array.isArray(other.links) && other.links.some(link => link.to === id_)) {
+        other.links = other.links.filter(link => link.to !== id_)
+      }
+    }
   }))
+  // Collect entities this row was the last thing keeping alive. Cleanup after
+  // the fact, not a correctness step: if it fails (lock contention, a store
+  // another writer holds) the delete stands, and the startup sweep gets the
+  // orphans on the next launch.
+  try {
+    pruneOrphanEntities(scope.libraryId)
+  } catch (error) {
+    warn(`orphan entity prune after permanent delete skipped: ${error?.message || error}`)
+  }
   return { id: id_, libraryId: scope.libraryId, deleted: true, backend, engine }
 }
 
@@ -1964,14 +2464,19 @@ export function privateUnpin({ exec, id, reason }) {
 export async function privateRemember(args) {
   const libraryId = resolveLibrary(args).libraryId
   const result = await withManagedPrivateWrite(libraryId, () => privateRememberImpl({ ...args, libraryId }))
+  const deduped = result?.deduped === true
   record({
     kind: 'write',
     scope: 'private',
     sessionId: sessionIdOf(args.exec) || null,
     libraryId,
-    message: '写入 ' + (result?.id || '?') + '：' + clampText(args.title || args.content, 60) + (result?.conflict ? '（待复核）' : ''),
-    detail: { id: result?.id || null, title: args.title || null, layer: args.layer || null, conflict: result?.conflict || null },
-    refs: result?.id ? [result.id] : [],
+    message: deduped
+      ? '拒绝重复写入：与 ' + (result.existingId || '?') + ' 几乎相同'
+      : '写入 ' + (result?.id || '?') + '：' + clampText(args.title || args.content, 60) + (result?.conflict ? '（待复核）' : ''),
+    detail: deduped
+      ? { deduped: true, existingId: result.existingId || null, similarity: result.similarity ?? null }
+      : { id: result?.id || null, title: args.title || null, layer: args.layer || null, conflict: result?.conflict || null },
+    refs: deduped ? [result.existingId] : (result?.id ? [result.id] : []),
   })
   return result
 }
@@ -2086,15 +2591,19 @@ export async function globalRecall({ exec, query, topK, relevanceThreshold, retr
       ...f,
       // Local lexical rank is already meaningful; confidence still nudges ties, and
       // a cross-session fact that has been injected three turns running gets the same
-      // wear penalty as a private one.
+      // wear penalty as a private one. `retrieval` mirrors the retrieval term of the
+      // score so the absolute floor cut sees the same number the score was built from.
+      retrieval: Number.isFinite(f.retrievalScore) ? f.retrievalScore : f.lexical > 0 ? f.lexical : 1 / (i + 1),
       score: (Number.isFinite(f.retrievalScore) ? f.retrievalScore : f.lexical > 0 ? f.lexical : 1 / (i + 1))
         * (0.85 + 0.15 * Number(f.entry.confidence ?? 0.5))
         * habituationFactor(f.entry),
     }))
     .sort((a, b) => b.score - a.score)
+  const ranked = mmrSelect(cutWeakScores(filtered, threshold, RETRIEVAL_FLOOR), Number(topK || settings.globalTopK || 3))
   return {
     ...enriched,
-    files: mmrSelect(cutWeakScores(filtered, threshold), Number(topK || settings.globalTopK || 3)),
+    files: ranked.chosen,
+    dedup: { collapsed: ranked.skipped, clusterCount: ranked.skipped.length },
     domain: domainOf(binding),
     unbound: !peeked,
   }