import type { MemoModel } from '../model/semantic.js';
import type { ValidationResult } from './types.js';
import type { EffectiveRule } from '../model/methodology-resolver.js';
import type { CompiledConstraint } from './constraint-eval.js';
import type { KindRegistry } from '../model/kind-registry.js';
/**
 * Full model validation: native constraints + structural checks.
 * Preferred entry point — combines all validation passes.
 *
 * @param nativeConstraints constraints compiled from ontology `constraint def` bodies
 *                          (see collectNativeConstraints). Evaluated as native KerML
 *                          expressions over each constraint's subject kind.
 */
export declare function validateModel(model: MemoModel, nativeConstraints?: CompiledConstraint[], kindRegistry?: KindRegistry, effectiveRules?: EffectiveRule[], 
/** Methodology scope: which elements a rule may be evaluated ON. */
inScope?: (element: import('../model/semantic.js').MemoElement) => boolean): ValidationResult;
//# sourceMappingURL=rule-engine.d.ts.map