import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
import type { TCoreClaim } from "../schemata/claim.js";
import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../schemata/fork.js";
import type { TPropositCoreSnapshot, TPropositCoreConfig } from "./interfaces/library.interfaces.js";
import type { TInvariantValidationResult } from "../types/validation.js";
import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
import type { TCoreArgumentDiff, TCoreDiffOptions } from "../types/diff.js";
import { ClaimLibrary } from "./claim-library.js";
import { ClaimCitationLibrary } from "./claim-citation-library.js";
import { ClaimAxiomLibrary } from "./claim-axiom-library.js";
import { OriginLibrary } from "./origin-library.js";
import type { TCoreOriginDocument, TCoreOriginLink, TCoreOriginAnchor } from "../schemata/origin.js";
import { ArgumentLibrary } from "./argument-library.js";
import { ArgumentEngine } from "./argument-engine.js";
import { ForkLibrary } from "./fork-library.js";
/**
 * Options for constructing a `PropositCore` instance. Accepts optional
 * pre-constructed library instances and/or shared configuration. When a
 * library instance is provided, it is used directly; otherwise a new one
 * is constructed using the shared config.
 */
export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TOriginDocument extends TCoreOriginDocument = TCoreOriginDocument, TOriginLink extends TCoreOriginLink = TCoreOriginLink, TOriginAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> = TPropositCoreConfig & {
    /** Pre-constructed claim library instance. */
    claimLibrary?: ClaimLibrary<TClaim>;
    /** Pre-constructed claim-citation library instance. */
    claimCitationLibrary?: ClaimCitationLibrary<TCitation>;
    /** Pre-constructed claim-axiom library instance. */
    claimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>;
    /** Pre-constructed fork library instance. */
    forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
    /** Pre-constructed argument library instance. */
    argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>;
    /** Pre-constructed origin library instance. */
    originLibrary?: OriginLibrary<TOriginDocument, TOriginLink, TOriginAnchor>;
};
/**
 * Top-level orchestrator for the proposit-core system. Owns every library
 * (claims, claim citations, axioms, forks, arguments, origins) and provides
 * unified snapshot/restore and validation.
 *
 * Construction order follows dependency order:
 * claims -> citations -> axioms -> origins -> forks -> arguments.
 *
 * As of v0.10.0 the legacy `sources` and `claimSources` libraries have been
 * folded into `claims` and `citations` respectively — sources are now
 * claims with `type: "citation"`. As of v0.12.0 a parallel `axioms` library
 * holds axiomatic-claim connections (a third claim type `"axiomatic"`).
 * The `origins` library holds the source texts arguments were built from,
 * their per-version links, and the spans individual parts derive from.
 */
export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TOriginDocument extends TCoreOriginDocument = TCoreOriginDocument, TOriginLink extends TCoreOriginLink = TCoreOriginLink, TOriginAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> {
    readonly claims: ClaimLibrary<TClaim>;
    readonly citations: ClaimCitationLibrary<TCitation>;
    readonly axioms: ClaimAxiomLibrary<TAxiom>;
    readonly forks: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
    readonly arguments: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>;
    readonly origins: OriginLibrary<TOriginDocument, TOriginLink, TOriginAnchor>;
    protected generateId: () => string;
    constructor(options?: TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TOriginDocument, TOriginLink, TOriginAnchor>);
    /**
     * Returns a serializable snapshot of the entire PropositCore state,
     * including all libraries.
     */
    snapshot(): TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TOriginDocument, TOriginLink, TOriginAnchor>;
    /**
     * Restores a `PropositCore` instance from a snapshot. Libraries are
     * restored in dependency order: claims -> citations -> axioms -> forks ->
     * arguments.
     *
     * @param snapshot - The serialized PropositCore snapshot.
     * @param config - Optional shared configuration for the restored instance.
     * @returns A fully restored `PropositCore` instance.
     */
    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TOriginDocument extends TCoreOriginDocument = TCoreOriginDocument, TOriginLink extends TCoreOriginLink = TCoreOriginLink, TOriginAnchor extends TCoreOriginAnchor = TCoreOriginAnchor>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TOriginDocument, TOriginLink, TOriginAnchor>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TOriginDocument, TOriginLink, TOriginAnchor>;
    /**
     * Runs invariant validation across all managed libraries and merges
     * the results.
     *
     * @returns A combined validation result.
     */
    validate(): TInvariantValidationResult;
    /**
     * Forks an argument, cloning its referenced claims (including any
     * citation-typed claims reachable via citations) and the citation edges
     * between them, then remaps variable claim references to point at the
     * cloned claims. Creates fork records in all five namespaces.
     *
     * @param argumentId - The ID of the argument to fork.
     * @param newArgumentId - The ID for the forked argument. Defaults to `this.generateId()`.
     * @param options - Optional fork configuration and extras for fork records.
     * @returns The forked engine, remap tables, and the argument fork record.
     */
    forkArgument(argumentId: string, newArgumentId?: string, options?: TForkArgumentOptions & {
        forkId?: string;
        argumentForkExtras?: Partial<Omit<TArgFork, keyof TCoreArgumentForkRecord>>;
        premiseForkExtras?: Partial<Omit<TPremiseFork, keyof TCorePremiseForkRecord>>;
        expressionForkExtras?: Partial<Omit<TExprFork, keyof TCoreExpressionForkRecord>>;
        variableForkExtras?: Partial<Omit<TVarFork, keyof TCoreVariableForkRecord>>;
        claimForkExtras?: Partial<Omit<TClaimFork, keyof TCoreClaimForkRecord>>;
    }): {
        engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
        remapTable: TForkRemapTable;
        claimRemap: Map<string, string>;
        argumentFork: TArgFork;
    };
    /**
     * Computes a structural diff between two arguments managed by this
     * `PropositCore` instance. Automatically injects fork-aware entity
     * matchers derived from the fork records stored in `this.forks`.
     * Caller-provided matchers in `options` take precedence over the
     * fork-aware defaults.
     *
     * Modified entities carry a `state` field: `modified-own` (own change) or
     * `modified-within` (contained/referenced change only). See `diffArguments`
     * for the id-stability contract governing state expressibility.
     *
     * @param argumentIdA - The ID of the "before" argument.
     * @param argumentIdB - The ID of the "after" argument.
     * @param options - Optional diff configuration and comparator overrides.
     * @returns A structural diff between the two arguments.
     */
    diffArguments(argumentIdA: string, argumentIdB: string, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
}
//# sourceMappingURL=proposit-core.d.ts.map