Update Healer Man server

src/game/dungeonCatalog.ts

@@ -63,3 +63,19 @@ export function dungeonById(id: string): DungeonCatalogEntry | null {
 export function dungeonsByCategory(category: DungeonCategoryId): readonly DungeonCatalogEntry[] {
   return DUNGEON_CATALOG.filter((dungeon) => dungeon.category === category);
 }
+
+/** Selects from enterable category content and avoids an immediate repeat when alternatives exist. */
+export function randomDungeonByCategory(
+  category: DungeonCategoryId,
+  currentDungeonId?: string,
+  random: () => number = Math.random,
+  eligible: (dungeon: DungeonCatalogEntry) => boolean = () => true,
+): DungeonCatalogEntry | null {
+  const available = dungeonsByCategory(category).filter((dungeon) => dungeon.available && eligible(dungeon));
+  const candidates = available.length > 1
+    ? available.filter((dungeon) => dungeon.id !== currentDungeonId)
+    : available;
+  if (candidates.length === 0) return null;
+  const roll = Math.max(0, Math.min(0.9999999999999999, random()));
+  return candidates[Math.floor(roll * candidates.length)] ?? candidates[0];
+}