Update Healer Man server

src/game/dungeonLeaderboardCatalog.ts

@@ -0,0 +1,15 @@
+import generated from "./generated/dungeonLeaderboardCatalog.generated.json";
+import type { DungeonLeaderboardDifficultyRule } from "./dungeonLeaderboardRules";
+
+export interface DungeonLeaderboardCatalogEntry {
+  readonly id: string;
+  readonly title: string;
+  readonly defaultDifficultyId: string;
+  readonly bosses: readonly { readonly id: string; readonly name: string }[];
+  readonly difficulties: readonly (DungeonLeaderboardDifficultyRule & {
+    readonly id: string;
+    readonly name: string;
+  })[];
+}
+
+export const dungeonLeaderboardCatalog = generated as { readonly dungeons: readonly DungeonLeaderboardCatalogEntry[] };