interface MocSpan { file: string; byte_start?: number | null; byte_end?: number | null; line_start: number; column_start: number; line_end: number; column_end: number; is_primary: boolean; label: string | null; suggested_replacement: string | null; suggestion_applicability: string | null; } export interface MocDiagnostic { message: string; code: string; level: string; spans: MocSpan[]; notes: string[]; } export declare function parseDiagnostics(stdout: string | undefined): MocDiagnostic[]; export interface AutofixResult { /** Map of file path → diagnostic codes fixed in that file */ fixedFiles: Map; totalFixCount: number; } export declare function autofixMotoko(mocPath: string, files: string[], mocArgs: string[]): Promise; export {};