@haven_ai/mcp 0.6.0-alpha.0 → 0.7.0-alpha.0

package/dist/cli.js

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 import { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
 import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
-import { composeDescription, toolDescriptions as toolDescriptions$1, HavenClient, havenClientIdentity, isSupportedNodeVersion, unsupportedNodeVersionMessage, HavenPaymentStateError, HavenSigningError, HavenApiError, AgentPaymentNextAction, HavenError, AgentPaymentFailureCode, verifyPaymentReceipt, discoverMerchantMcpUrl, sameUrl, resolveTokenFromAddress } from '@haven_ai/sdk';
+import { composeDescription, toolDescriptions as toolDescriptions$1, HavenClient, havenClientIdentity, isSupportedNodeVersion, unsupportedNodeVersionMessage, resolveTokenBySymbol, formatTokenAmount, HavenPaymentStateError, HavenSigningError, HavenApiError, AgentPaymentNextAction, HavenError, AgentPaymentFailureCode, verifyPaymentReceipt, discoverMerchantMcpUrl, sameUrl, resolveTokenFromAddress, TASK_SIGN_CONTEXT_VERSION, connectorUpgradeCommand } from '@haven_ai/sdk';
 import { readFile, mkdir, writeFile, stat } from 'fs/promises';
 import { z } from 'zod/v3';
 import { createHash } from 'crypto';
@@ -236,6 +236,17 @@ async function warnIfCredentialFilePermissive(path, log = (message) => process.s
     );
   }
 }
