import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
import type { TCoreChecksumConfig } from "../types/checksum.js";
import type { TClaimLookup, TClaimConnectionLibraryManagement, TClaimConnectionLibrarySnapshot } from "./interfaces/library.interfaces.js";
import type { TInvariantValidationResult } from "../types/validation.js";
/**
 * Manages axiom-invocation edges between claims. Each connection goes from a
 * dependent `claimId` (which must be a `'normal'` claim) to a supporting
 * `supportingClaimId` (which must be an `'axiomatic'` claim).
 *
 * Cycle detection is omitted because axiomatic claims cannot appear on the
 * supported (`claimId`) side — `AXIOM_CLAIM_NOT_NORMAL_TYPE` blocks that —
 * so cycles are structurally impossible.
 */
export declare class ClaimAxiomLibrary<TConnection extends TCoreClaimConnection = TCoreClaimConnection> implements TClaimConnectionLibraryManagement<TConnection> {
    private axioms;
    private claimToConnections;
    private claimLookup;
    private checksumConfig?;
    constructor(claimLookup: TClaimLookup, options?: {
        checksumConfig?: TCoreChecksumConfig;
    });
    private restoreFromSnapshot;
    private withValidation;
    add(axiom: Omit<TConnection, "checksum">): TConnection;
    remove(id: string): TConnection;
    getConnectionsForClaim(claimId: string): TConnection[];
    get(id: string): TConnection | undefined;
    getAll(): TConnection[];
    filter(predicate: (c: TConnection) => boolean): TConnection[];
    snapshot(): TClaimConnectionLibrarySnapshot<TConnection>;
    /** Restores a claim-axiom library from a snapshot, re-indexing all axioms. */
    static fromSnapshot<TConnection extends TCoreClaimConnection = TCoreClaimConnection>(snapshot: TClaimConnectionLibrarySnapshot<TConnection>, claimLookup: TClaimLookup, options?: {
        checksumConfig?: TCoreChecksumConfig;
    }): ClaimAxiomLibrary<TConnection>;
    validate(): TInvariantValidationResult;
    private computeChecksum;
}
//# sourceMappingURL=claim-axiom-library.d.ts.map