import type { TCoreQuadrivalentValue, TCoreResolvedAssignment } from "../../types/evaluation.js";
import type { TArgumentEvaluationContext } from "./argument-evaluation.js";
/**
 * Build a resolver that lazily evaluates internally premise-bound variables
 * by evaluating their bound premise's expression tree under the same
 * assignment. Claim-bound and externally-bound variables are read straight
 * from the assignment.
 *
 * Results are cached per variable for the resolver's lifetime, so one resolver
 * belongs to one assignment — a counterfactual re-close needs its own.
 */
export declare function createPremiseBoundResolver(ctx: TArgumentEvaluationContext, assignment: TCoreResolvedAssignment): (variableId: string) => TCoreQuadrivalentValue;
//# sourceMappingURL=premise-resolver.d.ts.map