progmune-runtime 2.0.0

package/dist/generate.js

@@ -0,0 +1,119 @@
+"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 });
+const extract_ir_python_1 = require("./extract-ir-python");
+const planner_1 = require("./planner");
+const search_planner_1 = require("./search-planner");
+const validator_1 = require("./validator");
+const python_emitter_1 = require("./python-emitter");
+const feedback_1 = require("./feedback");
+const llm_1 = require("./llm");
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const child_process_1 = require("child_process");
+async function main() {
+    const results = [];
+    const intents = [
+        "实现 login 函数，验证密码，成功则生成JWT，否则返回错误信息",
+        "实现批量处理支付 transactions，对每笔交易校验卡片并记录日志",
+        "实现数据报表函数，分页获取活跃用户，按类别分组并排序"
+    ];
+    const planners = ["llm", "search"];
+    const lang = "python";
+    const projectPath = "./test-xlarge";
+    const fns = (0, extract_ir_python_1.extractIRPython)(projectPath);
+    fs.writeFileSync("ir.json", JSON.stringify(fns, null, 2));
+    console.log(`✅ 项目规模: ${fns.length} 函数\n`);
+    for (const intent of intents) {
+        for (const planner of planners) {
+            const start = Date.now();
+            let actions = [];
+            try {
+                if (planner === "llm") {
+                    actions = await (0, planner_1.plan)(intent);
+                }
+                else {
+                    actions = await (0, search_planner_1.searchPlan)(intent, 2, 4);
+                }
+            }
+            catch (e) {
+                results.push({ intent, planner, duration_ms: Date.now() - start, llm_calls: llm_1.callCount, success: false, error: String(e) });
+                continue;
+            }
+            const duration = Date.now() - start;
+            const validationResults = actions.map((a) => (0, validator_1.validateAction)(a));
+            const valid = validationResults.every((r) => r.valid);
+            if (!valid || actions.length === 0) {
+                results.push({ intent, planner, duration_ms: duration, llm_calls: llm_1.callCount, success: false, error: "校验失败" });
+                continue;
+            }
+            const code = (0, python_emitter_1.emitPython)(actions);
+            const tmpFile = path.join(path.resolve(projectPath), "__test.py");
+            fs.writeFileSync(tmpFile, code);
+            let success = false;
+            let error;
+            try {
+                (0, child_process_1.execSync)(`python3 ${tmpFile}`, { timeout: 5000, encoding: "utf-8", cwd: path.resolve(projectPath) });
+                success = true;
+            }
+            catch (e) {
+                error = e.stderr?.toString() || e.toString();
+            }
+            finally {
+                if (fs.existsSync(tmpFile))
+                    fs.unlinkSync(tmpFile);
+            }
+            (0, feedback_1.recordRun)(intent, actions, success, error);
+            results.push({ intent, planner, duration_ms: duration, llm_calls: llm_1.callCount, success, error });
+            console.log(`${planner} | ${intent.substring(0, 20)}... | ${duration}ms | 调用:${llm_1.callCount} | ${success ? '✅' : '❌'}`);
+        }
+    }
+    console.log("\n📊 200函数压力测试报告:");
+    console.table(results.map(r => ({
+        Intent: r.intent.substring(0, 30),
+        Planner: r.planner,
+        Time: r.duration_ms + 'ms',
+        LLM: r.llm_calls,
+        Success: r.success ? '✅' : '❌'
+    })));
+    fs.writeFileSync("stress_200_test.json", JSON.stringify(results, null, 2));
+    console.log("报告已保存到 stress_200_test.json");
+    // 计算统计指标
+    const totalLLM = results.reduce((s, r) => s + r.llm_calls, 0);
+    const avgTime = results.reduce((s, r) => s + r.duration_ms, 0) / results.length;
+    const successRate = results.filter(r => r.success).length / results.length * 100;
+    console.log(`\n📈 汇总: 总LLM调用=${totalLLM}, 平均耗时=${avgTime.toFixed(0)}ms, 成功率=${successRate.toFixed(0)}%`);
+}
+main().catch(console.error);

package/dist/generate_500.js

