import type { EvidenceRecord, GoalState } from "../domain/types.js";
export declare function recordAgentNote(goal: GoalState, input: {
    summary: string;
    requirementIDs?: string[];
    now?: number;
}): GoalState;
export declare function recordCommandEvidence(goal: GoalState, input: {
    command: string;
    exitCode: number;
    output: string;
    requirementIDs?: string[];
    now?: number;
}): GoalState;
export declare function recordFileEvidence(goal: GoalState, input: {
    root: string;
    requirementID: string;
    now?: number;
}): Promise<{
    goal: GoalState;
    evidence: EvidenceRecord;
}>;
export declare function proveRequirementsFromEvidence(goal: GoalState, evidenceID: string, now?: number): GoalState;
//# sourceMappingURL=evidence.d.ts.map