Regenerate golden files

ouroboros-consensus-cardano/ouroboros-consensus-cardano.cabal

@@ -122,7 +122,7 @@ library
     , cardano-ledger-api            ^>=1.8
     , cardano-ledger-babbage        ^>=1.6
     , cardano-ledger-binary         ^>=1.3
-    , cardano-ledger-byron          ^>=1.0.0.4
+    , cardano-ledger-byron          ^>=1.0
     , cardano-ledger-conway         ^>=1.12
     , cardano-ledger-core           ^>=1.10
     , cardano-ledger-mary           ^>=1.5
@@ -283,7 +283,7 @@ library unstable-shelley-testlib
     , cardano-ledger-alonzo
     , cardano-ledger-alonzo-test
     , cardano-ledger-babbage-test
-    , cardano-ledger-conway-test                                                              >=1.2.1.3
+    , cardano-ledger-conway-test                                                              >=1.2.1
     , cardano-ledger-core:{cardano-ledger-core, testlib}
     , cardano-ledger-mary
     , cardano-ledger-shelley-ma-test
@@ -366,7 +366,7 @@ library unstable-cardano-testlib
     , cardano-ledger-alonzo-test
     , cardano-ledger-api
     , cardano-ledger-byron
-    , cardano-ledger-conway-test                                                                 ^>=1.2.1.1
+    , cardano-ledger-conway-test                                                                 ^>=1.2.1
     , cardano-ledger-conway:testlib
     , cardano-ledger-core:{cardano-ledger-core, testlib}
     , cardano-ledger-shelley
@@ -506,7 +506,7 @@ library unstable-cardano-tools
     , cardano-ledger-mary
     , cardano-ledger-shelley
     , cardano-prelude
-    , cardano-protocol-tpraos        ^>=1.0.3.5
+    , cardano-protocol-tpraos        ^>=1.0.3
     , cardano-slotting
     , cardano-strict-containers
     , cborg                          ^>=0.2.2
@@ -523,7 +523,7 @@ library unstable-cardano-tools
     , ouroboros-consensus            ^>=0.14
     , ouroboros-consensus-cardano
     , ouroboros-consensus-diffusion  ^>=0.9
-    , ouroboros-consensus-protocol   ^>=0.6.0.0
+    , ouroboros-consensus-protocol   ^>=0.6
     , ouroboros-network
     , ouroboros-network-api
     , ouroboros-network-framework

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/Praos.hs

@@ -1,6 +1,7 @@
-{-# LANGUAGE DeriveGeneric  #-}
-{-# LANGUAGE NamedFieldPuns #-}
-{-# LANGUAGE TypeFamilies   #-}
+{-# LANGUAGE DeriveGeneric    #-}
+{-# LANGUAGE NamedFieldPuns   #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies     #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 -- See https://gitlab.haskell.org/ghc/ghc/-/issues/14630. GHC currently warns
 -- (erroneously) about name shadowing for record field selectors defined by
@@ -65,7 +66,7 @@ instance PraosCrypto c => ProtocolHeaderSupportsEnvelope (Praos c) where
 
   envelopeChecks cfg lv hdr = do
     unless (m <= maxpv) $ throwError (ObsoleteNode m maxpv)
-    unless (fromIntegral (bhviewHSize bhv) <= maxHeaderSize) $
+    unless (bhviewHSize bhv <= fromIntegral @Word16 @Int maxHeaderSize) $
       throwError $
         HeaderSizeTooLarge (bhviewHSize bhv) maxHeaderSize
     unless (bhviewBSize bhv <= maxBodySize) $

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/TPraos.hs

@@ -17,6 +17,8 @@ import           Cardano.Protocol.TPraos.OCert (ocertKESPeriod, ocertVkHot)
 import qualified Cardano.Protocol.TPraos.OCert as SL
 import           Cardano.Slotting.Slot (unSlotNo)
 import           Data.Either (isRight)
+import           Data.Word (Word32)
+import           Numeric.Natural (Natural)
 import           Ouroboros.Consensus.Protocol.Signed (Signed,
                      SignedHeader (headerSigned))
 import           Ouroboros.Consensus.Protocol.TPraos
@@ -42,7 +44,7 @@ instance PraosCrypto c => ProtocolHeaderSupportsEnvelope (TPraos c) where
   pHeaderSlot = SL.bheaderSlotNo . SL.bhbody
   pHeaderBlock = SL.bheaderBlockNo . SL.bhbody
   pHeaderSize = fromIntegral . SL.bHeaderSize
-  pHeaderBlockSize = fromIntegral . SL.bsize . SL.bhbody
+  pHeaderBlockSize = fromIntegral @Word32 @Natural . SL.bsize . SL.bhbody
 
   type EnvelopeCheckError _ = ChainPredicateFailure
 

ouroboros-consensus-diffusion/ouroboros-consensus-diffusion.cabal

@@ -79,7 +79,7 @@ library
     , io-classes                   ^>=1.3
     , mtl
     , ouroboros-consensus          ^>=0.14
-    , ouroboros-network            >=0.10.2.2 && <0.10.3
+    , ouroboros-network            ^>=0.10.2
     , ouroboros-network-api        ^>=0.6.2
     , ouroboros-network-framework  ^>=0.10
     , ouroboros-network-protocols  ^>=0.6.1