@@ -0,0 +1,112 @@
+"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 });
+const extract_ir_python_1 = require("./extract-ir-python");
+const planner_1 = require("./planner");
+const search_planner_1 = require("./search-planner");
+const validator_1 = require("./validator");
+const python_emitter_1 = require("./python-emitter");
+const feedback_1 = require("./feedback");
+const llm_1 = require("./llm");
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const child_process_1 = require("child_process");
+async function main() {
+    const results = [];
+    const intents = [
+        "实现 login 函数，验证密码，成功则生成JWT，否则返回错误信息",
+        "实现批量处理支付 transactions，对每笔交易校验卡片并记录日志",
+        "实现数据报表函数，分页获取活跃用户，按类别分组并排序"
+    ];
+    const planners = ["llm", "search"];
+    const projectPath = "./test-500";
+    const fns = (0, extract_ir_python_1.extractIRPython)(projectPath);
+    fs.writeFileSync("ir.json", JSON.stringify(fns, null, 2));
+    console.log(`✅ 项目规模: ${fns.length} 函数\n`);
+    for (const intent of intents) {
+        for (const planner of planners) {
+            const start = Date.now();
+            let actions = [];
+            try {
+                if (planner === "llm")
+                    actions = await (0, planner_1.plan)(intent);
+                else
+                    actions = await (0, search_planner_1.searchPlan)(intent, 2, 4);
+            }
+            catch (e) {
+                results.push({ intent, planner, duration_ms: Date.now() - start, llm_calls: llm_1.callCount, success: false, error: String(e) });
+                continue;
+            }
+            const duration = Date.now() - start;
+            const valid = actions.length > 0 && actions.map((a) => (0, validator_1.validateAction)(a)).every((r) => r.valid);
+            if (!valid) {
+                results.push({ intent, planner, duration_ms: duration, llm_calls: llm_1.callCount, success: false, error: "校验失败或无动作" });
+                continue;
+            }
+            const code = (0, python_emitter_1.emitPython)(actions);
+            const tmpFile = path.join(path.resolve(projectPath), "__test.py");
+            fs.writeFileSync(tmpFile, code);
+            let success = false, error;
+            try {
+                (0, child_process_1.execSync)(`python3 ${tmpFile}`, { timeout: 5000, encoding: "utf-8", cwd: path.resolve(projectPath) });
+                success = true;
+            }
+            catch (e) {
+                error = e.stderr?.toString() || e.toString();
+            }
+            finally {
+                if (fs.existsSync(tmpFile))
+                    fs.unlinkSync(tmpFile);
+            }
+            (0, feedback_1.recordRun)(intent, actions, success, error);
+            results.push({ intent, planner, duration_ms: duration, llm_calls: llm_1.callCount, success, error });
+            console.log(`${planner} | ${intent.substring(0, 20)}... | ${duration}ms | 调用:${llm_1.callCount} | ${success ? '✅' : '❌'}`);
+        }
+    }
+    console.log("\n📊 500函数压力测试报告:");
+    console.table(results.map(r => ({
+        Intent: r.intent.substring(0, 30),
+        Planner: r.planner,
+        Time: r.duration_ms + 'ms',
+        LLM: r.llm_calls,
+        Success: r.success ? '✅' : '❌'
+    })));
+    fs.writeFileSync("stress_500_report.json", JSON.stringify(results, null, 2));
+    const totalCalls = results.reduce((s, r) => s + r.llm_calls, 0);
+    const avgTime = results.reduce((s, r) => s + r.duration_ms, 0) / results.length;
+    const successRate = results.filter(r => r.success).length / results.length * 100;
+    console.log(`\n📈 汇总: LLM总调用=${totalCalls}, 平均耗时=${avgTime.toFixed(0)}ms, 成功率=${successRate.toFixed(0)}%`);
+}
+main().catch(console.error);

package/dist/llm.js

@@ -0,0 +1,24 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.callCount = void 0;
+exports.resetCallCount = resetCallCount;
+exports.generate = generate;
+const openai_1 = __importDefault(require("openai"));
+const apiKey = process.env.LLM_API_KEY || "sk-xxxx";
+const baseURL = process.env.LLM_BASE_URL || "https://api.deepseek.com/v1";
+const model = process.env.LLM_MODEL || "deepseek-chat";
+const client = new openai_1.default({ apiKey, baseURL });
+exports.callCount = 0;
+function resetCallCount() { exports.callCount = 0; }
+async function generate(prompt) {
+    exports.callCount++;
+    const resp = await client.chat.completions.create({
+        model,
+        messages: [{ role: "user", content: prompt }],
+        temperature: 0.0,
+    });
+    return resp.choices[0]?.message?.content || "";
+}

package/dist/main.js

