speccore 8.3.159 → 8.3.161

package/dist/core/prompt-builder.js

@@ -1,9 +1,43 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.loadGlobalContext = loadGlobalContext;
 exports.formatGlobalContext = formatGlobalContext;
 exports.buildPrompt = buildPrompt;
 exports.formatPrompt = formatPrompt;
+exports.buildPromptText = buildPromptText;
 exports.extractInfoGaps = extractInfoGaps;
 exports.parseAiResponse = parseAiResponse;
 exports.outputNeedsInfo = outputNeedsInfo;
@@ -33,10 +67,14 @@ const synonyms_1 = require("../utils/synonyms");
 const vision_engine_1 = require("./vision-engine");
 // v6.93.0+: Prompt 插件系统
 const prompt_plugins_1 = require("./prompt-plugins");
+// v8.3.160+: 子 Agent 适配层（统一注入角色定义和上下文裁剪）
+const agent_adapter_1 = require("./agent-adapter");
 const techStackCache = new Map();
 const constitutionCache = new Map();
 const reqContentCache = new Map();
 const tocCache = new Map();
+// v8.3.160+: 关键约束缓存（解决上下文漂移）
+const keyConstraintsCache = new Map();
 /** 通用文件缓存读取 */
 async function cachedRead(cache, filePath, loader) {
     try {
@@ -87,6 +125,51 @@ async function loadTechStack(cwd) {
         return stack;
     });
 }
