progmune-runtime 2.0.2 → 2.1.0

package/test_svl3.js

@@ -0,0 +1,58 @@
+const fs = require('fs');
+
+// 确保 ir.json 存在
+const ir = [
+  { name: 'cache_get', params: [{ name: 'key', type: 'str' }], returnType: 'any', file: 'auth.py' },
+];
+fs.writeFileSync('ir.json', JSON.stringify(ir, null, 2));
+
+// 内联 checkVariableFlow 逻辑
+function checkVariableFlow(actions) {
+  const errors = [];
+  const declared = new Map();
+
+  const isLiteral = (val) => {
+    if (typeof val !== 'string') return true;
+    if (/^["'`]/.test(val) || /["'`]$/.test(val)) return true;
+    if (/^\d+$/.test(val)) return true;
+    if (val === 'true' || val === 'false' || val === 'null' || val === 'undefined') return true;
+    if (/\s/.test(val) || /[^\w]/.test(val)) return true;
+    return false;
+  };
+
+  const processAction = (action) => {
+    console.log('处理动作:', JSON.stringify(action));
+    if (action.kind === 'call') {
+      for (const arg of (action.args || [])) {
+        const val = arg.value;
+        console.log('  参数值:', val, '类型:', typeof val, 'isLiteral:', isLiteral(val), '是否为标识符:', /^[a-zA-Z_]\w*$/.test(val));
+        if (typeof val === 'string' && !isLiteral(val)) {
+          if (/^[a-zA-Z_]\w*$/.test(val) && !declared.has(val)) {
+            const errMsg = "变量 '" + val + "' 未声明就使用";
+            errors.push(errMsg);
+            console.log('  -> 检测到错误:', errMsg);
+          }
+        }
+      }
+      if (action.assignTo) {
+        declared.set(action.assignTo, 'any');
+        console.log('  声明变量:', action.assignTo);
+      }
+    }
+  };
+
+  for (const action of actions) processAction(action);
+  return errors;
+}
+
+const actions = [
+  {
+    kind: 'call',
+    function: 'cache_get',
+    args: [{ name: 'key', type: 'str', value: 'myCacheKey' }]
+  }
+];
+
+const errors = checkVariableFlow(actions);
+console.log('\n最终错误列表:', JSON.stringify(errors));
+console.log(errors.length > 0 ? '✅ SVL-3 生效了！' : '❌ SVL-3 仍未生效');

package/tsconfig.json

@@ -13,5 +13,5 @@
     "ignoreDeprecations": "6.0"
   },
   "include": ["src/**/*.ts"],
-  "exclude": ["node_modules", "dist", "test-*", "*.ts"]
+  "exclude": ["node_modules", "dist", "test-*", "*.ts", "src/mcp-server.ts"]
 }

package/.env.example

@@ -1,3 +0,0 @@
-# Progmune 中央免疫服务器地址
-# 部署你自己的中央服务器后，替换为你的地址
-PROGMUNE_HUB=https://progmune-runtime.fly.dev/report

package/.progmune_memory/fingerprints.json

@@ -1,7 +0,0 @@
-[
-  "generate_jwt",
-  "generate_jwt,create_session",
-  "query_data,generate_jwt,create_session",
-  "query_data,generate_jwt,create_session",
-  "create_session,verify_password"
-]

package/.progmune_memory/opt_in.json

@@ -1,4 +0,0 @@
-{
-  "enabled": true,
-  "timestamp": "2026-05-14T13:25:19.319Z"
-}

package/README.md

