progmune-runtime 2.1.5 → 3.2.0

package/test/replay-golden/sess_1780064792710_y3avo.json

@@ -1,614 +0,0 @@
-{
-  "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

@@ -1,84 +0,0 @@
-/**
- * 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();