Fix encoding of WithOrigin in TPraosState

ouroboros-consensus-protocol/changelog.d/20250528_162423_javier.sagredo_withoriginth.md

@@ -0,0 +1,22 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+-->
+
+<!--
+### Patch
+
+- A bullet item for the Patch category.
+
+-->
+<!--
+### Non-Breaking
+
+- A bullet item for the Non-Breaking category.
+
+-->
+
+### Breaking
+
+- Encode the slot number in the TPraos state as `[] / [slot]` instead of `[0] / [1, slot]`.

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/TPraos.hs

@@ -83,6 +83,7 @@ import qualified Ouroboros.Consensus.Protocol.Ledger.HotKey as HotKey
 import Ouroboros.Consensus.Protocol.Ledger.Util
 import Ouroboros.Consensus.Protocol.Praos.Common
 import Ouroboros.Consensus.Ticked
+import Ouroboros.Consensus.Util.CBOR
 import Ouroboros.Consensus.Util.Condense
 import Ouroboros.Consensus.Util.Versioned
 
@@ -283,7 +284,7 @@ instance Serialise TPraosState where
     encodeVersion serialisationFormatVersion1 $
       mconcat
         [ CBOR.encodeListLen 2
-        , toCBOR slot
+        , encodeWithOrigin toCBOR slot
         , toCBOR chainDepState
         ]
 
@@ -293,7 +294,7 @@ instance Serialise TPraosState where
    where
     decodeTPraosState1 = do
       enforceSize "TPraosState" 2
-      TPraosState <$> fromCBOR <*> fromCBOR
+      TPraosState <$> decodeWithOrigin fromCBOR <*> fromCBOR
 
 data instance Ticked TPraosState = TickedChainDepState
   { tickedTPraosStateChainDepState :: SL.ChainDepState