progmune-runtime 2.0.2 → 2.1.0

package/fly.toml

@@ -1,5 +1,5 @@
 app = "progmune-runtime"
-primary_region = "sin"
+primary_region = "lax"
 
 [build]
   [build.args]

package/package.json

@@ -1,14 +1,22 @@
 {
   "name": "progmune-runtime",
-  "version": "2.0.2",
+  "version": "2.1.0",
   "description": "Progmune Runtime — Program Immunology: Constraint-Guided Program Synthesis Runtime",
   "main": "dist/mcp-server.mjs",
   "bin": {
-    "progmune-runtime": "./dist/mcp-server.mjs"
+    "progmune-runtime": "dist/mcp-server.mjs"
   },
   "scripts": {
     "build": "tsc -p tsconfig.json",
-    "start": "node dist/mcp-server.mjs"
+    "start": "node dist/mcp-server.mjs",
+    "test": "node dist/mcp-server.mjs test",
+    "ir": "npx ts-node src/extract-ir.ts .",
+    "guard": "node -e \"require('./dist/validator.js'); console.log('✅ 校验器已加载')\"",
+    "obs": "npx ts-node src/semantic-trace.ts",
+    "obs-web": "npx ts-node src/obs-web.ts",
+    "check": "npx ts-node src/check.ts",
+    "audit": "npx ts-node src/audit.ts",
+    "replay-golden": "npx ts-node --transpile-only test/replay-golden.ts"
   },
   "keywords": [
     "program-synthesis",
@@ -28,6 +36,7 @@
     "typescript": "^6.0.3"
   },
   "devDependencies": {
-    "@types/node": "^25.6.0"
+    "@types/node": "^25.6.0",
+    "dotenv": "^17.4.2"
   }
 }

package/protocols.json

