progmune-runtime 2.1.5 → 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 +326 -59
  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/Progmune_/346/212/225/350/265/204/344/272/272/347/231/275/347/232/256/344/271/246_v2.0.html ADDED
@@ -0,0 +1,576 @@
1
+ <!DOCTYPE html>
2
+ <html lang="zh-CN">
3
+ <head>
4
+ <meta charset="UTF-8">
5
+ <meta name="viewport" content="width=device-width, initial-scale=1.0">
6
+ <title>Progmune — AI Trust Decision Engine 白皮书 v2.0</title>
7
+ <style>
8
+ :root {
9
+ --bg: #ffffff; --bg-secondary: #f8f9fa; --bg-accent: #e8f0fe;
10
+ --text: #1a1a2e; --text-secondary: #5f6368; --text-muted: #80868b;
11
+ --accent: #1a73e8; --accent-dark: #1557b0; --accent-light: #d2e3fc;
12
+ --green: #1e8e3e; --yellow: #f9ab00; --red: #ea4335;
13
+ --border: #e0e0e0; --shadow: 0 2px 8px rgba(0,0,0,0.08);
14
+ }
15
+ * { margin: 0; padding: 0; box-sizing: border-box; }
16
+ body {
17
+ font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans SC", "Noto Serif SC", Georgia, serif;
18
+ background: var(--bg); color: var(--text); line-height: 1.8; font-size: 16px;
19
+ -webkit-font-smoothing: antialiased;
20
+ }
21
+
22
+ /* Hero */
23
+ .hero {
24
+ background: linear-gradient(135deg, #0d1b2a 0%, #1b2838 40%, #162447 100%);
25
+ color: #fff; text-align: center; padding: 100px 24px 80px;
26
+ }
27
+ .hero .tag {
28
+ display: inline-block; padding: 6px 18px; border: 1px solid rgba(255,255,255,0.3);
29
+ border-radius: 20px; font-size: 0.85em; letter-spacing: 0.05em; margin-bottom: 20px;
30
+ }
31
+ .hero h1 { font-size: 3em; font-weight: 800; margin-bottom: 12px; letter-spacing: -0.02em; }
32
+ .hero .subtitle { font-size: 1.3em; color: rgba(255,255,255,0.8); margin-bottom: 32px; font-weight: 300; }
33
+ .hero .cta { margin-top: 32px; }
34
+ .hero .cta a {
35
+ display: inline-block; padding: 12px 32px; background: var(--accent); color: #fff;
36
+ border-radius: 6px; text-decoration: none; font-weight: 600; font-size: 1em;
37
+ transition: background 0.2s;
38
+ }
39
+ .hero .cta a:hover { background: var(--accent-dark); }
40
+
41
+ /* Sections */
42
+ .section { max-width: 860px; margin: 0 auto; padding: 72px 24px; }
43
+ .section-alt { background: var(--bg-secondary); }
44
+ .section h2 {
45
+ font-size: 2em; font-weight: 700; margin-bottom: 16px; color: #0d1b2a;
46
+ padding-bottom: 12px; border-bottom: 3px solid var(--accent); display: inline-block;
47
+ }
48
+ .section h3 { font-size: 1.3em; margin: 32px 0 12px; color: #1a1a2e; }
49
+ .section p { margin: 10px 0; color: #333; }
50
+ .section .lead { font-size: 1.15em; color: var(--text-secondary); margin-bottom: 24px; }
51
+
52
+ /* Stats */
53
+ .stat-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 20px; margin: 32px 0; }
54
+ .stat-card {
55
+ background: #fff; border-radius: 12px; padding: 28px 20px; text-align: center;
56
+ box-shadow: var(--shadow); border: 1px solid var(--border);
57
+ }
58
+ .stat-card .number { font-size: 2.4em; font-weight: 800; color: var(--accent); line-height: 1.2; }
59
+ .stat-card .label { color: var(--text-secondary); font-size: 0.9em; margin-top: 8px; }
60
+
61
+ /* Problem/Solution cards */
62
+ .card-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 20px; margin: 24px 0; }
63
+ .card {
64
+ background: #fff; border-radius: 12px; padding: 28px; box-shadow: var(--shadow);
65
+ border: 1px solid var(--border); border-top: 4px solid var(--accent);
66
+ }
67
+ .card.red { border-top-color: var(--red); }
68
+ .card.green { border-top-color: var(--green); }
69
+ .card h4 { margin-bottom: 10px; font-size: 1.1em; }
70
+
71
+ /* Tables */
72
+ table { width: 100%; border-collapse: collapse; margin: 20px 0; font-size: 0.95em; }
73
+ th { background: var(--bg-secondary); text-align: left; padding: 12px 16px; font-weight: 600;
74
+ border-bottom: 2px solid var(--border); }
75
+ td { padding: 10px 16px; border-bottom: 1px solid var(--border); vertical-align: top; }
76
+ tr:hover td { background: var(--bg-accent); }
77
+
78
+ /* Comparison */
79
+ .compare { display: grid; grid-template-columns: 1fr 1fr 1fr 1fr; gap: 12px; margin: 24px 0; font-size: 0.9em; }
80
+ .compare > div {
81
+ padding: 20px; text-align: center; border-radius: 8px;
82
+ border: 1px solid var(--border); background: #fff;
83
+ }
84
+ .compare .header { background: var(--bg-secondary); font-weight: 700; }
85
+ .compare .ours { background: var(--accent-light); border-color: var(--accent); }
86
+ .check { color: var(--green); font-weight: 700; }
87
+ .cross { color: var(--red); }
88
+
89
+ /* Timeline */
90
+ .timeline { position: relative; margin: 32px 0; padding-left: 32px; }
91
+ .timeline::before {
92
+ content: ''; position: absolute; left: 8px; top: 0; bottom: 0;
93
+ width: 3px; background: var(--accent); border-radius: 2px;
94
+ }
95
+ .timeline-item { position: relative; margin-bottom: 28px; padding-left: 24px; }
96
+ .timeline-item::before {
97
+ content: ''; position: absolute; left: -28px; top: 6px;
98
+ width: 14px; height: 14px; border-radius: 50%; background: var(--accent);
99
+ border: 3px solid #fff; box-shadow: 0 0 0 2px var(--accent);
100
+ }
101
+ .timeline-item .time { font-size: 0.85em; color: var(--accent); font-weight: 600; }
102
+ .timeline-item h4 { margin: 4px 0; }
103
+
104
+ /* Quote */
105
+ blockquote {
106
+ background: var(--bg-accent); border-left: 4px solid var(--accent);
107
+ padding: 20px 24px; margin: 24px 0; border-radius: 0 8px 8px 0;
108
+ font-style: italic; color: #333;
109
+ }
110
+
111
+ /* Moat grid */
112
+ .moat-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 16px; margin: 24px 0; }
113
+ .moat-item {
114
+ background: #fff; border: 1px solid var(--border); border-radius: 10px;
115
+ padding: 20px; text-align: center; box-shadow: var(--shadow);
116
+ }
117
+ .moat-item .icon { font-size: 1.8em; margin-bottom: 8px; }
118
+ .moat-item h4 { font-size: 1em; margin-bottom: 6px; }
119
+ .moat-item p { font-size: 0.88em; color: var(--text-secondary); }
120
+
121
+ /* Footer */
122
+ .footer {
123
+ background: #0d1b2a; color: rgba(255,255,255,0.7); text-align: center;
124
+ padding: 48px 24px; font-size: 0.9em;
125
+ }
126
+ .footer a { color: var(--accent); }
127
+ .footer .links { margin: 16px 0; }
128
+ .footer .links a { margin: 0 12px; }
129
+
130
+ @media print {
131
+ .hero { padding: 40px 24px; }
132
+ .section { padding: 32px 24px; }
133
+ .stat-card, .card, .moat-item { box-shadow: none; break-inside: avoid; }
134
+ }
135
+ @media (max-width: 768px) {
136
+ .hero h1 { font-size: 2em; }
137
+ .compare { grid-template-columns: 1fr 1fr; }
138
+ .stat-grid { grid-template-columns: 1fr 1fr; }
139
+ }
140
+ </style>
141
+ </head>
142
+ <body>
143
+
144
+ <!-- ═══════════════ HERO ═══════════════ -->
145
+ <div class="hero">
146
+ <div class="tag">AI TRUST DECISION ENGINE</div>
147
+ <h1>Progmune</h1>
148
+ <div class="subtitle">让 AI 生成的代码可信任、可审计、可投产</div>
149
+ <p style="color: rgba(255,255,255,0.6); max-width: 560px; margin: 0 auto;">
150
+ Progmune 是企业级的 AI 代码信任决策引擎。它不生成代码——它为 AI 生成的代码提供
151
+ 可量化的信任评分、可解释的违规证据、以及可直接用于 CI/CD 门禁的部署决策。
152
+ </p>
153
+ <div class="cta">
154
+ <a href="https://github.com/shenlian19831109/progmune-runtime">GitHub ↗</a>
155
+ </div>
156
+ </div>
157
+
158
+ <!-- ═══════════════ PROBLEM ═══════════════ -->
159
+ <div class="section">
160
+ <h2>1. 问题：AI 代码的信任危机</h2>
161
+ <p class="lead">AI 编码工具让代码生产速度提升了 10 倍，但验证仍依赖人工——创造了一个关键的基础设施缺口。</p>
162
+
163
+ <div class="stat-grid">
164
+ <div class="stat-card">
165
+ <div class="number">76%</div>
166
+ <div class="label">企业已采用 AI 编码工具</div>
167
+ </div>
168
+ <div class="stat-card">
169
+ <div class="number">~40%</div>
170
+ <div class="label">AI 生成代码含潜在缺陷</div>
171
+ </div>
172
+ <div class="stat-card">
173
+ <div class="number">14%</div>
174
+ <div class="label">AI 代码回滚率高于传统代码</div>
175
+ </div>
176
+ <div class="stat-card">
177
+ <div class="number">$0</div>
178
+ <div class="label">零形式化保证：AI 代码能投产？</div>
179
+ </div>
180
+ </div>
181
+
182
+ <div class="card-grid">
183
+ <div class="card red">
184
+ <h4>SVL-1 符号幻觉</h4>
185
+ <p>LLM 调用项目中根本不存在的函数。传统 linter 可部分检测，但 AI 生成的幻觉函数名往往形似真实 API。</p>
186
+ </div>
187
+ <div class="card red">
188
+ <h4>SVL-2 类型漂移</h4>
189
+ <p>参数数量或类型与实际签名不匹配。TypeScript 编译器能捕获部分，但无法覆盖运行时动态调用。</p>
190
+ </div>
191
+ <div class="card red">
192
+ <h4>SVL-3 数据流污染</h4>
193
+ <p>使用未初始化变量、引入循环引用。需要完整的数据流分析——编译器做不到跨函数追踪。</p>
194
+ </div>
195
+ <div class="card red">
196
+ <h4>SVL-4 协议违规</h4>
197
+ <p>最关键也最隐蔽：跳过认证直接签发 JWT、支付前未验证订单。无现有工具可检测——这是 Progmune 的核心战场。</p>
198
+ </div>
199
+ </div>
200
+
201
+ <h3>现有方案为什么不够</h3>
202
+ <table>
203
+ <tr><th>方案</th><th>原理</th><th>根本缺陷</th></tr>
204
+ <tr><td>Linter / SAST</td><td>事后静态分析已生成代码</td><td>不介入生成过程；无法检测跨函数调用序列违规</td></tr>
205
+ <tr><td>RAG 上下文注入</td><td>将项目上下文注入 Prompt</td><td>降低但不消除幻觉；LLM 仍是唯一仲裁者；无形式化保证</td></tr>
206
+ <tr><td>提示词工程</td><td>精心设计指令引导模型</td><td>零合规性形式化保证；随模型更新失效</td></tr>
207
+ <tr><td>人工审查</td><td>人眼逐行检查</td><td>不可扩展；10x 代码产出 vs 1x 审查能力 = 审查瓶颈</td></tr>
208
+ <tr><td><strong>Progmune</strong></td><td>IR 作为唯一真相源，LLM 降级为受约束提议器</td><td class="check">✅ SVL-1→4 确定性保证；从每次失败中学习</td></tr>
209
+ </table>
210
+ </div>
211
+
212
+ <!-- ═══════════════ SOLUTION ═══════════════ -->
213
+ <div class="section section-alt">
214
+ <h2>2. 方案：AI Trust Decision Engine</h2>
215
+ <p class="lead">Progmune 将 LLM 从"代码预言机"降级为"受约束的启发式提议器"。程序的真实结构（IR）是唯一权威真相源。</p>
216
+
217
+ <h3>核心输出：四个字段，一个决策</h3>
218
+ <table>
219
+ <tr><th>字段</th><th>类型</th><th>企业价值</th></tr>
220
+ <tr><td><strong>Trust Score</strong></td><td>0–100</td><td>量化信任度——可追踪、可比较、可审计</td></tr>
221
+ <tr><td><strong>Decision</strong></td><td>APPROVED / NEEDS_REVIEW / BLOCKED</td><td>直接用于 CI/CD 门禁——"能上线吗？"的答案</td></tr>
222
+ <tr><td><strong>Confidence</strong></td><td>HIGH / MEDIUM / LOW / UNCERTAIN</td><td>诚实告知能力边界——不假装 100%</td></tr>
223
+ <tr><td><strong>Evidence</strong></td><td>完整 7 元组 × N</td><td>每个违规都可追溯到代码行——满足 SOX/HIPAA 合规审计</td></tr>
224
+ </table>
225
+
226
+ <blockquote>
227
+ "企业实际关心的是'能不能上线？'而不是'58 分还是 61 分。'Decision 是最终产品，Score 是中间变量。Critical violation → 硬 BLOCK，不受 Score 影响。"
228
+ </blockquote>
229
+
230
+ <h3>四维信任模型</h3>
231
+ <div class="card-grid">
232
+ <div class="card">
233
+ <h4>Policy Compliance <span style="color:var(--accent);">35%</span></h4>
234
+ <p>企业安全/合规策略执行。6 条可配置规则：confidence、provenance、PLSB coverage、human review、fingerprint、violations。</p>
235
+ </div>
236
+ <div class="card">
237
+ <h4>Protocol Safety <span style="color:var(--accent);">30%</span></h4>
238
+ <p>认证、授权、支付、数据完整性、Ledger 五个关键协议的安全评分。内部按严重程度扣分（Critical -40, High -20, Medium -8, Low -2）。</p>
239
+ </div>
240
+ <div class="card">
241
+ <h4>Verification Coverage <span style="color:var(--accent);">20%</span></h4>
242
+ <p>类型检查、SSG 规则、Ledger 不变量、测试覆盖率、失败基因组匹配——衡量验证手段的覆盖程度。</p>
243
+ </div>
244
+ <div class="card">
245
+ <h4>Governance Integrity <span style="color:var(--accent);">15%</span></h4>
246
+ <p>Hash 链完整性、Ledger 完备性、生成链连续性、审计日志完备性——验证 AI 代码供应链的完整性。</p>
247
+ </div>
248
+ </div>
249
+
250
+ <h3>Binary Gate：可解释性</h3>
251
+ <p>每个 violation 必须包含完整的 7 元组（rule_id, file, function, evidence, why, fix, policy_ref）。<strong>不可解释 = 不可信</strong>。若 Explainability Gate 不通过，整体 Confidence 标记为 UNCERTAIN，Decision 降一级。</p>
252
+ </div>
253
+
254
+ <!-- ═══════════════ PRODUCT ═══════════════ -->
255
+ <div class="section">
256
+ <h2>3. 产品：从检测到决策</h2>
257
+ <p class="lead">Progmune v3.0 完成了从"协议违规检测器"到"AI 信任决策引擎"的产品升级。这不是一个版本迭代——而是一次产品范式的转变。</p>
258
+
259
+ <h3>产品架构</h3>
260
+ <div style="background: var(--bg-secondary); border: 1px solid var(--border); border-radius: 12px; padding: 24px; font-family: monospace; font-size: 0.85em; line-height: 1.8; margin: 20px 0; overflow-x: auto;">
261
+ ┌─────────────────────────────────────────────────────────────┐
262
+ │ MCP Server (19 tools) │
263
+ │ Claude Code · VS Code · CI/CD Pipeline · API │
264
+ ├─────────────────────────────────────────────────────────────┤
265
+ │ <strong>Trust Decision Engine</strong> │
266
+ │ Collect → Normalize → Score → Decide → Assemble │
267
+ │ 4 Dimensions + Explainability Gate + Coverage Confidence │
268
+ ├─────────────────────────────────────────────────────────────┤
269
+ │ Policy Engine │ SSG Validator │ Compliance Scorer │ PLSB │
270
+ ├─────────────────────────────────────────────────────────────┤
271
+ │ IR (Program Truth) │ Immune Memory │ Framework Adapters │
272
+ └─────────────────────────────────────────────────────────────┘
273
+ </div>
274
+
275
+ <h3>使用场景</h3>
276
+ <div class="card-grid">
277
+ <div class="card green">
278
+ <h4>CI/CD 合并前门禁</h4>
279
+ <p>在 AI 生成的 PR 合并到主分支前自动运行 Trust Check。BLOCKED → 阻止合并，NEEDS_REVIEW → 通知审查者。</p>
280
+ </div>
281
+ <div class="card green">
282
+ <h4>平台工程统一治理</h4>
283
+ <p>为整个组织的 AI 编码工具（Copilot、Cursor、内部 Agent）提供统一的验证层和一致的 Trust Policy。</p>
284
+ </div>
285
+ <div class="card green">
286
+ <h4>合规审计</h4>
287
+ <p>金融、医疗等受监管行业——Trust Report + Evidence Trail 满足 SOX/HIPAA 对 AI 生成代码的审计要求。</p>
288
+ </div>
289
+ <div class="card green">
290
+ <h4>Agent 生产安全网</h4>
291
+ <p>AI Agent 自动向生产环境交付代码时的最后一道防线——在部署前验证每一行 AI 代码的协议安全性。</p>
292
+ </div>
293
+ </div>
294
+ </div>
295
+
296
+ <!-- ═══════════════ COMPETITION ═══════════════ -->
297
+ <div class="section section-alt">
298
+ <h2>4. 竞争格局</h2>
299
+ <p class="lead">Progmune 定义了一个新品类：AI Code Trust Infrastructure。不与 Copilot/Cursor 竞争——而是为它们提供安全底盘。</p>
300
+
301
+ <div class="compare">
302
+ <div class="header"></div>
303
+ <div class="header">传统 SAST<br>CodeQL, Semgrep</div>
304
+ <div class="header">Prompt 安全<br>Guardrails AI</div>
305
+ <div class="header ours">Progmune</div>
306
+
307
+ <div>介入生成过程</div>
308
+ <div class="cross">✗ 事后</div>
309
+ <div class="check">✓ 输入/输出</div>
310
+ <div class="check">✓ 生成时验证</div>
311
+
312
+ <div>协议序列检测</div>
313
+ <div class="cross">✗</div>
314
+ <div class="cross">✗</div>
315
+ <div class="check">✓ SSG 状态机</div>
316
+
317
+ <div>形式化保证</div>
318
+ <div class="cross">✗</div>
319
+ <div class="cross">✗</div>
320
+ <div class="check">✓ SVL-1→4</div>
321
+
322
+ <div>可解释违规</div>
323
+ <div class="check">部分</div>
324
+ <div class="cross">✗</div>
325
+ <div class="check">✓ 7 元组证据</div>
326
+
327
+ <div>LLM 无关</div>
328
+ <div class="check">✓</div>
329
+ <div class="cross">✗</div>
330
+ <div class="check">✓</div>
331
+
332
+ <div>越用越智能</div>
333
+ <div class="cross">✗</div>
334
+ <div class="cross">✗</div>
335
+ <div class="check">✓ 免疫记忆</div>
336
+
337
+ <div>信任决策输出</div>
338
+ <div class="cross">✗</div>
339
+ <div class="cross">✗</div>
340
+ <div class="check">✓ Score+Decision</div>
341
+ </div>
342
+
343
+ <h3>五个竞争壁垒</h3>
344
+ <div class="moat-grid">
345
+ <div class="moat-item">
346
+ <div class="icon">🔒</div>
347
+ <h4>IR 程序真相层</h4>
348
+ <p>从源码确定性提取——不是 LLM 的"记忆"，不存在概率偏差。最底层的、不可造假的事实基础。</p>
349
+ </div>
350
+ <div class="moat-item">
351
+ <div class="icon">📐</div>
352
+ <h4>SVL 形式化分类法</h4>
353
+ <p>业界首个专为 AI 生成代码设计的正确性分类体系。类似 PCI-DSS 对支付安全的标准化作用。</p>
354
+ </div>
355
+ <div class="moat-item">
356
+ <div class="icon">🧠</div>
357
+ <h4>三层免疫记忆</h4>
358
+ <p>工作记忆 → 情景记忆 → 语义记忆。每次拦截都让系统更聪明——网络效应随时间累积。</p>
359
+ </div>
360
+ <div class="moat-item">
361
+ <div class="icon">🔌</div>
362
+ <h4>LLM 无关架构</h4>
363
+ <p>约束引擎是确定性规则系统。不绑定任何模型。LLM 越强，Progmune 越有价值。</p>
364
+ </div>
365
+ <div class="moat-item">
366
+ <div class="icon">🛡️</div>
367
+ <h4>隐私优先设计</h4>
368
+ <p>不上传代码内容、变量值、文件路径。免疫网络只交换匿名化错误指纹。</p>
369
+ </div>
370
+ </div>
371
+ </div>
372
+
373
+ <!-- ═══════════════ MARKET ═══════════════ -->
374
+ <div class="section">
375
+ <h2>5. 市场机会</h2>
376
+
377
+ <div class="stat-grid">
378
+ <div class="stat-card">
379
+ <div class="number">$25B+</div>
380
+ <div class="label">AI 代码生成市场 2030E</div>
381
+ </div>
382
+ <div class="stat-card">
383
+ <div class="number">$9B+</div>
384
+ <div class="label">DevSecOps 市场 2024</div>
385
+ </div>
386
+ <div class="stat-card">
387
+ <div class="number">$3–5B</div>
388
+ <div class="label">AI 安全层 TAM</div>
389
+ </div>
390
+ <div class="stat-card">
391
+ <div class="number">180万+</div>
392
+ <div class="label">Copilot 付费用户</div>
393
+ </div>
394
+ </div>
395
+
396
+ <h3>理想客户画像</h3>
397
+ <ul>
398
+ <li><strong>大规模部署 AI 编码工具的企业</strong>——GitHub Copilot、Cursor 的企业客户需要治理方案</li>
399
+ <li><strong>受监管行业</strong>——金融科技、医疗健康需要 AI 代码的审计追踪</li>
400
+ <li><strong>平台工程团队</strong>——构建内部 LLM 编码流水线，需要统一验证层</li>
401
+ <li><strong>DevSecOps 团队</strong>——需要合并前 AI 代码门禁</li>
402
+ <li><strong>AI 原生初创公司</strong>——通过 Agent 向生产交付代码，需要安全最后防线</li>
403
+ </ul>
404
+
405
+ <blockquote>
406
+ 每个使用 AI 编码工具的企业都需要这一层防护。AI 代码生成市场每增长 1%，AI 代码验证的需求就增长 1%——这是一个与 AI 编码市场同步增长的品类。
407
+ </blockquote>
408
+ </div>
409
+
410
+ <!-- ═══════════════ BUSINESS MODEL ═══════════════ -->
411
+ <div class="section section-alt">
412
+ <h2>6. 商业模式</h2>
413
+
414
+ <div class="card-grid">
415
+ <div class="card">
416
+ <h4>开源版 (MIT)</h4>
417
+ <p style="font-size: 1.5em; font-weight: 800; color: var(--accent);">免费</p>
418
+ <ul>
419
+ <li>完整 SVL-1~4 约束引擎</li>
420
+ <li>TypeScript + Python IR</li>
421
+ <li>MCP 协议集成</li>
422
+ <li>三层记忆系统</li>
423
+ <li>本地 Failure Corpus</li>
424
+ <li>社区支持</li>
425
+ </ul>
426
+ </div>
427
+ <div class="card">
428
+ <h4>企业版</h4>
429
+ <p style="font-size: 1.5em; font-weight: 800; color: var(--accent);">按席位/年</p>
430
+ <ul>
431
+ <li>CI/CD 合并前门禁集成</li>
432
+ <li>团队管理仪表盘</li>
433
+ <li>Rust/WASM 高性能验证器</li>
434
+ <li>私有免疫 Hub 服务器</li>
435
+ <li>多语言 IR 支持</li>
436
+ <li>SLA 保障 + 优先支持</li>
437
+ </ul>
438
+ </div>
439
+ <div class="card">
440
+ <h4>免疫网络</h4>
441
+ <p style="font-size: 1.5em; font-weight: 800; color: var(--accent);">按组织/年</p>
442
+ <ul>
443
+ <li>接入全球失败指纹联邦</li>
444
+ <li>跨组织语义失败基准库</li>
445
+ <li>预训练免疫规则包</li>
446
+ <li>行业特定协议模板</li>
447
+ <li>安全威胁情报推送</li>
448
+ <li>专属客户成功经理</li>
449
+ </ul>
450
+ </div>
451
+ </div>
452
+ <p style="color: var(--text-secondary); text-align: center; margin-top: 20px;">
453
+ 类似 GitLab/Databricks 模式——开源版建立生态和信任，企业版提供增值能力。
454
+ </p>
455
+ </div>
456
+
457
+ <!-- ═══════════════ ROADMAP ═══════════════ -->
458
+ <div class="section">
459
+ <h2>7. 路线图</h2>
460
+
461
+ <div class="timeline">
462
+ <div class="timeline-item">
463
+ <div class="time">现在 — v3.2.0</div>
464
+ <h4>AI Trust Decision Engine（已交付）</h4>
465
+ <p>Trust Score + Decision + Confidence + Evidence。19 个 MCP 工具。Express 适配器。PLSB v1.0。P0-P3 规则注入完成（21/21 命名空间覆盖）。TypeScript P=86.8% R=83.6%。</p>
466
+ </div>
467
+ <div class="timeline-item">
468
+ <div class="time">2026 Q3–Q4</div>
469
+ <h4>Trust Foundation 完善 + 首个 PoC</h4>
470
+ <p>Trust Score 校准（已知风险项目验证）。Phase 1 验收（真实项目 Trust Check）。Trust Report PDF。Policy Engine CLI。Python 支持启动（Phase 2）。</p>
471
+ </div>
472
+ <div class="timeline-item">
473
+ <div class="time">2026 Q4 – 2027 Q1</div>
474
+ <h4>Language Expansion + Enterprise</h4>
475
+ <p>Python/FastAPI 完整支持。CI/CD 合并前门禁。团队管理仪表盘。Evolution Tracking（AI 代码漂移监控）。Rust/WASM 高性能验证器。</p>
476
+ </div>
477
+ <div class="timeline-item">
478
+ <div class="time">2027+</div>
479
+ <h4>Platform Scale</h4>
480
+ <p>Go/Java 支持。SaaS Dashboard。全球免疫网络联邦。Public Benchmark 排行榜。Protocol Template Marketplace。</p>
481
+ </div>
482
+ </div>
483
+ </div>
484
+
485
+ <!-- ═══════════════ TRACTION ═══════════════ -->
486
+ <div class="section section-alt">
487
+ <h2>8. 技术验证</h2>
488
+
489
+ <div class="stat-grid">
490
+ <div class="stat-card">
491
+ <div class="number">286</div>
492
+ <div class="label">源文件</div>
493
+ </div>
494
+ <div class="stat-card">
495
+ <div class="number">575</div>
496
+ <div class="label">测试文件</div>
497
+ </div>
498
+ <div class="stat-card">
499
+ <div class="number">140</div>
500
+ <div class="label">协议规则</div>
501
+ </div>
502
+ <div class="stat-card">
503
+ <div class="number">19</div>
504
+ <div class="label">MCP 工具</div>
505
+ </div>
506
+ <div class="stat-card">
507
+ <div class="number">21/21</div>
508
+ <div class="label">命名空间覆盖</div>
509
+ </div>
510
+ <div class="stat-card">
511
+ <div class="number">85.2%</div>
512
+ <div class="label">TS F1 分数</div>
513
+ </div>
514
+ </div>
515
+
516
+ <h3>核心功能验证清单</h3>
517
+ <table>
518
+ <tr><td class="check">✅</td><td>SVL-1 符号存在性校验 — 拦截幻觉函数</td><td class="check">✅</td><td>Trust Score + Decision 输出</td></tr>
519
+ <tr><td class="check">✅</td><td>SVL-2 类型有效性校验 — 参数数量/类型匹配</td><td class="check">✅</td><td>Explainability 7 元组证据</td></tr>
520
+ <tr><td class="check">✅</td><td>SVL-3 数据流正确性 — 变量声明/使用检查</td><td class="check">✅</td><td>Policy Engine（6 条默认规则）</td></tr>
521
+ <tr><td class="check">✅</td><td>SVL-4 协议合法性 — SSG 状态机强制执行</td><td class="check">✅</td><td>Compliance Scorer（6 维 0-1 评分）</td></tr>
522
+ <tr><td class="check">✅</td><td>语义模板缓存 — 成功模式 0 LLM 复用</td><td class="check">✅</td><td>API 语义映射（批量 LLM + 磁盘缓存）</td></tr>
523
+ <tr><td class="check">✅</td><td>Failure Corpus — 结构化失败记录与趋势</td><td class="check">✅</td><td>PLSB v1.0 基准</td></tr>
524
+ <tr><td class="check">✅</td><td>三层记忆系统 — 工作/情景/语义</td><td class="check">✅</td><td>Express 框架适配器</td></tr>
525
+ <tr><td class="check">✅</td><td>Token 优化 — prompt 体积减少 40-54%</td><td class="check">✅</td><td>MCP 原生 — 19 个工具</td></tr>
526
+ </table>
527
+ </div>
528
+
529
+ <!-- ═══════════════ CONTACT ═══════════════ -->
530
+ <div class="section" style="text-align: center;">
531
+ <h2 style="display: inline-block;">9. 联系我们</h2>
532
+ <p class="lead" style="margin-top: 20px;">
533
+ Progmune 正在构建 AI 代码安全的基础设施层——<strong>让每一行 AI 生成的代码都可信任。</strong>
534
+ </p>
535
+
536
+ <div style="margin: 32px 0; display: flex; gap: 24px; justify-content: center; flex-wrap: wrap;">
537
+ <div style="background: var(--bg-secondary); border: 1px solid var(--border); border-radius: 12px; padding: 24px 40px; text-align: center; min-width: 200px;">
538
+ <div style="font-size: 1.5em; margin-bottom: 8px;">📦</div>
539
+ <div style="font-weight: 600;">开源仓库</div>
540
+ <div style="color: var(--text-secondary); font-size: 0.9em;">github.com/shenlian19831109/<br>progmune-runtime</div>
541
+ </div>
542
+ <div style="background: var(--bg-secondary); border: 1px solid var(--border); border-radius: 12px; padding: 24px 40px; text-align: center; min-width: 200px;">
543
+ <div style="font-size: 1.5em; margin-bottom: 8px;">🔧</div>
544
+ <div style="font-weight: 600;">快速安装</div>
545
+ <div style="color: var(--text-secondary); font-size: 0.9em;">npm install<br>progmune-runtime</div>
546
+ </div>
547
+ <div style="background: var(--bg-secondary); border: 1px solid var(--border); border-radius: 12px; padding: 24px 40px; text-align: center; min-width: 200px;">
548
+ <div style="font-size: 1.5em; margin-bottom: 8px;">📋</div>
549
+ <div style="font-weight: 600;">许可证</div>
550
+ <div style="color: var(--text-secondary); font-size: 0.9em;">MIT 开源协议</div>
551
+ </div>
552
+ </div>
553
+
554
+ <blockquote style="max-width: 600px; margin: 32px auto;">
555
+ "Progmune 正在重新定义 AI 辅助编程——不是'让模型更聪明'，而是'让程序真相主导生成'。"
556
+ </blockquote>
557
+ </div>
558
+
559
+ <!-- ═══════════════ FOOTER ═══════════════ -->
560
+ <div class="footer">
561
+ <p><strong>Progmune</strong> — AI Trust Decision Engine</p>
562
+ <p style="margin-top: 8px;">让 AI 编码安全、可验证、生产就绪</p>
563
+ <div class="links">
564
+ <a href="https://github.com/shenlian19831109/progmune-runtime">GitHub</a>
565
+ <span style="color: rgba(255,255,255,0.3);">·</span>
566
+ <span>npm install progmune-runtime</span>
567
+ <span style="color: rgba(255,255,255,0.3);">·</span>
568
+ <span>MIT License</span>
569
+ </div>
570
+ <p style="color: rgba(255,255,255,0.4); font-size: 0.8em; margin-top: 20px;">
571
+ Progmune 投资人白皮书 v2.0 · 2026-08-10
572
+ </p>
573
+ </div>
574
+
575
+ </body>
576
+ </html>