@martinloop/mcp 0.2.7 → 0.3.1

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

@@ -12,17 +12,23 @@
  *   Llama 3.x, Mistral 7B, Phi-4, Gemma 3, any GGUF model.
  *
  * Usage:
+ *   # Defaults to OpenAI's hosted endpoint when MARTIN_OPENAI_BASE_URL is unset.
+ *   MARTIN_OPENAI_API_KEY=sk-...
+ *   MARTIN_OPENAI_MODEL=gpt-4.1-mini
+ *   martin-loop run "fix the bug" --engine openai
+ *
+ *   # Or route to a third-party / self-hosted OpenAI-compatible endpoint:
  *   MARTIN_OPENAI_BASE_URL=https://openrouter.ai/api
  *   MARTIN_OPENAI_API_KEY=sk-or-...
  *   MARTIN_OPENAI_MODEL=deepseek/deepseek-chat
- *   martin run "fix the bug" --engine openai
+ *   martin-loop run "fix the bug" --engine openai
  *
  * Or for Ollama:
  *   MARTIN_OPENAI_BASE_URL=http://localhost:11434
  *   MARTIN_OPENAI_MODEL=llama3.3
- *   martin run "fix the bug" --engine openai
+ *   martin-loop run "fix the bug" --engine openai
  */
-import { runVerification, readGitExecutionArtifacts } from "./cli-bridge.js";
+import { readGitChangedFiles, runVerification } from "./cli-bridge.js";
 import { createAdapterCapabilities, normalizeUsage } from "./runtime-support.js";
 // ---------------------------------------------------------------------------
 // OpenRouter/OpenAI-compatible model pricing ($/1K tokens)
@@ -73,6 +79,18 @@ Follow these rules exactly:
 - 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 const DEFAULT_OPENAI_MODEL = "gpt-4.1-mini";
