import { GraphSpec } from './spec';
/**
 * Mathematical impossibility in a graph specification.
 */
export interface GraphSpecImpossibility {
    property: string;
    reason: string;
    severity: "error" | "warning";
}
/**
 * Analyze a graph spec for mathematically impossible combinations.
 * @param spec
 */
export declare const analyzeGraphSpecConstraints: (spec: GraphSpec) => GraphSpecImpossibility[];
/**
 * Check if a graph spec combination is mathematically impossible.
 * @param spec
 */
export declare const isGraphSpecImpossible: (spec: GraphSpec) => boolean;
/**
 * Get adjusted validation expectations for impossible combinations.
 * For specs with warnings, relax certain validation constraints.
 * @param spec
 */
export declare const getAdjustedValidationExpectations: (spec: GraphSpec) => Partial<Record<string, boolean>>;
//# sourceMappingURL=constraints.d.ts.map