import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
import type { TCoreClaim } from "../schemata/claim.js";
import type { TClaimLookup } from "./interfaces/library.interfaces.js";
import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
import { ArgumentEngine } from "./argument-engine.js";
/**
 * Creates an independent copy of an argument engine under a new argument ID.
 *
 * Every premise, expression, and variable receives a fresh ID. All internal
 * cross-references are remapped.
 *
 * The forked engine inherits the source engine's `behavior` setting
 * (`'assistive'` or `'permissive'`) by default. Pass `options.behavior`
 * to override.
 *
 * This function does NOT call `engine.canFork()` — callers are responsible
 * for checking fork eligibility.
 *
 * @param engine - The source engine to fork.
 * @param newArgumentId - The ID for the forked argument.
 * @param libraries - Claim library for the new engine.
 * @param options - Optional ID generator, checksum/position config overrides, and behavior override.
 * @returns The forked engine and a remap table mapping original to new entity IDs.
 */
export declare function forkArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>, newArgumentId: string, libraries: {
    claimLibrary: TClaimLookup<TClaim>;
}, options?: TForkArgumentOptions): {
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
    remapTable: TForkRemapTable;
};
//# sourceMappingURL=fork.d.ts.map