@a9i5k4/dsh-auto-memory 3.1.5 → 3.1.6

package/lib/shadow-retrieval.js

@@ -4,12 +4,12 @@
  * 不写 audit、不产生任何模型可见副作用(M4 唯一模型行为=不影响模型行为)。
  *
  * 组成:
- *   1) 策略常量(SHADOW_GATE_POLICY_V1 / SHADOW_LEXICAL_BUDGET_V1 / 版本化词典)
+ *   1) 策略常量(SHADOW_GATE_POLICY_PRE_V1 / SHADOW_LEXICAL_BUDGET_PRE_V1 / 版本化词典)
  *   2) RetrievalContextSnapshot validator + 快照纯校验
- *   3) memoryIndexVersion(canonical corpus tuples → idx_ + sha256)
- *   4) GateSignals/GateDecision + gate_v1(硬抑制顺序 + 权重滞回 + cooldown)
+ *   3) memoryIndexVersion(canonical corpus tuples → idx_pre_ + sha256)
+ *   4) GateSignals/GateDecision + gate_pre_v1(硬抑制顺序 + 权重滞回 + cooldown)
  *   5) 确定性 tokenizer(NFKC/lowercase/词形保留/CJK 2-gram/stop words) + QueryPlan + queryDigest
- *   6) lexical_v1(term/heading coverage、phrase、recency、total、排序/去重/预算/drop)
+ *   6) lexical_pre_v1(term/heading coverage、phrase、recency、total、排序/去重/预算/drop)
  *   7) Candidate 身份(retrievalId/candidateId 确定性) + ShadowCandidate 构造
  *   8) replay pure core(canonical 结果排除 recordedAt/latency/runtimeTag)
  * 全部函数对同输入逐字段确定;所有新增文本 UTF-8 无 BOM。
@@ -21,16 +21,16 @@ const sha256Str = (s) => sha256Hex(Buffer.from(String(s), 'utf8'))
 const first32 = (h) => h.slice(0, 32)
 const clamp01 = (x) => Math.max(0, Math.min(1, Number(x) || 0))
 
