import { ArgumentEngine } from "../lib/core/argument-engine.js";
import type { PremiseEngine } from "../lib/core/premise-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>;
/**
 * Checks the premise exists on disk, loads the argument version into an
 * engine, and returns the engine with that premise. Exits with an error if
 * the premise is missing on disk, or present on disk but absent from the
 * loaded engine; the two cases have different messages.
 */
export declare function requireHydratedPremise(argumentId: string, version: number, premiseId: string): Promise<{
    engine: ArgumentEngine;
    pm: PremiseEngine;
}>;
/**
 * 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