+var TASK_BUDGET_MIN_SIGNER_VERSION = "0.6.0-alpha.0";
+var SIGNER_CAPABILITY_KEY = "haven/signer-compatibility";
+function taskSignerCompatibilityNotice() {
+  return {
+    task_sign_context_version: TASK_SIGN_CONTEXT_VERSION,
+    min_signer_version: TASK_BUDGET_MIN_SIGNER_VERSION,
+    signer_capability: SIGNER_CAPABILITY_KEY,
+    check: `Call next_tool with next_arguments EXACTLY as given \u2014 the signer fetches the exact bytes by task_budget_id. If haven_sign answers SIGNING_ERROR with a message starting "Pass payment_id (preferred for delegation-rail x402", the signer predates task budgets and signed nothing: first close this budget with haven_close_task_budget { task_budget_id } to release it, then update the connector by running \`${connectorUpgradeCommand()}\` and the repair line it prints, then open the budget again.`,
+    fallback: `haven_sign answered SIGNING_ERROR with a message starting "Pass payment_id (preferred for delegation-rail x402" \u2014 the signer predates task budgets and signed nothing: call haven_close_task_budget { task_budget_id } to release the pending budget, then update the connector by running \`${connectorUpgradeCommand()}\` and the repair line it prints, then open the budget again. There is no relay fallback for this signing context.`
+  };
+}
 var headersSchema = z.record(z.string(), z.string()).optional();
 var toolSchemas = {
   haven_send: {
@@ -243,18 +254,24 @@ var toolSchemas = {
     recipient: z.string().min(1),
     amount: z.string().min(1),
     idempotency_key: z.string().optional(),
-    /** Legacy spelling, accepted during the #2366 window. Warns; do not use. */
-    idempotencyKey: z.string().optional(),
+    /** REMOVED (#3411): declared only so the resolver can refuse it by name, never accepted. */
+    idempotencyKey: z.string().optional().describe("REMOVED (#3411): refused \u2014 send idempotency_key"),
     /** #3329: spend against an open task budget instead of the agent's period budget. */
-    task_budget_id: z.string().min(1).optional()
+    task_budget_id: z.string().min(1).optional(),
+    /**
+     * #3330: spend against an open sub-budget this agent HOLDS (it is the
+     * sub-agent B) instead of the agent's own budget. Mutually exclusive
+     * with task_budget_id — the backend refuses a body naming both.
+     */
+    sub_budget_id: z.string().min(1).optional()
   },
   haven_pay_mcp_tool: {
     merchant_url: z.string().url(),
     tool_name: z.string().min(1),
     arguments: z.record(z.string(), z.unknown()).optional(),
     idempotency_key: z.string().optional(),
-    /** Legacy spelling, accepted during the #2366 window. Warns; do not use. */
-    idempotencyKey: z.string().optional()
+    /** REMOVED (#3411): declared only so the resolver can refuse it by name, never accepted. */
+    idempotencyKey: z.string().optional().describe("REMOVED (#3411): refused \u2014 send idempotency_key")
   },
   haven_quote_x402: {
     url: z.string().url(),
@@ -262,16 +279,18 @@ var toolSchemas = {
     headers: headersSchema,
     body: z.string().optional(),
     idempotency_key: z.string().optional(),
-    /** Legacy spelling, accepted during the #2366 window. Warns; do not use. */
-    idempotencyKey: z.string().optional()
+    /** REMOVED (#3411): declared only so the resolver can refuse it by name, never accepted. */
+    idempotencyKey: z.string().optional().describe("REMOVED (#3411): refused \u2014 send idempotency_key")
   },
   haven_pay_x402_quote: {
     quote: z.unknown(),
     idempotency_key: z.string().optional(),
-    /** Legacy spelling, accepted during the #2366 window. Warns; do not use. */
-    idempotencyKey: z.string().optional(),
+    /** REMOVED (#3411): declared only so the resolver can refuse it by name, never accepted. */
+    idempotencyKey: z.string().optional().describe("REMOVED (#3411): refused \u2014 send idempotency_key"),
     /** #3329: spend against an open task budget instead of the agent's period budget. */
-    task_budget_id: z.string().min(1).optional()
+    task_budget_id: z.string().min(1).optional(),
+    /** #3330: spend against an open sub-budget this agent holds (it is sub-agent B). Mutually exclusive with task_budget_id. */
+    sub_budget_id: z.string().min(1).optional()
   },
   haven_pay_x402: {
     url: z.string().url(),
@@ -279,10 +298,12 @@ var toolSchemas = {
     headers: headersSchema,
     body: z.string().optional(),
     idempotency_key: z.string().optional(),
-    /** Legacy spelling, accepted during the #2366 window. Warns; do not use. */
-    idempotencyKey: z.string().optional(),
+    /** REMOVED (#3411): declared only so the resolver can refuse it by name, never accepted. */
+    idempotencyKey: z.string().optional().describe("REMOVED (#3411): refused \u2014 send idempotency_key"),
     /** #3329: spend against an open task budget instead of the agent's period budget. */
-    task_budget_id: z.string().min(1).optional()
+    task_budget_id: z.string().min(1).optional(),
+    /** #3330: spend against an open sub-budget this agent holds (it is sub-agent B). Mutually exclusive with task_budget_id. */
+    sub_budget_id: z.string().min(1).optional()
   },
   haven_resume_x402_payment: {
     payment_id: z.string().optional(),
@@ -310,7 +331,9 @@ var toolSchemas = {
   haven_list_receipts: {
     limit: z.number().int().min(1).max(100).optional(),
     /** #3128: the previous page's next_cursor (a receipt id). */
-    cursor: z.string().min(1).optional()
+    cursor: z.string().min(1).optional(),
+    /** #3423: drop each row's payload echoes; the default shape is unchanged. */
+    compact: z.boolean().optional().describe("true drops challengePayload, selectedPayment and protocolReceiptPayload from each row; omit for the full row.")
   },
   haven_verify_receipt: {
     receipt: z.unknown()
@@ -399,12 +422,15 @@ function createToolHandlers(haven) {
             token: args.asset,
             amount: args.amount,
             to: args.recipient,
-            // #1207: was accepted by the schema but silently dropped — now
-            // carried to the backend's replay contract.
-            idempotencyKey: args.idempotencyKey,
+            // #1207/#3411: was accepted by the schema but silently dropped — now
+            // carried to the backend's replay contract via the resolved carrier.
+            idempotencyKey: args.resolvedIdempotencyKey,
             // #3329: spend against an open task budget instead of the
             // agent's period budget, when the caller names one.
-            ...typeof args.task_budget_id === "string" ? { taskBudgetId: args.task_budget_id } : {}
+            ...typeof args.task_budget_id === "string" ? { taskBudgetId: args.task_budget_id } : {},
+            // #3330: spend through a sub-budget this agent holds (it is
+            // sub-agent B). Exactly one of the two ids, never both.
+            ...typeof args.sub_budget_id === "string" ? { subBudgetId: args.sub_budget_id } : {}
           });
           return {
             payment_id: result.paymentId,
@@ -442,7 +468,7 @@ function createToolHandlers(haven) {
           body: JSON.stringify(envelope)
         };
         let merchantUrl = args.merchant_url;
-        const idempotencyKey = args.idempotencyKey;
+        const idempotencyKey = args.resolvedIdempotencyKey;
         const attempt = () => haven.fetch(merchantUrl, init, { idempotencyKey });
         let response = await attempt();
         if (!response.ok) {
@@ -476,7 +502,7 @@ function createToolHandlers(haven) {
       if ("success" in pf) return pf;
       const { args, warnings } = pf;
       try {
-        const data = await haven.quoteX402(args.url, requestInit(args), { idempotencyKey: args.idempotencyKey });
+        const data = await haven.quoteX402(args.url, requestInit(args), { idempotencyKey: args.resolvedIdempotencyKey });
         return warnings.length > 0 ? { success: true, data, warnings } : { success: true, data };
       } catch (err) {
         return normalizeError(err);
@@ -503,8 +529,9 @@ function createToolHandlers(haven) {
       }
       return runTool(async () => {
         const response = await haven.payX402Quote(args.quote, {
-          idempotencyKey: args.idempotencyKey,
-          ...typeof args.task_budget_id === "string" ? { taskBudgetId: args.task_budget_id } : {}
+          idempotencyKey: args.resolvedIdempotencyKey,
+          ...typeof args.task_budget_id === "string" ? { taskBudgetId: args.task_budget_id } : {},
+          ...typeof args.sub_budget_id === "string" ? { subBudgetId: args.sub_budget_id } : {}
         });
         return responsePayload(response);
       }, warnings);
@@ -515,8 +542,9 @@ function createToolHandlers(haven) {
       const { args, warnings } = pf;
       return runTool(async () => {
         const response = await haven.fetch(args.url, requestInit(args), {
-          idempotencyKey: args.idempotencyKey,
-          ...typeof args.task_budget_id === "string" ? { taskBudgetId: args.task_budget_id } : {}
+          idempotencyKey: args.resolvedIdempotencyKey,
+          ...typeof args.task_budget_id === "string" ? { taskBudgetId: args.task_budget_id } : {},
+          ...typeof args.sub_budget_id === "string" ? { subBudgetId: args.sub_budget_id } : {}
         });
         return responsePayload(response);
       }, warnings);
@@ -613,7 +641,9 @@ function createToolHandlers(haven) {
     },
     haven_list_receipts: async (input) => {
       const args = objectInput("haven_list_receipts", input);
-      return runTool(async () => haven.listReceiptsPage({ limit: args.limit, cursor: args.cursor }));
+      return runTool(
+        async () => haven.listReceiptsPage({ limit: args.limit, cursor: args.cursor, compact: args.compact === true })
+      );
     },
     haven_verify_receipt: async (input) => {
       const args = objectInput("haven_verify_receipt", input);
@@ -641,7 +671,8 @@ function createToolHandlers(haven) {
           task_budget: result.taskBudget,
           next_action: "sign",
           next_tool: "mcp__haven-signer__haven_sign",
-          next_arguments: { task_budget_id: result.taskBudget.id }
+          next_arguments: { task_budget_id: result.taskBudget.id },
+          signer_compatibility: taskSignerCompatibilityNotice()
         };
       });
     },
@@ -656,7 +687,8 @@ function createToolHandlers(haven) {
           task_budget: result.taskBudget,
           next_action: "sign",
           next_tool: "mcp__haven-signer__haven_sign",
-          next_arguments: { task_budget_id: args.task_budget_id }
+          next_arguments: { task_budget_id: args.task_budget_id },
+          signer_compatibility: taskSignerCompatibilityNotice()
         };
       });
     },
@@ -713,28 +745,20 @@ function preflight(name, input) {
   }
   const idem = resolveIdempotencyKey(args);
   if ("success" in idem) return idem;
-  if (idem.key !== void 0) args = { ...args, idempotencyKey: idem.key };
+  if (idem.key !== void 0) args = { ...args, resolvedIdempotencyKey: idem.key };
   return { args, warnings: idem.warnings };
 }
 function resolveIdempotencyKey(args) {
   const modern = typeof args.idempotency_key === "string" ? args.idempotency_key : void 0;
   const legacy = typeof args.idempotencyKey === "string" ? args.idempotencyKey : void 0;
-  if (modern !== void 0 && legacy !== void 0 && modern !== legacy) {
+  if (legacy !== void 0) {
     return {
       success: false,
-      code: "AMBIGUOUS_IDEMPOTENCY_KEY",
-      message: "Both idempotency_key and idempotencyKey were sent with different values. Nothing was contacted or spent. Send exactly one \u2014 idempotency_key is the current spelling; idempotencyKey is deprecated and will be removed."
+      code: "IDEMPOTENCY_KEY_RENAMED",
+      message: "idempotencyKey has been renamed to idempotency_key and is no longer accepted. Send idempotency_key instead. Nothing was contacted or spent."
     };
   }
   if (modern !== void 0) return { key: modern, warnings: [] };
-  if (legacy !== void 0) {
-    return {
-      key: legacy,
-      warnings: [
-        "idempotencyKey is deprecated and will be removed in a future release of @haven_ai/mcp. Send idempotency_key instead \u2014 it is the spelling the hosted Haven MCP surface and every other Haven wire contract use."
-      ]
-    };
-  }
   return { warnings: [] };
 }
 function buildMcpToolsCallEnvelope(toolName, args) {
@@ -965,7 +989,7 @@ function renderConsentBlock(input, hash) {
     lines.push("signed delegation, not by Haven):");
     for (const a of input.allowanceSummary) {
       const reset = a.resetMinutes ? ` per ${a.resetMinutes} min` : " (no reset)";
-      lines.push(`  \u2022 up to ${a.amount} ${a.token}${reset}`);
+      lines.push(`  \u2022 up to ${describeBudgetAmount(a, input.chainId)}${reset}`);
     }
   }
   lines.push("");
@@ -1062,7 +1086,14 @@ async function consentInputFromClient(haven, seed, toolNames) {
     }
     const liveAllowanceSummary = list.map((a) => ({
       token: a.tokenSymbol ?? "UNKNOWN",
-      amount: a.onchain?.amount ?? a.configuredAmount ?? "0",
+      // #3410: `onchain.amount` is the atomic budget (`budget_atomic` on the
+      // backend). The old `a.configuredAmount` fallback here was unreachable
+      // — `onchain` is required in the SDK types and dereferenced
+      // unconditionally, so a response without it throws into the seed path —
+      // and it was the one HUMAN-decimal value in this chain; a human number
+      // must never reach an atomic field. '0' keeps the (defensive) shape for
+      // a malformed onchain object without inventing a unit.
+      amount: a.onchain?.amount ?? "0",
       resetMinutes: typeof a.onchain?.resetTimeMin === "number" ? a.onchain.resetTimeMin : typeof a.resetPeriodMin === "number" ? a.resetPeriodMin : null
     }));
     allowanceSummary = liveAllowanceSummary;
@@ -1085,6 +1116,11 @@ function isAllowanceSummary(value) {
 function derivePrefix(apiKey) {
   return apiKey.slice(0, 12);
 }
+function describeBudgetAmount(a, chainId) {
+  const token = chainId === void 0 ? null : resolveTokenBySymbol(chainId, a.token);
+  if (!token) return `${a.amount} ${a.token} (atomic units)`;
+  return `${formatTokenAmount(a.amount, token.decimals)} ${a.token}`;
+}
 function registeredToolNames() {
   return Object.keys(toolSchemas);
 }
@@ -1109,7 +1145,7 @@ async function resolveHavenClient(options = {}) {
   return { client, credentials };
 }
 var MCP_NAME = "@haven_ai/mcp";
-var MCP_VERSION = "0.6.0-alpha.0";
+var MCP_VERSION = "0.7.0-alpha.0";
 var MCP_INSTRUCTIONS = [
   "Haven local MCP server: signs in-process with the delegate key it holds on",
   "this machine \u2014 the key never leaves this process. Call haven_get_agent",