-export const STOPWORDS_HIT_V2 = Object.freeze(['一一', 'sub', 'exp', 'sup', 'Lex', '第二', '一番', '一直', '一个', '一些', '许多', '种', '有的是', '也就是说', '啊', '阿', '哎', '哎呀', '哎哟', '唉', '俺', '俺们', '按', '按照', '吧', '吧哒', '把', '罢了', '被', '本', '本着', '比', '比方', '比如', '鄙人', '彼', '彼此', '边', '别', '别的', '别说', '并', '并且', '不比', '不成', '不单', '不但', '不独', '不管', '不光', '不过', '不仅', '不拘', '不论', '不怕', '不然', '不如', '不特', '不惟', '不问', '不只', '朝', '朝着', '趁', '趁着', '乘', '冲', '除', '除此之外', '除非', '除了', '此', '此间', '此外', '从', '从而', '打', '待', '但', '但是', '当', '当着', '到', '得', '的', '的话', '等', '等等', '地', '第', '叮咚', '对', '对于', '多', '多少', '而', '而况', '而且', '而是', '而外', '而言', '而已', '尔后', '反过来', '反过来说', '反之', '非但', '非徒', '否则', '嘎', '嘎登', '该', '赶', '个', '各', '各个', '各位', '各种', '各自', '给', '根据', '跟', '故', '故此', '固然', '关于', '管', '归', '果然', '果真', '过', '哈', '哈哈', '呵', '和', '何', '何处', '何况', '何时', '嘿', '哼', '哼唷', '呼哧', '乎', '哗', '还是', '还有', '换句话说', '换言之', '或', '或是', '或者', '极了', '及', '及其', '及至', '即', '即便', '即或', '即令', '即若', '即使', '几', '几时', '己', '既', '既然', '既是', '继而', '加之', '假如', '假若', '假使', '鉴于', '将', '较', '较之', '叫', '接着', '结果', '借', '紧接着', '进而', '尽', '尽管', '经', '经过', '就', '就是', '就是说', '据', '具体地说', '具体说来', '开始', '开外', '靠', '咳', '可', '可见', '可是', '可以', '况且', '啦', '来', '来着', '离', '例如', '哩', '连', '连同', '两者', '了', '临', '另', '另外', '另一方面', '论', '嘛', '吗', '慢说', '漫说', '冒', '么', '每', '每当', '们', '莫若', '某', '某个', '某些', '拿', '哪', '哪边', '哪儿', '哪个', '哪里', '哪年', '哪怕', '哪天', '哪些', '哪样', '那', '那边', '那儿', '那个', '那会儿', '那里', '那么', '那么些', '那么样', '那时', '那些', '那样', '乃', '乃至', '呢', '能', '你', '你们', '您', '宁', '宁可', '宁肯', '宁愿', '哦', '呕', '啪达', '旁人', '呸', '凭', '凭借', '其', '其次', '其二', '其他', '其它', '其一', '其余', '其中', '起', '起见', '岂但', '恰恰相反', '前后', '前者', '且', '然而', '然后', '然则', '让', '人家', '任', '任何', '任凭', '如', '如此', '如果', '如何', '如其', '如若', '如上所述', '若', '若非', '若是', '啥', '上下', '尚且', '设若', '设使', '甚而', '甚么', '甚至', '省得', '时候', '什么', '什么样', '使得', '是', '是的', '首先', '谁', '谁知', '顺', '顺着', '似的', '虽', '虽然', '虽说', '虽则', '随', '随着', '所', '所以', '他', '他们', '他人', '它', '它们', '她', '她们', '倘', '倘或', '倘然', '倘若', '倘使', '腾', '替', '通过', '同', '同时', '哇', '万一', '往', '望', '为', '为何', '为了', '为什么', '为着', '喂', '嗡嗡', '我', '我们', '呜', '呜呼', '乌乎', '无论', '无宁', '毋宁', '嘻', '吓', '相对而言', '像', '向', '向着', '嘘', '呀', '焉', '沿', '沿着', '要', '要不', '要不然', '要不是', '要么', '要是', '也', '也罢', '也好', '一', '一般', '一旦', '一方面', '一来', '一切', '一样', '一则', '依', '依照', '矣', '以', '以便', '以及', '以免', '以至', '以至于', '以致', '抑或', '因', '因此', '因而', '因为', '哟', '用', '由', '由此可见', '由于', '有', '有的', '有关', '有些', '又', '于', '于是', '于是乎', '与', '与此同时', '与否', '与其', '越是', '云云', '哉', '再说', '再者', '在', '在下', '咱', '咱们', '则', '怎', '怎么', '怎么办', '怎么样', '怎样', '咋', '照', '照着', '者', '这', '这边', '这儿', '这个', '这会儿', '这就是说', '这里', '这么', '这么点儿', '这么些', '这么样', '这时', '这些', '这样', '正如', '吱', '之', '之类', '之所以', '之一', '只是', '只限', '只要', '只有', '至', '至于', '诸位', '着', '着呢', '自', '自从', '自个儿', '自各儿', '自己', '自家', '自身', '综上所述', '总的来看', '总的来说', '总的说来', '总而言之', '总之', '纵', '纵令', '纵然', '纵使', '遵照', '作为', '兮', '呃', '呗', '咚', '咦', '喏', '啐', '喔唷', '嗬', '嗯', '嗳']);
-export const GATE_POLICY_VERSION = 'gate_v1'
-export const LEXICAL_POLICY_VERSION = 'lexical_v2'
-export const INDEX_PREFIX = 'idx_'
-export const RETRIEVAL_PREFIX = 'ret_'
-export const CANDIDATE_PREFIX = 'cand_'
-export const NAMESPACE = 'dsh-auto-memory'
+export const STOPWORDS_HIT_PRE_V2 = Object.freeze(['一一', 'sub', 'exp', 'sup', 'Lex', '第二', '一番', '一直', '一个', '一些', '许多', '种', '有的是', '也就是说', '啊', '阿', '哎', '哎呀', '哎哟', '唉', '俺', '俺们', '按', '按照', '吧', '吧哒', '把', '罢了', '被', '本', '本着', '比', '比方', '比如', '鄙人', '彼', '彼此', '边', '别', '别的', '别说', '并', '并且', '不比', '不成', '不单', '不但', '不独', '不管', '不光', '不过', '不仅', '不拘', '不论', '不怕', '不然', '不如', '不特', '不惟', '不问', '不只', '朝', '朝着', '趁', '趁着', '乘', '冲', '除', '除此之外', '除非', '除了', '此', '此间', '此外', '从', '从而', '打', '待', '但', '但是', '当', '当着', '到', '得', '的', '的话', '等', '等等', '地', '第', '叮咚', '对', '对于', '多', '多少', '而', '而况', '而且', '而是', '而外', '而言', '而已', '尔后', '反过来', '反过来说', '反之', '非但', '非徒', '否则', '嘎', '嘎登', '该', '赶', '个', '各', '各个', '各位', '各种', '各自', '给', '根据', '跟', '故', '故此', '固然', '关于', '管', '归', '果然', '果真', '过', '哈', '哈哈', '呵', '和', '何', '何处', '何况', '何时', '嘿', '哼', '哼唷', '呼哧', '乎', '哗', '还是', '还有', '换句话说', '换言之', '或', '或是', '或者', '极了', '及', '及其', '及至', '即', '即便', '即或', '即令', '即若', '即使', '几', '几时', '己', '既', '既然', '既是', '继而', '加之', '假如', '假若', '假使', '鉴于', '将', '较', '较之', '叫', '接着', '结果', '借', '紧接着', '进而', '尽', '尽管', '经', '经过', '就', '就是', '就是说', '据', '具体地说', '具体说来', '开始', '开外', '靠', '咳', '可', '可见', '可是', '可以', '况且', '啦', '来', '来着', '离', '例如', '哩', '连', '连同', '两者', '了', '临', '另', '另外', '另一方面', '论', '嘛', '吗', '慢说', '漫说', '冒', '么', '每', '每当', '们', '莫若', '某', '某个', '某些', '拿', '哪', '哪边', '哪儿', '哪个', '哪里', '哪年', '哪怕', '哪天', '哪些', '哪样', '那', '那边', '那儿', '那个', '那会儿', '那里', '那么', '那么些', '那么样', '那时', '那些', '那样', '乃', '乃至', '呢', '能', '你', '你们', '您', '宁', '宁可', '宁肯', '宁愿', '哦', '呕', '啪达', '旁人', '呸', '凭', '凭借', '其', '其次', '其二', '其他', '其它', '其一', '其余', '其中', '起', '起见', '岂但', '恰恰相反', '前后', '前者', '且', '然而', '然后', '然则', '让', '人家', '任', '任何', '任凭', '如', '如此', '如果', '如何', '如其', '如若', '如上所述', '若', '若非', '若是', '啥', '上下', '尚且', '设若', '设使', '甚而', '甚么', '甚至', '省得', '时候', '什么', '什么样', '使得', '是', '是的', '首先', '谁', '谁知', '顺', '顺着', '似的', '虽', '虽然', '虽说', '虽则', '随', '随着', '所', '所以', '他', '他们', '他人', '它', '它们', '她', '她们', '倘', '倘或', '倘然', '倘若', '倘使', '腾', '替', '通过', '同', '同时', '哇', '万一', '往', '望', '为', '为何', '为了', '为什么', '为着', '喂', '嗡嗡', '我', '我们', '呜', '呜呼', '乌乎', '无论', '无宁', '毋宁', '嘻', '吓', '相对而言', '像', '向', '向着', '嘘', '呀', '焉', '沿', '沿着', '要', '要不', '要不然', '要不是', '要么', '要是', '也', '也罢', '也好', '一', '一般', '一旦', '一方面', '一来', '一切', '一样', '一则', '依', '依照', '矣', '以', '以便', '以及', '以免', '以至', '以至于', '以致', '抑或', '因', '因此', '因而', '因为', '哟', '用', '由', '由此可见', '由于', '有', '有的', '有关', '有些', '又', '于', '于是', '于是乎', '与', '与此同时', '与否', '与其', '越是', '云云', '哉', '再说', '再者', '在', '在下', '咱', '咱们', '则', '怎', '怎么', '怎么办', '怎么样', '怎样', '咋', '照', '照着', '者', '这', '这边', '这儿', '这个', '这会儿', '这就是说', '这里', '这么', '这么点儿', '这么些', '这么样', '这时', '这些', '这样', '正如', '吱', '之', '之类', '之所以', '之一', '只是', '只限', '只要', '只有', '至', '至于', '诸位', '着', '着呢', '自', '自从', '自个儿', '自各儿', '自己', '自家', '自身', '综上所述', '总的来看', '总的来说', '总的说来', '总而言之', '总之', '纵', '纵令', '纵然', '纵使', '遵照', '作为', '兮', '呃', '呗', '咚', '咦', '喏', '啐', '喔唷', '嗬', '嗯', '嗳']);
+export const GATE_POLICY_VERSION = 'gate_pre_v1'
+export const LEXICAL_POLICY_VERSION = 'lexical_pre_v2'
+export const INDEX_PREFIX = 'idx_pre_'
+export const RETRIEVAL_PREFIX = 'ret_pre_'
+export const CANDIDATE_PREFIX = 'cand_pre_'
+export const NAMESPACE = 'dsh-auto-memory-pre'
 
 /** §9.4 冻结权重(变更必须升级 policyVersion)。 */