+/**
+ * v8.3.160+: 从 CONSTITUTION.md 提取关键约束（解决上下文漂移）
+ * 提取命名规范、Git 策略、错误码、核心禁令等不可遗忘的约束
+ */
+async function loadKeyConstraints(cwd) {
+    const constitutionPath = (0, path_1.join)(cwd, '.speccore', 'CONSTITUTION.md');
+    if (!await (0, fs_extra_1.pathExists)(constitutionPath))
+        return [];
+    return cachedRead(keyConstraintsCache, constitutionPath, async () => {
+        const content = await (0, fs_extra_1.readFile)(constitutionPath, 'utf-8');
+        const constraints = [];
+        // 提取核心禁令（⛔ 标记）
+        const banMatches = content.matchAll(/⛔\s*(.+)/g);
+        for (const match of banMatches) {
+            constraints.push(`禁止: ${match[1].trim()}`);
+        }
+        // 提取命名规范
+        const namingSection = content.match(/##\s*命名规范[\s\S]*?(?=##\s|#{3,}\s|$)/i);
+        if (namingSection) {
+            const lines = namingSection[0].split('\n')
+                .filter(l => l.trim().startsWith('-') || l.trim().startsWith('*'))
+                .map(l => `命名: ${l.trim().replace(/^[-*]\s*/, '')}`)
+                .slice(0, 6);
+            constraints.push(...lines);
+        }
+        // 提取 Git 分支策略
+        const gitMatch = content.match(/Git\s*分支[策略]*[：:]\s*(.+)/i) ||
+            content.match(/分支策略[：:]\s*(.+)/i);
+        if (gitMatch) {
+            constraints.push(`Git: ${gitMatch[1].trim()}`);
+        }
+        // 提取错误码体系
+        const errorMatch = content.match(/错误码[体系]*[：:]\s*(.+)/i);
+        if (errorMatch) {
+            constraints.push(`错误码: ${errorMatch[1].trim()}`);
+        }
+        // 提取端名规范
+        const platformMatch = content.match(/端名[列表]*[：:]\s*(.+)/i) ||
+            content.match(/平台[列表]*[：:]\s*(.+)/i);
+        if (platformMatch) {
+            constraints.push(`端名: ${platformMatch[1].trim()}`);
+        }
+        return constraints.slice(0, 20); // 最多 20 条，控制 Token 预算
+    });
+}
 /**
  * 定位 REQ.md 实际路径（支持新旧结构）
  */
@@ -1168,9 +1251,13 @@ function buildSplitInstruction() {
         '   - 哪些功能需要跨端协作？',
         '   - 数据如何在端之间流转？',
         '',
-        '4. **Read `020-specs/{功能模块}/{端名}/TECH.md`**（按功能模块×端组合读取）→ 了解各端技术方案',
+        '4. **Read `020-specs/{功能模块}/{端名}/TECH.md`**（按需读取）→ 了解各端技术方案',
         '   - 先读 FUNCTION_MAP.md 获取功能模块清单',
-        '   - 再按 `020-specs/{功能模块}/{端名}/TECH.md` 读取该功能在各端的技术方案',
+        '   - **分批策略（v8.3.160+）**：',
+        '     - 如功能模块数量 ≤ 2：读取所有模块的 TECH.md，一次性拆分全部',
+        '     - 如功能模块数量 > 2：先读取基础模块（认证/配置/数据库）的 TECH.md，优先拆分基础模块',
+        '     - 然后读取 1-2 个核心功能模块的 TECH.md，拆分这些模块',
+        '     - **不要一次性读取所有模块的 TECH.md**，避免上下文溢出',
         '   - 各端有哪些接口/页面？',
         '   - 各端技术栈和架构约束？',
         '   - **据此确定每个任务涉及哪些端**',
@@ -1264,6 +1351,16 @@ function buildSplitInstruction() {
         '- `techContent`：该任务的技术方案（Markdown 格式，含架构设计、核心逻辑、测试策略），直接写入 TECH.md',
         '- 内容是**子切面**：只包含该任务负责的部分，不是整个功能单元的内容',
         '',
+        '### 分批续批（v8.3.160+）',
+        '如果本次只拆分了部分功能模块，在 JSON 数组输出后追加续批标记：',
+        '```',
+        '[PENDING: 模块A, 模块B, 模块C]',
+        '[SPECCORE_EXEC: speccore iteration split --prompt -I {迭代名}]',
+        '```',
+        '- `[PENDING: ...]`：列出未拆分的功能模块名称',
+        '- `[SPECCORE_EXEC: ...]`：CLI 会自动读取并继续拆分剩余模块',
+        '- 如果所有模块已拆分完毕，不要输出 PENDING 标记',
+        '',
         '### 质量自检',
         '拆分完成后自查:',
         '□ 每个任务都满足原子任务定义？',
@@ -1438,15 +1535,35 @@ function getInstruction(command, context) {
 /**
  * 构建完整的 SpecCore Prompt
  */
+// v8.3.160+: 命令 → 默认子 Agent 角色映射
+const DEFAULT_SUBAGENT_MAP = {
+    analyze: 'spec-analyzer',
+    execute: 'spec-executor',
+    split: 'task-decomposer',
+    plan: 'schedule-planner',
+    change: 'impact-analyst',
+};
 async function buildPrompt(command, options) {
     const cwd = options.cwd || (0, task_utils_1.findProjectRoot)() || process.cwd();
     const techStack = await loadTechStack(cwd);
     const taskDir = options.taskDir || '';
-    // P0-1: 统一读取 REQ.md，避免 loadApiSpecs/loadDataModels/loadBusinessRules 各读一次
-    const reqContent = taskDir ? await loadReqContent(cwd, taskDir) : null;
-    const apiSpecs = await loadApiSpecs(cwd, taskDir, reqContent || undefined);
-    const dataModels = await loadDataModels(cwd, taskDir, reqContent || undefined);
-    const businessRules = await loadBusinessRules(cwd, taskDir, reqContent || undefined);
+    // v8.3.160+: 步骤级上下文预算（默认 12000）
+    const contextBudget = options.contextBudget || 12000;
+    // v8.3.160+: 根据 contextType 控制 REQ.md 加载深度
+    // full: 加载全文 | incremental/platform-only/contract-only: 不加载（依赖前一步摘要或路径引用）
+    const shouldLoadReqContent = !options.contextType || options.contextType === 'full';
+    const reqContent = shouldLoadReqContent && taskDir ? await loadReqContent(cwd, taskDir) : null;
+    // v8.3.160+: 规格加载策略与 REQ.md 保持一致
+    const shouldLoadFullSpecs = shouldLoadReqContent;
+    const apiSpecs = shouldLoadFullSpecs
+        ? await loadApiSpecs(cwd, taskDir, reqContent || undefined)
+        : [];
+    const dataModels = shouldLoadFullSpecs
+        ? await loadDataModels(cwd, taskDir, reqContent || undefined)
+        : [];
+    const businessRules = shouldLoadFullSpecs
+        ? await loadBusinessRules(cwd, taskDir, reqContent || undefined)
+        : [];
     // 统一检索层：同时查询文档 RAG + 代码切片 + 知识图谱
     let extraSpecs = [];
     // v8.3.123+: analyze/split 阶段也需要统一检索，从迭代需求提取查询词
@@ -1529,18 +1646,35 @@ async function buildPrompt(command, options) {
             }
         }
     }
+    // v8.3.160+: 加载关键约束（每轮重注入，防止上下文漂移）
+    const keyConstraints = await loadKeyConstraints(cwd);
     // v8.3.122+: execute / analyze 时深入读取关联源码（完整文件内容，不只是切片）
     // v8.3.122++: 同时注入知识图谱任务上下文，帮助 AI 理解代码关联关系
-    if ((command === 'execute' || command === 'analyze') && searchQuery) {
+    // v8.3.160+: withCode 强制启用时，即使 searchQuery 为空也注入源码上下文
+    const shouldInjectCode = (command === 'execute' || command === 'analyze') && (searchQuery || options.withCode);
+    if (shouldInjectCode) {
+        // 如果 withCode 为 true 但 searchQuery 为空，使用 task 或 iteration 作为默认查询
+        if (!searchQuery && options.withCode) {
+            searchQuery = options.task || options.iteration || 'global';
+        }
         try {
             // v8.3.124+: execute 阶段优先注入结构化事实卡片（structured-data.json）
+            // v8.3.160+: 如指定了 platform，优先读取分段文件 structured-data.{platform}.json
             // 这是最高优先级的改进：用结构化卡片替代原始源码，Token 效率提升 10-20 倍
-            const structuredDataPath = (0, path_1.join)(cwd, '.speccore', 'cache', 'structured-data.json');
+            let structuredDataPath = (0, path_1.join)(cwd, '.speccore', 'cache', 'structured-data.json');
+            let structured = null;
             let structuredCardsInjected = false;
+            // 优先尝试平台分段文件
+            if (options.platform) {
+                const platformPath = (0, path_1.join)(cwd, '.speccore', 'cache', `structured-data.${options.platform}.json`);
+                if (await (0, fs_extra_1.pathExists)(platformPath)) {
+                    structuredDataPath = platformPath;
+                }
+            }
             if (await (0, fs_extra_1.pathExists)(structuredDataPath)) {
                 try {
                     const sdContent = await (0, fs_extra_1.readFile)(structuredDataPath, 'utf-8');
-                    const structured = JSON.parse(sdContent);
+                    structured = JSON.parse(sdContent);
                     // v8.3.125+: 使用同义词扩展，解决 "登录" 与 "auth" 等跨语言/缩写不匹配
                     const queryWords = [...(0, synonyms_1.expandSynonyms)((0, synonyms_1.extractNormalizedKeywords)(searchQuery))];
                     const matchedApis = [];
@@ -1549,6 +1683,16 @@ async function buildPrompt(command, options) {
                     const matchedRoutes = [];
                     const matchedDtos = []; // v8.3.126+
                     const matchedServices = []; // v8.3.126+
+                    // v8.3.160+: 兼容全量文件(endpoints)和分段文件(平台数据在顶层)两种格式
+                    const segPlatform = structured.platform || options.platform || 'unknown';
+                    if (!structured.endpoints && structured.apis !== undefined) {
+                        // 分段文件格式：包装为 endpoints 结构
+                        structured = {
+                            endpoints: { [segPlatform]: structured },
+                            dtos: structured.dtos || [],
+                            services: structured.services || [],
+                        };
+                    }
                     for (const [platform, data] of Object.entries(structured.endpoints || {})) {
                         // API 匹配
                         for (const api of data.apis || []) {
@@ -1948,6 +2092,43 @@ async function buildPrompt(command, options) {
             projectPathsInfo = lines.join('\n');
         }
     }
+    // v8.3.160+: analyze 命令路由到 buildMultiDocPrompt（统一入口）
+    if (command === 'analyze' && options.analyzeOptions) {
+        try {
+            const { buildMultiDocPrompt } = await Promise.resolve().then(() => __importStar(require('../commands/analyze')));
+            const ctx = {
+                iteration: options.iteration,
+                task: options.task,
+                type: options.analyzeOptions.type,
+                scope: options.analyzeOptions.scope,
+                withCode: options.analyzeOptions.withCode,
+                platform: options.platform,
+                phase: options.analyzeOptions.phase,
+                autoMode: options.analyzeOptions.autoMode,
+            };
+            const rawPrompt = await buildMultiDocPrompt('analyze', ctx, options.analyzeOptions);
+            return {
+                marker: '[SPECCORE_PROMPT]',
+                version: '1.0',
+                command,
+                iteration: options.iteration || '',
+                task: options.task,
+                platform: options.platform,
+                techStack,
+                apiSpecs: [],
+                dataModels: [],
+                businessRules: [],
+                extraSpecs: [],
+                instruction: '',
+                outputHint: '请返回 Markdown 格式的分析结果',
+                rawPrompt,
+                subagent: options.subagent || DEFAULT_SUBAGENT_MAP[command],
+            };
+        }
+        catch (e) {
+            logger_1.logger?.warn?.(`analyze Prompt 构建失败，回退到默认模板: ${e.message}`);
+        }
+    }
     // v6.93.0+: Prompt 插件系统 — 命令特定的增强逻辑由插件提供
     let rulesContent;
     let codeGraphSummary;
@@ -1978,6 +2159,25 @@ async function buildPrompt(command, options) {
     catch {
         // 插件执行失败静默跳过，不影响主流程
     }
+    // v8.3.160+: 注入子 Agent 角色定义和上下文裁剪
+    const subagent = options.subagent || DEFAULT_SUBAGENT_MAP[command];
+    let agentContext;
+    if (subagent) {
+        try {
+            const agentCtx = {
+                subagent,
+                iteration: options.iteration || '',
+                contextBudget: options.contextBudget || 12000,
+                contextType: options.contextType || 'full',
+                cwd,
+            };
+            agentContext = await agent_adapter_1.defaultAdapter.prepareContext(agentCtx);
+            logger_1.logger?.info?.(`   🤖 子 Agent 激活: ${subagent}`);
+        }
+        catch (e) {
+            logger_1.logger?.debug?.('agent-adapter 注入失败:', e);
+        }
+    }
     return {
         marker: '[SPECCORE_PROMPT]',
         version: '1.0',
@@ -1995,12 +2195,16 @@ async function buildPrompt(command, options) {
         projectPaths: projectPathsInfo,
         rulesContent,
         codeGraphSummary,
+        keyConstraints,
+        contextBudget,
         instruction,
         outputHint: command === 'execute'
             ? '请返回格式: {"files": [{"path": "工程标识/相对路径", "content": "代码内容"}]}'
             : command === 'split'
                 ? '请返回 JSON 数组格式的任务列表（参见拆分原则中的输出格式）'
                 : '请返回 Markdown 格式的分析结果',
+        agentContext,
+        subagent,
     };
 }
 // ═══════════════════════════════════════════════════════════
@@ -2020,18 +2224,20 @@ function estimateTokens(text) {
  * 将 Prompt 序列化为 AI 可读的文本（输出到 stdout）
  * 带动态裁剪：超出预算时按优先级逐级简化
  */
-function formatPrompt(prompt, maxTokens = 12000) {
+function formatPrompt(prompt, maxTokens) {
+    // v8.3.160+: 使用步骤级上下文预算
+    const budget = maxTokens ?? prompt.contextBudget ?? 12000;
     // 尝试完整构建
     let result = buildPromptText(prompt);
     let tokens = estimateTokens(result);
-    if (tokens <= maxTokens)
+    if (tokens <= budget)
         return result;
     // Level 1: 简化全局上下文（只保留 INDEX.md，去掉 TOC 目录）
     if (prompt.globalContext) {
         const slimGlobal = { ...prompt.globalContext, toc: [] };
         result = buildPromptText({ ...prompt, globalContext: slimGlobal });
         tokens = estimateTokens(result);
-        if (tokens <= maxTokens) {
+        if (tokens <= budget) {
             logger_1.logger?.info?.(`   🪶 Prompt 已简化：隐藏全局目录（-${estimateTokens(formatGlobalContext(prompt.globalContext, prompt.platform))} tokens）`);
             return result;
         }
@@ -2102,7 +2308,7 @@ function formatPrompt(prompt, maxTokens = 12000) {
         }
         result = buildPromptText({ ...prompt, extraSpecs: budgeted });
         tokens = estimateTokens(result);
-        if (tokens <= maxTokens) {
+        if (tokens <= budget) {
             const removed = prompt.extraSpecs.length - budgeted.length;
             logger_1.logger?.info?.(`   🪶 Prompt 已简化：分层预算控制 (P1:${usedP1}/${BUDGET_P1} P2:${usedP2}/${BUDGET_P2} P3:${usedP3}/${BUDGET_P3}${removed > 0 ? ` 移除${removed}项` : ''})`);
             return result;
@@ -2112,7 +2318,7 @@ function formatPrompt(prompt, maxTokens = 12000) {
     if (prompt.taskContext) {
         result = buildPromptText({ ...prompt, taskContext: undefined });
         tokens = estimateTokens(result);
-        if (tokens <= maxTokens) {
+        if (tokens <= budget) {
             logger_1.logger?.info?.(`   🪶 Prompt 已简化：隐藏任务关联链`);
             return result;
         }
@@ -2132,11 +2338,28 @@ function formatPrompt(prompt, maxTokens = 12000) {
 }
 /** 实际构建 prompt 文本（无裁剪逻辑） */
 function buildPromptText(prompt) {
+    // v8.3.160+: analyze 命令使用 buildMultiDocPrompt 生成的原始 Prompt，直接返回
+    if (prompt.rawPrompt) {
+        return prompt.rawPrompt;
+    }
     const lines = [];
     lines.push('[SPECCORE_PROMPT]');
     lines.push('');
+    // v8.3.160+: 注入子 Agent 角色定义和上下文裁剪策略
+    if (prompt.agentContext) {
+        lines.push(prompt.agentContext);
+        lines.push('');
+    }
     lines.push(`# 任务: ${prompt.command} — ${prompt.task || prompt.iteration}`);
     lines.push('');
+    // v8.3.160+: 关键约束重注入（必须放在最前面，防止上下文漂移）
+    if (prompt.keyConstraints && prompt.keyConstraints.length > 0) {
+        lines.push('## ⚠️ 核心约束（每轮必达）');
+        for (const constraint of prompt.keyConstraints) {
+            lines.push(`- ${constraint}`);
+        }
+        lines.push('');
+    }
     // 技术栈
     if (Object.keys(prompt.techStack).length > 0) {
         lines.push('## 技术栈');