Update Healer Man server

src/app/dungeonLeaderboardClient.ts

@@ -4,6 +4,14 @@ import { dungeonLeaderboardCatalog as catalog } from "../game/dungeonLeaderboard
 import { normalizeDungeonRunProgress, type DungeonClearFilter, type DungeonLeaderboard,
   type DungeonRunPlacement, type DungeonRunRecord } from "../game/dungeonRunTypes";
 import { isLeaderboardFullClear, leaderboardFinalBossIds, leaderboardRunBossId } from "../game/dungeonLeaderboardRules";
+import { defaultBiteSizedBoardScope } from "../../shared/bite-sized-layouts.mjs";
+
+export interface BiteSizedBoardFilter { readonly spotId: string; readonly spotRevision: number }
+function matchesSpot(entry: DungeonRunRecord, spotId?: string, spotRevision?: number): boolean {
+  const scope = entry.biteSizedSelection ? { spotId: entry.biteSizedSelection.spot.id, spotRevision: entry.biteSizedSelection.spot.revision } : defaultBiteSizedBoardScope(entry.dungeonId);
+  const defaults = defaultBiteSizedBoardScope(entry.dungeonId);
+  return !defaults.spotId || (scope.spotId === (spotId ?? defaults.spotId) && scope.spotRevision === (spotRevision ?? defaults.spotRevision));
+}
 
 const STORAGE_KEY = "healer-man:dungeon-runs:v1";
 const listeners = new Set<() => void>();
@@ -44,7 +52,7 @@ export function saveLocalDungeonRun(record: DungeonRunRecord): void {
 }
 
 export function localDungeonLeaderboard(dungeonId: string, difficultyId: string,
-  filter: DungeonClearFilter, offset = 0, bossDifficulty = 0, bossId?: string): DungeonLeaderboard {
+  filter: DungeonClearFilter, offset = 0, bossDifficulty = 0, bossId?: string, spotId?: string, spotRevision?: number): DungeonLeaderboard {
   const difficulty = catalog.dungeons.find((entry) => entry.id === dungeonId)?.difficulties
     .find((entry) => entry.id === difficultyId);
   const selectedBossId = difficulty?.finalBossIds?.length
@@ -52,6 +60,7 @@ export function localDungeonLeaderboard(dungeonId: string, difficultyId: string,
   const runs = localRuns().filter((entry) => entry.dungeonId === dungeonId && entry.difficultyId === difficultyId
     && (entry.bossDifficulty ?? 0) === bossDifficulty
     && (!selectedBossId || entry.killedBossIds.includes(selectedBossId))
+    && matchesSpot(entry, spotId, spotRevision)
     && (filter === "final" || entry.fullClear)).sort((a, b) => a.durationMs - b.durationMs
       || a.finishedAt - b.finishedAt || a.id.localeCompare(b.id));
   return { total: runs.length, entries: runs.slice(offset, offset + DUNGEON_LEADERBOARD_PAGE_SIZE)
@@ -63,11 +72,13 @@ export function localDungeonRunPlacement(record: DungeonRunRecord): DungeonRunPl
     .find((entry) => entry.id === record.difficultyId);
   const bossId = difficulty?.finalBossIds?.length
     ? leaderboardRunBossId(difficulty, record.killedBossIds) ?? undefined : undefined;
-  const final = localDungeonLeaderboard(record.dungeonId, record.difficultyId, "final", 0, record.bossDifficulty ?? 0, bossId);
-  const full = localDungeonLeaderboard(record.dungeonId, record.difficultyId, "full", 0, record.bossDifficulty ?? 0, bossId);
+  const spotId = record.biteSizedSelection?.spot.id;
+  const spotRevision = record.biteSizedSelection?.spot.revision;
+  const final = localDungeonLeaderboard(record.dungeonId, record.difficultyId, "final", 0, record.bossDifficulty ?? 0, bossId, spotId, spotRevision);
+  const full = localDungeonLeaderboard(record.dungeonId, record.difficultyId, "full", 0, record.bossDifficulty ?? 0, bossId, spotId, spotRevision);
   const runs = localRuns().filter((entry) => entry.dungeonId === record.dungeonId && entry.difficultyId === record.difficultyId
     && (entry.bossDifficulty ?? 0) === (record.bossDifficulty ?? 0)
-    && (!bossId || entry.killedBossIds.includes(bossId)));
+    && (!bossId || entry.killedBossIds.includes(bossId)) && matchesSpot(entry, spotId, spotRevision));
   return { finalRank: 1 + runs.filter((entry) => entry.durationMs < record.durationMs).length,
     finalTotal: final.total, fullTotal: full.total,
     fullRank: record.fullClear ? 1 + runs.filter((entry) => entry.fullClear && entry.durationMs < record.durationMs).length : null };
@@ -75,10 +86,11 @@ export function localDungeonRunPlacement(record: DungeonRunRecord): DungeonRunPl
 
 export async function fetchDungeonLeaderboard(dungeonId: string, difficultyId: string,
   filter: DungeonClearFilter, offset: number, signal?: AbortSignal, bossDifficulty = 0,
-  bossId?: string): Promise<DungeonLeaderboard> {
+  bossId?: string, spotId?: string, spotRevision?: number): Promise<DungeonLeaderboard> {
   const query = new URLSearchParams({ dungeon: dungeonId, difficulty: difficultyId, clear: filter,
     offset: String(offset), limit: String(DUNGEON_LEADERBOARD_PAGE_SIZE), bossDifficulty: String(bossDifficulty) });
   if (bossId) query.set("boss", bossId);
+  if (spotId) { query.set("spot", spotId); query.set("spotRevision", String(spotRevision ?? 0)); }
   return requestOnlineJson(`/api/dungeon-leaderboards?${query}`, { signal });
 }