@@ -0,0 +1,142 @@
+"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 });
+const extract_ir_1 = require("./extract-ir");
+const planner_1 = require("./planner");
+const validator_1 = require("./validator");
+const emitter_1 = require("./emitter");
+const runtime_1 = require("./runtime");
+const fs = __importStar(require("fs"));
+async function runTest(name, actions) {
+    console.log(`\n🧪 测试: ${name}`);
+    // 校验
+    const results = actions.map((a) => (0, validator_1.validateAction)(a));
+    const valid = results.every((r) => r.valid);
+    if (!valid) {
+        console.log("  ❌ 校验器拦截:");
+        results.forEach((r, i) => { if (!r.valid)
+            console.log(`    动作${i}: ${r.errors}`); });
+        return;
+    }
+    // 发射代码
+    const code = (0, emitter_1.emitCode)(actions);
+    console.log("  生成的代码:\n" + code.split("\n").map(l => "    " + l).join("\n"));
+    // 编译运行
+    const execResult = (0, runtime_1.runAndCheck)(code);
+    if (!execResult.success) {
+        console.log("  ❌ 编译/运行失败 (类型系统生效)");
+        console.log("    错误摘要:", execResult.error?.split("\n")[0]);
+    }
+    else {
+        console.log("  ✅ 运行通过 (需人工复核是否真正安全)");
+    }
+}
+async function main() {
+    console.log("═══════════════════════════════════════");
+    console.log("  BrainyCode v2.0 – 扩展语义拦截测试");
+    console.log("═══════════════════════════════════════");
+    // 1. 提取 IR
+    console.log("\n📊 提取 IR...");
+    const fns = (0, extract_ir_1.extractIR)("./test-login");
+    fs.writeFileSync("ir.json", JSON.stringify(fns, null, 2));
+    console.log(`✅ 函数数量: ${fns.length}`);
+    // 2. 获取正常动作序列
+    const intent = "实现登录接口，验证密码后返回 JWT，并记录日志";
+    console.log("\n🧠 正常规划...");
+    const normalActions = await (0, planner_1.plan)(intent);
+    console.log("🎯 正常动作:");
+    console.log(JSON.stringify(normalActions, null, 2));
+    // 3. 正常流程
+    await runTest("正常流程", normalActions);
+    // 4. 错误注入测试集
+    const maliciousTests = [
+        {
+            name: "篡改参数类型 (PasswordHash -> Token)",
+            modify: (actions) => {
+                const copy = JSON.parse(JSON.stringify(actions));
+                for (const a of copy) {
+                    if (a.kind === "call" && a.function === "verifyPassword") {
+                        const hashArg = a.args.find((x) => x.name === "hash");
+                        if (hashArg)
+                            hashArg.type = "Token";
+                    }
+                }
+                return copy;
+            }
+        },
+        {
+            name: "调用不存在的函数",
+            modify: (actions) => {
+                const copy = JSON.parse(JSON.stringify(actions));
+                copy.push({ kind: "call", function: "hackSystem", args: [] });
+                return copy;
+            }
+        },
+        {
+            name: "参数数量错误 (verifyPassword 只给一个参数)",
+            modify: (actions) => {
+                const copy = JSON.parse(JSON.stringify(actions));
+                for (const a of copy) {
+                    if (a.kind === "call" && a.function === "verifyPassword") {
+                        a.args = [a.args[0]]; // 只保留第一个参数
+                    }
+                }
+                return copy;
+            }
+        },
+        {
+            name: "将 string 参数类型改为 number",
+            modify: (actions) => {
+                const copy = JSON.parse(JSON.stringify(actions));
+                for (const a of copy) {
+                    if (a.kind === "call" && a.function === "verifyPassword") {
+                        const plainArg = a.args.find((x) => x.name === "plain");
+                        if (plainArg)
+                            plainArg.type = "number";
+                    }
+                }
+                return copy;
+            }
+        }
+    ];
+    for (const test of maliciousTests) {
+        const maliciousActions = test.modify(normalActions);
+        await runTest(test.name, maliciousActions);
+    }
+    console.log("\n═══════════════════════════════════════");
+    console.log("  ✅ 扩展测试完成");
+    console.log("═══════════════════════════════════════");
+}
+main().catch(console.error);

package/dist/mcp-server.js

