import type { ArgumentEngine } from "../core/argument-engine.js";
import type { TClaimConnectionLookup } from "../core/interfaces/library.interfaces.js";
import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
import type { TCoreArgument, TCorePremise, TCoreDerivationPremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaim } from "../schemata/index.js";
import type { TViolation } from "./types.js";
/**
 * Result returned by a `populateFrom*` factory. `kind === 'populated'`
 * means the factory built a new antecedent; `kind === 'no-op'` means
 * the factory did not act (either zero connections, or the target
 * premise was already populated).
 */
export type TPopulateResult<TDerivationPremise extends TCoreDerivationPremise = TCoreDerivationPremise> = {
    kind: "populated" | "no-op";
    state: TDerivationPremise;
    resolved?: readonly TViolation[];
};
/**
 * Run the factory for one grounding kind. Shared by
 * `populateFromCitations` / `populateFromAxioms` — the only difference
 * between them is which lookup is queried.
 *
 * @since 1.0.0
 */
export declare function populateFromGrounding<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TConn extends TCoreClaimConnection = TCoreClaimConnection>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>, derivedClaimId: string, lookup: TClaimConnectionLookup<TConn>): TPopulateResult;
//# sourceMappingURL=populate-from.d.ts.map