@aiwayds/dsh-topics-memory 0.10.0 → 0.12.0

package/lib/service.js

@@ -15,6 +15,8 @@ import { aggregateStats, querySample } from "./ilog.js";
 import { fileHistory, fileAtRev } from "./git.js";
 export class TopicsService {
     cache = new Map();
+    /** mtime-keyed parse of the observations log, grouped by session. */
+    echoCache;
     store;
     getConfig;
     sync;
@@ -82,6 +84,60 @@ export class TopicsService {
     /** Drop the roster cache (tests, bulk external edits). */
     invalidate() {
         this.cache.clear();
+        this.echoCache = undefined;
+    }
+    /**
+     * Slugs distilled from THIS session's own turns — the echo set (2026-09
+     * audit finding #3: a topic distilled from in-session knowledge injected
+     * back into the same session is a lagging echo of what the model already
+     * said, occasionally stale enough to contradict the newer in-session
+     * conclusion). Provenance is durable in the observations log: each line
+     * carries `sessionId` and, once distilled, `distilledInto`. Sync read on
+     * the injection hot path, mtime-cached like the roster.
+     */
+    echoSlugsSync(sessionId) {
+        const file = join(this.store.metaDir(), 'observations.jsonl');
+        let st;
+        try {
+            st = statSync(file);
+        }
+        catch {
+            return new Set();
+        }
+        let bySession = this.echoCache;
+        if (bySession === undefined || bySession.mtimeMs !== st.mtimeMs || bySession.size !== st.size) {
+            bySession = { mtimeMs: st.mtimeMs, size: st.size, bySession: new Map() };
+            try {
+                const lines = readFileSync(file, 'utf8').split('\n');
+                for (const line of lines) {
+                    if (line.trim() === '')
+                        continue;
+                    let obs;
+                    try {
+                        obs = JSON.parse(line);
+                    }
+                    catch {
+                        continue; // torn tail line
+                    }
+                    if (obs.distilled !== true || typeof obs.sessionId !== 'string' || !Array.isArray(obs.distilledInto))
+                        continue;
+                    let set = bySession.bySession.get(obs.sessionId);
+                    if (set === undefined) {
+                        set = new Set();
+                        bySession.bySession.set(obs.sessionId, set);
+                    }
+                    for (const slug of obs.distilledInto) {
+                        if (typeof slug === 'string' && slug !== '')
+                            set.add(okf.slugify(slug));
+                    }
+                }
+            }
+            catch {
+                return new Set(); // unreadable log: fail open (no suppression)
+            }
+            this.echoCache = bySession;
+        }
+        return bySession.bySession.get(sessionId) ?? new Set();
     }
     /**
      * Full retrieval round: search → assemble → log (ADR 0006/0007). The
@@ -151,15 +207,19 @@ export class TopicsService {
      *
      * `dedup.exclude` (session-level injection dedup) filters hits AND slow
      * picks before assembly; excluded slugs are reported back as `deduped`
-     * (and logged as `record.deduped`), never packed. `included` mirrors the
-     * fast pointers that entered the context and `slowIncluded` the slow ones
-     * — only these may be marked as injected by the caller; budget-dropped
-     * slugs stay injectable later.
+     * (and logged as `record.deduped`), never packed. `dedup.echo` (蒸馏回声,
+     * v4 audit) filters the same way but reports separately as `echoed` /
+     * `record.echoed`: slugs distilled from THIS session's own turns.
+     * `included` mirrors the fast pointers that entered the context and
+     * `slowIncluded` the slow ones — only these may be marked as injected by
+     * the caller; budget-dropped slugs stay injectable later.
      *
      * `slow` (v4 §4.2) carries the consumed pending when one exists: picks are
      * packed after the fast pointers under the same budget, take log-only
      * shadow re-gate verdicts against the CURRENT query (B3: record, never
-     * block), and fill the record's lane field family.
+     * block), and fill the record's lane field family. A pick the fast lane
+     * already delivers THIS round is counted as slow-delivered (it entered the
+     * context) but not packed twice.
      */
     retrieveSync(query, sessionId, dedup, slow, slowExpired) {
         const cfg = this.cfg;
@@ -194,7 +254,7 @@ export class TopicsService {
                 }
                 void this.store.appendInjectionRecord(trace).catch(() => undefined);
             }
-            return { text: '', outcome: empty, deduped: [], included: [], slowIncluded: [] };
+            return { text: '', outcome: empty, deduped: [], echoed: [], included: [], slowIncluded: [] };
         }
         const conflicts = this.store.getConflictsSync();
         const outcome = searchTopics(query, roster, {
@@ -206,13 +266,19 @@ export class TopicsService {
             conflicts,
         });
         const exclude = dedup?.exclude;
+        const echo = dedup?.echo;
         const deduped = exclude === undefined ? [] : outcome.hits.filter((h) => exclude.has(h.slug)).map((h) => h.slug);
+        const echoed = [];
         const bySlug = new Map(roster.map((r) => [r.slug, r]));
         const entries = [];
         const unreadable = [];
         for (const hit of outcome.hits) {
             if (exclude?.has(hit.slug))
                 continue;
+            if (echo?.has(hit.slug)) {
+                echoed.push(hit.slug);
+                continue;
+            }
             const doc = this.readDocSync(hit.slug);
             if (doc === undefined) {
                 // The hit has no readable doc — without this accounting it used to
@@ -236,9 +302,21 @@ export class TopicsService {
                         deduped.push(item.slug);
                     continue;
                 }
+                if (echo?.has(item.slug)) {
+                    if (!echoed.includes(item.slug))
+                        echoed.push(item.slug);
+                    continue;
+                }
                 const meta = bySlug.get(item.slug);
                 if (meta === undefined)
                     continue; // vanished between production and consumption
+                if (entries.some((e) => e.slug === item.slug)) {
+                    // The fast lane delivers the same slug THIS round — the content
+                    // enters the context exactly once (never packed twice), and the
+                    // pick still counts as delivered for the lane bookkeeping.
+                    slowDelivered.push({ slug: item.slug, why: item.why });
+                    continue;
+                }
                 const verdict = scoreTopic(queryTokens, meta, {
                     threshold: cfg.matchThreshold,
                     topK: cfg.topK,
@@ -289,6 +367,8 @@ export class TopicsService {
             record.sessionId = sessionId;
         if (deduped.length > 0)
             record.deduped = deduped;
+        if (echoed.length > 0)
+            record.echoed = echoed;
         if (unreadable.length > 0) {
             record.dropped = [...(record.dropped ?? []), ...unreadable.map((slug) => ({ slug, reason: 'doc-unreadable' }))];
         }
@@ -328,7 +408,7 @@ export class TopicsService {
         if (injection.dropped.length > 0)
             record.dropped = [...(record.dropped ?? []), ...injection.dropped];
         void this.store.appendInjectionRecord(record).catch(() => undefined);
-        return { text: injection.text, outcome, deduped, included: injection.included, slowIncluded };
+        return { text: injection.text, outcome, deduped, echoed, included: injection.included, slowIncluded };
     }
     /**
      * topic_open tool path (v4 §4.1): full conclusion / open questions /
@@ -336,8 +416,16 @@ export class TopicsService {
      * the store stamps it on every write, so it IS the last-updated instant).
      * Logs an open record for the pointer-open-rate stat.
      */
-    async openTopic(slug, sessionId) {
-        const doc = await this.store.readTopic(slug).catch(() => undefined);
+    async openTopic(rawSlug, sessionId) {
+        // Pointers render slugs as `(topics:<slug>)` and models copy that whole
+        // token back as the argument — unwrap every `topics:`/`topics/` wrap the
+        // same way the depends edges do (audit ⑨: the wrapped form read as a
+        // missing topic). Then CANONICALIZE with the save path's own slugify:
+        // unwrap alone is case-preserving, and on a case-sensitive filesystem
+        // (Linux bundles) an uppercase-carrying argument would miss the file the
+        // save path wrote under its folded slug (CI-caught, v0.11.0 round 1).
+        const slug = okf.slugify(okf.unwrapTopicRef(rawSlug));
+        const doc = slug === '' ? undefined : await this.store.readTopic(slug).catch(() => undefined);
         if (doc === undefined)
             return { found: false, slug };
         // Awaited (tool path, not hot): a settled write makes the pointer-open
@@ -345,17 +433,23 @@ export class TopicsService {
         await this.store
             .appendOpenRecord({ slug, at: new Date().toISOString(), ...(sessionId !== undefined ? { sessionId } : {}) })
             .catch(() => undefined);
-        return {
+        // Optional fields are OMITTED, never present-as-undefined: the host's
+        // tool-output validation rejects any object carrying an undefined-valued
+        // key as non-lossless JSON (INVALID_TOOL_OUTPUT; audit ②⑦ — topics
+        // without a description made every open of them fail).
+        const found = {
             found: true,
             slug,
             title: doc.fm.title,
             status: doc.fm.status,
             updatedAt: doc.fm.generated.at,
-            description: doc.fm.description,
             conclusion: okf.sectionOf(doc.body, okf.CONCLUSION_HEADING) ?? '',
             openQuestions: doc.fm.open_questions,
             recommendations: okf.sectionOf(doc.body, okf.RECOMMENDATIONS_HEADING) ?? '',
         };
+        if (doc.fm.description !== undefined)
+            found.description = doc.fm.description;
+        return found;
     }
     /** Sync roster read (same mtime cache as roster()). */
     rosterSync() {

package/lib/tools.js

@@ -244,7 +244,20 @@ export function buildTopicTools(service) {
         },
         async execute(args) {
             const { entries } = await service.history(args.slug, args.limit ?? 20);
-            return { entries: entries.map((e) => ({ ...e, conclusion: e.conclusion })) };
+            // conclusion is omitted, never present-as-undefined — the host rejects
+            // undefined-valued keys as non-lossless JSON (INVALID_TOOL_OUTPUT).
+            return {
+                entries: entries.flatMap((e) => {
+                    const entry = {
+                        hash: e.hash,
+                        date: e.date,
+                        message: e.message,
+                    };
+                    if (typeof e.conclusion === 'string')
+                        entry.conclusion = e.conclusion;
+                    return [entry];
+                }),
+            };
         },
     });
     return [topicSave, topicOpen, topicSearch, topicObserve, topicHistory];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aiwayds/dsh-topics-memory",
-  "version": "0.10.0",
+  "version": "0.12.0",
   "description": "dsh-plugin: quality-first topic memory for dsh — a topic keeps the starting question, conclusion, impact and dependencies, not the process; local-first git-traced OKF bundle, budgeted LLM-free injection",
   "type": "module",
   "main": "lib/index.js",

package/src/commands.ts

@@ -114,18 +114,17 @@ function fail(text: string): CommandResult {
 async function renderStatus(service: TopicsService): Promise<string> {
   const s = await service.store.status()
   const cfg = service.cfg
-  const lines = [
-    `dsh-topics-memory @ ${s.root}`,
-    `  模式：${service.githubMode ? `github（${cfg.repo}）` : 'local-only'}`,
-    `  Topics：${s.topicCount}（draft ${s.byStatus.draft} / stable ${s.byStatus.stable} / deprecated ${s.byStatus.deprecated}）`,
-    `  观察积压：${s.observationsPending} 未蒸馏 / ${s.observationsTotal} 总量`,
-    `  冲突：${s.conflicts.length === 0 ? '无' : s.conflicts.join('、')}`,
-    `  损坏文件：${s.broken.length === 0 ? '无' : s.broken.join('、')}`,
-    `  git：${s.git ? `是（HEAD ${s.head?.slice(0, 10) ?? '??'}）` : '否'}`,
-    `  注入：${cfg.autoInject ? `${cfg.injectMode === 'digest' ? 'digest' : 'pointer'} 模式（topK ${cfg.topK}，预算 ${cfg.injectMode === 'digest' ? cfg.totalBudget : Math.min(cfg.totalBudget, 600)} tok，阈值 ${cfg.matchThreshold}）` : '关'}`,
-    `  去重：${cfg.injectDedup ? '开（同会话已注入的 Topic 不重注）' : '关'}`,
-    `  慢道：${cfg.qualityLane === 'off' ? '关' : cfg.qualityLane === 'always' ? `每轮（${cfg.distillProvider}/${cfg.distillModel}）` : `采样 1/3（${cfg.distillProvider}/${cfg.distillModel}）`}`,
-    `  蒸馏：${cfg.distillProvider !== '' && cfg.distillModel !== '' ? `${cfg.distillProvider}/${cfg.distillModel}，每 ${cfg.distillEveryTurns} 轮` : '未配置模型（/topics set distill-provider / distill-model）'}`,
+  const rows: [string, string][] = [
+    ['模式', service.githubMode ? `github（${cell(cfg.repo)}）` : 'local-only'],
+    ['Topics', `${s.topicCount}（draft ${s.byStatus.draft} / stable ${s.byStatus.stable} / deprecated ${s.byStatus.deprecated}）`],
+    ['观察积压', `${s.observationsPending} 未蒸馏 / ${s.observationsTotal} 总量`],
+    ['冲突', s.conflicts.length === 0 ? '无' : s.conflicts.map((c) => cell(c)).join('、')],
+    ['损坏文件', s.broken.length === 0 ? '无' : s.broken.map((b) => cell(b)).join('、')],
+    ['git', s.git ? `是（HEAD ${s.head?.slice(0, 10) ?? '??'}）` : '否'],
+    ['注入', cfg.autoInject ? `${cfg.injectMode === 'digest' ? 'digest' : 'pointer'} 模式（topK ${cfg.topK}，预算 ${cfg.injectMode === 'digest' ? cfg.totalBudget : Math.min(cfg.totalBudget, 600)} tok，阈值 ${cfg.matchThreshold}）` : '关'],
+    ['注入去重', cfg.injectDedup ? '开（同会话已注入的 Topic 不重注）' : '关'],
+    ['慢道', cfg.qualityLane === 'off' ? '关' : cfg.qualityLane === 'always' ? `每轮（${cfg.distillProvider}/${cfg.distillModel}）` : `采样 1/3（${cfg.distillProvider}/${cfg.distillModel}）`],
+    ['蒸馏', cfg.distillProvider !== '' && cfg.distillModel !== '' ? `${cfg.distillProvider}/${cfg.distillModel}，每 ${cfg.distillEveryTurns} 轮` : '未配置模型（/topics set distill-provider / distill-model）'],
   ]
   // Last lane outcome (distill-state summary) — what "checkable via
   // /topics status" promises; absent until the first run of this bundle.
@@ -136,13 +135,19 @@ async function renderStatus(service: TopicsService): Promise<string> {
         ? `标记 ${String(lastRun.marked ?? 0)} 条观察`
         : `失败（${String(lastRun.reason ?? 'unknown')}）`
     const gc = typeof lastRun.gcDropped === 'number' && lastRun.gcDropped > 0 ? `，GC 回收 ${lastRun.gcDropped}` : ''
-    lines.push(`  最近蒸馏：${outcome}${gc} @ ${String(lastRun.at ?? '').slice(0, 19).replace('T', ' ')}`)
+    rows.push(['最近蒸馏', `${outcome}${gc} @ ${cell(String(lastRun.at ?? '').slice(0, 19).replace('T', ' '))}`])
   }
   if (service.sync !== undefined) {
-    lines.push(`  上次推送：${service.sync.lastPushAt ?? '从未'}`)
-    if (service.sync.lastError !== '') lines.push(`  同步错误：${service.sync.lastError.split('\n').at(-1)}`)
+    rows.push(['上次推送', cell(String(service.sync.lastPushAt ?? '从未'))])
+    if (service.sync.lastError !== '') rows.push(['同步错误', cell(service.sync.lastError.split('\n').at(-1) ?? '')])
   }
-  return lines.join('\n')
+  return [
+    `dsh-topics-memory @ ${s.root}`,
+    '',
+    '| 字段 | 值 |',
+    '| --- | --- |',
+    ...rows.map(([k, v]) => `| ${k} | ${v} |`),
+  ].join('\n')
 }
 
 /**
@@ -178,9 +183,13 @@ async function renderStats(service: TopicsService): Promise<string> {
   if (records.length === 0) return '还没有注入记录 —— 用起来之后这里会有 hit rate / top-N / near-miss 分布。'
   const lines = [
     `注入统计（最近 ${records.length} 轮）：`,
-    `  hit rate：${(stats.hitRate * 100).toFixed(1)}%（${stats.injectedRounds}/${stats.rounds} 轮注入）`,
-    `  零命中轮：${stats.zeroHitRounds}；平均命中 ${stats.avgHitsPerRound} 条/轮`,
-    `  平均预算占用：${stats.avgBudgetUtilization} tok`,
+    '',
+    '| 指标 | 值 |',
+    '| --- | --- |',
+    `| hit rate | ${(stats.hitRate * 100).toFixed(1)}%（${stats.injectedRounds}/${stats.rounds} 轮注入） |`,
+    `| 零命中轮 | ${stats.zeroHitRounds} |`,
+    `| 平均命中 | ${stats.avgHitsPerRound} 条/轮 |`,
+    `| 平均预算占用 | ${stats.avgBudgetUtilization} tok |`,
   ]
   // v4 lane split — how much of the injection traffic each lane carries.
   const slowRounds = records.filter((r) => r.lane === 'slow' || r.lane === 'mixed').length
@@ -193,27 +202,35 @@ async function renderStats(service: TopicsService): Promise<string> {
         .sort((a, b) => a - b)
       medianLag = `，赶上中位时延 ${(lags[Math.floor(lags.length / 2)] / 1000).toFixed(1)}s`
     }
-    lines.push(`  慢道参与轮：${slowRounds}（快 ${(records.length - slowRounds)} / 慢或混合 ${slowRounds}${medianLag}）`)
+    lines.push(`| 慢道参与轮 | ${slowRounds}（快 ${records.length - slowRounds} / 慢或混合 ${slowRounds}${medianLag}） |`)
   }
   // Pointer open rate (v4 §4.3): topic_open calls vs pointer entries injected.
+  // Echoed hits ride the retrieval but never became pointers — excluded here.
   const opens = await service.store.readOpenRecords()
   if (opens.length > 0 || records.some((r) => r.lane !== undefined)) {
     const entries = records.reduce(
-      (acc, r) => acc + r.hits.filter((h) => !(r.deduped ?? []).includes(h.slug)).length + (r.slow?.length ?? 0),
+      (acc, r) =>
+        acc +
+        r.hits.filter((h) => !(r.deduped ?? []).includes(h.slug) && !(r.echoed ?? []).includes(h.slug)).length +
+        (r.slow?.length ?? 0),
       0,
     )
     const rate = entries === 0 ? 0 : Math.min(1, opens.length / entries)
-    lines.push(`  指针打开率：${(rate * 100).toFixed(1)}%（${opens.length} 次 topic_open / ${entries} 条注入指针）`)
+    lines.push(`| 指针打开率 | ${(rate * 100).toFixed(1)}%（${opens.length} 次 topic_open / ${entries} 条注入指针） |`)
+  }
+  const echoedCount = records.reduce((acc, r) => acc + (r.echoed?.length ?? 0), 0)
+  if (echoedCount > 0) {
+    lines.push(`| 回声抑制 | ${echoedCount} 次（本会话蒸馏出的 topic 不回注） |`)
   }
   if (stats.topTopics.length > 0) {
-    lines.push('  Top-N 被注入 Topic：')
-    for (const t of stats.topTopics.slice(0, 5)) lines.push(`    ${t.slug} ×${t.count}`)
+    lines.push('', 'Top-N 被注入 Topic：', '', '| Slug | 注入次数 |', '| --- | --- |')
+    for (const t of stats.topTopics.slice(0, 5)) lines.push(`| \`${cell(t.slug)}\` | ${t.count} |`)
   }
   if (stats.nearMissHistogram.length > 0) {
-    lines.push('  Near-miss 分布（低于阈值或被结构门挡下）：')
-    for (const b of stats.nearMissHistogram) lines.push(`    ${b.bucket}: ${b.count}`)
+    lines.push('', 'Near-miss 分布（低于阈值或被结构门挡下）：', '', '| 分数段 | 次数 |', '| --- | --- |')
+    for (const b of stats.nearMissHistogram) lines.push(`| ${cell(b.bucket)} | ${b.count} |`)
     const hint = tuningHint(stats, service.cfg.matchThreshold)
-    if (hint !== undefined) lines.push(`  💡 ${hint}`)
+    if (hint !== undefined) lines.push('', `💡 ${hint}`)
   }
   return lines.join('\n')
 }
@@ -229,16 +246,40 @@ export function tuningHint(stats: ReturnType<typeof aggregateStats>, threshold:
   return undefined
 }
 
+/** /topics list caps the table at this many newest topics. */
+const LIST_LIMIT = 100
+
 async function renderList(service: TopicsService): Promise<string> {
   const metas = await service.store.listTopics()
   if (metas.length === 0) return 'Bundle 里还没有 Topic —— 在会话里让我记点什么，或 /topics set 配置好蒸馏。'
-  const lines = [`共 ${metas.length} 个 Topic：`]
-  for (const m of metas.sort((a, b) => a.slug.localeCompare(b.slug))) {
-    lines.push(`  ${m.slug}  [${m.status}] ${m.title}${m.tags.length > 0 ? `  #${m.tags.join(' #')}` : ''}`)
+  // Newest first, capped: with a large bundle the table is for scanning
+  // recent work, not an exhaustive roster — /topics show <slug> reaches any
+  // topic the cap hides. (store.ts re-stamps generated.at on every topic
+  // write, so it IS the updated-at time; the slug tiebreak keeps same-stamp
+  // rows stable.)
+  metas.sort((a, b) => b.generatedAt.localeCompare(a.generatedAt) || a.slug.localeCompare(b.slug))
+  const shown = metas.slice(0, LIST_LIMIT)
+  const lines = [
+    `共 ${metas.length} 个 Topic（按最近更新排序）：`,
+    '',
+    '| # | Slug | 标题 | 状态 | 标签 | 更新 |',
+    '| --- | --- | --- | --- | --- | --- |',
+  ]
+  shown.forEach((m, i) => {
+    const tags = m.tags.length > 0 ? m.tags.map((t) => `#${cell(t)}`).join(' ') : '—'
+    lines.push(`| ${i + 1} | \`${cell(m.slug)}\` | ${cell(m.title)} | ${m.status} | ${tags} | ${cell(m.generatedAt.slice(0, 10))} |`)
+  })
+  if (metas.length > shown.length) {
+    lines.push('', `… 其余 ${metas.length - shown.length} 个更早的 Topic 未显示（/topics show <slug> 直达）。`)
   }
   return lines.join('\n')
 }
 
+/** One markdown table cell: pipes escaped, whitespace flattened. */
+function cell(text: string): string {
+  return text.replace(/\|/g, '\\|').replace(/\s*\n\s*/g, ' ')
+}
+
 async function renderShow(service: TopicsService, slug: string | undefined): Promise<CommandResult> {
   if (slug === undefined || slug === '') return fail('用法：/topics show <slug>')
   const doc = await service.store.readTopic(slug)
@@ -261,10 +302,15 @@ async function renderHistory(service: TopicsService, slug: string | undefined):
   if (slug === undefined || slug === '') return fail('用法：/topics history <slug>')
   const { entries } = await service.history(slug, 30)
   if (entries.length === 0) return fail(`Topic “${slug}” 没有历史（不存在或 bundle 不是 git 仓库）`)
-  const lines = [`${slug} 的变更史（${entries.length} 条）：`]
+  const lines = [
+    `${slug} 的变更史（${entries.length} 条）：`,
+    '',
+    '| Hash | 时间 | 变更 | 当时的结论 |',
+    '| --- | --- | --- | --- |',
+  ]
   for (const e of entries) {
-    lines.push(`  ${e.hash} ${e.date.slice(0, 19).replace('T', ' ')} ${e.message}`)
-    if (e.conclusion !== undefined && e.conclusion !== '') lines.push(`      └ 结论当时：${e.conclusion}`)
+    const conclusion = e.conclusion !== undefined && e.conclusion !== '' ? cell(e.conclusion) : '—'
+    lines.push(`| \`${cell(e.hash)}\` | ${cell(e.date.slice(0, 19).replace('T', ' '))} | ${cell(e.message)} | ${conclusion} |`)
   }
   return ok(lines.join('\n'))
 }
@@ -321,9 +367,14 @@ async function doSync(service: TopicsService, direction: string | undefined): Pr
 }
 
 function renderConfig(cfg: TopicsConfigValue): string {
-  const lines = ['当前配置：']
+  const lines = [
+    '当前配置：',
+    '',
+    '| 配置项 | 值 |',
+    '| --- | --- |',
+  ]
   for (const key of CONFIG_KEYS) {
-    lines.push(`  ${displayKey(key)} = ${String(cfg[key])}`)
+    lines.push(`| ${displayKey(key)} | ${cell(String(cfg[key]))} |`)
   }
   return lines.join('\n')
 }

package/src/config.ts

@@ -14,6 +14,11 @@ export const TopicsConfig = z.object({
   autoInject: z.boolean().default(true),
   /** Skip re-injecting topics already injected earlier in the same session. */
   injectDedup: z.boolean().default(true),
+  /** Skip re-injecting topics distilled from the CURRENT session's own turns
+   *  (蒸馏回声): the conversation already carries that knowledge, so a
+   *  pointer is a stale echo at best (2026-09 audit: 3 of 6 useless rounds).
+   *  Provenance rides the observations log (sessionId → distilledInto). */
+  suppressEcho: z.boolean().default(true),
   /** Max topics injected per round (ADR 0006: ≤4). */
   topK: z.number().default(4),
   /** Per-topic digest budget in tokens. */
@@ -61,6 +66,7 @@ export type TopicsConfigValue = {
   repo: string
   autoInject: boolean
   injectDedup: boolean
+  suppressEcho: boolean
   topK: number
   perTopicBudget: number
   totalBudget: number
@@ -86,6 +92,7 @@ export const CONFIG_KEYS = [
   'repo',
   'autoInject',
   'injectDedup',
+  'suppressEcho',
   'topK',
   'perTopicBudget',
   'totalBudget',
@@ -125,6 +132,7 @@ export function parseConfigValue(key: ConfigKey, raw: string): boolean | number
     }
     case 'autoInject':
     case 'injectDedup':
+    case 'suppressEcho':
     case 'autoObserve':
     case 'distillOnSessionEnd':
     case 'includeSubagents': {

package/src/ilog.ts

@@ -41,6 +41,8 @@ export interface InjectionRecord {
   dropped?: { slug: string; reason: string }[]
   /** Slugs blocked this round by session-level injection dedup (never assembled). */
   deduped?: string[]
+  /** Slugs blocked this round as 蒸馏回声 (distilled from this session's own turns). */
+  echoed?: string[]
   usedTokens?: number
   // ---- v4 lane field family (§4.3) — absent on pure fast-lane rounds ----
   /** fast = lexical pointers only; slow = async picks only; mixed = both. */
@@ -88,12 +90,14 @@ export function aggregateStats(records: readonly InjectionRecord[]): AggregateSt
       budgetSamples += 1
       budgetSum += r.usedTokens
     }
-    // topTopics feeds 「Top-N 被注入 Topic」— deduped hits were NOT injected,
-    // so they must not inflate the per-slug injection counts. Retrieval-shape
-    // metrics above (hits/rounds, zero-hit rounds) keep counting raw hits.
+    // topTopics feeds 「Top-N 被注入 Topic」— deduped/echoed hits were NOT
+    // injected, so they must not inflate the per-slug injection counts.
+    // Retrieval-shape metrics above (hits/rounds, zero-hit rounds) keep
+    // counting raw hits.
     const deduped = r.deduped === undefined ? undefined : new Set(r.deduped)
+    const echoed = r.echoed === undefined ? undefined : new Set(r.echoed)
     for (const h of r.hits) {
-      if (deduped?.has(h.slug)) continue
+      if (deduped?.has(h.slug) || echoed?.has(h.slug)) continue
       topicCounts.set(h.slug, (topicCounts.get(h.slug) ?? 0) + 1)
     }
     for (const nm of r.nearMisses) {

package/src/index.ts

@@ -244,6 +244,7 @@ export function apply(ctx: Context): void {
       if (state === undefined) return
       const cfg = cfgNow()
       const seen = cfg.injectDedup ? injectedBySession.get(sessionId) : undefined
+      const echo = cfg.suppressEcho ? service.echoSlugsSync(sessionId) : undefined
       // Slow-lane consumption point (v4 生命周期表): the pending produced at
       // the previous turn/end rides THIS splice — consumed or expired, the
       // slot is gone either way (消费即清; expiry surfaces in record.why).
@@ -256,7 +257,7 @@ export function apply(ctx: Context): void {
           else slowExpired = consumed.expired
         }
       }
-      const r = service.retrieveSync(query, sessionId, seen === undefined ? undefined : { exclude: seen }, slow, slowExpired)
+      const r = service.retrieveSync(query, sessionId, seen === undefined && echo === undefined ? undefined : { exclude: seen, echo }, slow, slowExpired)
       // Mark only what entered the context this round (hits AND slow picks →
       // dedup filter → assemble → registry mark; budget-dropped slugs stay
       // injectable).
@@ -301,6 +302,18 @@ export function apply(ctx: Context): void {
       slowLane.dispatch(sessionId, {
         ring: observer.recentTurns(sessionId),
         turnId: observer.turnCountOf(sessionId),
+        // The lane must not spend its rerank on slugs this session already
+        // carries (injected earlier / distilled from its own turns) — such a
+        // pick is silently swallowed at consumption and the pending dies.
+        exclude: (() => {
+          const seen = injectedBySession.get(sessionId)
+          const echo = cfgNow().suppressEcho ? service.echoSlugsSync(sessionId) : undefined
+          if (seen === undefined || seen.size === 0) return echo
+          if (echo === undefined || echo.size === 0) return seen
+          const merged = new Set(seen)
+          for (const slug of echo) merged.add(slug)
+          return merged
+        })(),
       })
     } catch {
       // contained — the lane must never break the event handler
@@ -646,6 +659,7 @@ const DEFAULTS: TopicsConfigValue = {
   repo: '',
   autoInject: true,
   injectDedup: true,
+  suppressEcho: true,
   topK: 4,
   perTopicBudget: 300,
   totalBudget: 1500,

package/src/quality.ts

@@ -36,6 +36,8 @@ export const SAMPLED_EVERY = 3
 const RING_CHARS = 6000
 /** Candidate band size fed to the rerank. */
 const CANDIDATE_LIMIT = 6
+/** Over-fetch before the exclude filter, so excluded slugs don't thin the band. */
+const CANDIDATE_OVERFETCH = 6
 
 export const QUERY_BUILD_PROMPT = [
   '你是检索查询构建器。输入是最近几轮对话。任务：判断「模型此刻需要什么背景知识」，输出一个用于关键词检索的 query。',
@@ -70,6 +72,14 @@ export type ConsumeResult = { pending: PendingInjection } | { expired: 'ttl' | '
 export interface DispatchInput {
   ring: readonly RingEntry[]
   turnId: number
+  /**
+   * Slugs the session already carries — injected earlier this session or
+   * distilled from its own turns (echo). The candidate band drops them
+   * BEFORE the rerank: a pick the fast-lane dedup would silently swallow at
+   * consumption is a wasted aux call and a dead pending (2026-09 audit: 2 of
+   * the first 3 slow-lane outcomes died exactly this way).
+   */
+  exclude?: ReadonlySet<string>
 }
 
 /** Race `p` against a timeout; `onTimeout` fires so callers can abort upstream work. */
@@ -233,13 +243,16 @@ export class SlowLane {
       // candidates = threshold passers + the near-miss band beneath them.
       const band = searchTopics(query, roster, {
         threshold: this.service.cfg.matchThreshold,
-        topK: CANDIDATE_LIMIT,
+        topK: CANDIDATE_LIMIT + CANDIDATE_OVERFETCH,
         tagBoost: this.service.cfg.tagBoost,
         graphDepth: 0,
         recencyWindowDays: this.service.cfg.recencyWindowDays,
         structuralGate: false,
       })
-      const candidates = [...band.hits, ...band.nearMisses].slice(0, CANDIDATE_LIMIT)
+      const exclude = input.exclude
+      const candidates = [...band.hits, ...band.nearMisses]
+        .filter((c) => !exclude?.has(c.slug))
+        .slice(0, CANDIDATE_LIMIT)
       if (candidates.length === 0) return
       const bySlug = new Map(roster.map((r) => [r.slug, r]))
       const payload = candidates.flatMap((c) => {