Fix the jump boundary check in CSJ

IntersectMBO · Apr 27, 2024 · dcc6084 · dcc6084
1 parent 3164620
commit dcc6084
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/...nsus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/Jumping.hs b/...nsus/src/ouroboros-consensus/Ouroboros/Consensus/MiniProtocol/ChainSync/Client/Jumping.hs
@@ -169,7 +169,7 @@ import qualified Data.Map.Strict as Map
 import           Data.Maybe (catMaybes)
 import           GHC.Generics (Generic)
 import           Ouroboros.Consensus.Block (HasHeader (getHeaderFields), Header,
-                     Point (..), castPoint, pointSlot)
+                     Point (..), castPoint, pointSlot, succWithOrigin)
 import           Ouroboros.Consensus.Ledger.SupportsProtocol
                      (LedgerSupportsProtocol)
 import           Ouroboros.Consensus.MiniProtocol.ChainSync.Client.State
@@ -391,7 +391,8 @@ onRollForward context point = whenEnabled context () $
     Disengaged -> pure ()
     Jumper{} -> pure ()
     Dynamo lastJumpSlot
-      | pointSlot point >= ((jumpSize context +) <$> lastJumpSlot) -> do
+      | let jumpBoundaryPlus1 = jumpSize context + succWithOrigin lastJumpSlot
+      , succWithOrigin (pointSlot point) >= jumpBoundaryPlus1 -> do
           mJumpInfo <- readTVar (cschJumpInfo (handle context))
           setJumps mJumpInfo
       | otherwise -> pure ()