const RankingSummary({ required this.count, required this.stableCount, required this.tieGroupCount, required this.medianGap, });