import type { CompiledDefinition, Finding, IR } from './types.js';
export interface CheckRelationsOptions {
    /** `canonical` — the lint/referee pass: only relations whose declaring and
     *  target blocks are all canonical. `all` — the bake's scope. */
    scope: 'canonical' | 'all';
}
export declare function checkRelations(ir: IR, def: CompiledDefinition, opts: CheckRelationsOptions): Finding[];