/**
 * Nexus Prime — Verification Engine
 *
 * Sovereign verification: independent of execution.
 * A run's execution can complete, but verification is a separate gate.
 *
 * Produces VerificationProof objects with confirmed/flagged/rejected verdicts.
 */
import type { VerificationState, WorkerResult } from '../types/execution.js';
import type { VerificationProof } from '../types/proofs.js';
export declare class VerificationEngine {
    /**
     * Run verification checks on worker results.
     * Returns a VerificationProof with verdict.
     */
    verify(workerResults: WorkerResult[]): VerificationProof;
    /** Map a verification verdict to a VerificationState. */
    toVerificationState(verdict: VerificationProof['verdict']): VerificationState;
}
