From f6e3b67be16dadf3c6cdcc00aa9a8c1fb48290be Mon Sep 17 00:00:00 2001
From: gamer147 <gamer147@gmail.com>
Date: Sat, 6 Jun 2026 10:38:58 -0400
Subject: [PATCH] docs(rng-seam): note stableRandomCount divergence in
 HeadlessBattleMgr

---
 SVSim.BattleEngine/Rng/HeadlessBattleMgr.cs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/SVSim.BattleEngine/Rng/HeadlessBattleMgr.cs b/SVSim.BattleEngine/Rng/HeadlessBattleMgr.cs
index 4074b62..fed9e53 100644
--- a/SVSim.BattleEngine/Rng/HeadlessBattleMgr.cs
+++ b/SVSim.BattleEngine/Rng/HeadlessBattleMgr.cs
@@ -23,6 +23,11 @@ namespace SVSim.BattleEngine.Rng
             _rng = rng ?? new SeededRandomSource(contentsCreator.RandomSeed);
         }
 
+        // KNOWN DIVERGENCE: the base StableRandom/StableRandomDouble also bump a private
+        // `stableRandomCount` diagnostic field; these overrides cannot (it's private to the base) and do
+        // not. The field is currently unread anywhere in the engine, so this is harmless; if a future
+        // replay/audit path starts reading the count, promote it via a protected accessor (another DP5
+        // patch) rather than leaving it silently zero.
         public override int StableRandom(int val)
         {
             double unit = _rng.NextUnit();