import type { GoalState } from "../domain/types.js";
export type SemanticVerdict = "proven" | "failed" | "unknown";
export interface SemanticEvidenceRef {
    path: string;
    quote: string;
    sha256?: string;
}
export interface SemanticRequirementResult {
    requirementID: string;
    verdict: SemanticVerdict;
    reason: string;
    evidence: SemanticEvidenceRef[];
    hostEvidenceIDs: string[];
}
export declare function applySemanticVerifierResults(goal: GoalState, results: SemanticRequirementResult[], now?: number): GoalState;
//# sourceMappingURL=semantic.d.ts.map