progmune-runtime 2.0.2 → 2.1.0

package/test/replay-golden/sess_1780064792710_y3avo.json

@@ -0,0 +1,614 @@
+{
+  "sessionId": "sess_1780064792710_y3avo",
+  "intent": "extract IR then validate and emit code",
+  "attempts": [
+    {
+      "id": "att_1780064797675_ak469",
+      "sessionId": "sess_1780064792710_y3avo",
+      "attemptNumber": 1,
+      "inputIntent": "extract IR then validate and emit code",
+      "plannerSeed": "3dfe9cef",
+      "constraintSnapshotId": "snap_1780064792712_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"
+        },
+        {
+          "kind": "call",
+          "function": "generateCandidateRules",
+          "args": [],
+          "assignTo": "generateCandidateRules_result"
+        },
+        {
+          "kind": "call",
+          "function": "runAndCheck",
+          "args": [
+            {
+              "name": "code",
+              "type": "string",
+              "value": "{{code}}"
+            }
+          ],
+          "assignTo": "runAndCheck_result"
+        },
+        {
+          "kind": "call",
+          "function": "random",
+          "args": [],
+          "assignTo": "random_result"
+        },
+        {
+          "kind": "call",
+          "function": "emitCode",
+          "args": [
+            {
+              "name": "actions",
+              "type": "Action[]",
+              "value": "{{actions}}"
+            }
+          ],
+          "assignTo": "emitCode_result"
+        },
+        {
+          "kind": "call",
+          "function": "emitPython",
+          "args": [
+            {
+              "name": "actions",
+              "type": "Action[]",
+              "value": "{{actions}}"
+            }
+          ],
+          "assignTo": "emitPython_result"
+        },
+        {
+          "kind": "call",
+          "function": "executeActionCode",
+          "args": [
+            {
+              "name": "code",
+              "type": "string",
+              "value": "{{code}}"
+            }
+          ],
+          "assignTo": "executeActionCode_result"
+        }
+      ],
+      "transitions": [],
+      "violations": [],
+      "outcome": "success",
+      "timestamp": 1780064797675,
+      "llmCallCount": 0,
+      "durationMs": 0
+    }
+  ],
+  "resolved": true,
+  "startedAt": 1780064792710,
+  "successfulAttempt": {
+    "id": "att_1780064797675_ak469",
+    "sessionId": "sess_1780064792710_y3avo",
+    "attemptNumber": 1,
+    "inputIntent": "extract IR then validate and emit code",
+    "plannerSeed": "3dfe9cef",
+    "constraintSnapshotId": "snap_1780064792712_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"
+      },
+      {
+        "kind": "call",
+        "function": "generateCandidateRules",
+        "args": [],
+        "assignTo": "generateCandidateRules_result"
+      },
+      {
+        "kind": "call",
+        "function": "runAndCheck",
+        "args": [
+          {
+            "name": "code",
+            "type": "string",
+            "value": "{{code}}"
+          }
+        ],
+        "assignTo": "runAndCheck_result"
+      },
+      {
+        "kind": "call",
+        "function": "random",
+        "args": [],
+        "assignTo": "random_result"
+      },
+      {
+        "kind": "call",
+        "function": "emitCode",
+        "args": [
+          {
+            "name": "actions",
+            "type": "Action[]",
+            "value": "{{actions}}"
+          }
+        ],
+        "assignTo": "emitCode_result"
+      },
+      {
+        "kind": "call",
+        "function": "emitPython",
+        "args": [
+          {
+            "name": "actions",
+            "type": "Action[]",
+            "value": "{{actions}}"
+          }
+        ],
+        "assignTo": "emitPython_result"
+      },
+      {
+        "kind": "call",
+        "function": "executeActionCode",
+        "args": [
+          {
+            "name": "code",
+            "type": "string",
+            "value": "{{code}}"
+          }
+        ],
+        "assignTo": "executeActionCode_result"
+      }
+    ],
+    "transitions": [],
+    "violations": [],
+    "outcome": "success",
+    "timestamp": 1780064797675,
+    "llmCallCount": 0,
+    "durationMs": 0
+  },
+  "snapshotId": "snap_1780064792712_82709ff22603",
+  "endedAt": 1780064797675
+}

package/test/replay-golden.ts

@@ -0,0 +1,84 @@
+/**
+ * Replay Golden Set — CI gate.
+ *
+ * Verifies all golden sessions pass deterministic replay.
+ * Any failure blocks the build.
+ *
+ * Usage: npx ts-node test/replay-golden.ts
+ */
+
+import * as fs from "fs";
+import * as path from "path";
+import { replaySession } from "../src/deterministic-replay";
+
+const GOLDEN_DIR = path.resolve(__dirname, "replay-golden");
+
+function main() {
+  const files = fs.readdirSync(GOLDEN_DIR).filter(f => f.endsWith(".json"));
+  if (files.length === 0) {
+    console.error("No golden sessions found.");
+    process.exit(1);
+  }
+
+  let passed = 0;
+  let failed = 0;
+  const failures: string[] = [];
+
+  for (const file of files) {
+    const sessionId = file.replace(".json", "");
+    // Temporarily override sessions dir to use golden set
+    // We replay from the golden file directly
+    const session = JSON.parse(fs.readFileSync(path.join(GOLDEN_DIR, file), "utf-8"));
+    const result = replaySessionFromData(sessionId, session);
+
+    if (result.success) {
+      passed++;
+    } else {
+      failed++;
+      failures.push(`${sessionId.slice(0, 13)}...: ${result.divergenceDetail || "unknown"}`);
+    }
+  }
+
+  console.log(`Replay Golden: ${passed}/${files.length} passed`);
+
+  if (failed > 0) {
+    console.error(`\n${failed} FAILURES:`);
+    for (const f of failures) console.error(`  ❌ ${f}`);
+    console.error(`\n❌ Replay Golden Set FAILED — blocking.`);
+    process.exit(1);
+  }
+
+  console.log("✅ All golden sessions replay consistently.");
+  process.exit(0);
+}
+
+/** Replay from a pre-loaded session object (avoids corpus dir dependency). */
+function replaySessionFromData(sessionId: string, session: any): ReturnType<typeof replaySession> {
+  // Use the same replay logic but from in-memory data
+  const { replayLedger } = require("../src/deterministic-replay");
+  const { getNsInit } = require("../src/protocol-registry");
+
+  let transitions: any[] = [];
+  let sessionRuleHash = session.ruleHash || "";
+  for (const attempt of (session.attempts || [])) {
+    transitions = transitions.concat(attempt.transitions || []);
+    if (!sessionRuleHash && (attempt.ruleHash || session.ruleHash)) {
+      sessionRuleHash = attempt.ruleHash || session.ruleHash;
+    }
+  }
+
+  const { hashLedger } = require("../src/ssg-validator");
+  const storedHash = transitions.length > 0 ? hashLedger(transitions) : "";
+
+  return replayLedger(
+    sessionId,
+    transitions,
+    sessionRuleHash,
+    storedHash,
+    undefined,
+    undefined,
+    getNsInit()
+  );
+}
+
+main();