import { type TCorePropositionalExpression, type TCorePropositionalVariable } from "../../schemata/index.js";
import type { TCorePremiseEvaluationResult, TCoreQuadrivalentValue, TCoreResolvedAssignment } from "../../types/evaluation.js";
import type { TPremiseReadContext } from "./read-context.js";
/**
 * Evaluates a premise under an assignment, recording a value for every
 * expression and, for an inference, the directional diagnostics. The caller
 * has already confirmed the premise is evaluable, so the root exists.
 * `isInference` asks the engine, at the two points the method always asked
 * it, so an engine that overrides `isInference()` still decides it.
 */
export declare function evaluatePremise<TExpr extends TCorePropositionalExpression, TVar extends TCorePropositionalVariable>(ctx: TPremiseReadContext<TExpr, TVar>, assignment: TCoreResolvedAssignment, isInference: () => boolean, options?: {
    strictUnknownKeys?: boolean;
    requireExactCoverage?: boolean;
    resolver?: (variableId: string) => TCoreQuadrivalentValue;
}): TCorePremiseEvaluationResult;
//# sourceMappingURL=evaluation.d.ts.map