azeroth-shell 0.0.0-stage → 0.1.0

package/src/domain/scriptdev/naxxramasFrostwyrm.ts

@@ -0,0 +1,378 @@
+// Naxxramas Frostwyrm Lair — the ScriptDevAI IR port of Sapphiron and Kel'Thuzad plus their two
+// helper scripts. Sapphiron owns his schedule through list swaps; Kel'Thuzad keeps his baked list.
+
+import type {
+  ScriptDevAction, ScriptDevIR, ScriptDevSummonWave, ScriptDevTimedPhase, ScriptDevTimer,
+} from './types.ts';
+import { INSTANCE_DATA } from './types.ts';
+import { CAST_FLAG } from '../creature/creatureAi.ts';
+
+// naxxramas.h:70-71
+const TYPE = { SAPPHIRON: 13, KELTHUZAD: 14 } as const;
+
+// naxxramas.h:98-100,116-119
+const NPC = {
+  SAPPHIRON: 15989, KELTHUZAD: 15990, THE_LICHKING: 16980,
+  SOLDIER_FROZEN: 16427, UNSTOPPABLE_ABOM: 16428, SOUL_WEAVER: 16429, GUARDIAN: 16441,
+  BLIZZARD: 16474,
+} as const;
+
+// naxxramas.h:157-160
+const GO_KELTHUZAD_WINDOW = [181402, 181403, 181404, 181405] as const;
+
+/** BossAI::SetDataType — Aggro IN_PROGRESS, JustDied DONE, evade/home FAIL. Cite: BossAI.cpp:41-98. */
+function lifecycleFor(field: number, file: string) {
+  return {
+    onAggro: [{ kind: 'set_instance_data' as const, field, value: INSTANCE_DATA.IN_PROGRESS, cite: `${file} SetDataType; BossAI.cpp:75 Aggro SetData(IN_PROGRESS)` }],
+    onDeath: [{ kind: 'set_instance_data' as const, field, value: INSTANCE_DATA.DONE, cite: `${file} SetDataType; BossAI.cpp:49 JustDied SetData(DONE)` }],
+    onEvade: [{ kind: 'set_instance_data' as const, field, value: INSTANCE_DATA.FAIL, cite: `${file} SetDataType; BossAI.cpp:59,94 SetData(FAIL)` }],
+  };
+}
+
+// `creature_spell_list.TargetId` → IR target mode: 0 NONE (self-cast), 1 CURRENT (victim).
+// Cite: CreatureSpellList.h:34-43; creature_spell_targeting rows 0,1.
+const t = (
+  id: string, spellId: number, iMin: number, iMax: number, rMin: number, rMax: number,
+  target: ScriptDevTimer['target'], cite: string, extra: Partial<ScriptDevTimer> = {},
+): ScriptDevTimer => ({
+  id, spellId, initialMinMs: iMin, initialMaxMs: iMax, repeatMinMs: rMin, repeatMaxMs: rMax,
+  target, cite, ...extra,
+});
+
+// boss_sapphiron
+export const BOSS_SAPPHIRON: ScriptDevIR = {
+  name: 'boss_sapphiron',
+  boundCreatures: [NPC.SAPPHIRON],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_sapphiron.cpp',
+  // Trigger payloads ride the KIT: stepSession resolves a periodic trigger off
+  // spec.spells, so a payload missing here delivers nothing (moltenCore.ts:88 same rule).
+  spellIds: [
+    19818, 28529, 26662, 19983, 15847, 28542, 28560, 28561,
+    18430, 28526, 28522, 31800, 28535, 30101, 28524, 29329, 29330,
+    18941, 28531, 29318, 30132, 29336,
+  ],
+  timers: [
+    t('double_attack', 19818, 0, 0, 0, 0, 'self', 'boss_sapphiron.cpp:111 Reset DoCastSpellIfCan(SPELL_DOUBLE_ATTACK, CAST_TRIGGERED|CAST_AURA_NOT_PRESENT)', { onReset: true }),
+    t('frost_aura', 28529, 0, 0, 0, 0, 'self', 'boss_sapphiron.cpp:127 Aggro DoCastSpellIfCan(SPELL_FROST_AURA, CAST_TRIGGERED|CAST_AURA_NOT_PRESENT); :35 periodically triggers 28531', { onReset: true }),
+    // Phase-free: the 15-minute enrage is in neither list and must survive both swaps.
+    // AURA_NOT_PRESENT makes the 300 s re-arm fire exactly once, matching DisableCombatAction.
+    t('berserk', 26662, 900_000, 900_000, 300_000, 300_000, 'self', 'boss_sapphiron.cpp:88,118,190-197 AddCombatAction(SAPPHIRON_BERSERK, 15*MINUTE), subsequent 300s, DisableCombatAction on CAST_OK', { castFlags: CAST_FLAG.AURA_NOT_PRESENT }),
+    // ---- PHASE 0, list 1598901 (SPELLSET_GROUND) ----
+    t('cleave', 19983, 5000, 5000, 5000, 10_000, 'victim', 'creature_spell_list 1598901:1 Sapphiron - Cleave (TargetId 1 = Current)', { phase: 0 }),
+    t('tail_sweep', 15847, 12_000, 12_000, 7000, 10_000, 'self', 'creature_spell_list 1598901:2 Sapphiron - Tail Sweep (TargetId 0 = None)', { phase: 0 }),
+    t('life_drain', 28542, 11_000, 11_000, 24_000, 24_000, 'self', 'creature_spell_list 1598901:3 Sapphiron - Life Drain', { phase: 0 }),
+    t('blizzard', 28560, 15_000, 15_000, 10_000, 30_000, 'self', 'creature_spell_list 1598901:4 Sapphiron - Blizzard', { phase: 0 }),
+    // PHASE 1, list 1598902 SPELLSET_AIR. 28526 is a bare SCRIPT effect: the pick (a player without
+    // 28522) and the 31800 immunity ARE the port, and that immunity carries them through the breath.
+    t('icebolt', 28522, 2000, 2000, 3000, 3000, 'hostile_random_player_not_aura', 'creature_spell_list 1598902:1 Sapphiron - Icebolt (live3310 dump); boss_sapphiron.cpp:238-250 IceBolt SpellScript SelectAttackingTarget(RANDOM, 0, SPELL_ICEBOLT, PLAYER | NOT_AURA)', {
+      phase: 1,
+      actions: [
+        {
+          kind: 'cast_on_cast_target',
+          spellId: 31800,
+          castFlags: CAST_FLAG.TRIGGERED,
+          auraNotPresent: true,
+          cite: 'boss_sapphiron.cpp:268-274 PeriodicIceBolt: !HasAura(SPELL_ICEBOLT_IMMUNITY) -> CastSpell(target, 31800)',
+        },
+        {
+          kind: 'cast_on_cast_target',
+          spellId: 28535,
+          castFlags: CAST_FLAG.TRIGGERED,
+          cite: 'boss_sapphiron.cpp:272 data.spellInfo = SPELL_ICEBLOCK_SUMMON 28535 (GO 181247, 22 s)',
+        },
+      ],
+    }),
+    // ---- PHASE 2, list 1598903 (SPELLSET_NULL): zero rows, so zero timers ----
+  ],
+  timedPhases: [
+    {
+      id: 'air',
+      phase: 1,
+      afterMs: 46_000,
+      next: 'frost_breath',
+      hpMinPct: 10,
+      actions: [
+        { kind: 'set_melee_enabled', enabled: false, cite: 'boss_sapphiron.cpp:207 SetMeleeEnabled(false)' },
+        { kind: 'cast_self', spellId: 29329, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_sapphiron.cpp:144 SPELL_SUMMON_WING_BUFFET' },
+        { kind: 'cast_self', spellId: 18430, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_sapphiron.cpp:150 CastSpell(SPELL_DRAGON_HOVER, TRIGGERED_OLD_TRIGGERED)' },
+        { kind: 'flavor', text: 'takes to the air!', cite: 'boss_sapphiron.cpp:148 HandleEmote(EMOTE_ONESHOT_LIFTOFF)' },
+      ],
+      cite: 'boss_sapphiron.cpp:89,199-211 AddCombatAction(SAPPHIRON_AIR_PHASE, 46s) -> :151 SetSpellList(SPELLSET_AIR 1598902)',
+    },
+    {
+      // 2000 initial + 5 x 3000 repeat = the SIXTH icebolt, which is the cast at which
+      // m_iceboltCount has reached 5. Cite: creature_spell_list 1598902:1 + :251.
+      id: 'frost_breath',
+      phase: 2,
+      afterMs: 17_000,
+      next: 'ground',
+      actions: [
+        { kind: 'cast_self', spellId: 28524, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_sapphiron.cpp:254 CastSpell(SPELL_FROST_BREATH); :52 triggers 29318 + 30132' },
+        { kind: 'cast_self', spellId: 30101, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_sapphiron.cpp:253,181 SPELL_FROST_BREATH_DUMMY' },
+        { kind: 'flavor', text: 'takes a deep breath...', cite: 'boss_sapphiron.cpp:255 DoBroadcastText(EMOTE_BREATH 7213)' },
+      ],
+      cite: 'boss_sapphiron.cpp:251-258 m_iceboltCount >= 5 -> Frost Breath then SetSpellList(SPELLSET_NULL 1598903)',
+    },
+    {
+      // 10 s from the breath to the landing emote (:257), then 2 s to the ground list (:158).
+      id: 'ground',
+      phase: 0,
+      afterMs: 12_000,
+      next: 'air',
+      actions: [
+        { kind: 'set_melee_enabled', enabled: true, cite: 'boss_sapphiron.cpp:167 SetMeleeEnabled(true)' },
+        { kind: 'cast_self', spellId: 29330, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_sapphiron.cpp:145 SPELL_DESPAWN_WING_BUFFET' },
+        { kind: 'remove_auras', spellId: 18430, cite: 'boss_sapphiron.cpp:169 RemoveAurasDueToSpell(SPELL_DRAGON_HOVER)' },
+        { kind: 'flavor', text: 'lands.', cite: 'boss_sapphiron.cpp:157 HandleEmote(EMOTE_ONESHOT_LAND)' },
+      ],
+      cite: 'boss_sapphiron.cpp:155-175 HandleLandingPhase -> HandleGroundPhase SetSpellList(SPELLSET_GROUND 1598901) + ResetCombatAction(AIR_PHASE, 46s)',
+    },
+  ],
+  lifecycle: lifecycleFor(TYPE.SAPPHIRON, 'boss_sapphiron.cpp:87'),
+  cites: [
+    'boss_sapphiron.cpp:28-347 whole file',
+    'creature_spell_list_entry 1598901 "Naxxramas - Sapphiron", 1598902 "… - Air Phase", 1598903 "… - NULL list" (live3310_classicmangos.sql)',
+    'boss_sapphiron.cpp:201 air phase only while GetHealthPercent() > 10.f (timedPhases.air.hpMinPct)',
+    'boss_sapphiron.cpp:238-279 Icebolt pick + 31800 immunity + 28535 Ice Block via the icebolt row',
+    'boss_sapphiron.cpp:280-306 DespawnIceBlock 30132 strips 31800/28522 early - residual: 30132 has no mapped effects, so the 27 s immunity outlives the breath instead of being cut by it',
+  ],
+};
+
+// go_sapphiron_birth — GO 181356 'Sapphiron Birth' (gameobject_template.ScriptName)
+export const GO_SAPPHIRON_BIRTH: ScriptDevIR = {
+  name: 'go_sapphiron_birth',
+  boundCreatures: [],
+  boundGos: [181356],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_sapphiron.cpp',
+  spellIds: [],
+  timers: [],
+  goUse: {
+    goEntries: [181356],
+    gates: [{ field: TYPE.SAPPHIRON, equals: INSTANCE_DATA.NOT_STARTED, cite: 'boss_sapphiron.cpp:225 GetData(TYPE_SAPPHIRON) != NOT_STARTED -> return' }],
+    actions: [{ kind: 'set_instance_data', field: TYPE.SAPPHIRON, value: INSTANCE_DATA.SPECIAL, cite: 'boss_sapphiron.cpp:233 SetData(TYPE_SAPPHIRON, SPECIAL)' }],
+    cite: 'boss_sapphiron.cpp:218-235 GOUse_go_sapphiron_birth; :337 newScript->Name = "go_sapphiron_birth"',
+  },
+  cites: [
+    'gameobject_template 181356 "Sapphiron Birth" ScriptName go_sapphiron_birth (live3310_classicmangos.sql)',
+    'boss_sapphiron.cpp:229 GetSingleCreatureFromStorage safety check has no IR equivalent - harmless, it only guards a double summon',
+  ],
+};
+
+// boss_kelthuzad — phase 1 ramp
+
+// boss_kelthuzad.cpp:107-131 — [first tick, summon-rate aura, aura period ms, adds this segment].
+// Periods and per-segment counts are the source's own annotations, summing to 14 / 14 / 120.
+type KtSeg = readonly [tick: number, auraSpellId: number, periodMs: number, count: number];
+
+const KT_TIMELINES: ReadonlyArray<{
+  key: string; entry: number; segs: readonly KtSeg[]; cite: string;
+}> = [
+  {
+    key: 'soul_weaver',
+    entry: NPC.SOUL_WEAVER,
+    segs: [
+      [1, 29399, 40_000, 1], [42, 29401, 20_000, 1], [63, 28427, 30_000, 3],
+      [154, 29412, 15_000, 9], [290, 0, 0, 0],
+    ],
+    cite: 'boss_kelthuzad.cpp:107-113 soulWeaverSpellsTimers (total 14)',
+  },
+  {
+    key: 'abomination',
+    entry: NPC.UNSTOPPABLE_ABOM,
+    segs: [
+      [15, 28426, 30_000, 2], [76, 29393, 25_000, 2], [127, 29394, 20_000, 5],
+      [228, 29398, 15_000, 3], [259, 29411, 10_000, 2], [291, 0, 0, 0],
+    ],
+    cite: 'boss_kelthuzad.cpp:115-122 unstoppableAbominationSpellsTimers (total 14)',
+  },
+  {
+    key: 'soldier',
+    entry: NPC.SOLDIER_FROZEN,
+    segs: [
+      [7, 29410, 5000, 13], [73, 29391, 4000, 15], [134, 28425, 3000, 18],
+      [189, 29392, 2000, 27], [244, 29409, 1000, 47], [292, 0, 0, 0],
+    ],
+    cite: 'boss_kelthuzad.cpp:124-131 soldierFrozenWasteSpellsTimers (total 120)',
+  },
+];
+
+/** GetCreatures("KEL_THUZAD_WORLD_TRIGGERS_ADDS") — string_id 5330001, 8 creature_spawn_data rows. */
+const KT_ALCOVE_TRIGGERS = 8;
+
+/** boss_kelthuzad.cpp:213-221 — SummonIntroCreatures(entry, count) spawns count PER trigger. */
+const KT_INTRO_BURSTS: Record<number, { entry: number; per: number; cite: string }> = {
+  4: { entry: NPC.SOLDIER_FROZEN, per: 9, cite: 'boss_kelthuzad.cpp:213-215 tick 4 SummonIntroCreatures(NPC_SOLDIER_FROZEN, 9)' },
+  9: { entry: NPC.UNSTOPPABLE_ABOM, per: 3, cite: 'boss_kelthuzad.cpp:216-218 tick 9 SummonIntroCreatures(NPC_UNSTOPPABLE_ABOM, 3)' },
+  12: { entry: NPC.SOUL_WEAVER, per: 1, cite: 'boss_kelthuzad.cpp:219-221 tick 12 SummonIntroCreatures(NPC_SOUL_WEAVER, 1)' },
+};
+
+const KT_TICK_DESPAWN = 310;
+const KT_TICK_PHASE_TWO = 325;
+
+const KT_BOUNDARY_TICKS: readonly number[] = [
+  ...new Set([
+    ...KT_TIMELINES.flatMap((tl) => tl.segs.map((s) => s[0])),
+    ...Object.keys(KT_INTRO_BURSTS).map(Number),
+    KT_TICK_DESPAWN, KT_TICK_PHASE_TWO,
+  ]),
+].sort((a, b) => a - b);
+
+/** Runtime phase for the segment starting at boundary index i; phase 0 is the pre-ramp second. */
+const ktPhaseFor = (i: number) => i + 1;
+
+const KT_PHASE_ONE: ScriptDevTimedPhase[] = KT_BOUNDARY_TICKS.map((tick, i) => {
+  const actions: ScriptDevAction[] = [];
+  const burst = KT_INTRO_BURSTS[tick];
+  if (burst) {
+    actions.push({
+      kind: 'summon_count',
+      creatureEntry: burst.entry,
+      count: burst.per * KT_ALCOVE_TRIGGERS,
+      cite: `${burst.cite} x ${KT_ALCOVE_TRIGGERS} triggers (:330 GetCreatures("KEL_THUZAD_WORLD_TRIGGERS_ADDS"))`,
+    });
+  }
+  if (tick === KT_TICK_DESPAWN) {
+    actions.push({ kind: 'yell', textId: 12995, cite: 'boss_kelthuzad.cpp:222-230 MAX_SUMMON_TICKS -> urand SAY_AGGRO1/2/3' });
+  }
+  if (tick === KT_TICK_PHASE_TWO) {
+    actions.push({ kind: 'clear_unattackable', cite: 'boss_kelthuzad.cpp:368-372 RemoveFlag(IMMUNE_TO_PLAYER|UNINTERACTIBLE) + SetInCombatWithZone + MoveChase' });
+    actions.push({ kind: 'flavor', text: 'stops channelling and turns on the raid!', cite: 'boss_kelthuzad.cpp:231-232,364-375 StartPhase2 RemoveFlag + SetInCombatWithZone + MoveChase' });
+  }
+  const next = KT_BOUNDARY_TICKS[i + 1];
+  return {
+    id: `tick${tick}`,
+    phase: ktPhaseFor(i),
+    afterMs: (tick - (i === 0 ? 0 : KT_BOUNDARY_TICKS[i - 1])) * 1000,
+    ...(next != null ? { next: `tick${next}` } : {}),
+    actions,
+    cite: `boss_kelthuzad.cpp:207-241 m_summonTicks == ${tick} (1 s per 29422 tick)`,
+  };
+});
+
+// One wave per (add type, segment) — a plain periodic summoner at the aura's period, whose `waveCount` is
+// the segment's own documented add count so it never wraps inside the phase.
+const KT_SUMMON_WAVES: ScriptDevSummonWave[] = KT_TIMELINES.flatMap((tl) =>
+  KT_BOUNDARY_TICKS.flatMap((tick, i) => {
+    const seg = [...tl.segs].reverse().find((s) => s[0] <= tick);
+    if (!seg || seg[1] === 0) return [];
+    const period = seg[2];
+    return [{
+      id: `${tl.key}_t${tick}`,
+      creatureEntry: tl.entry,
+      perTick: 1,
+      armDelayMs: period,
+      firstTickMinMs: period,
+      firstTickMaxMs: period,
+      tickMinMs: period,
+      tickMaxMs: period,
+      firstWaveCount: seg[3],
+      waveMinCount: seg[3],
+      waveMaxCount: seg[3],
+      gapBaseMs: 0,
+      gapPerSummonFirstMs: 0,
+      gapPerSummonMs: 0,
+      phase: ktPhaseFor(i),
+      cite: `${tl.cite}; aura ${seg[1]} every ${period / 1000}s from tick ${seg[0]} (boss_kelthuzad.cpp:61-77)`,
+    }];
+  }),
+);
+
+/** 55 s of spawns at one every 10 s. Cite: boss_kelthuzad.cpp:98 + :431 ResetTimer(STOP_GUARDIAN_SPAWNS, 55s). */
+const KT_GUARDIAN_COUNT = 5;
+
+export const BOSS_KELTHUZAD: ScriptDevIR = {
+  name: 'boss_kelthuzad',
+  boundCreatures: [NPC.KELTHUZAD],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_kelthuzad.cpp',
+  spellIds: [
+    29423, 29422, 28421, 28422, 28423, 28415, 28416, 28417,
+    28478, 28479, 27819, 27820, 27810, 27808, 29879, 28408, 28409, 28410,
+    28453, 28454, 28455, 29898, 29910,
+  ],
+  // Deliberately empty: all six rows of 1599001 are his phase-2 kit, the bake already has
+  // them, and `phases` alone still returns a plan — so the list arms and the phases run.
+  timers: [],
+  timedPhases: KT_PHASE_ONE,
+  oocClock: true,
+  summonWaves: KT_SUMMON_WAVES,
+  phases: [
+    {
+      // Above every ramp phase so a boundary crossing cannot re-enter it; nothing is gated
+      // on it staying set, because its entire payload fires here once.
+      phase: 30,
+      hpBelowPct: 40,
+      actions: [
+        { kind: 'yell', textId: 12998, cite: 'boss_kelthuzad.cpp:443 DoScriptText(SAY_REQUEST_AID)' },
+        { kind: 'yell', textId: 12994, cite: 'boss_kelthuzad.cpp:424-425 SAY_ANSWER_REQUEST on NPC_THE_LICHKING 16980' },
+        { kind: 'cast_self', spellId: 28453, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_kelthuzad.cpp:420 CastSpell(SPELL_SUMMON_PERIODIC_D, TRIGGERED_OLD_TRIGGERED)' },
+        { kind: 'cast_self', spellId: 29898, castFlags: CAST_FLAG.TRIGGERED, cite: 'boss_kelthuzad.cpp:422 CastSpell(SPELL_GUARDIAN_INIT, TRIGGERED_OLD_TRIGGERED)' },
+        { kind: 'summon_count', creatureEntry: NPC.GUARDIAN, count: KT_GUARDIAN_COUNT, cite: 'boss_kelthuzad.cpp:98,420,431 28453 summons one Guardian every 10s, stopped after 55s' },
+        ...GO_KELTHUZAD_WINDOW.map((goEntry, n): ScriptDevAction => ({
+          kind: 'open_door', goEntry, cite: `boss_kelthuzad.cpp:${427 + n} DoUseDoorOrButton(GO_KELTHUZAD_WINDOW_${n + 1}); naxxramas.h:${157 + n}`,
+        })),
+      ],
+      cite: 'boss_kelthuzad.cpp:163,438-446 AddTimerlessCombatAction(KELTHUZAD_PHASE_GUARDIANS) GetHealthPercent() < 40.0f',
+    },
+  ],
+  lifecycle: {
+    onReset: [
+      { kind: 'set_unattackable', cite: 'boss_kelthuzad.cpp:181-182 UNIT_FLAG_IMMUNE_TO_PLAYER|UNINTERACTIBLE + SetMeleeEnabled(false)' },
+      { kind: 'set_melee_enabled', enabled: false, cite: 'boss_kelthuzad.cpp:182 SetMeleeEnabled(false)' },
+    ],
+    onAggro: [
+      { kind: 'set_instance_data', field: TYPE.KELTHUZAD, value: INSTANCE_DATA.IN_PROGRESS, cite: 'boss_kelthuzad.cpp:158 SetDataType(TYPE_KELTHUZAD); BossAI.cpp:75' },
+      { kind: 'yell', textId: 12999, cite: 'boss_kelthuzad.cpp:203-206 SpellHit(SPELL_CHANNEL_VISUAL) -> SAY_SUMMON_MINIONS' },
+    ],
+    onDeath: [
+      { kind: 'set_instance_data', field: TYPE.KELTHUZAD, value: INSTANCE_DATA.DONE, cite: 'boss_kelthuzad.cpp:158 SetDataType(TYPE_KELTHUZAD); BossAI.cpp:49' },
+      { kind: 'yell', textId: 13019, cite: 'boss_kelthuzad.cpp:160 AddOnDeathText(SAY_DEATH)' },
+    ],
+    onEvade: [
+      { kind: 'set_instance_data', field: TYPE.KELTHUZAD, value: INSTANCE_DATA.FAIL, cite: 'boss_kelthuzad.cpp:158 SetDataType(TYPE_KELTHUZAD); BossAI.cpp:59,94' },
+    ],
+  },
+  cites: [
+    'boss_kelthuzad.cpp:30-654 whole file',
+    'creature_spell_list_entry 1599001 "Naxxramas - KelThuzad" - 6 rows kept on the bake',
+    'boss_kelthuzad.cpp:79-80 MAX_SUMMON_TICKS 310 / MAX_CHANNEL_TICKS 325 (1 tick = 1 s)',
+    'boss_kelthuzad.cpp:159,411-414 AddOnKillText + OnSpellCast chain/frost-blast/mana lines - no per-cast yell hook',
+  ],
+};
+
+// npc_icecrown_guardian — registered by boss_kelthuzad.cpp:644-647
+export const NPC_ICECROWN_GUARDIAN: ScriptDevIR = {
+  name: 'npc_icecrown_guardian',
+  boundCreatures: [NPC.GUARDIAN],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_kelthuzad.cpp',
+  spellIds: [29897, 29899, 28470],
+  timers: [
+    t('guardian_passive', 29897, 0, 0, 0, 0, 'self', 'boss_kelthuzad.cpp:480 Reset DoCastSpellIfCan(SPELL_GUARDIAN_PASSIVE, CAST_AURA_NOT_PRESENT)', { onReset: true }),
+    // Blood Tap is a stack per NEW tank, not a timer: the 2 s poll compares the current victim with
+    // the one stored at the last poll and only casts when it moved.
+    t('guardian_blood_tap_poll', 28470, 2000, 2000, 2000, 2000, 'self', 'boss_kelthuzad.cpp:501-521 m_checkCurrentVictimTimer 2 s, m_victimGuid != GetVictim() -> SPELL_BLOOD_TAP', {
+      pollOnly: true,
+      actions: [{
+        kind: 'cast_on_victim_change',
+        spellId: 28470,
+        cite: 'boss_kelthuzad.cpp:512-517 DoCastSpellIfCan(m_creature->GetVictim(), SPELL_BLOOD_TAP)',
+      }],
+    }),
+  ],
+  lifecycle: {
+    onKill: [{
+      kind: 'cast_on_victim_change',
+      spellId: 28470,
+      cite: 'boss_kelthuzad.cpp:495-498 KilledUnit -> DoCastSpellIfCan(GetVictim(), SPELL_BLOOD_TAP)',
+    }],
+  },
+  cites: [
+    'boss_kelthuzad.cpp:463-524 npc_icecrown_guardianAI; :645 newScript->Name = "npc_icecrown_guardian"',
+    'boss_kelthuzad.cpp:495-523 Blood Tap 28470 on kill and on every victim change, via cast_on_victim_change',
+    'creature_template 16441 Guardian of Icecrown IS in src/data/tables/creatures.json - the unusedBindings row that said otherwise was wrong and is deleted',
+    'boss_kelthuzad.cpp:483-493 JustReachedHome ForcedDespawn / EnterEvadeMode aura strip - no home-reached hook',
+  ],
+};
+
+export const NAXXRAMAS_FROSTWYRM_IRS: readonly ScriptDevIR[] = [
+  BOSS_SAPPHIRON, GO_SAPPHIRON_BIRTH, BOSS_KELTHUZAD, NPC_ICECROWN_GUARDIAN,
+];

package/src/domain/scriptdev/naxxramasMilitary.ts

@@ -0,0 +1,276 @@
+// Naxxramas Military Quarter — the ScriptDevAI IR port of Razuvious, Gothik and the Four Horsemen
+// as ONE IR across four creatures. Cadence is creature_spell_list rows; the C++ is cited per timer.
+
+import type { ScriptDevIR, ScriptDevTimer } from './types.ts';
+import { INSTANCE_DATA } from './types.ts';
+import { CAST_FLAG } from '../creature/creatureAi.ts';
+
+// naxxramas.h:61-63
+const TYPE = { RAZUVIOUS: 6, GOTHIK: 7, FOUR_HORSEMEN: 8 } as const;
+
+// naxxramas.h:88-91,105; Razuvious is not in the header — creature_template.entry 16061 with
+// ScriptName 'boss_razuvious' (and his SPELLSET id 1606101 carries the entry as its prefix).
+const NPC = {
+  RAZUVIOUS: 16061, GOTHIK: 16060,
+  MOGRAINE: 16062, ZELIEK: 16063, KORTHAZZ: 16064, BLAUMEUX: 16065,
+  UNREL_TRAINEE: 16124, UNREL_DEATH_KNIGHT: 16125, UNREL_RIDER: 16126,
+  SPECT_TRAINEE: 16127, SPECT_DEATH_KNIGHT: 16148, SPECT_HORSE: 16149, SPECT_RIDER: 16150,
+} as const;
+const GOTHIK_ADDS = [
+  NPC.UNREL_TRAINEE, NPC.UNREL_DEATH_KNIGHT, NPC.UNREL_RIDER,
+  NPC.SPECT_TRAINEE, NPC.SPECT_DEATH_KNIGHT, NPC.SPECT_HORSE, NPC.SPECT_RIDER,
+] as const;
+
+/** BossAI::SetDataType — Aggro IN_PROGRESS, JustDied DONE, evade/home FAIL. Cite: BossAI.cpp:41-98. */
+function lifecycleFor(field: number, file: string) {
+  return {
+    onAggro: [{ kind: 'set_instance_data' as const, field, value: INSTANCE_DATA.IN_PROGRESS, cite: `${file} SetDataType; BossAI.cpp:75 Aggro SetData(IN_PROGRESS)` }],
+    onDeath: [{ kind: 'set_instance_data' as const, field, value: INSTANCE_DATA.DONE, cite: `${file} SetDataType; BossAI.cpp:49 JustDied SetData(DONE)` }],
+    onEvade: [{ kind: 'set_instance_data' as const, field, value: INSTANCE_DATA.FAIL, cite: `${file} SetDataType; BossAI.cpp:59,94 SetData(FAIL)` }],
+  };
+}
+
+// `creature_spell_list.TargetId` → IR target mode: 0 NONE (self-cast), 1 CURRENT (victim), 100
+// attack-random-player. Cite: CreatureSpellList.h:34-43; creature_spell_targeting rows 0,1,100.
+const t = (
+  id: string, spellId: number, iMin: number, iMax: number, rMin: number, rMax: number,
+  target: ScriptDevTimer['target'], cite: string, extra: Partial<ScriptDevTimer> = {},
+): ScriptDevTimer => ({
+  id, spellId, initialMinMs: iMin, initialMaxMs: iMax, repeatMinMs: rMin, repeatMaxMs: rMax,
+  target, cite, ...extra,
+});
+
+// boss_razuvious
+export const BOSS_RAZUVIOUS: ScriptDevIR = {
+  name: 'boss_razuvious',
+  boundCreatures: [NPC.RAZUVIOUS],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_razuvious.cpp',
+  spellIds: [26613, 29107, 29125],
+  // boss_razuviousAI declares RAZUVIOUS_ACTION_MAX with no actions: the spell list IS his kit.
+  timers: [
+    t('unbalancing_strike', 26613, 30_000, 30_000, 30_000, 30_000, 'victim', 'creature_spell_list 1606101:1 Razuvious - Unbalancing Strike (TargetId 1 = Current)'),
+    t('disrupting_shout', 29107, 25_000, 25_000, 25_000, 25_000, 'self', 'creature_spell_list 1606101:2 Razuvious - Disrupting Shout (TargetId 0 = None)'),
+  ],
+  spellHits: [{
+    spellId: 29060,
+    actions: [{
+      kind: 'yell',
+      textIds: [13077, 13072, 13073, 13074],
+      cite: 'boss_razuvious.cpp:35-38,70-83 SpellHit SPELL_TAUNT 29060 urand(0,3) over SAY_UNDERSTUDY_TAUNT_1-4 13077/13072/13073/13074',
+    }],
+    cite: 'boss_razuvious.cpp:70-83 SpellHit SPELL_TAUNT',
+  }],
+  leashZGt: 285,
+  lifecycle: (() => {
+    const life = lifecycleFor(TYPE.RAZUVIOUS, 'boss_razuvious.cpp:61');
+    return {
+      ...life,
+      onDeath: [
+        ...life.onDeath,
+        {
+          kind: 'cast_self' as const,
+          spellId: 29125,
+          castFlags: CAST_FLAG.TRIGGERED,
+          cite: 'boss_razuvious.cpp:104-108 JustDied SPELL_HOPELESS 29125 CAST_TRIGGERED',
+        },
+      ],
+    };
+  })(),
+  cites: [
+    'boss_razuvious.cpp:28-117 whole file',
+    'creature_spell_list_entry 1606101 "Naxxramas - Razuvious" (list starts at Position 1 - there is no row 0)',
+    'boss_razuvious.cpp:49,60 SetLeashingCheck z > 285',
+    'boss_razuvious.cpp:35-38,70-83 SpellHit 29060 urand(0,3) over SAY_UNDERSTUDY_TAUNT_1-4 13077/13072/13073/13074',
+    'boss_razuvious.cpp:85-102 SpellHitTarget 29107 first mana player EMOTE_TRIUMPHANT_SHOOT 13082',
+    'boss_razuvious.cpp:104-108 JustDied SPELL_HOPELESS 29125 CAST_TRIGGERED',
+  ],
+};
+
+// boss_gothik
+export const BOSS_GOTHIK: ScriptDevIR = {
+  name: 'boss_gothik',
+  boundCreatures: [NPC.GOTHIK],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_gothik.cpp',
+  spellIds: [28679, 29317, 28025, 28026, 29230, 28035, 28007, 28009, 28011, 27884, 28008, 28010],
+  timers: [
+    t('harvest_soul', 28679, 2500, 2500, 15_000, 15_000, 'self', 'creature_spell_list 1606001:0 Gothik - Harvest Soul (TargetId 0 = None)', { startDisabled: true }),
+    t('shadowbolt', 29317, 2500, 2500, 1000, 1000, 'victim', 'creature_spell_list 1606001:1 Gothik - Shadowbolt (TargetId 1 = Current)', { startDisabled: true }),
+    t('teleport', 28026, 20_000, 20_000, 20_000, 20_000, 'self', 'boss_gothik.cpp:157,294 ResetCombatAction(GOTHIK_TELEPORT, 20s); :313-322 LEFT/RIGHT by side; :305 m_teleportCount >= 4 || HP<=30', { hpPctMin: 30, maxFires: 4, startDisabled: true }),
+    t('summon_trainee', 28007, 4000, 4000, 0, 0, 'self', 'boss_gothik.cpp:176,243-246 GOTHIK_SUMMON_TRAINEE 4s SPELL_SUMMON_TRAINEE_PERIODIC 28007', { oneShot: true }),
+    t('summon_death_knight', 28009, 49_000, 49_000, 0, 0, 'self', 'boss_gothik.cpp:177,248-251 GOTHIK_SUMMON_DEATH_KNIGHT 49s SPELL_SUMMON_KNIGHT_PERIODIC 28009', { oneShot: true }),
+    t('summon_rider', 28011, 104_000, 104_000, 0, 0, 'self', 'boss_gothik.cpp:178,253-256 GOTHIK_SUMMON_RIDER 104s SPELL_SUMMON_MOUNTED_KNIGHT_PERIODIC 28011', { oneShot: true }),
+    t('speech_1', 29230, 1000, 1000, 0, 0, 'self', 'boss_gothik.cpp:174,97 SAY_SPEECH_1 13030 at 1s', {
+      pollOnly: true, oneShot: true,
+      actions: [{ kind: 'yell', textId: 13030, cite: 'boss_gothik.cpp:97 DoBroadcastText(SAY_SPEECH_1 13030)' }],
+    }),
+    t('speech_2', 29230, 5000, 5000, 0, 0, 'self', 'boss_gothik.cpp:98 SAY_SPEECH_2 13031 +4s', {
+      pollOnly: true, oneShot: true,
+      actions: [{ kind: 'yell', textId: 13031, cite: 'boss_gothik.cpp:98 DoBroadcastText(SAY_SPEECH_2 13031)' }],
+    }),
+    t('speech_3', 29230, 11_000, 11_000, 0, 0, 'self', 'boss_gothik.cpp:99 SAY_SPEECH_3 13032 +6s', {
+      pollOnly: true, oneShot: true,
+      actions: [{ kind: 'yell', textId: 13032, cite: 'boss_gothik.cpp:99 DoBroadcastText(SAY_SPEECH_3 13032)' }],
+    }),
+    t('speech_4', 29230, 16_000, 16_000, 0, 0, 'self', 'boss_gothik.cpp:100-104 SAY_SPEECH_4 13033 +5s PHASE_BALCONY', {
+      pollOnly: true, oneShot: true,
+      actions: [{ kind: 'yell', textId: 13033, cite: 'boss_gothik.cpp:102 DoBroadcastText(SAY_SPEECH_4 13033)' }],
+    }),
+    t('ground_phase', 28025, 274_000, 274_000, 0, 0, 'self', 'boss_gothik.cpp:179,139-158 GOTHIK_GROUND_PHASE 4min+34s SPELL_TELEPORT_RIGHT 28025', {
+      oneShot: true,
+      actions: [
+        { kind: 'remove_auras', spellId: 29230, cite: 'boss_gothik.cpp:147 RemoveAurasDueToSpell(SPELL_IMMUNE_ALL 29230)' },
+        { kind: 'yell', textId: 13028, cite: 'boss_gothik.cpp:144 DoBroadcastText(SAY_TELEPORT 13028)' },
+        { kind: 'arm_timer', timerId: 'teleport', delayMs: 20_000, cite: 'boss_gothik.cpp:157 ResetCombatAction(GOTHIK_TELEPORT, 20s)' },
+        { kind: 'arm_timer', timerId: 'harvest_soul', delayMs: 2500, cite: 'boss_gothik.cpp:158 AddInitialCooldowns list 1606001:0' },
+        { kind: 'arm_timer', timerId: 'shadowbolt', delayMs: 2500, cite: 'boss_gothik.cpp:158 AddInitialCooldowns list 1606001:1' },
+        { kind: 'set_instance_data', field: TYPE.GOTHIK, value: INSTANCE_DATA.SPECIAL, cite: 'boss_gothik.cpp:191 ProcessCentralDoor SetData(TYPE_GOTHIK, SPECIAL)' },
+        { kind: 'open_door', goEntry: 181170, cite: 'naxxramas.h:142 GO_MILI_GOTH_COMBAT_GATE 181170; naxxramas.cpp:499 SPECIAL DoUseDoorOrButton' },
+        {
+          kind: 'adds_threat_players',
+          creatureEntries: [...GOTHIK_ADDS],
+          cite: 'boss_gothik.cpp:261-287 HandleOpenGates AddThreat / AttackClosestEnemy',
+        },
+      ],
+    }),
+  ],
+  lifecycle: (() => {
+    const life = lifecycleFor(TYPE.GOTHIK, 'boss_gothik.cpp:84');
+    return {
+      ...life,
+      onAggro: [
+        ...life.onAggro,
+        {
+          kind: 'cast_self' as const,
+          spellId: 29230,
+          castFlags: CAST_FLAG.TRIGGERED,
+          cite: 'boss_gothik.cpp:169-171 DoCastSpellIfCan SPELL_IMMUNE_ALL 29230 CAST_TRIGGERED',
+        },
+      ],
+      justSummoned: [{
+        kind: 'attack_summoner' as const,
+        cite: 'boss_gothik.cpp:223-228 JustSummoned SetInCombatWithZone',
+      }],
+      onEvade: [
+        ...life.onEvade,
+        {
+          kind: 'cast_self' as const,
+          spellId: 28035,
+          castFlags: CAST_FLAG.TRIGGERED,
+          cite: 'boss_gothik.cpp:217 DoCastSpellIfCan SPELL_RESET_GOTHIK_EVENT 28035 CAST_TRIGGERED',
+        },
+        { kind: 'remove_auras' as const, spellId: 28007, cite: 'boss_gothik.cpp:509 RemoveAurasDueToSpell SPELL_SUMMON_TRAINEE_PERIODIC 28007' },
+        { kind: 'remove_auras' as const, spellId: 28009, cite: 'boss_gothik.cpp:510 RemoveAurasDueToSpell SPELL_SUMMON_KNIGHT_PERIODIC 28009' },
+        { kind: 'remove_auras' as const, spellId: 28011, cite: 'boss_gothik.cpp:511 RemoveAurasDueToSpell SPELL_SUMMON_MOUNTED_KNIGHT_PERIODIC 28011' },
+      ],
+    };
+  })(),
+  cites: [
+    'boss_gothik.cpp:30-552 whole file',
+    'creature_spell_list_entry 1606001 "Naxxramas - Gothik"',
+    'boss_gothik.cpp:305,316-318 maxFires 4 + hpPctMin 30 (m_teleportCount >= 4 || HP<=30)',
+    'boss_gothik.cpp:161-180,243-256 Aggro 29230 + speech 13030-33 + 28007/28009/28011 + 4min34s 28025',
+    'boss_gothik.cpp:139-159 HandleGroundPhase 28025 + AddInitialCooldowns (kit startDisabled until 4m34s)',
+    'boss_gothik.cpp:182-193,258-288 ProcessCentralDoor SPECIAL + GO 181170 + adds_threat_players',
+    'boss_gothik.cpp:214-221,501-512 EnterEvadeMode 28035 strips 28007/28009/28011',
+    'boss_gothik.cpp:516-535 Shadowbolt 50% second bolt at a random player (scriptValue 1)',
+  ],
+};
+
+// boss_four_horsemen — ONE IR over four creatures and four upstream script names. Every timer
+// carries creatureEntry so scriptDevCastPlanForEntry hands each Horseman only his own two lists.
+
+/** creature_spell_list row for one Horseman — entry-tagged so it arms for him alone. */
+const h = (
+  entry: number, id: string, spellId: number, iMin: number, iMax: number, rMin: number, rMax: number,
+  target: ScriptDevTimer['target'], cite: string, phase: number,
+): ScriptDevTimer => t(id, spellId, iMin, iMax, rMin, rMax, target, cite, { creatureEntry: entry, phase });
+
+export const BOSS_FOUR_HORSEMEN: ScriptDevIR = {
+  name: 'boss_four_horsemen',
+  boundCreatures: [NPC.MOGRAINE, NPC.ZELIEK, NPC.KORTHAZZ, NPC.BLAUMEUX],
+  sourceFile: 'eastern_kingdoms/naxxramas/boss_four_horsemen.cpp',
+  // Only the spells ALL FOUR cast: spellIds is not filtered by creatureEntry, so a union here
+  // would hand Mograine a Void Zone he can never arm.
+  spellIds: [29061, 26662, 28836],
+  timers: [
+    // Shared: timerless Shield Wall at 50% then 20% (action names SHIELD_WALL_50/_20).
+    t('shield_wall_50', 29061, 0, 0, 0, 0, 'self', 'boss_four_horsemen.cpp:133-134,161-168 AddTimerlessCombatAction(SHIELD_WALL_50) SPELL_SHIELDWALL then DisableCombatAction; vanilla 50%/20% HP gates (action names)', { hpPctMax: 50, oneShot: true }),
+    t('shield_wall_20', 29061, 0, 0, 0, 0, 'self', 'boss_four_horsemen.cpp:133-134,161-168 AddTimerlessCombatAction(SHIELD_WALL_20) SPELL_SHIELDWALL then DisableCombatAction', { hpPctMax: 20, oneShot: true }),
+    t('blaumeux_special', 29061, 5000, 120_000, 5000, 120_000, 'self', 'boss_four_horsemen.cpp:131 AddCombatAction(BLAUMEUX_SPECIAL, 5s, 120s); :169-174 DoBroadcastText(SAY_BLAU_SPECIAL 13013)', { creatureEntry: NPC.BLAUMEUX, pollOnly: true, actions: [{ kind: 'yell', textId: 13013, cite: 'boss_four_horsemen.cpp:171 DoBroadcastText(SAY_BLAU_SPECIAL)' }] }),
+    t('mograine_special', 29061, 5000, 120_000, 5000, 120_000, 'self', 'boss_four_horsemen.cpp:200 AddCombatAction(MOGRAINE_SPECIAL, 5s, 120s); DoBroadcastText(SAY_MORG_SPECIAL 13057)', { creatureEntry: NPC.MOGRAINE, pollOnly: true, actions: [{ kind: 'yell', textId: 13057, cite: 'boss_four_horsemen.cpp SAY_MORG_SPECIAL 13057' }] }),
+    t('korthazz_special', 29061, 5000, 120_000, 5000, 120_000, 'self', 'boss_four_horsemen.cpp:267 AddCombatAction(KORT_SPECIAL, 5s, 120s); DoBroadcastText(SAY_KORT_SPECIAL 13037)', { creatureEntry: NPC.KORTHAZZ, pollOnly: true, actions: [{ kind: 'yell', textId: 13037, cite: 'boss_four_horsemen.cpp SAY_KORT_SPECIAL 13037' }] }),
+    t('zeliek_special', 29061, 5000, 120_000, 5000, 120_000, 'self', 'boss_four_horsemen.cpp:334 AddCombatAction(ZELIEK_SPECIAL, 5s, 120s); :372 DoBroadcastText(SAY_ZELI_SPECIAL 13100)', { creatureEntry: NPC.ZELIEK, pollOnly: true, actions: [{ kind: 'yell', textId: 13100, cite: 'boss_four_horsemen.cpp:372 DoBroadcastText(SAY_ZELI_SPECIAL)' }] }),
+
+    // ---- PHASE 0: the baked lists ----
+    h(NPC.MOGRAINE, 'mograine_mark', 28834, 20_000, 20_000, 12_000, 12_000, 'self', 'creature_spell_list 1606201:0 Highlord Mograine - Mark of Mograine (TargetId 0 = None)', 0),
+    h(NPC.MOGRAINE, 'mograine_righteous_fire', 28882, 15_000, 15_000, 15_000, 15_000, 'victim', 'creature_spell_list 1606201:1 Highlord Mograine - Righteous Fire (TargetId 1 = Current)', 0),
+    h(NPC.MOGRAINE, 'mograine_berserk', 26662, 2_000_000, 2_000_000, 300_000, 300_000, 'self', 'creature_spell_list 1606201:2 Highlord Mograine - Berserk', 0),
+
+    h(NPC.ZELIEK, 'zeliek_mark', 28835, 20_000, 20_000, 12_000, 12_000, 'self', 'creature_spell_list 1606301:0 Sir Zeliek - Mark of Zeliek (TargetId 0 = None)', 0),
+    h(NPC.ZELIEK, 'zeliek_holy_wrath', 28883, 12_000, 12_000, 15_000, 15_000, 'hostile_random_player', 'creature_spell_list 1606301:1 Sir Zeliek - Holy Wrath (TargetId 100 = Attack - random player)', 0),
+    h(NPC.ZELIEK, 'zeliek_berserk', 26662, 2_000_000, 2_000_000, 300_000, 300_000, 'self', 'creature_spell_list 1606301:2 Sir Zeliek - Berserk', 0),
+
+    h(NPC.KORTHAZZ, 'korthazz_mark', 28832, 20_000, 20_000, 12_000, 12_000, 'self', 'creature_spell_list 1606401:0 Thane Korthazz - Mark of Korthazz (TargetId 0 = None)', 0),
+    h(NPC.KORTHAZZ, 'korthazz_meteor', 28884, 20_000, 20_000, 20_000, 20_000, 'victim', 'creature_spell_list 1606401:1 Thane Korthazz - Meteor (TargetId 1 = Current)', 0),
+    h(NPC.KORTHAZZ, 'korthazz_berserk', 26662, 2_000_000, 2_000_000, 300_000, 300_000, 'self', 'creature_spell_list 1606401:2 Thane Korthazz - Berserk', 0),
+
+    h(NPC.BLAUMEUX, 'blaumeux_mark', 28833, 20_000, 20_000, 12_000, 12_000, 'self', 'creature_spell_list 1606501:0 Lady Blaumeux - Mark of Blaumeux (TargetId 0 = None)', 0),
+    h(NPC.BLAUMEUX, 'blaumeux_void_zone', 28863, 12_000, 12_000, 12_000, 12_000, 'hostile_random_player', 'creature_spell_list 1606501:1 Lady Blaumeux - Void Zone (TargetId 100 = Attack - random player)', 0),
+    h(NPC.BLAUMEUX, 'blaumeux_berserk', 26662, 2_000_000, 2_000_000, 300_000, 300_000, 'self', 'creature_spell_list 1606501:2 Lady Blaumeux - Berserk', 0),
+
+    // ---- PHASE 1: the `…02` enrage lists, absent from the bake. Marks go to 1 s and Berserk
+    // drops from a 2000 s initial to 0, which is the whole point of the swap.
+    h(NPC.MOGRAINE, 'mograine_mark_enrage', 28834, 0, 0, 1000, 1000, 'self', 'creature_spell_list 1606202:0 Highlord Mograine Enrage - Mark of Mograine', 1),
+    h(NPC.MOGRAINE, 'mograine_righteous_fire_enrage', 28882, 0, 0, 15_000, 15_000, 'victim', 'creature_spell_list 1606202:1 Highlord Mograine Enrage - Righteous Fire', 1),
+    h(NPC.MOGRAINE, 'mograine_berserk_enrage', 26662, 0, 0, 300_000, 300_000, 'self', 'creature_spell_list 1606202:2 Highlord Mograine Enrage - Berserk', 1),
+
+    h(NPC.ZELIEK, 'zeliek_mark_enrage', 28835, 0, 0, 1000, 1000, 'self', 'creature_spell_list 1606302:0 Sir Zeliek Enrage - Mark of Zeliek', 1),
+    h(NPC.ZELIEK, 'zeliek_holy_bolt_enrage', 57376, 0, 0, 2000, 3000, 'victim', 'creature_spell_list 1606302:1 Sir Zeliek Enrage - Holy Bolt (TargetId 1 = Current); 57376 is a 57xxx id absent from src/data/spell-data.json and from the 1.12.1 DBC range, so the row arms and resolves nothing', 1),
+    h(NPC.ZELIEK, 'zeliek_holy_wrath_enrage', 28883, 0, 0, 15_000, 15_000, 'hostile_random_player', 'creature_spell_list 1606302:2 Sir Zeliek Enrage - Holy Wrath', 1),
+    h(NPC.ZELIEK, 'zeliek_berserk_enrage', 26662, 0, 0, 300_000, 300_000, 'self', 'creature_spell_list 1606302:3 Sir Zeliek Enrage - Berserk', 1),
+    h(NPC.ZELIEK, 'zeliek_condemnation_enrage', 57377, 0, 0, 5000, 5000, 'self', 'creature_spell_list 1606302:4 Sir Zeliek Enrage - Condemnation; SOURCE-ABSENT, not unported: spell 57377 is not in src/data/spell-data.json (22374 rows) and combat_condition 925 is not in src/data/tables/combatConditions.json (0-410), and both come from the live3310 dump rather than 1.12.1', 1),
+
+    h(NPC.KORTHAZZ, 'korthazz_mark_enrage', 28832, 0, 0, 1000, 1000, 'self', 'creature_spell_list 1606402:0 Thane Korthazz Enrage - Mark of Korthazz', 1),
+    h(NPC.KORTHAZZ, 'korthazz_meteor_enrage', 28884, 0, 0, 20_000, 20_000, 'victim', 'creature_spell_list 1606402:1 Thane Korthazz Enrage - Meteor', 1),
+    h(NPC.KORTHAZZ, 'korthazz_berserk_enrage', 26662, 0, 0, 300_000, 300_000, 'self', 'creature_spell_list 1606402:2 Thane Korthazz Enrage - Berserk', 1),
+
+    h(NPC.BLAUMEUX, 'blaumeux_mark_enrage', 28833, 0, 0, 1000, 1000, 'self', 'creature_spell_list 1606502:0 Lady Blaumeux Enrage - Mark of Blaumeux', 1),
+    h(NPC.BLAUMEUX, 'blaumeux_void_zone_enrage', 28863, 0, 0, 15_000, 15_000, 'hostile_random_player', 'creature_spell_list 1606502:1 Lady Blaumeux Enrage - Void Zone', 1),
+    h(NPC.BLAUMEUX, 'blaumeux_berserk_enrage', 26662, 0, 0, 300_000, 300_000, 'self', 'creature_spell_list 1606502:2 Lady Blaumeux Enrage - Berserk', 1),
+  ],
+  timedPhases: [
+    {
+      id: 'enrage',
+      phase: 1,
+      afterMs: 1_200_000,
+      actions: [
+        { kind: 'flavor', text: 'grows enraged - the marks come faster!', cite: 'boss_four_horsemen.cpp:176 SetSpellList(SpellList + 1)' },
+      ],
+      cite: 'boss_four_horsemen.cpp:132,175-178 AddCombatAction(ENRAGE, 20min) -> SetSpellList(GetCreatureInfo()->SpellList + 1); same at :201,242-245 / :268,309-312 / :334,376-379',
+    },
+  ],
+  // No onDeath here: BossAI JustDied SetData(DONE) is instance_naxxramas encounters
+  // (all four entries) + applyHorsemenSetData. Wiring it here would double-count.
+  leashOrXy: [
+    { xGt: 2577.3, yLt: -3024.0 },
+    { xGt: 2585.9, yLt: -3015.1 },
+    { xGt: 2594.6, yLt: -3006.7 },
+  ],
+  lifecycle: {
+    onAggro: [{ kind: 'set_instance_data', field: TYPE.FOUR_HORSEMEN, value: INSTANCE_DATA.IN_PROGRESS, cite: 'boss_four_horsemen.cpp:127,196,263,330 SetDataType(TYPE_FOUR_HORSEMEN); BossAI.cpp:75' }],
+    onEvade: [{ kind: 'set_instance_data', field: TYPE.FOUR_HORSEMEN, value: INSTANCE_DATA.FAIL, cite: 'boss_four_horsemen.cpp:127,196,263,330 SetDataType(TYPE_FOUR_HORSEMEN); BossAI.cpp:59,94' }],
+  },
+  cites: [
+    'boss_four_horsemen.cpp:30-436 whole file',
+    'creature_spell_list_entry 1606201/1606301/1606401/1606501 + the enrage twins 1606202/1606302/1606402/1606502 (live3310_classicmangos.sql)',
+    'creature_template 16062/16063/16064/16065 SpellList = 1606201/1606301/1606401/1606501, ScriptName = boss_alexandros_mograine/boss_sir_zeliek/boss_thane_korthazz/boss_lady_blaumeux',
+    'boss_four_horsemen.cpp:89,99,388-411 MAX_MARK_STACKS 100 + HorsemenMark ladder via 28836',
+    'boss_four_horsemen.cpp:107-112,135-140 three-corner leash (x>Xi && y<Yi)',
+    'boss_four_horsemen.cpp:131,169-174 SPECIAL yell every 5-120s pollOnly',
+    'naxxramas.cpp:527-553 m_horsemenKilled counter gates DONE at 4 (instance_naxxramas)',
+  ],
+};
+
+export const NAXXRAMAS_MILITARY_IRS: readonly ScriptDevIR[] = [
+  BOSS_RAZUVIOUS, BOSS_GOTHIK, BOSS_FOUR_HORSEMEN,
+];