npm - progmune-runtime - Versions diffs - 2.0.4 → 2.1.1 - Mend

progmune-runtime 2.0.4 → 2.1.1

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 (110) hide show

package/.mcp.json +11 -0
package/.progmune_allowlist +50 -0
package/.test_report/test_report.md +87 -0
package/Dockerfile +2 -10
package/FAQ.md +167 -0
package/README.md +108 -54
package/demo-project/auth.ts +55 -0
package/demo-project/tsconfig.json +8 -0
package/dist/ab-stats.js +11 -0
package/dist/acl-breakdown.js +13 -0
package/dist/action-runtime.js +1 -0
package/dist/all-sessions.js +11 -0
package/dist/antibody-stats.js +11 -0
package/dist/audit.js +222 -0
package/dist/benchmark-count.js +7 -0
package/dist/benchmark-full.js +17 -0
package/dist/benchmark-pass-rate.js +54 -0
package/dist/benchmark-report.js +67 -0
package/dist/benchmark-save.js +62 -0
package/dist/benchmark-status.js +15 -0
package/dist/branch-ledger.js +393 -0
package/dist/branch-tree-count.js +14 -0
package/dist/check.js +506 -0
package/dist/common-fixpath.js +12 -0
package/dist/constraint-types.js +12 -0
package/dist/deterministic-replay.js +283 -0
package/dist/emitter.js +143 -12
package/dist/exec-metrics.js +11 -0
package/dist/execute.js +251 -0
package/dist/extract-ir.js +592 -5
package/dist/failure-collector.js +163 -0
package/dist/failure-corpus.js +507 -35
package/dist/failure-report.js +11 -0
package/dist/failures.js +11 -0
package/dist/fast-path-hits.js +13 -0
package/dist/feedback.js +10 -3
package/dist/file-lock.js +82 -0
package/dist/find-session.js +10 -0
package/dist/fingerprint-list.js +15 -0
package/dist/gen-history-log.js +13 -0
package/dist/generate.js +2 -1
package/dist/generate_500.js +4 -2
package/dist/genome.js +11 -0
package/dist/heatmap-data.js +11 -0
package/dist/heatmap.js +11 -0
package/dist/immune-reporter.js +34 -22
package/dist/ir-utils.js +18 -0
package/dist/learned.js +11 -0
package/dist/ledger-registry.js +252 -0
package/dist/llm.js +46 -2
package/dist/load-benchmarks.js +47 -0
package/dist/main.js +2 -1
package/dist/mcp-server.mjs +445 -43
package/dist/memory-layer.js +54 -13
package/dist/metrics.js +11 -0
package/dist/obs-web.js +561 -0
package/dist/p0_ssg_demo.js +255 -40
package/dist/planner.js +996 -80
package/dist/protocol-registry.js +112 -0
package/dist/recent-session.js +12 -0
package/dist/repair-proposal.js +363 -0
package/dist/runtime-invariants.js +170 -0
package/dist/runtime-types.js +117 -0
package/dist/runtime.js +1 -0
package/dist/search-planner.js +39 -9
package/dist/semantic-snapshot.js +157 -0
package/dist/semantic-trace.js +1497 -0
package/dist/semantic-validator.js +3 -2
package/dist/semantic_guard_test.js +2 -1
package/dist/session-utils.js +19 -0
package/dist/sessions.js +11 -0
package/dist/ssg-validator.js +666 -20
package/dist/svl-distribution.js +11 -0
package/dist/terminal-status.js +11 -0
package/dist/test_failure_corpus.js +3 -1
package/dist/token-savings.js +11 -0
package/dist/total-repairs.js +12 -0
package/dist/unresolved-count.js +12 -0
package/dist/utils.js +2 -0
package/dist/valid-fingerprints.js +13 -0
package/dist/validator.js +118 -60
package/dist/verify-fps.js +11 -0
package/dist/verify-ledgers.js +11 -0
package/docs/whitepaper-style.css +77 -0
package/docs/whitepaper-v2.1.md +609 -0
package/docs/whitepaper-v2.2.md +1064 -0
package/docs/whitepaper-v2.2.pdf +0 -0
package/fly.toml +1 -1
package/package.json +13 -4
package/protocols.json +131 -11
package/public/dashboard.html +119 -0
package/server/hub.js +84 -12
package/test/replay-golden/sess_1780063202050_mgeld.json +9 -0
package/test/replay-golden/sess_1780064032560_gocld.json +354 -0
package/test/replay-golden/sess_1780064413331_s2709.json +606 -0
package/test/replay-golden/sess_1780064792710_y3avo.json +614 -0
package/test/replay-golden.ts +84 -0
package/test_benchmark.js +165 -0
package/test_comprehensive.mjs +638 -0
package/test_concurrency.js +129 -0
package/test_ir_robustness.js +85 -0
package/test_semantic_contracts.js +269 -0
package/test_ssg_stress.js +156 -0
package/test_svl3.js +58 -0
package/tsconfig.json +1 -1
package/.env.example +0 -3
package/.progmune_memory/episodic.json +0 -186
package/.progmune_memory/fingerprints.json +0 -7
package/.progmune_memory/opt_in.json +0 -4
package/immune_hub_data/2026-05-14.json +0 -50

