progmune-runtime 2.1.6 → 3.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (356) hide show
  1. package/README.md +108 -468
  2. package/dist/ablation-study.js +144 -0
  3. package/dist/ablation-study.test.js +18 -0
  4. package/dist/action-runtime.js +3 -1
  5. package/dist/active-learning.js +211 -0
  6. package/dist/analytics.js +139 -0
  7. package/dist/asset-factory.js +309 -0
  8. package/dist/asset-growth.js +244 -0
  9. package/dist/asset-promotion.js +382 -0
  10. package/dist/asset-quality.js +550 -0
  11. package/dist/audit/business-translator.js +285 -0
  12. package/dist/audit/cli.js +66 -0
  13. package/dist/audit/formatters/html.js +379 -0
  14. package/dist/audit/formatters/json.js +11 -0
  15. package/dist/audit/formatters/markdown.js +192 -0
  16. package/dist/audit/formatters/terminal.js +189 -0
  17. package/dist/audit/index.js +25 -0
  18. package/dist/audit/report-builder.js +318 -0
  19. package/dist/audit/types.js +8 -0
  20. package/dist/audit.js +3 -3
  21. package/dist/auto-benchmark-generator.js +137 -0
  22. package/dist/auto-benchmark-generator.test.js +45 -0
  23. package/dist/auto-protocol-synthesizer.js +362 -0
  24. package/dist/auto-protocol-synthesizer.test.js +82 -0
  25. package/dist/autonomous-patch.js +175 -0
  26. package/dist/autonomous-patch.test.js +128 -0
  27. package/dist/badge/badge-server.js +98 -0
  28. package/dist/behavior-miner.js +442 -0
  29. package/dist/belief-layer.js +475 -0
  30. package/dist/benchmark-count.js +5 -0
  31. package/dist/benchmark-generator.js +211 -0
  32. package/dist/benchmark-harness.js +201 -0
  33. package/dist/benchmark-pass-rate.js +7 -0
  34. package/dist/benchmark-report.js +8 -3
  35. package/dist/benchmark-save.js +14 -1
  36. package/dist/bootstrap-validation.js +197 -0
  37. package/dist/bootstrap-validation.test.js +51 -0
  38. package/dist/branch-ledger.js +1 -1
  39. package/dist/capability-gap.js +130 -0
  40. package/dist/certify-html.js +351 -0
  41. package/dist/certify.js +326 -0
  42. package/dist/check.js +4 -4
  43. package/dist/compliance-miner.js +447 -0
  44. package/dist/continuous-benchmark.js +194 -0
  45. package/dist/continuous-benchmark.test.js +116 -0
  46. package/dist/corpus-stats.js +173 -0
  47. package/dist/counterfactual-engine.js +288 -0
  48. package/dist/coverage-dashboard.js +109 -0
  49. package/dist/coverage-system.test.js +205 -0
  50. package/dist/cross-repo-precision.js +352 -0
  51. package/dist/cve-benchmark.js +180 -0
  52. package/dist/cve-benchmark.test.js +28 -0
  53. package/dist/cve-collector.js +73 -0
  54. package/dist/data-quality.js +141 -0
  55. package/dist/decision-engine.js +388 -0
  56. package/dist/derive-metadata.js +250 -0
  57. package/dist/difficulty-active.test.js +198 -0
  58. package/dist/difficulty-map.js +244 -0
  59. package/dist/discovery-analytics.js +125 -0
  60. package/dist/discovery-model.js +149 -0
  61. package/dist/discovery-optimize.test.js +199 -0
  62. package/dist/discovery-trace.js +276 -0
  63. package/dist/discovery-trace.test.js +97 -0
  64. package/dist/emitter.js +83 -1
  65. package/dist/enterprise-dashboard.js +405 -0
  66. package/dist/eval-hardening.js +297 -0
  67. package/dist/eval-hardening.test.js +85 -0
  68. package/dist/evaluation-campaign.js +359 -0
  69. package/dist/evaluation-campaign.test.js +181 -0
  70. package/dist/evidence-growth.js +143 -0
  71. package/dist/evidence-repository.js +209 -0
  72. package/dist/evidence-system.js +441 -0
  73. package/dist/execute.js +15 -7
  74. package/dist/experimental/software-physics.js +291 -0
  75. package/dist/experimental/state-inference.js +516 -0
  76. package/dist/experimental/unsupervised-physics.js +230 -0
  77. package/dist/extract-ir-python.js +54 -7
  78. package/dist/extract-ir.js +376 -12
  79. package/dist/failure-collector.js +2 -2
  80. package/dist/failure-corpus.js +322 -9
  81. package/dist/feedback.js +16 -5
  82. package/dist/feedback.test.js +49 -0
  83. package/dist/file-lock.js +1 -1
  84. package/dist/flywheel-batch.js +292 -0
  85. package/dist/frameworks/express-cli.js +237 -0
  86. package/dist/frameworks/express-detector.js +445 -0
  87. package/dist/frameworks/express-detector.test.js +206 -0
  88. package/dist/frameworks/index.js +30 -0
  89. package/dist/frameworks/nestjs-detector.js +302 -0
  90. package/dist/frameworks/trpc-detector.js +161 -0
  91. package/dist/frameworks/version-awareness.js +179 -0
  92. package/dist/function-synonyms.js +164 -0
  93. package/dist/function-synonyms.test.js +68 -0
  94. package/dist/generalization.test.js +352 -0
  95. package/dist/goal-annotator.js +113 -0
  96. package/dist/goal-planner.js +563 -0
  97. package/dist/gold-cve.js +164 -0
  98. package/dist/gold-cve.test.js +104 -0
  99. package/dist/gold-quality.js +206 -0
  100. package/dist/gold-tiers.js +241 -0
  101. package/dist/governance-dashboard.js +327 -0
  102. package/dist/graph-viz.js +240 -0
  103. package/dist/guided-frontier.js +195 -0
  104. package/dist/hierarchical-planner.js +148 -0
  105. package/dist/identifier-parser.js +260 -0
  106. package/dist/immune-metrics.js +93 -0
  107. package/dist/immune-receiver.js +158 -0
  108. package/dist/immune-reporter.js +1 -1
  109. package/dist/improvement-orchestrator.js +206 -0
  110. package/dist/inject-p0-vocabulary.js +300 -0
  111. package/dist/intent-parser.js +218 -0
  112. package/dist/invariant-algebra.js +476 -0
  113. package/dist/invariant-calculus.js +533 -0
  114. package/dist/ir-utils.js +70 -0
  115. package/dist/ir-utils.test.js +50 -0
  116. package/dist/knowledge-api.js +312 -0
  117. package/dist/knowledge-evolution.js +452 -0
  118. package/dist/knowledge-explorer.js +506 -0
  119. package/dist/knowledge-flywheel.js +274 -0
  120. package/dist/knowledge-governance.js +338 -0
  121. package/dist/knowledge-governance.test.js +150 -0
  122. package/dist/knowledge-graph.js +181 -0
  123. package/dist/knowledge-guided-synth.js +246 -0
  124. package/dist/knowledge-loop.test.js +77 -0
  125. package/dist/knowledge-object.js +316 -0
  126. package/dist/knowledge-package.js +98 -0
  127. package/dist/kpi-dashboard.js +561 -0
  128. package/dist/l3-cross-function.js +280 -0
  129. package/dist/learning-ranker.js +148 -0
  130. package/dist/learning-ranker.test.js +291 -0
  131. package/dist/ledger/accountability.js +322 -0
  132. package/dist/ledger/chain-builder.js +185 -0
  133. package/dist/ledger/cli.js +222 -0
  134. package/dist/ledger/index.js +13 -0
  135. package/dist/ledger/signatures.js +193 -0
  136. package/dist/ledger/types.js +9 -0
  137. package/dist/llm.js +74 -3
  138. package/dist/load-benchmarks.js +8 -3
  139. package/dist/logger.js +66 -0
  140. package/dist/logger.test.js +37 -0
  141. package/dist/logistic-reward.js +339 -0
  142. package/dist/logistic-reward.test.js +180 -0
  143. package/dist/macro-graph.js +193 -0
  144. package/dist/macro-repair.js +183 -0
  145. package/dist/mcp-server.mjs +1202 -483
  146. package/dist/memory-layer.js +42 -5
  147. package/dist/multi-repo-precision.js +422 -0
  148. package/dist/name-free-protocol.js +425 -0
  149. package/dist/name-free-protocol.test.js +170 -0
  150. package/dist/name-scrambling.js +138 -0
  151. package/dist/name-scrambling.test.js +16 -0
  152. package/dist/p3-observability.test.js +281 -0
  153. package/dist/p5-orchestrator.test.js +225 -0
  154. package/dist/pairwise-preference.js +294 -0
  155. package/dist/pairwise-preference.test.js +140 -0
  156. package/dist/planner-constraints.js +104 -0
  157. package/dist/planner-prompts.js +155 -0
  158. package/dist/planner-telemetry.js +415 -0
  159. package/dist/planner-trace.js +214 -0
  160. package/dist/planner.js +162 -167
  161. package/dist/plsb/artifact.js +116 -0
  162. package/dist/plsb/cli.js +71 -0
  163. package/dist/plsb/index.js +19 -0
  164. package/dist/plsb/leaderboard.js +249 -0
  165. package/dist/plsb/report-md.js +156 -0
  166. package/dist/plsb/schema.js +179 -0
  167. package/dist/plsb-benchmark.js +284 -0
  168. package/dist/plsb-benchmark.test.js +119 -0
  169. package/dist/policy/cli.js +134 -0
  170. package/dist/policy/engine.js +333 -0
  171. package/dist/policy/index.js +12 -0
  172. package/dist/policy/types.js +59 -0
  173. package/dist/policy-miner.js +505 -0
  174. package/dist/precision-analyze.js +229 -0
  175. package/dist/precision-benchmark.js +147 -0
  176. package/dist/precision-label-c.js +134 -0
  177. package/dist/precision-label.js +193 -0
  178. package/dist/precision-report-c.js +149 -0
  179. package/dist/precision-report.js +246 -0
  180. package/dist/progmune-status.js +108 -0
  181. package/dist/proof-engine.js +479 -0
  182. package/dist/proof-provenance.js +315 -0
  183. package/dist/protocol-coverage.js +294 -0
  184. package/dist/protocol-detector.js +1189 -0
  185. package/dist/protocol-embedding-expanded.js +297 -0
  186. package/dist/protocol-embedding-expanded.test.js +97 -0
  187. package/dist/protocol-embedding.js +195 -0
  188. package/dist/protocol-embedding.test.js +82 -0
  189. package/dist/protocol-extractor-v2.js +354 -0
  190. package/dist/protocol-extractor-v2.test.js +140 -0
  191. package/dist/protocol-extractor.js +310 -0
  192. package/dist/protocol-extractor.test.js +113 -0
  193. package/dist/protocol-foundation.js +322 -0
  194. package/dist/protocol-foundation.test.js +163 -0
  195. package/dist/protocol-frontier.js +243 -0
  196. package/dist/protocol-frontier.test.js +92 -0
  197. package/dist/protocol-gap-analyzer.js +228 -0
  198. package/dist/protocol-gap-analyzer.test.js +49 -0
  199. package/dist/protocol-invariants.js +276 -0
  200. package/dist/protocol-invariants.test.js +111 -0
  201. package/dist/protocol-knowledge.js +464 -0
  202. package/dist/protocol-miner.js +343 -0
  203. package/dist/protocol-mining.js +207 -0
  204. package/dist/protocol-mining.test.js +37 -0
  205. package/dist/protocol-registry.js +1 -1
  206. package/dist/protocol-security-benchmark.js +222 -0
  207. package/dist/protocol-vulnerability.js +257 -0
  208. package/dist/protocol-vulnerability.test.js +60 -0
  209. package/dist/python-benchmark.js +120 -0
  210. package/dist/python-emitter.js +163 -45
  211. package/dist/python-protocol-extractor.js +187 -0
  212. package/dist/python-protocol-extractor.test.js +116 -0
  213. package/dist/realworld-benchmark.js +646 -0
  214. package/dist/realworld-benchmark.test.js +36 -0
  215. package/dist/repair-arch.test.js +411 -0
  216. package/dist/repair-evolution.test.js +454 -0
  217. package/dist/repair-executor.js +719 -0
  218. package/dist/repair-proposal.js +4 -4
  219. package/dist/repair-ranker.js +141 -0
  220. package/dist/repair-strategies.js +419 -0
  221. package/dist/repair-taxonomy.js +234 -0
  222. package/dist/repair-types.js +12 -0
  223. package/dist/repo-evaluator.js +250 -0
  224. package/dist/repo-evaluator.test.js +128 -0
  225. package/dist/resource-abstraction.js +242 -0
  226. package/dist/resource-detector.js +211 -0
  227. package/dist/result.test.js +43 -0
  228. package/dist/reward-system.js +411 -0
  229. package/dist/reward-system.test.js +175 -0
  230. package/dist/risk-model.js +215 -0
  231. package/dist/rule-miner.js +234 -7
  232. package/dist/rule-specificity.js +254 -0
  233. package/dist/runtime-types.js +27 -0
  234. package/dist/scaffold.js +208 -0
  235. package/dist/scale-collector.test.js +101 -0
  236. package/dist/scale-trajectory-collector.js +128 -0
  237. package/dist/sdk.js +250 -0
  238. package/dist/search-planner.js +4 -41
  239. package/dist/semantic-snapshot.js +1 -1
  240. package/dist/semantic-topology.js +121 -0
  241. package/dist/semantic-trace.js +310 -317
  242. package/dist/sequence-extractor.js +343 -0
  243. package/dist/skill-library.js +245 -0
  244. package/dist/skill-planner.test.js +189 -0
  245. package/dist/software-physics.js +291 -0
  246. package/dist/software-physics.test.js +81 -0
  247. package/dist/ssg-precision.js +478 -0
  248. package/dist/ssg-validator.js +71 -21
  249. package/dist/state-inference-doubleblind.test.js +160 -0
  250. package/dist/state-inference.js +516 -0
  251. package/dist/state-inference.test.js +115 -0
  252. package/dist/state-machine-fingerprint.js +345 -0
  253. package/dist/state-machine-fingerprint.test.js +120 -0
  254. package/dist/state-miner.js +386 -0
  255. package/dist/state-name-inference.js +213 -0
  256. package/dist/state-name-inference.test.js +69 -0
  257. package/dist/strategy-planner.js +262 -96
  258. package/dist/strategy-planner.test.js +135 -0
  259. package/dist/telemetry-analytics.test.js +402 -0
  260. package/dist/terminal-format.js +68 -0
  261. package/dist/terminal-format.test.js +83 -0
  262. package/dist/topology-factory.js +196 -0
  263. package/dist/topology-representation.js +242 -0
  264. package/dist/topology-representation.test.js +27 -0
  265. package/dist/trajectory-augmentation.js +254 -0
  266. package/dist/trajectory-augmentation.test.js +63 -0
  267. package/dist/trajectory-corpus.js +440 -0
  268. package/dist/trajectory-corpus.test.js +32 -0
  269. package/dist/trajectory-feedback.test.js +116 -0
  270. package/dist/transition-synthesizer.js +286 -0
  271. package/dist/transition-synthesizer.test.js +123 -0
  272. package/dist/trust/api-semantic-mapper.js +809 -0
  273. package/dist/trust/call-graph-propagator.js +225 -0
  274. package/dist/trust/cli.js +122 -0
  275. package/dist/trust/compliance-scorer.js +283 -0
  276. package/dist/trust/confidence-calculator.js +261 -0
  277. package/dist/trust/engine.js +1145 -0
  278. package/dist/trust/explainability.js +85 -0
  279. package/dist/trust/formatters/ci.js +42 -0
  280. package/dist/trust/formatters/json.js +11 -0
  281. package/dist/trust/formatters/terminal.js +152 -0
  282. package/dist/trust/index.js +39 -0
  283. package/dist/trust/phase1-verify.js +171 -0
  284. package/dist/trust/protocol-domain-validator.js +697 -0
  285. package/dist/trust/score-calculator.js +282 -0
  286. package/dist/trust/ssg-bridge.js +641 -0
  287. package/dist/trust/ssg-bridge.test.js +269 -0
  288. package/dist/trust/types.js +67 -0
  289. package/dist/trust/violation-trace.js +335 -0
  290. package/dist/trust-api.js +179 -0
  291. package/dist/trust-calibration.js +279 -0
  292. package/dist/unknown-protocol-discovery.js +339 -0
  293. package/dist/unknown-protocol-discovery.test.js +102 -0
  294. package/dist/unsupervised-physics.js +230 -0
  295. package/dist/unsupervised-physics.test.js +95 -0
  296. package/dist/utils.test.js +37 -0
  297. package/dist/validator.js +187 -10
  298. package/dist/verification-intelligence.js +475 -0
  299. package/dist/verify-api.js +432 -0
  300. package/dist/vi-impact-report.js +293 -0
  301. package/dist/wl-fingerprint.js +162 -0
  302. package/dist/wl-fingerprint.test.js +130 -0
  303. package/dist/zeroshot-strategy.js +139 -0
  304. package/docs/Progmune_/346/212/225/350/265/204/344/272/272/347/231/275/347/232/256/344/271/246_v2.0.html +576 -0
  305. package/docs/Progmune_/351/241/271/347/233/256/345/205/250/350/247/243.html +710 -0
  306. package/package.json +74 -7
  307. package/protocols.json +1956 -50
  308. package/.dockerignore +0 -14
  309. package/.mcp.json +0 -11
  310. package/.progmune_allowlist +0 -50
  311. package/.test_report/test_report.md +0 -87
  312. package/Dockerfile +0 -9
  313. package/FAQ.md +0 -167
  314. package/WHITEPAPER.md +0 -540
  315. package/demo-project/auth.ts +0 -55
  316. package/demo-project/tsconfig.json +0 -8
  317. package/dist/acl-breakdown.js +0 -13
  318. package/dist/all-sessions.js +0 -11
  319. package/dist/antibody-stats.js +0 -11
  320. package/dist/branch-tree-count.js +0 -14
  321. package/dist/common-fixpath.js +0 -12
  322. package/dist/constraint-types.js +0 -12
  323. package/dist/exec-metrics.js +0 -11
  324. package/dist/failure-report.js +0 -11
  325. package/dist/fast-path-hits.js +0 -13
  326. package/dist/fingerprint-list.js +0 -15
  327. package/dist/gen-history-log.js +0 -13
  328. package/dist/heatmap-data.js +0 -11
  329. package/dist/recent-session.js +0 -12
  330. package/dist/svl-distribution.js +0 -11
  331. package/dist/terminal-status.js +0 -11
  332. package/dist/token-savings.js +0 -11
  333. package/dist/total-repairs.js +0 -12
  334. package/dist/unresolved-count.js +0 -12
  335. package/dist/valid-fingerprints.js +0 -13
  336. package/dist/verify-ledgers.js +0 -11
  337. package/docs/whitepaper-style.css +0 -77
  338. package/docs/whitepaper-v2.1.md +0 -609
  339. package/docs/whitepaper-v2.2.md +0 -1064
  340. package/docs/whitepaper-v2.2.pdf +0 -0
  341. package/fly.toml +0 -31
  342. package/public/dashboard.html +0 -119
  343. package/server/hub.js +0 -116
  344. package/test/replay-golden/sess_1780063202050_mgeld.json +0 -9
  345. package/test/replay-golden/sess_1780064032560_gocld.json +0 -354
  346. package/test/replay-golden/sess_1780064413331_s2709.json +0 -606
  347. package/test/replay-golden/sess_1780064792710_y3avo.json +0 -614
  348. package/test/replay-golden.ts +0 -84
  349. package/test_benchmark.js +0 -165
  350. package/test_comprehensive.mjs +0 -638
  351. package/test_concurrency.js +0 -129
  352. package/test_ir_robustness.js +0 -85
  353. package/test_semantic_contracts.js +0 -269
  354. package/test_ssg_stress.js +0 -156
  355. package/test_svl3.js +0 -58
  356. package/tsconfig.json +0 -17
