progmune-runtime 2.0.4 → 2.1.1

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/episodic.json

@@ -1,186 +0,0 @@
-[
-  {
-    "intent": "生成一个JWT令牌",
-    "actions": [
-      {
-        "kind": "assign",
-        "target": "payload",
-        "value": "user:123"
-      },
-      {
-        "kind": "call",
-        "function": "generate_jwt",
-        "args": [
-          {
-            "name": "payload",
-            "type": "UserPayload",
-            "value": "payload"
-          }
-        ],
-        "assignTo": "token"
-      },
-      {
-        "kind": "return",
-        "value": "token"
-      }
-    ],
-    "success": true,
-    "id": "ep_1778775611414",
-    "timestamp": "2026-05-14T16:20:11.414Z"
-  },
-  {
-    "intent": "生成一个JWT令牌",
-    "actions": [],
-    "success": false,
-    "id": "ep_1778775591074",
-    "timestamp": "2026-05-14T16:19:51.074Z"
-  },
-  {
-    "intent": "生成一个JWT令牌",
-    "actions": [
-      {
-        "kind": "assign",
-        "target": "payload",
-        "value": "user:123"
-      },
-      {
-        "kind": "call",
-        "function": "generate_jwt",
-        "args": [
-          {
-            "name": "payload",
-            "type": "UserPayload",
-            "value": "payload"
-          }
-        ],
-        "assignTo": "token"
-      },
-      {
-        "kind": "return",
-        "value": "token"
-      }
-    ],
-    "success": true,
-    "id": "ep_1778775315729",
-    "timestamp": "2026-05-14T16:15:15.729Z"
-  },
-  {
-    "intent": "生成一个JWT令牌",
-    "actions": [
-      {
-        "kind": "assign",
-        "target": "payload",
-        "value": "user:123"
-      },
-      {
-        "kind": "call",
-        "function": "generate_jwt",
-        "args": [
-          {
-            "name": "payload",
-            "type": "UserPayload",
-            "value": "payload"
-          }
-        ],
-        "assignTo": "token"
-      },
-      {
-        "kind": "return",
-        "value": "token"
-      }
-    ],
-    "success": true,
-    "id": "ep_1778775173516",
-    "timestamp": "2026-05-14T16:12:53.516Z"
-  },
-  {
-    "intent": "创建一个带令牌的会话",
-    "actions": [
-      {
-        "kind": "assign",
-        "target": "user_payload",
-        "value": "user:123"
-      },
-      {
-        "kind": "call",
-        "function": "query_data",
-        "args": [
-          {
-            "name": "key",
-            "type": "str",
-            "value": "user_payload"
-          }
-        ],
-        "assignTo": "user_data"
-      },
-      {
-        "kind": "assign",
-        "target": "plain_password",
-        "value": "password123"
-      },
-      {
-        "kind": "call",
-        "function": "verify_password",
-        "args": [
-          {
-            "name": "plain",
-            "type": "str",
-            "value": "plain_password"
-          },
-          {
-            "name": "hash",
-            "type": "PasswordHash",
-            "value": "user_data"
-          }
-        ],
-        "assignTo": "password_valid"
-      },
-      {
-        "kind": "call",
-        "function": "generate_jwt",
-        "args": [
-          {
-            "name": "payload",
-            "type": "UserPayload",
-            "value": "user_payload"
-          }
-        ],
-        "assignTo": "token"
-      },
-      {
-        "kind": "call",
-        "function": "create_session",
-        "args": [
-          {
-            "name": "user",
-            "type": "UserPayload",
-            "value": "user_payload"
-          },
-          {
-            "name": "token",
-            "type": "Token",
-            "value": "token"
-          }
-        ],
-        "assignTo": "session"
-      },
-      {
-        "kind": "return",
-        "value": "session"
-      },
-      {
-        "kind": "return",
-        "value": "error"
-      },
-      {
-        "kind": "if",
-        "condition": "password_valid",
-        "thenActions": [],
-        "elseActions": []
-      }
-    ],
-    "success": true,
-    "id": "ep_1778775082912",
-    "timestamp": "2026-05-14T16:11:22.919Z"
-  }
-]

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/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
-  }
-]