package/test/replay-golden/sess_1780064032560_gocld.json ADDED Viewed

@@ -0,0 +1,354 @@
+{
+  "sessionId": "sess_1780064032560_gocld",
+  "intent": "实现一个函数，先提取 IR，然后校验动作，最后生成代码并保存会话",
+  "attempts": [
+    {
+      "id": "att_1780064037502_vmsfo",
+      "sessionId": "sess_1780064032560_gocld",
+      "attemptNumber": 1,
+      "inputIntent": "实现一个函数，先提取 IR，然后校验动作，最后生成代码并保存会话",
+      "plannerSeed": "a525918c",
+      "constraintSnapshotId": "snap_1780064032562_82709ff22603",
+      "generatedActions": [
+        {
+          "kind": "call",
+          "function": "extractIRPython",
+          "args": [
+            {
+              "name": "projectRoot",
+              "type": "string",
+              "value": "{{projectRoot}}"
+            }
+          ],
+          "assignTo": "extractIRPython_result"
+        },
+        {
+          "kind": "call",
+          "function": "extractDirectCalls",
+          "args": [
+            {
+              "name": "func",
+              "type": "FunctionDeclaration | ArrowFunction",
+              "value": "{{func}}"
+            }
+          ],
+          "assignTo": "extractDirectCalls_result"
+        },
+        {
+          "kind": "call",
+          "function": "extractIR",
+          "args": [
+            {
+              "name": "projectRoot",
+              "type": "string",
+              "value": "{{projectRoot}}"
+            }
+          ],
+          "assignTo": "extractIR_result"
+        },
+        {
+          "kind": "call",
+          "function": "ensureDir",
+          "args": [
+            {
+              "name": "dir",
+              "type": "string",
+              "value": "{{dir}}"
+            }
+          ],
+          "assignTo": "ensureDir_result"
+        },
+        {
+          "kind": "call",
+          "function": "ensureLockDir",
+          "args": [],
+          "assignTo": "ensureLockDir_result"
+        },
+        {
+          "kind": "call",
+          "function": "loadProtocolsFromIR",
+          "args": [
+            {
+              "name": "ir",
+              "type": "any[]",
+              "value": "{{ir}}"
+            }
+          ],
+          "assignTo": "loadProtocolsFromIR_result"
+        },
+        {
+          "kind": "call",
+          "function": "attemptSSGRepair",
+          "args": [
+            {
+              "name": "actions",
+              "type": "Action[]",
+              "value": "{{actions}}"
+            },
+            {
+              "name": "rejection",
+              "type": "SSGRejection",
+              "value": "{{rejection}}"
+            },
+            {
+              "name": "ir",
+              "type": "any[]",
+              "value": "{{ir}}"
+            },
+            {
+              "name": "protocols",
+              "type": "FunctionProtocol[]",
+              "value": "{{protocols}}"
+            },
+            {
+              "name": "namespaceInitialStates",
+              "type": "Map<string, string>",
+              "value": "{{namespaceInitialStates}}"
+            }
+          ],
+          "assignTo": "attemptSSGRepair_result"
+        },
+        {
+          "kind": "call",
+          "function": "loadIR",
+          "args": [],
+          "assignTo": "loadIR_result"
+        },
+        {
+          "kind": "call",
+          "function": "mkdirSync",
+          "args": [
+            {
+              "name": "path",
+              "type": "string",
+              "value": "{{path}}"
+            },
+            {
+              "name": "options",
+              "type": "object",
+              "value": "{{options}}"
+            }
+          ]
+        },
+        {
+          "kind": "call",
+          "function": "readdirSync",
+          "args": [
+            {
+              "name": "path",
+              "type": "string",
+              "value": "{{path}}"
+            }
+          ],
+          "assignTo": "readdirSync_result"
+        },
+        {
+          "kind": "call",
+          "function": "rmdirSync",
+          "args": [],
+          "assignTo": "rmdirSync_result"
+        },
+        {
+          "kind": "call",
+          "function": "require",
+          "args": [],
+          "assignTo": "require_result"
+        },
+        {
+          "kind": "call",
+          "function": "dirname",
+          "args": [
+            {
+              "name": "path",
+              "type": "string",
+              "value": "{{path}}"
+            }
+          ],
+          "assignTo": "dirname_result"
+        }
+      ],
+      "transitions": [],
+      "violations": [],
+      "outcome": "success",
+      "timestamp": 1780064037502,
+      "llmCallCount": 0,
+      "durationMs": 0
+    }
+  ],
+  "resolved": true,
+  "startedAt": 1780064032560,
+  "successfulAttempt": {
+    "id": "att_1780064037502_vmsfo",
+    "sessionId": "sess_1780064032560_gocld",
+    "attemptNumber": 1,
+    "inputIntent": "实现一个函数，先提取 IR，然后校验动作，最后生成代码并保存会话",
+    "plannerSeed": "a525918c",
+    "constraintSnapshotId": "snap_1780064032562_82709ff22603",
+    "generatedActions": [
+      {
+        "kind": "call",
+        "function": "extractIRPython",
+        "args": [
+          {
+            "name": "projectRoot",
+            "type": "string",
+            "value": "{{projectRoot}}"
+          }
+        ],
+        "assignTo": "extractIRPython_result"
+      },
+      {
+        "kind": "call",
+        "function": "extractDirectCalls",
+        "args": [
+          {
+            "name": "func",
+            "type": "FunctionDeclaration | ArrowFunction",
+            "value": "{{func}}"
+          }
+        ],
+        "assignTo": "extractDirectCalls_result"
+      },
+      {
+        "kind": "call",
+        "function": "extractIR",
+        "args": [
+          {
+            "name": "projectRoot",
+            "type": "string",
+            "value": "{{projectRoot}}"
+          }
+        ],
+        "assignTo": "extractIR_result"
+      },
+      {
+        "kind": "call",
+        "function": "ensureDir",
+        "args": [
+          {
+            "name": "dir",
+            "type": "string",
+            "value": "{{dir}}"
+          }
+        ],
+        "assignTo": "ensureDir_result"
+      },
+      {
+        "kind": "call",
+        "function": "ensureLockDir",
+        "args": [],
+        "assignTo": "ensureLockDir_result"
+      },
+      {
+        "kind": "call",
+        "function": "loadProtocolsFromIR",
+        "args": [
+          {
+            "name": "ir",
+            "type": "any[]",
+            "value": "{{ir}}"
+          }
+        ],
+        "assignTo": "loadProtocolsFromIR_result"
+      },
+      {
+        "kind": "call",
+        "function": "attemptSSGRepair",
+        "args": [
+          {
+            "name": "actions",
+            "type": "Action[]",
+            "value": "{{actions}}"
+          },
+          {
+            "name": "rejection",
+            "type": "SSGRejection",
+            "value": "{{rejection}}"
+          },
+          {
+            "name": "ir",
+            "type": "any[]",
+            "value": "{{ir}}"
+          },
+          {
+            "name": "protocols",
+            "type": "FunctionProtocol[]",
+            "value": "{{protocols}}"
+          },
+          {
+            "name": "namespaceInitialStates",
+            "type": "Map<string, string>",
+            "value": "{{namespaceInitialStates}}"
+          }
+        ],
+        "assignTo": "attemptSSGRepair_result"
+      },
+      {
+        "kind": "call",
+        "function": "loadIR",
+        "args": [],
+        "assignTo": "loadIR_result"
+      },
+      {
+        "kind": "call",
+        "function": "mkdirSync",
+        "args": [
+          {
+            "name": "path",
+            "type": "string",
+            "value": "{{path}}"
+          },
+          {
+            "name": "options",
+            "type": "object",
+            "value": "{{options}}"
+          }
+        ]
+      },
+      {
+        "kind": "call",
+        "function": "readdirSync",
+        "args": [
+          {
+            "name": "path",
+            "type": "string",
+            "value": "{{path}}"
+          }
+        ],
+        "assignTo": "readdirSync_result"
+      },
+      {
+        "kind": "call",
+        "function": "rmdirSync",
+        "args": [],
+        "assignTo": "rmdirSync_result"
+      },
+      {
+        "kind": "call",
+        "function": "require",
+        "args": [],
+        "assignTo": "require_result"
+      },
+      {
+        "kind": "call",
+        "function": "dirname",
+        "args": [
+          {
+            "name": "path",
+            "type": "string",
+            "value": "{{path}}"
+          }
+        ],
+        "assignTo": "dirname_result"
+      }
+    ],
+    "transitions": [],
+    "violations": [],
+    "outcome": "success",
+    "timestamp": 1780064037502,
+    "llmCallCount": 0,
+    "durationMs": 0
+  },
+  "snapshotId": "snap_1780064032562_82709ff22603",
+  "endedAt": 1780064037502
+}