From 9c8b45f0ed1effcb35fc1972e24947b6d0efaf0d Mon Sep 17 00:00:00 2001
From: Ed Hennis <ed@ripple.com>
Date: Wed, 12 Aug 2026 18:04:53 -0400
Subject: [PATCH] Add an instrumentation check for Antithesis

---
 src/xrpld/app/misc/SHAMapStoreImp.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/xrpld/app/misc/SHAMapStoreImp.cpp b/src/xrpld/app/misc/SHAMapStoreImp.cpp
index 7cfccc935f..32451d1acf 100644
--- a/src/xrpld/app/misc/SHAMapStoreImp.cpp
+++ b/src/xrpld/app/misc/SHAMapStoreImp.cpp
@@ -739,6 +739,8 @@ SHAMapStoreImp::healthWait()
 
         lastLedger = index;
         readServerStatus(index, age, mode, numMissing, lowerBound, unlock);
+        SOMETIMES(
+            index > lastLedger, "SHAMapStoreImp::healthWait : validated ledger index changed");
     }
 
     return stop_ ? HealthResult::Stopping : HealthResult::KeepGoing;