import type { TCorePropositionalExpression } from "../schemata/index.js";
import type { ChangeCollector } from "./change-collector.js";
import type { TLogicEngineOptions } from "./argument-engine.js";
import type { TInvariantValidationResult } from "../types/validation.js";
/**
 * Performs a comprehensive validation sweep on all managed expressions.
 *
 * Collects ALL violations rather than failing on the first one. Checks:
 * schema validity, duplicate IDs, self-referential parents, parent
 * existence, parent container type, root-only operators, child limits,
 * position uniqueness, and checksum integrity.
 */
export declare function validateExpressionManagerInvariants<TExpr extends TCorePropositionalExpression>(expressions: Map<string, TExpr>, childExpressionIdsByParentId: Map<string | null, Set<string>>, dirtyExpressionIds: Set<string>, config: TLogicEngineOptions | undefined, collector: ChangeCollector | null): TInvariantValidationResult;
//# sourceMappingURL=expression-manager-invariants.d.ts.map