/**
 * EXT001: Extension Constraint Violation
 *
 * Validates CloudFormation resource properties against cross-property
 * constraints from cfn-lint extension schemas.
 *
 * Constraint types:
 * - if_then: if condition properties match, then requirement must hold
 * - dependent_excluded: if property A exists, property B must not
 * - required_or: at least one of the listed properties must exist
 * - required_xor: exactly one of the listed properties must exist
 */
import type { PostSynthCheck, PostSynthContext, PostSynthDiagnostic } from "@intentius/chant/lint/post-synth";
export interface ExtensionConstraint {
    name: string;
    type: "if_then" | "dependent_excluded" | "required_or" | "required_xor";
    condition?: unknown;
    requirement?: unknown;
}
/**
 * Core detection logic — exported for direct testing with synthetic data.
 */
export declare function checkExtensionConstraints(ctx: PostSynthContext, constraintMap: Map<string, ExtensionConstraint[]>): PostSynthDiagnostic[];
export declare const ext001: PostSynthCheck;
//# sourceMappingURL=ext001.d.ts.map