@martinloop/mcp 0.8.7 → 0.8.9

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

@@ -1,4 +1,4 @@
-import { type ApprovalPolicy, type AgentExecutionIntent, type ContextHandoffReceipt, type CostProvenance, type ExecutionProfile, type ExternalOutcomeEvidenceReference, 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 { type ApprovalPolicy, type AgentExecutionIntent, type ContextHandoffReceipt, type CostProvenance, type ExecutionProfile, type ExternalOutcomeEvidenceReference, type FailureClass, type InterventionType, type LoopArtifact, type LoopAttempt, type LoopBudget, type ProviderUsageSettlement, type MutationMode, type LoopRecord, type LoopTask, type ReceiptScope, type RollbackBoundaryArtifact } 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";
@@ -7,6 +7,7 @@ import { type RunStore } from "./persistence/index.js";
 import { type ExitPolicyOverrides } from "./exits.js";
 import { type ExitSignalSource } from "./exit-signal.js";
 import { type VerifierExecutionBinding } from "./verified-handoff.js";
+import { acquireRunExecutionLease, evaluateRunResumability, loadResumeCandidateBoundary, loadResumeVerifierFailure } from "./resume.js";
 export type { AgentExecutionIntent, ApprovalPolicy, BudgetPreflightEstimate, BudgetSettlement, CostProvenance, EvidenceVector, ExecutionProfile, FailureClass, InterventionType, PatchDecision, PatchDecisionArtifact, PatchDecisionReasonCode, PatchScore, MutationMode, RollbackBoundaryArtifact, RollbackBoundaryStrategy, RollbackFileSnapshot, RollbackOutcomeArtifact, RollbackOutcomeStatus, PolicyPhase, CallStage, AgentRole, FirstDelta, RoutingEconomics } from "../contracts/index.js";
 export { DEFAULT_AGENT_EXECUTION_INTENT, DEFAULT_PROVIDER_EXECUTION_TIMEOUT_MS, GOVERNED_AUTONOMOUS_BOUNDARY, normalizeProviderExecutionTimeoutMs } from "../contracts/index.js";
 export { classifyFailure, computeEvidenceVector, evaluatePatchDecision, evaluateCostGovernor, evaluateBudgetPreflight, inferExit, nextPolicyPhase, policyPhaseToLifecycleState, scorePatchDecision, selectRecoveryRecipe, evaluateVerificationLeash, evaluateFilesystemLeash, evaluateChangeApprovalLeash, evaluateSecretLeash, resolveExecutionProfile, redactSecretsFromText, buildRepoGroundingIndex, loadOrBuildRepoGroundingIndex, queryRepoGroundingIndex, scanPatchForGroundingViolations, captureRollbackBoundary, listAttemptChangedFilesSinceBoundary, listIgnoredFileChangesSinceBoundary, restoreRollbackBoundary };
@@ -22,6 +23,7 @@ export type { LocalIdentityAuthority } from "./identity.js";
 export { compileExecutionPolicy } from "./policy-compiler.js";
 export { assessTrajectory, decideCircuitBreak } from "./trajectory.js";
 export { calculateAvoidedUsd, calculateLoopAvoidedUsd } from "./savings.js";
+export { acquireRunExecutionLease, evaluateRunResumability, loadResumeCandidateBoundary, loadResumeVerifierFailure };
 export type { AvoidedUsdInput } from "./savings.js";
 export { classifyRoute, evaluatePreworkBurnPolicy } from "./routing.js";
 export type { RouteDecision, RouteClassificationInput } from "./routing.js";
@@ -83,6 +85,29 @@ export interface MartinAdapterRequest {
         remainingTokens?: number;
         /** Who executes verifier commands. Defaults to provider_and_host for standalone compatibility. */
         verificationExecutionOwner?: "provider_and_host" | "host_only";
+        /** Structured failure evidence from the most recent attempt, for repair context. */
+        lastVerifierFailure?: {
+            /** The failing verifier command. */
+            command: string;
+            /** Native exit code when a normal exit occurred; undefined for crash/timeout. */
+            exitCode?: number;
+            /** Whether the step crashed (signal/exception) before producing a normal exit. */
+            crashed?: boolean;
+            /** Whether the verifier step timed out. */
+            timedOut?: boolean;
+            /** Bounded, sanitized failure excerpt (max 1500 chars, tail kept). */
+            failureExcerpt: string;
+            /** ID of the attempt that produced this failure. */
+            attemptId: string;
+            /** Index of the attempt that produced this failure (1-based). */
+            attemptIndex: number;
+        };
+        /**
+         * True when the previous attempt's candidate patch was retained in the workspace
+         * (SAFE_UNVERIFIED) rather than rolled back.  The next agent should inspect the
+         * existing changes and repair only the failing part — not rebuild from scratch.
+         */
+        previousCandidateRetained?: boolean;
     };
     previousAttempts: LoopAttempt[];
     /** Non-persisted synchronous parent authority for cumulative live usage. */
@@ -234,6 +259,15 @@ export interface RunMartinInput {
     idFactory?: (prefix: string) => string;
     maxRecentAttempts?: number;
     fallbackAdapters?: MartinAdapter[];
+    /**
+     * Continue an unfinished persisted run under the same loop ID and authority.
+     * runMartin acquires the durable execution lease before any store persistence.
+     */
+    resume?: {
+        loop: LoopRecord;
+        preCandidateBoundary?: RollbackBoundaryArtifact;
+        lastVerifierFailure?: MartinAdapterRequest["context"]["lastVerifierFailure"];
+    };
     receiptScope?: ReceiptScope;
     /** Optional persistence store. When provided, runMartin writes artifacts on each lifecycle event. */
     store?: RunStore;
@@ -266,6 +300,21 @@ export declare function distillContext(loop: Pick<LoopRecord, "task" | "budget"
     maxRecentAttempts?: number;
 }): DistilledContext;
 export declare function runMartin(input: RunMartinInput): Promise<RunMartinResult>;
+/**
+ * Sanitize verifier output before it is stored as a structured failure excerpt
+ * that will eventually appear in a provider prompt.
+ *
+ * Two-layer contract:
+ *   Layer 1 (here, core): hard size cap + strip control characters and secrets.
+ *   Layer 2 (adapter): sanitizeForPrompt removes prompt-injection patterns.
+ *
+ * Rules:
+ *  - Keep tail (most recent lines are most relevant for repair).
+ *  - Strip null bytes and C0/C1 control characters except \n and \t.
+ *  - Hard cap at 1500 characters — large test output cannot flood the context.
+ *  - Tag the excerpt so downstream consumers know it is untrusted evidence.
+ */
+export declare function sanitizeVerifierExcerpt(raw: string): string;
 export { createDefaultExitPolicy, evaluateExitPolicy, hashProgressState, toLegacyExitDecision, validateExitPolicy } from "./exits.js";
 export type { ExitPolicyOverrides, LegacyExitDecision } from "./exits.js";
 export { SignalDiagnosticError, createFileExitSignalSource, exitSignalPath, readAllExitSignals, readExitSignal, startExitSignalMonitor, writeExitSignal } from "./exit-signal.js";