public sealed record AnalysisFinding( string Analyzer, FindingSeverity Severity, string Title, string Description );