export interface ConstraintEntry {
    variable: string;
    contract: string;
    setter: string;
    setter_line: number;
    file: string;
    validation: string | null;
    enforcement: 'ENFORCED' | 'UNENFORCED';
    emits_event: boolean;
    event_name: string | null;
}
export interface ConstraintResult {
    constraints: ConstraintEntry[];
    summary: {
        total_setters: number;
        enforced: number;
        unenforced: number;
        missing_events: number;
    };
}
/**
 * Extract constraint variables and their enforcement status from in-scope files.
 */
export declare function extractConstraints(projectDir: string, scopeFiles: string[]): ConstraintResult;
//# sourceMappingURL=constraint-extraction.d.ts.map