dsh-memu-memory 1.1.3 → 1.2.0

package/lib/active-memory.js

@@ -0,0 +1,165 @@
+/**
+ * 主动记忆判定：一次闲时检查值不值得花 token。
+ *
+ * 三条输入都是"结构性"的，不做关键词判定：
+ *   H 真人回合数（只算 source.kind === 'user' 的消息）
+ *   C 新增证据量（真人文字 + 助手结论 + 去重后的工具结果，按字符估算）
+ *   U 有效工具工作单元（去重的成功工具结果；轮询、空输出、重复错误只算一次）
+ *
+ * 触发规则（可被 settings 覆盖）：
+ *   - 会话空闲 < activeMemoryStarvationMinutes：分数必须 >= minScore；
+ *   - 空闲 >= 饥饿阈值：小会话无条件检查（保证不会永远轮不到）；
+ *   - 大 transcript（>= largeTranscriptEvents）不吃饥饿豁免：真机回放里
+ *     5913 条事件的会话，一个"继续"回合只有 0.14~0.43 分，却会把整段
+ *     26MB 转录重新种进 fork；这种薄回合必须等分数达标；
+ *   - 近期刚整理过 / 刚注入过记忆：直接抑制，避免"记忆后立刻再 fork 一次"。
+ *
+ * 纯函数，无 IO，便于回放标定与单测。
+ */
+
+export const ACTIVE_MEMORY_VERSION = 1
+
+export const ACTIVE_MEMORY_POLICY = Object.freeze({
+  version: ACTIVE_MEMORY_VERSION,
+  minScore: 0.8,
+  starvationMinutes: 15,
+  consolidatedCooldownMinutes: 60,
+  recallCooldownMinutes: 15,
+  humanTurnsCap: 3,
+  evidenceCharsCap: 4000,
+  toolUnitsCap: 20,
+  partCap: 2,
+  // 超过这个规模，fork 的种子成本随整段转录增长，饥饿不再单独构成理由。
+  largeTranscriptEvents: 2000,
+  // 大 transcript 的守卫只该推迟一次检查，不该无限推迟。待整理区间一旦超过这个规模，
+  // 无论分数多低都要整理一次：游标不前移，那段内容就一直躺在 pending 里等着，
+  // 「省 token」和「永远不记」之间的差别是延迟上界，不是覆盖上界。
+  // 600 事件大约相当于一次中等长度的会话；20k 事件的首轮整理本来就贵，但那是内容
+  // 本身的价格，不是规则造成的浪费。
+  maxPendingEvents: 600,
+  weights: Object.freeze({ human: 0.35, content: 0.45, tool: 0.2 }),
+  // 单个工具结果计入证据量的上限；整段工具日志不能挤掉真人说的话。
+  toolResultCharsCap: 2000,
+})
+
+function textOfContent(content) {
+  if (typeof content === 'string') return content.trim()
+  if (!Array.isArray(content)) return ''
+  return content
+    .filter(block => block && block.type === 'text' && typeof block.text === 'string')
+    .map(block => block.text)
+    .join(' ')
+    .trim()
+}
+
+/**
+ * 从一个事件窗口里收集证据。窗口应当只包含"上次检查之后"的事件；
+ * 调用方负责裁剪，这里不猜测边界。
+ */
+export function collectEvidence(events, policy = ACTIVE_MEMORY_POLICY) {
+  const evidence = {
+    humanTurns: 0,
+    humanChars: 0,
+    assistantChars: 0,
+    toolChars: 0,
+    toolUnits: 0,
+    toolCalls: 0,
+    lastHumanText: '',
+  }
+  const seenUnits = new Set()
+  for (const event of events || []) {
+    const type = event?.type
+    if (type === 'user/message') {
+      if (event.data?.source?.kind !== 'user') continue
+      const text = textOfContent(event.data?.content)
+      if (!text) continue
+      evidence.humanTurns += 1
+      evidence.humanChars += text.length
+      evidence.lastHumanText = text
+      continue
+    }
+    if (type === 'assistant/message') {
+      const blocks = event.data?.message?.content
+      if (!Array.isArray(blocks)) continue
+      for (const block of blocks) {
+        if (block?.type === 'tool-call') evidence.toolCalls += 1
+        else if (block?.type === 'text' && typeof block.text === 'string') evidence.assistantChars += block.text.trim().length
+      }
+      continue
+    }
+    if (type === 'tool/call') {
+      evidence.toolCalls += 1
+      continue
+    }
+    if (type === 'tool/result') {
+      const message = event.data?.message || {}
+      if (message.isError === true) continue
+      const text = textOfContent(message.content)
+      if (!text) continue
+      // 同一份结果重复出现（轮询、重读、重试）只算一次工作单元。
+      const key = text.slice(0, 160) + '|' + text.length
+      if (seenUnits.has(key)) continue
+      seenUnits.add(key)
+      evidence.toolUnits += 1
+      evidence.toolChars += Math.min(text.length, policy.toolResultCharsCap)
+    }
+  }
+  return evidence
+}
+
+/** 可解释评分：每个分项封顶，避免"只刷工具次数"把分数拉满。 */
+export function scoreEvidence(evidence, policy = ACTIVE_MEMORY_POLICY) {
+  const human = Number(evidence?.humanTurns) || 0
+  const contentChars = (Number(evidence?.humanChars) || 0) + (Number(evidence?.assistantChars) || 0) + (Number(evidence?.toolChars) || 0)
+  const units = Number(evidence?.toolUnits) || 0
+  const h = Math.min(human / policy.humanTurnsCap, policy.partCap)
+  const c = Math.min(contentChars / policy.evidenceCharsCap, policy.partCap)
+  const u = Math.min(units / policy.toolUnitsCap, policy.partCap)
+  const score = policy.weights.human * h + policy.weights.content * c + policy.weights.tool * u
+  return {
+    score: Math.round(score * 1000) / 1000,
+    parts: { human: h, content: c, tool: u, humanTurns: human, contentChars, toolUnits: units },
+  }
+}
+
+/**
+ * 是否唤醒检查。真人回合是硬门槛（纯工具轮询不构成检查理由），
+ * 其余交给分数；`starved` 由调用方按空闲时长传入。
+ * `transcriptEvents` 是整段会话的事件数，用来决定饥饿豁免是否还有成本意义。
+ */
+export function assessWake({ evidence, starved = false, transcriptEvents = 0, pendingEvents = 0, policy = ACTIVE_MEMORY_POLICY } = {}) {
+  const scored = scoreEvidence(evidence, policy)
+  if ((Number(evidence?.humanTurns) || 0) === 0) {
+    return { wake: false, reason: 'no-human-turn', ...scored }
+  }
+  // 积压优先于守卫：守卫的理由是「为一句轻话重种整段转录不划算」，但当整段转录本身
+  // 还没整理过时，那不是重种，是欠着。没有这条，一个大 transcript 只要每轮都是轻话，
+  // 就永远等不到检查——延迟没有上界，长会话的早期决定再也进不了记忆。
+  if (Number(pendingEvents) >= Number(policy.maxPendingEvents || Infinity)) {
+    return { wake: true, reason: 'backlog', ...scored }
+  }
+  const large = (Number(transcriptEvents) || 0) >= policy.largeTranscriptEvents
+  if (starved && !large) return { wake: true, reason: 'starved', ...scored }
+  if (scored.score < policy.minScore) {
+    return { wake: false, reason: large && starved ? 'large-transcript-thin' : 'low-score', ...scored }
+  }
+  return { wake: true, reason: 'score', ...scored }
+}
+
+/**
+ * 抑制原因：近期整理过（避免记忆后马上再 fork）或近期注入过记忆。
+ * 返回 null 表示不抑制。
+ */
+export function suppressionReason({
+  now = Date.now(),
+  lastSleepAt = null,
+  lastInjectedAt = null,
+  consolidatedCooldownMinutes = ACTIVE_MEMORY_POLICY.consolidatedCooldownMinutes,
+  recallCooldownMinutes = ACTIVE_MEMORY_POLICY.recallCooldownMinutes,
+} = {}) {
+  const sleep = Date.parse(lastSleepAt || '') || 0
+  if (sleep && now - sleep < consolidatedCooldownMinutes * 60_000) return 'recent-consolidation'
+  const recalled = Date.parse(lastInjectedAt || '') || 0
+  if (recalled && now - recalled < recallCooldownMinutes * 60_000) return 'recent-recall'
+  return null
+}

