import type { PackageManager } from "../project/types.js";
export type VerificationMode = "fast" | "full";
export type VerificationGate = "typecheck" | "lint" | "test" | "build";
export interface VerificationStep {
    id: string;
    script: string;
    command: string;
    args: string[];
    gates: VerificationGate[];
    timeoutMs: number;
}
export interface VerificationPlan {
    mode: VerificationMode;
    packageManager: PackageManager;
    steps: VerificationStep[];
    missingGates: VerificationGate[];
    blockers: string[];
}
export interface VerificationCommandResult {
    exitCode: number;
    stdout: string;
    stderr: string;
}
export interface VerificationCommandRunner {
    run(command: string, args: readonly string[], options: {
        cwd: string;
        timeoutMs: number;
    }): Promise<VerificationCommandResult>;
}
export interface VerificationStepResult extends VerificationStep, VerificationCommandResult {
    passed: boolean;
    cancelled?: boolean;
    durationMs: number;
}
export interface VerificationResult {
    mode: VerificationMode;
    passed: boolean;
    cancelled: boolean;
    missingGates: VerificationGate[];
    blockers: string[];
    steps: VerificationStepResult[];
}
export interface VerificationBaselineComparison {
    noNewIssues: boolean;
    newIssues: string[];
    resolvedIssues: string[];
}
export interface VerificationScopeAssessment {
    passed: boolean;
    scopedIssues: string[];
    outsideScopeIssues: string[];
    unattributedFailures: string[];
}
export interface VerificationIssueContext {
    issue: string;
    file: string;
    line?: number;
    column?: number;
    component?: string;
    sourceLines: Array<{
        line: number;
        text: string;
        failing: boolean;
    }>;
    relatedSymbol?: string;
    relatedLines?: Array<{
        line: number;
        text: string;
    }>;
}
//# sourceMappingURL=types.d.ts.map