@@ -1,118 +0,0 @@
-# Progmune Runtime（免序）
-
-**程序免疫学：为生成式程序建立免疫系统**
-
-[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
-[![MCP](https://img.shields.io/badge/MCP-Compatible-blue)](https://modelcontextprotocol.io)
-[![Stage: Technical Preview](https://img.shields.io/badge/Stage-Technical_Preview-orange)]()
-
-**Progmune（免序）不是一个 AI 编程助手，而是一个面向生成式程序的免疫系统。** 它将大语言模型（LLM）从开放世界的代码生成器，降级为在程序真相层（IR）严格约束下的启发式搜索器，确保生成的代码不仅在符号和类型上正确，更在行为协议上合法。
-
----
-
-## 核心命题：AI 生成的程序必须具备免疫系统
-
-LLM 在生成代码时会产生“幻觉”——调用不存在的函数、违反类型约束、跳过关键的业务步骤。传统的提示工程和事后校验无法根除这些问题，因为它们将 LLM 置于系统的中心，缺乏第一性原理的约束。
-
-Progmune 提出**程序免疫学（Program Immunology）**范式，为生成式程序建立一套可识别、可记忆、可进化的防御体系。我们证明了，通过将程序的真实结构（IR）确立为唯一真相源，可以使 AI 生成的代码具备：
-
-1.  **天然免疫**：快速识别并拒绝违反符号存在性、类型兼容性和数据流规则的代码。
-2.  **获得性免疫**：从过去的失败案例中学习，生成特异性的防御规则，主动预防未来同类错误。
-3.  **免疫记忆**：将成功和失败的模式沉淀为结构化的知识，使系统随着使用持续进化，越用越可靠。
-
-**详细理论框架请参阅《[Program Immunology 白皮书](./WHITEPAPER.md)》。**
-
----
-
-## 架构概览：一个会学习、会记忆、会防御的运行时
-
-Progmune 的架构受生物免疫系统启发，分为六个核心层：
-
-| 生物免疫系统 | 程序免疫 (Progmune) | 核心职责 |
-|-------------|---------------------|----------|
-| **天然免疫** | **约束引擎** (IR + SVL-1~SVL-3) | 快速、自动地拒绝调用不存在的函数、类型错误和数据流问题。 |
-| **获得性免疫** | **语义状态图 (SSG)** | 通过可编程的状态机，精确拦截非法业务逻辑跃迁（如“未认证即签发令牌”）。 |
-| **免疫记忆** | **三层记忆架构** | 工作记忆、情景记忆和语义记忆协同，让系统越用越聪明，相似意图可跳过LLM直接复用验证过的路径。 |
-| **抗原呈递** | **Failure Corpus** | 结构化的失败案例库，每一次拦截都转化为可分析的“错误指纹”，为系统进化提供数据基础。 |
-
----
-
-## 快速开始
-
-### 前置条件
-- [Node.js](https://nodejs.org/) >= 18
-- 一个有效的 LLM API 密钥（DeepSeek 或 OpenAI 兼容接口）
-
-### 1. 安装
-
-```bash
-npm install -g progmune-runtime
-```
-
-### 2. 配置 LLM API 密钥
-```bash
-export LLM_API_KEY="你的DeepSeek或OpenAI密钥"
-```
-
-### 3. 在 MCP 客户端中配置
-**Claude Code**: 编辑 `~/.claude/settings.json` 并添加：
-
-```json
-{
-  "mcpServers": {
-    "progmune": {
-      "command": "npx",
-      "args": ["progmune-runtime"]
-    }
-  }
-}
-```
-
-**Manus / 其他客户端**: Command: `npx`, Args: `progmune-runtime`。
-
-配置完成后，在对话中直接描述编程需求，AI 代理会自动调用 Progmune 生成安全代码。
-
----
-
-## 全球免疫网络 (Global Immune Network)
-Progmune 支持将本地脱敏后的错误指纹安全上报至中央免疫服务器，实现“群体免疫”。
-
-**设置中央服务器地址**:
-```bash
-export PROGMUNE_HUB="https://progmune-runtime.fly.dev/report"
-```
-
-**预览待上报的脱敏数据**:
-```bash
-npx ts-node src/report.ts preview
-```
-
-**执行安全上报**:
-```bash
-npx ts-node src/report.ts report
-```
-
-**隐私保护**: 只上传函数名序列、SVL级别、状态迁移，绝不包含任何代码片段、变量值或用户数据。
-
----
-
-## 语义有效性级别 (SVL)
-Progmune 定义了 AI 生成代码正确性的分层标准：
-
-| 级别 | 名称 | 保证 |
-|---|---|---|
-| SVL-1 | 符号存在性 | 绝不调用项目中不存在的函数 |
-| SVL-2 | 类型有效性 | 参数数量和类型严格匹配 |
-| SVL-3 | 数据流正确性 | 变量先声明后使用，无循环引用 |
-| SVL-4 | 协议合法性 | 业务步骤顺序必须遵守状态迁移规则 |
-
----
-
-## 如何贡献
-Progmune 的核心护城河在于不断积累的语义失败语料库。欢迎通过 GitHub Issues 提交您在使用过程中遇到的“看似合法但实际危险”的生成案例（请务必脱敏），帮助我们完善语义状态图（SSG）协议。
-
-## 许可证
-MIT License。
-
-Progmune 正在重新定义 AI 辅助编程——不是“让模型更聪明”，而是“让程序真相主导生成”。
-加入我们的技术预览，一起构建可验证的 AI 编码未来。

package/dist/mcp-server.js

@@ -1,55 +0,0 @@
-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/immune_hub_data/2026-05-14.json

@@ -1,50 +0,0 @@
-[
-  {
-    "instance_id": "1009ae6be3d4526c",
-    "timestamp": "2026-05-13T18:53:16.840Z",
-    "violatedSVL": "SVL-4",
-    "constraintType": "protocol",
-    "functionSequence": [
-      "generate_jwt"
-    ],
-    "preState": [
-      "UNAUTHENTICATED"
-    ],
-    "count": 1
-  },
-  {
-    "instance_id": "1009ae6be3d4526c",
-    "timestamp": "2026-05-13T21:24:45.973Z",
-    "violatedSVL": "SVL-4",
-    "constraintType": "protocol",
-    "functionSequence": [
-      "generate_jwt",
-      "create_session"
-    ],
-    "count": 1
-  },
-  {
-    "instance_id": "1009ae6be3d4526c",
-    "timestamp": "2026-05-13T21:24:47.155Z",
-    "violatedSVL": "SVL-4",
-    "constraintType": "protocol",
-    "functionSequence": [
-      "query_data",
-      "generate_jwt",
-      "create_session"
-    ],
-    "count": 1
-  },
-  {
-    "instance_id": "1009ae6be3d4526c",
-    "timestamp": "2026-05-13T21:24:48.290Z",
-    "violatedSVL": "SVL-4",
-    "constraintType": "protocol",
-    "functionSequence": [
-      "query_data",
-      "generate_jwt",
-      "create_session"
-    ],
-    "count": 1
-  }
-]