@martinloop/mcp 0.2.7 → 0.3.1

package/dist/vendor/core/persistence/store.d.ts

@@ -12,6 +12,8 @@ export interface RunContract {
 export interface AttemptArtifacts {
     /** Compiled PromptPacket written as compiled-context.json */
     compiledContext: unknown;
+    /** Structured verification evidence captured from the authoritative MartinLoop verifier (optional) */
+    verification?: unknown;
     /** Unified diff string from the patch (optional) */
     diff?: string;
     /** Raw verifier command output (optional) */
@@ -35,6 +37,11 @@ export interface AttemptArtifacts {
  * is durably written before the run proceeds to the next step.
  */
 export interface RunStore {
+    /**
+     * Optional runs root hint for filesystem-backed stores.
+     * Orchestration should prefer this over recomputing the default home store.
+     */
+    runsRoot?: string;
     /**
      * Write contract.json for a new run. Called once at run start.
      * The contract is immutable after this point.

package/dist/vendor/core/persistence/store.js

@@ -1,7 +1,8 @@
 /// <reference types="node" />
-import { appendFile, mkdir, writeFile } from "node:fs/promises";
+import { appendFile, mkdir, readFile, writeFile } from "node:fs/promises";
 import { homedir } from "node:os";
 import { join } from "node:path";
+import { writeReceiptIntegrityMaterial } from "./integrity.js";
 // ─── FileRunStore implementation ─────────────────────────────────────────────
 export function resolveRunsRoot(env = process.env) {
     return env["MARTIN_RUNS_DIR"]?.trim() ??
@@ -31,6 +32,7 @@ export function artifactDir(runsRoot, runId, attemptIndex) {
 export function createFileRunStore(options = {}) {
     const runsRoot = options.runsRoot ?? resolveRunsRoot();
     return {
+        runsRoot,
         async initRun(contract) {
             const dir = runDir(runsRoot, contract.runId);
             await mkdir(dir, { recursive: true });
@@ -50,6 +52,9 @@ export function createFileRunStore(options = {}) {
             const dir = artifactDir(runsRoot, runId, attemptIndex);
             await mkdir(dir, { recursive: true });
             await writeJsonFile(join(dir, "compiled-context.json"), artifacts.compiledContext);
+            if (artifacts.verification !== undefined) {
+                await writeJsonFile(join(dir, "verification.json"), artifacts.verification);
+            }
             if (artifacts.diff !== undefined) {
                 await writeFile(join(dir, "diff.patch"), artifacts.diff, "utf8");
             }
@@ -79,6 +84,25 @@ export function createFileRunStore(options = {}) {
             const dir = runDir(runsRoot, runId);
             await mkdir(dir, { recursive: true });
             await writeJsonFile(join(dir, "loop-record.json"), loop);
+            const ledgerRaw = await readFile(join(dir, "ledger.jsonl"), "utf8").catch(() => "");
+            const ledgerEntries = ledgerRaw
+                .split(/\r?\n/u)
+                .map((line) => line.trim())
+                .filter(Boolean)
+                .map((line) => JSON.parse(line));
+            await writeReceiptIntegrityMaterial({
+                runId,
+                runsRoot,
+                loopRecord: loop,
+                ledgerEntries,
+                scope: loop.receiptScope ??
+                    {
+                        ...(loop.task.repoRoot ? { repoRoot: loop.task.repoRoot } : {}),
+                        ...(loop.task.repoRoot ? { workingDirectory: loop.task.repoRoot } : {}),
+                        runsRoot
+                    },
+                signedAt: loop.updatedAt
+            });
         }
     };
 }

package/dist/vendor/core/policy.d.ts

@@ -38,6 +38,15 @@ export interface MartinAdapterResultLike {
     verification: {
         passed: boolean;
         summary: string;
+        steps?: Array<{
+            command: string;
+            launched: boolean;
+            exitCode?: number;
+            timedOut: boolean;
+            fastFail?: boolean;
+            detail?: string;
+        }>;
+        warnings?: string[];
     };
     failure?: {
         message: string;

package/dist/workflow-state.d.ts

@@ -1,3 +1,4 @@
+import type { LoopBudget, ReceiptScope } from "./vendor/contracts/index.js";
 type McpWorkflowStepName = "doctor" | "plan" | "preflight";
 export interface RecordMcpWorkflowStepInput {
     runsRoot: string;
@@ -6,6 +7,10 @@ export interface RecordMcpWorkflowStepInput {
     objective?: string;
     engine?: string;
     verificationPlan?: string[];
+    receiptScope?: ReceiptScope;
+    allowedPaths?: string[];
+    deniedPaths?: string[];
+    budget?: LoopBudget;
 }
 export interface EvaluateMcpRunGateInput {
     runsRoot: string;
@@ -13,6 +18,10 @@ export interface EvaluateMcpRunGateInput {
     objective: string;
     engine?: string;
     verificationPlan?: string[];
+    receiptScope?: ReceiptScope;
+    allowedPaths?: string[];
+    deniedPaths?: string[];
+    budget?: LoopBudget;
 }
 export interface McpRunGateResult {
     allowed: boolean;

package/dist/workflow-state.js

@@ -15,7 +15,12 @@ export async function recordMcpWorkflowStep(input) {
         workingDirectory: normalizeWorkingDirectory(input.workingDirectory),
         ...(input.objective ? { objectiveKey: normalizeObjective(input.objective) } : {}),
         ...(input.engine ? { engine: input.engine } : {}),
-        ...(input.verificationPlan ? { verificationPlanKey: hashVerificationPlan(input.verificationPlan) } : {})
+        ...(input.verificationPlan ? { verificationPlanKey: hashVerificationPlan(input.verificationPlan) } : {}),
+        ...(input.receiptScope ? { scopeKey: hashReceiptScope(input.receiptScope) } : {}),
+        ...(input.allowedPaths || input.deniedPaths
+            ? { pathScopeKey: hashPathScope(input.allowedPaths ?? [], input.deniedPaths ?? []) }
+            : {}),
+        ...(input.budget ? { budgetKey: hashBudget(input.budget) } : {})
     };
     await writeWorkflowState(input.runsRoot, state);
 }
@@ -26,18 +31,31 @@ export async function evaluateMcpRunGate(input) {
     const objectiveKey = normalizeObjective(input.objective);
     const engine = input.engine ?? "claude";
     const verificationPlanKey = hashVerificationPlan(input.verificationPlan ?? []);
+    const scopeKey = hashReceiptScope(input.receiptScope ?? {
+        invocationRoot: input.workingDirectory,
+        workingDirectory: input.workingDirectory,
+        repoRoot: input.workingDirectory,
+        runsRoot: input.runsRoot
+    });
+    const pathScopeKey = hashPathScope(input.allowedPaths ?? [], input.deniedPaths ?? []);
+    const budgetKey = input.budget ? hashBudget(input.budget) : undefined;
     const missingSteps = [];
-    if (!isFresh(mcpState["doctor"], DOCTOR_TTL_MS, (receipt) => receipt.workingDirectory === workingDirectory)) {
+    if (!isFresh(mcpState["doctor"], DOCTOR_TTL_MS, (receipt) => receipt.workingDirectory === workingDirectory &&
+        receipt.scopeKey === scopeKey)) {
         missingSteps.push("doctor");
     }
     if (!isFresh(mcpState["plan"], PLAN_TTL_MS, (receipt) => receipt.workingDirectory === workingDirectory &&
+        receipt.scopeKey === scopeKey &&
         receipt.objectiveKey === objectiveKey)) {
         missingSteps.push("plan");
     }
     if (!isFresh(mcpState["preflight"], PREFLIGHT_TTL_MS, (receipt) => receipt.workingDirectory === workingDirectory &&
         receipt.objectiveKey === objectiveKey &&
         receipt.engine === engine &&
-        receipt.verificationPlanKey === verificationPlanKey)) {
+        receipt.verificationPlanKey === verificationPlanKey &&
+        receipt.scopeKey === scopeKey &&
+        receipt.pathScopeKey === pathScopeKey &&
+        (budgetKey === undefined || receipt.budgetKey === budgetKey))) {
         missingSteps.push("preflight");
     }
     if (missingSteps.length === 0) {
@@ -100,3 +118,28 @@ function hashVerificationPlan(verificationPlan) {
     const normalized = verificationPlan.map((step) => step.trim()).filter(Boolean);
     return createHash("sha256").update(JSON.stringify(normalized)).digest("hex").slice(0, 12);
 }
+function hashReceiptScope(receiptScope) {
+    const normalized = {
+        invocationRoot: normalizeWorkingDirectory(receiptScope.invocationRoot ?? receiptScope.workingDirectory ?? ""),
+        workingDirectory: normalizeWorkingDirectory(receiptScope.workingDirectory ?? receiptScope.repoRoot ?? ""),
+        repoRoot: normalizeWorkingDirectory(receiptScope.repoRoot ?? receiptScope.workingDirectory ?? ""),
+        runsRoot: normalizeWorkingDirectory(receiptScope.runsRoot ?? "")
+    };
+    return createHash("sha256").update(JSON.stringify(normalized)).digest("hex").slice(0, 12);
+}
+function hashPathScope(allowedPaths, deniedPaths) {
+    const normalized = {
+        allowedPaths: [...new Set(allowedPaths.map((entry) => entry.trim()).filter(Boolean))].sort(),
+        deniedPaths: [...new Set(deniedPaths.map((entry) => entry.trim()).filter(Boolean))].sort()
+    };
+    return createHash("sha256").update(JSON.stringify(normalized)).digest("hex").slice(0, 12);
+}
+function hashBudget(budget) {
+    const normalized = {
+        maxUsd: Number(budget.maxUsd.toFixed(4)),
+        softLimitUsd: Number(budget.softLimitUsd.toFixed(4)),
+        maxIterations: budget.maxIterations,
+        maxTokens: budget.maxTokens
+    };
+    return createHash("sha256").update(JSON.stringify(normalized)).digest("hex").slice(0, 12);
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@martinloop/mcp",
-  "version": "0.2.7",
+  "version": "0.3.1",
   "mcpName": "io.github.Keesan12/martin-loop",
   "private": false,
   "type": "module",
@@ -55,7 +55,7 @@
     "smoke:published": "node ./scripts/smoke-published-package.mjs",
     "smoke:published:pack": "node ./scripts/smoke-published-package.mjs --package-spec=pack",
     "verify:release": "node --test ../../scripts/tests/publish-mcp-workflow.test.mjs ../../scripts/tests/mcp-publish-reliability.test.mjs ../../scripts/tests/mcp-release-docs.test.mjs",
-    "test": "vitest run",
+    "test": "vitest run --maxWorkers=1",
     "lint": "tsc -p tsconfig.json --noEmit",
     "start": "node dist/server.js",
     "inspect:live": "node ./scripts/inspect-live.mjs"

package/server.json

@@ -7,12 +7,12 @@
     "url": "https://github.com/Keesan12/martin-loop",
     "source": "github"
   },
-  "version": "0.2.7",
+  "version": "0.3.1",
   "packages": [
     {
       "registryType": "npm",
       "identifier": "@martinloop/mcp",
-      "version": "0.2.7",
+      "version": "0.3.1",
       "transport": {
         "type": "stdio"
       }