import { type TCorePremise, type TCorePropositionalExpression, type TCorePropositionalVariable } from "../../schemata/index.js";
import type { TInvariantValidationResult } from "../../types/validation.js";
import type { TPremiseReadContext } from "./read-context.js";
/**
 * The premise's invariant sweep: schema conformance of `premiseData` (which
 * the caller builds, flushing checksums, before this runs), the expression
 * store's own checks, root consistency, and — when the argument supplies its
 * variable ids — that every variable expression names one of them.
 */
export declare function validatePremiseInvariants<TExpr extends TCorePropositionalExpression, TVar extends TCorePropositionalVariable>(ctx: TPremiseReadContext<TExpr, TVar>, premiseData: TCorePremise): TInvariantValidationResult;
//# sourceMappingURL=invariants.d.ts.map