autosnippet 3.2.7 → 3.2.9

package/lib/service/chat/Memory.js

@@ -1,161 +0,0 @@
-/**
- * @deprecated Phase 5: 已由 PersistentMemory 取代。
- *   数据可通过 `PersistentMemory.migrateFromLegacy(projectRoot)` 迁移到 SQLite。
- *   新代码请使用 `import { PersistentMemory } from './memory/PersistentMemory.js'`
- *
- * Memory — 跨对话轻量记忆（带 source 隔离 + 去重）
- *
- * 设计:
- * - JSONL 文件存储，每行一条记忆
- * - 支持 TTL 自动过期
- * - 上限 maxEntries，超出时截断旧条目
- * - 读写均做静默降级（Memory 是增强，不是核心路径）
- * - source 标签: 'user'(用户对话) / 'system'(SignalCollector 等后台)
- * - 去重: 相同 type+content 的记忆不重复写入
- *
- * 记忆类型:
- * - preference: 用户偏好（"我们不用 singleton"、"以后用 DI"）
- * - decision:   关键决策（"Network 模块审核通过"）
- * - context:    项目上下文（"主语言是 Swift，使用 SPM"）
- *
- * 隔离规则:
- *   toPromptSection({ source }) 可按 source 过滤
- *   用户对话只看 source=user 的记忆
- *   系统分析可看全部记忆
- *
- * 文件路径: .autosnippet/memory.jsonl
- */
-
-import fs from 'node:fs';
-import path from 'node:path';
-import pathGuard from '../../shared/PathGuard.js';
-
-export class Memory {
-  #filePath;
-  #maxEntries;
-
-  /**
-   * @param {string} projectRoot — 用户项目根目录
-   * @param {object} [opts]
-   * @param {number} [opts.maxEntries=50] — 最大记忆条数
-   */
-  constructor(projectRoot, { maxEntries = 50 } = {}) {
-    this.#filePath = path.join(projectRoot, '.autosnippet', 'memory.jsonl');
-    this.#maxEntries = maxEntries;
-    // 路径安全检查
-    pathGuard.assertProjectWriteSafe(this.#filePath);
-  }
-
-  /**
-   * 读取最近 N 条记忆，过滤过期项
-   * @param {number} [limit=20]
-   * @param {object} [opts]
-   * @param {'user'|'system'} [opts.source] — 按 source 过滤
-   * @returns {{ ts: string, type: string, content: string, source?: string, ttl?: number }[]}
-   */
-  load(limit = 20, { source } = {}) {
-    try {
-      if (!fs.existsSync(this.#filePath)) {
-        return [];
-      }
-      const raw = fs.readFileSync(this.#filePath, 'utf-8').trim();
-      if (!raw) {
-        return [];
-      }
-      const lines = raw.split('\n').filter(Boolean);
-      const now = Date.now();
-      return lines
-        .map((l) => {
-          try {
-            return JSON.parse(l);
-          } catch {
-            return null;
-          }
-        })
-        .filter(Boolean)
-        .filter((m) => !m.ttl || now - new Date(m.ts).getTime() < m.ttl * 86400000)
-        .filter((m) => !source || (m.source || 'user') === source)
-        .slice(-limit);
-    } catch {
-      return [];
-    }
-  }
-
-  /**
-   * 追加一条记忆（自动去重）
-   * @param {{ type: string, content: string, source?: string, ttl?: number }} entry
-   */
-  append(entry) {
-    try {
-      // 去重: 检查是否已有相同 type+content 的记忆
-      const existing = this.load(this.#maxEntries);
-      const normalizedContent = (entry.content || '').trim().substring(0, 200);
-      const isDuplicate = existing.some(
-        (m) => m.type === entry.type && m.content === normalizedContent
-      );
-      if (isDuplicate) {
-        return;
-      }
-
-      const dir = path.dirname(this.#filePath);
-      fs.mkdirSync(dir, { recursive: true });
-      const line = JSON.stringify({
-        ts: new Date().toISOString(),
-        source: entry.source || 'user',
-        ...entry,
-        content: normalizedContent,
-      });
-      fs.appendFileSync(this.#filePath, `${line}\n`, 'utf-8');
-      this.#compact();
-    } catch {
-      /* write failure non-critical */
-    }
-  }
-
-  /**
-   * 生成供系统提示词的记忆摘要
-   *
-   * @param {object} [opts]
-   * @param {'user'|'system'} [opts.source] — 只包含指定 source 的记忆
-   *   - 用户对话建议传 'user' 避免系统分析记忆污染
-   *   - 后台分析可传 undefined 获取全部
-   * @returns {string}
-   */
-  toPromptSection({ source } = {}) {
-    const memories = this.load(20, { source });
-    if (memories.length === 0) {
-      return '';
-    }
-    const lines = memories.map((m) => `- [${m.type}] ${m.content}`).join('\n');
-    return `\n## 历史记忆\n以下是之前对话中积累的项目偏好和决策，请参考：\n${lines}\n`;
-  }
-
-  /**
-   * 当前记忆条数
-   * @param {object} [opts]
-   * @param {'user'|'system'} [opts.source]
-   */
-  size({ source } = {}) {
-    return this.load(this.#maxEntries, { source }).length;
-  }
-
-  /**
-   * 超过 maxEntries 时截断旧条目
-   */
-  #compact() {
-    try {
-      const raw = fs.readFileSync(this.#filePath, 'utf-8').trim();
-      if (!raw) {
-        return;
-      }
-      const lines = raw.split('\n').filter(Boolean);
-      if (lines.length > this.#maxEntries) {
-        fs.writeFileSync(this.#filePath, `${lines.slice(-this.#maxEntries).join('\n')}\n`, 'utf-8');
-      }
-    } catch {
-      /* ignore */
-    }
-  }
-}
-
-export default Memory;

package/lib/service/chat/ProducerAgent.js

@@ -1,431 +0,0 @@
-/**
- * ProducerAgent.js — v3.0 生产者 Agent
- *
- * 职责:
- * - 将 Analyst 的分析文本转换为结构化的 submit_knowledge 调用
- * - 遵循 PROJECT_SNAPSHOT_STYLE_GUIDE 格式
- * - 使用 read_project_file 获取代码片段
- * - UnifiedValidator 验证每次提交（替代已废弃的 CandidateGuardrail）
- *
- * 设计哲学:
- * "像编辑把记者的手稿变成标准格式的文章。"
- *
- * @module ProducerAgent
- */
-
-import Logger from '../../infrastructure/logging/Logger.js';
-import { buildProducerStyleGuide, SUBMIT_REQUIREMENTS } from '../../shared/StyleGuide.js';
-
-// ──────────────────────────────────────────────────────────────────
-// System Prompt — Producer 专用 (~150 tokens)
-// ──────────────────────────────────────────────────────────────────
-
-const PRODUCER_SYSTEM_PROMPT = `你是知识管理专家。你会收到一段代码分析文本，需要将其中的知识点转化为结构化的知识候选。
-
-核心原则: 分析文本已经包含了所有发现，你的唯一工作是将它们格式化为 submit_knowledge 调用。
-
-每个候选必须:
-1. 有清晰的标题 (描述知识点的核心，使用项目真实类名)
-2. 有项目特写风格的正文 (content.markdown 字段，结合代码展示)
-3. 标注相关文件路径
-4. 选择正确的 kind (rule/pattern/fact)
-5. 提供完整的 Cursor 交付字段 (trigger, doClause, whenClause 等)
-
-工作流程:
-1. 阅读分析文本，识别每个独立的知识点/发现
-2. 用 read_project_file 批量获取关键代码片段:
-   read_project_file({ filePaths: ["FileA.m", "FileB.m"], maxLines: 80 })
-3. 立刻调用 submit_knowledge 提交
-4. 重复直到分析中的所有知识点都已提交
-
-关键规则:
-- 分析中的每个要点/段落都应转化为至少一个候选
-- read_project_file 支持 filePaths 数组批量读取多个文件，一次调用完成
-- read_project_file 时读取足够多的行数（startLine + maxLines 至少 30 行）
-- reasoning.sources 必须是非空数组，填写相关文件路径如 ["FileName.m"]
-- 如果分析提到了 3 个模式，就应该提交 3 个候选，不要合并
-- 禁止: 不要搜索新文件、不要做额外分析，专注于格式化和提交
-
-容错规则:
-- 如果 read_project_file 返回"文件不存在"或错误，不要重试同一文件的其他路径变体
-- 文件读取失败时，直接使用分析文本中已有的代码和描述来提交候选
-- 永远不要因为文件读取失败而跳过知识点 — 分析文本已经包含足够信息
-- 先提交候选，再考虑是否需要读取更多代码（提交优先于验证）`;
-
-// ──────────────────────────────────────────────────────────────────
-// Producer 可用工具白名单 — 只做格式化和提交
-// ──────────────────────────────────────────────────────────────────
-
-const PRODUCER_TOOLS = ['submit_knowledge', 'submit_with_check', 'read_project_file'];
-
-// ──────────────────────────────────────────────────────────────────
-// Producer 预算 — 格式化任务，迭代更少
-// ──────────────────────────────────────────────────────────────────
-
-const PRODUCER_BUDGET = {
-  maxIterations: 24, // was 18 — 与 Analyst 统一
-  searchBudget: 4,
-  searchBudgetGrace: 3,
-  maxSubmits: 10,
-  softSubmitLimit: 10,
-  idleRoundsToExit: 3,
-};
-
-// ──────────────────────────────────────────────────────────────────
-// 项目特写风格指南 (从共享 StyleGuide.js 获取)
-// ──────────────────────────────────────────────────────────────────
-
-const STYLE_GUIDE = buildProducerStyleGuide();
-
-// ──────────────────────────────────────────────────────────────────
-// Prompt 构建
-// ──────────────────────────────────────────────────────────────────
-
-/** 提交要求 (从共享 StyleGuide.js 获取) */
-// SUBMIT_REQUIREMENTS 已经从 import 获取
-
-/**
- * 构建 Producer Prompt (v1 — 用于 AnalysisReport)
- *
- * @param {import('./HandoffProtocol.js').AnalysisReport} analysisReport
- * @param {object} dimConfig — { id, label, allowedKnowledgeTypes, outputType }
- * @param {object} projectInfo — { name }
- * @returns {string}
- */
-function buildProducerPrompt(analysisReport, dimConfig, projectInfo) {
-  const parts = [];
-
-  // §1 任务描述
-  parts.push(`将以下对 ${projectInfo.name} 项目 "${dimConfig.label}" 维度的分析，转化为知识候选:`);
-
-  // §2 分析内容
-  parts.push(`---\n${analysisReport.analysisText}\n---`);
-
-  // §3 引用文件
-  if (analysisReport.referencedFiles.length > 0) {
-    parts.push(`分析中引用的关键文件: ${analysisReport.referencedFiles.join(', ')}`);
-  }
-
-  // §4 维度约束
-  parts.push(`维度约束:
-- dimensionId: ${dimConfig.id}
-- 允许的 knowledgeType: ${(dimConfig.allowedKnowledgeTypes || []).join(', ') || '(all)'}
-- category: ${dimConfig.id}`);
-
-  // §5 写作指南 (只注入一次)
-  parts.push(STYLE_GUIDE);
-
-  // §6 提交要求
-  parts.push(SUBMIT_REQUIREMENTS);
-
-  return parts.join('\n\n');
-}
-
-/**
- * 构建 Producer Prompt v2 — 用于 AnalysisArtifact
- *
- * 相比 v1 增加:
- * - §3 结构化发现 (findings): 每个发现应转化为至少一个候选
- * - §4 代码证据: Analyst 已读取的关键代码片段, Producer 无需重新 read_file
- * - §5 负空间信号: 搜索但未找到的模式, 告知 Producer 不要猜测
- *
- * @param {import('./HandoffProtocol.js').AnalysisArtifact} artifact
- * @param {object} dimConfig
- * @param {object} projectInfo
- * @returns {string}
- */
-function buildProducerPromptV2(artifact, dimConfig, projectInfo) {
-  const parts = [];
-
-  // §1 任务描述
-  parts.push(`将以下对 ${projectInfo.name} 项目 "${dimConfig.label}" 维度的分析，转化为知识候选:`);
-
-  // §2 分析内容
-  parts.push(`---\n${artifact.analysisText}\n---`);
-
-  // §3 结构化发现 (来自 ActiveContext note_finding)
-  if (artifact.findings?.length > 0) {
-    const findingLines = ['## 关键发现 (Analyst 已确认)'];
-    const sorted = [...artifact.findings].sort((a, b) => b.importance - a.importance);
-    for (const f of sorted) {
-      const badge = f.importance >= 8 ? '⚠️' : '📋';
-      findingLines.push(`${badge} **[${f.importance}/10]** ${f.finding}`);
-      if (f.evidence) {
-        findingLines.push(`  证据: ${f.evidence}`);
-      }
-    }
-    findingLines.push('');
-    findingLines.push('☝️ 上述每个发现都应至少转化为一个候选。');
-    parts.push(findingLines.join('\n'));
-  }
-
-  // §4 代码证据 (NEW — 杀手级改进: Producer 无需重新 read_file)
-  const codeContext = buildCodeContextSection(artifact.evidenceMap);
-  if (codeContext) {
-    parts.push(codeContext);
-  }
-
-  // §5 负空间信号 (NEW — 告知 Producer 哪些模式不存在)
-  if (artifact.negativeSignals?.length > 0) {
-    const nsLines = ['## ⛔ 不存在的模式 (不要猜测)'];
-    for (const ns of artifact.negativeSignals.slice(0, 5)) {
-      nsLines.push(`- "${ns.searchPattern}" — ${ns.implication}`);
-    }
-    parts.push(nsLines.join('\n'));
-  }
-
-  // §6 引用文件 (简化 — evidenceMap 已包含更丰富的信息)
-  if (artifact.referencedFiles.length > 0) {
-    parts.push(`分析中引用的关键文件: ${artifact.referencedFiles.slice(0, 15).join(', ')}`);
-  }
-
-  // §7 维度约束
-  parts.push(`维度约束:
-- dimensionId: ${dimConfig.id}
-- 允许的 knowledgeType: ${(dimConfig.allowedKnowledgeTypes || []).join(', ') || '(all)'}
-- category: ${dimConfig.id}`);
-
-  // §8 写作指南 + 提交要求
-  parts.push(STYLE_GUIDE);
-  parts.push(SUBMIT_REQUIREMENTS);
-
-  return parts.join('\n\n');
-}
-
-// ──────────────────────────────────────────────────────────────────
-// 代码上下文注入 (Producer v2 辅助)
-// ──────────────────────────────────────────────────────────────────
-
-/**
- * 从 evidenceMap 构建代码上下文段
- *
- * 策略: 按代码片段数量排序 (更多片段 = Analyst 更关注此文件)
- * 预算: ≤ 4000 chars (约 1000 tokens)
- *
- * @param {Map<string, import('./EvidenceCollector.js').EvidenceEntry>} evidenceMap
- * @returns {string|null}
- */
-function buildCodeContextSection(evidenceMap) {
-  if (!evidenceMap || evidenceMap.size === 0) return null;
-
-  const parts = ['## 📄 Analyst 已读取的代码 (直接引用, 无需 read_file)'];
-  let totalChars = 0;
-  const BUDGET = 4000;
-
-  // 按代码片段数量排序
-  const sortedEntries = [...evidenceMap.values()]
-    .filter((e) => e.codeSnippets.length > 0)
-    .sort((a, b) => b.codeSnippets.length - a.codeSnippets.length);
-
-  for (const entry of sortedEntries) {
-    if (totalChars >= BUDGET) break;
-
-    const header = `### ${entry.filePath}${entry.role ? ` (${entry.role})` : ''}`;
-    parts.push(header);
-    totalChars += header.length;
-
-    if (entry.summary) {
-      parts.push(entry.summary);
-      totalChars += entry.summary.length;
-    }
-
-    for (const snippet of entry.codeSnippets.slice(0, 2)) {
-      if (totalChars >= BUDGET) break;
-      const codeBlock = `\`\`\`\n// L${snippet.startLine}-${snippet.endLine}\n${snippet.content}\n\`\`\``;
-      if (snippet.analystNote) {
-        parts.push(`> ${snippet.analystNote}`);
-        totalChars += snippet.analystNote.length + 4;
-      }
-      parts.push(codeBlock);
-      totalChars += codeBlock.length;
-    }
-  }
-
-  return parts.length > 1 ? parts.join('\n') : null;
-}
-
-// ──────────────────────────────────────────────────────────────────
-// ProducerAgent 类
-// ──────────────────────────────────────────────────────────────────
-
-export class ProducerAgent {
-  /** @type {import('./ChatAgent.js').ChatAgent} */
-  #chatAgent;
-
-  /** @type {import('../../infrastructure/logging/Logger.js').default} */
-  #logger;
-
-  /**
-   * @param {object} chatAgent — ChatAgent 实例
-   */
-  constructor(chatAgent) {
-    this.#chatAgent = chatAgent;
-    this.#logger = Logger.getInstance();
-  }
-
-  /**
-   * 将分析报告转化为候选
-   *
-   * @param {import('./HandoffProtocol.js').AnalysisReport} analysisReport — Analyst 产出
-   * @param {object} dimConfig — 维度配置
-   * @param {object} projectInfo — { name, lang, fileCount }
-   * @param {object} [options]
-   * @param {string} [options.sessionId]
-   * @param {object} [options.budget] — 覆盖默认预算
-   * @returns {Promise<ProducerResult>}
-   */
-  async produce(analysisReport, dimConfig, projectInfo, options = {}) {
-    const dimId = dimConfig.id;
-
-    // 分析文本为空时直接跳过
-    if (!analysisReport.analysisText || analysisReport.analysisText.length < 50) {
-      this.#logger.warn(`[ProducerAgent] ⚠ empty analysis for "${dimId}" — skipping`);
-      return { candidateCount: 0, toolCalls: [], reply: '' };
-    }
-
-    // 自动检测: AnalysisArtifact (v2) vs AnalysisReport (v1)
-    const isArtifact = !!(analysisReport.evidenceMap || analysisReport.findings);
-    const prompt = isArtifact
-      ? buildProducerPromptV2(analysisReport, dimConfig, projectInfo)
-      : buildProducerPrompt(analysisReport, dimConfig, projectInfo);
-    this.#logger.info(
-      `[ProducerAgent] ▶ producing candidates for "${dimId}" — prompt ${prompt.length} chars${isArtifact ? ' (v2 artifact)' : ''}`
-    );
-
-    const budget = options.budget
-      ? { ...PRODUCER_BUDGET, ...options.budget }
-      : { ...PRODUCER_BUDGET };
-
-    try {
-      const result = await this.#chatAgent.execute(prompt, {
-        source: 'system',
-        conversationId: options.sessionId ? `producer-${options.sessionId}-${dimId}` : undefined,
-        budget,
-        systemPromptOverride: PRODUCER_SYSTEM_PROMPT,
-        allowedTools: PRODUCER_TOOLS,
-        strategy: 'producer',
-        temperature: 0.3,
-        projectLanguage: projectInfo.lang,
-        // v5.0: 统一 MemoryCoordinator (修复 B2: Producer 获得 WM distilled context)
-        memoryCoordinator: options.memoryCoordinator || undefined,
-        dimensionMeta: {
-          id: dimId,
-          outputType: dimConfig.outputType || 'candidate',
-          allowedKnowledgeTypes: dimConfig.allowedKnowledgeTypes || [],
-        },
-      });
-
-      // 统计提交 (区分成功/失败)
-      const submitCalls = (result.toolCalls || []).filter(
-        (tc) =>
-          (tc.tool || tc.name) === 'submit_knowledge' ||
-          (tc.tool || tc.name) === 'submit_with_check'
-      );
-      const successCount = submitCalls.filter((tc) => {
-        const res = tc.result;
-        if (!res) {
-          return true; // 无结果信息默认成功
-        }
-        if (typeof res === 'string') {
-          return !res.includes('rejected') && !res.includes('error');
-        }
-        return res.status !== 'rejected' && res.status !== 'error';
-      }).length;
-      const rejectedCount = submitCalls.length - successCount;
-
-      // ── 拒绝率过高时追加一轮修正尝试 ──
-      if (
-        rejectedCount > successCount &&
-        rejectedCount >= 2 &&
-        options.retryOnRejection !== false
-      ) {
-        this.#logger.info(
-          `[ProducerAgent] 高拒绝率 (${rejectedCount}/${submitCalls.length}) — 尝试修正`
-        );
-        try {
-          const retryPrompt = `你的 ${rejectedCount} 个提交被拒绝了。请根据拒绝原因改进后重新提交，确保:\n1. content.markdown 字段 ≥ 200 字符\n2. 包含代码块 (\`\`\`)\n3. 包含来源标注 (来源: FileName.m:行号)\n4. 标题使用项目真实类名\n5. 必填: trigger (@kebab-case)、kind (rule/pattern/fact)、doClause (英文祈使句)`;
-          const retryResult = await this.#chatAgent.execute(retryPrompt, {
-            source: 'system',
-            conversationId: options.sessionId
-              ? `producer-retry-${options.sessionId}-${dimId}`
-              : undefined,
-            budget: { ...budget, maxIterations: 5, maxSubmits: rejectedCount },
-            systemPromptOverride: PRODUCER_SYSTEM_PROMPT,
-            allowedTools: PRODUCER_TOOLS,
-            strategy: 'producer',
-            temperature: 0.3,
-            projectLanguage: projectInfo.lang,
-            memoryCoordinator: options.memoryCoordinator || undefined,
-            dimensionMeta: {
-              id: dimId,
-              outputType: dimConfig.outputType || 'candidate',
-              allowedKnowledgeTypes: dimConfig.allowedKnowledgeTypes || [],
-            },
-          });
-
-          const retrySubmits = (retryResult.toolCalls || []).filter(
-            (tc) =>
-              (tc.tool || tc.name) === 'submit_knowledge' ||
-              (tc.tool || tc.name) === 'submit_with_check'
-          );
-          const retrySuccess = retrySubmits.filter((tc) => {
-            const res = tc.result;
-            if (!res) {
-              return true;
-            }
-            if (typeof res === 'string') {
-              return !res.includes('rejected') && !res.includes('error');
-            }
-            return res.status !== 'rejected' && res.status !== 'error';
-          }).length;
-
-          this.#logger.info(`[ProducerAgent] 修正轮: +${retrySuccess} candidates for "${dimId}"`);
-
-          // 合并两轮 token 用量
-          const baseTokens = result.tokenUsage || { input: 0, output: 0 };
-          const retryTokens = retryResult.tokenUsage || { input: 0, output: 0 };
-          const mergedTokenUsage = {
-            input: (baseTokens.input || 0) + (retryTokens.input || 0),
-            output: (baseTokens.output || 0) + (retryTokens.output || 0),
-          };
-
-          return {
-            candidateCount: successCount + retrySuccess,
-            rejectedCount: rejectedCount - retrySuccess,
-            toolCalls: [...(result.toolCalls || []), ...(retryResult.toolCalls || [])],
-            reply: retryResult.reply || result.reply || '',
-            tokenUsage: mergedTokenUsage,
-            reasoningQuality: retryResult.reasoningQuality || result.reasoningQuality || null,
-          };
-        } catch (retryErr) {
-          this.#logger.warn(`[ProducerAgent] 修正轮失败 "${dimId}": ${retryErr.message}`);
-        }
-      }
-
-      this.#logger.info(
-        `[ProducerAgent] ✅ dimension "${dimId}" — ${successCount} candidates created (${rejectedCount} rejected), ${result.toolCalls?.length || 0} total tool calls`
-      );
-
-      return {
-        candidateCount: successCount,
-        rejectedCount,
-        toolCalls: result.toolCalls || [],
-        reply: result.reply || '',
-        tokenUsage: result.tokenUsage || null,
-        reasoningQuality: result.reasoningQuality || null,
-      };
-    } catch (err) {
-      this.#logger.error(`[ProducerAgent] ❌ dimension "${dimId}" error: ${err.message}`);
-      return { candidateCount: 0, toolCalls: [], reply: '' };
-    }
-  }
-}
-
-/**
- * @typedef {object} ProducerResult
- * @property {number} candidateCount
- * @property {Array} toolCalls
- * @property {string} reply
- */
-
-export default ProducerAgent;