import type { ClosureVerificationSummary } from "./workflow-closure-verification.js";
import type { ProjectReadBoundary } from "../io/bootstrap-write-boundary.js";
export type VerificationCommand = {
    readonly args: readonly string[];
    readonly command: string;
    readonly display: string;
};
export type JunitTestCaseOutcome = "error" | "failure" | "passed";
export type JunitTestCase = {
    readonly classname: string;
    readonly name: string;
    readonly outcome: JunitTestCaseOutcome;
    readonly ref: string;
    readonly testId: string;
};
export type DirectTestVerificationResult = {
    readonly command?: VerificationCommand;
    readonly diagnosticCodes: readonly string[];
    readonly evidenceRef?: string;
    readonly exitCode?: number;
    readonly junitCases: readonly JunitTestCase[];
    readonly junitRefs: readonly string[];
    readonly output: string;
    readonly reason: string;
    readonly verification: ClosureVerificationSummary["verification"];
};
export declare function runDirectClosureVerification(projectDir: string): ClosureVerificationSummary;
export declare function runCapabilityBoundClosureVerification(projectDir: string, projectReadBoundary: ProjectReadBoundary): ClosureVerificationSummary;
export declare function runDirectTestVerification(projectDir: string): DirectTestVerificationResult;