-export const SHADOW_GATE_POLICY_V1 = Object.freeze({
+export const SHADOW_GATE_POLICY_PRE_V1 = Object.freeze({
   schemaVersion: 1,
   policyVersion: GATE_POLICY_VERSION,
   weights: Object.freeze({
@@ -54,14 +54,14 @@ export const SHADOW_GATE_POLICY_V1 = Object.freeze({
     stopWords: Object.freeze(['的', '了', '是', '和', '与', '及', '在', '我', '你', '它', '这', '那', '就', '都', '也', 'the', 'a', 'an', 'and', 'or', 'of', 'to', 'in', 'on', 'for', 'with', 'is', 'are', 'was', 'were', 'be', 'it', 'this', 'that']),
     // §6:inputSource plugin allowlist(v1 为空=不按 inputSource 归类 plugin-generated;仅 sourcePlugin 非空才判定)
     pluginInputAllowlist: Object.freeze([]),
-    // lexical_v2:BM25 参数(Lucene 经典默认)+停用词来源
+    // lexical_pre_v2:BM25 参数(Lucene 经典默认)+停用词来源
     bm25: Object.freeze({ k1: 1.2, b: 0.75 }),
     stopwordsSource: 'hit_stopwords.txt (github leiyusi123/stopwords), filtered',
   }),
 })
 
 /** §12.5 硬预算。 */
-export const SHADOW_LEXICAL_BUDGET_V1 = Object.freeze({
+export const SHADOW_LEXICAL_BUDGET_PRE_V1 = Object.freeze({
   windowSegments: 8,
   windowChars: 4096,
   queryTerms: 32,
@@ -124,7 +124,7 @@ export function validateSnapshot(snap) {
   }
   if (!Array.isArray(snap.window)) problems.push('window')
   else {
-    if (snap.window.length > SHADOW_LEXICAL_BUDGET_V1.windowSegments) problems.push('window-exceeds-8')
+    if (snap.window.length > SHADOW_LEXICAL_BUDGET_PRE_V1.windowSegments) problems.push('window-exceeds-8')
     let chars = 0
     for (const w of snap.window) {
       if (!w || typeof w !== 'object') { problems.push('window-entry'); continue }
@@ -135,13 +135,13 @@ export function validateSnapshot(snap) {
       if (!Number.isInteger(w.contextVersion)) problems.push('window.contextVersion')
       if (typeof w.ts !== 'number') problems.push('window.ts')
     }
-    if (chars > SHADOW_LEXICAL_BUDGET_V1.windowChars) problems.push('window-exceeds-4096-chars')
+    if (chars > SHADOW_LEXICAL_BUDGET_PRE_V1.windowChars) problems.push('window-exceeds-4096-chars')
   }
   if (problems.length) return { ok: false, reason: 'invalid:' + problems.join(',') }
   return { ok: true, snapshot: snap }
 }
 
-/** §8 memoryIndexVersion:canonical corpus tuples → idx_ + first32hex(sha256)。 */
+/** §8 memoryIndexVersion:canonical corpus tuples → idx_pre_ + first32hex(sha256)。 */
 export function memoryIndexVersion(sources) {
   // source tuple = [scope, sourceRef, sourceEpoch, sourceVersion, fileDigest]
   const tuples = (Array.isArray(sources) ? sources : []).map((s) => [
@@ -209,11 +209,11 @@ export function tokenize(text, opts = {}) {
   return out
 }
 
-/** 版本化 stop words 过滤(§10.2#5):lexical_v2 起用哈工大停用词表(STOPWORDS_HIT_V2,507 词)+原版本化小表兜底;错误码/文件名/长度>1 的标识符不可移除。 */
-const STOPWORDS_HIT_SET = new Set(STOPWORDS_HIT_V2)
+/** 版本化 stop words 过滤(§10.2#5):lexical_pre_v2 起用哈工大停用词表(STOPWORDS_HIT_PRE_V2,507 词)+原版本化小表兜底;错误码/文件名/长度>1 的标识符不可移除。 */
+const STOPWORDS_HIT_SET = new Set(STOPWORDS_HIT_PRE_V2)
 export function isStopWord(term) {
   if (STOPWORDS_HIT_SET.has(term)) return true
-  const d = SHADOW_GATE_POLICY_V1.dictionaries
+  const d = SHADOW_GATE_POLICY_PRE_V1.dictionaries
   return d.stopWords.includes(term)
 }
 
@@ -235,7 +235,7 @@ export function buildQueryPlan(snapshot, opts = {}) {
       if (isStopWord(t)) continue
       const cur = seenTerms.get(t)
       const wgt = Math.max(cur ? cur.weight : 0, weights[origin] || 0)
-      if (Buffer.byteLength(t, 'utf8') > SHADOW_LEXICAL_BUDGET_V1.termBytes) {
+      if (Buffer.byteLength(t, 'utf8') > SHADOW_LEXICAL_BUDGET_PRE_V1.termBytes) {
         oversize.push(t)
         continue
       }
@@ -245,14 +245,14 @@ export function buildQueryPlan(snapshot, opts = {}) {
   // P12 排序:weight 降序优先(截断保高权重词),term 字典序升序作稳定 tiebreak;截断逻辑与 truncated 标记不变
   const terms = [...seenTerms.values()].sort((a, b) => (b.weight - a.weight) || (a.term < b.term ? -1 : a.term > b.term ? 1 : 0))
   let truncated = false
-  if (terms.length > SHADOW_LEXICAL_BUDGET_V1.queryTerms) {
-    terms.length = SHADOW_LEXICAL_BUDGET_V1.queryTerms
+  if (terms.length > SHADOW_LEXICAL_BUDGET_PRE_V1.queryTerms) {
+    terms.length = SHADOW_LEXICAL_BUDGET_PRE_V1.queryTerms
     truncated = true
   }
   for (const t of terms) termBytes += Buffer.byteLength(t.term, 'utf8')
-  if (termBytes > SHADOW_LEXICAL_BUDGET_V1.queryBytes) {
+  if (termBytes > SHADOW_LEXICAL_BUDGET_PRE_V1.queryBytes) {
     // 从尾部丢弃直到 ≤2048
-    while (termBytes > SHADOW_LEXICAL_BUDGET_V1.queryBytes && terms.length) {
+    while (termBytes > SHADOW_LEXICAL_BUDGET_PRE_V1.queryBytes && terms.length) {
       termBytes -= Buffer.byteLength(terms.pop().term, 'utf8')
       truncated = true
     }
@@ -278,7 +278,7 @@ export function buildQueryPlan(snapshot, opts = {}) {
 
 // ========== §9 Gate ==========
 
-const D = () => SHADOW_GATE_POLICY_V1.dictionaries
+const D = () => SHADOW_GATE_POLICY_PRE_V1.dictionaries
 
 function hasAny(text, list) {
   const norm = normalizeText(text)
@@ -344,9 +344,9 @@ export function computeSignals(snapshot, queryPlan, recentHits = []) {
   return signals
 }
 
-/** §9.4 gate_v1:硬抑制 → 权重滞回 → 决策。同步纯函数,零 IO。 */
+/** §9.4 gate_pre_v1:硬抑制 → 权重滞回 → 决策。同步纯函数,零 IO。 */
 export function gatePreV1(snapshot, opts = {}) {
-  const policy = SHADOW_GATE_POLICY_V1
+  const policy = SHADOW_GATE_POLICY_PRE_V1
   const latchedPrev = opts.previousLatch === true
   const cooldownRemaining = Math.max(0, Number(opts.cooldownRemaining) || 0)
   const hard = opts.hardSuppress || {}
@@ -396,20 +396,20 @@ export function gatePreV1(snapshot, opts = {}) {
 
 
 
-// ========== §11 Candidate 身份 + §12 lexical_v1 ==========
+// ========== §11 Candidate 身份 + §12 lexical_pre_v1 ==========
 
 const MEMORY_ID_STRICT = /^mem_[0-9a-f]{32}$/
 
 /** §11 retrievalId(确定性,可重放;非长期内容身份)。 */
 export function buildRetrievalId(sessionId, contextVersion, triggerSegmentId, memoryIndexVersion) {
-  const sessionIdHash = first32(sha256Str('retrieval-v1\u0000' + sessionId))
-  const parts = ['retrieval-v1', sessionIdHash, contextVersion, triggerSegmentId, memoryIndexVersion, GATE_POLICY_VERSION, LEXICAL_POLICY_VERSION]
+  const sessionIdHash = first32(sha256Str('retrieval-pre-v1\u0000' + sessionId))
+  const parts = ['retrieval-pre-v1', sessionIdHash, contextVersion, triggerSegmentId, memoryIndexVersion, GATE_POLICY_VERSION, LEXICAL_POLICY_VERSION]
   return RETRIEVAL_PREFIX + first32(sha256Str(JSON.stringify(parts)))
 }
 
 /** §11 candidateId:同 memoryId 内容变化后 candidateId 因版本/digest 改变。 */
 export function buildCandidateId(retrievalId, memoryId, sourceEpoch, sourceVersion, recordDigest) {
-  const parts = ['candidate-v1', retrievalId, memoryId, sourceEpoch, sourceVersion, recordDigest]
+  const parts = ['candidate-pre-v1', retrievalId, memoryId, sourceEpoch, sourceVersion, recordDigest]
   return CANDIDATE_PREFIX + first32(sha256Str(JSON.stringify(parts)))
 }
 
@@ -450,18 +450,18 @@ function phraseHit(normText, normPhrase) {
 export function sanitizeExcerpt(text) {
   const cleaned = String(text == null ? '' : text).replace(/[\u0000-\u0008\u000B\u000C\u000E-\u001F]/g, '')
   const buf = Buffer.from(cleaned, 'utf8')
-  if (buf.length <= SHADOW_LEXICAL_BUDGET_V1.excerptBytes) return cleaned
-  return buf.subarray(0, SHADOW_LEXICAL_BUDGET_V1.excerptBytes).toString('utf8').replace(/[\uFFFD]+$/, '')
+  if (buf.length <= SHADOW_LEXICAL_BUDGET_PRE_V1.excerptBytes) return cleaned
+  return buf.subarray(0, SHADOW_LEXICAL_BUDGET_PRE_V1.excerptBytes).toString('utf8').replace(/[\uFFFD]+$/, '')
 }
 
 /**
- * lexical_v1 检索核心(§10-§13):纯函数,零 IO。
+ * lexical_pre_v1 检索核心(§10-§13):纯函数,零 IO。
  * @param {{memoryIndexVersion?:string,sources:Array,records:Array}} corpus 纯内存 fixture
  * @param {object} queryPlan buildQueryPlan 输出
  * @param {{triggerTs?:number,mode?:'retrieve'|'prefetch',dayBoundaryMinutes?:number}} opts
  */
 export function lexicalSearch(corpus, queryPlan, opts = {}) {
-  const B = SHADOW_LEXICAL_BUDGET_V1
+  const B = SHADOW_LEXICAL_BUDGET_PRE_V1
   const dropped = []
   const drop = (stage, reason, extra) => dropped.push(Object.assign({ stage, reason }, extra || {}))
   const records = Array.isArray(corpus && corpus.records) ? corpus.records : []
@@ -478,8 +478,8 @@ export function lexicalSearch(corpus, queryPlan, opts = {}) {
   const termTotalWeight = queryPlan.terms.reduce((a, t) => a + t.weight, 0) || 1
   const normPhrases = (queryPlan.phrases || []).map((p) => normalizeText(p))
 
-  // lexical_v2:BM25 语料统计(df/avgdl;Okapi 经典参数 k1=1.2 b=0.75)
-  const bm25 = SHADOW_GATE_POLICY_V1.dictionaries.bm25 || { k1: 1.2, b: 0.75 }
+  // lexical_pre_v2:BM25 语料统计(df/avgdl;Okapi 经典参数 k1=1.2 b=0.75)
+  const bm25 = SHADOW_GATE_POLICY_PRE_V1.dictionaries.bm25 || { k1: 1.2, b: 0.75 }
   let totalTokens = 0
   const docTokensList = []
   const DF = new Map() // term → 出现该词的记录数(document frequency)
@@ -504,7 +504,7 @@ export function lexicalSearch(corpus, queryPlan, opts = {}) {
     }
     const normHeading = normalizeText(rec.heading || '')
     const normBody = normalizeText(text)
-    // lexical_v2:BM25 覆盖率——idf 加权(稀有词贡献大)+ tf 饱和(k1)+ 文档长度归一(b)
+    // lexical_pre_v2:BM25 覆盖率——idf 加权(稀有词贡献大)+ tf 饱和(k1)+ 文档长度归一(b)
     const docTokens = tokenize(normHeading + ' ' + normBody)
     const tfMap = new Map()
     for (const tk of docTokens) tfMap.set(tk, (tfMap.get(tk) || 0) + 1)
@@ -667,7 +667,7 @@ export function replay({ contextSnapshots, corpusSnapshot, gatePolicy, lexicalPo
       },
     })
     latch = dec.latched
-    cooldown = dec.action === 'retrieve' ? SHADOW_GATE_POLICY_V1.cooldownSegments : Math.max(0, cooldown - 1)
+    cooldown = dec.action === 'retrieve' ? SHADOW_GATE_POLICY_PRE_V1.cooldownSegments : Math.max(0, cooldown - 1)
   }
   return results
 }

package/lib/skill-export-host.js

@@ -20,9 +20,9 @@ import { join } from 'node:path'
 import { renderSkillMarkdownPre, validateSkillMarkdownPre } from './skill-export.js'
 
 /** 导出目录前缀（用于识别"这是本插件的产物"，避免误覆盖用户手写技能）。 */
-export const SKILL_EXPORT_PREFIX_V1 = 'mem-skill-'
+export const SKILL_EXPORT_PREFIX_PRE_V1 = 'mem-skill-'
 /** 自检标记：出现在 SKILL.md 里即证明是本插件导出物。 */
-export const SKILL_EXPORT_STAMP_V1 = 'mem-skill-export-v1'
+export const SKILL_EXPORT_STAMP_PRE_V1 = 'mem-skill-export-pre-v1'
 
 /**
  * 解析技能导出根目录。
@@ -94,7 +94,7 @@ export function exportSkillForPre(procedure, opts = {}) {
     if (!r.ok) return { ok: false, reason: r.reason }
 
     // 自带标记 + 完整性自检（判据 = 用户 ⑪-1/⑪-3 的硬要求）
-    const content = r.content + '\n<!-- ' + SKILL_EXPORT_STAMP_V1 + ' -->\n'
+    const content = r.content + '\n<!-- ' + SKILL_EXPORT_STAMP_PRE_V1 + ' -->\n'
     const v = validateSkillMarkdownPre(content, { projectName, hasPrograms: programs.length > 0 })
     if (!v.ok) return { ok: false, reason: 'notice-incomplete:' + v.problems.join('|') }
 
@@ -103,8 +103,8 @@ export function exportSkillForPre(procedure, opts = {}) {
     if (existsSync(dir) && !opts.force) {
       const old = join(dir, 'SKILL.md')
       const prev = readIfExists(old)
-      const isOurs = prev != null && prev.includes(SKILL_EXPORT_STAMP_V1)
-      const isOursByName = r.dirName.startsWith(SKILL_EXPORT_PREFIX_V1)
+      const isOurs = prev != null && prev.includes(SKILL_EXPORT_STAMP_PRE_V1)
+      const isOursByName = r.dirName.startsWith(SKILL_EXPORT_PREFIX_PRE_V1)
       if (!isOurs && isOursByName) {
         // 按名字是我们的，但内容不是 ⇒ 用户手写过，别动
         if (prev != null) return { ok: false, reason: 'dir-occupied-by-foreign' }
@@ -132,11 +132,11 @@ export function listExportedSkillsPre(skillsRoot) {
   let entries = []
   try { entries = readdirSync(root) } catch (_) { return [] }
   for (const name of entries) {
-    if (!name.startsWith(SKILL_EXPORT_PREFIX_V1)) continue
+    if (!name.startsWith(SKILL_EXPORT_PREFIX_PRE_V1)) continue
     const dir = join(root, name)
     try { if (!statSync(dir).isDirectory()) continue } catch (_) { continue }
     const prev = readIfExists(join(dir, 'SKILL.md'))
-    if (prev == null || !prev.includes(SKILL_EXPORT_STAMP_V1)) continue
+    if (prev == null || !prev.includes(SKILL_EXPORT_STAMP_PRE_V1)) continue
     const nameLine = /^name:\s*(.+)$/m.exec(prev)
     const projLine = /适用项目\*\*：`([^`]+)`/.exec(prev)
     out.push({

package/lib/skill-export.js

@@ -12,7 +12,7 @@
  * 本模块是**纯渲染层**（无 IO、无状态），便于直接单测：
  *   - `renderSkillMarkdownPre(procedure, opts)` → SKILL.md 文本
  *   - `skillDirNamePre(procedure)` → 目录名（稳定、可预测）
- *   - `SKILL_USAGE_NOTICE_V1` → 使用约束条款（导出物必须原样包含）
+ *   - `SKILL_USAGE_NOTICE_PRE_V1` → 使用约束条款（导出物必须原样包含）
  *
  * 设计纪律（与 procedure 引擎同源）：
  *   ① **不新增状态源** —— 导出物是 procedure 的**派生物**，不是新的事实来源；
@@ -25,7 +25,7 @@
 import { createHash } from 'node:crypto'
 
 /** 导出物的使用约束条款 —— **必须原样出现在每个 SKILL.md 中**（用户 ⑪-1 硬要求）。 */
-export const SKILL_USAGE_NOTICE_V1 = [
+export const SKILL_USAGE_NOTICE_PRE_V1 = [
   '> **⚠️ 使用约束（必读）**',
   '>',
   '> 本技能由 **dsh-auto-memory** 从一次真实工作过程**自动沉淀**而来，**不是通用最佳实践**。',
@@ -40,7 +40,7 @@ export const SKILL_USAGE_NOTICE_V1 = [
 ].join('\n')
 
 /** SKILL.md 中必须出现的约束锚点（供套件断言，防止被后续改动悄悄删掉）。 */
-export const SKILL_NOTICE_ANCHORS_V1 = Object.freeze([
+export const SKILL_NOTICE_ANCHORS_PRE_V1 = Object.freeze([
   '使用约束（必读）',
   '附带程序仅供参考',
   '只做迁移，不要直接运行',
@@ -76,7 +76,7 @@ const MAX_TITLE_LEN = 80
  */
 export function skillDirNamePre(procedure) {
   const id = String((procedure && procedure.procedureId) || '')
-  const short = id.replace(/^proc_/, '').slice(0, 12)
+  const short = id.replace(/^proc_pre_/, '').slice(0, 12)
   const title = String((procedure && procedure.title) || '')
   const slug = title.toLowerCase().replace(/[^a-z0-9]+/g, '-').replace(/^-+|-+$/g, '').slice(0, 40)
   // 纯中文（或纯符号）标题：ASCII slug 为空 ⇒ 用标题哈希代替，绝不留 'untitled'
@@ -130,7 +130,7 @@ export function renderSkillMarkdownPre(procedure, opts = {}) {
   L.push('')
   L.push('# ' + String(p.title).trim())
   L.push('')
-  L.push(SKILL_USAGE_NOTICE_V1)
+  L.push(SKILL_USAGE_NOTICE_PRE_V1)
   L.push('')
 
   // ── 来源（⑪-3：必须标注适用于哪个项目）──
@@ -224,7 +224,7 @@ export function validateSkillMarkdownPre(content, expect = {}) {
   const s = String(content == null ? '' : content)
   const problems = []
   if (!s.trim()) problems.push('empty')
-  for (const a of SKILL_NOTICE_ANCHORS_V1) if (!s.includes(a)) problems.push('missing-notice:' + a)
+  for (const a of SKILL_NOTICE_ANCHORS_PRE_V1) if (!s.includes(a)) problems.push('missing-notice:' + a)
   if (!/^---\r?\n[\s\S]*?\r?\n---/.test(s)) problems.push('no-frontmatter')
   if (!/^name:\s*\S+/m.test(s)) problems.push('no-name')
   if (!/^description:\s*\S+/m.test(s)) problems.push('no-description')

package/lib/state-commit.js

@@ -1,5 +1,5 @@
 /**
- * 统一状态提交契约（state_commit_v1）—— P1 主体（2026-09-15）。
+ * 统一状态提交契约（state_commit_pre_v1）—— P1 主体（2026-09-15）。
  *
  * 依据：`docs/internal/DESIGN-P1-STATE-COMMIT-20260915.md`（已获用户批准）§2.1 / §2.2 / §2.3，
  *       `MASTER-PLAN-3.0.md` Phase 1、`TODO-GRAPH.html` 卡 V2-P1。
@@ -25,10 +25,10 @@
  */
 import { createHash } from 'node:crypto'
 
-export const STATE_COMMIT_VERSION_PRE = 'state_commit_v1'
+export const STATE_COMMIT_VERSION_PRE = 'state_commit_pre_v1'
 
-/** miv 前缀（与 `shadow-retrieval.js:144` 既有口径一致：`idx_` + first32hex）。 */
-export const MIV_PREFIX_PRE = 'idx_'
+/** miv 前缀（与 `shadow-retrieval.js:144` 既有口径一致：`idx_pre_` + first32hex）。 */
+export const MIV_PREFIX_PRE = 'idx_pre_'
 
 /**
  * 三种状态的**命名隔离**（卡内要求"三种状态不能混"）。
@@ -40,10 +40,10 @@ export const TASK_STATE_PRE = Object.freeze(['open', 'done', 'passed'])
 export const ARCHIVE_STATE_PRE = Object.freeze(['active', 'archived'])
 
 /** 提交单据必填字段（缺任一 ⇒ fail-closed 拒绝，不猜测）。 */
-export const COMMIT_REQUIRED_V1 = Object.freeze(['workspaceKey', 'boardId', 'txId', 'actor'])
+export const COMMIT_REQUIRED_PRE_V1 = Object.freeze(['workspaceKey', 'boardId', 'txId', 'actor'])
 
 /** 冲突/拒绝原因码 → 可读中文。 */
-export const COMMIT_REASONS_V1 = Object.freeze({
+export const COMMIT_REASONS_PRE_V1 = Object.freeze({
   'not-object': '传入的不是对象',
   'missing-field': '提交单据缺必填字段',
   'invalid-writes': 'writes 形状非法（必须是数组）',
@@ -55,7 +55,7 @@ export const COMMIT_REASONS_V1 = Object.freeze({
 /** 原因码 → 可读中文（未知码原样返回）。 */
 export function describeCommitReasonPre(code) {
   const k = String(code == null ? '' : code)
-  return COMMIT_REASONS_V1[k] || k || '未知原因'
+  return COMMIT_REASONS_PRE_V1[k] || k || '未知原因'
 }
 
 function asNonEmptyString(v) {
@@ -86,13 +86,13 @@ function sha256HexPre(text) {
  *   它**不替换**契约 §8 的 `shadow-retrieval.js:145 memoryIndexVersion(sources)` ——
  *   那个吃的是 **source tuples**（scope/sourceRef/epoch/version/fileDigest），是**建索引**侧的真源。
  *   两者**输入不同、用途不同**，不可互相替换；本函数是"提交边界侧"的口径，
- *   且**刻意保持与 §8 相同的前缀与长度**（`idx_` + 32 hex），使二者在外部看来同形。
+ *   且**刻意保持与 §8 相同的前缀与长度**（`idx_pre_` + 32 hex），使二者在外部看来同形。
  *
  * ⚠️ 本函数**不负责**收敛 `index.js:4188 tierCurrentMivPre()`（那处的缓存/指纹语义属 T0-2 已交付内容），
  *    P1 不动它 —— 见设计稿 §2.2 边界说明。任何"用本函数替换 tier 自造版"的改动都**不在 P1 范围**。
  *
  * 输入：`{ records: [{id, status, l0?}], boardCards?: [{id, status}], scope? }`
- * 输出：`'idx_' + first32hex(sha256(canonical))`
+ * 输出：`'idx_pre_' + first32hex(sha256(canonical))`
  *
  * canonical 构成（按 id 升序，换行拼接，无尾随空白）：
  *   每条 → `<id>\t<status>\t<contentDigest>`；`contentDigest` = 内容摘要（无内容时取空串）。
@@ -135,7 +135,7 @@ export function boardIdPre(workspaceKey, scope) {
   const ws = asNonEmptyString(workspaceKey)
   if (!ws) return null
   const sc = asNonEmptyString(scope) || 'Workspace'
-  return 'board_' + sha256HexPre(ws + '|' + sc).slice(0, 24)
+  return 'board_pre_' + sha256HexPre(ws + '|' + sc).slice(0, 24)
 }
 
 /**

package/lib/storage-manage.js

@@ -19,11 +19,11 @@
 import { buildSourceCatalog, loadCorpusSnapshot } from './m4-corpus.js'
 import { parseAnchors } from './memory-anchor.js'
 
-export const STORAGE_MANAGE_VERSION_V1 = 'storage_manage_v1'
+export const STORAGE_MANAGE_VERSION_PRE_V1 = 'storage_manage_pre_v1'
 /** 审计环形缓冲上限(最小投影,不记正文)。 */
 const AUDIT_MAX = 64
 /** 可通过「重建 sidecar」自愈的失效分类(与 loadCorpusSnapshot 的 dropped.reason 对齐)。 */
-export const REPAIRABLE_REASONS_V1 = Object.freeze(['sidecar-missing', 'sidecar-invalid', 'stale-source', 'record-stale'])
+export const REPAIRABLE_REASONS_PRE_V1 = Object.freeze(['sidecar-missing', 'sidecar-invalid', 'stale-source', 'record-stale'])
 
 export function createStorageManagerPre(opts = {}) {
   // #15 追加:docStore 必须活读——apply 同步阶段 memoryAnchorEnabled 尚未生效,常量解构会把
@@ -73,7 +73,7 @@ export function createStorageManagerPre(opts = {}) {
         status: 'ok', reasons: [], repairable: [],
       }))
       return {
-        ok: true, indexEnabled: false, scannedAt: now(), version: STORAGE_MANAGE_VERSION_V1,
+        ok: true, indexEnabled: false, scannedAt: now(), version: STORAGE_MANAGE_VERSION_PRE_V1,
         sources, stale: [],
         counts: { total: sources.length, ok: sources.length, stale: 0, unrepairable: 0 },
       }
@@ -87,7 +87,7 @@ export function createStorageManagerPre(opts = {}) {
     }
     const sources = catalog.sources.map((s) => {
       const reasons = [...new Set(byRef.get(s.sourceRef) || [])]
-      const repairable = reasons.filter((r) => REPAIRABLE_REASONS_V1.includes(r))
+      const repairable = reasons.filter((r) => REPAIRABLE_REASONS_PRE_V1.includes(r))
       return {
         sourceRef: s.sourceRef, kind: s.kind, scope: s.scope, file: s.file,
         status: repairable.length ? 'stale' : (reasons.length ? 'unrepairable' : 'ok'),
@@ -99,7 +99,7 @@ export function createStorageManagerPre(opts = {}) {
       ok: true,
       indexEnabled: true,
       scannedAt: now(),
-      version: STORAGE_MANAGE_VERSION_V1,
+      version: STORAGE_MANAGE_VERSION_PRE_V1,
       sources,
       stale,
       counts: {
@@ -224,7 +224,7 @@ export function createStorageManagerPre(opts = {}) {
     repair,
     deleteMemory,
     auditLog: () => audit.slice(),
-    version: STORAGE_MANAGE_VERSION_V1,
+    version: STORAGE_MANAGE_VERSION_PRE_V1,
     dispose() { audit.length = 0 },
   }
 }