npm - progmune-runtime - Versions diffs - 2.0.2 → 2.1.0 - Mend

progmune-runtime 2.0.2 → 2.1.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 (107) 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/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/all-sessions.js +11 -0
package/dist/antibody-stats.js +11 -0
package/dist/audit.js +218 -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 +365 -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 +277 -0
package/dist/emitter.js +112 -12
package/dist/exec-metrics.js +11 -0
package/dist/execute.js +242 -0
package/dist/extract-ir.js +550 -5
package/dist/failure-collector.js +143 -0
package/dist/failure-corpus.js +481 -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 +6 -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 +137 -0
package/dist/learned.js +11 -0
package/dist/ledger-registry.js +241 -0
package/dist/llm.js +43 -2
package/dist/load-benchmarks.js +47 -0
package/dist/main.js +2 -1
package/dist/mcp-server.mjs +446 -34
package/dist/memory-layer.js +51 -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 +933 -65
package/dist/protocol-registry.js +105 -0
package/dist/recent-session.js +12 -0
package/dist/repair-proposal.js +353 -0
package/dist/report.js +32 -0
package/dist/runtime-invariants.js +161 -0
package/dist/runtime-types.js +117 -0
package/dist/search-planner.js +38 -9
package/dist/semantic-snapshot.js +155 -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/sessions.js +11 -0
package/dist/ssg-validator.js +658 -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/valid-fingerprints.js +13 -0
package/dist/validator.js +116 -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 +136 -0
package/public/dashboard.html +119 -0
package/readme.md +829 -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/fingerprints.json +0 -7
package/.progmune_memory/opt_in.json +0 -4
package/README.md +0 -118
package/dist/mcp-server.js +0 -55
package/immune_hub_data/2026-05-14.json +0 -50

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

