@martinloop/mcp 0.5.6 → 0.5.7

package/dist/server.js

@@ -95,8 +95,7 @@ const loopPreviewSchema = {
         "pressure",
         "shouldStop",
         "remainingBudgetUsd",
-        "remainingIterations",
-        "remainingTokens"
+        "remainingIterations"
     ]
 };
 const budgetSchema = {
@@ -108,7 +107,7 @@ const budgetSchema = {
         maxIterations: { type: "integer" },
         maxTokens: { type: "integer" }
     },
-    required: ["maxUsd", "softLimitUsd", "maxIterations", "maxTokens"]
+    required: ["maxUsd", "softLimitUsd", "maxIterations"]
 };
 const costSchema = {
     type: "object",
@@ -293,7 +292,6 @@ const runOutputSchema = {
         "shouldStop",
         "remainingBudgetUsd",
         "remainingIterations",
-        "remainingTokens",
         "engine",
         "workingDirectory",
         "budget",
@@ -382,7 +380,6 @@ const statusOutputSchema = {
         "shouldStop",
         "remainingBudgetUsd",
         "remainingIterations",
-        "remainingTokens",
         "budget",
         "inspection"
     ]
@@ -704,23 +701,142 @@ const planOutputSchema = {
 };
 const logsOutputSchema = {
     type: "object",
-    additionalProperties: true
+    additionalProperties: false,
+    properties: {
+        source: { type: "string", description: "Resolved path to the loop-record source file." },
+        sourceKind: {
+            type: "string",
+            enum: ["file", "loop_id", "latest", "runs_root"],
+            description: "How the run was identified: by file path, loop ID, latest flag, or runs directory."
+        },
+        loopId: { type: "string", description: "Unique MartinLoop run identifier." },
+        logCount: { type: "integer", description: "Number of log entries returned after applying the limit." },
+        live: {
+            type: "object",
+            additionalProperties: false,
+            properties: {
+                lifecycleState: { type: "string", description: "Current run lifecycle state (e.g. running, completed, cancelled)." },
+                pauseState: {
+                    type: "string",
+                    enum: ["active", "paused", "cancellation_requested"],
+                    description: "Whether the run is active, paused, or has a pending cancellation."
+                },
+                approvalState: {
+                    type: "string",
+                    enum: ["not_required", "resume_requested"],
+                    description: "Whether the run is waiting at a human-approval checkpoint."
+                }
+            },
+            required: ["lifecycleState", "pauseState", "approvalState"]
+        },
+        entries: {
+            type: "array",
+            description: "Log entries sorted by timestamp descending, capped at limit.",
+            items: {
+                type: "object",
+                additionalProperties: false,
+                properties: {
+                    timestamp: { type: "string", description: "ISO 8601 timestamp of the event, if present." },
+                    source: {
+                        type: "string",
+                        enum: ["event", "ledger", "control"],
+                        description: "Origin stream: loop event bus, governance ledger, or operator control receipts."
+                    },
+                    kind: { type: "string", description: "Event type or control action name." },
+                    payload: { type: "object", additionalProperties: true, description: "Event-specific payload data." }
+                },
+                required: ["source", "kind", "payload"]
+            }
+        }
+    },
+    required: ["source", "sourceKind", "loopId", "logCount", "live", "entries"]
 };
 const controlOutputSchema = {
     type: "object",
-    additionalProperties: true
+    additionalProperties: false,
+    properties: {
+        loopId: { type: "string", description: "MartinLoop run identifier the control was applied to." },
+        action: {
+            type: "string",
+            enum: ["pause", "cancel", "continue"],
+            description: "The control action that was recorded."
+        },
+        controlId: { type: "string", description: "Unique receipt ID for this control action." },
+        requestedAt: { type: "string", description: "ISO 8601 timestamp when the control was recorded." },
+        requestedBy: { type: "string", description: "Identity that requested the control, if provided." },
+        reason: { type: "string", description: "Human-readable reason for the control, if provided." }
+    },
+    required: ["loopId", "action", "controlId", "requestedAt"]
 };
 const evalOutputSchema = {
     type: "object",
-    additionalProperties: true
+    additionalProperties: false,
+    properties: {
+        source: { type: "string", description: "Resolved path to the loop-record source file." },
+        sourceKind: {
+            type: "string",
+            enum: ["file", "loop_id", "latest", "runs_root"],
+            description: "How the run was identified."
+        },
+        loopId: { type: "string", description: "Unique MartinLoop run identifier." },
+        score: { type: "number", description: "Numeric evaluation score from 0–100." },
+        grade: {
+            type: "string",
+            enum: ["mergeable", "mergeable_with_review", "needs_review", "blocked", "insufficient_evidence"],
+            description: "Overall merge readiness grade derived from the six check dimensions."
+        },
+        checks: {
+            type: "object",
+            additionalProperties: false,
+            properties: {
+                taskCompletion: { type: "string", enum: ["passed", "warning", "failed"], description: "Whether the run reached a completed status." },
+                verifier: { type: "string", enum: ["passed", "warning", "failed"], description: "Whether automated verifiers passed." },
+                diffDiscipline: { type: "string", enum: ["passed", "warning", "failed"], description: "Whether file-scope discipline was maintained." },
+                regressionRisk: { type: "string", enum: ["passed", "warning", "failed"], description: "Whether regression risk signals were detected." },
+                securityRisk: { type: "string", enum: ["passed", "warning", "failed"], description: "Whether security risk signals were detected." },
+                reviewability: { type: "string", enum: ["passed", "warning", "failed"], description: "Whether the PR body and dossier are reviewer-ready." }
+            },
+            required: ["taskCompletion", "verifier", "diffDiscipline", "regressionRisk", "securityRisk", "reviewability"]
+        },
+        warnings: { type: "array", items: { type: "string" }, description: "Non-blocking advisory warnings from the evaluation." },
+        summary: { type: "string", description: "One-paragraph plain-English evaluation summary." }
+    },
+    required: ["source", "sourceKind", "loopId", "score", "grade", "checks", "warnings", "summary"]
 };
 const prSummaryOutputSchema = {
     type: "object",
-    additionalProperties: true
+    additionalProperties: false,
+    properties: {
+        loopId: { type: "string", description: "MartinLoop run identifier used to generate the summary." },
+        title: { type: "string", description: "Suggested GitHub pull-request title." },
+        body: { type: "string", description: "GitHub-flavoured Markdown PR body containing the run dossier." },
+        grade: {
+            type: "string",
+            enum: ["mergeable", "mergeable_with_review", "needs_review", "blocked", "insufficient_evidence"],
+            description: "Verification grade assigned to the run."
+        },
+        score: { type: "number", description: "Numeric verification score from 0–100." }
+    },
+    required: ["loopId", "title", "body", "grade", "score"]
 };
 const prReviewOutputSchema = {
     type: "object",
-    additionalProperties: true
+    additionalProperties: false,
+    properties: {
+        loopId: { type: "string", description: "MartinLoop run identifier the review was performed against." },
+        verdict: {
+            type: "string",
+            enum: ["approve_with_review", "needs_changes", "blocked"],
+            description: "Merge verdict: approve_with_review means safe to merge with human review; needs_changes requires fixes; blocked means do not merge."
+        },
+        findings: {
+            type: "array",
+            items: { type: "string" },
+            description: "Specific findings that informed the verdict."
+        },
+        summary: { type: "string", description: "Plain-English review summary." }
+    },
+    required: ["loopId", "verdict", "findings", "summary"]
 };
 export function createMartinMcpServer(serverInfo) {
     const server = new Server({
@@ -1034,20 +1150,26 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_logs",
-                description: "Read recent Martin loop events, ledger entries, and operator control receipts for live observability.",
+                description: "Read recent MartinLoop events, ledger entries, and operator control receipts for a single run. " +
+                    "Use to observe live or completed run activity, diagnose stuck or failed runs, or audit operator actions. " +
+                    "Do not use to check run completion status — use martin_get_status instead. " +
+                    "Do not use to retrieve verification evidence — use martin_get_verification_results instead. " +
+                    "This tool only reads persisted run files and does not execute commands, modify state, or contact GitHub.",
                 annotations: {
                     readOnlyHint: true,
-                    idempotentHint: true
+                    destructiveHint: false,
+                    idempotentHint: true,
+                    openWorldHint: false
                 },
                 inputSchema: {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true },
-                        limit: { type: "integer", minimum: 1 }
+                        file: { type: "string", description: "Absolute or relative path to a loop-record.json file or run directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "MartinLoop run identifier from the run store. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Override the default run-store root directory. Optional; defaults to the MartinLoop runs directory." },
+                        latest: { const: true, description: "When true, loads the most recently updated run in the run store. Mutually exclusive with file and loopId." },
+                        limit: { type: "integer", minimum: 1, description: "Maximum number of log entries to return, sorted by timestamp descending. Defaults to 20." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },
@@ -1243,10 +1365,16 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_get_verification_results",
-                description: "Load verification evidence for a Martin run from stored loop events and ledger entries.",
+                description: "Load structured verification evidence for a MartinLoop run — verifier commands, pass/fail outcomes, and contradiction signals — from stored loop events and ledger entries. " +
+                    "Use after a run completes to confirm whether automated verifiers passed before merging or promoting the result. " +
+                    "Do not use to get a merge-readiness grade — use martin_eval for a scored grade with six check dimensions. " +
+                    "Do not use for live run status — use martin_get_status instead. " +
+                    "This tool only reads persisted run files and does not execute commands, modify state, or contact GitHub.",
                 annotations: {
                     readOnlyHint: true,
-                    idempotentHint: true
+                    destructiveHint: false,
+                    idempotentHint: true,
+                    openWorldHint: false
                 },
                 inputSchema: {
                     type: "object",
@@ -1254,10 +1382,10 @@ export function createMartinMcpServer(serverInfo) {
                     properties: {
                         file: {
                             type: "string",
-                            description: "Path to a canonical loop-record.json file or run directory."
+                            description: "Absolute or relative path to a loop-record.json file or run directory. Mutually exclusive with loopId."
                         },
-                        loopId: { type: "string", description: "Loop ID under the run store." },
-                        runsDir: { type: "string", description: "Optional runs-root override." }
+                        loopId: { type: "string", description: "MartinLoop run identifier from the run store. Mutually exclusive with file." },
+                        runsDir: { type: "string", description: "Override the default run-store root directory. Optional." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }]
                 },
@@ -1316,19 +1444,26 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_eval",
-                description: "Grade a Martin run for task completion, verifier health, diff discipline, risk, and reviewability.",
+                description: "Grade a MartinLoop run across six dimensions — task completion, verifier health, diff discipline, regression risk, security risk, and reviewability — and return a scored merge-readiness verdict. " +
+                    "Use after a governed run completes to decide whether the result is safe to merge or promote. " +
+                    "Use before martin_pr_summary or martin_create_pr to confirm the run is merge-ready. " +
+                    "Do not use to retrieve raw verification command output — use martin_get_verification_results for that. " +
+                    "Do not use to review an existing PR body — use martin_review_pr instead. " +
+                    "This tool reads saved run evidence and inspects local git signals; it does not modify state or contact GitHub.",
                 annotations: {
                     readOnlyHint: true,
-                    idempotentHint: true
+                    destructiveHint: false,
+                    idempotentHint: true,
+                    openWorldHint: false
                 },
                 inputSchema: {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true }
+                        file: { type: "string", description: "Absolute or relative path to a loop-record.json file or run directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "MartinLoop run identifier from the run store. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Override the default run-store root directory. Optional." },
+                        latest: { const: true, description: "When true, evaluates the most recently updated run in the run store. Mutually exclusive with file and loopId." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },
@@ -1336,20 +1471,27 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_pr_summary",
-                description: "Generate a PR title and body with a MartinLoop dossier block for a completed run.",
+                description: "Generate a GitHub-ready pull-request title and Markdown body from a completed MartinLoop run dossier, including its verification grade and score. " +
+                    "Use after a governed run completes when you need PR copy without creating the PR. " +
+                    "Use martin_create_pr instead to actually open the PR on GitHub. " +
+                    "Use martin_review_pr to evaluate an existing PR body against run evidence. " +
+                    "Use martin_eval first if you need a merge-readiness grade before generating the PR body. " +
+                    "This tool only reads saved run evidence and does not modify the repository or contact GitHub.",
                 annotations: {
                     readOnlyHint: true,
-                    idempotentHint: true
+                    destructiveHint: false,
+                    idempotentHint: true,
+                    openWorldHint: false
                 },
                 inputSchema: {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true },
-                        format: { type: "string", enum: ["json", "md", "github-pr"] }
+                        file: { type: "string", description: "Absolute or relative path to a loop-record.json file or run directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "MartinLoop run identifier from the run store. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Override the default run-store root directory. Optional." },
+                        latest: { const: true, description: "When true, generates the summary for the most recently updated run. Mutually exclusive with file and loopId." },
+                        format: { type: "string", enum: ["json", "md", "github-pr"], description: "Dossier rendering format. Defaults to github-pr for PR body generation. Use md for plain Markdown or json for structured output." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },
@@ -1381,21 +1523,28 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_review_pr",
-                description: "Review a PR or PR draft against the Martin dossier and evaluation evidence.",
+                description: "Review a PR body or draft against the MartinLoop run dossier and evaluation evidence, and return a verdict with specific findings. " +
+                    "Use when you have an existing PR body and want to check whether it accurately represents the governed run evidence. " +
+                    "Supply prBody to review a specific body string; omit it to evaluate the auto-generated dossier body. " +
+                    "Do not use to generate a PR body from scratch — use martin_pr_summary instead. " +
+                    "Do not use to open or create a PR — use martin_create_pr instead. " +
+                    "This tool only reads saved run evidence and does not modify the repository or contact GitHub.",
                 annotations: {
                     readOnlyHint: true,
-                    idempotentHint: true
+                    destructiveHint: false,
+                    idempotentHint: true,
+                    openWorldHint: false
                 },
                 inputSchema: {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true },
-                        format: { type: "string", enum: ["json", "md", "github-pr"] },
-                        prBody: { type: "string" }
+                        file: { type: "string", description: "Absolute or relative path to a loop-record.json file or run directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "MartinLoop run identifier from the run store. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Override the default run-store root directory. Optional." },
+                        latest: { const: true, description: "When true, reviews against the most recently updated run. Mutually exclusive with file and loopId." },
+                        format: { type: "string", enum: ["json", "md", "github-pr"], description: "Dossier format used when generating the reference body for comparison. Defaults to github-pr." },
+                        prBody: { type: "string", description: "The PR body text to review. If omitted, the auto-generated dossier body is evaluated instead." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },

package/dist/tools/execution-policy.js

@@ -5,7 +5,7 @@ export function compileMcpExecutionPolicy(input) {
         maxUsd: input.maxUsd ?? DEFAULT_BUDGET.maxUsd,
         softLimitUsd: Math.min(DEFAULT_BUDGET.softLimitUsd, input.maxUsd ?? DEFAULT_BUDGET.maxUsd),
         maxIterations: input.maxIterations ?? DEFAULT_BUDGET.maxIterations,
-        maxTokens: input.maxTokens ?? DEFAULT_BUDGET.maxTokens
+        ...(input.maxTokens !== undefined ? { maxTokens: input.maxTokens } : {})
     };
     const policy = compileExecutionPolicy({
         configPath: "mcp://inline",

package/dist/tools/get-status.d.ts

@@ -1,4 +1,3 @@
-import type { CostProvenance } from "../vendor/contracts/index.js";
 import { type LoopPreview } from "./tool-support.js";
 export interface GetStatusInput {
     /** JSON-serialized LoopRecord. */
@@ -19,18 +18,17 @@ export interface GetStatusOutput {
     lifecycleState: string;
     attempts: number;
     costUsd: number;
-    costProvenance: CostProvenance;
     avoidedUsd: number;
     pressure: string;
     shouldStop: boolean;
     remainingBudgetUsd: number;
     remainingIterations: number;
-    remainingTokens: number;
+    remainingTokens?: number;
     budget: {
         maxUsd: number;
         softLimitUsd: number;
         maxIterations: number;
-        maxTokens: number;
+        maxTokens?: number;
     };
     inspection: {
         loop: LoopPreview;

package/dist/tools/get-status.js

@@ -31,18 +31,21 @@ export async function getStatusTool(input) {
         lifecycleState: loop.lifecycleState,
         attempts: loop.attempts.length,
         costUsd: loop.cost.actualUsd,
-        costProvenance: loop.cost.provenance ?? "unavailable",
         avoidedUsd: loop.cost.avoidedUsd ?? 0,
         pressure: costState.pressure,
         shouldStop: costState.shouldStop,
         remainingBudgetUsd: costState.remainingBudgetUsd,
         remainingIterations: costState.remainingIterations,
-        remainingTokens: costState.remainingTokens,
+        ...(costState.remainingTokens !== undefined
+            ? { remainingTokens: costState.remainingTokens }
+            : {}),
         budget: {
             maxUsd: loop.budget.maxUsd,
             softLimitUsd: loop.budget.softLimitUsd,
             maxIterations: loop.budget.maxIterations,
-            maxTokens: loop.budget.maxTokens
+            ...(loop.budget.maxTokens !== undefined
+                ? { maxTokens: loop.budget.maxTokens }
+                : {})
         },
         inspection: {
             loop: buildLoopPreview(loop)

package/dist/tools/preflight.d.ts

@@ -51,7 +51,7 @@ export interface MartinPreflightOutput {
             maxUsd: number;
             softLimitUsd: number;
             maxIterations: number;
-            maxTokens: number;
+            maxTokens?: number;
         };
         verificationPlan: string[];
         allowedPaths?: string[];

package/dist/tools/run-loop.d.ts

@@ -32,7 +32,7 @@ export interface RunLoopOutput {
     shouldStop: boolean;
     remainingBudgetUsd: number;
     remainingIterations: number;
-    remainingTokens: number;
+    remainingTokens?: number;
     engine: MartinEngine;
     workingDirectory: string;
     budget: LoopBudget;

package/dist/tools/run-loop.js

@@ -174,7 +174,9 @@ export async function runLoopTool(input) {
         shouldStop: costState.shouldStop,
         remainingBudgetUsd: costState.remainingBudgetUsd,
         remainingIterations: costState.remainingIterations,
-        remainingTokens: costState.remainingTokens,
+        ...(costState.remainingTokens !== undefined
+            ? { remainingTokens: costState.remainingTokens }
+            : {}),
         engine,
         workingDirectory,
         budget,

package/dist/tools/run-store.js

@@ -641,7 +641,7 @@ function validateInspectableLoopRecord(value) {
         !isFiniteNumber(budget["maxUsd"]) ||
         !isFiniteNumber(budget["softLimitUsd"]) ||
         !Number.isInteger(budget["maxIterations"]) ||
-        !Number.isInteger(budget["maxTokens"]) ||
+        (budget["maxTokens"] !== undefined && !Number.isInteger(budget["maxTokens"])) ||
         !isRecord(cost) ||
         !isFiniteNumber(cost["actualUsd"]) ||
         !isFiniteNumber(cost["tokensIn"]) ||

package/dist/tools/tool-support.d.ts

@@ -6,7 +6,8 @@ export interface InspectableLoopAttempt extends LoopAttemptRecord {
     attemptId?: string;
     summary?: string;
 }
-export interface InspectableLoopRecord extends Omit<LoopRunRecord, "attempts" | "task"> {
+export interface InspectableLoopRecord extends Omit<LoopRunRecord, "attempts" | "task" | "budget"> {
+    budget: LoopBudget;
     attempts: InspectableLoopAttempt[];
     task?: LoopTask;
     artifacts?: LoopArtifact[];
@@ -33,7 +34,7 @@ export interface LoopPreview {
     shouldStop: boolean;
     remainingBudgetUsd: number;
     remainingIterations: number;
-    remainingTokens: number;
+    remainingTokens?: number;
     lastAttempt?: AttemptSummary;
     routingEconomics?: Record<string, unknown>;
 }

package/dist/tools/tool-support.js

@@ -157,7 +157,9 @@ export function buildLoopPreview(loop) {
         shouldStop: costState.shouldStop,
         remainingBudgetUsd: costState.remainingBudgetUsd,
         remainingIterations: costState.remainingIterations,
-        remainingTokens: costState.remainingTokens,
+        ...(costState.remainingTokens !== undefined
+            ? { remainingTokens: costState.remainingTokens }
+            : {}),
         ...(lastAttempt ? { lastAttempt: buildAttemptSummary(lastAttempt) } : {}),
         ...(loop.routingEconomics ? { routingEconomics: buildRoutingEconomicsSummary(loop.routingEconomics) } : {})
     };
@@ -291,7 +293,12 @@ export function buildCostSnapshot(cost) {
     };
 }
 export function buildBudgetSnapshot(budget) {
-    return { maxUsd: budget.maxUsd, softLimitUsd: budget.softLimitUsd, maxIterations: budget.maxIterations, maxTokens: budget.maxTokens };
+    return {
+        maxUsd: budget.maxUsd,
+        softLimitUsd: budget.softLimitUsd,
+        maxIterations: budget.maxIterations,
+        ...(budget.maxTokens !== undefined ? { maxTokens: budget.maxTokens } : {})
+    };
 }
 export function buildSuggestedResourceUris(loopId) {
     return ["martin://server/health", "martin://runs/recent", "martin://runs/triage", "martin://runs/latest", "martin://runs/latest/summary", "martin://runs/latest/proof-card", "martin://runs/latest/budget-status", "martin://runs/latest/verifier-evidence", "martin://runs/latest/rollback-evidence", "martin://policies/current", "martin://repo/risk-map", "martin://verifiers/results", "martin://agent/next-step", `martin://runs/${loopId}`, `martin://runs/${loopId}/dossier`, `martin://runs/${loopId}/verification`, "martin://guides/mcp-usage", "martin://guides/agent-start", "martin://guides/publish-readiness"];

package/dist/tools/workflow-governance.d.ts

@@ -50,7 +50,7 @@ export interface MartinPlanBudget {
     maxUsd: number;
     softLimitUsd: number;
     maxIterations: number;
-    maxTokens: number;
+    maxTokens?: number;
     maxMinutes: number;
     maxFilesChanged: number;
     maxCommands: number;

package/dist/tools/workflow-governance.js

@@ -271,7 +271,7 @@ export function normalizeLoopBudget(overrides = {}) {
         maxUsd,
         softLimitUsd,
         maxIterations: overrides.maxIterations ?? DEFAULT_BUDGET.maxIterations,
-        maxTokens: overrides.maxTokens ?? DEFAULT_BUDGET.maxTokens
+        ...(overrides.maxTokens !== undefined ? { maxTokens: overrides.maxTokens } : {})
     };
 }
 export function assessRunRisk(input) {

package/dist/vendor/adapters/openai-compatible.js

@@ -103,12 +103,12 @@ function normalizeOpenAiCompatibleUsage(input) {
 // ---------------------------------------------------------------------------
 // Prompt builder
 // ---------------------------------------------------------------------------
-const DEFAULT_SYSTEM_PROMPT = `You are an expert software engineer executing a governed coding task.
-Follow these rules exactly:
-- Read the task description carefully and implement only what is asked.
-- Do not add features, refactors, or improvements beyond the stated task.
-- If the task asks you to write or modify code, output the complete file content with changes applied.
-- Be precise, minimal, and test-backed in all changes.
+const DEFAULT_SYSTEM_PROMPT = `You are an expert software engineer executing a governed coding task.
+Follow these rules exactly:
+- Read the task description carefully and implement only what is asked.
+- Do not add features, refactors, or improvements beyond the stated task.
+- If the task asks you to write or modify code, output the complete file content with changes applied.
+- Be precise, minimal, and test-backed in all changes.
 - State what you changed and why at the end of your response.`;
 export const DEFAULT_OPENAI_BASE_URL = "https://api.openai.com";
 export function resolveOpenAiCompatibleRuntimeConfig(env = process.env) {

package/dist/vendor/adapters/verifier-only.js

@@ -26,7 +26,7 @@ export function createVerifierOnlyAdapter(options = {}) {
             const verification = await runVerification(request.context.verificationPlan, workingDirectory, verifyTimeoutMs, request.context.verificationStack, options.spawnImpl, {
                 runId: request.loopId,
                 workspaceId: request.workspaceId,
-                cwd: workingDirectory
+                cwd: workingDirectory,
             });
             const changedFiles = shouldTrackVerifierWrites
                 ? (await readGitChangedFiles(workingDirectory, 5_000)).filter((file) => !baselineChangedFiles.has(file))

package/dist/vendor/contracts/execution-policy.js

@@ -14,7 +14,7 @@ export function cloneExecutionPolicy(policy) {
             maxUsd: policy.budget.maxUsd,
             softLimitUsd: policy.budget.softLimitUsd,
             maxIterations: policy.budget.maxIterations,
-            maxTokens: policy.budget.maxTokens
+            ...(policy.budget.maxTokens !== undefined ? { maxTokens: policy.budget.maxTokens } : {})
         },
         governance: {
             policyProfile: policy.governance.policyProfile,

package/dist/vendor/contracts/exits.d.ts

@@ -44,7 +44,7 @@ export interface ExitPolicyV1 {
     };
     budget: {
         maxUsd: number;
-        maxTokens: number;
+        maxTokens?: number;
     };
     wallClock: {
         maxElapsedMs: number;

package/dist/vendor/contracts/governance.d.ts

@@ -5,7 +5,7 @@ export type GovernanceSnapshot = {
     policyProfile: PolicyProfile;
     maxUsd: number;
     softLimitUsd: number;
-    maxTokens: number;
+    maxTokens?: number;
     maxIterations: number;
     allowedAdapters: string[];
     allowedModels: string[];

package/dist/vendor/contracts/index.d.ts

@@ -63,7 +63,7 @@ export interface LoopBudget {
     maxUsd: number;
     softLimitUsd: number;
     maxIterations: number;
-    maxTokens: number;
+    maxTokens?: number;
 }
 export interface LoopCost {
     actualUsd: number;

package/dist/vendor/contracts/index.js

@@ -27,8 +27,7 @@ export { MARTIN_ERROR_CATEGORIES } from "./operator.js";
 export const DEFAULT_BUDGET = {
     maxUsd: 25,
     softLimitUsd: 15,
-    maxIterations: 8,
-    maxTokens: 80_000
+    maxIterations: 8
 };
 export const EMPTY_COST = {
     actualUsd: 0,

package/dist/vendor/contracts/operator.d.ts

@@ -1,4 +1,4 @@
-export declare const MARTIN_ERROR_CATEGORIES: readonly ["invalid_input", "environment", "auth", "not_found", "store_unreadable", "verification_failed", "policy_blocked", "budget_exit", "transient", "install_failed"];
+export declare const MARTIN_ERROR_CATEGORIES: readonly ["invalid_input", "environment", "auth", "not_found", "store_unreadable", "verification_failed", "policy_blocked", "budget_exit", "transient"];
 export type MartinErrorCategory = (typeof MARTIN_ERROR_CATEGORIES)[number];
 export type MartinOutputMode = "human" | "json" | "quiet";
 export interface MartinRunSelector {

package/dist/vendor/contracts/operator.js

@@ -7,6 +7,5 @@ export const MARTIN_ERROR_CATEGORIES = [
     "verification_failed",
     "policy_blocked",
     "budget_exit",
-    "transient",
-    "install_failed"
+    "transient"
 ];