package/lib/activity-log.js

@@ -13,7 +13,7 @@ import { logsDir, ensureDir, redactSecrets, warn } from './paths.js'
 // 3. 出盘前脱敏。message 与 detail 都过 redactSecrets；detail 只留诊断需要的字段，
 //    正文最多 200 字符（召回查询、记忆标题），足够定位问题又不把整段对话抄进日志。
 
-export const ACTIVITY_KINDS = Object.freeze(['recall', 'write', 'consolidate', 'curate', 'vector', 'error', 'system'])
+export const ACTIVITY_KINDS = Object.freeze(['recall', 'write', 'consolidate', 'curate', 'vector', 'error', 'system', 'check'])
 const MAX_ENTRIES = 2000
 const MAX_FILE_BYTES = 4 * 1024 * 1024
 const MAX_MESSAGE_CHARS = 300

package/lib/binding-diagnostics.js

@@ -54,9 +54,9 @@ export const RUNTIME_STATE = Object.freeze([
   { layer: 'temporary-map', file: 'lib/inbound.js:13', name: 'calls', keyedBy: 'sessionId', clearedBy: 'tool/result or turn/end' },
   { layer: 'temporary-map', file: 'lib/inbound.js:14', name: 'sessions', keyedBy: 'sessionId', clearedBy: 'session/disposed (releaseInboundSession)' },
   { layer: 'temporary-map', file: 'lib/media.js:19', name: 'captures', keyedBy: 'sessionId', clearedBy: 'capture settle' },
-  { layer: 'temporary-map', file: 'lib/private.js:265', name: 'inFlight', keyedBy: 'sessionId', clearedBy: 'consolidation settle' },
+  { layer: 'temporary-map', file: 'lib/private.js:267', name: 'inFlight', keyedBy: 'sessionId', clearedBy: 'consolidation settle' },
   { layer: 'temporary-map', file: 'lib/curator.js:13', name: 'jobs', keyedBy: 'job id', clearedBy: 'curation settle' },
-  { layer: 'cache', file: 'lib/state.js:950', name: 'indexCache', keyedBy: 'libraryId', clearedBy: 'next load / external write' },
+  { layer: 'cache', file: 'lib/state.js:967', name: 'indexCache', keyedBy: 'libraryId', clearedBy: 'next load / external write' },
   { layer: 'cache', file: 'lib/paths.js:52', name: 'readFailures', keyedBy: 'absolute file', clearedBy: 'a later successful read' },
 ])
 
