export type ContractSpec = {
    mode?: "tokens" | "envelope";
    tokens?: string[];
    fields?: string[];
    schemaVersionPattern?: string;
};
export type FileInput = {
    path: string;
    content: string;
};
export type LayerReport = {
    path: string;
    present: string[];
    missing: string[];
    ordering_issues: string[];
    schema_version?: string | null;
};
export type ContractResult = {
    verdict: "PASS" | "BLOCK";
    mode: string;
    layers: LayerReport[];
    cross_layer: {
        inconsistent_tokens: string[];
        schema_versions?: Record<string, string | null>;
        missing_fields?: Record<string, string[]>;
    };
    block_reasons: string[];
};
export declare function auditContract(spec: ContractSpec, files: FileInput[]): ContractResult;