@@ -0,0 +1,55 @@
+import { Server } from '@modelcontextprotocol/sdk/server/index.js';
+import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+import { CallToolRequestSchema, ListToolsRequestSchema } from '@modelcontextprotocol/sdk/types.js';
+import { createRequire } from 'module';
+
+const require = createRequire(import.meta.url);
+const fs = require('fs');
+
+const { plan } = require('./planner.js');
+const { extractIRPython } = require('./extract-ir-python.js');
+const { emitPython } = require('./python-emitter.js');
+const { recordRun } = require('./feedback.js');
+
+async function main() {
+  const server = new Server({
+    name: "progmune",
+    version: "2.0.0"
+  }, { capabilities: { tools: {} } });
+
+  server.setRequestHandler(ListToolsRequestSchema, async () => ({
+    tools: [{
+      name: "generate_verified_code",
+      description: "生成类型安全的Python代码，仅使用项目中真实存在的函数。",
+      inputSchema: {
+        type: "object",
+        properties: {
+          intent: { type: "string", description: "编程意图" },
+          projectPath: { type: "string", description: "项目根目录绝对路径" }
+        },
+        required: ["intent", "projectPath"]
+      }
+    }]
+  }));
+
+  server.setRequestHandler(CallToolRequestSchema, async (request) => {
+    if (request.params.name === "generate_verified_code") {
+      const { intent, projectPath } = request.params.arguments;
+      const fns = extractIRPython(projectPath);
+      fs.writeFileSync("ir.json", JSON.stringify(fns, null, 2));
+      const actions = await plan(intent);
+      if (!actions || actions.length === 0) {
+        return { content: [{ type: "text", text: "无法生成满足约束的代码。" }] };
+      }
+      const code = emitPython(actions);
+      recordRun(intent, actions, true);
+      return { content: [{ type: "text", text: code }] };
+    }
+    throw new Error("未知工具");
+  });
+
+  const transport = new StdioServerTransport();
+  await server.connect(transport);
+}
+
+main().catch(console.error);

package/dist/mcp-server.mjs

@@ -0,0 +1,76 @@
+#!/usr/bin/env node
+import { Server } from '@modelcontextprotocol/sdk/server/index.js';
+import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+import { CallToolRequestSchema, ListToolsRequestSchema } from '@modelcontextprotocol/sdk/types.js';
+import { createRequire } from 'module';
+
+const require = createRequire(import.meta.url);
+const fs = require('fs');
+
+// 加载编译后的 CommonJS 模块
+const { plan } = require('./planner.js');
+const { validateActionSequence } = require('./validator.js');
+const { extractIRPython } = require('./extract-ir-python.js');
+const { emitPython } = require('./python-emitter.js');
+const { recordRun } = require('./feedback.js');
+
+async function main() {
+  const server = new Server({
+    name: "progmune",
+    version: "2.0.0"
+  }, { capabilities: { tools: {} } });
+
+  server.setRequestHandler(ListToolsRequestSchema, async () => ({
+    tools: [{
+      name: "generate_verified_code",
+      description: "生成类型安全的Python代码，仅使用项目中真实存在的函数。",
+      inputSchema: {
+        type: "object",
+        properties: {
+          intent: { type: "string", description: "编程意图" },
+          projectPath: { type: "string", description: "项目根目录绝对路径" }
+        },
+        required: ["intent", "projectPath"]
+      }
+    }]
+  }));
+
+  server.setRequestHandler(CallToolRequestSchema, async (request) => {
+    if (request.params.name === "generate_verified_code") {
+      const { intent, projectPath } = request.params.arguments;
+      
+      // 1. 提取 IR
+      const fns = extractIRPython(projectPath);
+      fs.writeFileSync("ir.json", JSON.stringify(fns, null, 2));
+
+      // 2. 规划动作
+      let actions;
+      try {
+        actions = await plan(intent);
+      } catch (e) {
+        return { content: [{ type: "text", text: `规划失败: ${e.message}` }] };
+      }
+
+      if (!actions || actions.length === 0) {
+        return { content: [{ type: "text", text: "Planner 返回空序列，可能是 LLM 输出异常或项目函数不足。" }] };
+      }
+
+      // 3. 校验动作序列
+      const seqResult = validateActionSequence(actions);
+      if (!seqResult.valid) {
+        return { content: [{ type: "text", text: `校验失败: ${seqResult.errors.join("; ")}` }] };
+      }
+
+      // 4. 发射代码
+      const code = emitPython(actions);
+      recordRun(intent, actions, true);
+      return { content: [{ type: "text", text: code }] };
+    }
+    throw new Error("未知工具");
+  });
+
+  const transport = new StdioServerTransport();
+  await server.connect(transport);
+}
+
+main().catch(console.error);

package/dist/memory-layer.js