@@ -0,0 +1,136 @@
+{
+  "$schema": "https://progmune.dev/schemas/protocols.json",
+  "$description": "Progmune 协议定义 —— 函数调用的合法状态转换规则。支持命名空间（namespace）隔离不同资源的状态机。",
+  "initialState": "UNAUTHENTICATED",
+  "namespaceInitialStates": {
+    "_global": "UNAUTHENTICATED",
+    "auth": "UNAUTHENTICATED",
+    "dev_pipeline": "IR_STALE"
+  },
+  "states": {
+    "UNAUTHENTICATED": "初始状态：用户未认证",
+    "PASSWORD_VERIFIED": "密码已通过验证",
+    "TOKEN_ISSUED": "JWT 令牌已签发",
+    "SESSION_ACTIVE": "会话已激活",
+    "IR_STALE": "IR 已过期或未生成",
+    "IR_EXTRACTED": "IR 已从源码提取",
+    "ACTION_VALIDATED": "动作已通过 SVL 校验",
+    "SEQUENCE_VALIDATED": "动作序列 + 变量流向已通过校验",
+    "CODE_EMITTED": "目标代码已生成",
+    "SESSION_RECORDED": "执行会话已保存"
+  },
+  "rules": {
+    "verify_password": {
+      "namespace": "auth",
+      "pre_states": ["UNAUTHENTICATED"],
+      "post_states": ["PASSWORD_VERIFIED"],
+      "description": "验证用户密码 → 进入已认证状态"
+    },
+    "generate_jwt": {
+      "namespace": "auth",
+      "pre_states": ["PASSWORD_VERIFIED"],
+      "post_states": ["TOKEN_ISSUED"],
+      "invalidate": ["PASSWORD_VERIFIED"],
+      "description": "签发 JWT 令牌 → 必须在密码验证之后，签发后密码验证状态失效"
+    },
+    "create_session": {
+      "namespace": "auth",
+      "pre_states": ["TOKEN_ISSUED"],
+      "post_states": ["SESSION_ACTIVE"],
+      "invalidate": ["TOKEN_ISSUED"],
+      "description": "创建会话 → 必须在令牌签发之后，创建后令牌状态失效"
+    },
+    "revoke_token": {
+      "namespace": "auth",
+      "pre_states": ["TOKEN_ISSUED"],
+      "post_states": ["UNAUTHENTICATED"],
+      "invalidate": ["TOKEN_ISSUED"],
+      "description": "撤销令牌 → 回到未认证状态"
+    },
+    "logout": {
+      "namespace": "auth",
+      "pre_states": ["SESSION_ACTIVE"],
+      "post_states": ["UNAUTHENTICATED"],
+      "invalidate": ["SESSION_ACTIVE"],
+      "description": "登出 → 清除会话，回到未认证状态"
+    },
+    "open_file": {
+      "namespace": "file",
+      "pre_states": [],
+      "post_states": ["FILE_OPEN"],
+      "description": "打开文件 → 获得文件句柄"
+    },
+    "read_file": {
+      "namespace": "file",
+      "pre_states": ["FILE_OPEN"],
+      "post_states": [],
+      "description": "读取文件内容 → 需要文件已打开"
+    },
+    "write_file": {
+      "namespace": "file",
+      "pre_states": ["FILE_OPEN"],
+      "post_states": [],
+      "description": "写入文件内容 → 需要文件已打开"
+    },
+    "close_file": {
+      "namespace": "file",
+      "pre_states": ["FILE_OPEN"],
+      "post_states": [],
+      "invalidate": ["FILE_OPEN"],
+      "description": "关闭文件句柄 → 释放文件资源"
+    },
+    "connect_db": {
+      "namespace": "db",
+      "pre_states": [],
+      "post_states": ["DB_CONNECTED"],
+      "description": "建立数据库连接"
+    },
+    "query_db": {
+      "namespace": "db",
+      "pre_states": ["DB_CONNECTED"],
+      "post_states": [],
+      "description": "执行数据库查询 → 需要已连接"
+    },
+    "disconnect_db": {
+      "namespace": "db",
+      "pre_states": ["DB_CONNECTED"],
+      "post_states": [],
+      "invalidate": ["DB_CONNECTED"],
+      "description": "断开数据库连接"
+    },
+    "extractIR": {
+      "namespace": "dev_pipeline",
+      "pre_states": [],
+      "post_states": ["IR_EXTRACTED"],
+      "invalidate": ["IR_STALE"],
+      "description": "从源码提取 IR → 产出 IR_EXTRACTED 状态"
+    },
+    "validateAction": {
+      "namespace": "dev_pipeline",
+      "pre_states": ["IR_EXTRACTED"],
+      "post_states": ["ACTION_VALIDATED"],
+      "description": "校验单个动作合法性 → 需要 IR 已提取"
+    },
+    "validateActionSequence": {
+      "namespace": "dev_pipeline",
+      "pre_states": ["ACTION_VALIDATED"],
+      "post_states": ["SEQUENCE_VALIDATED"],
+      "invalidate": ["ACTION_VALIDATED"],
+      "description": "批量校验动作序列 → 需要动作已验证，校验后消耗"
+    },
+    "emitCode": {
+      "namespace": "dev_pipeline",
+      "pre_states": ["SEQUENCE_VALIDATED"],
+      "post_states": ["CODE_EMITTED"],
+      "invalidate": ["SEQUENCE_VALIDATED"],
+      "description": "编译动作序列为目标代码 → 需要序列已验证"
+    },
+    "recordSession": {
+      "namespace": "dev_pipeline",
+      "pre_states": ["CODE_EMITTED"],
+      "post_states": ["SESSION_RECORDED"],
+      "invalidate": ["CODE_EMITTED"],
+      "description": "保存执行会话到语料库 → 需要代码已生成"
+    }
+  }
+}

package/public/dashboard.html

