speccore 6.6.0 → 6.11.0

package/dist/core/prompt-builder.js

@@ -17,56 +17,97 @@ exports.outputNeedsInfo = outputNeedsInfo;
 const fs_extra_1 = require("fs-extra");
 const path_1 = require("path");
 const task_utils_1 = require("../utils/task-utils");
+const logger_1 = require("../utils/logger");
 const knowledge_graph_1 = require("./knowledge-graph");
 const context_builder_1 = require("./context-builder");
+const unified_retrieval_1 = require("./unified-retrieval");
+const techStackCache = new Map();
+const constitutionCache = new Map();
+const reqContentCache = new Map();
+const tocCache = new Map();
+/** 通用文件缓存读取 */
+async function cachedRead(cache, filePath, loader) {
+    try {
+        const st = await (0, fs_extra_1.stat)(filePath);
+        const cached = cache.get(filePath);
+        if (cached && cached.mtime >= st.mtimeMs) {
+            return cached.data;
+        }
+        const data = await loader();
+        cache.set(filePath, { data, mtime: st.mtimeMs, key: filePath });
+        return data;
+    }
+    catch {
+        // 文件不存在时直接加载（不缓存）
+        return loader();
+    }
+}
 // ═══════════════════════════════════════════════════════════
 // 上下文加载
 // ═══════════════════════════════════════════════════════════
 /**
- * 从 CONSTITUTION.md 解析技术栈
+ * 从 CONSTITUTION.md 解析技术栈（带进程缓存）
  */
 async function loadTechStack(cwd) {
     const constitutionPath = (0, path_1.join)(cwd, '.speccore', 'CONSTITUTION.md');
     if (!await (0, fs_extra_1.pathExists)(constitutionPath))
         return {};
-    const content = await (0, fs_extra_1.readFile)(constitutionPath, 'utf-8');
-    const stack = {};
-    // 解析技术栈章节
-    const techSection = content.match(/##\s*技术栈[\s\S]*?(?=## |$)/i);
-    if (techSection) {
-        const section = techSection[0];
-        const langMatch = section.match(/语言[：:]\s*(.+)/i);
-        if (langMatch)
-            stack.language = langMatch[1].trim();
-        const frameworkMatch = section.match(/框架[：:]\s*(.+)/i);
-        if (frameworkMatch)
-            stack.framework = frameworkMatch[1].trim();
-        const dbMatch = section.match(/数据库[：:]\s*(.+)/i);
-        if (dbMatch)
-            stack.database = dbMatch[1].trim();
-        const cacheMatch = section.match(/缓存[：:]\s*(.+)/i);
-        if (cacheMatch)
-            stack.cache = cacheMatch[1].trim();
+    return cachedRead(techStackCache, constitutionPath, async () => {
+        const content = await (0, fs_extra_1.readFile)(constitutionPath, 'utf-8');
+        const stack = {};
+        // 解析技术栈章节
+        const techSection = content.match(/##\s*技术栈[\s\S]*?(?=## |$)/i);
+        if (techSection) {
+            const section = techSection[0];
+            const langMatch = section.match(/语言[：:]\s*(.+)/i);
+            if (langMatch)
+                stack.language = langMatch[1].trim();
+            const frameworkMatch = section.match(/框架[：:]\s*(.+)/i);
+            if (frameworkMatch)
+                stack.framework = frameworkMatch[1].trim();
+            const dbMatch = section.match(/数据库[：:]\s*(.+)/i);
+            if (dbMatch)
+                stack.database = dbMatch[1].trim();
+            const cacheMatch = section.match(/缓存[：:]\s*(.+)/i);
+            if (cacheMatch)
+                stack.cache = cacheMatch[1].trim();
+        }
+        return stack;
+    });
+}
+/**
+ * 定位 REQ.md 实际路径（支持新旧结构）
+ */
+async function resolveReqPath(cwd, taskDir) {
+    const paths = [
+        (0, path_1.join)(cwd, taskDir, '_shared', 'REQ.md'),
+        (0, path_1.join)(cwd, taskDir, '00-specs', 'REQ.md'),
+        (0, path_1.join)(cwd, taskDir, 'REQ.md'),
+    ];
+    for (const p of paths) {
+        if (await (0, fs_extra_1.pathExists)(p))
+            return p;
     }
-    return stack;
+    return null;
+}
+/**
+ * 加载 REQ.md 内容（带进程缓存）
+ */
+async function loadReqContent(cwd, taskDir) {
+    const reqPath = await resolveReqPath(cwd, taskDir);
+    if (!reqPath)
+        return null;
+    return cachedRead(reqContentCache, reqPath, async () => {
+        return await (0, fs_extra_1.readFile)(reqPath, 'utf-8');
+    });
 }
 /**
- * 从 REQ.md 解析 API 定义
+ * 从 REQ.md 解析 API 定义（支持传入已读取的内容，避免重复 I/O）
  */
-async function loadApiSpecs(cwd, taskDir) {
-    const newPath = (0, path_1.join)(cwd, taskDir, '_shared', 'REQ.md');
-    const oldPath = (0, path_1.join)(cwd, taskDir, '00-specs', 'REQ.md');
-    const legacyPath = (0, path_1.join)(cwd, taskDir, 'REQ.md');
-    let actualPath = null;
-    if (await (0, fs_extra_1.pathExists)(newPath))
-        actualPath = newPath;
-    else if (await (0, fs_extra_1.pathExists)(oldPath))
-        actualPath = oldPath;
-    else if (await (0, fs_extra_1.pathExists)(legacyPath))
-        actualPath = legacyPath;
-    if (!actualPath)
+async function loadApiSpecs(cwd, taskDir, reqContent) {
+    const content = reqContent ?? await loadReqContent(cwd, taskDir);
+    if (!content)
         return [];
-    const content = await (0, fs_extra_1.readFile)(actualPath, 'utf-8');
     const apis = [];
     // 解析 API 表格: | 方法 | 路径 | 说明 | 或 | Method | Path | Description |
     const tableRegex = /\|.*(?:方法|Method).*\|.*(?:路径|Path).*\|.*(?:说明|Description).*\|.*/i;
@@ -92,22 +133,12 @@ async function loadApiSpecs(cwd, taskDir) {
     return apis;
 }
 /**
- * 从 REQ.md 解析数据模型
+ * 从 REQ.md 解析数据模型（支持传入已读取的内容）
  */
-async function loadDataModels(cwd, taskDir) {
-    const newPath = (0, path_1.join)(cwd, taskDir, '_shared', 'REQ.md');
-    const oldPath = (0, path_1.join)(cwd, taskDir, '00-specs', 'REQ.md');
-    const legacyPath = (0, path_1.join)(cwd, taskDir, 'REQ.md');
-    let actualPath = null;
-    if (await (0, fs_extra_1.pathExists)(newPath))
-        actualPath = newPath;
-    else if (await (0, fs_extra_1.pathExists)(oldPath))
-        actualPath = oldPath;
-    else if (await (0, fs_extra_1.pathExists)(legacyPath))
-        actualPath = legacyPath;
-    if (!actualPath)
+async function loadDataModels(cwd, taskDir, reqContent) {
+    const content = reqContent ?? await loadReqContent(cwd, taskDir);
+    if (!content)
         return [];
-    const content = await (0, fs_extra_1.readFile)(actualPath, 'utf-8');
     const models = [];
     // 查找所有数据模型表格
     const modelSection = content.match(/(?:数据模型|实体|Entity|Model)[\s\S]*?(?=## |\n##|$)/i);
@@ -148,14 +179,14 @@ async function loadDataModels(cwd, taskDir) {
     return models;
 }
 /**
- * 从 CONSTITUTION.md + REQ.md 提取业务规则
+ * 从 CONSTITUTION.md + REQ.md 提取业务规则（支持传入已读取的 REQ 内容）
  */
-async function loadBusinessRules(cwd, taskDir) {
+async function loadBusinessRules(cwd, taskDir, reqContent) {
     const rules = [];
-    // 从 CONSTITUTION 读取命名规范等
+    // 从 CONSTITUTION 读取命名规范等（带缓存）
     const constitutionPath = (0, path_1.join)(cwd, '.speccore', 'CONSTITUTION.md');
     if (await (0, fs_extra_1.pathExists)(constitutionPath)) {
-        const content = await (0, fs_extra_1.readFile)(constitutionPath, 'utf-8');
+        const content = await cachedRead(constitutionCache, constitutionPath, async () => await (0, fs_extra_1.readFile)(constitutionPath, 'utf-8'));
         const namingSection = content.match(/##\s*命名规范[\s\S]*?(?=## |$)/i);
         if (namingSection) {
             const lines = namingSection[0].split('\n');
@@ -167,11 +198,8 @@ async function loadBusinessRules(cwd, taskDir) {
         }
     }
     if (taskDir) {
-        const reqPath = (0, path_1.join)(cwd, taskDir, '00-specs', 'REQ.md');
-        const legacyReqPath = (0, path_1.join)(cwd, taskDir, 'REQ.md');
-        const actualReqPath = (await (0, fs_extra_1.pathExists)(reqPath)) ? reqPath : (await (0, fs_extra_1.pathExists)(legacyReqPath)) ? legacyReqPath : null;
-        if (actualReqPath) {
-            const content = await (0, fs_extra_1.readFile)(actualReqPath, 'utf-8');
+        const content = reqContent ?? await loadReqContent(cwd, taskDir);
+        if (content) {
             const ruleSection = content.match(/(?:业务规则|约束条件|Constraint)[\s\S]*?(?=## |\n##|$)/i);
             if (ruleSection) {
                 const lines = ruleSection[0].split('\n');
@@ -187,10 +215,15 @@ async function loadBusinessRules(cwd, taskDir) {
 }
 /**
  * 读取任务目录中的额外上下文文件（TECH.md / TASK.md / SCHEMA.md / .issues.md 等）
+ * 带大小限制，防止 prompt 爆炸
  */
-async function loadExtraSpecs(cwd, taskDir, platform, iteration) {
+async function loadExtraSpecs(cwd, taskDir, platform, iteration, options) {
     const extras = [];
+    const MAX_PER_FILE = options?.maxCharsPerFile ?? 2000;
+    const MAX_TOTAL = options?.maxTotalChars ?? 8000;
+    let totalChars = 0;
     const files = [
+        { name: '任务上下文', path: '_shared/CONTEXT.md' },
         { name: '技术方案', path: '_shared/TECH.md' },
         { name: '技术方案(旧)', path: '00-specs/TECH.md' },
         { name: '任务追踪', path: '00-specs/TASK.md' },
@@ -220,13 +253,150 @@ async function loadExtraSpecs(cwd, taskDir, platform, iteration) {
     for (const f of files) {
         const fullPath = (0, path_1.join)(cwd, taskDir, f.path);
         if (await (0, fs_extra_1.pathExists)(fullPath)) {
-            const content = await (0, fs_extra_1.readFile)(fullPath, 'utf-8');
+            let content = await (0, fs_extra_1.readFile)(fullPath, 'utf-8');
             // 跳过空文件或纯占位符文件
-            if (content.trim().length > 50 && !content.trim().match(/^#+\s*待填充|^<!--\s*AI-FILL\s*-->$/m)) {
-                extras.push({ name: f.name, path: f.path, content });
+            if (content.trim().length <= 50 || content.trim().match(/^#+\s*待填充|^<!--\s*AI-FILL\s*-->$/m)) {
+                continue;
+            }
+            // 单文件大小限制
+            if (content.length > MAX_PER_FILE) {
+                content = content.slice(0, MAX_PER_FILE) + `\n\n> ... (已截断，原文件 ${content.length} 字)`;
+            }
+            // 总大小限制
+            if (totalChars + content.length > MAX_TOTAL) {
+                const remain = MAX_TOTAL - totalChars;
+                if (remain > 200) {
+                    content = content.slice(0, remain) + `\n\n> ... (已达总上限 ${MAX_TOTAL} 字)`;
+                    extras.push({ name: f.name, path: f.path, content });
+                }
+                break; // 总大小超限，停止加载更多文件
+            }
+            totalChars += content.length;
+            extras.push({ name: f.name, path: f.path, content });
+        }
+    }
+    return extras;
+}
+// ═══════════════════════════════════════════════════════════
+// 全量兜底读取（检索不足时，读取所有内容）
+// ═══════════════════════════════════════════════════════════
+/** 全量兜底：当统一检索结果不足时，读取任务目录 + 迭代规格 + 关联任务的所有内容 */
+async function loadAllTaskContext(cwd, taskDir, platform, iteration, graph) {
+    const extras = [];
+    const MAX_PER_FILE = 8000;
+    const MAX_TOTAL = 20000;
+    let totalChars = 0;
+    const seen = new Set();
+    const addFile = async (fullPath, name, relPath) => {
+        if (seen.has(fullPath))
+            return;
+        seen.add(fullPath);
+        if (!(await (0, fs_extra_1.pathExists)(fullPath)))
+            return;
+        let content = await (0, fs_extra_1.readFile)(fullPath, 'utf-8');
+        if (content.trim().length <= 50 || content.trim().match(/^#+\s*待填充|^<!--\s*AI-FILL\s*-->$/m))
+            return;
+        if (content.length > MAX_PER_FILE) {
+            content = content.slice(0, MAX_PER_FILE) + `\n\n> ... (已截断，原文件 ${content.length} 字)`;
+        }
+        if (totalChars + content.length > MAX_TOTAL)
+            return;
+        totalChars += content.length;
+        extras.push({ name, path: relPath, content });
+    };
+    // 1. 递归扫描任务目录所有 .md / .yaml 文件
+    const scanTaskDir = async (dir, prefix) => {
+        if (!(await (0, fs_extra_1.pathExists)(dir)))
+            return;
+        try {
+            const items = await (0, fs_extra_1.readdir)(dir, { withFileTypes: true });
+            for (const item of items) {
+                if (item.name.startsWith('.') || (0, task_utils_1.isTimestampBackup)(item.name))
+                    continue;
+                const fullPath = (0, path_1.join)(dir, item.name);
+                if (item.isDirectory()) {
+                    if (item.name === 'node_modules' || item.name === '10-backend' || item.name === '20-frontend')
+                        continue;
+                    await scanTaskDir(fullPath, `${prefix}${item.name}/`);
+                }
+                else if (/\.(md|yaml|yml)$/i.test(item.name)) {
+                    await addFile(fullPath, `${prefix}${item.name}`, `${prefix}${item.name}`);
+                }
+            }
+        }
+        catch { /* 跳过 */ }
+    };
+    await scanTaskDir(taskDir, '');
+    // 2. 迭代规格 020-specs/ 所有 .md
+    if (iteration) {
+        const iterDir = (0, path_1.join)(cwd, `Iteration-${iteration}`);
+        const specsDir = (0, path_1.join)(iterDir, '020-specs');
+        if (await (0, fs_extra_1.pathExists)(specsDir)) {
+            try {
+                const items = await (0, fs_extra_1.readdir)(specsDir, { withFileTypes: true });
+                for (const item of items) {
+                    if (!item.name.endsWith('.md') || (0, task_utils_1.isTimestampBackup)(item.name))
+                        continue;
+                    await addFile((0, path_1.join)(specsDir, item.name), `迭代规格: ${item.name}`, `020-specs/${item.name}`);
+                }
+                // 各端规格
+                if (platform) {
+                    const platDir = (0, path_1.join)(specsDir, 'platforms', platform);
+                    if (await (0, fs_extra_1.pathExists)(platDir)) {
+                        const platItems = await (0, fs_extra_1.readdir)(platDir, { withFileTypes: true });
+                        for (const item of platItems) {
+                            if (!item.name.endsWith('.md') || (0, task_utils_1.isTimestampBackup)(item.name))
+                                continue;
+                            await addFile((0, path_1.join)(platDir, item.name), `${platform}端规格: ${item.name}`, `020-specs/platforms/${platform}/${item.name}`);
+                        }
+                    }
+                }
+                // features/ 规格
+                const featuresDir = (0, path_1.join)(specsDir, 'features');
+                if (await (0, fs_extra_1.pathExists)(featuresDir)) {
+                    const featItems = await (0, fs_extra_1.readdir)(featuresDir, { withFileTypes: true });
+                    for (const item of featItems) {
+                        if (!item.name.endsWith('.md') || (0, task_utils_1.isTimestampBackup)(item.name))
+                            continue;
+                        await addFile((0, path_1.join)(featuresDir, item.name), `功能规格: ${item.name}`, `020-specs/features/${item.name}`);
+                    }
+                }
             }
+            catch { /* 跳过 */ }
         }
     }
+    // 3. 关联任务的 00-specs/（从知识图谱获取依赖任务）
+    if (graph) {
+        const relatedIds = [];
+        for (const rel of graph.relations) {
+            if (rel.type === 'depends_on' || rel.type === 'subtask_of') {
+                relatedIds.push(rel.from, rel.to);
+            }
+        }
+        const uniqueRelated = [...new Set(relatedIds)];
+        if (iteration && uniqueRelated.length > 0) {
+            const iterDir = (0, path_1.join)(cwd, `Iteration-${iteration}`);
+            const tasksDir = (0, path_1.join)(iterDir, '030-tasks');
+            for (const relId of uniqueRelated.slice(0, 3)) {
+                const relTaskDir = (0, path_1.join)(tasksDir, relId, '00-specs');
+                if (await (0, fs_extra_1.pathExists)(relTaskDir)) {
+                    try {
+                        const relItems = await (0, fs_extra_1.readdir)(relTaskDir, { withFileTypes: true });
+                        for (const item of relItems) {
+                            if (!item.name.endsWith('.md') || (0, task_utils_1.isTimestampBackup)(item.name))
+                                continue;
+                            await addFile((0, path_1.join)(relTaskDir, item.name), `关联任务 ${relId}: ${item.name}`, `030-tasks/${relId}/00-specs/${item.name}`);
+                        }
+                    }
+                    catch { /* 跳过 */ }
+                }
+            }
+        }
+    }
+    // 4. 全局文档（核心 2 个）
+    const globalDir = (0, path_1.join)(cwd, '.speccore', 'GLOBAL');
+    await addFile((0, path_1.join)(globalDir, 'ARCHITECTURE.md'), '全局架构', 'GLOBAL/ARCHITECTURE.md');
+    await addFile((0, path_1.join)(globalDir, 'TECH_STACK.md'), '全局技术栈', 'GLOBAL/TECH_STACK.md');
     return extras;
 }
 // ═══════════════════════════════════════════════════════════
@@ -450,7 +620,7 @@ async function buildGlobalTOC(globalDir) {
     return toc;
 }
 /**
- * 加载全局上下文
+ * 加载全局上下文（带 TOC 缓存）
  * 策略：必读的 INDEX.md 直接注入 + 其余文件只给目录，AI 自己 Read
  */
 async function loadGlobalContext(cwd, _command, _platform) {
@@ -458,14 +628,21 @@ async function loadGlobalContext(cwd, _command, _platform) {
     const ctx = { toc: [] };
     if (!await (0, fs_extra_1.pathExists)(globalDir))
         return ctx;
-    // 必读：INDEX.md 直接注入
+    // 必读：INDEX.md 直接注入（带缓存）
     const indexPath = (0, path_1.join)(globalDir, 'INDEX.md');
     if (await (0, fs_extra_1.pathExists)(indexPath)) {
-        const content = await (0, fs_extra_1.readFile)(indexPath, 'utf-8');
+        const content = await cachedRead(constitutionCache, indexPath, async () => await (0, fs_extra_1.readFile)(indexPath, 'utf-8'));
         ctx.indexSummary = content.slice(0, 1500);
     }
-    // 其余：只给目录，AI 自己决定读什么
-    ctx.toc = await buildGlobalTOC(globalDir);
+    // 其余：只给目录，AI 自己决定读什么（带缓存）
+    const cached = tocCache.get(globalDir);
+    if (cached) {
+        ctx.toc = cached.data;
+    }
+    else {
+        ctx.toc = await buildGlobalTOC(globalDir);
+        tocCache.set(globalDir, { data: ctx.toc, mtime: Date.now(), key: globalDir });
+    }
     return ctx;
 }
 /**
@@ -768,14 +945,63 @@ async function buildPrompt(command, options) {
     const cwd = options.cwd || process.cwd();
     const techStack = await loadTechStack(cwd);
     const taskDir = options.taskDir || '';
-    const apiSpecs = await loadApiSpecs(cwd, taskDir);
-    const dataModels = await loadDataModels(cwd, taskDir);
-    const businessRules = await loadBusinessRules(cwd, taskDir);
-    const extraSpecs = taskDir ? await loadExtraSpecs(cwd, taskDir, options.platform, options.iteration) : [];
+    // 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);
+    // 统一检索层：同时查询文档 RAG + 代码切片 + 知识图谱
+    let extraSpecs = [];
+    if (taskDir) {
+        try {
+            const unifiedResult = await (0, unified_retrieval_1.unifiedSearch)(cwd, {
+                query: options.task || options.iteration || '',
+                iteration: options.iteration,
+                taskId: options.task,
+                platform: options.platform,
+                taskDir,
+            });
+            if (unifiedResult.documentChunks.length > 0 || unifiedResult.codeSlices.length > 0) {
+                extraSpecs = (0, unified_retrieval_1.assembleUnifiedContext)(unifiedResult, { maxTotalChars: 8000, generous: true });
+                logger_1.logger?.info?.(`   🔍 统一检索: ${unifiedResult.stats.docChunksFound} 文档块 + ${unifiedResult.stats.codeSlicesFound} 代码切片 | ~${unifiedResult.stats.totalTokensEstimate} tokens`);
+            }
+        }
+        catch (e) {
+            logger_1.logger?.debug?.('统一检索失败，回退到传统模式:', e);
+        }
+        // 回退：统一检索失败或结果为空时，用传统截断模式
+        if (extraSpecs.length === 0) {
+            extraSpecs = await loadExtraSpecs(cwd, taskDir, options.platform, options.iteration, {
+                maxCharsPerFile: 2000,
+                maxTotalChars: 8000,
+            });
+            if (extraSpecs.length > 0) {
+                logger_1.logger?.info?.(`   📄 传统模式: ${extraSpecs.length} 个参考文档已加载`);
+            }
+        }
+        // 稀疏检测 + 全量兜底：检索内容不足时，读取所有内容
+        const SPARSE_THRESHOLD = 3000;
+        const currentChars = extraSpecs.reduce((sum, s) => sum + s.content.length, 0);
+        if (currentChars < SPARSE_THRESHOLD) {
+            // 提前加载知识图谱（供全量兜底使用）
+            let fallbackGraph = null;
+            try {
+                fallbackGraph = await (0, knowledge_graph_1.loadKnowledgeGraph)(cwd);
+                if (fallbackGraph && await (0, knowledge_graph_1.isGraphStale)(cwd, options.iteration)) {
+                    fallbackGraph = await (0, knowledge_graph_1.refreshKnowledgeGraph)(cwd, options.iteration);
+                }
+            }
+            catch { /* 图谱不可用时跳过 */ }
+            const fullContext = await loadAllTaskContext(cwd, taskDir, options.platform, options.iteration, fallbackGraph || undefined);
+            if (fullContext.length > extraSpecs.length) {
+                extraSpecs = fullContext;
+                logger_1.logger?.info?.(`   📚 全量兜底: ${fullContext.length} 个文件 (检索内容不足 ${currentChars} < ${SPARSE_THRESHOLD})`);
+            }
+        }
+    }
     // 加载全局上下文（智能注入）
     const globalContext = await loadGlobalContext(cwd, command, options.platform);
     // 加载知识图谱 → 生成任务关联链（< 500 tokens）
-    // 懒加载：如果图谱已过期，自动重建
     let taskContextStr;
     if (options.task) {
         let graph = await (0, knowledge_graph_1.loadKnowledgeGraph)(cwd);
@@ -820,10 +1046,73 @@ async function buildPrompt(command, options) {
 // ═══════════════════════════════════════════════════════════
 // Prompt 序列化
 // ═══════════════════════════════════════════════════════════
+/**
+ * 粗略估算 token 数（中文 ≈ 1.5 tokens/字，英文 ≈ 0.25 tokens/字符）
+ */
+function estimateTokens(text) {
+    let tokens = 0;
+    for (const ch of text) {
+        tokens += ch.charCodeAt(0) > 127 ? 1.5 : 0.25;
+    }
+    return Math.ceil(tokens);
+}
 /**
  * 将 Prompt 序列化为 AI 可读的文本（输出到 stdout）
+ * 带动态裁剪：超出预算时按优先级逐级简化
  */
-function formatPrompt(prompt) {
+function formatPrompt(prompt, maxTokens = 12000) {
+    // 尝试完整构建
+    let result = buildPromptText(prompt);
+    let tokens = estimateTokens(result);
+    if (tokens <= maxTokens)
+        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) {
+            logger_1.logger?.info?.(`   🪶 Prompt 已简化：隐藏全局目录（-${estimateTokens(formatGlobalContext(prompt.globalContext, prompt.platform))} tokens）`);
+            return result;
+        }
+    }
+    // Level 2: 压缩 extraSpecs（截断到 500 字/文件）
+    if (prompt.extraSpecs.length > 0) {
+        const slimExtras = prompt.extraSpecs.map(s => ({
+            ...s,
+            content: s.content.length > 500 ? s.content.slice(0, 500) + '\n> ... (已截断)' : s.content,
+        }));
+        result = buildPromptText({ ...prompt, extraSpecs: slimExtras });
+        tokens = estimateTokens(result);
+        if (tokens <= maxTokens) {
+            logger_1.logger?.info?.(`   🪶 Prompt 已简化：压缩 extraSpecs 至 500 字/文件`);
+            return result;
+        }
+    }
+    // Level 3: 移除 taskContext（知识图谱关联链）
+    if (prompt.taskContext) {
+        result = buildPromptText({ ...prompt, taskContext: undefined });
+        tokens = estimateTokens(result);
+        if (tokens <= maxTokens) {
+            logger_1.logger?.info?.(`   🪶 Prompt 已简化：隐藏任务关联链`);
+            return result;
+        }
+    }
+    // Level 4: 终极简化——只保留核心（技术栈 + API + 指令）
+    const minimalPrompt = {
+        ...prompt,
+        extraSpecs: [],
+        taskContext: undefined,
+        globalContext: undefined,
+        dataModels: prompt.dataModels.slice(0, 2),
+        businessRules: prompt.businessRules.slice(0, 3),
+    };
+    result = buildPromptText(minimalPrompt);
+    logger_1.logger?.info?.(`   🪶 Prompt 已极简模式：仅保留技术栈/API/核心指令`);
+    return result;
+}
+/** 实际构建 prompt 文本（无裁剪逻辑） */
+function buildPromptText(prompt) {
     const lines = [];
     lines.push('[SPECCORE_PROMPT]');
     lines.push('');