@a9i5k4/dsh-auto-memory 3.1.5 → 3.1.6

package/lib/context-bridge.js

@@ -3,7 +3,7 @@
  * 零 IO、零依赖(除 node:crypto);不接 Host、不写文件、不启动 Python、不改 prompt。
  *
  * 组成:
- *   1) 策略/预算常量(CONTEXT_BRIDGE_BUDGET_V1 / 版本化词典)
+ *   1) 策略/预算常量(CONTEXT_BRIDGE_BUDGET_PRE_V1 / 版本化词典)
  *   2) ContextSegmentPre / AuthorizedMemoryRefPre / EvidenceAggregatePre validator
  *   3) ContextPushEnvelopePre validator + canonical identity(observationId)
  *   4) AccessEvidencePre validator + deterministic evidenceId
@@ -24,13 +24,13 @@ const first32 = (h) => h.slice(0, 32)
 const clamp01 = (x) => Math.max(0, Math.min(1, Number(x) || 0))
 
 export { NAMESPACE }
-export const CONTEXT_BRIDGE_POLICY_VERSION = 'context_bridge_v1'
-export const EVIDENCE_POLICY_VERSION = 'evidence_v1'
-export const OBSERVATION_PREFIX = 'obs_'
-export const EVIDENCE_PREFIX = 'ev_'
+export const CONTEXT_BRIDGE_POLICY_VERSION = 'context_bridge_pre_v1'
+export const EVIDENCE_POLICY_VERSION = 'evidence_pre_v1'
+export const OBSERVATION_PREFIX = 'obs_pre_'
+export const EVIDENCE_PREFIX = 'ev_pre_'
 
 /** §4 budget(冻结;变更必须升级 contextPolicyVersion)。 */
