feat: show score achievement probabilities in leader rankings

2026-09-07 14:07:48 +09:00
parent 907c11b0e6
commit 98ef813cb5
4 changed files with 40 additions and 12 deletions
@@ -522,12 +522,12 @@
      directSongScoreBonusPercent: context.boardEffects.directSongScoreBonusPercent };
  }

-  async function showRatingResult(chart: NonNullable<typeof selectedChart>, rankingResult: ExactOptimizationResult, power: number) {
+  async function showRatingResult(chart: NonNullable<typeof selectedChart>, rankingResult: ExactOptimizationResult, power: number, probabilities: ScoreAchievementProbabilities) {
    ratingResultKey = ratingInputKey;
    selectedSongId = chart.songId;
    difficulty = chart.difficulty as DifficultyKey;
    result = rankingResult;
-    achievementProbabilities = undefined;
+    achievementProbabilities = probabilities;
    clearConnectionOptimizationProposal();
    await tick();
    resultCapture = structuredClone({