@@ -0,0 +1,119 @@
+<!DOCTYPE html>
+<html lang="zh">
+<head>
+  <meta charset="UTF-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0">
+  <title>Progmune 全球免疫网络 - 仪表板</title>
+  <script src="https://cdn.jsdelivr.net/npm/chart.js@4.4.0/dist/chart.umd.min.js"></script>
+  <style>
+    body { font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif; margin: 0; padding: 20px; background: #f5f7fa; color: #333; }
+    .container { max-width: 1200px; margin: 0 auto; }
+    h1 { color: #2c3e50; border-bottom: 3px solid #3498db; padding-bottom: 10px; }
+    .stats { display: flex; gap: 20px; margin: 20px 0; flex-wrap: wrap; }
+    .stat-card { background: white; border-radius: 8px; padding: 20px; flex: 1; min-width: 200px; box-shadow: 0 2px 8px rgba(0,0,0,0.1); }
+    .stat-card h3 { margin: 0 0 10px 0; font-size: 14px; color: #7f8c8d; text-transform: uppercase; }
+    .stat-card .number { font-size: 36px; font-weight: bold; color: #2c3e50; }
+    .charts { display: flex; gap: 20px; margin: 20px 0; flex-wrap: wrap; }
+    .chart-box { background: white; border-radius: 8px; padding: 20px; flex: 1; min-width: 400px; box-shadow: 0 2px 8px rgba(0,0,0,0.1); }
+    .timeline { background: white; border-radius: 8px; padding: 20px; margin: 20px 0; box-shadow: 0 2px 8px rgba(0,0,0,0.1); }
+    .timeline-item { display: flex; align-items: center; padding: 8px 0; border-bottom: 1px solid #ecf0f1; }
+    .timeline-item:last-child { border-bottom: none; }
+    .badge { display: inline-block; padding: 2px 8px; border-radius: 4px; font-size: 12px; font-weight: bold; margin-right: 10px; }
+    .badge.svl4 { background: #e74c3c; color: white; }
+    .badge.svl3 { background: #f39c12; color: white; }
+    .badge.svl2 { background: #3498db; color: white; }
+    .badge.svl1 { background: #2ecc71; color: white; }
+  </style>
+</head>
+<body>
+  <div class="container">
+    <h1>🛡️ Progmune 全球免疫网络 - 仪表板</h1>
+    <div class="stats" id="stats"></div>
+    <div class="charts">
+      <div class="chart-box">
+        <h3>高频错误模式 (Top 10)</h3>
+        <canvas id="patternChart"></canvas>
+      </div>
+      <div class="chart-box">
+        <h3>SVL 级别分布</h3>
+        <canvas id="svlChart"></canvas>
+      </div>
+    </div>
+    <div class="timeline">
+      <h3>最近免疫事件</h3>
+      <div id="timeline"></div>
+    </div>
+  </div>
+
+  <script>
+    async function loadDashboard() {
+      try {
+        const resp = await fetch('/api/dashboard');
+        const data = await resp.json();
+        renderStats(data);
+        renderPatternChart(data.topPatterns);
+        renderSVLChart(data.topPatterns);
+        renderTimeline(data.timeline);
+      } catch (e) {
+        document.getElementById('stats').innerHTML = '<p style="color:red">加载失败，请检查服务器是否运行。</p>';
+      }
+    }
+
+    function renderStats(data) {
+      document.getElementById('stats').innerHTML = `
+        <div class="stat-card"><h3>今日上报</h3><div class="number">${data.todayCount}</div></div>
+        <div class="stat-card"><h3>本周上报</h3><div class="number">${data.weekCount}</div></div>
+        <div class="stat-card"><h3>总计上报</h3><div class="number">${data.totalCount}</div></div>
+      `;
+    }
+
+    function renderPatternChart(patterns) {
+      const ctx = document.getElementById('patternChart').getContext('2d');
+      const labels = patterns.map(p => p.pattern.length > 40 ? p.pattern.substring(0,40)+'...' : p.pattern);
+      new Chart(ctx, {
+        type: 'bar',
+        data: {
+          labels: labels,
+          datasets: [{
+            label: '出现次数',
+            data: patterns.map(p => p.count),
+            backgroundColor: 'rgba(231, 76, 60, 0.7)'
+          }]
+        },
+        options: { responsive: true, indexAxis: 'y', plugins: { legend: { display: false } } }
+      });
+    }
+
+    function renderSVLChart(patterns) {
+      const svlCounts = { 'SVL-1': 0, 'SVL-2': 0, 'SVL-3': 0, 'SVL-4': 0 };
+      patterns.forEach(p => {
+        const svl = p.pattern.split(' | ')[0];
+        if (svlCounts[svl] !== undefined) svlCounts[svl] += p.count;
+      });
+      const ctx = document.getElementById('svlChart').getContext('2d');
+      new Chart(ctx, {
+        type: 'doughnut',
+        data: {
+          labels: ['SVL-1 符号错误', 'SVL-2 类型错误', 'SVL-3 数据流错误', 'SVL-4 协议违规'],
+          datasets: [{
+            data: [svlCounts['SVL-1'], svlCounts['SVL-2'], svlCounts['SVL-3'], svlCounts['SVL-4']],
+            backgroundColor: ['#2ecc71', '#3498db', '#f39c12', '#e74c3c']
+          }]
+        }
+      });
+    }
+
+    function renderTimeline(timeline) {
+      document.getElementById('timeline').innerHTML = timeline.map(t => `
+        <div class="timeline-item">
+          <span class="badge svl${t.svl ? t.svl.slice(-1) : '1'}">${t.svl || '?'}</span>
+          <span style="flex:1">${t.pattern || '(empty)'}</span>
+          <span style="color:#7f8c8d; font-size:12px">${t.time}</span>
+        </div>
+      `).join('');
+    }
+
+    loadDashboard();
+  </script>
+</body>
+</html>