Update SRPs and fix compilation against new cardano-api/ledger/cli/consensus

* Update ouroboros-consensus SRP to koslambrou/leios-prototype branch
* Update cardano-ledger SRP to koslambrou/add-leioskey-stakepoolparams branch
* Update cardano-api SRP to koslambrou/ch1bo-palas/key-registration branch
* Update cardano-cli SRP to koslambrou/ch1bo-palas/key-registration branch
* Add inputMap in nix/haskell.nix for ouroboros-consensus to fetch submodules
* Lower version bounds across .cabal files to match SRP versions
* Add allow-newer for cardano-cli (tight upper bounds)
* Fix SomeConsensusProtocol to carry SomeHasFS IO
* Fix ProtocolInfoArgs* constructors
* Fix foldEpochState/foldBlocks
* Remove removed TraceRpcEvalTx* constructors from Rpc tracing
* Fix Certificate ambiguity in DRep.hs (now exported from Cardano.Api)
* Remove redundant Experimental.Certificate imports

Author: koslambrou

.github/workflows/haskell.yml

@@ -106,6 +106,10 @@ jobs:
       with:
         persist-credentials: false
 
+    - name: Enable git long paths (Windows)
+      if: runner.os == 'Windows'
+      run: git config --global core.longpaths true
+
     - name: Cache and install Cabal dependencies
       uses: input-output-hk/cardano-dev/actions/cabal-cache@e811e25d3927d62ba87f1762ea51c36e65f0b09a # cabal-cache-0.0.1.0
       with:

bench/plutus-scripts-bench/plutus-scripts-bench.cabal

@@ -82,7 +82,7 @@ library
   -- IOG dependencies
   --------------------------
   build-depends:
-    , cardano-api             ^>=11.3
+    , cardano-api             ^>=11.0
     , plutus-ledger-api       ^>=1.65
     , plutus-tx               ^>=1.65
     , plutus-tx-plugin        ^>=1.65

bench/tx-generator/src/Cardano/Benchmarking/OuroborosImports.hs

@@ -39,7 +39,7 @@ import           Prelude
 type CardanoBlock = Consensus.CardanoBlock StandardCrypto
 
 toProtocolInfo :: SomeConsensusProtocol -> IO (ProtocolInfo CardanoBlock)
-toProtocolInfo (SomeConsensusProtocol CardanoBlockType info) = fst <$> protocolInfo @IO info
+toProtocolInfo (SomeConsensusProtocol CardanoBlockType fs info) = fst <$> protocolInfo @IO fs info
 toProtocolInfo _ = error "toProtocolInfo unknown protocol"
 
 protocolToTopLevelConfig :: SomeConsensusProtocol -> IO (TopLevelConfig CardanoBlock)

bench/tx-generator/src/Cardano/TxGenerator/Setup/NodeConfig.hs

@@ -31,10 +31,10 @@ import           Data.Monoid
 -- NB. this helper is *only* for protocols created with this module
 -- as this guarantees proper error handling when trying to create a non-Cardano protocol.
 getGenesis :: SomeConsensusProtocol -> ShelleyGenesis
-getGenesis (SomeConsensusProtocol CardanoBlockType proto)
+getGenesis (SomeConsensusProtocol CardanoBlockType _ proto)
     = getConst $ Ledger.tcShelleyGenesisL Const transCfg
   where
-    ProtocolInfoArgsCardano _ Consensus.CardanoProtocolParams
+    ProtocolInfoArgsCardano Consensus.CardanoProtocolParams
       { Consensus.cardanoLedgerTransitionConfig = transCfg
       } = proto
 

bench/tx-generator/tx-generator.cabal

@@ -109,9 +109,9 @@ library
                       , attoparsec-aeson
                       , base16-bytestring
                       , bytestring
-                      , cardano-api ^>= 11.3
+                      , cardano-api ^>= 11.0
                       , cardano-binary
-                      , cardano-cli ^>= 11.1
+                      , cardano-cli ^>= 11.0
                       , cardano-crypto-class
                       , cardano-data
                       , cardano-diffusion ^>= 1.0

cabal.project

@@ -79,6 +79,9 @@ package plutus-scripts-bench
 allow-newer:
   , io-sim:time
   , io-classes:time
+  -- cardano-cli/koslambrou/ch1bo-palas/key-registration has tight upper bounds
+  -- incompatible with the leios-prototype stack versions
+  , cardano-cli:*
 
 -- IMPORTANT
 -- Do NOT add more source-repository-package stanzas here unless they are strictly
@@ -91,29 +94,34 @@ source-repository-package
   tag: b71bd2c89d576d8112a0748adf3b890475f9d170
   --sha256: sha256-tIjrQkEkS79FdYarjV5Dy+U/Q7kIkOXjdFcddkwA3Us=
 
--- Points to ouroboros-ledger/leios-prototype
+-- Points to cardano-ledger/leios-prototype
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/cardano-ledger
-  tag: 9edd1c664054803348e5f9edfa13529e4e844284
-  --sha256: sha256-TkgeO5d1p18VwTMtuNY8SsPZXXyn1HIrZBZ4IHVTWuE=
+  tag: fb8d6f8a83b0efb86281e0b80e7ffba160dad8b1
+  --sha256: sha256-U/vpyZNerL1YXiQg1TIAOL5L438NNE3XkuIYD0HPTJw=
   subdir:
-    libs/cardano-data
-    libs/cardano-ledger-api
-    libs/small-steps
-    libs/cardano-ledger-binary
-    libs/cardano-ledger-core
-    libs/cardano-protocol-tpraos
-    eras/shelley/impl
-    eras/shelley/test-suite
-    eras/shelley-ma/test-suite
-    eras/mary/impl
     eras/allegra/impl
     eras/alonzo/impl
