@martinloop/mcp 0.5.3 → 0.5.6

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

@@ -0,0 +1,148 @@
+import { renderTable } from "./table.js";
+import { horizontalRule, terminalWidth, truncateVisible } from "./text.js";
+import { bold, paint, } from "./theme.js";
+function outcomeTone(outcome) {
+    if (outcome === "VERIFIED") {
+        return "success";
+    }
+    if (outcome === "STOPPED") {
+        return "danger";
+    }
+    return "warning";
+}
+function evidenceTone(status) {
+    if (status === "PASSED") {
+        return "success";
+    }
+    if (status === "FAILED" || status === "CONTRADICTED") {
+        return "danger";
+    }
+    return "warning";
+}
+function humanize(value) {
+    return value.replaceAll("_", " ").toLowerCase();
+}
+function checkSymbol(status) {
+    if (status === "PASSED") {
+        return "✓";
+    }
+    if (status === "FAILED" || status === "CONTRADICTED") {
+        return "✕";
+    }
+    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.
+ * Fail-closed: omitting executionMode or governanceClaimEligible downgrades
+ * VERIFIED → NEEDS_REVIEW, so legacy handoffs cannot claim full governance.
+ */
+function resolveHandoffAuthority(handoff) {
+    const executionMode = handoff.executionMode ?? "simulated";
+    const governanceClaimEligible = executionMode === "governed" && handoff.governanceClaimEligible === true;
+    const effectiveOutcome = handoff.outcome === "VERIFIED" && !governanceClaimEligible
+        ? "NEEDS_REVIEW"
+        : handoff.outcome;
+    return { executionMode, governanceClaimEligible, effectiveOutcome };
+}
+export function renderVerifiedHandoff(handoff, options = {}) {
+    const environment = options.environment ?? {};
+    const width = terminalWidth(options.width);
+    const bounded = (line) => truncateVisible(line, width);
+    const { executionMode, governanceClaimEligible, effectiveOutcome } = resolveHandoffAuthority(handoff);
+    const outcome = effectiveOutcome.replace("_", " ");
+    const checks = handoff.verification.checks.map((check) => ({
+        check: check.command,
+        status: paint(checkSymbol(check.status) + " " + check.status.replace("_", " "), evidenceTone(check.status), environment),
+    }));
+    const lines = [
+        horizontalRule(width, "━"),
+        bold("MARTINLOOP VERIFIED HANDOFF", environment) +
+            " — " +
+            paint(outcome, outcomeTone(effectiveOutcome), environment),
+        horizontalRule(width, "━"),
+        "",
+        bounded("Task".padEnd(20) + handoff.task.objective),
+        bounded("Run".padEnd(20) + handoff.loopId),
+        bounded("Execution Mode".padEnd(20) + executionMode.replaceAll("_", " ")),
+        bounded("Governed Claim".padEnd(20) + (governanceClaimEligible ? "ELIGIBLE" : "INELIGIBLE")),
+        bounded("Verification".padEnd(20) + handoff.verification.status.replace("_", " ")),
+        bounded("Scope".padEnd(20) + handoff.scope.status.replaceAll("_", " ")),
+        bounded("Test Integrity".padEnd(20) + handoff.testIntegrity.verdict),
+        bounded("Receipt Integrity".padEnd(20) + handoff.receiptIntegrity.state),
+        bounded("Attempts".padEnd(20) + handoff.usage.attempts),
+        bounded("Cost".padEnd(20) +
+            formatCost(handoff.usage.actualUsd, handoff.usage.costProvenance)),
+    ];
+    if (checks.length > 0) {
+        lines.push("", bold("VERIFICATION EVIDENCE", environment), renderTable(checks, [
+            { header: "CHECK", value: (row) => row.check, minWidth: 24 },
+            { header: "STATUS", value: (row) => row.status, minWidth: 18 },
+        ], width));
+    }
+    if (handoff.stopReason) {
+        lines.push("", bold("STOP REASON", environment), bounded("  " + paint(humanize(handoff.stopReason), "danger", environment)));
+    }
+    lines.push("", bold("UNRESOLVED", environment));
+    if (handoff.unresolvedWork.length === 0) {
+        lines.push("  None recorded.");
+    }
+    else {
+        lines.push(...handoff.unresolvedWork.map((item) => bounded("  - " + item)));
+    }
+    lines.push("", bold("RECOVERY", environment), bounded("  " + handoff.recovery.summary), "", bold("NEXT", environment), bounded("  " + handoff.nextAction), horizontalRule(width, "━"));
+    return lines.map(bounded).join("\n");
+}
+/**
+ * Renders a VerifiedHandoffV1 as plain Markdown (no ANSI).
+ *
+ * CRITICAL: replicates the exact effectiveOutcome trust-authority check from
+ * renderVerifiedHandoff so that CLI and MCP surfaces always agree on
+ * VERIFIED / NEEDS REVIEW / STOPPED for the same input.
+ */
+export function renderVerifiedHandoffMarkdown(handoff, options = {}) {
+    void options; // width/environment unused in plain Markdown
+    const { executionMode, governanceClaimEligible, effectiveOutcome } = resolveHandoffAuthority(handoff);
+    const outcome = effectiveOutcome.replace("_", " ");
+    const lines = [
+        `## MartinLoop Verified Handoff — ${outcome}`,
+        "",
+        "| Field | Value |",
+        "|-------|-------|",
+        `| Task | ${handoff.task.objective} |`,
+        `| Run | ${handoff.loopId} |`,
+        `| Execution Mode | ${executionMode.replaceAll("_", " ")} |`,
+        `| Governed Claim | ${governanceClaimEligible ? "ELIGIBLE" : "INELIGIBLE"} |`,
+        `| Verification | ${handoff.verification.status.replace("_", " ")} |`,
+        `| Scope | ${handoff.scope.status.replaceAll("_", " ")} |`,
+        `| Test Integrity | ${handoff.testIntegrity.verdict} |`,
+        `| Receipt Integrity | ${handoff.receiptIntegrity.state} |`,
+        `| Attempts | ${handoff.usage.attempts} |`,
+        `| Cost | ${formatCost(handoff.usage.actualUsd, handoff.usage.costProvenance)} |`,
+    ];
+    if (handoff.verification.checks.length > 0) {
+        lines.push("", "### Verification Evidence", "", "| Check | Status |", "|-------|--------|", ...handoff.verification.checks.map((check) => `| ${check.command} | ${checkSymbol(check.status)} ${check.status.replace("_", " ")} |`));
+    }
+    if (handoff.stopReason) {
+        lines.push("", "### Stop Reason", "", handoff.stopReason.replaceAll("_", " ").toLowerCase());
+    }
+    lines.push("", "### Unresolved");
+    if (handoff.unresolvedWork.length === 0) {
+        lines.push("", "None recorded.");
+    }
+    else {
+        lines.push("", ...handoff.unresolvedWork.map((item) => `- ${item}`));
+    }
+    lines.push("", "### Recovery", "", handoff.recovery.summary, "", "### Next", "", handoff.nextAction);
+    return lines.join("\n");
+}

package/package.json

@@ -1,80 +1,81 @@
-{
-  "name": "@martinloop/mcp",
-  "version": "0.5.3",
-  "mcpName": "io.github.Keesan12/martin-loop",
-  "private": false,
-  "type": "module",
-  "description": "MCP server for AI coding agents — verifier gates, stop limits, and Verified Handoffs.",
-  "license": "Apache-2.0",
-  "author": "MartinLoop contributors",
-  "homepage": "https://martinloop.com/",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/Keesan12/martin-loop.git",
-    "directory": "packages/mcp"
-  },
-  "bugs": {
-    "url": "https://github.com/Keesan12/martin-loop/issues"
-  },
-  "keywords": [
-    "mcp",
-    "model-context-protocol",
-    "martin-loop",
-    "ai-agent",
-    "claude",
-    "codex",
-    "martin_doctor",
-    "martin_triage_runs",
-    "martin_run_dossier",
-    "mcp-resources",
-    "mcp-prompts"
-  ],
-  "bin": {
-    "mcp": "./dist/server.js",
-    "martin-loop-mcp": "./dist/server.js"
-  },
-  "exports": {
-    "./server.json": "./server.json",
-    "./package.json": "./package.json"
-  },
-  "files": [
-    "dist",
-    "README.md",
-    "server.json"
-  ],
-  "engines": {
-    "node": ">=20.0.0"
-  },
-  "publishConfig": {
-    "access": "public"
-  },
-  "scripts": {
-    "build": "node ./scripts/build-package.mjs",
-    "prepack": "pnpm build",
-    "smoke:pack": "node ./scripts/smoke-package.mjs",
-    "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:baseline": "node ./scripts/run-test-lane.mjs baseline",
-    "test": "vitest run --maxWorkers=1",
-    "lint": "tsc -p tsconfig.json --noEmit",
-    "start": "node dist/server.js",
-    "inspect:live": "node ./scripts/inspect-live.mjs",
-    "mcpb:build": "node ./mcpb/build-mcpb.mjs",
-    "mcpb:validate": "mcpb validate ./dist-mcpb/martinloop",
-    "mcpb:smoke": "node ./mcpb/smoke-mcpb.mjs"
-  },
-  "dependencies": {
-    "@modelcontextprotocol/sdk": "^1.29.0",
-    "@open-policy-agent/opa-wasm": "^1.10.0",
-    "@opentelemetry/api-logs": "^0.214.0",
-    "@opentelemetry/exporter-logs-otlp-http": "^0.214.0",
-    "@opentelemetry/resources": "^2.6.1",
-    "@opentelemetry/sdk-logs": "^0.214.0",
-    "ts-morph": "^21.0.0"
-  },
-  "devDependencies": {
-    "@anthropic-ai/mcpb": "2.1.2",
-    "@martin/contracts": "workspace:*"
-  }
-}
+{
+  "name": "@martinloop/mcp",
+  "version": "0.5.6",
+  "mcpName": "io.github.Keesan12/martin-loop",
+  "private": false,
+  "type": "module",
+  "description": "MCP server for AI coding agents — verifier gates, stop limits, and Verified Handoffs.",
+  "license": "Apache-2.0",
+  "author": "MartinLoop contributors",
+  "homepage": "https://martinloop.com/",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Keesan12/martin-loop.git",
+    "directory": "packages/mcp"
+  },
+  "bugs": {
+    "url": "https://github.com/Keesan12/martin-loop/issues"
+  },
+  "keywords": [
+    "mcp",
+    "model-context-protocol",
+    "martin-loop",
+    "ai-agent",
+    "claude",
+    "codex",
+    "martin_doctor",
+    "martin_triage_runs",
+    "martin_run_dossier",
+    "mcp-resources",
+    "mcp-prompts"
+  ],
+  "bin": {
+    "mcp": "./dist/server.js",
+    "martin-loop-mcp": "./dist/server.js"
+  },
+  "exports": {
+    "./server.json": "./server.json",
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "server.json"
+  ],
+  "engines": {
+    "node": ">=20.0.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "node ./scripts/build-package.mjs",
+    "prepack": "pnpm build",
+    "smoke:pack": "node ./scripts/smoke-package.mjs",
+    "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:baseline": "node ./scripts/run-test-lane.mjs baseline",
+    "test": "vitest run --maxWorkers=1",
+    "lint": "tsc -p tsconfig.json --noEmit",
+    "start": "node dist/server.js",
+    "inspect:live": "node ./scripts/inspect-live.mjs",
+    "mcpb:build": "node ./mcpb/build-mcpb.mjs",
+    "mcpb:validate": "mcpb validate ./dist-mcpb/martinloop",
+    "mcpb:smoke": "node ./mcpb/smoke-mcpb.mjs"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.29.0",
+    "@open-policy-agent/opa-wasm": "^1.10.0",
+    "@opentelemetry/api-logs": "^0.214.0",
+    "@opentelemetry/exporter-logs-otlp-http": "^0.214.0",
+    "@opentelemetry/resources": "^2.6.1",
+    "@opentelemetry/sdk-logs": "^0.214.0",
+    "ts-morph": "^21.0.0"
+  },
+  "devDependencies": {
+    "@anthropic-ai/mcpb": "2.1.2",
+    "@martin/contracts": "workspace:*",
+    "@martin/presentation": "workspace:*"
+  }
+}

package/server.json

@@ -1,21 +1,21 @@
-{
-  "$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.",
-  "repository": {
-    "url": "https://github.com/Keesan12/martin-loop",
-    "source": "github"
-  },
-  "version": "0.5.3",
-  "packages": [
-    {
-      "registryType": "npm",
-      "identifier": "@martinloop/mcp",
-      "version": "0.5.3",
-      "transport": {
-        "type": "stdio"
-      }
-    }
-  ]
-}
+{
+  "$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.",
+  "repository": {
+    "url": "https://github.com/Keesan12/martin-loop",
+    "source": "github"
+  },
+  "version": "0.5.6",
+  "packages": [
+    {
+      "registryType": "npm",
+      "identifier": "@martinloop/mcp",
+      "version": "0.5.6",
+      "transport": {
+        "type": "stdio"
+      }
+    }
+  ]
+}