import type { ProcessRunner } from "../providers/process.js";
import type { FrozenVerificationPlan } from "./plan.js";
export interface VerificationStepResult {
    id: string;
    status: number | null;
    signal: NodeJS.Signals | null;
    passed: boolean;
    stdout: string;
    stderr: string;
    error: string | null;
}
export interface VerificationResult {
    schema_version: 1;
    plan_digest: string;
    passed: boolean;
    failed_step: string | null;
    steps: readonly VerificationStepResult[];
}
export interface RunVerificationOptions {
    packageRoot: string;
    configRoot?: string;
    worktreeRoot: string;
    env?: NodeJS.ProcessEnv;
    runner: ProcessRunner;
}
/** Loads and validates the tracked plan before any child process is invoked. */
export declare function runDeterministicVerification(options: RunVerificationOptions): VerificationResult;
export interface RunFrozenVerificationOptions {
    packageRoot: string;
    frozenPlan: FrozenVerificationPlan;
    worktreeRoot: string;
    env?: NodeJS.ProcessEnv;
    runner: ProcessRunner;
    requireInstalledTools?: boolean;
}
/** Runs an immutable plan snapshot that may be frozen before an executor starts. */
export declare function runFrozenVerification(options: RunFrozenVerificationOptions): VerificationResult;
/** Shared verifier redaction/bounding for other private evidence derived from candidate content. */
export declare function redactAndBoundVerificationText(value: string, sourceEnv: NodeJS.ProcessEnv, maximumBytes: number): string;
export declare function reducedVerificationEnvironment(source: NodeJS.ProcessEnv): NodeJS.ProcessEnv;