@@ -0,0 +1,150 @@
+"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.WorkMemory = void 0;
+exports.recordEpisode = recordEpisode;
+exports.getRecentEpisodes = getRecentEpisodes;
+exports.getSuccessfulEpisodes = getSuccessfulEpisodes;
+exports.consolidateSemantic = consolidateSemantic;
+exports.findSemanticTemplate = findSemanticTemplate;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const MEMORY_DIR = path.resolve(__dirname, "../.progmune_memory");
+class WorkMemory {
+    constructor() {
+        this.bindings = new Map();
+        this.intent = "";
+    }
+    setIntent(intent) { this.intent = intent; }
+    getIntent() { return this.intent; }
+    bind(name, type) { this.bindings.set(name, type); }
+    get(name) { return this.bindings.get(name); }
+    clear() { this.bindings.clear(); this.intent = ""; }
+}
+exports.WorkMemory = WorkMemory;
+const EPISODIC_FILE = path.join(MEMORY_DIR, "episodic.json");
+const MAX_EPISODES = 50;
+function ensureDir(dir) {
+    if (!fs.existsSync(dir))
+        fs.mkdirSync(dir, { recursive: true });
+}
+function loadEpisodes() {
+    ensureDir(MEMORY_DIR);
+    if (!fs.existsSync(EPISODIC_FILE))
+        return [];
+    return JSON.parse(fs.readFileSync(EPISODIC_FILE, "utf-8"));
+}
+function saveEpisodes(episodes) {
+    ensureDir(MEMORY_DIR);
+    fs.writeFileSync(EPISODIC_FILE, JSON.stringify(episodes.slice(0, MAX_EPISODES), null, 2));
+}
+function recordEpisode(episode) {
+    const episodes = loadEpisodes();
+    const newEpisode = {
+        ...episode,
+        id: `ep_${Date.now()}`,
+        timestamp: new Date().toISOString(),
+    };
+    episodes.unshift(newEpisode);
+    if (episodes.length > MAX_EPISODES)
+        episodes.length = MAX_EPISODES;
+    saveEpisodes(episodes);
+}
+function getRecentEpisodes(limit = 10) {
+    return loadEpisodes().slice(0, limit);
+}
+function getSuccessfulEpisodes(limit = 10) {
+    return loadEpisodes().filter(e => e.success).slice(0, limit);
+}
+const SEMANTIC_FILE = path.join(MEMORY_DIR, "semantic.json");
+function loadSemantic() {
+    ensureDir(MEMORY_DIR);
+    if (!fs.existsSync(SEMANTIC_FILE))
+        return [];
+    return JSON.parse(fs.readFileSync(SEMANTIC_FILE, "utf-8"));
+}
+function saveSemantic(templates) {
+    ensureDir(MEMORY_DIR);
+    fs.writeFileSync(SEMANTIC_FILE, JSON.stringify(templates, null, 2));
+}
+function consolidateSemantic(minOccurrences = 3) {
+    const episodes = getSuccessfulEpisodes(MAX_EPISODES);
+    const grouped = new Map();
+    for (const ep of episodes) {
+        const pattern = ep.intent.substring(0, 20);
+        if (!grouped.has(pattern))
+            grouped.set(pattern, []);
+        grouped.get(pattern).push(ep);
+    }
+    const templates = loadSemantic();
+    for (const [pattern, eps] of grouped) {
+        if (eps.length >= minOccurrences) {
+            const existing = templates.find(t => t.intentPattern === pattern);
+            if (existing) {
+                existing.successRate = (existing.successRate * existing.useCount + eps.length) / (existing.useCount + eps.length);
+                existing.useCount += eps.length;
+                existing.lastUsedAt = new Date().toISOString();
+                existing.actionSequence = eps[0].actions;
+            }
+            else {
+                templates.push({
+                    id: `tmpl_${Date.now()}`,
+                    intentPattern: pattern,
+                    actionSequence: eps[0].actions,
+                    successRate: 1.0,
+                    useCount: eps.length,
+                    createdAt: new Date().toISOString(),
+                    lastUsedAt: new Date().toISOString(),
+                });
+            }
+        }
+    }
+    saveSemantic(templates);
+    console.log(`[语义记忆] 巩固完成，模板数量: ${templates.length}`);
+}
+function findSemanticTemplate(intent) {
+    const templates = loadSemantic();
+    if (templates.length === 0)
+        return undefined;
+    const prefix = intent.substring(0, 20).toLowerCase();
+    const exactMatch = templates.find(t => t.intentPattern.toLowerCase() === prefix);
+    if (exactMatch && exactMatch.successRate >= 0.7)
+        return exactMatch;
+    const fuzzyMatch = templates.find(t => {
+        const pattern = t.intentPattern.toLowerCase();
+        return (prefix.includes(pattern) || pattern.includes(prefix)) && t.successRate >= 0.8;
+    });
+    return fuzzyMatch;
+}