-export const CONTEXT_BRIDGE_BUDGET_V1 = Object.freeze({
+export const CONTEXT_BRIDGE_BUDGET_PRE_V1 = Object.freeze({
   maxSegments: 8,
   maxInputBytes: 4096,
   maxMemoryRefs: 8,
@@ -42,16 +42,16 @@ export const CONTEXT_BRIDGE_BUDGET_V1 = Object.freeze({
 })
 
 /** §6 AccessKindPre 枚举。 */
-export const ACCESS_KINDS_V1 = Object.freeze(['seen', 'read', 'cite', 'reuse', 'success', 'correction'])
+export const ACCESS_KINDS_PRE_V1 = Object.freeze(['seen', 'read', 'cite', 'reuse', 'success', 'correction'])
 
 /** §5 ContextAckPre reason 枚举(版本化)。 */
-export const ACK_REASONS_V1 = Object.freeze(['ok', 'disabled', 'busy', 'unsupported', 'oversize', 'stale'])
+export const ACK_REASONS_PRE_V1 = Object.freeze(['ok', 'disabled', 'busy', 'unsupported', 'oversize', 'stale'])
 
 /** §7 cite 引用分类器 v1:只认完整 memoryId token(保守;变更必须升级版本)。 */
-export const CITATION_MEMORY_ID_PATTERN_V1 = /mem_[0-9a-f]{32}/g
+export const CITATION_MEMORY_ID_PATTERN_PRE_V1 = /mem_[0-9a-f]{32}/g
 
 /** §7 correction 分类器 v1 冻结词典(用户纠正/拒绝/反例;precision-first)。 */
-export const CORRECTION_LEXICON_V1 = Object.freeze([
+export const CORRECTION_LEXICON_PRE_V1 = Object.freeze([
   '不对', '错了', '不是这样', '反了', '纠正', '过时', '失效', '别再用', '作废',
   'wrong', 'incorrect', 'not right', 'actually no', 'outdated', 'deprecated', 'obsolete', 'disagree',
 ])
@@ -96,7 +96,7 @@ export function validateAuthorizedMemoryRefPre(ref) {
   if (typeof ref.recordDigest !== 'string' || !HEX64_RE.test(ref.recordDigest)) p.push('recordDigest')
   if (ref.excerpt !== undefined) {
     if (typeof ref.excerpt !== 'string') p.push('excerpt')
-    else if (Buffer.byteLength(ref.excerpt, 'utf8') > CONTEXT_BRIDGE_BUDGET_V1.excerptBytes) p.push('excerpt-budget')
+    else if (Buffer.byteLength(ref.excerpt, 'utf8') > CONTEXT_BRIDGE_BUDGET_PRE_V1.excerptBytes) p.push('excerpt-budget')
   }
   if (p.length) return { ok: false, reason: 'invalid:' + p.join(',') }
   return { ok: true, ref }
@@ -124,7 +124,7 @@ export function validateAccessEvidencePre(ev) {
   if (ev.schemaVersion !== 1) p.push('schemaVersion')
   if (ev.namespace !== NAMESPACE) p.push('namespace')
   if (typeof ev.evidenceId !== 'string' || !ev.evidenceId.startsWith(EVIDENCE_PREFIX)) p.push('evidenceId')
-  if (!ACCESS_KINDS_V1.includes(ev.kind)) p.push('kind')
+  if (!ACCESS_KINDS_PRE_V1.includes(ev.kind)) p.push('kind')
   if (typeof ev.memoryId !== 'string' || !MEMORY_ID_RE.test(ev.memoryId)) p.push('memoryId')
   if (typeof ev.anchorId !== 'string' || !ev.anchorId) p.push('anchorId')
   if (!['Session', 'Workspace', 'User'].includes(ev.scope)) p.push('scope')
@@ -157,13 +157,13 @@ export function validateAccessEvidencePre(ev) {
 
 /** §4 canonical identity:observationId 由 sessionId+contextVersion+trigger digest+policy 决定。 */
 export function buildObservationId(sessionId, contextVersion, triggerDigest, policyVersion = CONTEXT_BRIDGE_POLICY_VERSION) {
-  const parts = ['context-push-v1', String(sessionId || ''), Number(contextVersion) || 0, String(triggerDigest || ''), policyVersion]
+  const parts = ['context-push-pre-v1', String(sessionId || ''), Number(contextVersion) || 0, String(triggerDigest || ''), policyVersion]
   return OBSERVATION_PREFIX + first32(sha256Str(JSON.stringify(parts)))
 }
 
 /** §9 幂等 identity:evidenceId 由 kind/memory/session 坐标/policy 决定(同事件重放同 id)。 */
 export function buildEvidenceId(input) {
-  const parts = ['access-evidence-v1', input.kind, input.memoryId, String(input.sessionId || ''), input.eventSeq | 0,
+  const parts = ['access-evidence-pre-v1', input.kind, input.memoryId, String(input.sessionId || ''), input.eventSeq | 0,
     input.nativeSeq === undefined ? null : input.nativeSeq, input.callId || null, input.contextVersion | 0,
     String(input.workspaceKey || ''), input.policyVersion || EVIDENCE_POLICY_VERSION]
   return EVIDENCE_PREFIX + first32(sha256Str(JSON.stringify(parts)))
@@ -283,7 +283,7 @@ export function createAccessEvidencePre(input) {
  * 完整 provenance(无可靠 owner 不建 evidence,§3)→ 每个一条 cite evidence。precision-first。
  */
 export function createCiteEvidencesFromText(input) {
-  const ids = [...new Set(String(input.text == null ? '' : input.text).match(CITATION_MEMORY_ID_PATTERN_V1) || [])].sort()
+  const ids = [...new Set(String(input.text == null ? '' : input.text).match(CITATION_MEMORY_ID_PATTERN_PRE_V1) || [])].sort()
   const out = []
   for (const mid of ids) {
     const rec = (input.knownRecords || []).find((r) => r.memoryId === mid)
@@ -301,7 +301,7 @@ export function createCiteEvidencesFromText(input) {
 /** correction 扫描:同一文本同时出现完整 memoryId 且命中纠正词典 → 每个一条 correction。 */
 export function createCorrectionEvidencesFromText(input) {
   const norm = String(input.text == null ? '' : input.text).normalize('NFKC').replace(/[A-Z]/g, (c) => c.toLowerCase())
-  if (!CORRECTION_LEXICON_V1.some((w) => norm.includes(w))) return []
+  if (!CORRECTION_LEXICON_PRE_V1.some((w) => norm.includes(w))) return []
   return createCiteEvidencesFromText(input).map((ev) => ({
     ...ev,
     kind: 'correction',
@@ -388,7 +388,7 @@ export function createFakeContextSinkPre(opts = {}) {
       frames.push(JSON.parse(JSON.stringify(frame)))
       if (frames.length > capacity) frames.shift()
       stats.accepted++
-      return { observationId: id, accepted: true, workerEpoch: 'fake-epoch-v1', reason: 'ok' }
+      return { observationId: id, accepted: true, workerEpoch: 'fake-epoch-pre-v1', reason: 'ok' }
     },
     async closeSession() { stats.closedSessions++ },
     async dispose() { frames.length = 0 },
@@ -401,7 +401,7 @@ export function validateContextAckPre(ack) {
   if (typeof ack.observationId !== 'string' || !ack.observationId) return { ok: false, reason: 'observationId' }
   if (typeof ack.accepted !== 'boolean') return { ok: false, reason: 'accepted' }
   if (ack.workerEpoch !== undefined && typeof ack.workerEpoch !== 'string') return { ok: false, reason: 'workerEpoch' }
-  if (ack.reason !== undefined && !ACK_REASONS_V1.includes(ack.reason)) return { ok: false, reason: 'reason' }
+  if (ack.reason !== undefined && !ACK_REASONS_PRE_V1.includes(ack.reason)) return { ok: false, reason: 'reason' }
   return { ok: true, ack }
 }
 
@@ -424,7 +424,7 @@ export function buildAuthorizedMemoryRefFromRecord(rec, excerptText) {
  * input: {session, cursor, index, trigger, window, memoryRefs, evidence, now, policyVersionGate?, policyVersionLexical?}
  */
 export function buildContextPushEnvelopePre(input) {
-  const B = CONTEXT_BRIDGE_BUDGET_V1
+  const B = CONTEXT_BRIDGE_BUDGET_PRE_V1
   const drop = []
   const session = input && input.session ? input.session : {}
   const cursor = input && input.cursor ? input.cursor : {}
@@ -483,8 +483,8 @@ export function buildContextPushEnvelopePre(input) {
     evidence: aggs.map((a) => a.aggregate),
     policy: {
       contextPolicyVersion: CONTEXT_BRIDGE_POLICY_VERSION,
-      gatePolicyVersion: String(input.policyVersionGate || 'gate_v1'),
-      lexicalPolicyVersion: String(input.policyVersionLexical || 'lexical_v2'),
+      gatePolicyVersion: String(input.policyVersionGate || 'gate_pre_v1'),
+      lexicalPolicyVersion: String(input.policyVersionLexical || 'lexical_pre_v2'),
       evidencePolicyVersion: EVIDENCE_POLICY_VERSION,
     },
     budget: { maxSegments: B.maxSegments, maxInputBytes: B.maxInputBytes, maxMemoryRefs: B.maxMemoryRefs, maxEvidenceItems: B.maxEvidenceItems },
@@ -534,7 +534,7 @@ export function createContextPushBridge(opts = {}) {
   const sink = opts.sink
   if (!sink || typeof sink.push !== 'function') throw new Error('context-bridge: sink required')
   const signal = opts.signal
-  const sent = new BoundedIdSet(CONTEXT_BRIDGE_BUDGET_V1.sentObservationIds)
+  const sent = new BoundedIdSet(CONTEXT_BRIDGE_BUDGET_PRE_V1.sentObservationIds)
   const inflight = new Map()
   const stats = { sent: 0, accepted: 0, duplicates: 0, superseded: 0, aborted: 0, errors: 0 }
   async function push(frame) {

package/lib/context-host.js

@@ -1,3 +1,4 @@
+import { memoryDir } from './datadir.js'
 /**
  * M5-3 Context Bridge Host Wiring(docs/M5-CONTRACT.md §12 M5-3)。
  * 桥接 lib/index.js(M2 SessionRuntime/事件流)与 M5-1 纯核心+M5-2 Store:
@@ -5,7 +6,7 @@
  *   - accepted Segment → 组装 ContextPushEnvelopePre(trigger/window/memoryRefs/aggregates)
  *     → Null/Fake sink(按 config.contextSinkMode 切换)→ push bridge(幂等/latest-wins/abort)
  *   - read coverage/cite/correction → AccessEvidencePre → EvidenceEventStore(隐私投影落盘)
- *   - memoryRefs 选择复用 M4 lexical_v2 可解释基线与 m4-corpus 授权校验链;
+ *   - memoryRefs 选择复用 M4 lexical_pre_v2 可解释基线与 m4-corpus 授权校验链;
  *     M4 Shadow audit 候选绝不追认为 seen/read(本模块不读 shadow audit,结构隔离)。
  * 默认关闭(associativeMemoryEnabled && contextBridgeEnabled 双门):零构造、零 IO、零留存。
  * 本模块自身无 spawn/HTTP;contextSinkMode='python' 仅在 assoc∧bridge∧pythonBackend 三重门下
@@ -20,8 +21,8 @@ import {
   buildContextPushEnvelopePre, buildAuthorizedMemoryRefFromRecord, createAccessEvidencePre,
   createCiteEvidencesFromText, createCorrectionEvidencesFromText, computeReadCoverage,
   createContextPushBridge, createNullContextSinkPre, createFakeContextSinkPre,
-  CORRECTION_LEXICON_V1,
-  CONTEXT_BRIDGE_BUDGET_V1, CONTEXT_BRIDGE_POLICY_VERSION, EVIDENCE_POLICY_VERSION,
+  CORRECTION_LEXICON_PRE_V1,
+  CONTEXT_BRIDGE_BUDGET_PRE_V1, CONTEXT_BRIDGE_POLICY_VERSION, EVIDENCE_POLICY_VERSION,
 } from './context-bridge.js'
 import { EvidenceEventStore, rebuildAggregates, workspaceRefOf } from './evidence-store.js'
 import { createPythonContextSinkPre } from './context-sink-python.js'
@@ -42,11 +43,11 @@ function diagCtx(msg) {
     // ★#86-3：统一口径。原实现把 `USERPROFILE || HOME` **直接**当 DSH_HOME（不拼 .dsh）
     //   ⇒ 在 Windows 上得到 `C:\Users\X` 而非 `C:\Users\X\.dsh`，与其余 6 处**指向不同目录**。
     // ★同时修掉一个**潜伏 bug**：原代码在 `DSH_HOME` 已设置时仍 `path.join(base, '.dsh', ...)`，
-    //   即落成 `$DSH_HOME/.dsh/dsh-auto-memory-diagnose.log`（**多拼一层 .dsh**）；
+    //   即落成 `$DSH_HOME/.dsh/dsh-auto-memory-pre-diagnose.log`（**多拼一层 .dsh**）；
     //   未设置时才恰好正确。resolveDshHomePre() 返回的**已经是 dsh home 本身**，故不再拼 .dsh。
     const base = resolveDshHomePre()
     if (!base) return
-    appendFileSync(path.join(base, 'dsh-auto-memory-diagnose.log'),
+    appendFileSync(path.join(base, 'dsh-auto-memory-pre-diagnose.log'),
       new Date().toISOString() + ' [ctx-host] ' + String(msg).slice(0, 300) + '\n', 'utf8')
   } catch (e) {}
 }
@@ -119,7 +120,7 @@ export function createContextHost(opts = {}) {
   let bridge = null
   let store = null
   let aggCache = null // {wsRef, miv, list}
-  const registry = new CorpusRegistry({ sidecarDir: path.join(dshHome(), 'memory', 'index', 'files') })
+  const registry = new CorpusRegistry({ sidecarDir: path.join(memoryDir('index', dshHome), 'files') })
 
   function dshHome() {
     // ★#86-3：统一口径（含 __homedirFn 注入点保留）
@@ -165,14 +166,14 @@ export function createContextHost(opts = {}) {
   }
   function storeFor() {
     if (!store) store = new EvidenceEventStore({
-      root: path.join(dshHome(), 'memory', 'evidence'),
+      root: memoryDir('evidence', dshHome),
       // ★P3-9（组2，2026-09-22）：注入统一节流诊断通道；不注入时 store 内回落 console.error。
       onDiag: (key, msg) => { try { diagCtx(msg) } catch (_) {} },
     })
     return store
   }
   function evidenceRootExists() {
-    const p = path.join(dshHome(), 'memory', 'evidence')
+    const p = memoryDir('evidence', dshHome)
     try { return existsSync(p) } catch (_) { return false }
   }
   function stateFor(runtime) {
@@ -338,7 +339,7 @@ export function createContextHost(opts = {}) {
       const readyPromise = needIndexReady ? ensureIndexReadyFor(paths, corpusSnap) : Promise.resolve({ ready: true })
       // ---- envelope 组装与推送 ----
       const ringItems = runtime.segments ? runtime.segments.snapshot() : []
-      const winRaw = ringItems.slice(-CONTEXT_BRIDGE_BUDGET_V1.maxSegments).map((w) => ({
+      const winRaw = ringItems.slice(-CONTEXT_BRIDGE_BUDGET_PRE_V1.maxSegments).map((w) => ({
         segmentId: w.id, digest: w.digest, kind: w.kind, eventSeq: w.eventSeq,
         contextVersion: w.contextVersion, ts: w.ts, text: w.text,
         toolName: w.toolName != null ? w.toolName : null,
@@ -390,7 +391,7 @@ export function createContextHost(opts = {}) {
           // D6 融合候选池=词法 kept ∪ 稠密 top-K(语料中找回记录对象;语义强命中但词法零分者由此入选)
           const poolMap = new Map()
           for (const k of ls.kept) if (k && k.memoryId) poolMap.set(k.memoryId, k)
-          const denseTop = [...rank.scores.entries()].sort((a, b) => b[1] - a[1]).slice(0, CONTEXT_BRIDGE_BUDGET_V1.maxMemoryRefs)
+          const denseTop = [...rank.scores.entries()].sort((a, b) => b[1] - a[1]).slice(0, CONTEXT_BRIDGE_BUDGET_PRE_V1.maxMemoryRefs)
           for (const [mid] of denseTop) {
             if (!poolMap.has(mid)) {
               const rec = (corpusSnap.records || []).find((r) => r && r.memoryId === mid)
@@ -404,20 +405,20 @@ export function createContextHost(opts = {}) {
           }))).map((f) => poolMap.get(f.memoryId)).filter(Boolean)
         }
         const refs = []
-        for (const k of keptList.slice(0, CONTEXT_BRIDGE_BUDGET_V1.maxMemoryRefs)) {
+        for (const k of keptList.slice(0, CONTEXT_BRIDGE_BUDGET_PRE_V1.maxMemoryRefs)) {
           const r = buildAuthorizedMemoryRefFromRecord(k, k.text)
           if (r.ok) refs.push(r.ref)
         }
-        const aggs = aggregatesFor(wsRef, corpusSnap).slice(0, CONTEXT_BRIDGE_BUDGET_V1.maxEvidenceItems)
+        const aggs = aggregatesFor(wsRef, corpusSnap).slice(0, CONTEXT_BRIDGE_BUDGET_PRE_V1.maxEvidenceItems)
         const built = buildContextPushEnvelopePre({
           session: { sessionId: runtime.sessionId || '', agentId: runtime.agentId || '', workspaceKey: paths.workspaceKey, scope: 'Workspace' },
           cursor: { eventSeq: seg.eventSeq, nativeSeq: seg.nativeSeq, contextVersion: runtime.contextVersion },
-          index: { memoryIndexVersion: corpusSnap ? corpusSnap.memoryIndexVersion : ('idx_' + '0'.repeat(32)), sourceEpochs: corpusSnap ? corpusSnap.sources.map((s) => s.sourceEpoch) : [] },
+          index: { memoryIndexVersion: corpusSnap ? corpusSnap.memoryIndexVersion : ('idx_pre_' + '0'.repeat(32)), sourceEpochs: corpusSnap ? corpusSnap.sources.map((s) => s.sourceEpoch) : [] },
           trigger: {
             segmentId: seg.id, digest: seg.digest, kind: seg.kind, eventSeq: seg.eventSeq,
             contextVersion: seg.contextVersion, ts: seg.ts, text: seg.text,
           },
-          window: winRaw.slice(0, CONTEXT_BRIDGE_BUDGET_V1.maxSegments),
+          window: winRaw.slice(0, CONTEXT_BRIDGE_BUDGET_PRE_V1.maxSegments),
           memoryRefs: refs,
           evidence: aggs,
           now: Date.now(),
@@ -506,13 +507,13 @@ export function createContextHost(opts = {}) {
                   ' dense=' + num2(dec._denseTop) + ' margin=' + num2(dec._margin) +
                   ' ' + (dec.reasonCodes || []).join(',')).slice(0, 160)
                 const act = {
-                  schemaVersion: 1, namespace: 'dsh-auto-memory', kind: 'activation_request',
-                  activationId: 'act_' + (obs.startsWith('obs_') ? obs.slice(8, 40) : 'jsdecide'),
-                  observationId: obs, workerEpoch: 'js-decide-v1',
+                  schemaVersion: 1, namespace: 'dsh-auto-memory-pre', kind: 'activation_request',
+                  activationId: 'act_pre_' + (obs.startsWith('obs_pre_') ? obs.slice(8, 40) : 'jsdecide'),
+                  observationId: obs, workerEpoch: 'js-decide-pre-v1',
                   sessionId: session.sessionId || '', agentId: session.agentId || '',
                   workspaceKey: session.workspaceKey || '', scope: session.scope || 'Workspace',
                   contextVersion: cursor.contextVersion || 0, memoryIndexVersion: built.frame.index ? built.frame.index.memoryIndexVersion : '',
-                  threshold: { policyVersion: dec.features ? 'activation_policy_v2' : 'activation_policy_v2', score: (dec.features && dec.features.intentProb) || 0, threshold: 0.45, reason: jsReason },
+                  threshold: { policyVersion: dec.features ? 'activation_policy_pre_v2' : 'activation_policy_pre_v2', score: (dec.features && dec.features.intentProb) || 0, threshold: 0.45, reason: jsReason },
                   level: 'excerpt',
                   candidates: (function () {
                     // 2026-08-27 优化③:候选方案档位(balanced=3×40 / dense=6×20 / custom=自定义)
@@ -523,7 +524,7 @@ export function createContextHost(opts = {}) {
                     else { n = 3; ex = 40 } // balanced 默认
                     return refs.slice(0, n).map(function (r, i) {
                       return {
-                        candidateId: 'cand_' + String(obs || 'js').slice(-32) + i,
+                        candidateId: 'cand_pre_' + String(obs || 'js').slice(-32) + i,
                         memoryId: r.memoryId, anchorId: r.anchorId || '', scope: r.scope || 'Workspace',
                         sourceRef: r.sourceRef || '', sourceEpoch: r.sourceEpoch || '', sourceVersion: r.sourceVersion || 1,
                         fileDigest: r.fileDigest || '', recordDigest: r.recordDigest || '',
@@ -551,7 +552,7 @@ export function createContextHost(opts = {}) {
                     if (actives.length && typeof engine._jsSemanticRank === 'function') {
                       try {
                         const recs = actives.map((p) => ({ memoryId: String(p.procedureId), text: String(p.title || '') + ' ' + (Array.isArray(p.steps) ? p.steps.join(' ') : String(p.steps || '')) }))
-                        const miv = 'idx_' + createHash('sha256').update(recs.map((r) => r.memoryId).join(',')).digest('hex').slice(0, 32)
+                        const miv = 'idx_pre_' + createHash('sha256').update(recs.map((r) => r.memoryId).join(',')).digest('hex').slice(0, 32)
                         const rank = await engine._jsSemanticRank({ memoryIndexVersion: miv, records: recs }, jsDecideQueryText)
                         if (rank && rank.scores && rank.scores.size) {
                           const [topId, topScore] = [...rank.scores.entries()].sort((a, b) => b[1] - a[1])[0]
@@ -647,7 +648,7 @@ export function createContextHost(opts = {}) {
       let attributedPrefix = 'none'
       try {
         const norm = String(seg.text == null ? '' : seg.text).normalize('NFKC').replace(/[A-Z]/g, (c) => c.toLowerCase())
-        lexHits = CORRECTION_LEXICON_V1.filter((w) => norm.includes(w)).length
+        lexHits = CORRECTION_LEXICON_PRE_V1.filter((w) => norm.includes(w)).length
         if (lexHits > 0) {
           const st = storeFor()
           const recent = selectCorrectionAttributionPre({ events: st.loadEvents().events, now: Date.now() })
@@ -768,7 +769,7 @@ export function createContextHost(opts = {}) {
   const JSDECIDE_SHADOW_MAX_LINES = 256
   function jsDecideShadowLog(entry) {
     try {
-      const dir = path.join(dshHome(), 'memory', 'semantic')
+      const dir = memoryDir('semantic', dshHome)
       const f = path.join(dir, 'js-decide-shadow.jsonl')
       let line = JSON.stringify(entry)
       if (!line) return
@@ -798,7 +799,7 @@ export function createContextHost(opts = {}) {
       capturedPathKeys: [...pathsByKey.keys()].slice(0, 8),
       lastSegmentRuntimeKey: lastSegmentRuntimeKey,
       lastSegmentSessionRef: lastSegmentSessionRef,
-      evidenceDirPath: path.join(dshHome(), 'memory', 'evidence'),
+      evidenceDirPath: memoryDir('evidence', dshHome),
       durableEventsOnDisk: evidenceRootExists() ? storeFor().loadEvents().events.length : 0,
       stats: { ...stats, bridge: { ...b.stats } },
       storeStats: store ? { ...store.stats } : null,

package/lib/datadir.js

@@ -0,0 +1,95 @@
+/**
+ * 记忆数据目录的唯一收口（去 pre，2026-09-23）。
+ *
+ * 历史：目录名原为 `<name>-pre`。去 pre 后统一裸名。
+ *
+ * 迁移策略：**不 move，只增量补齐**。三条实测依据：
+ *   ① 改名前活宿主仍在往旧目录写（hub-pre/facts.json 改名后仍有写入）⇒ move 会分脑丢数据；
+ *   ② **裸名目录可能早已存在**（实测 `memory/hub/` 创建于 09-01、内含 3 个 0 条的 JSON 空壳），
+ *      所以「新目录不存在才复制」这个判据会**整条跳过**，导致 56 条 procedures（108 KB）
+ *      与 9.3 MB facts 在重启后全部不可见 —— 属数据丢失级缺陷；
+ *   ③ 因而判据必须是**逐文件语义判据**，而不是「目录是否存在」。
+ *
+ * 逐文件规则（fail toward duplication, never toward loss）：
+ *   · 目标缺失                → 复制
+ *   · 目标在、源更「有内容」  → 复制（仅当目标被判定为**空壳**：能解析为 JSON 且集合为空）
+ *   · 其余                    → 跳过（绝不覆盖已有真实数据）
+ *
+ * 三条纪律：
+ *   ① 惰性：调用时机与原先的 path.join 完全一致（环境变量已就位，不会误写真实 home）
+ *   ② 幂等：补齐过的文件不再复制；重复调用零副作用
+ *   ③ fail-soft：任何异常都不抛，返回原定路径
+ */
+import fs from 'node:fs'
+import path from 'node:path'
+import { resolveDshHomePre } from './dsh-home.js'
+
+/** 已处理过的 (base,name) —— 键必须含 home，否则引擎作用域（各自 dshHome）会互相串味。 */
+const migrated = new Set()
+
+/** 把 JSON 文件判成「空壳」：能解析，且其中的集合型字段全是空数组/空对象。 */
+function isEmptyShell(file) {
+  try {
+    const j = JSON.parse(fs.readFileSync(file, 'utf8'))
+    if (!j || typeof j !== 'object') return false
+    const colls = Object.values(j).filter((v) => Array.isArray(v) || (v && typeof v === 'object'))
+    if (colls.length === 0) return false // 没有任何集合字段 ⇒ 不是可判定的 store，保守视为有内容
+    return colls.every((v) => (Array.isArray(v) ? v.length === 0 : Object.keys(v).length === 0))
+  } catch (_) {
+    return false // 解析失败 ⇒ 保守视为有内容，不覆盖
+  }
+}
+
+/** 逐文件增量补齐：只写「目标缺失」或「目标是空壳」的文件。 */
+function mergeInto(srcDir, dstDir) {
+  let copied = 0
+  const walk = (rel) => {
+    const sAbs = path.join(srcDir, rel)
+    for (const e of fs.readdirSync(sAbs, { withFileTypes: true })) {
+      const childRel = rel ? path.join(rel, e.name) : e.name
+      if (e.isDirectory()) { walk(childRel); continue }
+      const s = path.join(srcDir, childRel)
+      const d = path.join(dstDir, childRel)
+      const dExists = fs.existsSync(d)
+      if (dExists && !(s.endsWith('.json') && isEmptyShell(d) && !isEmptyShell(s))) continue
+      fs.mkdirSync(path.dirname(d), { recursive: true })
+      fs.copyFileSync(s, d)
+      copied++
+    }
+  }
+  walk('')
+  return copied
+}
+
+export function memoryDir(name, homeFn) {
+  // homeFn 由调用方注入：引擎作用域模块必须传各自的 dshHome（口径与原代码逐字一致）。
+  const home = typeof homeFn === 'function' ? homeFn() : resolveDshHomePre()
+  const base = path.join(home, 'memory')
+  const nw = path.join(base, name)
+  const key = base + '\u0000' + name
+  if (migrated.has(key)) return nw
+  migrated.add(key)
+  try {
+    const od = path.join(base, name + '-pre')
+    if (fs.existsSync(od)) {
+      fs.mkdirSync(nw, { recursive: true })
+      const n = mergeInto(od, nw)
+      if (n > 0) {
+        fs.appendFileSync(
+          path.join(base, 'datadir-migration.log'),
+          new Date().toISOString() + ' merged ' + n + ' file(s) ' + name + '-pre -> ' + name + '\n'
+        )
+      }
+    }
+    return nw
+  } catch (e) {
+    // fail-soft：补齐失败时**回退读旧目录**（读得到历史数据优先于名字干净）。
+    try {
+      const od = path.join(base, name + '-pre')
+      if (fs.existsSync(od)) return od
+    } catch (_) { /* ignore */ }
+    return nw
+  }
+}
+
+export default { memoryDir }

package/lib/degrade.js

@@ -30,13 +30,13 @@
  */
 
 /** 身份常量（枚举类常量须配断言兜底 —— 本仓纪律）。 */
-export const DEGRADE_SCHEMA_V1 = 'degrade_v1'
+export const DEGRADE_SCHEMA_PRE_V1 = 'degrade_pre_v1'
 
 /** 环形缓冲上限：防内存无界增长。 */
-export const DEGRADE_CAP_V1 = 200
+export const DEGRADE_CAP_PRE_V1 = 200
 
 /** 单条 reason 截断长度：与既有 diag 同口径，且防长文本撑爆状态文件。 */
-export const DEGRADE_REASON_MAX_V1 = 200
+export const DEGRADE_REASON_MAX_PRE_V1 = 200
 
 /**
  * 臂状态枚举（fail-closed 校验）。
@@ -46,10 +46,10 @@ export const DEGRADE_REASON_MAX_V1 = 200
  * - `disabled`  被配置关闭
  * - `unknown`   无法判定（**不得**当作正常，面板应显式呈现）
  */
-export const ARM_STATES_V1 = Object.freeze(['active', 'no-input', 'degraded', 'disabled', 'unknown'])
+export const ARM_STATES_PRE_V1 = Object.freeze(['active', 'no-input', 'degraded', 'disabled', 'unknown'])
 
 /** 已知降级 kind（仅作文档/断言用，**不限制**调用方传入新 kind）。 */
-export const DEGRADE_KINDS_V1 = Object.freeze([
+export const DEGRADE_KINDS_PRE_V1 = Object.freeze([
   'semantic-arm',   // 语义臂择优失败 → 回退词法
   'evidence-arm',   // evidence 聚合失败 → importance 中性
   'l0-sync',        // L0 索引同步失败 → 索引陈旧
@@ -63,7 +63,7 @@ export const DEGRADE_KINDS_V1 = Object.freeze([
  * @param {Function} [opts.now] 取时函数（注入便于测试确定性）
  */
 export function createDegradeSinkPre(opts = {}) {
-  const cap = Number.isFinite(opts.cap) && opts.cap > 0 ? Math.floor(opts.cap) : DEGRADE_CAP_V1
+  const cap = Number.isFinite(opts.cap) && opts.cap > 0 ? Math.floor(opts.cap) : DEGRADE_CAP_PRE_V1
   const now = typeof opts.now === 'function' ? opts.now : () => Date.now()
 
   /** @type {Map<string, number>} kind → 累计次数（不受环形淘汰影响） */
@@ -84,7 +84,7 @@ export function createDegradeSinkPre(opts = {}) {
       if (recent.length >= cap) { recent.shift(); evicted += 1 }
       recent.push({
         kind: k,
-        reason: String(reason == null ? '' : reason).slice(0, DEGRADE_REASON_MAX_V1),
+        reason: String(reason == null ? '' : reason).slice(0, DEGRADE_REASON_MAX_PRE_V1),
         at: now(),
       })
     } catch (_) { /* 元规则：留痕失败不得影响主流程 */ }
@@ -95,7 +95,7 @@ export function createDegradeSinkPre(opts = {}) {
     let out
     try {
       out = {
-        schemaVersion: DEGRADE_SCHEMA_V1,
+        schemaVersion: DEGRADE_SCHEMA_PRE_V1,
         updatedAt: new Date(now()).toISOString(),
         counts: Object.fromEntries(counts),
         recent: recent.map((r) => ({ ...r, at: new Date(r.at).toISOString() })),
@@ -104,7 +104,7 @@ export function createDegradeSinkPre(opts = {}) {
       }
     } catch (_) {
       // 快照失败也要给出**结构性合法**的最小对象，不能让读取方拿到 undefined
-      out = { schemaVersion: DEGRADE_SCHEMA_V1, updatedAt: null, counts: {}, recent: [], evicted, cap }
+      out = { schemaVersion: DEGRADE_SCHEMA_PRE_V1, updatedAt: null, counts: {}, recent: [], evicted, cap }
     }
     return out
   }
@@ -126,14 +126,14 @@ export function createDegradeSinkPre(opts = {}) {
  * 这不是"降级记录"，而是**状态陈述** —— 目的是让「某条臂没在工作」可见，
  * 而不必靠"每次 recall 都报错"来推断。例：`evidence: 'no-input'` 一眼可见。
  *
- * @param {Record<string, string>} states 臂名 → 状态（须属 ARM_STATES_V1；非法值归一为 'unknown'）
+ * @param {Record<string, string>} states 臂名 → 状态（须属 ARM_STATES_PRE_V1；非法值归一为 'unknown'）
  */
 export function deriveArmsHealthPre(states) {
   const out = {}
   try {
     for (const [arm, st] of Object.entries(states || {})) {
       const s = String(st == null ? '' : st)
-      out[String(arm)] = ARM_STATES_V1.includes(s) ? s : 'unknown'
+      out[String(arm)] = ARM_STATES_PRE_V1.includes(s) ? s : 'unknown'
     }
   } catch (_) { /* fail-soft */ }
   return out
@@ -192,10 +192,10 @@ export function persistDegradeLedgerPre(p) {
 //   故两者**并列而不混用**：各自的 counts/recent 互不干扰。
 
 /** 配额探针的身份常量（枚举类常量须配断言兜底 —— 本仓纪律）。 */
-export const QUOTA_PROBE_SCHEMA_V1 = 'quota_probe_v1'
+export const QUOTA_PROBE_SCHEMA_PRE_V1 = 'quota_probe_pre_v1'
 
 /** 采样环上限：与降级台账同口径（有界，防内存无界增长）。 */
-export const QUOTA_PROBE_CAP_V1 = 200
+export const QUOTA_PROBE_CAP_PRE_V1 = 200
 
 /**
  * 配额判定结论枚举（fail-closed 校验）。
@@ -204,10 +204,10 @@ export const QUOTA_PROBE_CAP_V1 = 200
  * - `balanced`           既有丢弃但未持续、占用也合理
  * - `insufficient-data`  **样本不足，不猜**（这是默认值 —— 宁可说不知道）
  */
-export const QUOTA_VERDICTS_V1 = Object.freeze(['under-quota', 'over-quota', 'balanced', 'insufficient-data'])
+export const QUOTA_VERDICTS_PRE_V1 = Object.freeze(['under-quota', 'over-quota', 'balanced', 'insufficient-data'])
 
 /** 判定阈值（集中声明，便于断言锁定与后续按观测调参）。 */
-export const QUOTA_THRESHOLDS_V1 = Object.freeze({
+export const QUOTA_THRESHOLDS_PRE_V1 = Object.freeze({
   /** 至少这么多轮采样才敢下结论（少于它一律 insufficient-data）。 */
   minSamples: 8,
   /** 某层"出现丢弃"的轮数占比 ≥ 此值 ⇒ under-quota。 */
@@ -227,7 +227,7 @@ export const QUOTA_THRESHOLDS_V1 = Object.freeze({
  * @param {Function} [opts.now] 取时函数（注入便于测试确定性）
  */
 export function createQuotaProbePre(opts = {}) {
-  const cap = Number.isFinite(opts.cap) && opts.cap > 0 ? Math.floor(opts.cap) : QUOTA_PROBE_CAP_V1
+  const cap = Number.isFinite(opts.cap) && opts.cap > 0 ? Math.floor(opts.cap) : QUOTA_PROBE_CAP_PRE_V1
   const now = typeof opts.now === 'function' ? opts.now : () => Date.now()
   /** @type {Array<object>} 最近采样（有界） */
   let samples = []
@@ -269,7 +269,7 @@ export function createQuotaProbePre(opts = {}) {
     let out
     try {
       out = {
-        schemaVersion: QUOTA_PROBE_SCHEMA_V1,
+        schemaVersion: QUOTA_PROBE_SCHEMA_PRE_V1,
         updatedAt: new Date(now()).toISOString(),
         samples: samples.map((s) => ({ ...s, at: new Date(s.at).toISOString(), perLayer: { ...s.perLayer } })),
         evicted,
@@ -277,7 +277,7 @@ export function createQuotaProbePre(opts = {}) {
       }
     } catch (_) {
       // 快照失败也要给出**结构性合法**的最小对象，不能让读取方拿到 undefined
-      out = { schemaVersion: QUOTA_PROBE_SCHEMA_V1, updatedAt: null, samples: [], evicted, cap }
+      out = { schemaVersion: QUOTA_PROBE_SCHEMA_PRE_V1, updatedAt: null, samples: [], evicted, cap }
     }
     return out
   }
@@ -300,14 +300,14 @@ export function createQuotaProbePre(opts = {}) {
  *   且把"凭什么这么判"的原始数据（dropRate/perLayer/usage）一并返回，供人复核。
  *
  * @param {object} snap `createQuotaProbePre().snapshot()` 的产物
- * @param {object} [opts] 覆盖阈值（默认取 QUOTA_THRESHOLDS_V1）
+ * @param {object} [opts] 覆盖阈值（默认取 QUOTA_THRESHOLDS_PRE_V1）
  * @returns {{version:string, verdict:string, samples:number, dropRate:number,
  *            usage:number, perLayer:object, reasons:string[]}}
  */
 export function deriveQuotaVerdictPre(snap, opts = {}) {
-  const th = { ...QUOTA_THRESHOLDS_V1, ...(opts || {}) }
+  const th = { ...QUOTA_THRESHOLDS_PRE_V1, ...(opts || {}) }
   const base = {
-    version: 'quota_verdict_v1',
+    version: 'quota_verdict_pre_v1',
     verdict: 'insufficient-data',
     samples: 0,
     dropRate: 0,

package/lib/dsh-home.js

@@ -49,13 +49,13 @@ import os from 'node:os'
 import path from 'node:path'
 
 /** 环境变量名（集中一处，便于将来改名）。 */
-export const DSH_HOME_ENV_V1 = 'DSH_HOME'
+export const DSH_HOME_ENV_PRE_V1 = 'DSH_HOME'
 
 /** 默认子目录名。 */
-export const DSH_HOME_DIRNAME_V1 = '.dsh'
+export const DSH_HOME_DIRNAME_PRE_V1 = '.dsh'
 
 /** 全失败时的最后兜底（相对路径，保证返回非空）。 */
-export const DSH_HOME_FALLBACK_V1 = '.dsh'
+export const DSH_HOME_FALLBACK_PRE_V1 = '.dsh'
 
 /**
  * 取 home 基准目录（用于拼 `.dsh`）。**永不抛**。
@@ -90,18 +90,18 @@ export function resolveDshHomePre(override) {
   } catch (_) {}
   // ② 环境变量
   try {
-    const env = process.env[DSH_HOME_ENV_V1]
+    const env = process.env[DSH_HOME_ENV_PRE_V1]
     if (env && String(env).trim()) return String(env).trim()
   } catch (_) {}
   // ③ / ④ 基准目录 + .dsh
   const base = homeBasePre()
   if (base) {
     try {
-      return path.join(base, DSH_HOME_DIRNAME_V1)
+      return path.join(base, DSH_HOME_DIRNAME_PRE_V1)
     } catch (_) {}
   }
   // ⑤ 最后兜底
-  return DSH_HOME_FALLBACK_V1
+  return DSH_HOME_FALLBACK_PRE_V1
 }
 
 /**
@@ -127,14 +127,14 @@ export function resolveDshHomeForEnginePre(engine) {
   } catch (_) {}
   // ② 环境变量（与原实现同优先级）
   try {
-    const env = process.env[DSH_HOME_ENV_V1]
+    const env = process.env[DSH_HOME_ENV_PRE_V1]
     if (env && String(env).trim()) return String(env).trim()
   } catch (_) {}
   // ③ 既有注入点 __homedirFn：返回的是「home 基准目录」，仍需拼 .dsh
   try {
     if (typeof e.__homedirFn === 'function') {
       const base = e.__homedirFn()
-      if (base && String(base).trim()) return path.join(String(base).trim(), DSH_HOME_DIRNAME_V1)
+      if (base && String(base).trim()) return path.join(String(base).trim(), DSH_HOME_DIRNAME_PRE_V1)
     }
   } catch (_) {}
   // ④ 默认链（homedir → USERPROFILE/HOME → '.dsh'）