/**
 * Validate an unknown value against the frozen VerificationRun v0 contract. Pure, dependency-free,
 * deterministic. Returns every error rather than throwing on the first.
 */
export function validateVerificationRunV0(run: any, opts?: {}): {
    valid: boolean;
    errors: string[];
};
/**
 * Derive the scope verdict from violations+severity (DEC-S3, the frozen cross-contract predicate):
 * any `blocking` ⇒ `violation`; else any `advisory` ⇒ `conditional`; else `clean`. NEVER derived
 * from `result`. The harness does NOT route on this (that is the track-side adapter); it is exposed
 * so the predicate can be asserted against the frozen contract rather than trusted.
 */
export function deriveVerdict(violations: any): "violation" | "conditional" | "clean";
export const VERIFICATION_CATEGORIES: string[];
export const VIOLATION_SEVERITIES: string[];
//# sourceMappingURL=validate-verification-run.d.ts.map