/**
 * `codebase-invariant-check` tool — deterministic backward-compatibility & invariant audit.
 *
 * Allows agents, auditors, and workflows to pre-screen candidate code modifications
 * or compare file versions to identify breaking changes across TypeScript, Python, Go, Rust, etc.
 */
import { type Tool } from '@wrongstack/core/types';
import { type InvariantViolation } from './ast-invariant-engine.js';
import type { SymbolLang } from './schema.js';
export interface CodebaseInvariantCheckInput {
    file?: string | undefined;
    originalCode?: string | undefined;
    modifiedCode: string;
    lang?: SymbolLang | undefined;
}
export interface CodebaseInvariantCheckOutput {
    valid: boolean;
    /** False when the language has no invariant rules — `valid` then proves nothing. */
    verified: boolean;
    violations: InvariantViolation[];
    summary: string;
}
export declare const codebaseInvariantCheckTool: Tool<CodebaseInvariantCheckInput, CodebaseInvariantCheckOutput>;
//# sourceMappingURL=codebase-invariant-check-tool.d.ts.map