@a9i5k4/dsh-auto-memory 2.4.1 → 2.5.0

package/lib/index.js

@@ -266,8 +266,11 @@ const DEFAULT_CONFIG = {
   waterLevelAdvisory: true,
   /** 水位越阈时自动写一篇系统骨架账本(每会话一次;模型仍应自己写正式交接)。 */
   waterLevelAutoHandoff: true,
-  /** 自动接续(默认开):水位≥阈值 且 harness 权威 running==false(轮次边界,取代旧"两轮水位持平")时弹确认卡。 */
-  autoContinueEnabled: true,
+  /** 自动接续(默认关):水位≥阈值 且 harness 权威 running==false(轮次边界,取代旧"两轮水位持平")时弹确认卡。 */
+  // 2026-09-10 改为默认关(口径未修前刚过半就触发,纯浪费)。2026-09-13 口径已修:分母=官方声明窗口
+  // (不再扣预留输出),与官方压缩同坐标系 —— 是否翻回默认开由用户验证后定夺,此处保持 false 不动。
+  // 注:老用户已落盘的显式值不受影响,只有新装用户吃这个默认。
+  autoContinueEnabled: false,
   /** 自动接续水位阈值(0.5-0.95);2026-09-08 与 waterLevelThreshold 同步下调到 0.75(官方自动压缩阈值 80%,必须留余量)。 */
   autoContinueThreshold: 0.75,
   /** 确认卡倒计时秒数(30-40s 无操作 = 挂机 → 自动接续兜底)。 */
@@ -1897,7 +1900,14 @@ class MemoryEngine {
         sig = scanPressureSignalsPre(events)
       } catch (eSig) {}
       const reserve = Number(sessModel.maxTokens) || Number(sig.reservedTokens) || 0
-      const effectiveWin = (reserve > 0 && reserve < win * 0.9) ? (win - reserve) : win
+      // ② 判定窗(2026-09-13 口径修正,NEXT-VERSION-TODO 改点1):正常触发线与官方压缩同坐标系 ——
+      // 分母 = 官方声明窗口 win,provider 自报过硬限(400 文本)时取二者较小值。**不再把预留输出 reserve
+      // 从分母里扣**:旧口径(分母 = win − reserve =「单请求可用额度」)让水位被系统性放大 —— 本机
+      // 1,048,576 − 384,000 = 664,576,上下文刚过半(≈46 万)就触发接续,而官方约 80%(≈83.9 万)才压缩。
+      // reserve 收缩为两个职责:①「距硬墙余量」展示(waterLevelWall) ②硬判据 estTokens + reserve > 判定窗
+      // (下一次请求就会被 provider 拒绝时才硬触发;本机即 400 事故的复现边界:666,044 + 384,000 > 1,048,576)。
+      const hardWin = Number(sig.overflow && sig.overflow.windowTokens) || 0
+      const triggerWin = hardWin > 0 ? Math.min(win, hardWin) : win
       let estTokens = 0
       let meterLayer = 'heuristic'
       try {
@@ -1940,39 +1950,41 @@ class MemoryEngine {
       } catch (e) {}
       // 旧实现硬截断到 1.5 → 任何超额水位都显示成 150%,掩盖真实占用(用户实测 761692/131072 被显示为 150%)。
       // 现在如实上报,仅做防溢出的 99 倍上限。
-      const ratio = effectiveWin > 0 && Number.isFinite(estTokens) ? Math.min(estTokens / effectiveWin, 99) : 0
+      const ratio = triggerWin > 0 && Number.isFinite(estTokens) ? Math.min(estTokens / triggerWin, 99) : 0
       const threshold = Math.max(Number(this.config.waterLevelThreshold) || 0.75, 0.1)
       // 硬触发:官方已经压缩过/已撞过窗口墙 —— 这一刻必须接续,不依赖比例是否算得准。
-      const hard = compacted || overflowed
+      // 2026-09-13 增加预测性硬墙:estTokens + reserve > 判定窗 ⇒ 下一次请求必被 provider 拒绝
+      // (消息实占 + 预留输出 > 上限,v2.4.1 之前的 400 事故就是这个等式)。
+      const hardWall = estTokens > 0 && (estTokens + reserve > triggerWin)
+      const hard = compacted || overflowed || hardWall
       const armRatio = hard ? Math.max(ratio, threshold) : ratio
       rt.waterLevel = armRatio
       rt.waterLevelTokens = estTokens
       // 2026-09-10:pre-step 的 arm 走的是 runtime 字段(见 checkWaterLevelAtStep → armAutoContinue),
       // 这里只写了 ratio/tokens、漏写 window/source,于是确认卡显示「512,311 / 0 token」(实测)。
       // 与 state 同源同值,一处漏写两处都缺 —— 必须成对维护。
-      rt.waterLevelWindow = effectiveWin
+      rt.waterLevelWindow = triggerWin
       rt.waterLevelSource = winSource
       this.state.waterLevelRatio = armRatio
       this.state.waterLevelTokens = estTokens
-      this.state.waterLevelWindow = effectiveWin
+      this.state.waterLevelWindow = triggerWin
       this.state.waterLevelSource = winSource
       this.state.waterLevelMeter = meterLayer
       this.state.waterLevelModel = sessModel.model || winInfo.model || ''
       this.state.waterLevelAt = Date.now()
       this.state.waterLevelMeasuredTokens = estTokens
       this.state.waterLevelReserve = reserve
-      // 双口径(2026-09-10):官方小圈的分母是**声明窗口**(win),我们的分母是**可用额度**(effectiveWin),
-      // 两者在本机差 384,000(预留输出)。用户看到「才 50% 就接续」正是因为只看到小圈那个数 ——
-      // 把 ring 一并上报,界面就能同时显示「占可用额度 x% · 官方小圈 y%」,不再各说各话。
-      this.state.waterLevelRing = (win > 0 && Number.isFinite(estTokens)) ? (estTokens / win) : 0
+      // 双口径(2026-09-13 起):水位/触发/ring 同用一个分母(判定窗 = 官方声明窗口,provider 自报过硬限时取 min)。
+      // 旧「可用额度 vs 声明窗口」双口径随 reserve 退出分母而消失;保留的第二个数是「距硬墙余量」(hardWin − reserve,
+      // 只有撞过 400 的会话才有 hardWin)。ring 与 ratio 同分母:硬限未知的普通会话里 ring 就等于官方小圈读数。
+      this.state.waterLevelRing = (triggerWin > 0 && Number.isFinite(estTokens)) ? (estTokens / triggerWin) : 0
       // provider 自报的硬上限只有撞过墙(400 文本)才拿得到;拿得到就把「真实可写上限」也算出来,
       // 让界面能显示「距硬墙还剩多少 token」(本机 = 1,048,576 − 384,000 = 664,576)。
-      const hardWin = Number(sig.overflow && sig.overflow.windowTokens) || 0
       this.state.waterLevelWall = hardWin > 0 ? Math.max(0, hardWin - reserve) : 0
-      this.state.waterLevelHardTrigger = hard ? (compacted ? 'compaction' : 'overflow') : ''
+      this.state.waterLevelHardTrigger = hard ? (compacted ? 'compaction' : overflowed ? 'overflow' : 'wall') : ''
       // 会话级记录:切会话时 /handoff-state?sessionId= 直接取这份,不再显示别的会话的数
       this.rememberWaterRecord(agent && agent.session && agent.session.id ? String(agent.session.id) : '', {
-        ratio: armRatio, measuredRatio: ratio, tokens: estTokens, measuredTokens: estTokens, window: effectiveWin,
+        ratio: armRatio, measuredRatio: ratio, tokens: estTokens, measuredTokens: estTokens, window: triggerWin,
         windowRaw: win, reserve, source: winSource, meter: meterLayer, model: this.state.waterLevelModel || '',
         threshold, hardTrigger: this.state.waterLevelHardTrigger, at: Date.now(), live: true,
       })
@@ -1981,7 +1993,7 @@ class MemoryEngine {
       if (!rt.waterLevelAdvised || compacted || overflowed) {
         rt.waterLevelAdvised = true
         diag('water level advisory: ratio=' + ratio.toFixed(2) + (hard ? '→' + armRatio.toFixed(2) + '(hard:' + this.state.waterLevelHardTrigger + ')' : '') +
-          ' tokens=' + estTokens + '/' + effectiveWin + '(win=' + win + ' reserve=' + reserve + ')' +
+          ' tokens=' + estTokens + '/' + triggerWin + '(win=' + win + ' reserve=' + reserve + (hardWin > 0 ? ' hardWin=' + hardWin : '') + ')' +
           ' src=' + (winSource || '?') + ' meter=' + meterLayer + (compacted ? ' compaction-detected' : ''))
       }
       if (this.config.waterLevelAutoHandoff !== false && (!rt.waterLevelAutoHandoffDone || compacted || overflowed)) {
@@ -2088,6 +2100,96 @@ class MemoryEngine {
     return true
   }
 
+  // ---------- 接续序号 v2(2026-09-13,NEXT-VERSION-TODO 改点2):持久计数器 ----------
+  /** 接续序号计数器文件(~/.dsh/memory/cont-seq.json)。放在全局记忆根而非各工作区 handoff/ 目录:
+   *  handoffDir 按工作区解析,放那里既会被"落盘失败/清理"带偏计数,也无法保证「换工作区接续不重复已有序号」;
+   *  全局单文件 + 工作区记账键(byWorkspace,键=工作区路径,仅作记账与兜底)既跨重启持久、又全局单调不重号。
+   *  旧口径(数 handoff 目录里 prev-session-*.md 的文件数 +1)在落盘失败/跨工作区/carry 复用时重复或跳号,
+   *  且取数为空时 rename 被整段跳过、标题退回自动生成 —— 均为用户实机观察过的现象。 */
+  contSeqFile() { return path.join(dshHome(), 'memory', 'cont-seq.json') }
+
+  loadContSeqState() {
+    try {
+      const obj = JSON.parse(readFileSync(this.contSeqFile(), 'utf8'))
+      if (obj && typeof obj === 'object') {
+        return {
+          last: Number(obj.last) || 0,
+          byWs: (obj.byWorkspace && typeof obj.byWorkspace === 'object') ? obj.byWorkspace : {},
+        }
+      }
+    } catch (e) {}
+    return null
+  }
+
+  saveContSeqState(st) {
+    try {
+      mkdirSync(path.dirname(this.contSeqFile()), { recursive: true })
+      writeFileSync(this.contSeqFile(), JSON.stringify({ last: st.last, byWorkspace: st.byWs, updatedAt: Date.now() }, null, 2), 'utf8')
+      return true
+    } catch (e) { diag('cont-seq persist failed (in-memory only): ' + ((e && e.message) || e)); return false }
+  }
+
+  /** 兼容老数据:计数器文件缺失/为空时,从既有会话日志解析历史「接续 #N / Cont.#N」标题的最大序号。
+   *  扫描 ~/.dsh/sessions/<工作区>/<会话>/session.jsonl[.zstd],按 mtime 新→旧最多 120 个;找不到返回 0。 */
+  async scanMaxContSeq() {
+    try {
+      const sessionsDir = path.join(dshHome(), 'sessions')
+      const wsDirs = await readdir(sessionsDir).catch(() => [])
+      const cands = []
+      for (const w of wsDirs) {
+        const sids = await readdir(path.join(sessionsDir, w)).catch(() => [])
+        for (const sid of sids) {
+          const file = await this.resolveSessionFile(path.join(sessionsDir, w, sid))
+          if (!file) continue
+          const st = await stat(file).catch(() => null)
+          if (st && st.isFile()) cands.push({ file, mt: Number(st.mtimeMs) || 0 })
+        }
+      }
+      cands.sort((a, b) => b.mt - a.mt)
+      let max = 0
+      for (const { file } of cands.slice(0, 120)) {
+        try {
+          const buf = await readFile(file)
+          const text = file.endsWith('.zstd') ? (zstdDec ? zstdDecodeAllFrames(buf) : '') : buf.toString('utf8')
+          if (!text) continue
+          const re = /(?:接续 #|Cont\.#)(\d+)/g
+          let m
+          while ((m = re.exec(text))) { const n = Number(m[1]) || 0; if (n > max) max = n }
+        } catch (eF) {}
+      }
+      return max
+    } catch (e) { return 0 }
+  }
+
+  /** 分配下一个接续序号:全局单调递增(换工作区也不重号),持久化到 cont-seq.json。
+   *  文件缺失时先从历史标题解析最大值兜底(兼容 v2.4.2 及之前的文件计数老数据)。
+   *  持久化失败只记 diag、序号照常返回(退化为进程内计数),不得阻塞接续。 */
+  async allocContSeq(wsKey) {
+    const st = this.loadContSeqState() || { last: 0, byWs: {} }
+    if (!(st.last > 0)) {
+      const scanned = await this.scanMaxContSeq().catch(() => 0)
+      if (scanned > st.last) st.last = scanned
+    }
+    for (const v of Object.values(st.byWs)) { const n = Number(v) || 0; if (n > st.last) st.last = n }
+    const next = st.last + 1
+    st.last = next
+    if (wsKey) st.byWs[String(wsKey)] = next
+    this.saveContSeqState(st)
+    return next
+  }
+
+  /** 回滚刚分配的序号(转写包落盘失败时调用,保证不跳号)。只撤自己刚发出的那个号。 */
+  rollbackContSeq(wsKey, seq) {
+    try {
+      const n = Number(seq) || 0
+      if (!n) return
+      const st = this.loadContSeqState() || { last: n, byWs: {} }
+      if (st.last === n) st.last = n - 1
+      if (wsKey && Number(st.byWs[String(wsKey)]) === n) delete st.byWs[String(wsKey)]
+      this.saveContSeqState(st)
+    } catch (e) { diag('cont-seq rollback failed: ' + ((e && e.message) || e)) }
+  }
+
   /** M-CM6-C·宿主兜底自动接续(2026-09-08,2.2.6):浏览器端 AutoContinueHost 被后台节流/关闭时,
    *  宿主自身在倒计时到期后直接建新会话。协议:turn-stopping 且水位≥阈值 → arm 倒计时(confirmSeconds,
    *  默认 35s,写入 _autoContState)→ 浏览器轮询 GET auto-continue-state 显示确认卡(同意=POST decide
@@ -2531,6 +2633,10 @@ class MemoryEngine {
       const NL = String.fromCharCode(10)
       const stamp = new Date().toISOString().slice(11, 19).replace(/:/g, '')
       const outPath = path.join(p.handoffDir, 'prev-session-' + sid.slice(0, 8) + '-' + stamp + '.md')
+      // 接续序号 v2(2026-09-13):先分配序号、再写包;写包失败回滚计数器(不跳号)。
+      // 序号属于这次接续(新会话标题「接续 #N」用),分配即持久化,重启/换工作区都不重号。
+      let contSeq = 0
+      try { contSeq = await this.allocContSeq(p.ws) } catch (eSeq) { diag('allocContSeq error: ' + ((eSeq && eSeq.message) || eSeq)) }
       const body = [
         '# 旧会话完整转写(' + sid + ')', '',
         '- 旧会话 ID: ' + sid,
@@ -2547,11 +2653,17 @@ class MemoryEngine {
         body.push(chunk)
         total += chunk.length
       }
-      await mkdir(p.handoffDir, { recursive: true })
-      await writeFile(outPath, body.join(NL), 'utf8')
+      try {
+        await mkdir(p.handoffDir, { recursive: true })
+        await writeFile(outPath, body.join(NL), 'utf8')
+      } catch (eW) {
+        // 包落盘失败 → 回滚刚分配的序号,保证不跳号(carry 会用持久计数器重新兜底)
+        if (contSeq) { try { this.rollbackContSeq(p.ws, contSeq) } catch (eR) {} }
+        throw eW
+      }
       const tail = msgs.slice(-20).map((m) => m.role + ': ' + m.text.slice(0, 700)).join(NL + '---' + NL)
-      diag('prev-session pack built: sid=' + sid + ' msgs=' + msgs.length + ' model=' + (model || '-') + '@' + (provider || '-') + ' effort=' + (reasoningEffort || '-') + ' -> ' + outPath)
-      return { sessionId: sid, transcriptPath: outPath, provider, model, reasoningEffort, agentPreset: preset, cwd: cwd || p.ws, tailText: tail, msgCount: msgs.length }
+      diag('prev-session pack built: sid=' + sid + ' msgs=' + msgs.length + ' model=' + (model || '-') + '@' + (provider || '-') + ' effort=' + (reasoningEffort || '-') + ' contSeq=' + contSeq + ' -> ' + outPath)
+      return { sessionId: sid, transcriptPath: outPath, contSeq, provider, model, reasoningEffort, agentPreset: preset, cwd: cwd || p.ws, tailText: tail, msgCount: msgs.length }
     } catch (e) { diag('buildPrevSessionPack error: ' + (e && e.message)); return null }
   }
 
@@ -2643,9 +2755,16 @@ class MemoryEngine {
           parts.push('【锚点表 · 记忆条目地图(按需下钻,不必通读)】' + NL + anchorSections.join(NL))
         }
       } catch (eAnchor) {}
-      // 接续序号:统计 handoff 目录里已有的 prev-session 包数量 +1(每次一键/自动接续产出一个)
-      let contSeq = 1
-      try { const prevs = (await readdir(p.handoffDir).catch(() => [])).filter((f) => /^prev-session-.*\.md$/.test(f)); contSeq = prevs.length + 1 } catch (eS) {}
+      // 接续序号 v2(2026-09-13,NEXT-VERSION-TODO 改点2):持久计数器,全局单调(跨工作区不重号)。
+      // 取值链:转写包路径已分配的(pack.contSeq)→ 包缺失/失败时用持久计数器兜底分配 → 计数器彻底不可用
+      // 再退旧「文件数+1」口径 → 最后退 1。contSeq 必须有值:为空时两侧 rename 都被跳过、新会话标题
+      // 退回自动生成(v2.4.2 前的老毛病),这里从源头保证非空。
+      let contSeq = Number(pack && pack.contSeq) || 0
+      if (!contSeq) { try { contSeq = await this.allocContSeq(p.ws) } catch (eSeq2) {} }
+      if (!contSeq) {
+        try { const prevs = (await readdir(p.handoffDir).catch(() => [])).filter((f) => /^prev-session-.*\.md$/.test(f)); contSeq = prevs.length + 1 } catch (eS) {}
+      }
+      if (!contSeq) contSeq = 1
       const wsBase = String((pack && pack.cwd) || p.ws || '').split(/[\\/]/).filter(Boolean).pop() || ''
       return {
         ok: true,

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@a9i5k4/dsh-auto-memory",
   "description": "Proactive associative memory for DSH: zero-prompt recall injected before the model speaks, three-layer auto-consolidation, skill crystallization, and Astra-style context management - handoff ledgers, PLAN whiteboard, water-level sensing. Local-first, model-agnostic, zero deps. 主动联想记忆+Astra 式上下文管理:自动唤回/自动沉淀/技能固化/交接账本与白板跨窗口续命/水位感知。",
-  "version": "2.4.1",
+  "version": "2.5.0",
   "type": "module",
   "main": "lib/index.js",
   "exports": {