/**
 * IR Soundness Gate - Validates IR before emission
 *
 * Walks the produced IR and asserts:
 * - No `anyType` anywhere (TSN7401 for explicit any, TSN7414 for unrepresentable)
 * - No unresolved/unsupported placeholders
 *
 * If this pass emits any errors, the emitter must not run.
 */
import { IrModule } from "../types.js";
import type { SoundnessGateOptions, SoundnessValidationResult } from "./soundness-gate-shared.js";
/**
 * Run soundness validation on all modules
 *
 * This is the IR soundness gate - if any diagnostics are returned,
 * the emitter must not run.
 */
export declare const validateIrSoundness: (modules: readonly IrModule[], options?: SoundnessGateOptions) => SoundnessValidationResult;
export type { SoundnessGateOptions, SoundnessValidationResult };
//# sourceMappingURL=soundness-gate.d.ts.map