@@ -0,0 +1,606 @@
+{
+  "sessionId": "sess_1780064413331_s2709",
+  "intent": "extract IR then validate",
+  "attempts": [
+    {
+      "id": "att_1780064417139_a2tyo",
+      "sessionId": "sess_1780064413331_s2709",
+      "attemptNumber": 1,
+      "inputIntent": "extract IR then validate",
+      "plannerSeed": "fca35c14",
+      "constraintSnapshotId": "snap_1780064413341_82709ff22603",
+      "generatedActions": [
+        {
+          "kind": "assign",
+          "target": "project_root",
+          "value": "/path/to/project"
+        },
+        {
+          "kind": "call",
+          "function": "ir_data",
+          "args": [
+            "project_root"
+          ],
+          "assignTo": "extractIR"
+        },
+        {
+          "kind": "call",
+          "function": "validation_result",
+          "args": [
+            "ir_data"
+          ],
+          "assignTo": "validateActionSequence"
+        },
+        {
+          "kind": "return",
+          "value": "validation_result"
+        }
+      ],
+      "transitions": [],
+      "violations": [
+        {
+          "svl": 1,
+          "violatedConstraint": "symbol_existence",
+          "actionIndex": 0,
+          "missingStates": [
+            "ir_data"
+          ],
+          "description": "函数 'ir_data' 不存在; 函数 'validation_result' 不存在"
+        }
+      ],
+      "outcome": "constraint_violation",
+      "timestamp": 1780064417139,
+      "llmCallCount": 0,
+      "durationMs": 0
+    },
+    {
+      "id": "att_1780064420679_sb22s",
+      "sessionId": "sess_1780064413331_s2709",
+      "attemptNumber": 2,
+      "inputIntent": "extract IR then validate",
+      "plannerSeed": "ea3207f1",
+      "constraintSnapshotId": "snap_1780064413341_82709ff22603",
+      "generatedActions": [
+        {
+          "kind": "call",
+          "function": "loadIR",
+          "args": [
+            {
+              "name": "p0",
+              "type": "any",
+              "value": []
+            }
+          ]
+        },
+        {
+          "kind": "assign",
+          "target": "ir_data",
+          "value": "loadIR_result"
+        },
+        {
+          "kind": "call",
+          "function": "validateActionSequence",
+          "args": [
+            {
+              "name": "actions",
+              "type": "Action[]",
+              "value": [
+                "ir_data"
+              ]
+            }
+          ]
+        },
+        {
+          "kind": "assign",
+          "target": "validation_result",
+          "value": "validateActionSequence_result"
+        },
+        {
+          "kind": "return",
+          "value": "validation_result"
+        }
+      ],
+      "transitions": [],
+      "violations": [
+        {
+          "svl": 2,
+          "violatedConstraint": "type_mismatch",
+          "actionIndex": 0,
+          "description": "参数数量不匹配: 期望 0, 实际 1"
+        }
+      ],
+      "outcome": "constraint_violation",
+      "timestamp": 1780064420679,
+      "llmCallCount": 0,
+      "durationMs": 0
+    },
+    {
+      "id": "att_1780064425837_wuinb",
+      "sessionId": "sess_1780064413331_s2709",
+      "attemptNumber": 3,
+      "inputIntent": "extract IR then validate",
+      "plannerSeed": "85f42c5e",
+      "constraintSnapshotId": "snap_1780064413341_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": "extractFingerprints",
+          "args": [
+            {
+              "name": "cursor",
+              "type": "{ lastTimestamp: string | null }",
+              "value": "{{cursor}}"
+            }
+          ],
+          "assignTo": "extractFingerprints_result"
+        },
+        {
+          "kind": "call",
+          "function": "extractKeywords",
+          "args": [
+            {
+              "name": "intent",
+              "type": "string",
+              "value": "{{intent}}"
+            }
+          ],
+          "assignTo": "extractKeywords_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"
+        },
+        {
+          "kind": "call",
+          "function": "validateProtocolWithTransitions",
+          "args": [
+            {
+              "name": "actions",
+              "type": "Action[]",
+              "value": "{{actions}}"
+            },
+            {
+              "name": "protocols",
+              "type": "FunctionProtocol[]",
+              "value": "{{protocols}}"
+            },
+            {
+              "name": "namespaceInitialStates",
+              "type": "Map<string, string>",
+              "value": "{{namespaceInitialStates}}"
+            }
+          ],
+          "assignTo": "validateProtocolWithTransitions_result"
+        },
+        {
+          "kind": "call",
+          "function": "validateAction",
+          "args": [
+            {
+              "name": "action",
+              "type": "Action",
+              "value": "{{action}}"
+            }
+          ],
+          "assignTo": "validateAction_result"
+        },
+        {
+          "kind": "call",
+          "function": "validateActionSequence",
+          "args": [
+            {
+              "name": "actions",
+              "type": "Action[]",
+              "value": "{{actions}}"
+            }
+          ],
+          "assignTo": "validateActionSequence_result"
+        }
+      ],
+      "transitions": [],
+      "violations": [],
+      "outcome": "success",
+      "timestamp": 1780064425837,
+      "llmCallCount": 0,
+      "durationMs": 0
+    }
+  ],
+  "resolved": true,
+  "startedAt": 1780064413331,
+  "successfulAttempt": {
+    "id": "att_1780064425837_wuinb",
+    "sessionId": "sess_1780064413331_s2709",
+    "attemptNumber": 3,
+    "inputIntent": "extract IR then validate",
+    "plannerSeed": "85f42c5e",
+    "constraintSnapshotId": "snap_1780064413341_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": "extractFingerprints",
+        "args": [
+          {
+            "name": "cursor",
+            "type": "{ lastTimestamp: string | null }",
+            "value": "{{cursor}}"
+          }
+        ],
+        "assignTo": "extractFingerprints_result"
+      },
+      {
+        "kind": "call",
+        "function": "extractKeywords",
+        "args": [
+          {
+            "name": "intent",
+            "type": "string",
+            "value": "{{intent}}"
+          }
+        ],
+        "assignTo": "extractKeywords_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"
+      },
+      {
+        "kind": "call",
+        "function": "validateProtocolWithTransitions",
+        "args": [
+          {
+            "name": "actions",
+            "type": "Action[]",
+            "value": "{{actions}}"
+          },
+          {
+            "name": "protocols",
+            "type": "FunctionProtocol[]",
+            "value": "{{protocols}}"
+          },
+          {
+            "name": "namespaceInitialStates",
+            "type": "Map<string, string>",
+            "value": "{{namespaceInitialStates}}"
+          }
+        ],
+        "assignTo": "validateProtocolWithTransitions_result"
+      },
+      {
+        "kind": "call",
+        "function": "validateAction",
+        "args": [
+          {
+            "name": "action",
+            "type": "Action",
+            "value": "{{action}}"
+          }
+        ],
+        "assignTo": "validateAction_result"
+      },
+      {
+        "kind": "call",
+        "function": "validateActionSequence",
+        "args": [
+          {
+            "name": "actions",
+            "type": "Action[]",
+            "value": "{{actions}}"
+          }
+        ],
+        "assignTo": "validateActionSequence_result"
+      }
+    ],
+    "transitions": [],
+    "violations": [],
+    "outcome": "success",
+    "timestamp": 1780064425837,
+    "llmCallCount": 0,
+    "durationMs": 0
+  },
+  "snapshotId": "snap_1780064413341_82709ff22603",
+  "endedAt": 1780064425837
+}