Update to ledger-api-1.6 and ledger-conway-1.9 (#352)

Next major ledger release should be soon-ish and will likely be not too
different from what is being integrated here.

- Most of the diff is due to integrating the new `TransitionConfig`
concept from Ledger, see
IntersectMBO/cardano-ledger#3737.
- Every Shelley-based era `XEra c` has a `TransitionConfig (XEra c)`
that contains all Genesis information up until this era. In particular,
one can get all previous `TranslationContext`s and `TransitionConfig`s
up until this era from it.
- They can be used to register initial funds and staking (benchmarking
features whose implementation has now been moved to Ledger), and to
create initial Shelley ledger states for pure Shelley-based chains.
- We could keep the current interface to `protocolInfoCardano` the same
(by assembling a Conway `TransitionConfig` from the given
`TranslationContext`s), but Ledger wants to push the construction of the
`TransitionConfig` downwards to Node etc (eg in order to be able to add
more information to it, or even consolidate all Genesis files into one).
This also actually makes things easier on our end, as this allows us to
simplify the `ProtocolTransitionParams`.
- Ledger state serialization and the Conway Genesis file format changed.

Author: amesgen

cabal.project

@@ -16,7 +16,7 @@ index-state:
   -- Bump this if you need newer packages from Hackage
   , hackage.haskell.org 2023-08-02T14:18:01Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2023-09-05T08:50:43Z
+  , cardano-haskell-packages 2023-09-27T09:51:59Z
 
 packages:
   ouroboros-consensus

flake.lock

@@ -78,7 +78,6 @@ library
     Ouroboros.Consensus.Cardano.CanHardFork
     Ouroboros.Consensus.Cardano.Condense
     Ouroboros.Consensus.Cardano.Node
-    Ouroboros.Consensus.Cardano.ShelleyBased
     Ouroboros.Consensus.Shelley.Crypto
     Ouroboros.Consensus.Shelley.Eras
     Ouroboros.Consensus.Shelley.HFEras
@@ -116,15 +115,14 @@ library
     , cardano-crypto
     , cardano-crypto-class
     , cardano-crypto-wrapper
-    , cardano-data
     , cardano-ledger-allegra
     , cardano-ledger-alonzo         ^>=1.4.1
-    , cardano-ledger-api            ^>=1.5
+    , cardano-ledger-api            ^>=1.6
     , cardano-ledger-babbage        ^>=1.4.4
     , cardano-ledger-binary
     , cardano-ledger-byron
-    , cardano-ledger-conway         ^>=1.8
-    , cardano-ledger-core           ^>=1.6
+    , cardano-ledger-conway         ^>=1.9
+    , cardano-ledger-core           ^>=1.7
     , cardano-ledger-mary
     , cardano-ledger-shelley        ^>=1.6
     , cardano-prelude
@@ -359,6 +357,7 @@ library unstable-cardano-testlib
     , cardano-crypto-class
     , cardano-crypto-wrapper
     , cardano-ledger-alonzo-test
+    , cardano-ledger-api
     , cardano-ledger-byron
     , cardano-ledger-conway-test                                                                 ^>=1.2.0.5
     , cardano-ledger-core:{cardano-ledger-core, testlib}
@@ -404,6 +403,7 @@ test-suite cardano-test
     , cardano-crypto-class
     , cardano-ledger-alonzo
     , cardano-ledger-alonzo-test
+    , cardano-ledger-api
     , cardano-ledger-byron
     , cardano-ledger-core
     , cardano-ledger-shelley
@@ -484,6 +484,7 @@ library unstable-cardano-tools
     , cardano-crypto-wrapper
     , cardano-ledger-allegra
     , cardano-ledger-alonzo
+    , cardano-ledger-api
     , cardano-ledger-babbage
     , cardano-ledger-binary
     , cardano-ledger-byron

ouroboros-consensus-cardano/changelog.d/20230927_125447_alexander.esgen_ledger_conway_1_9.md

@@ -8,8 +8,8 @@ module Ouroboros.Consensus.Cardano (
   , ProtocolCardano
   , ProtocolShelley
     -- * Abstract over the various protocols
+  , CardanoHardForkTriggers (..)
   , ProtocolParams (..)
-  , ProtocolTransitionParams (..)
   , module X
   ) where
 

ouroboros-consensus-cardano/golden/cardano/CardanoNodeToNodeVersion5/Block_Babbage

@@ -36,7 +36,6 @@ import qualified Cardano.Ledger.Era as SL
 import           Cardano.Ledger.Hashes (EraIndependentTxBody)
 import           Cardano.Ledger.Keys (DSignable, Hash)
 import qualified Cardano.Ledger.Shelley.API as SL
-import qualified Cardano.Ledger.Shelley.Governance as SL
 import qualified Cardano.Ledger.Shelley.LedgerState as SL
 import           Cardano.Ledger.Shelley.Translation
                      (toFromByronTranslationContext)
@@ -61,7 +60,7 @@ import qualified Data.SOP.Tails as Tails
 import           Data.Void
 import           Data.Word
 import           GHC.Generics (Generic)
-import           Lens.Micro (Lens', (.~))
+import           Lens.Micro ((.~))
 import           Lens.Micro.Extras (view)
 import           NoThunks.Class (NoThunks)
 import           Ouroboros.Consensus.Block
@@ -727,17 +726,11 @@ translateLedgerStateBabbageToConwayWrapper =
               -> LedgerState (ShelleyBlock proto (BabbageEra c))
             patchGovState st =
                 st { shelleyLedgerState = shelleyLedgerState st
-                       & newEpochStateGovStateL .~ newGovState
+                       & SL.newEpochStateGovStateL .~ newGovState
                    }
               where
-                -- next ledger release already provides this
-                newEpochStateGovStateL ::
-                     Lens' (SL.NewEpochState era) (SL.GovState era)
-                newEpochStateGovStateL =
-                  SL.nesEsL . SL.esLStateL . SL.lsUTxOStateL . SL.utxosGovStateL
-
                 newGovState =
-                    view newEpochStateGovStateL
+                    view SL.newEpochStateGovStateL
                   . tickedShelleyLedgerState
                   . applyChainTick
                       (unwrapLedgerConfig cfgBabbage)