@@ -216,7 +216,12 @@ export function bindingFacts(sessionId, binding, { libraries = {}, policies = {}
       present: Boolean(context),
       scopeKeys: context ? SCOPE_KEYS.filter(key => typeof context[key] === 'string' && context[key]) : [],
     },
-    guide: { sent: Boolean(b.guideMessageAt), sentAt: isoAt(b.guideMessageAt) },
+    guide: {
+      sent: Boolean(b.guideMessageAt),
+      sentAt: isoAt(b.guideMessageAt),
+      rulesKey: typeof b.guideRulesKey === 'string' ? b.guideRulesKey : null,
+      lost: b.guideLost === true,
+    },
     inbound: {
       pending: pending.length,
       pendingBytes,

package/lib/client.js

@@ -131,6 +131,7 @@ window.__ModuleLoader__.load({
       logKindVector: '向量',
       logKindError: '错误',
       logKindSystem: '系统',
+      logKindCheck: '主动检查',
       logClear: '清空日志',
       runLogTitle: '整理记录',
       runLogEmpty: '还没有整理记录。',
@@ -637,6 +638,7 @@ window.__ModuleLoader__.load({
       logKindVector: 'Vector',
       logKindError: 'Error',
       logKindSystem: 'System',
+      logKindCheck: 'Check',
       logClear: 'Clear log',
       runLogTitle: 'Runs',
       runLogEmpty: 'No runs recorded yet.',
@@ -1765,6 +1767,20 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
       return enumText(t, DOMAIN_LABELS, raw)
     }
 
+    // 情绪构成的短标签：同样的 valence 可能来自怒，也可能来自哀，一个数字分不出来。
+    // 四轴固定且术语极短，就地映射，不为四个轴各加一个 i18n key。
+    const EMOTION_TAG_LABELS = { joy: '喜', anger: '怒', sorrow: '哀', fear: '惧' }
+    function emotionTagText(emotion) {
+      if (!emotion || typeof emotion !== 'object') return ''
+      return Object.entries(EMOTION_TAG_LABELS)
+        .map(([axis, label]) => ({ label, share: Number(emotion[axis]) || 0 }))
+        .filter((item) => item.share >= 0.05)
+        .sort((a, b) => b.share - a.share)
+        .slice(0, 2)
+        .map((item) => `${item.label}${item.share.toFixed(1)}`)
+        .join('/')
+    }
+
     // Tags are labels, not decoration — except when the label is a warning. A memory
     // marked "never say out loud" has to look different from one that can be said,
     // otherwise the badge is just more grey text to skim past.
@@ -3774,18 +3790,22 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
         h(Field, { label: t('autoInject') },
           h('select', { style: S.input, value: settings.autoInject || 'smart', onChange: (e) => setSetting('autoInject', e.target.value) },
             ['smart', 'anchor-only', 'per-turn', 'off'].map((v) => h('option', { key: v, value: v }, enumText(t, INJECT_LABELS, v))))),
-        h(Field, { label: t('privateTopK') }, h('input', { type: 'number', style: S.input, value: settings.privateTopK ?? 4, onChange: (e) => setSetting('privateTopK', Number(e.target.value)) })),
-        h(Field, { label: t('globalTopK') }, h('input', { type: 'number', style: S.input, value: settings.globalTopK ?? 3, onChange: (e) => setSetting('globalTopK', Number(e.target.value)) })),
-        h(Field, { label: t('mustRememberCap') }, h('input', { type: 'number', style: S.input, value: settings.mustRememberCap ?? 16, onChange: (e) => setSetting('mustRememberCap', Number(e.target.value)) })),
+        // 下面这些 ?? 回落值必须与 lib/state.js 的 DEFAULT_SETTINGS 一致：浏览器 bundle 不能
+        // import 服务端模块，这里是客户端唯一的一份副本。它只在首次 getState 回来之前显示，
+        // 但用户恰好在这段窗口里点「保存」就会把回落值持久化，等于悄悄改掉默认值。
+        // 一致性由 tests/ui-defaults.test.mjs 守着。
+        h(Field, { label: t('privateTopK') }, h('input', { type: 'number', style: S.input, value: settings.privateTopK ?? 5, onChange: (e) => setSetting('privateTopK', Number(e.target.value)) })),
+        h(Field, { label: t('globalTopK') }, h('input', { type: 'number', style: S.input, value: settings.globalTopK ?? 5, onChange: (e) => setSetting('globalTopK', Number(e.target.value)) })),
+        h(Field, { label: t('mustRememberCap') }, h('input', { type: 'number', style: S.input, value: settings.mustRememberCap ?? 12, onChange: (e) => setSetting('mustRememberCap', Number(e.target.value)) })),
         h(Field, { label: t('shortTermTtlHours') }, h('input', { type: 'number', min: 0, style: S.input, value: settings.shortTermTtlHours ?? 72, onChange: (e) => setSetting('shortTermTtlHours', Number(e.target.value)) })),
         h(Field, { label: t('anchorTokens') }, h('input', { type: 'number', style: S.input, value: settings.anchorTokens ?? 800, onChange: (e) => setSetting('anchorTokens', Number(e.target.value)) })),
         h(Field, { label: t('turnTokens') }, h('input', { type: 'number', style: S.input, value: settings.turnTokens ?? 800, onChange: (e) => setSetting('turnTokens', Number(e.target.value)) })),
         h(Field, { label: t('injectionTotalTokens') }, h('input', { type: 'number', style: S.input, value: settings.injectionTotalTokens ?? 2000, onChange: (e) => setSetting('injectionTotalTokens', Number(e.target.value)) })),
-        h(Field, { label: t('dedupeTurns') }, h('input', { type: 'number', style: S.input, value: settings.dedupeTurns ?? 8, onChange: (e) => setSetting('dedupeTurns', Number(e.target.value)) })),
-        h(Field, { label: t('globalEveryNTurns') }, h('input', { type: 'number', style: S.input, value: settings.globalEveryNTurns ?? 3, onChange: (e) => setSetting('globalEveryNTurns', Number(e.target.value)) })),
+        h(Field, { label: t('dedupeTurns') }, h('input', { type: 'number', style: S.input, value: settings.dedupeTurns ?? 16, onChange: (e) => setSetting('dedupeTurns', Number(e.target.value)) })),
+        h(Field, { label: t('globalEveryNTurns') }, h('input', { type: 'number', style: S.input, value: settings.globalEveryNTurns ?? 6, onChange: (e) => setSetting('globalEveryNTurns', Number(e.target.value)) })),
         h(Field, { label: t('minUserChars') }, h('input', { type: 'number', style: S.input, value: settings.minUserChars ?? 6, onChange: (e) => setSetting('minUserChars', Number(e.target.value)) })),
         h(Field, { label: t('relevanceThreshold') }, h('input', { type: 'number', step: '0.05', min: 0, max: 1, style: S.input, value: settings.relevanceThreshold ?? 0.4, onChange: (e) => setSetting('relevanceThreshold', Number(e.target.value)) })),
-        h(Field, { label: t('randomCueChance') }, h('input', { type: 'number', step: '0.01', min: 0, max: 1, style: S.input, value: settings.randomCueChance ?? 0.05, onChange: (e) => setSetting('randomCueChance', Number(e.target.value)) })),
+        h(Field, { label: t('randomCueChance') }, h('input', { type: 'number', step: '0.01', min: 0, max: 1, style: S.input, value: settings.randomCueChance ?? 0.02, onChange: (e) => setSetting('randomCueChance', Number(e.target.value)) })),
         h(Field, { label: t('autoInstall') }, h('input', { type: 'checkbox', checked: settings.autoInstallEngine !== false, onChange: (e) => setSetting('autoInstallEngine', e.target.checked) })),
         h(Field, { label: t('newSessionPrompt') }, h('input', { type: 'checkbox', checked: settings.newSessionPromptDismissed !== true, onChange: (e) => setSetting('newSessionPromptDismissed', !e.target.checked) })),
         h(Field, { label: t('habitsInjection') }, h('input', { type: 'checkbox', checked: settings.habitsInjection !== false, onChange: (e) => setSetting('habitsInjection', e.target.checked) })),
@@ -3795,7 +3815,7 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
           names: settings.inboundToolNames || [], onChange: values => setSetting('inboundToolNames', values),
         })),
         h(Field, { label: t('sleepConsolidation') }, h('input', { type: 'checkbox', checked: settings.sleepConsolidation === true, onChange: (e) => setSetting('sleepConsolidation', e.target.checked) })),
-        h(Field, { label: t('sleepAfterIdleMinutes') }, h('input', { type: 'number', min: 1, style: S.input, value: settings.sleepAfterIdleMinutes ?? 20, onChange: (e) => setSetting('sleepAfterIdleMinutes', Number(e.target.value)) })),
+        h(Field, { label: t('sleepAfterIdleMinutes') }, h('input', { type: 'number', min: 1, style: S.input, value: settings.sleepAfterIdleMinutes ?? 3, onChange: (e) => setSetting('sleepAfterIdleMinutes', Number(e.target.value)) })),
         h(Field, { label: t('autoCurateEveryHours') }, h('input', { type: 'number', min: 0, style: S.input, value: settings.autoCurateEveryHours ?? 0, onChange: (e) => setSetting('autoCurateEveryHours', Number(e.target.value)) })),
         h(Field, { label: t('autoCurateSessionLimit') }, h('input', { type: 'number', min: 1, max: 30, style: S.input, value: settings.autoCurateSessionLimit ?? 8, onChange: (e) => setSetting('autoCurateSessionLimit', Number(e.target.value)) })),
         h(Field, { label: t('purgeArchivedAfterDays') }, h('input', { type: 'number', min: 0, style: S.input, value: settings.purgeArchivedAfterDays ?? 0, onChange: (e) => setSetting('purgeArchivedAfterDays', Number(e.target.value)) })),
@@ -4023,6 +4043,9 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
         const set = (key, value) => setBrowseDraft((prev) => ({
           ...prev, [f.id]: { ...(prev[f.id] || {}), [key]: value },
         }))
+        // 有构成就讲构成；没有就回到旧的单值标签，老条目照旧可读。
+        const moodText = emotionTagText(f.emotion)
+          || (typeof f.moodValence === 'number' && f.moodValence !== 0 ? f.moodValence.toFixed(2) : '')
         return h('div', { key: f.id, style: S.item },
           h('div', { style: { display: 'flex', justifyContent: 'space-between', gap: 8, alignItems: 'center' } },
             h('div', { style: S.row },
@@ -4051,8 +4074,7 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
               f.salientDate
                 ? h(Tag, null, `${/^\d{4}-\d{2}-\d{2}$/.test(f.salientDate) ? t('dueDateTag') : t('anniversaryTag')} ${f.salientDate}`)
                 : null,
-              typeof f.moodValence === 'number' && f.moodValence !== 0
-                ? h(Tag, null, `${t('moodTag')} ${f.moodValence.toFixed(2)}`) : null,
+              moodText ? h(Tag, null, `${t('moodTag')} ${moodText}`) : null,
               typeof f.accuracy === 'number' && typeof f.confidence === 'number' && f.accuracy <= 0.6 && f.accuracy < f.confidence - 0.1
         ? h(Tag, { tone: 'warn' }, `${t('accuracyTag')} ${f.accuracy}`) : null,
               h(Tag, null, enumText(t, STATUS_LABELS, f.status || 'active'))),
@@ -4442,7 +4464,7 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
 
       const LOG_KIND_LABELS = {
         recall: t('logKindRecall'), write: t('logKindWrite'), consolidate: t('logKindConsolidate'),
-        curate: t('logKindCurate'), vector: t('logKindVector'), error: t('logKindError'), system: t('logKindSystem'),
+        curate: t('logKindCurate'), vector: t('logKindVector'), error: t('logKindError'), system: t('logKindSystem'), check: t('logKindCheck'),
       }
       const logsBlock = h(React.Fragment, null,
         h(Section, {
@@ -4472,7 +4494,7 @@ const SOURCE_LABELS = { user_said: 'sourceUserSaid', inferred: 'sourceInferred',
             onChange: (event) => setLogKind(event.target.value),
           },
           h('option', { value: '' }, t('logAllKinds')),
-          ['recall', 'write', 'consolidate', 'curate', 'vector', 'error'].map(kind => h('option', { key: kind, value: kind }, LOG_KIND_LABELS[kind]))),
+          ['recall', 'write', 'consolidate', 'curate', 'vector', 'error', 'check'].map(kind => h('option', { key: kind, value: kind }, LOG_KIND_LABELS[kind]))),
           h('input', {
             style: S.input,
             value: logQueryInput,