import { ArgumentEngine } from "../lib/core/argument-engine.js";
import { PropositCore } from "../lib/core/proposit-core.js";
export declare function hydratePropositCore(): Promise<PropositCore>;
export declare function persistCore(core: PropositCore): Promise<void>;
/**
 * Builds a fully-hydrated ArgumentEngine from the on-disk state for the
 * given argument ID and version number.
 *
 * Uses `ArgumentEngine.fromSnapshot()` to restore the engine, which
 * correctly suppresses auto-variable creation during premise restoration.
 */
export declare function hydrateEngine(argumentId: string, version: number, core?: PropositCore): Promise<ArgumentEngine>;
/**
 * Persists a fully-hydrated ArgumentEngine to disk, writing all metadata,
 * variables, roles, and premise data. This is the logical inverse of
 * `hydrateEngine()`.
 */
export declare function persistEngine(engine: ArgumentEngine): Promise<void>;
//# sourceMappingURL=engine.d.ts.map