check

type Diagnostic struct {
	Line, Col       int
	EndLine, EndCol int
	Severity        Severity
	Code            string
	Message         string
}

type FixSummary struct {
	// Applied is the number of fixes applied across all passes.
	Applied int
	// Files lists the fixed files' absolute paths.
	Files []string
	// Passes is the number of pipeline runs.
	Passes int
	// Skipped lists the fixes that could not apply.
	Skipped []SkippedFix
}

type Request struct {
	// Files are the absolute thrift paths to check.
	Files []string
	// Folder is the absolute resolution root. Empty derives from the
	// first file's directory.
	Folder string
	// IncludePaths are the compiler-equivalent include roots, authoritative
	// for the run.
	IncludePaths []string
	// Lint tunes the pipeline. Nil means defaults.
	Lint *options.LintConfig
	// Analyzers are appended to the built-in pipeline.
	Analyzers []sema.Analyzer
	// Fix rewrites files in place until nothing applies, preserving file
	// permissions.
	Fix bool
}

type Result struct {
	Diagnostics map[string][]Diagnostic
	Fix         *FixSummary
}

type Severity string

type SkippedFix struct {
	// File is the absolute path of the file carrying the fix.
	File string
	// Title names the fix.
	Title string
	// Reason explains why it was skipped.
	Reason string
}