package/docs/whitepaper-v2.2.pdf DELETED
Binary file
package/fly.toml DELETED
@@ -1,31 +0,0 @@
1
- app = "progmune-runtime"
2
- primary_region = "lax"
3
-
4
- [build]
5
- [build.args]
6
- NODE_VERSION = "18"
7
-
8
- [env]
9
- PORT = "3000"
10
-
11
- [processes]
12
- web = "node server/hub.js"
13
-
14
- [[vm]]
15
- memory = "256mb"
16
- cpu_kind = "shared"
17
- cpus = 1
18
-
19
- [[services]]
20
- processes = ["web"]
21
- internal_port = 3000
22
- [[services.ports]]
23
- handlers = ["http"]
24
- port = 80
25
- [[services.tcp_checks]]
26
- interval = "10s"
27
- timeout = "2s"
28
-
29
- [mounts]
30
- source = "progmune_data"
31
- destination = "/app/immune_hub_data"
package/public/dashboard.html DELETED
@@ -1,119 +0,0 @@
1
- <!DOCTYPE html>
2
- <html lang="zh">
3
- <head>
4
- <meta charset="UTF-8">
5
- <meta name="viewport" content="width=device-width, initial-scale=1.0">
6
- <title>Progmune 全球免疫网络 - 仪表板</title>
7
- <script src="https://cdn.jsdelivr.net/npm/chart.js@4.4.0/dist/chart.umd.min.js"></script>
8
- <style>
9
- body { font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif; margin: 0; padding: 20px; background: #f5f7fa; color: #333; }
10
- .container { max-width: 1200px; margin: 0 auto; }
11
- h1 { color: #2c3e50; border-bottom: 3px solid #3498db; padding-bottom: 10px; }
12
- .stats { display: flex; gap: 20px; margin: 20px 0; flex-wrap: wrap; }
13
- .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); }
14
- .stat-card h3 { margin: 0 0 10px 0; font-size: 14px; color: #7f8c8d; text-transform: uppercase; }
15
- .stat-card .number { font-size: 36px; font-weight: bold; color: #2c3e50; }
16
- .charts { display: flex; gap: 20px; margin: 20px 0; flex-wrap: wrap; }
17
- .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); }
18
- .timeline { background: white; border-radius: 8px; padding: 20px; margin: 20px 0; box-shadow: 0 2px 8px rgba(0,0,0,0.1); }
19
- .timeline-item { display: flex; align-items: center; padding: 8px 0; border-bottom: 1px solid #ecf0f1; }
20
- .timeline-item:last-child { border-bottom: none; }
21
- .badge { display: inline-block; padding: 2px 8px; border-radius: 4px; font-size: 12px; font-weight: bold; margin-right: 10px; }
22
- .badge.svl4 { background: #e74c3c; color: white; }
23
- .badge.svl3 { background: #f39c12; color: white; }
24
- .badge.svl2 { background: #3498db; color: white; }
25
- .badge.svl1 { background: #2ecc71; color: white; }
26
- </style>
27
- </head>
28
- <body>
29
- <div class="container">
30
- <h1>🛡️ Progmune 全球免疫网络 - 仪表板</h1>
31
- <div class="stats" id="stats"></div>
32
- <div class="charts">
33
- <div class="chart-box">
34
- <h3>高频错误模式 (Top 10)</h3>
35
- <canvas id="patternChart"></canvas>
36
- </div>
37
- <div class="chart-box">
38
- <h3>SVL 级别分布</h3>
39
- <canvas id="svlChart"></canvas>
40
- </div>
41
- </div>
42
- <div class="timeline">
43
- <h3>最近免疫事件</h3>
44
- <div id="timeline"></div>
45
- </div>
46
- </div>
47
-
48
- <script>
49
- async function loadDashboard() {
50
- try {
51
- const resp = await fetch('/api/dashboard');
52
- const data = await resp.json();
53
- renderStats(data);
54
- renderPatternChart(data.topPatterns);
55
- renderSVLChart(data.topPatterns);
56
- renderTimeline(data.timeline);
57
- } catch (e) {
58
- document.getElementById('stats').innerHTML = '<p style="color:red">加载失败，请检查服务器是否运行。</p>';
59
- }
60
- }
61
-
62
- function renderStats(data) {
63
- document.getElementById('stats').innerHTML = `
64
- <div class="stat-card"><h3>今日上报</h3><div class="number">${data.todayCount}</div></div>
65
- <div class="stat-card"><h3>本周上报</h3><div class="number">${data.weekCount}</div></div>
66
- <div class="stat-card"><h3>总计上报</h3><div class="number">${data.totalCount}</div></div>
67
- `;
68
- }
69
-
70
- function renderPatternChart(patterns) {
71
- const ctx = document.getElementById('patternChart').getContext('2d');
72
- const labels = patterns.map(p => p.pattern.length > 40 ? p.pattern.substring(0,40)+'...' : p.pattern);
73
- new Chart(ctx, {
74
- type: 'bar',
75
- data: {
76
- labels: labels,
77
- datasets: [{
78
- label: '出现次数',
79
- data: patterns.map(p => p.count),
80
- backgroundColor: 'rgba(231, 76, 60, 0.7)'
81
- }]
82
- },
83
- options: { responsive: true, indexAxis: 'y', plugins: { legend: { display: false } } }
84
- });
85
- }
86
-
87
- function renderSVLChart(patterns) {
88
- const svlCounts = { 'SVL-1': 0, 'SVL-2': 0, 'SVL-3': 0, 'SVL-4': 0 };
89
- patterns.forEach(p => {
90
- const svl = p.pattern.split(' | ')[0];
91
- if (svlCounts[svl] !== undefined) svlCounts[svl] += p.count;
92
- });
93
- const ctx = document.getElementById('svlChart').getContext('2d');
94
- new Chart(ctx, {
95
- type: 'doughnut',
96
- data: {
97
- labels: ['SVL-1 符号错误', 'SVL-2 类型错误', 'SVL-3 数据流错误', 'SVL-4 协议违规'],
98
- datasets: [{
99
- data: [svlCounts['SVL-1'], svlCounts['SVL-2'], svlCounts['SVL-3'], svlCounts['SVL-4']],
100
- backgroundColor: ['#2ecc71', '#3498db', '#f39c12', '#e74c3c']
101
- }]
102
- }
103
- });
104
- }
105
-
106
- function renderTimeline(timeline) {
107
- document.getElementById('timeline').innerHTML = timeline.map(t => `
108
- <div class="timeline-item">
109
- <span class="badge svl${t.svl ? t.svl.slice(-1) : '1'}">${t.svl || '?'}</span>
110
- <span style="flex:1">${t.pattern || '(empty)'}</span>
111
- <span style="color:#7f8c8d; font-size:12px">${t.time}</span>
112
- </div>
113
- `).join('');
114
- }
115
-
116
- loadDashboard();
117
- </script>
118
- </body>
119
- </html>
package/server/hub.js DELETED
@@ -1,116 +0,0 @@
1
- const http = require('http');
2
- const fs = require('fs');
3
- const path = require('path');
4
-
5
- const DATA_DIR = path.resolve(__dirname, "../immune_hub_data");
6
- const RULES_FILE = path.resolve(__dirname, "../global_antibodies.json");
7
- if (!fs.existsSync(DATA_DIR)) fs.mkdirSync(DATA_DIR, { recursive: true });
8
-
9
- const PORT = process.env.PORT || 8080;
10
-
11
- // 工具函数：读取所有指纹数据
12
- function getAllFingerprints() {
13
- const all = [];
14
- if (!fs.existsSync(DATA_DIR)) return all;
15
- const files = fs.readdirSync(DATA_DIR).filter(f => f.endsWith('.json'));
16
- for (const file of files) {
17
- const records = JSON.parse(fs.readFileSync(path.join(DATA_DIR, file), 'utf-8'));
18
- all.push(...records);
19
- }
20
- return all;
21
- }
22
-
23
- // 仪表板 API
24
- function handleDashboard(req, res) {
25
- const fingerprints = getAllFingerprints();
26
- const now = new Date();
27
- const today = now.toISOString().slice(0, 10);
28
- const weekAgo = new Date(now.getTime() - 7 * 24 * 60 * 60 * 1000).toISOString().slice(0, 10);
29
-
30
- // 今日/本周/总计
31
- const todayCount = fingerprints.filter(f => f.timestamp.startsWith(today)).length;
32
- const weekCount = fingerprints.filter(f => f.timestamp >= weekAgo).length;
33
- const totalCount = fingerprints.length;
34
-
35
- // 高频错误模式 (Top 10)
36
- const patternMap = new Map();
37
- fingerprints.forEach(f => {
38
- const seq = Array.isArray(f.functionSequence) ? f.functionSequence.join(' → ') : f.functionSequence;
39
- const key = `${f.violatedSVL} | ${f.constraintType} | ${seq || '(empty)'}`;
40
- patternMap.set(key, (patternMap.get(key) || 0) + 1);
41
- });
42
- const topPatterns = [...patternMap.entries()]
43
- .sort((a, b) => b[1] - a[1])
44
- .slice(0, 10)
45
- .map(([pattern, count]) => ({ pattern, count }));
46
-
47
- // 最近10条时间线
48
- const timeline = fingerprints
49
- .sort((a, b) => (b.timestamp || '').localeCompare(a.timestamp || ''))
50
- .slice(0, 10)
51
- .map(f => ({
52
- time: f.timestamp,
53
- svl: f.violatedSVL,
54
- pattern: Array.isArray(f.functionSequence) ? f.functionSequence.join(' → ') : f.functionSequence,
55
- }));
56
-
57
- res.writeHead(200, { 'Content-Type': 'application/json' });
58
- res.end(JSON.stringify({ todayCount, weekCount, totalCount, topPatterns, timeline }));
59
- }
60
-
61
- // 静态页面
62
- function handleDashboardPage(res) {
63
- const htmlPath = path.resolve(__dirname, "../public/dashboard.html");
64
- if (fs.existsSync(htmlPath)) {
65
- res.writeHead(200, { 'Content-Type': 'text/html' });
66
- res.end(fs.readFileSync(htmlPath, 'utf-8'));
67
- } else {
68
- res.writeHead(404);
69
- res.end('Dashboard page not found');
70
- }
71
- }
72
-
73
- const server = http.createServer((req, res) => {
74
- if (req.method === 'POST' && req.url === '/report') {
75
- let body = '';
76
- req.on('data', chunk => body += chunk);
77
- req.on('end', () => {
78
- try {
79
- const { fingerprints } = JSON.parse(body);
80
- const date = new Date().toISOString().slice(0, 10);
81
- const filePath = path.join(DATA_DIR, `${date}.json`);
82
- let existing = [];
83
- if (fs.existsSync(filePath)) {
84
- existing = JSON.parse(fs.readFileSync(filePath, 'utf-8'));
85
- }
86
- existing.push(...fingerprints);
87
- fs.writeFileSync(filePath, JSON.stringify(existing, null, 2));
88
- console.log(`[Hub] 收到 ${fingerprints.length} 条指纹，总计 ${existing.length} 条`);
89
- res.writeHead(200, { 'Content-Type': 'application/json' });
90
- res.end(JSON.stringify({ status: 'ok', received: fingerprints.length, total: existing.length }));
91
- } catch (e) {
92
- res.writeHead(400);
93
- res.end(JSON.stringify({ error: e.message }));
94
- }
95
- });
96
- } else if (req.method === 'GET' && req.url === '/antibodies') {
97
- if (fs.existsSync(RULES_FILE)) {
98
- res.writeHead(200, { 'Content-Type': 'application/json' });
99
- res.end(fs.readFileSync(RULES_FILE, 'utf-8'));
100
- } else {
101
- res.writeHead(200, { 'Content-Type': 'application/json' });
102
- res.end('[]');
103
- }
104
- } else if (req.method === 'GET' && req.url === '/api/dashboard') {
105
- handleDashboard(req, res);
106
- } else if (req.method === 'GET' && (req.url === '/' || req.url === '/dashboard')) {
107
- handleDashboardPage(res);
108
- } else {
109
- res.writeHead(404);
110
- res.end('Not Found');
111
- }
112
- });
113
-
114
- server.listen(PORT, '0.0.0.0', () => {
115
- console.log(`[Hub] 免疫汇聚服务器已启动: 0.0.0.0:${PORT}`);
116
- });
package/test/replay-golden/sess_1780063202050_mgeld.json DELETED
@@ -1,9 +0,0 @@
1
- {
2
- "sessionId": "sess_1780063202050_mgeld",
3
- "intent": "实现一个函数来提取 IR、校验动作、然后生成代码",
4
- "attempts": [],
5
- "resolved": false,
6
- "startedAt": 1780063202050,
7
- "snapshotId": "snap_1780063202052_5315551a7ee7",
8
- "endedAt": 1780063203482
9
- }
package/test/replay-golden/sess_1780064032560_gocld.json DELETED
@@ -1,354 +0,0 @@
1
- {
2
- "sessionId": "sess_1780064032560_gocld",
3
- "intent": "实现一个函数，先提取 IR，然后校验动作，最后生成代码并保存会话",
4
- "attempts": [
5
- {
6
- "id": "att_1780064037502_vmsfo",
7
- "sessionId": "sess_1780064032560_gocld",
8
- "attemptNumber": 1,
9
- "inputIntent": "实现一个函数，先提取 IR，然后校验动作，最后生成代码并保存会话",
10
- "plannerSeed": "a525918c",
11
- "constraintSnapshotId": "snap_1780064032562_82709ff22603",
12
- "generatedActions": [
13
- {
14
- "kind": "call",
15
- "function": "extractIRPython",
16
- "args": [
17
- {
18
- "name": "projectRoot",
19
- "type": "string",
20
- "value": "{{projectRoot}}"
21
- }
22
- ],
23
- "assignTo": "extractIRPython_result"
24
- },
25
- {
26
- "kind": "call",
27
- "function": "extractDirectCalls",
28
- "args": [
29
- {
30
- "name": "func",
31
- "type": "FunctionDeclaration | ArrowFunction",
32
- "value": "{{func}}"
33
- }
34
- ],
35
- "assignTo": "extractDirectCalls_result"
36
- },
37
- {
38
- "kind": "call",
39
- "function": "extractIR",
40
- "args": [
41
- {
42
- "name": "projectRoot",
43
- "type": "string",
44
- "value": "{{projectRoot}}"
45
- }
46
- ],
47
- "assignTo": "extractIR_result"
48
- },
49
- {
50
- "kind": "call",
51
- "function": "ensureDir",
52
- "args": [
53
- {
54
- "name": "dir",
55
- "type": "string",
56
- "value": "{{dir}}"
57
- }
58
- ],
59
- "assignTo": "ensureDir_result"
60
- },
61
- {
62
- "kind": "call",
63
- "function": "ensureLockDir",
64
- "args": [],
65
- "assignTo": "ensureLockDir_result"
66
- },
67
- {
68
- "kind": "call",
69
- "function": "loadProtocolsFromIR",
70
- "args": [
71
- {
72
- "name": "ir",
73
- "type": "any[]",
74
- "value": "{{ir}}"
75
- }
76
- ],
77
- "assignTo": "loadProtocolsFromIR_result"
78
- },
79
- {
80
- "kind": "call",
81
- "function": "attemptSSGRepair",
82
- "args": [
83
- {
84
- "name": "actions",
85
- "type": "Action[]",
86
- "value": "{{actions}}"
87
- },
88
- {
89
- "name": "rejection",
90
- "type": "SSGRejection",
91
- "value": "{{rejection}}"
92
- },
93
- {
94
- "name": "ir",
95
- "type": "any[]",
96
- "value": "{{ir}}"
97
- },
98
- {
99
- "name": "protocols",
100
- "type": "FunctionProtocol[]",
101
- "value": "{{protocols}}"
102
- },
103
- {
104
- "name": "namespaceInitialStates",
105
- "type": "Map<string, string>",
106
- "value": "{{namespaceInitialStates}}"
107
- }
108
- ],
109
- "assignTo": "attemptSSGRepair_result"
110
- },
111
- {
112
- "kind": "call",
113
- "function": "loadIR",
114
- "args": [],
115
- "assignTo": "loadIR_result"
116
- },
117
- {
118
- "kind": "call",
119
- "function": "mkdirSync",
120
- "args": [
121
- {
122
- "name": "path",
123
- "type": "string",
124
- "value": "{{path}}"
125
- },
126
- {
127
- "name": "options",
128
- "type": "object",
129
- "value": "{{options}}"
130
- }
131
- ]
132
- },
133
- {
134
- "kind": "call",
135
- "function": "readdirSync",
136
- "args": [
137
- {
138
- "name": "path",
139
- "type": "string",
140
- "value": "{{path}}"
141
- }
142
- ],
143
- "assignTo": "readdirSync_result"
144
- },
145
- {
146
- "kind": "call",
147
- "function": "rmdirSync",
148
- "args": [],
149
- "assignTo": "rmdirSync_result"
150
- },
151
- {
152
- "kind": "call",
153
- "function": "require",
154
- "args": [],
155
- "assignTo": "require_result"
156
- },
157
- {
158
- "kind": "call",
159
- "function": "dirname",
160
- "args": [
161
- {
162
- "name": "path",
163
- "type": "string",
164
- "value": "{{path}}"
165
- }
166
- ],
167
- "assignTo": "dirname_result"
168
- }
169
- ],
170
- "transitions": [],
171
- "violations": [],
172
- "outcome": "success",
173
- "timestamp": 1780064037502,
174
- "llmCallCount": 0,
175
- "durationMs": 0
176
- }
177
- ],
178
- "resolved": true,
179
- "startedAt": 1780064032560,
180
- "successfulAttempt": {
181
- "id": "att_1780064037502_vmsfo",
182
- "sessionId": "sess_1780064032560_gocld",
183
- "attemptNumber": 1,
184
- "inputIntent": "实现一个函数，先提取 IR，然后校验动作，最后生成代码并保存会话",
185
- "plannerSeed": "a525918c",
186
- "constraintSnapshotId": "snap_1780064032562_82709ff22603",
187
- "generatedActions": [
188
- {
189
- "kind": "call",
190
- "function": "extractIRPython",
191
- "args": [
192
- {
193
- "name": "projectRoot",
194
- "type": "string",
195
- "value": "{{projectRoot}}"
196
- }
197
- ],
198
- "assignTo": "extractIRPython_result"
199
- },
200
- {
201
- "kind": "call",
202
- "function": "extractDirectCalls",
203
- "args": [
204
- {
205
- "name": "func",
206
- "type": "FunctionDeclaration | ArrowFunction",
207
- "value": "{{func}}"
208
- }
209
- ],
210
- "assignTo": "extractDirectCalls_result"
211
- },
212
- {
213
- "kind": "call",
214
- "function": "extractIR",
215
- "args": [
216
- {
217
- "name": "projectRoot",
218
- "type": "string",
219
- "value": "{{projectRoot}}"
220
- }
221
- ],
222
- "assignTo": "extractIR_result"
223
- },
224
- {
225
- "kind": "call",
226
- "function": "ensureDir",
227
- "args": [
228
- {
229
- "name": "dir",
230
- "type": "string",
231
- "value": "{{dir}}"
232
- }
233
- ],
234
- "assignTo": "ensureDir_result"
235
- },
236
- {
237
- "kind": "call",
238
- "function": "ensureLockDir",
239
- "args": [],
240
- "assignTo": "ensureLockDir_result"
241
- },
242
- {
243
- "kind": "call",
244
- "function": "loadProtocolsFromIR",
245
- "args": [
246
- {
247
- "name": "ir",
248
- "type": "any[]",
249
- "value": "{{ir}}"
250
- }
251
- ],
252
- "assignTo": "loadProtocolsFromIR_result"
253
- },
254
- {
255
- "kind": "call",
256
- "function": "attemptSSGRepair",
257
- "args": [
258
- {
259
- "name": "actions",
260
- "type": "Action[]",
261
- "value": "{{actions}}"
262
- },
263
- {
264
- "name": "rejection",
265
- "type": "SSGRejection",
266
- "value": "{{rejection}}"
267
- },
268
- {
269
- "name": "ir",
270
- "type": "any[]",
271
- "value": "{{ir}}"
272
- },
273
- {
274
- "name": "protocols",
275
- "type": "FunctionProtocol[]",
276
- "value": "{{protocols}}"
277
- },
278
- {
279
- "name": "namespaceInitialStates",
280
- "type": "Map<string, string>",
281
- "value": "{{namespaceInitialStates}}"
282
- }
283
- ],
284
- "assignTo": "attemptSSGRepair_result"
285
- },
286
- {
287
- "kind": "call",
288
- "function": "loadIR",
289
- "args": [],
290
- "assignTo": "loadIR_result"
291
- },
292
- {
293
- "kind": "call",
294
- "function": "mkdirSync",
295
- "args": [
296
- {
297
- "name": "path",
298
- "type": "string",
299
- "value": "{{path}}"
300
- },
301
- {
302
- "name": "options",
303
- "type": "object",
304
- "value": "{{options}}"
305
- }
306
- ]
307
- },
308
- {
309
- "kind": "call",
310
- "function": "readdirSync",
311
- "args": [
312
- {
313
- "name": "path",
314
- "type": "string",
315
- "value": "{{path}}"
316
- }
317
- ],
318
- "assignTo": "readdirSync_result"
319
- },
320
- {
321
- "kind": "call",
322
- "function": "rmdirSync",
323
- "args": [],
324
- "assignTo": "rmdirSync_result"
325
- },
326
- {
327
- "kind": "call",
328
- "function": "require",
329
- "args": [],
330
- "assignTo": "require_result"
331
- },
332
- {
333
- "kind": "call",
334
- "function": "dirname",
335
- "args": [
336
- {
337
- "name": "path",
338
- "type": "string",
339
- "value": "{{path}}"
340
- }
341
- ],
342
- "assignTo": "dirname_result"
343
- }
344
- ],
345
- "transitions": [],
346
- "violations": [],
347
- "outcome": "success",
348
- "timestamp": 1780064037502,
349
- "llmCallCount": 0,
350
- "durationMs": 0
351
- },
352
- "snapshotId": "snap_1780064032562_82709ff22603",
353
- "endedAt": 1780064037502
354
- }