@martinloop/mcp 0.8.5 → 0.8.7

package/dist/arcade/capabilities.d.ts

@@ -54,7 +54,7 @@ export declare function buildArcadeToolDefinitions(capabilities: unknown): reado
             readonly displayOutcome: {
                 readonly anyOf: readonly [{
                     readonly type: "string";
-                    readonly enum: readonly ["VERIFIED", "STOPPED", "NEEDS REVIEW"];
+                    readonly enum: readonly ["VERIFIED", "STOPPED", "NEEDS_REVIEW"];
                 }, {
                     readonly type: "null";
                 }];

package/dist/arcade/capabilities.js

@@ -1,3 +1,4 @@
+import { VERIFIED_HANDOFF_OUTCOMES } from "../vendor/contracts/index.js";
 export const MARTIN_ARCADE_UI_EXTENSION_ID = "io.modelcontextprotocol/ui";
 export const MARTIN_ARCADE_MIME_TYPE = "text/html;profile=mcp-app";
 export const MARTIN_ARCADE_RESOURCE_URI = "ui://martinloop/arcade/index.html";
@@ -51,7 +52,7 @@ export function buildArcadeToolDefinitions(capabilities) {
                     completed: { type: "boolean", description: "Whether the run is outside an active lifecycle state." },
                     displayOutcome: {
                         anyOf: [
-                            { type: "string", enum: ["VERIFIED", "STOPPED", "NEEDS REVIEW"] },
+                            { type: "string", enum: [...VERIFIED_HANDOFF_OUTCOMES] },
                             { type: "null" }
                         ],
                         description: "Terminal verified-handoff outcome, or null while the run is active."

package/dist/package-version.d.ts

@@ -1 +1 @@
-export declare const MARTIN_MCP_PACKAGE_VERSION = "0.8.5";
+export declare const MARTIN_MCP_PACKAGE_VERSION = "0.8.7";

package/dist/package-version.js

@@ -1,3 +1,3 @@
 // Auto-generated by build — do not edit by hand.
 // Source of truth: packages/mcp/package.json#version
-export const MARTIN_MCP_PACKAGE_VERSION = "0.8.5";
+export const MARTIN_MCP_PACKAGE_VERSION = "0.8.7";

package/dist/server-validation.js

@@ -435,7 +435,7 @@ function validateGetVerificationResultsInput(args) {
 function validateRunDossierInput(args) {
     const record = requireObject(args);
     assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "format"]);
-    const base = validateGetRunInput(args);
+    const base = validateGetRunInput(pickKeys(record, RUN_SELECTOR_KEYS));
     return {
         ...base,
         ...optionalEnumAsObject(record.format, "format", ["json", "md", "github-pr"])
@@ -447,7 +447,7 @@ function validateEvalInput(args) {
 function validateRunControlInput(args) {
     const record = requireObject(args);
     assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "reason", "requestedBy"]);
-    const base = validateGetRunInput(args);
+    const base = validateGetRunInput(pickKeys(record, RUN_SELECTOR_KEYS));
     return {
         ...base,
         ...optionalString(record.reason, "reason"),
@@ -457,7 +457,7 @@ function validateRunControlInput(args) {
 function validateCreatePrInput(args) {
     const record = requireObject(args);
     assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "format", "title", "base", "execute"]);
-    const base = validateRunDossierInput(args);
+    const base = validateRunDossierInput(pickKeys(record, [...RUN_SELECTOR_KEYS, "format"]));
     return {
         ...base,
         ...optionalString(record.title, "title"),
@@ -468,12 +468,17 @@ function validateCreatePrInput(args) {
 function validateReviewPrInput(args) {
     const record = requireObject(args);
     assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "format", "prBody"]);
-    const base = validateRunDossierInput(args);
+    const base = validateRunDossierInput(pickKeys(record, [...RUN_SELECTOR_KEYS, "format"]));
     return {
         ...base,
         ...optionalString(record.prBody, "prBody")
     };
 }
+const RUN_SELECTOR_KEYS = ["file", "loopId", "runsDir", "latest"];
+// Base validators check their own allowed keys, so composed validators hand them only those keys.
+function pickKeys(record, keys) {
+    return Object.fromEntries(Object.entries(record).filter(([key]) => keys.includes(key)));
+}
 function requireObject(value) {
     if (!value || typeof value !== "object" || Array.isArray(value)) {
         throw invalidArgumentsError("Tool arguments must be an object.");

package/dist/server.js

@@ -501,6 +501,25 @@ const preflightOutputSchema = {
                     },
                     required: ["available", "detail"]
                 },
+                // Present when the Codex launch probe ran on a live host.
+                codexDiagnostics: {
+                    type: "object",
+                    additionalProperties: true,
+                    properties: {
+                        selectedPath: { type: "string" },
+                        hostPlatform: { type: "string" },
+                        installKind: { type: "string" },
+                        nativeInstallValid: { type: "boolean" },
+                        invocationMode: { type: "string" },
+                        sandboxMode: { type: "string" },
+                        sandboxCompatible: { type: "boolean" },
+                        launchReady: { type: "boolean" },
+                        summary: { type: "string" },
+                        remediation: { type: "string" },
+                        candidateProbeResults: { type: "array", items: { type: "object", additionalProperties: true } }
+                    },
+                    required: ["launchReady", "summary"]
+                },
                 runsRoot: { type: "string" },
                 pathScope: {
                     type: "object",
@@ -775,9 +794,21 @@ const controlOutputSchema = {
         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." }
+        reason: { type: "string", description: "Human-readable reason for the control, if provided." },
+        ok: { type: "boolean", description: "Whether the control receipt was recorded." },
+        summary: { type: "string", description: "Human-readable result of the control request." },
+        requestedAction: {
+            type: "string",
+            enum: ["pause", "cancel", "continue"],
+            description: "The control action that was requested."
+        },
+        state: {
+            type: "object",
+            additionalProperties: true,
+            description: "Run control state after this request, including all recorded receipts."
+        }
     },
-    required: ["loopId", "action", "controlId", "requestedAt"]
+    required: ["loopId", "action", "controlId", "requestedAt", "ok", "summary", "requestedAction", "state"]
 };
 const evalOutputSchema = {
     type: "object",
@@ -830,6 +861,17 @@ const prSummaryOutputSchema = {
     },
     required: ["loopId", "title", "body", "grade", "score"]
 };
+const createPrOutputSchema = {
+    ...prSummaryOutputSchema,
+    properties: {
+        ...prSummaryOutputSchema.properties,
+        execute: { type: "boolean", description: "Whether gh was asked to create the pull request." },
+        created: { type: "boolean", description: "Whether a pull request was created." },
+        branch: { type: "string", description: "Current branch of the run's repository, when known." },
+        url: { type: "string", description: "URL of the created pull request." }
+    },
+    required: [...prSummaryOutputSchema.required, "execute", "created"]
+};
 const prReviewOutputSchema = {
     type: "object",
     additionalProperties: false,
@@ -1505,7 +1547,7 @@ export function createMartinMcpServer(serverInfo) {
                         execute: { type: "boolean" }
                     }
                 },
-                outputSchema: prSummaryOutputSchema
+                outputSchema: createPrOutputSchema
             },
             {
                 name: "martin_review_pr",

package/dist/tools/pr-tools.js

@@ -33,6 +33,18 @@ export async function martinCreatePrTool(input) {
             ...(branch ? { branch } : {})
         };
     }
+    // Opening a PR claims the work is done. Only a VERIFIED run with intact receipts qualifies.
+    const dossier = await martinRunDossierTool(input);
+    const outcome = dossier.verifiedHandoff.outcome;
+    const integrity = dossier.receiptIntegrity.state;
+    if (outcome !== "VERIFIED" || integrity !== "verified") {
+        throw new MartinToolError("policy_blocked", `Refusing to open a PR: run ${summary.loopId} is ${outcome} with receipt integrity ${integrity}.`, {
+            category: "policy_blocked",
+            suggestion: "Open a PR only from a VERIFIED run, or rerun martin_create_pr with execute=false to preview it.",
+            retryable: false,
+            details: { outcome, receiptIntegrity: integrity }
+        });
+    }
     const gh = detectCliAvailability("gh");
     if (!gh.available) {
         throw new MartinToolError("engine_unavailable", "GitHub CLI is not available on PATH.", {

package/dist/tools/preflight.js

@@ -1,5 +1,5 @@
 import { probeCodexLaunch, resolveCliCommandAvailability } from "../vendor/adapters/index.js";
-import { fetchSelectedMessage, getMcpInstalledVersion, isCooldownExpired, isDismissed, isNewerVersion, loadDeliveryRecord, recordShown, resolveDefaultLedgerPath, resolveRunsRoot, saveDeliveryRecord, } from "../vendor/core/index.js";
+import { fetchSelectedMessage, getMcpInstalledVersion, isCooldownExpired, isDismissed, isNewerVersion, loadDeliveryRecord, recordShown, resolveDefaultLedgerPath, resolveRunsRoot, saveDeliveryRecord, describeMalformedVerifier, } from "../vendor/core/index.js";
 import { MARTIN_MCP_PACKAGE_VERSION } from "../package-version.js";
 import { resolveSafeRepoRoot } from "../server-validation.js";
 import { createSkippedCliAvailability, formatUsd, getEngineAvailability, resolveExecutionMode } from "./tool-support.js";
@@ -27,6 +27,9 @@ export async function martinPreflightTool(input) {
         })
         : undefined;
     const warnings = [];
+    const malformedVerifiers = (input.verificationPlan ?? [])
+        .map((command) => describeMalformedVerifier(command))
+        .filter((reason) => reason !== undefined);
     const allowedPaths = input.allowedPaths ?? [];
     const deniedPaths = input.deniedPaths ?? [];
     const overlappingScopes = allowedPaths.filter((candidate) => deniedPaths.includes(candidate));
@@ -47,6 +50,7 @@ export async function martinPreflightTool(input) {
     if ((input.verificationPlan?.length ?? 0) === 0) {
         warnings.push("No verificationPlan was provided; Martin can run, but completion confidence will be lower.");
     }
+    warnings.push(...malformedVerifiers);
     if ((input.allowedPaths?.length ?? 0) === 0) {
         warnings.push("No allowedPaths were provided; Martin will rely on the broader repo root scope.");
     }
@@ -58,7 +62,7 @@ export async function martinPreflightTool(input) {
     const policy = buildPolicyPackDefinition(input.policyPack, signals);
     const engineReady = !executionMode.liveMode ||
         (engineAvailability.available && (engine !== "codex" || codexProbe?.ok !== false));
-    const ok = engineReady;
+    const ok = engineReady && malformedVerifiers.length === 0;
     const receiptScope = {
         invocationRoot: workspaceRoot,
         workingDirectory,
@@ -69,9 +73,9 @@ export async function martinPreflightTool(input) {
         ok,
         summary: ok
             ? `Preflight ready for ${engine} in ${workingDirectory} with a ${formatUsd(budget.maxUsd)} budget cap and ${runContract.risk.level} risk.`
-            : `Preflight blocked: ${engine === "codex" && codexProbe && !codexProbe.ok
+            : `Preflight blocked: ${malformedVerifiers[0] ?? (engine === "codex" && codexProbe && !codexProbe.ok
                 ? codexProbe.summary
-                : `${engine} is not available for live execution.`}`,
+                : `${engine} is not available for live execution.`)}`,
         warnings,
         receiptScope,
         scope: {

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

@@ -29,6 +29,11 @@ export interface MartinRunControlOutput {
     loopId: string;
     requestedAction: MartinControlAction;
     state: MartinRunControlState;
+    action: MartinControlAction;
+    controlId: string;
+    requestedAt: string;
+    reason?: string;
+    requestedBy?: string;
 }
 export declare function createRunControlReceipt(action: MartinControlAction, input: MartinRunControlRequestInput): Promise<MartinRunControlOutput>;
 export declare function readRunControlState(detailOrInput: DetailedLoopSource | MartinRunControlRequestInput): Promise<MartinRunControlState>;

package/dist/tools/run-controls.js

@@ -27,7 +27,12 @@ export async function createRunControlReceipt(action, input) {
                 : `Continue request recorded for ${detail.loop.loopId}.`,
         loopId: detail.loop.loopId,
         requestedAction: action,
-        state
+        state,
+        action: receipt.action,
+        controlId: receipt.controlId,
+        requestedAt: receipt.requestedAt,
+        ...(receipt.reason ? { reason: receipt.reason } : {}),
+        ...(receipt.requestedBy ? { requestedBy: receipt.requestedBy } : {})
     };
 }
 export async function readRunControlState(detailOrInput) {

package/dist/vendor/adapters/claude-cli.js

@@ -152,7 +152,7 @@ function extractClaudeObservedModel(stdout) {
     return undefined;
 }
 function extractUsage(parsed, modelLabel, modelSource) {
-    if (!parsed?.usage) {
+    if (!parsed) {
         return normalizeUsage({
             actualUsd: 0,
             tokensIn: 0,
@@ -160,11 +160,12 @@ function extractUsage(parsed, modelLabel, modelSource) {
             provenance: "unavailable"
         });
     }
-    const promptTokens = parsed.usage.inputTokens ?? parsed.usage.input_tokens ?? 0;
-    const cacheCreationInputTokens = parsed.usage.cacheCreationInputTokens ?? parsed.usage.cache_creation_input_tokens ?? 0;
-    const cachedInputTokens = parsed.usage.cacheReadInputTokens ?? parsed.usage.cache_read_input_tokens ?? 0;
+    const usage = parsed.usage ?? {};
+    const promptTokens = usage.inputTokens ?? usage.input_tokens ?? 0;
+    const cacheCreationInputTokens = usage.cacheCreationInputTokens ?? usage.cache_creation_input_tokens ?? 0;
+    const cachedInputTokens = usage.cacheReadInputTokens ?? usage.cache_read_input_tokens ?? 0;
     const tokensIn = promptTokens + cachedInputTokens + cacheCreationInputTokens;
-    const tokensOut = parsed.usage.outputTokens ?? parsed.usage.output_tokens ?? 0;
+    const tokensOut = usage.outputTokens ?? usage.output_tokens ?? 0;
     const pricingResolution = resolveModelPricing(modelLabel);
     // Prefer Claude's own authoritative total_cost_usd (present on the final
     // `result` event in json/stream-json output) over our pricing-table estimate,
@@ -210,6 +211,39 @@ function extractUsage(parsed, modelLabel, modelSource) {
         }
     });
 }
+/**
+ * Returns the provider's failure message when the Codex JSONL stream shows a failed turn:
+ * an explicit `turn.failed`, or an `error` event with no `turn.completed`. Undefined otherwise.
+ */
+function findCodexTurnFailure(stdout) {
+    let completed = false;
+    let turnFailed = false;
+    let message;
+    for (const line of stdout.split(/\r?\n/u)) {
+        let event;
+        try {
+            event = JSON.parse(line.trim());
+        }
+        catch {
+            continue;
+        }
+        if (event.type === "turn.completed")
+            completed = true;
+        if (event.type === "turn.failed") {
+            turnFailed = true;
+            message = String(event.error?.message ?? message ?? "Codex turn failed.");
+        }
+        else if (event.type === "error") {
+            message ??= String(event.message ?? "Codex reported an error.");
+        }
+    }
+    if (turnFailed)
+        return message;
+    return message !== undefined && !completed ? message : undefined;
+}
+function codexTurnCompleted(stdout) {
+    return /"type"\s*:\s*"turn\.completed"/u.test(stdout);
+}
 function extractCodexJsonlResult(stdout, modelLabel) {
     const events = stdout
         .split(/\r?\n/u)
@@ -620,6 +654,13 @@ function createStreamingUsageInspector(capUsd, modelLabel, promptTokenEstimate,
  * the final `result` event, which carries the same `result`/`usage`/
  * `total_cost_usd` fields as the single-blob `json` format.
  */
+function findClaudeResultError(result) {
+    const errorSubtype = result.subtype?.startsWith("error") === true;
+    if (result.is_error !== true && !errorSubtype) {
+        return undefined;
+    }
+    return truncate(result.result ?? result.error ?? result.subtype ?? "unknown error", 500);
+}
 function parseStreamJsonResult(stdout) {
     let lastResult;
     for (const rawLine of stdout.split(/\r?\n/u)) {
@@ -829,8 +870,40 @@ export function createAgentCliAdapter(options) {
             const geminiJsonResult = !supportsJsonOutput && options.command === "gemini"
                 ? extractGeminiJsonResult(agentResult.stdout, options.model)
                 : undefined;
+            // A failed Codex turn did no verified work: never let the verifier run against an
+            // untouched workspace and certify it.
+            const codexTurnFailure = options.command === "codex" ? findCodexTurnFailure(agentResult.stdout) : undefined;
+            if (codexTurnFailure !== undefined) {
+                const failureMessage = `codex turn failed: ${codexTurnFailure}`;
+                return {
+                    status: "failed",
+                    summary: "codex turn failed before verifier execution.",
+                    usage: codexJsonlResult?.usage ?? normalizeUsage({
+                        actualUsd: 0,
+                        tokensIn: 0,
+                        tokensOut: 0,
+                        provenance: "unavailable"
+                    }),
+                    verification: { passed: false, summary: `Verifier not run: ${failureMessage}` },
+                    failure: { message: failureMessage }
+                };
+            }
+            // A Claude session that ended in an error (API failure, max turns) did no
+            // verified work: never let the verifier certify the untouched workspace.
+            const claudeResultError = parsed ? findClaudeResultError(parsed) : undefined;
+            if (claudeResultError !== undefined) {
+                const failureMessage = `${options.command} reported an error: ${claudeResultError}`;
+                return {
+                    status: "failed",
+                    summary: `${options.command} session ended in an error before verifier execution.`,
+                    usage: extractUsage(parsed, options.model, options.model ? "explicit_override" : "agent_default"),
+                    verification: { passed: false, summary: `Verifier not run: ${failureMessage}` },
+                    failure: { message: failureMessage }
+                };
+            }
             const producedStructuredCompletion = parsed?.result !== undefined ||
-                codexJsonlResult !== undefined ||
+                (codexJsonlResult !== undefined &&
+                    (agentResult.exitCode === 0 || codexTurnCompleted(agentResult.stdout))) ||
                 geminiJsonResult !== undefined;
             if (agentResult.exitCode !== 0 && !producedStructuredCompletion) {
                 const failureMessage = formatPreVerifierSubprocessFailure(options.command, agentResult.stderr || agentResult.stdout, agentResult.exitCode);

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

@@ -51,6 +51,8 @@ export interface ApprovalPolicy {
     migrations?: boolean;
     configChanges?: boolean;
     externalWrites?: boolean;
+    /** Allows an attempt to remove or rewrite lines in existing test files. */
+    testChanges?: boolean;
 }
 export interface VerificationStep {
     /** Shell command to run. */
@@ -430,9 +432,23 @@ export interface RollbackBoundaryArtifact {
     strategy: RollbackBoundaryStrategy;
     capturedAt: string;
     headRef?: string;
+    /** Branch HEAD pointed at when the boundary was captured; absent when detached. */
+    headBranch?: string;
     trackedDirtyFiles: string[];
     untrackedFiles: string[];
     snapshots: RollbackFileSnapshot[];
+    /**
+     * Git-ignored files present at the boundary. Dependency and build output
+     * directories are recorded as a single collapsed `dir/` entry.
+     */
+    ignoredFiles?: RollbackIgnoredFileStamp[];
+}
+export interface RollbackIgnoredFileStamp {
+    path: string;
+    size: number;
+    mtimeMs: number;
+    /** Content hash for non-output ignored files; contents are never persisted. */
+    sha256?: string;
 }
 export type RollbackOutcomeStatus = "restored" | "not_required" | "failed" | "unavailable";
 export interface RollbackOutcomeArtifact {
@@ -450,6 +466,11 @@ export interface RollbackOutcomeArtifact {
     };
     restoredFiles: string[];
     deletedFiles: string[];
+    /** Set when attempt-created commits were rewound to the boundary HEAD. */
+    rewoundHead?: {
+        from: string;
+        to: string;
+    };
     error?: string;
 }
 export { createGovernanceSnapshot } from "./governance.js";

package/dist/vendor/contracts/swarm.js

@@ -456,7 +456,7 @@ function budgetWidened(parent, child) {
             && (child.maxTokens === undefined || child.maxTokens > parent.maxTokens));
 }
 function approvalWidened(parent, child) {
-    const keys = ["dependencyAdds", "migrations", "configChanges", "externalWrites"];
+    const keys = ["dependencyAdds", "migrations", "configChanges", "externalWrites", "testChanges"];
     return keys.some((key) => child[key] === true && parent[key] !== true);
 }
 function addDuplicateErrors(values, code, path, errors) {

package/dist/vendor/core/grounding.js

@@ -5,6 +5,21 @@ import { homedir } from "node:os";
 import { extname, join, relative } from "node:path";
 import { promisify } from "node:util";
 const execFileAsync = promisify(execFile);
+// Callables provided by the JavaScript language, Node.js, browsers, and common test runners.
+// They are never declared in the repository, so they must not count as ungrounded symbols.
+const STANDARD_CALLABLE_GLOBALS = new Set([
+    // CommonJS / Node.js
+    "require", "setTimeout", "setInterval", "setImmediate", "clearTimeout", "clearInterval",
+    "clearImmediate", "queueMicrotask", "structuredClone", "fetch",
+    // ECMAScript globals
+    "parseInt", "parseFloat", "isNaN", "isFinite", "encodeURIComponent", "decodeURIComponent",
+    "encodeURI", "decodeURI", "escape", "unescape", "eval",
+    // Browser globals
+    "alert", "confirm", "prompt", "atob", "btoa", "requestAnimationFrame", "cancelAnimationFrame",
+    // Test runners (node:test, vitest, jest, mocha, chai)
+    "describe", "suite", "test", "it", "expect", "assert", "before", "after", "beforeEach",
+    "afterEach", "beforeAll", "afterAll", "context", "specify", "should"
+]);
 const TEXT_EXTENSIONS = new Set([
     ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
     ".json", ".md", ".txt", ".yaml", ".yml", ".py", ".go",
@@ -284,17 +299,30 @@ export function scanPatchForGroundingViolations(diff, index, options = {}) {
         "while",
         "switch",
         "catch",
-        "typeof"
+        "typeof",
+        "super",
+        "yield",
+        "delete",
+        "throw",
+        "instanceof",
+        "constructor"
     ]);
     const addedLines = [...diff.matchAll(addedLinePattern)].map((match) => match[1] ?? "");
     const declaredSymbols = new Set();
     const declarationPattern = /\b(?:function|class|interface|type|enum|const|let|var)\s+([A-Za-z_][A-Za-z0-9_]*)/g;
+    // Class and object-literal method definitions: `name(args) {`, optionally async/static/get/set.
+    const methodDefinitionPattern = /(?:^|[{,])\s*(?:(?:public|private|protected|static|async|get|set|override)\s+)*([A-Za-z_][A-Za-z0-9_]*)\s*\([^()]*\)\s*(?::[^{=]+)?\{/gu;
     for (const line of addedLines) {
         for (const declarationMatch of line.matchAll(declarationPattern)) {
             const symbol = declarationMatch[1];
             if (symbol)
                 declaredSymbols.add(symbol.toLowerCase());
         }
+        for (const methodMatch of line.matchAll(methodDefinitionPattern)) {
+            const methodName = methodMatch[1];
+            if (methodName && !symbolKeywords.has(methodName))
+                declaredSymbols.add(methodName.toLowerCase());
+        }
         if (/^\s*import\b/u.test(line)) {
             const importClause = line.match(/^\s*import\s+(.+?)\s+from\s+['"]/u)?.[1] ?? "";
             for (const importSymbol of importClause.matchAll(/\b(?:as\s+)?([A-Za-z_][A-Za-z0-9_]*)\b/g)) {
@@ -334,6 +362,8 @@ export function scanPatchForGroundingViolations(diff, index, options = {}) {
                 continue;
             if (symbolKeywords.has(symbol))
                 continue;
+            if (STANDARD_CALLABLE_GLOBALS.has(symbol))
+                continue;
             if (/^[A-Z]/u.test(symbol))
                 continue;
             if (declaredSymbols.has(symbol.toLowerCase()))

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

@@ -2,14 +2,15 @@ import { type ApprovalPolicy, type AgentExecutionIntent, type ContextHandoffRece
 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";
-import { captureRollbackBoundary, listAttemptChangedFilesSinceBoundary, restoreRollbackBoundary } from "./rollback.js";
+import { captureRollbackBoundary, listAttemptChangedFilesSinceBoundary, listIgnoredFileChangesSinceBoundary, restoreRollbackBoundary } from "./rollback.js";
 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";
 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, restoreRollbackBoundary };
+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 };
+export { describeMalformedVerifier } from "./verifier-input.js";
 export type { BudgetPreflightDecision, BudgetPreflightInput, CostGovernorState, EvidenceVectorInput, EvaluatedPatchDecision, ExitDecision, FailureAssessment, PatchDecisionInput, RecoveryDecision, RecoveryRecipe } from "./policy.js";
 export type { ResolvedExecutionProfile, SafetyLeashDecision, SafetyViolation } from "./leash.js";
 export type { GroundingScanResult, GroundingViolation, GroundingViolationKind, RepoGroundingHit, RepoGroundingIndex } from "./grounding.js";
@@ -24,7 +25,7 @@ export { calculateAvoidedUsd, calculateLoopAvoidedUsd } from "./savings.js";
 export type { AvoidedUsdInput } from "./savings.js";
 export { classifyRoute, evaluatePreworkBurnPolicy } from "./routing.js";
 export type { RouteDecision, RouteClassificationInput } from "./routing.js";
-export { validateTestIntegrity, snapshotTestFiles, identifyNewTests, findTestFiles, isTestFile, extractImports, hasTrivialAssertionsOnly, importsPreExistingCode } from "./test-integrity.js";
+export { validateTestIntegrity, snapshotTestFiles, identifyNewTests, findTestFiles, isTestFile, extractImports, hasTrivialAssertionsOnly, importsPreExistingCode, isTestPath, findWeakenedTestFiles } from "./test-integrity.js";
 export type { TestIntegrityReport, TestIntegrityFinding } from "./test-integrity.js";
 export { analyzeRepoStyle, buildPromptDirectives } from "./repo-analyzer.js";
 export type { RepoStyleProfile } from "./repo-analyzer.js";
@@ -32,7 +33,7 @@ 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 { buildVerifiedHandoff, deriveVerifiedHandoffLifecycleTruth, deriveVerifiedHandoffExecutionBoundary, resolveVerifiedHandoffOutcome, toTestIntegrityVerdict, verifierActuallyPassed, } from "./verified-handoff.js";
+export { buildVerifiedHandoff, NO_FILE_CHANGES_WARNING, deriveVerifiedHandoffLifecycleTruth, deriveVerifiedHandoffExecutionBoundary, resolveVerifiedHandoffOutcome, toTestIntegrityVerdict, verifierActuallyPassed, } from "./verified-handoff.js";
 export type { BoundVerifierEvidence, BuildVerifiedHandoffInput, VerifierExecutionBinding, } from "./verified-handoff.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";