From d013933fafb0df0cfd6274934df8b11119d94ca4 Mon Sep 17 00:00:00 2001
From: Valentin Balaschenko <13349202+vlntb@users.noreply.github.com>
Date: Fri, 10 Jul 2026 13:38:52 +0100
Subject: [PATCH] additional Antithesis probes

---
 include/xrpl/basics/TaggedCache.ipp    |  2 +-
 src/xrpld/app/ledger/LedgerHistory.cpp | 13 ++++++++++++-
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/include/xrpl/basics/TaggedCache.ipp b/include/xrpl/basics/TaggedCache.ipp
index 9396c344fe..2395c3f0da 100644
--- a/include/xrpl/basics/TaggedCache.ipp
+++ b/include/xrpl/basics/TaggedCache.ipp
@@ -693,7 +693,7 @@ TaggedCache<Key, T, IsKeyCache, SharedWeakUnionPointer, SharedPointerType, Hash,
         return false;
     });
 
-    XRPL_ASSERT(
+    ALWAYS(
         entry != nullptr, "xrpl::TaggedCache::fetchAndModify : entry present after canonicalize");
 
     callback(*entry);
diff --git a/src/xrpld/app/ledger/LedgerHistory.cpp b/src/xrpld/app/ledger/LedgerHistory.cpp
index 4299f5f55e..5752cbfa4b 100644
--- a/src/xrpld/app/ledger/LedgerHistory.cpp
+++ b/src/xrpld/app/ledger/LedgerHistory.cpp
@@ -453,8 +453,13 @@ LedgerHistory::builtLedger(
     consensusValidated_.fetchAndModify(index, [&](CvEntry& entry) {
         if (entry.validated && !entry.built)
         {
+            SOMETIMES(
+                true, "xrpl::LedgerHistory::builtLedger : validated arrived first");
             if (entry.validated.value() != hash)
             {
+                SOMETIMES(
+                    true,
+                    "xrpl::LedgerHistory::builtLedger : validated-first mismatch");
                 JLOG(j_.error()) << "MISMATCH: seq=" << index
                                  << " validated:" << entry.validated.value() << " then:" << hash;
                 mismatch = MismatchInputs{
@@ -499,11 +504,16 @@ LedgerHistory::validatedLedger(
     consensusValidated_.fetchAndModify(index, [&](CvEntry& entry) {
         if (entry.built && !entry.validated)
         {
+            SOMETIMES(
+                true, "xrpl::LedgerHistory::validatedLedger : built arrived first");
             XRPL_ASSERT(
                 entry.consensus.has_value(),
                 "xrpl::LedgerHistory::validatedLedger : consensus set when built set");
             if (entry.built.value() != hash)
             {
+                SOMETIMES(
+                    true,
+                    "xrpl::LedgerHistory::validatedLedger : built-first mismatch");
                 JLOG(j_.error()) << "MISMATCH: seq=" << index << " built:" << entry.built.value()
                                  << " then:" << hash;
                 mismatch = MismatchInputs{
@@ -545,6 +555,7 @@ LedgerHistory::fixIndex(LedgerIndex ledgerIndex, LedgerHash const& ledgerHash)
     {
         if (it->second != ledgerHash)
         {
+            SOMETIMES(true, "xrpl::LedgerHistory::fixIndex : hash repaired");
             it->second = ledgerHash;
             return false;
         }
@@ -584,7 +595,7 @@ LedgerHistory::clearLedgerCachePrior(LedgerIndex seq)
             std::erase_if(lock->byIndex, [seq](auto const& kv) { return kv.first < seq; });
         indexSize = lock->byIndex.size();
 
-        XRPL_ASSERT(
+        ALWAYS(
             lock->byIndex.empty() || lock->byIndex.begin()->first >= seq,
             "xrpl::LedgerHistory::clearLedgerCachePrior : byIndex pruned to seq");
     }