import type { Assertion } from './types.ts';
import type { EmbedFn } from './ReplayEvaluator.ts';
/** Minimum cosine similarity for a `semantic` assertion to pass. */
export declare const DEFAULT_ASSERTION_THRESHOLD = 0.8;
export interface AssertionResult {
    type: Assertion['type'];
    target: string;
    passed: boolean;
    /** 1/0 for deterministic types; raw cosine in [0,1] for `semantic`. */
    score: number;
    weight: number;
}
export interface AssertionGrade {
    /** Weighted partial-credit mean of the per-assertion scores, rounded to 4dp. */
    score: number;
    passed: number;
    total: number;
    results: AssertionResult[];
}
/**
 * Grades a single assertion against an output. Deterministic types yield 1 or 0;
 * `semantic` yields cosine similarity and passes at/above its threshold. Without
 * an embedder a `semantic` assertion cannot be graded and fails safely.
 */
export declare function gradeAssertion(assertion: Assertion, output: string, embed?: EmbedFn): Promise<{
    passed: boolean;
    score: number;
}>;
/** Grades every assertion and folds them into a weighted partial-credit score. */
export declare function gradeAssertions(assertions: Assertion[], output: string, embed?: EmbedFn): Promise<AssertionGrade>;
//# sourceMappingURL=AssertionJudge.d.ts.map