import type { TCoreArgument, TCoreClaim, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TOptionalChecksum } from "../../schemata/index.js";
import type { ArgumentEngine, TArgumentEngineSnapshot } from "../argument-engine.js";
/**
 * Verifies that all checksum fields in the snapshot match the recomputed
 * checksums on the restored engine. Throws on the first mismatch.
 */
export declare function verifySnapshotChecksums<TArg extends TCoreArgument, TPremise extends TCorePremise, TExpr extends TCorePropositionalExpression, TVar extends TCorePropositionalVariable, TClaim extends TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>, snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>): void;
/**
 * Verifies that all checksum fields in the input data match the recomputed
 * checksums on the restored engine. Throws on the first mismatch.
 */
export declare function verifyDataChecksums<TArg extends TCoreArgument, TPremise extends TCorePremise, TExpr extends TCorePropositionalExpression, TVar extends TCorePropositionalVariable, TClaim extends TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>, argument: TOptionalChecksum<TArg>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[]): void;
//# sourceMappingURL=checksum-verification.d.ts.map