import type { TCoreArgument, TCoreClaim, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TOptionalChecksum } from "../schemata/index.js";
import { ArgumentEngine, type TLogicEngineOptions } from "./argument-engine.js";
import { ClaimLibrary } from "./claim-library.js";
import type { TArgumentLibrarySnapshot } from "./interfaces/library.interfaces.js";
import type { TInvariantValidationResult } from "../types/validation.js";
export type TArgumentLibraryLibraries<TClaim extends TCoreClaim = TCoreClaim> = {
    claimLibrary: ClaimLibrary<TClaim>;
};
/**
 * Engine registry with lifecycle management. Stores `ArgumentEngine` instances
 * keyed by argument ID.
 */
export declare class ArgumentLibrary<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim> {
    private engines;
    private libraries;
    private options?;
    constructor(libraries: TArgumentLibraryLibraries<TClaim>, options?: TLogicEngineOptions);
    /**
     * Constructs a new `ArgumentEngine` for the given argument and stores it.
     *
     * @param argument - The argument entity to create an engine for. Checksum
     *   fields are optional and will be computed lazily by the engine.
     * @returns The newly created engine.
     * @throws If an engine with the same argument ID already exists.
     */
    create(argument: TOptionalChecksum<TArg>): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    /**
     * Registers a pre-built `ArgumentEngine` in the library by its argument ID.
     * Used internally when forking creates a new engine that needs to be tracked.
     *
     * @param engine - The engine to register.
     * @throws If an engine with the same argument ID already exists.
     */
    register(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): void;
    /**
     * Returns the engine for the given argument ID, or `undefined` if not
     * found.
     *
     * @param argumentId - The argument ID to look up.
     * @returns The engine, or `undefined`.
     */
    get(argumentId: string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim> | undefined;
    /**
     * Returns all engines in the library as an array.
     *
     * @returns An array of all managed engines.
     */
    getAll(): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>[];
    /**
     * Removes the engine for the given argument ID and returns it.
     *
     * @param argumentId - The argument ID to remove.
     * @returns The removed engine.
     * @throws If no engine with the given ID exists.
     */
    remove(argumentId: string): ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    /**
     * Returns a serializable snapshot of all engines in the library.
     *
     * @returns The argument library snapshot.
     */
    snapshot(): TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
    /**
     * Merges invariant validation results from all managed engines via
     * each engine's `validateInvariants()` (schema conformance,
     * reference integrity, ownership, conclusion ref, circularity,
     * checksums). Four-tier grammar validation runs separately per
     * engine via `engine.validate(tier)` and is not aggregated here.
     *
     * @returns A combined validation result.
     */
    validate(): TInvariantValidationResult;
    /**
     * Restores an `ArgumentLibrary` from a snapshot by calling
     * `ArgumentEngine.fromSnapshot()` for each engine snapshot.
     *
     * @param snapshot - The serialized library snapshot.
     * @param libraries - The shared library instances (claim).
     * @param options - Optional engine construction options.
     * @returns A fully restored `ArgumentLibrary`.
     */
    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(snapshot: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>, libraries: TArgumentLibraryLibraries<TClaim>, options?: TLogicEngineOptions): ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>;
}
//# sourceMappingURL=argument-library.d.ts.map