@martinloop/mcp 0.5.5 → 0.5.7

package/dist/vendor/core/policy-compiler.js

@@ -5,7 +5,7 @@ export function compileExecutionPolicy(input) {
         maxUsd: resolveBudgetField("maxUsd", input, provenance),
         softLimitUsd: resolveBudgetField("softLimitUsd", input, provenance),
         maxIterations: resolveBudgetField("maxIterations", input, provenance),
-        maxTokens: resolveBudgetField("maxTokens", input, provenance)
+        ...resolveOptionalTokenBudget(input, provenance)
     };
     if (budget.softLimitUsd >= budget.maxUsd) {
         budget.softLimitUsd = Math.round(budget.maxUsd * 0.75 * 100) / 100;
@@ -103,6 +103,22 @@ export function compileExecutionPolicy(input) {
         provenance
     });
 }
+function resolveOptionalTokenBudget(input, provenance) {
+    if (input.request.budgetOverrides?.maxTokens && input.request.budget.maxTokens !== undefined) {
+        provenance.push({ field: "budget.maxTokens", source: "request", value: String(input.request.budget.maxTokens) });
+        return { maxTokens: input.request.budget.maxTokens };
+    }
+    const configValue = input.config?.budget?.maxTokens;
+    if (typeof configValue === "number" && Number.isFinite(configValue)) {
+        provenance.push({ field: "budget.maxTokens", source: "config", value: String(configValue) });
+        return { maxTokens: configValue };
+    }
+    if (input.defaults.budget.maxTokens !== undefined) {
+        provenance.push({ field: "budget.maxTokens", source: "default", value: String(input.defaults.budget.maxTokens) });
+        return { maxTokens: input.defaults.budget.maxTokens };
+    }
+    return {};
+}
 function resolveBudgetField(field, input, provenance) {
     if (input.request.budgetOverrides?.[field]) {
         const value = input.request.budget[field];

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

@@ -12,7 +12,7 @@ export interface CostGovernorState {
     shouldStop: boolean;
     remainingBudgetUsd: number;
     remainingIterations: number;
-    remainingTokens: number;
+    remainingTokens?: number;
     recommendedIntervention?: InterventionType;
 }
 export interface ExitDecision {
@@ -97,6 +97,7 @@ export declare function inferExit(input: {
     lastFailure?: FailureAssessment;
     costState: CostGovernorState;
     canSwitchAdapter?: boolean;
+    verificationRequired?: boolean;
 }): ExitDecision;
 export interface BudgetPreflightInput {
     promptCharCount: number;

package/dist/vendor/core/policy.js

@@ -165,16 +165,18 @@ export function classifyFailure(input) {
 export function evaluateCostGovernor(input) {
     const remainingBudgetUsd = roundUsd(input.budget.maxUsd - input.cost.actualUsd);
     const remainingIterations = Math.max(input.budget.maxIterations - input.attemptsUsed, 0);
-    const remainingTokens = Math.max(input.budget.maxTokens - input.cost.tokensIn - input.cost.tokensOut, 0);
+    const remainingTokens = input.budget.maxTokens === undefined
+        ? undefined
+        : Math.max(input.budget.maxTokens - input.cost.tokensIn - input.cost.tokensOut, 0);
     if (input.cost.actualUsd >= input.budget.maxUsd ||
         input.attemptsUsed >= input.budget.maxIterations ||
-        remainingTokens <= 0) {
+        (remainingTokens !== undefined && remainingTokens <= 0)) {
         return {
             pressure: "hard_limit",
             shouldStop: true,
             remainingBudgetUsd,
             remainingIterations,
-            remainingTokens,
+            ...(remainingTokens !== undefined ? { remainingTokens } : {}),
             recommendedIntervention: "stop_loop"
         };
     }
@@ -184,7 +186,7 @@ export function evaluateCostGovernor(input) {
             shouldStop: false,
             remainingBudgetUsd,
             remainingIterations,
-            remainingTokens,
+            ...(remainingTokens !== undefined ? { remainingTokens } : {}),
             recommendedIntervention: "compress_context"
         };
     }
@@ -193,7 +195,7 @@ export function evaluateCostGovernor(input) {
         shouldStop: false,
         remainingBudgetUsd,
         remainingIterations,
-        remainingTokens
+        ...(remainingTokens !== undefined ? { remainingTokens } : {})
     };
 }
 export function calculateCostPerOutcome(input) {
@@ -210,6 +212,14 @@ export function calculateCostPerOutcome(input) {
     };
 }
 export function inferExit(input) {
+    if (input.lastResult.status === "completed" && input.verificationRequired === false) {
+        return {
+            shouldExit: true,
+            lifecycleState: "completed",
+            status: "completed",
+            reason: "Execution-only work completed without verifier evidence; outcome is not VERIFIED."
+        };
+    }
     if (input.lastResult.status === "completed" && input.lastResult.verification.passed) {
         return {
             shouldExit: true,

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

@@ -1,4 +1,7 @@
 import type { PatchDecision, RollbackBoundaryArtifact, RollbackOutcomeArtifact } from "../contracts/index.js";
+export declare class RollbackStateUnavailableError extends Error {
+    constructor(message: string);
+}
 export declare function listAttemptChangedFilesSinceBoundary(input: {
     repoRoot?: string;
     boundary?: RollbackBoundaryArtifact;

package/dist/vendor/core/rollback.js

@@ -1,7 +1,12 @@
 import { spawnSync } from "node:child_process";
-import { readFileSync } from "node:fs";
 import { mkdir, readFile, rm, writeFile } from "node:fs/promises";
 import { dirname, relative, resolve } from "node:path";
+export class RollbackStateUnavailableError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "RollbackStateUnavailableError";
+    }
+}
 export function listAttemptChangedFilesSinceBoundary(input) {
     if (!input.repoRoot) {
         return [];
@@ -12,24 +17,11 @@ export function listAttemptChangedFilesSinceBoundary(input) {
     }
     const baselineTracked = new Set(input.boundary.trackedDirtyFiles);
     const baselineUntracked = new Set(input.boundary.untrackedFiles);
-    const baselineContentChanges = input.boundary.snapshots
-        .filter((snapshot) => snapshot.existed && repoFileDiffersFromSnapshot(input.repoRoot, snapshot))
-        .map((snapshot) => snapshot.path);
     return uniqueSorted([
         ...repoState.trackedDirtyFiles.filter((filePath) => !baselineTracked.has(filePath)),
-        ...repoState.untrackedFiles.filter((filePath) => !baselineUntracked.has(filePath)),
-        ...baselineContentChanges
+        ...repoState.untrackedFiles.filter((filePath) => !baselineUntracked.has(filePath))
     ]);
 }
-function repoFileDiffersFromSnapshot(repoRoot, snapshot) {
-    try {
-        const current = readFileSync(resolveRepoPath(repoRoot, snapshot.path));
-        return current.toString("base64") !== snapshot.contentBase64;
-    }
-    catch {
-        return true;
-    }
-}
 export async function captureRollbackBoundary(input) {
     if (!input.repoRoot) {
         return undefined;
@@ -147,6 +139,7 @@ function readRepoState(repoRoot) {
     };
 }
 function readGitLines(repoRoot, args) {
+    let lastFailure = "unknown Git failure";
     for (let attempt = 0; attempt < 2; attempt++) {
         const result = spawnSync("git", args, {
             cwd: repoRoot,
@@ -158,13 +151,14 @@ function readGitLines(repoRoot, args) {
                 .map((line) => normalizeRepoPath(line))
                 .filter(Boolean));
         }
+        lastFailure = gitFailureMessage(result);
         // Retry once after a short delay — handles git lock-file contention
         // that occurs when another process holds .git/index.lock.
         if (attempt === 0 && result.status !== 0) {
-            spawnSync("sleep", ["0.5"], { encoding: "utf8" });
+            delaySynchronously(500);
         }
     }
-    return [];
+    throw new RollbackStateUnavailableError(`Git rollback state unavailable for ${args.join(" ")}: ${lastFailure}`);
 }
 function readGitScalar(repoRoot, args) {
     const result = spawnSync("git", args, {
@@ -172,7 +166,7 @@ function readGitScalar(repoRoot, args) {
         encoding: "utf8"
     });
     if (result.status !== 0 || typeof result.stdout !== "string") {
-        return undefined;
+        throw new RollbackStateUnavailableError(`Git rollback state unavailable for ${args.join(" ")}: ${gitFailureMessage(result)}`);
     }
     const value = result.stdout.trim();
     return value.length > 0 ? value : undefined;
@@ -188,7 +182,10 @@ async function readRollbackSnapshot(repoRoot, filePath) {
             contentBase64: contents.toString("base64")
         };
     }
-    catch {
+    catch (error) {
+        if (!isFileNotFoundError(error)) {
+            throw new RollbackStateUnavailableError(`Rollback snapshot unavailable for ${normalizeRepoPath(filePath)}: ${toErrorMessage(error)}`);
+        }
         return {
             path: normalizeRepoPath(filePath),
             existed: false,
@@ -214,7 +211,7 @@ function restoreTrackedFileFromHead(repoRoot, filePath) {
         return;
     }
     // Retry once after a short delay (git lock-file contention)
-    spawnSync("sleep", ["0.5"], { encoding: "utf8" });
+    delaySynchronously(500);
     const retry = spawnSync("git", ["restore", "--staged", "--worktree", "--source=HEAD", "--", filePath], { cwd: repoRoot, encoding: "utf8" });
     if (retry.status === 0) {
         return;
@@ -264,3 +261,19 @@ function emptyRepoState() {
 function toErrorMessage(error) {
     return error instanceof Error ? error.message : String(error);
 }
+function gitFailureMessage(result) {
+    if (result.error) {
+        return result.error.message;
+    }
+    if (typeof result.stderr === "string" && result.stderr.trim().length > 0) {
+        return result.stderr.trim();
+    }
+    return `git exited with status ${String(result.status)}`;
+}
+function isFileNotFoundError(error) {
+    return error instanceof Error && "code" in error && error.code === "ENOENT";
+}
+function delaySynchronously(milliseconds) {
+    const signal = new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT));
+    Atomics.wait(signal, 0, 0, milliseconds);
+}

package/dist/vendor/core/verified-handoff.js

@@ -33,6 +33,9 @@ export function verifierActuallyPassed(evidence, expected) {
     if (!evidence?.passed || !evidence.binding || !evidence.steps) {
         return false;
     }
+    if (expected.commands.length === 0) {
+        return false;
+    }
     if (evidence.binding.runId !== expected.runId ||
         evidence.binding.workspaceId !== expected.workspaceId ||
         evidence.binding.cwd !== expected.cwd ||
@@ -93,7 +96,6 @@ export function deriveVerifiedHandoffExecutionBoundary(loop) {
     const persistedMode = isExecutionMode(loop.metadata["executionMode"])
         ? loop.metadata["executionMode"]
         : undefined;
-    const groundingEvidenceAvailable = loop.metadata["groundingEvidenceStatus"] !== "unavailable";
     const executionMode = hasSimulatedAdapter
         ? "simulated"
         : hasVerifierOnlyAdapter
@@ -101,7 +103,7 @@ export function deriveVerifiedHandoffExecutionBoundary(loop) {
             : persistedMode ?? (adapterIds.length > 0 ? "governed" : "simulated");
     return {
         executionMode,
-        governanceClaimEligible: executionMode === "governed" && adapterIds.length > 0 && groundingEvidenceAvailable,
+        governanceClaimEligible: executionMode === "governed" && adapterIds.length > 0,
     };
 }
 function toEvidenceStatus(status) {
@@ -157,17 +159,34 @@ export function buildVerifiedHandoff(input) {
             "Test integrity was not evaluated for this run.",
     };
     const executionBoundary = deriveVerifiedHandoffExecutionBoundary(input.loop);
+    const verifierStepsActuallyPassed = input.verification.steps.length > 0 &&
+        input.verification.steps.every((step) => step.launched === true &&
+            step.completed === true &&
+            step.crashed === false &&
+            step.timedOut !== true &&
+            step.exitCode === 0);
+    const effectiveVerificationStatus = input.verification.status === "passed" && !verifierStepsActuallyPassed
+        ? input.verification.steps.length === 0
+            ? "not_run"
+            : "contradicted"
+        : input.verification.status;
+    const verificationWarnings = [
+        ...input.verification.warnings,
+        ...(effectiveVerificationStatus !== input.verification.status
+            ? ["A VERIFIED claim requires at least one launched, completed, exit-zero verifier step."]
+            : []),
+    ];
     const outcome = resolveVerifiedHandoffOutcome({
         lifecycleState: input.loop.lifecycleState,
         executionStatus: input.executionStatus,
-        verificationStatus: input.verification.status,
+        verificationStatus: effectiveVerificationStatus,
         receiptIntegrity: input.receiptIntegrity.state,
         scopeStatus: scope.status,
         testIntegrityStatus: testIntegrity.status,
         mutationRequired: input.mutationRequired ?? input.loop.task.mutationMode === "edit",
         changedFileCount: scope.changedFiles.length,
         definitionOfDonePreSatisfied: input.definitionOfDonePreSatisfied,
-        evidenceContradicted: input.evidenceContradicted ?? input.verification.status === "contradicted",
+        evidenceContradicted: input.evidenceContradicted ?? effectiveVerificationStatus === "contradicted",
         governanceClaimEligible: executionBoundary.governanceClaimEligible,
         unresolvedWorkCount: unresolvedWork.length,
     });
@@ -196,10 +215,10 @@ export function buildVerifiedHandoff(input) {
             lifecycleState: input.loop.lifecycleState,
         },
         verification: {
-            status: toEvidenceStatus(input.verification.status),
+            status: toEvidenceStatus(effectiveVerificationStatus),
             summary: input.verification.summary,
             checks: input.verification.steps.map(toCheck),
-            warnings: input.verification.warnings,
+            warnings: verificationWarnings,
         },
         requirements: input.requirements ?? [],
         scope,

package/dist/vendor/presentation/motion.js

@@ -10,10 +10,6 @@ export function canAnimate(env = {}) {
     if (mode !== "human") {
         return false;
     }
-    const noColor = env.noColor ?? Object.prototype.hasOwnProperty.call(process.env, "NO_COLOR");
-    if (noColor) {
-        return false;
-    }
     const stdoutTty = env.stdoutIsTty ?? process.stdout.isTTY === true;
     if (!stdoutTty) {
         return false;

package/dist/vendor/presentation/verified-handoff.js

@@ -22,19 +22,6 @@ function evidenceTone(status) {
 function humanize(value) {
     return value.replaceAll("_", " ").toLowerCase();
 }
-function formatCost(usd, provenance) {
-    if (provenance === "unavailable") {
-        return "unavailable";
-    }
-    const amount = "$" + usd.toFixed(2);
-    if (provenance === "actual") {
-        return amount + " provider-settled actual";
-    }
-    if (provenance === "calculated") {
-        return amount + " calculated from observed usage";
-    }
-    return amount + " estimated";
-}
 function checkSymbol(status) {
     if (status === "PASSED") {
         return "✓";
@@ -44,6 +31,16 @@ function checkSymbol(status) {
     }
     return "•";
 }
+function formatCost(usd, provenance) {
+    if (provenance === "unavailable")
+        return "unavailable";
+    const amount = "$" + usd.toFixed(2);
+    if (provenance === "actual")
+        return amount + " provider-settled actual";
+    if (provenance === "calculated")
+        return amount + " calculated from observed usage";
+    return amount + " estimated";
+}
 /**
  * Single source of truth for the trust-authority outcome calculation.
  * Both terminal and Markdown renderers call this — never duplicate.

package/dist/workflow-state.js

@@ -145,7 +145,7 @@ function hashBudget(budget) {
         maxUsd: Number(budget.maxUsd.toFixed(4)),
         softLimitUsd: Number(budget.softLimitUsd.toFixed(4)),
         maxIterations: budget.maxIterations,
-        maxTokens: budget.maxTokens
+        ...(budget.maxTokens !== undefined ? { maxTokens: budget.maxTokens } : {})
     };
     return createHash("sha256").update(JSON.stringify(normalized)).digest("hex").slice(0, 12);
 }

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@martinloop/mcp",
-  "version": "0.5.5",
+  "version": "0.5.7",
   "mcpName": "io.github.Keesan12/martin-loop",
   "private": false,
   "type": "module",
-  "description": "MCP server for AI coding agents — verifier gates, stop limits, and Verified Handoffs.",
+  "description": "MCP server for AI coding agents \u00e2\u20ac\u201d verifier gates, stop limits, and Verified Handoffs.",
   "license": "Apache-2.0",
   "author": "MartinLoop contributors",
   "homepage": "https://martinloop.com/",
@@ -18,16 +18,23 @@
   },
   "keywords": [
     "mcp",
+    "mcp-server",
     "model-context-protocol",
-    "martin-loop",
-    "ai-agent",
-    "claude",
+    "coding-agent",
+    "coding-agents",
+    "ai-coding-agent",
+    "ai-coding-agents",
+    "autonomous-coding",
+    "claude-code",
     "codex",
-    "martin_doctor",
-    "martin_triage_runs",
-    "martin_run_dossier",
-    "mcp-resources",
-    "mcp-prompts"
+    "gemini-cli",
+    "cursor",
+    "vscode",
+    "agent-runtime",
+    "agent-verification",
+    "developer-tools",
+    "software-engineering",
+    "martin-loop"
   ],
   "bin": {
     "mcp": "./dist/server.js",
@@ -50,6 +57,8 @@
   },
   "scripts": {
     "build": "node ./scripts/build-package.mjs",
+    "version:sync": "node ./scripts/version-sync.mjs",
+    "version:check": "node ./scripts/verify-version-consistency.mjs",
     "prepack": "pnpm build",
     "smoke:pack": "node ./scripts/smoke-package.mjs",
     "smoke:published": "node ./scripts/smoke-published-package.mjs",
@@ -78,4 +87,4 @@
     "@martin/contracts": "workspace:*",
     "@martin/presentation": "workspace:*"
   }
-}
+}

package/server.json

@@ -2,17 +2,17 @@
   "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
   "name": "io.github.Keesan12/martin-loop",
   "title": "Martin Loop",
-  "description": "MCP server for AI coding agents — verifier gates, stop limits, and Verified Handoffs.",
+  "description": "One system around coding agents to run, verify, recover, and hand off software work.",
   "repository": {
     "url": "https://github.com/Keesan12/martin-loop",
     "source": "github"
   },
-  "version": "0.5.5",
+  "version": "0.5.7",
   "packages": [
     {
       "registryType": "npm",
       "identifier": "@martinloop/mcp",
-      "version": "0.5.5",
+      "version": "0.5.7",
       "transport": {
         "type": "stdio"
       }