+export function resolveOpenAiCompatibleRuntimeConfig(env = process.env) {
+    const apiKey = env["MARTIN_OPENAI_API_KEY"] ?? "";
+    return {
+        baseUrl: env["MARTIN_OPENAI_BASE_URL"] ?? DEFAULT_OPENAI_BASE_URL,
+        model: env["MARTIN_OPENAI_MODEL"] ?? DEFAULT_OPENAI_MODEL,
+        apiKey,
+        apiKeyConfigured: apiKey.length > 0,
+        authPosture: apiKey.length > 0 ? "api_key" : "anonymous_or_local"
+    };
+}
 function buildPrompt(request) {
     const lines = [
         `TASK: ${request.context.taskTitle}`,
@@ -105,13 +123,17 @@ export function createOpenAiCompatibleAdapter(options) {
     const verifyTimeoutMs = options.verifyTimeoutMs ?? 60_000;
     const systemPrompt = options.systemPrompt ?? DEFAULT_SYSTEM_PROMPT;
     const fetchFn = options.fetchImpl ?? globalThis.fetch;
+    const runtimeConfig = resolveOpenAiCompatibleRuntimeConfig();
+    const baseUrl = (options.baseUrl ?? runtimeConfig.baseUrl).replace(/\/$/, "");
+    const model = options.model ?? runtimeConfig.model;
+    const apiKey = options.apiKey ?? runtimeConfig.apiKey;
     return {
-        adapterId: `openai-compatible:${options.model}`,
+        adapterId: `openai-compatible:${model}`,
         kind: "direct-provider",
-        label: `OpenAI-compatible: ${options.model}`,
+        label: `OpenAI-compatible: ${model}`,
         metadata: {
             providerId: "openai-compatible",
-            model: options.model,
+            model,
             transport: "http",
             capabilities: createAdapterCapabilities({
                 preflight: true,
@@ -121,7 +143,12 @@ export function createOpenAiCompatibleAdapter(options) {
         },
         async execute(request) {
             const prompt = buildPrompt(request);
-            const estimated = estimateCost(options.model, prompt.length, 2000);
+            const estimated = estimateCost(model, prompt.length, 2000);
+            const hasVerificationSteps = request.context.verificationPlan.length > 0 ||
+                (request.context.verificationStack?.length ?? 0) > 0;
+            const baselineChangedFiles = hasVerificationSteps
+                ? new Set(await readGitChangedFiles(workingDirectory, 5_000))
+                : new Set();
             // Preflight: bail if projected cost exceeds remaining budget
             if (request.context.remainingBudgetUsd > 0 &&
                 estimated.actualUsd > request.context.remainingBudgetUsd * 0.95) {
@@ -140,7 +167,7 @@ export function createOpenAiCompatibleAdapter(options) {
                 };
             }
             // Call the OpenAI-compatible endpoint
-            const endpoint = `${options.baseUrl.replace(/\/$/, "")}/v1/chat/completions`;
+            const endpoint = `${baseUrl}/v1/chat/completions`;
             let responseText = "";
             let tokensIn = estimated.tokensIn;
             let tokensOut = 0;
@@ -148,10 +175,10 @@ export function createOpenAiCompatibleAdapter(options) {
             const timer = setTimeout(() => controller.abort(), timeoutMs);
             try {
                 const headers = { "Content-Type": "application/json" };
-                if (options.apiKey)
-                    headers["Authorization"] = `Bearer ${options.apiKey}`;
+                if (apiKey)
+                    headers["Authorization"] = `Bearer ${apiKey}`;
                 // OpenRouter requires a site URL header for attribution
-                if (options.baseUrl.includes("openrouter")) {
+                if (baseUrl.includes("openrouter")) {
                     headers["HTTP-Referer"] = "https://martinloop.com";
                     headers["X-Title"] = "MartinLoop";
                 }
@@ -159,7 +186,7 @@ export function createOpenAiCompatibleAdapter(options) {
                     method: "POST",
                     headers,
                     body: JSON.stringify({
-                        model: options.model,
+                        model,
                         messages: [
                             { role: "system", content: systemPrompt },
                             { role: "user", content: prompt }
@@ -174,7 +201,7 @@ export function createOpenAiCompatibleAdapter(options) {
                     const errMsg = body.error?.message ?? `HTTP ${res.status}`;
                     return {
                         status: "failed",
-                        summary: `${options.model} API error: ${errMsg}`,
+                        summary: `${model} API error: ${errMsg}`,
                         usage: normalizeUsage({ actualUsd: 0, tokensIn: 0, tokensOut: 0, provenance: "unavailable" }),
                         verification: { passed: false, summary: "API call failed before verifier." },
                         failure: { message: errMsg, classHint: "infrastructure_error" }
@@ -191,7 +218,7 @@ export function createOpenAiCompatibleAdapter(options) {
             }
             catch (error) {
                 const isAbort = error instanceof Error && error.name === "AbortError";
-                const message = isAbort ? `${options.model} request timed out after ${timeoutMs}ms` : String(error);
+                const message = isAbort ? `${model} request timed out after ${timeoutMs}ms` : String(error);
                 return {
                     status: "failed",
                     summary: message,
@@ -206,7 +233,7 @@ export function createOpenAiCompatibleAdapter(options) {
             if (!responseText.trim()) {
                 return {
                     status: "failed",
-                    summary: `${options.model} returned an empty response.`,
+                    summary: `${model} returned an empty response.`,
                     usage: normalizeUsage({ actualUsd: 0, tokensIn, tokensOut: 0, provenance: "actual" }),
                     verification: { passed: false, summary: "Empty response — nothing to verify." },
                     failure: { message: "empty_response" }
@@ -214,8 +241,12 @@ export function createOpenAiCompatibleAdapter(options) {
             }
             // Run verification
             const verification = await runVerification(request.context.verificationPlan, workingDirectory, verifyTimeoutMs, request.context.verificationStack);
-            const execution = await readGitExecutionArtifacts(workingDirectory, 5_000);
-            const pricing = KNOWN_MODEL_PRICING[options.model] ?? {
+            const execution = {
+                changedFiles: hasVerificationSteps
+                    ? (await readGitChangedFiles(workingDirectory, 5_000)).filter((file) => !baselineChangedFiles.has(file))
+                    : []
+            };
+            const pricing = KNOWN_MODEL_PRICING[model] ?? {
                 inputPer1K: FALLBACK_INPUT_PER_1K,
                 outputPer1K: FALLBACK_OUTPUT_PER_1K
             };
@@ -223,8 +254,8 @@ export function createOpenAiCompatibleAdapter(options) {
             return {
                 status: verification.passed ? "completed" : "failed",
                 summary: verification.passed
-                    ? `${options.model} completed the task. Verifier passed.`
-                    : `${options.model} completed but verifier failed: ${verification.summary}`,
+                    ? `${model} completed the task. Verifier passed.`
+                    : `${model} completed but verifier failed: ${verification.summary}`,
                 usage: normalizeUsage({
                     actualUsd,
                     tokensIn,

package/dist/vendor/adapters/runtime-support.d.ts

@@ -7,7 +7,10 @@ export declare function normalizeUsage(input: {
     estimatedUsd?: number;
     tokensIn?: number;
     tokensOut?: number;
+    cachedInputTokens?: number;
+    reasoningTokensOut?: number;
     provenance?: MartinAdapterResult["usage"]["provenance"];
+    providerSettlement?: MartinAdapterResult["usage"]["providerSettlement"];
 }): MartinAdapterResult["usage"];
 export declare function diffStatsFromNumstat(stdout: string): DiffStats | undefined;
 export declare function normalizeStructuredErrors(errors: StructuredError[] | undefined): StructuredError[];

package/dist/vendor/adapters/runtime-support.js

@@ -5,6 +5,7 @@ export function createAdapterCapabilities(overrides = {}) {
         diffArtifacts: false,
         structuredErrors: false,
         cachingSignals: false,
+        workspaceMutations: true,
         ...overrides
     };
 }
@@ -21,7 +22,14 @@ export function normalizeUsage(input) {
             : {}),
         tokensIn: input.tokensIn ?? 0,
         tokensOut: input.tokensOut ?? 0,
-        provenance
+        ...(input.cachedInputTokens !== undefined
+            ? { cachedInputTokens: input.cachedInputTokens }
+            : {}),
+        ...(input.reasoningTokensOut !== undefined
+            ? { reasoningTokensOut: input.reasoningTokensOut }
+            : {}),
+        provenance,
+        ...(input.providerSettlement ? { providerSettlement: input.providerSettlement } : {})
     };
 }
 export function diffStatsFromNumstat(stdout) {

package/dist/vendor/adapters/stub-direct-provider.js

@@ -4,6 +4,9 @@ export function createStubDirectProviderAdapter(options) {
         providerId: options.providerId,
         model: options.model,
         label: options.label ?? `Stub direct provider (${options.providerId}/${options.model})`,
+        capabilities: {
+            workspaceMutations: false
+        },
         responder: options.responder
     });
 }

package/dist/vendor/adapters/verifier-only.d.ts

@@ -1,7 +1,9 @@
 import type { MartinAdapter } from "../core/index.js";
+import { type SpawnLike } from "./cli-bridge.js";
 export interface VerifierOnlyAdapterOptions {
     workingDirectory?: string;
     verifyTimeoutMs?: number;
     label?: string;
+    spawnImpl?: SpawnLike;
 }
 export declare function createVerifierOnlyAdapter(options?: VerifierOnlyAdapterOptions): MartinAdapter;

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

@@ -1,4 +1,4 @@
-import { readGitExecutionArtifacts, runVerification } from "./cli-bridge.js";
+import { readGitChangedFiles, runVerification } from "./cli-bridge.js";
 import { createAdapterCapabilities, normalizeUsage } from "./runtime-support.js";
 export function createVerifierOnlyAdapter(options = {}) {
     const workingDirectory = options.workingDirectory ?? process.cwd();
@@ -17,9 +17,16 @@ export function createVerifierOnlyAdapter(options = {}) {
             })
         },
         async execute(request) {
-            const verification = await runVerification(request.context.verificationPlan, workingDirectory, verifyTimeoutMs, request.context.verificationStack);
-            const execution = await readGitExecutionArtifacts(workingDirectory, 5_000);
-            const changedFiles = execution.changedFiles ?? [];
+            const shouldTrackVerifierWrites = request.context.verificationPlan.length > 0 ||
+                (request.context.verificationStack?.length ?? 0) > 0;
+            const baselineChangedFiles = shouldTrackVerifierWrites
+                ? new Set(await readGitChangedFiles(workingDirectory, 5_000))
+                : new Set();
+            const verification = await runVerification(request.context.verificationPlan, workingDirectory, verifyTimeoutMs, request.context.verificationStack, options.spawnImpl);
+            const changedFiles = shouldTrackVerifierWrites
+                ? (await readGitChangedFiles(workingDirectory, 5_000)).filter((file) => !baselineChangedFiles.has(file))
+                : [];
+            const execution = { changedFiles };
             if (verification.passed) {
                 return {
                     status: "completed",

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

@@ -49,6 +49,40 @@ export interface LoopCost {
     avoidedUsd: number;
     tokensIn: number;
     tokensOut: number;
+    estimatedUsd?: number;
+    provenance?: CostProvenance;
+    providerSettlement?: ProviderUsageSettlement;
+}
+export type UsageSettlementSource = "claude_json" | "codex_jsonl" | "gemini_json" | "estimated_fallback" | "unavailable";
+export interface ProviderUsageSettlement {
+    providerId: string;
+    model: string;
+    transport?: "cli" | "http" | "routed_http";
+    source: UsageSettlementSource;
+    inputTokens: number;
+    cachedInputTokens?: number;
+    outputTokens: number;
+    reasoningOutputTokens?: number;
+    rawUsageAvailable: boolean;
+    settledAt: string;
+}
+export interface ReceiptScope {
+    repoRoot?: string;
+    workingDirectory?: string;
+    invocationRoot?: string;
+    runsRoot?: string;
+}
+export type ReceiptIntegrityState = "verified" | "unsigned" | "tamper_detected";
+export interface ReceiptIntegritySummary {
+    state: ReceiptIntegrityState;
+    keyId?: string;
+    signedAt?: string;
+    loopRecordSha256?: string;
+    ledgerSha256?: string;
+    ledgerHeadHash?: string;
+    entryCount?: number;
+    reason?: string;
+    warnings?: string[];
 }
 export interface LoopArtifact {
     artifactId: string;
@@ -90,6 +124,8 @@ export interface LoopRecord {
     metadata: Record<string, string>;
     createdAt: string;
     updatedAt: string;
+    receiptScope?: ReceiptScope;
+    receiptIntegrity?: ReceiptIntegritySummary;
 }
 export interface LoopRecordDraft {
     loopId?: string;
@@ -107,6 +143,8 @@ export interface LoopRecordDraft {
     metadata?: Record<string, string>;
     createdAt?: string;
     updatedAt?: string;
+    receiptScope?: ReceiptScope;
+    receiptIntegrity?: ReceiptIntegritySummary;
 }
 export type { MartinErrorCategory, MartinOutputMode, MartinRunListFilters, MartinRunSelector } from "./operator.js";
 export { MARTIN_ERROR_CATEGORIES } from "./operator.js";
@@ -272,6 +310,7 @@ export interface BudgetSettlement {
         usd: number;
         provenance: CostProvenance;
     };
+    providerSettlement?: ProviderUsageSettlement;
     totalActualUsd: number;
     preflightEstimateUsd: number;
     varianceUsd: number;

package/dist/vendor/contracts/index.js

@@ -36,6 +36,8 @@ export function createLoopRecord(draft, options = {}) {
         },
         createdAt: draft.createdAt ?? now,
         updatedAt: draft.updatedAt ?? now,
+        ...(draft.receiptScope ? { receiptScope: draft.receiptScope } : {}),
+        ...(draft.receiptIntegrity ? { receiptIntegrity: draft.receiptIntegrity } : {}),
         ...(draft.teamId ? { teamId: draft.teamId } : {})
     };
 }

package/dist/vendor/core/context-integrity.js

@@ -10,6 +10,23 @@ const POISON_PATTERNS = [
     /\[system_override\]/i,
     /\[authority_inversion\]/i
 ];
+/**
+ * Identity-redefinition / persona-override patterns.
+ *
+ * These intentionally require an *override framing* (e.g. "now", "no longer",
+ * "forget", "pretend", or an explicit authority-role claim) rather than any
+ * sentence shaped like "you are X" / "I am X" — the latter matches ordinary
+ * benign text (e.g. "You are welcome to try MartinLoop") and produced
+ * false-positive hard aborts.
+ */
+const IDENTITY_REDEFINITION_PATTERNS = [
+    /\byou(?:'re|\s+are)\s+now\s+(?:a|an|the)\b(?!\s+(?:martin\s+loop|ai\s+coding\s+agent))/i,
+    /\byou(?:'re|\s+are)\s+no\s+longer\s+(?!.*\b(?:martin\s+loop|an?\s+ai)\b)/i,
+    /\bforget\s+(?:that\s+)?you(?:'re|\s+are)\s+martin\s+loop\b/i,
+    /\b(?:pretend|imagine)\s+(?:that\s+)?you(?:'re|\s+are)\b/i,
+    /\bact\s+as\s+(?:if\s+you(?:'re|\s+are)\s+)?(?:a|an)\s+(?:different|new|unrestricted|jailbroken)\b/i,
+    /\bi\s+am\s+(?:the|your)\s+(?:new\s+)?(?:system|developer|admin(?:istrator)?|root\s*user|owner|creator|operator)\b/i
+];
 /**
  * T05: Context Poisoning Pre-gate.
  * Scans untrusted input channels for authority inversion or instruction re-injection.
@@ -23,7 +40,12 @@ export async function runContextIntegrityPrecheck(runId, attemptIndex, artifacts
         tools: Boolean(inputs.toolOutput),
         history: Boolean(inputs.history)
     };
-    const untrustedBuffer = [inputs.userPrompt, inputs.toolOutput, inputs.retrievedContext]
+    const untrustedBuffer = [
+        inputs.userPrompt,
+        inputs.toolOutput,
+        inputs.retrievedContext,
+        inputs.history
+    ]
         .filter(Boolean)
         .join("\n---\n");
     for (const pattern of POISON_PATTERNS) {
@@ -31,8 +53,11 @@ export async function runContextIntegrityPrecheck(runId, attemptIndex, artifacts
             signals.push(`Detected poison pattern: ${pattern.toString()}`);
         }
     }
-    if (/\b(?:I am|You are)\s+(?!Martin\s+Loop|an\s+AI)\b/i.test(untrustedBuffer)) {
-        signals.push("Identity redefinition attempt detected.");
+    for (const pattern of IDENTITY_REDEFINITION_PATTERNS) {
+        if (pattern.test(untrustedBuffer)) {
+            signals.push("Identity redefinition attempt detected.");
+            break;
+        }
     }
     const verdict = signals.length > 0 ? "context_poisoning_block" : "clean";
     const precheck = {

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

@@ -16,6 +16,7 @@ export interface RepoGroundingHit {
     matchedTerms: string[];
     symbols: string[];
 }
+export declare function resolveGroundingRoot(env?: NodeJS.ProcessEnv): string;
 export declare function loadOrBuildRepoGroundingIndex(repoRoot: string): Promise<RepoGroundingIndex>;
 export declare function buildRepoGroundingIndex(repoRoot: string): Promise<RepoGroundingIndex>;
 export declare function queryRepoGroundingIndex(index: RepoGroundingIndex, query: string, limit?: number): RepoGroundingHit[];

package/dist/vendor/core/grounding.js

@@ -12,6 +12,10 @@ const IGNORED_DIRS = new Set([
 ]);
 const MAX_FILE_BYTES = 64_000;
 const MAX_FILES = 500;
+export function resolveGroundingRoot(env = process.env) {
+    return env["MARTIN_GROUNDING_DIR"]?.trim() ??
+        join(homedir(), ".martin", "grounding");
+}
 export async function loadOrBuildRepoGroundingIndex(repoRoot) {
     const cachePath = getGroundingCachePath(repoRoot);
     try {
@@ -23,7 +27,7 @@ export async function loadOrBuildRepoGroundingIndex(repoRoot) {
     catch { }
     const index = await buildRepoGroundingIndex(repoRoot);
     try {
-        await mkdir(join(homedir(), ".martin", "grounding"), { recursive: true });
+        await mkdir(resolveGroundingRoot(), { recursive: true });
         await writeFile(cachePath, JSON.stringify(index, null, 2), "utf8");
     }
     catch {
@@ -79,7 +83,7 @@ export function queryRepoGroundingIndex(index, query, limit = 6) {
         .slice(0, limit);
 }
 function getGroundingCachePath(repoRoot) {
-    return join(homedir(), ".martin", "grounding", `${Buffer.from(repoRoot).toString("base64url")}.json`);
+    return join(resolveGroundingRoot(), `${Buffer.from(repoRoot).toString("base64url")}.json`);
 }
 async function walk(repoRoot, currentDir, files, state) {
     if (state.count >= MAX_FILES)

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

@@ -1,4 +1,4 @@
-import { type ApprovalPolicy, type CostProvenance, type ExecutionProfile, type FailureClass, type InterventionType, type LoopArtifact, type LoopAttempt, type LoopBudget, type MutationMode, type LoopRecord, type LoopTask } from "../contracts/index.js";
+import { type ApprovalPolicy, type CostProvenance, type ExecutionProfile, type FailureClass, type InterventionType, type LoopArtifact, type LoopAttempt, type LoopBudget, type ProviderUsageSettlement, type MutationMode, type LoopRecord, type LoopTask, type ReceiptScope } from "../contracts/index.js";
 import { classifyFailure, computeEvidenceVector, evaluatePatchDecision, evaluateCostGovernor, evaluateBudgetPreflight, inferExit, nextPolicyPhase, policyPhaseToLifecycleState, scorePatchDecision, selectRecoveryRecipe, type ExitDecision } from "./policy.js";
 import { evaluateChangeApprovalLeash, evaluateFilesystemLeash, evaluateSecretLeash, redactSecretsFromText, resolveExecutionProfile, evaluateVerificationLeash } from "./leash.js";
 import { buildRepoGroundingIndex, loadOrBuildRepoGroundingIndex, queryRepoGroundingIndex, scanPatchForGroundingViolations } from "./grounding.js";
@@ -13,8 +13,8 @@ export { runContextIntegrityPrecheck } from "./context-integrity.js";
 export type { ContextIntegrityPrecheck, ContextIntegrityVerdict } from "./context-integrity.js";
 export { compilePromptPacket } from "./compiler.js";
 export type { PromptPacket, CompilerAdapterRequest } from "./compiler.js";
-export { createFileRunStore, makeLedgerEvent, readAllLoopRecords, readLatestLoopRecord, readLatestLoopRecordFromFile, readLoopRecordsFromFile, resolveRunsRoot } from "./persistence/index.js";
-export type { AttemptArtifacts, LedgerEvent, LedgerEventKind, LoopAttemptRecord, LoopRunRecord, RunContract, RunStore } from "./persistence/index.js";
+export { createFileRunStore, makeLedgerEvent, readAllLoopRecords, readLatestLoopRecord, readLatestLoopRecordFromFile, readLoopRecordsFromFile, resolveRunsRoot, resolveReceiptIntegrityPath, verifyReceiptIntegrityFromFiles, writeReceiptIntegrityMaterial } from "./persistence/index.js";
+export type { AttemptArtifacts, LedgerEvent, LedgerEventKind, LoopAttemptRecord, LoopRunRecord, ReceiptIntegrityChainEntry, RunContract, RunStore, StoredReceiptIntegrityMaterial } from "./persistence/index.js";
 export { compileAndPersistContext } from "./persistence/index.js";
 export type { CompileResult } from "./persistence/index.js";
 export interface MartinAdapterRequest {
@@ -44,6 +44,20 @@ export interface MartinAdapterRequest {
     };
     previousAttempts: LoopAttempt[];
 }
+export interface MartinVerificationStep {
+    command: string;
+    launched: boolean;
+    exitCode?: number;
+    timedOut: boolean;
+    fastFail?: boolean;
+    detail?: string;
+}
+export interface MartinVerificationOutcome {
+    passed: boolean;
+    summary: string;
+    steps?: MartinVerificationStep[];
+    warnings?: string[];
+}
 export interface MartinAdapterResult {
     status: "completed" | "failed";
     summary: string;
@@ -52,11 +66,16 @@ export interface MartinAdapterResult {
         estimatedUsd?: number;
         tokensIn: number;
         tokensOut: number;
+        cachedInputTokens?: number;
+        reasoningTokensOut?: number;
         provenance?: CostProvenance;
+        providerSettlement?: ProviderUsageSettlement;
     };
     verification: {
         passed: boolean;
         summary: string;
+        steps?: MartinVerificationStep[];
+        warnings?: string[];
     };
     execution?: {
         changedFiles?: string[];
@@ -93,6 +112,7 @@ export interface MartinAdapter {
             diffArtifacts?: boolean;
             structuredErrors?: boolean;
             cachingSignals?: boolean;
+            workspaceMutations?: boolean;
         };
         [key: string]: unknown;
     };
@@ -135,6 +155,7 @@ export interface RunMartinInput {
     maxRecentAttempts?: number;
     fallbackModels?: string[];
     fallbackAdapters?: MartinAdapter[];
+    receiptScope?: ReceiptScope;
     /** Optional persistence store. When provided, runMartin writes artifacts on each lifecycle event. */
     store?: RunStore;
 }