import type { TCoreDirectionalVacuity, TCoreQuadrivalentValue, TCoreValidationIssue, TCoreValidationResult } from "../../types/evaluation.js";
/** Creates a validation result, setting `ok` based on whether any error-severity issues exist. */
export declare function makeValidationResult(issues: TCoreValidationIssue[]): TCoreValidationResult;
/** Creates a validation issue with `severity: "error"`. */
export declare function makeErrorIssue(issue: Omit<TCoreValidationIssue, "severity">): TCoreValidationIssue;
/** Computes four-valued material implication: `!antecedent || consequent`. */
export declare function implicationValue(antecedent: TCoreQuadrivalentValue, consequent: TCoreQuadrivalentValue): TCoreQuadrivalentValue;
/** Builds a directional vacuity diagnostic for one direction of an implication. */
export declare function buildDirectionalVacuity(antecedentTrue: TCoreQuadrivalentValue, consequentTrue: TCoreQuadrivalentValue): TCoreDirectionalVacuity;
//# sourceMappingURL=validation.d.ts.map