-    eras/alonzo/test-suite
     eras/babbage/impl
+    eras/byron/chain/executable-spec
+    eras/byron/crypto
+    eras/byron/ledger/executable-spec
+    eras/byron/ledger/impl
     eras/conway/impl
     eras/dijkstra/impl
+    eras/mary/impl
+    eras/shelley-ma/test-suite
+    eras/shelley/impl
+    eras/shelley/test-suite
+    libs/cardano-data
+    libs/cardano-ledger-api
+    libs/cardano-ledger-binary
+    libs/cardano-ledger-core
+    libs/cardano-protocol-tpraos
+    libs/non-integral
+    libs/small-steps
+    libs/vector-map
 
 -- Points to ouroboros-network/leios-prototype
 source-repository-package
@@ -126,23 +134,23 @@ source-repository-package
     cardano-diffusion
     network-mux
 
--- Points to cardano-api/leios-prototype
+-- Points to cardano-api/ch1bo-palas/key-registration
 source-repository-package
   type: git
-  location: https://github.com/IntersectMBO/cardano-api
-  tag: 28e2f4f085eceee4cb63c3eb9103a80e3852ce7a
-  --sha256: sha256-9Wugp6Cd+ERSc8kfIUDFbq3QjuhIr1gu6rRSV3Yo/9M=
+  location: https://github.com/input-output-hk/cardano-api
+  tag: 6bd3d265aac5a968f966cdcfd2896331b53389f1
+  --sha256: sha256-3HC8nie+gC/sxWnXuoNOXpEvBAIq8enns1LJbIp1sCQ=
   subdir:
     cardano-api
     cardano-api-gen
     cardano-rpc
 
--- Points to cardano-cli/leios-prototype
+-- Points to cardano-cli/koslambrou/ch1bo-palas/key-registration
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/cardano-cli
-  tag: 97a1258f9654478dff6c7e7497fcc693213b1a36
-  --sha256: sha256-e2mxwfy2pN3itQIx0+1j2XV7JTNKckIpfzaN6rOtZn0=
+  tag: 56c3d72a1d8df6b632a06e79849ed44bac8b0c59
+  --sha256: sha256-r7SnGBTKcQuEYW4Jh9FW5aaxr+bKbCD+t20Gf6d6iRM=
   subdir:
     cardano-cli
 

cardano-node-chairman/app/Cardano/Chairman/Commands/Run.hs

@@ -114,8 +114,8 @@ run RunOpts
       Right p  -> pure p
 
   (k , nId) <- case p of
-            SomeConsensusProtocol _ runP -> do
-              ProtocolInfo { pInfoConfig } <- fst <$> Api.protocolInfo @IO runP
+            SomeConsensusProtocol _ fs runP -> do
+              ProtocolInfo { pInfoConfig } <- fst <$> Api.protocolInfo @IO fs runP
               pure ( Consensus.configSecurityParam pInfoConfig
                    , fromNetworkMagic . getNetworkMagic $ Consensus.configBlock pInfoConfig
                    )

cardano-node-chairman/cardano-node-chairman.cabal

@@ -86,5 +86,5 @@ test-suite chairman-tests
   ghc-options:          -threaded -rtsopts "-with-rtsopts=-N -T"
 
   build-tool-depends:   cardano-node:cardano-node
-                      , cardano-cli:cardano-cli ^>= 11.1
+                      , cardano-cli:cardano-cli ^>= 11.0
                       , cardano-node-chairman:cardano-node-chairman

cardano-node/cardano-node.cabal

@@ -124,7 +124,7 @@ library
                       , async
                       , base16-bytestring
                       , bytestring
-                      , cardano-api ^>= 11.3
+                      , cardano-api ^>= 11.0
                       , cardano-data
                       , cardano-crypto-class ^>=2.5
                       , cardano-crypto-wrapper
@@ -142,7 +142,7 @@ library
                       , cardano-prelude
                       , cardano-protocol-tpraos >= 1.4
                       , cardano-slotting >= 0.2
-                      , cardano-rpc ^>= 11.0
+                      , cardano-rpc ^>= 10.2
                       , cborg ^>= 0.2.4
                       , containers
                       , contra-tracer >= 0.2.1

cardano-node/src/Cardano/Node/Protocol/Byron.hs

@@ -38,6 +38,9 @@ import           Ouroboros.Consensus.HardFork.Combinator.AcrossEras ()
 import           Control.Exception
 import qualified Data.ByteString.Lazy as LB
 import           Data.Maybe (fromMaybe)
+import           System.FS.API (SomeHasFS (..))
+import           System.FS.API.Types (MountPoint (MountPoint))
+import           System.FS.IO (ioHasFS)
 
 ------------------------------------------------------------------------------
 -- Byron protocol
@@ -70,7 +73,7 @@ mkSomeConsensusProtocolByron NodeByronProtocolConfiguration {
 
     optionalLeaderCredentials <- readLeaderCredentials genesisConfig files
 
-    return $ SomeConsensusProtocol ByronBlockType $ ProtocolInfoArgsByron $ Consensus.ProtocolParamsByron {
+    return $ SomeConsensusProtocol ByronBlockType (SomeHasFS $ ioHasFS $ MountPoint ".") $ ProtocolInfoArgsByron $ Consensus.ProtocolParamsByron {
         byronGenesis = genesisConfig,
         byronPbftSignatureThreshold =
           PBftSignatureThreshold <$> npcByronPbftSignatureThresh,