@martinloop/mcp 0.8.9 → 0.9.0

package/README.md

@@ -81,6 +81,8 @@ Every attempt runs your verifier. Every dollar is tracked. If the agent drifts o
 **Run the loop:**
 `martin_doctor` `martin_plan` `martin_preflight` `martin_run` `martin_pause` `martin_continue` `martin_cancel`
 
+The three run-control mutation tools are local-stdio only. They require a live MartinLoop executor lease, and their `local_os_user` authority label describes the same-machine boundary rather than an authenticated person. Remote HTTP sessions are rejected for these tools.
+
 **Inspect results:**
 `martin_status` `martin_logs` `martin_dossier` `martin_eval` `martin_inspect` `martin_list_runs` `martin_get_run` `martin_get_attempt` `martin_get_verification_results` `martin_triage_runs`
 

package/dist/package-version.d.ts

@@ -1 +1 @@
-export declare const MARTIN_MCP_PACKAGE_VERSION = "0.8.9";
+export declare const MARTIN_MCP_PACKAGE_VERSION = "0.9.0";

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.9";
+export const MARTIN_MCP_PACKAGE_VERSION = "0.9.0";

package/dist/server-validation.js

@@ -448,12 +448,11 @@ function validateEvalInput(args) {
 }
 function validateRunControlInput(args) {
     const record = requireObject(args);
-    assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "reason", "requestedBy"]);
+    assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "reason"]);
     const base = validateGetRunInput(pickKeys(record, RUN_SELECTOR_KEYS));
     return {
         ...base,
-        ...optionalString(record.reason, "reason"),
-        ...optionalString(record.requestedBy, "requestedBy")
+        ...optionalString(record.reason, "reason")
     };
 }
 function validateCreatePrInput(args) {

package/dist/server.d.ts

@@ -85,6 +85,7 @@ export declare function createMartinMcpServer(serverInfo?: {
     name?: string;
     version?: string;
     toolProfile?: MartinMcpToolProfile;
+    controlTransport?: "local_stdio" | "untrusted_remote";
 }): Server<{
     method: string;
     params?: {

package/dist/server.js

@@ -377,6 +377,44 @@ const statusOutputSchema = {
                 loop: loopPreviewSchema
             },
             required: ["loop"]
+        },
+        live: {
+            type: "object",
+            additionalProperties: false,
+            properties: {
+                phase: { type: "string" },
+                requestedControlState: {
+                    type: "string",
+                    enum: ["active", "paused", "cancellation_requested", "terminal"],
+                    description: "Latest durable operator request; this does not prove executor application."
+                },
+                appliedControlState: {
+                    type: "string",
+                    enum: ["active", "paused", "cancellation_pending", "terminal"],
+                    description: "Control state reconciled from validated executor application evidence."
+                },
+                pauseState: {
+                    type: "string",
+                    enum: ["active", "paused", "cancellation_requested"],
+                    description: "Backwards-compatible applied control state; pending pause requests remain active."
+                },
+                approvalState: {
+                    type: "string",
+                    enum: ["not_required", "resume_requested"]
+                },
+                commandsRun: { type: "integer" },
+                filesTouched: { type: "integer" },
+                verifierStep: { type: "string" }
+            },
+            required: [
+                "phase",
+                "requestedControlState",
+                "appliedControlState",
+                "pauseState",
+                "approvalState",
+                "commandsRun",
+                "filesTouched"
+            ]
         }
     },
     required: [
@@ -392,7 +430,8 @@ const statusOutputSchema = {
         "remainingBudgetUsd",
         "remainingIterations",
         "budget",
-        "inspection"
+        "inspection",
+        "live"
     ]
 };
 const doctorOutputSchema = {
@@ -746,10 +785,20 @@ const logsOutputSchema = {
             additionalProperties: false,
             properties: {
                 lifecycleState: { type: "string", description: "Current run lifecycle state (e.g. running, completed, cancelled)." },
+                requestedControlState: {
+                    type: "string",
+                    enum: ["active", "paused", "cancellation_requested", "terminal"],
+                    description: "Latest durable operator request; this does not prove executor application."
+                },
+                appliedControlState: {
+                    type: "string",
+                    enum: ["active", "paused", "cancellation_pending", "terminal"],
+                    description: "Control state reconciled from validated executor application evidence."
+                },
                 pauseState: {
                     type: "string",
                     enum: ["active", "paused", "cancellation_requested"],
-                    description: "Whether the run is active, paused, or has a pending cancellation."
+                    description: "Backwards-compatible applied control state; pending pause requests remain active."
                 },
                 approvalState: {
                     type: "string",
@@ -757,7 +806,7 @@ const logsOutputSchema = {
                     description: "Whether the run is waiting at a human-approval checkpoint."
                 }
             },
-            required: ["lifecycleState", "pauseState", "approvalState"]
+            required: ["lifecycleState", "requestedControlState", "appliedControlState", "pauseState", "approvalState"]
         },
         entries: {
             type: "array",
@@ -781,6 +830,84 @@ const logsOutputSchema = {
     },
     required: ["source", "sourceKind", "loopId", "logCount", "live", "entries"]
 };
+const controlReceiptSchema = {
+    type: "object",
+    additionalProperties: false,
+    properties: {
+        schemaVersion: { const: "martin.run-control.v2" },
+        controlId: { type: "string" },
+        loopId: { type: "string" },
+        action: { type: "string", enum: ["pause", "cancel", "continue"] },
+        requestedAt: { type: "string" },
+        authorityBoundary: { const: "local_os_user" },
+        principal: { const: "local_mcp_client" },
+        executorLeaseToken: { type: "string" },
+        workspaceId: { type: "string" },
+        projectId: { type: "string" },
+        expectedPreviousControlId: { type: "string" },
+        reason: { type: "string" },
+        previousReceiptHash: { type: "string", pattern: "^[a-f0-9]{64}$" },
+        receiptHash: { type: "string", pattern: "^[a-f0-9]{64}$" }
+    },
+    required: [
+        "schemaVersion",
+        "controlId",
+        "loopId",
+        "action",
+        "requestedAt",
+        "authorityBoundary",
+        "principal",
+        "executorLeaseToken",
+        "receiptHash"
+    ]
+};
+const controlApplicationSchema = {
+    type: "object",
+    additionalProperties: false,
+    properties: {
+        schemaVersion: { const: "martin.run-control-application.v2" },
+        loopId: { type: "string" },
+        controlId: { type: "string" },
+        action: { type: "string", enum: ["pause_applied", "continue_applied"] },
+        appliedAt: { type: "string" },
+        relatedControlId: { type: "string" },
+        receiptHash: { type: "string", pattern: "^[a-f0-9]{64}$" },
+        previousApplicationHash: { type: "string", pattern: "^[a-f0-9]{64}$" },
+        applicationHash: { type: "string", pattern: "^[a-f0-9]{64}$" }
+    },
+    required: ["schemaVersion", "loopId", "controlId", "action", "appliedAt", "receiptHash", "applicationHash"]
+};
+const controlPublicationSchema = {
+    type: "object",
+    additionalProperties: false,
+    properties: {
+        schemaVersion: { const: "martin.run-control-publication.v1" },
+        loopId: { type: "string" },
+        controlId: { type: "string" },
+        receiptHash: { type: "string", pattern: "^[a-f0-9]{64}$" },
+        signalState: { type: "string", enum: ["created", "already_exists"] },
+        recordedAt: { type: "string" },
+        previousPublicationHash: { type: "string", pattern: "^[a-f0-9]{64}$" },
+        publicationHash: { type: "string", pattern: "^[a-f0-9]{64}$" }
+    },
+    required: ["schemaVersion", "loopId", "controlId", "receiptHash", "signalState", "recordedAt", "publicationHash"]
+};
+const controlStateSchema = {
+    type: "object",
+    additionalProperties: false,
+    properties: {
+        requestedState: { type: "string", enum: ["active", "paused", "cancellation_requested", "terminal"] },
+        latestReceipt: controlReceiptSchema,
+        approvalState: { type: "string", enum: ["not_required", "resume_requested"] },
+        appliedState: { type: "string", enum: ["active", "paused", "cancellation_pending", "terminal"] },
+        receipts: { type: "array", items: controlReceiptSchema },
+        applications: { type: "array", items: controlApplicationSchema },
+        publications: { type: "array", items: controlPublicationSchema },
+        receiptPath: { type: "string" },
+        applicationPath: { type: "string" }
+    },
+    required: ["requestedState", "approvalState", "appliedState", "receipts", "applications", "publications"]
+};
 const controlOutputSchema = {
     type: "object",
     additionalProperties: false,
@@ -793,7 +920,6 @@ 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." },
         ok: { type: "boolean", description: "Whether the control receipt was recorded." },
         summary: { type: "string", description: "Human-readable result of the control request." },
@@ -802,13 +928,36 @@ const controlOutputSchema = {
             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."
-        }
+        publicationState: {
+            type: "string",
+            enum: ["published", "already_requested", "receipt_recorded", "published_audit_pending"],
+            description: "Whether an authoritative cancellation signal was published or a cooperative receipt was recorded."
+        },
+        applicationState: {
+            type: "string",
+            enum: ["pending_observation", "requested_only", "terminal_reconciled"],
+            description: "Whether the active executor has applied the control; publication alone is not application proof."
+        },
+        authorityBoundary: { const: "local_os_user" },
+        principal: { const: "local_mcp_client" },
+        receiptHash: { type: "string", pattern: "^[a-f0-9]{64}$" },
+        state: controlStateSchema
     },
-    required: ["loopId", "action", "controlId", "requestedAt", "ok", "summary", "requestedAction", "state"]
+    required: [
+        "loopId",
+        "action",
+        "controlId",
+        "requestedAt",
+        "ok",
+        "summary",
+        "requestedAction",
+        "publicationState",
+        "applicationState",
+        "authorityBoundary",
+        "principal",
+        "receiptHash",
+        "state"
+    ]
 };
 const evalOutputSchema = {
     type: "object",
@@ -1207,7 +1356,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_logs",
-                description: "Read recent MartinLoop events, ledger entries, and operator control receipts for a single run. " +
+                description: "Read recent MartinLoop events, ledger entries, operator control receipts, and reconciled executor control-application records 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. " +
@@ -1233,7 +1382,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_pause",
-                description: "Write a durable pause receipt for one canonical MartinLoop run. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root, while reason and requestedBy add audit context. Use for a temporary hold before risky follow-up work. This records a request and does not kill a process; use martin_cancel to abandon work or martin_continue to resume.",
+                description: "Request a durable cooperative pause for one active MartinLoop run. The executor applies it at the next safe attempt boundary; it does not suspend or kill an in-flight provider. Provide exactly one selector: file, loopId, or latest. Use martin_status to distinguish requested from applied state; use martin_cancel to abandon work or martin_continue to release the applied pause.",
                 annotations: {
                     destructiveHint: true,
                     idempotentHint: false
@@ -1246,18 +1395,17 @@ export function createMartinMcpServer(serverInfo) {
                         loopId: { type: "string", description: "Canonical MartinLoop run identifier. Mutually exclusive with file and latest." },
                         runsDir: { type: "string", description: "Optional run-store root override used to resolve loopId or latest." },
                         latest: { const: true, description: "When true, targets the latest canonical run. Mutually exclusive with file and loopId." },
-                        reason: { type: "string", description: "Optional non-empty reason recorded in the pause receipt." },
-                        requestedBy: { type: "string", description: "Optional human or runtime identity label recorded for audit context." }
+                        reason: { type: "string", description: "Optional non-empty reason recorded in the pause receipt." }
                     }
                 },
                 outputSchema: controlOutputSchema
             },
             {
                 name: "martin_cancel",
-                description: "Write a durable cancellation receipt for one canonical MartinLoop run. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root, while reason and requestedBy add audit context. Use when work must be abandoned, not temporarily held. This records a request and does not kill a process; use martin_pause for a reversible hold.",
+                description: "Publish the canonical durable cancellation signal for one active MartinLoop run. The active executor polls this signal, aborts its provider, restores governed workspace state, and records terminal evidence. Use the tool when work must stop; publication is not application proof, so use martin_status to observe terminal state or martin_pause for a reversible safe-boundary hold.",
                 annotations: {
                     destructiveHint: true,
-                    idempotentHint: false
+                    idempotentHint: true
                 },
                 inputSchema: {
                     type: "object",
@@ -1267,15 +1415,14 @@ export function createMartinMcpServer(serverInfo) {
                         loopId: { type: "string", description: "Canonical MartinLoop run identifier. Mutually exclusive with file and latest." },
                         runsDir: { type: "string", description: "Optional run-store root override used to resolve loopId or latest." },
                         latest: { const: true, description: "When true, targets the latest canonical run. Mutually exclusive with file and loopId." },
-                        reason: { type: "string", description: "Optional non-empty reason recorded in the cancellation receipt." },
-                        requestedBy: { type: "string", description: "Optional human or runtime identity label recorded for audit context." }
+                        reason: { type: "string", description: "Optional non-empty reason recorded in the cancellation receipt." }
                     }
                 },
                 outputSchema: controlOutputSchema
             },
             {
                 name: "martin_continue",
-                description: "Record a durable continue or resume request for a Martin run after a human pause or approval checkpoint.",
+                description: "Release the exact pending cooperative pause for one active MartinLoop run. Continue is bound to that pause and does not grant approval, widen safety policy, or resume a terminal approval escalation.",
                 annotations: {
                     destructiveHint: true,
                     idempotentHint: false
@@ -1288,8 +1435,7 @@ export function createMartinMcpServer(serverInfo) {
                         loopId: { type: "string" },
                         runsDir: { type: "string" },
                         latest: { const: true },
-                        reason: { type: "string" },
-                        requestedBy: { type: "string" }
+                        reason: { type: "string" }
                     }
                 },
                 outputSchema: controlOutputSchema
@@ -1832,17 +1978,26 @@ export function createMartinMcpServer(serverInfo) {
             }
             if (name === "martin_pause") {
                 const input = validateToolInput("martin_pause", args);
-                const output = await createRunControlReceipt("pause", input);
+                const output = await createRunControlReceipt("pause", {
+                    ...input,
+                    authority: { transport: serverInfo?.controlTransport ?? "untrusted_remote" }
+                });
                 return createToolSuccessResult(output, output.summary);
             }
             if (name === "martin_cancel") {
                 const input = validateToolInput("martin_cancel", args);
-                const output = await createRunControlReceipt("cancel", input);
+                const output = await createRunControlReceipt("cancel", {
+                    ...input,
+                    authority: { transport: serverInfo?.controlTransport ?? "untrusted_remote" }
+                });
                 return createToolSuccessResult(output, output.summary);
             }
             if (name === "martin_continue") {
                 const input = validateToolInput("martin_continue", args);
-                const output = await createRunControlReceipt("continue", input);
+                const output = await createRunControlReceipt("continue", {
+                    ...input,
+                    authority: { transport: serverInfo?.controlTransport ?? "untrusted_remote" }
+                });
                 return createToolSuccessResult(output, output.summary);
             }
             if (name === "martin_list_runs") {
@@ -1967,6 +2122,7 @@ function normalizeRunBudget(input) {
 }
 export async function connectMartinMcpStdioServer(options = {}) {
     const server = createMartinMcpServer({
+        controlTransport: "local_stdio",
         ...(options.toolProfile ? { toolProfile: options.toolProfile } : {})
     });
     const transport = new StdioServerTransport();
@@ -2031,6 +2187,7 @@ export async function connectMartinMcpHttpServer(options = {}) {
     const port = options.port ?? 3033;
     const path = options.path ?? "/mcp";
     const mcpServer = createMartinMcpServer({
+        controlTransport: "untrusted_remote",
         ...(options.toolProfile ? { toolProfile: options.toolProfile } : {})
     });
     const transport = new StreamableHTTPServerTransport({

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

@@ -35,6 +35,9 @@ export interface GetStatusOutput {
     };
     live: {
         phase: string;
+        requestedControlState: "active" | "paused" | "cancellation_requested" | "terminal";
+        appliedControlState: "active" | "paused" | "cancellation_pending" | "terminal";
+        /** Backwards-compatible applied pause state. Never reflects an unapplied request. */
         pauseState: "active" | "paused" | "cancellation_requested";
         approvalState: "not_required" | "resume_requested";
         commandsRun: number;

package/dist/tools/get-status.js

@@ -8,8 +8,11 @@ export async function getStatusTool(input) {
     const control = input.loopJson !== undefined
         ? {
             requestedState: "active",
+            appliedState: "active",
             approvalState: "not_required",
-            receipts: []
+            receipts: [],
+            applications: [],
+            publications: []
         }
         : await readRunControlState(input);
     const latestEvent = loop.events?.at(-1);
@@ -52,7 +55,13 @@ export async function getStatusTool(input) {
         },
         live: {
             phase: latestEvent?.lifecycleState ?? loop.lifecycleState,
-            pauseState: control.requestedState,
+            requestedControlState: control.requestedState,
+            appliedControlState: control.appliedState,
+            pauseState: control.appliedState === "paused"
+                ? "paused"
+                : control.appliedState === "cancellation_pending"
+                    ? "cancellation_requested"
+                    : "active",
             approvalState: control.approvalState,
             commandsRun: loop.attempts.length,
             filesTouched: changedFiles,

package/dist/tools/logs.d.ts

@@ -12,6 +12,8 @@ export interface MartinLogsOutput {
     logCount: number;
     live: {
         lifecycleState: string;
+        requestedControlState: "active" | "paused" | "cancellation_requested" | "terminal";
+        appliedControlState: "active" | "paused" | "cancellation_pending" | "terminal";
         pauseState: "active" | "paused" | "cancellation_requested";
         approvalState: "not_required" | "resume_requested";
     };

package/dist/tools/logs.js

@@ -23,11 +23,27 @@ export async function martinLogsTool(input) {
         kind: `run.${receipt.action}`,
         payload: {
             controlId: receipt.controlId,
+            ...(receipt.expectedPreviousControlId
+                ? { expectedPreviousControlId: receipt.expectedPreviousControlId }
+                : {}),
             ...(receipt.reason ? { reason: receipt.reason } : {}),
-            ...(receipt.requestedBy ? { requestedBy: receipt.requestedBy } : {})
+            principal: receipt.principal,
+            authorityBoundary: receipt.authorityBoundary,
+            receiptHash: receipt.receiptHash
         }
     }));
-    const entries = [...eventEntries, ...ledgerEntries, ...controlEntries]
+    const applicationEntries = controls.applications.map((application) => ({
+        timestamp: application.appliedAt,
+        source: "control",
+        kind: `run.${application.action}`,
+        payload: {
+            controlId: application.controlId,
+            ...(application.relatedControlId
+                ? { relatedControlId: application.relatedControlId }
+                : {})
+        }
+    }));
+    const entries = [...eventEntries, ...ledgerEntries, ...controlEntries, ...applicationEntries]
         .sort((left, right) => {
         const leftTime = left.timestamp ? new Date(left.timestamp).getTime() : 0;
         const rightTime = right.timestamp ? new Date(right.timestamp).getTime() : 0;
@@ -41,7 +57,13 @@ export async function martinLogsTool(input) {
         logCount: entries.length,
         live: {
             lifecycleState: detail.loop.lifecycleState,
-            pauseState: controls.requestedState,
+            requestedControlState: controls.requestedState,
+            appliedControlState: controls.appliedState,
+            pauseState: controls.appliedState === "paused"
+                ? "paused"
+                : controls.appliedState === "cancellation_pending"
+                    ? "cancellation_requested"
+                    : "active",
             approvalState: controls.approvalState
         },
         entries

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

@@ -1,3 +1,4 @@
+import { type RunControlApplication, type RunControlSnapshot, type RunControlSource } from "../vendor/core/index.js";
 import { type DetailedLoopSource } from "./run-store.js";
 export type MartinControlAction = "pause" | "cancel" | "continue";
 export interface MartinRunControlRequestInput {
@@ -6,22 +7,52 @@ export interface MartinRunControlRequestInput {
     runsDir?: string;
     latest?: boolean;
     reason?: string;
-    requestedBy?: string;
+    /** Injected by the server; never accepted from MCP tool arguments. */
+    authority?: {
+        transport: "local_stdio" | "untrusted_remote";
+    };
 }
 export interface MartinRunControlReceipt {
+    schemaVersion: "martin.run-control.v2";
     controlId: string;
     loopId: string;
     action: MartinControlAction;
     requestedAt: string;
+    authorityBoundary: "local_os_user";
+    principal: "local_mcp_client";
+    executorLeaseToken: string;
+    workspaceId?: string;
+    projectId?: string;
+    expectedPreviousControlId?: string;
     reason?: string;
-    requestedBy?: string;
+    previousReceiptHash?: string;
+    receiptHash: string;
+}
+interface RunControlPublication {
+    schemaVersion: "martin.run-control-publication.v1";
+    loopId: string;
+    controlId: string;
+    receiptHash: string;
+    signalState: "created" | "already_exists";
+    recordedAt: string;
+    previousPublicationHash?: string;
+    publicationHash: string;
+}
+interface StoredRunControlApplication extends RunControlApplication {
+    schemaVersion: "martin.run-control-application.v2";
+    previousApplicationHash?: string;
+    applicationHash: string;
 }
 export interface MartinRunControlState {
-    requestedState: "active" | "paused" | "cancellation_requested";
+    requestedState: "active" | "paused" | "cancellation_requested" | "terminal";
     latestReceipt?: MartinRunControlReceipt;
     approvalState: "not_required" | "resume_requested";
+    appliedState: "active" | "paused" | "cancellation_pending" | "terminal";
     receipts: MartinRunControlReceipt[];
+    applications: StoredRunControlApplication[];
+    publications: RunControlPublication[];
     receiptPath?: string;
+    applicationPath?: string;
 }
 export interface MartinRunControlOutput {
     ok: boolean;
@@ -32,10 +63,24 @@ export interface MartinRunControlOutput {
     action: MartinControlAction;
     controlId: string;
     requestedAt: string;
+    publicationState: "published" | "already_requested" | "receipt_recorded" | "published_audit_pending";
+    applicationState: "pending_observation" | "requested_only" | "terminal_reconciled";
     reason?: string;
-    requestedBy?: string;
+    authorityBoundary: "local_os_user";
+    principal: "local_mcp_client";
+    receiptHash: string;
 }
-export declare function createRunControlReceipt(action: MartinControlAction, input: MartinRunControlRequestInput): Promise<MartinRunControlOutput>;
+export declare function createRunControlReceipt(action: MartinControlAction, input: MartinRunControlRequestInput, testHooks?: {
+    beforeLockedReload?: () => Promise<void>;
+    afterJournalOpen?: (journalPath: string) => Promise<void>;
+    lockMaxRetries?: number;
+}): Promise<MartinRunControlOutput>;
 export declare function readRunControlState(detailOrInput: DetailedLoopSource | MartinRunControlRequestInput): Promise<MartinRunControlState>;
-export declare function readControlReceipts(receiptPath: string): Promise<MartinRunControlReceipt[]>;
+export declare function createFileRunControlSource(runsRoot: string): RunControlSource;
+export declare function reconcileRunControlApplications(receipts: readonly MartinRunControlReceipt[], applications: readonly StoredRunControlApplication[]): "active" | "paused";
+export declare function resolveRunControlSnapshot(receipts: readonly MartinRunControlReceipt[]): RunControlSnapshot;
+export declare function readRunControlApplications(applicationPath: string, expectedLoopId?: string): Promise<StoredRunControlApplication[]>;
+export declare function readControlReceipts(receiptPath: string, expectedLoopId?: string): Promise<MartinRunControlReceipt[]>;
+export declare function hashCanonical(value: unknown): string;
 export declare function validateControlReason(value?: string): string | undefined;
+export {};