import type { Proposal, ProposalEvaluationRuleSet, EvaluationResult, ProposalExtractor } from "./types.js";
import type { AlignmentContract } from "../alignment-contract.js";
export * from "./types.js";
export * from "./explainability.js";
export * from "./rules/program-027.js";
/**
 * Evaluate a proposal against an Alignment Contract using a deterministic rule set.
 *
 * This is a pure function: the same inputs always produce the same output.
 */
export declare function evaluateProposal(proposal: Proposal, contract: AlignmentContract, ruleSet: ProposalEvaluationRuleSet, extractors?: ProposalExtractor[]): EvaluationResult;