Update ouroboros-consensus, cardano-ledger, grapesy dependencies

* Bump version to 11.6.0.0; configure SRPs and update bounds for 11.2 integration
* Fix build compatibility: ByteArrayAccess, XPrv conversion, new ledger fields
* Re-export DijkstraTxCert from Cardano.Api.Ledger
* Add Dijkstra era protocol parameter update support
* Fix SerialisedPoolState to carry an era type parameter; unwrap Serialised in QueryPoolState
* Update to era-parameterized PoolCert/StakePoolParams in cardano-rpc certificate types
* Add individualPoolStakeBls (SNothing) field to IndividualPoolStake in EpochLeadership test
* Update History.Bound and EraParams to new Peras API (PerasRoundNo, NoPerasEnabled)
* Adapt cardano-rpc grapesy integration: memory -> ram, ExactException handler signature
* Update hackage index-state and flake.lock (hackageNix) to 2026-09-02

Author: koslambrou

.changes/20260910_200246_cardano-api_kolam_prepare_11_2.yml

@@ -0,0 +1,9 @@
+description: |
+  Compatibility updates for ouroboros-consensus 4.0, cardano-ledger, and plutus 1.68:
+  fix `SerialisedPoolState` to carry an era type parameter, add `individualPoolStakeBls`
+  field to `IndividualPoolStake`, update `History.Bound` to the new Peras API
+  (`PerasRoundNo`, `NoPerasEnabled`), and bump dependency bounds accordingly.
+kind:
+- release
+pr: 1328
+project: cardano-api

.changes/20260910_200246_cardano-rpc_kolam_prepare_11_2.yml

@@ -0,0 +1,8 @@
+description: |
+  Compatibility updates for grapesy and cardano-ledger: replace `memory` with `ram`,
+  update `exceptionToClient` to the new `ExactException` handler signature, and adapt
+  `PoolCert`/`StakePoolParams` usages to their new era type parameter.
+kind:
+- release
+pr: 1328
+project: cardano-rpc

cabal.project

@@ -13,7 +13,7 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2026-08-02T17:21:34Z
+  , hackage.haskell.org 2026-09-02T14:05:07Z
   , cardano-haskell-packages 2026-09-03T10:20:53Z
 
 packages:
@@ -50,7 +50,7 @@ semaphore: True
 
 constraints:
   -- haskell.nix patch does not work for 1.6.8
-  , any.crypton-x509-system < 1.6.8
+  , any.crypton-x509-system (< 1.6.8 || >= 1.7)
 
 
 -- WASM compilation specific
@@ -132,6 +132,8 @@ allow-newer:
   , microstache:aeson
   , monad-control:transformers
   , http-api-data:text-iso8601
+  -- cardano-addresses-4.0.x bounds crypton < 1.1 but we have 1.1.4
+  , cardano-addresses:crypton
 
 -- cabal-allow-newer begin
 if impl(ghc >=9.14)
@@ -166,3 +168,76 @@ if impl(ghc >=9.14)
     , time-locale-compat:time
     , with-utf8:base
 -- cabal-allow-newer end
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/kes-agent
+  tag: 4625f3cf543566517d08882e659c97932d106d86
+  --sha256: sha256-CSHWndpeJFqCEFNT6ysfyN6x+O4vZ9TtYOOsZKcLnIA=
+  subdir:
+    kes-agent
+    kes-agent-crypto
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-ledger
+  tag: b7abdf46ee4c1661d117ada735a2cea190903e83
+  --sha256: sha256-X81COGGLFqp0sqBihMKm5GGPwCRXIPtBGnjpEXIpNtU=
+  subdir:
+    eras/allegra/impl
+    eras/alonzo/impl
+    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/impl
+    eras/shelley/test-suite
+    libs/cardano-data
+    libs/cardano-ledger-api
+    libs/cardano-ledger-binary
+    libs/cardano-ledger-core
+    libs/cardano-protocol
+    libs/cardano-protocol-tpraos
+    libs/non-integral
+    libs/small-steps
+    libs/vector-map
+
+source-repository-package
+  type: git
+  location: https://github.com/intersectmbo/cardano-base.git
+  --sha256: sha256-WUBluY6UqvBkS5cNsJnKMOaW+1dTfL3mg8iq/kVPV0o=
+  tag: d92e2e3841eaad354c5e1ef77b458b347f471271
+  subdir: cardano-crypto-leios
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/ouroboros-consensus
+  tag: 0b910ac2bb1ca2412300453653f83c53a6961a11
+  --sha256: sha256-rpu2UjqgCAhqWdhg7iaqfhmJyXevDIhDPNaOZgS+C9M=
+  subdir:
+    .
+
+source-repository-package
+  type: git
+  location: https://github.com/well-typed/grapesy
+  tag: bd6af64f69ff89e3a8fc02e2c81262e648f4715d
+  --sha256: sha256-4F+bUoytvrgOcQ8aIWbOY9uYsPoTZwQOlmh7ckgyK9M=
+  subdir:
+    grapesy
+    grpc-spec
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/cardano-crypto
+  tag: ac2e12a471b735ad80949bcbf0f6f634e5dbef77
+  --sha256: sha256-NvbMk41W2PQy2H91nkG0GtPyGDwia0y6DQNNf9RtoAc=
+
+source-repository-package
+  type: git
+  location: https://github.com/IntersectMBO/cardano-addresses
+  tag: d7d34f3275274fa3b5b08664c7d391eec7059b5b
+  --sha256: sha256-HgLfcxlz+VC2ENmS5dP4S4dCtF6y9I9sjnd0EbDWo8k=

cardano-api/cardano-api.cabal

@@ -135,18 +135,18 @@ library
     cardano-base ^>=0.1,
     cardano-binary,
     cardano-crypto,
-    cardano-crypto-class ^>=2.5,
-    cardano-crypto-wrapper ^>=1.7,
+    cardano-crypto-class ^>=2.6,
+    cardano-crypto-wrapper ^>=1.8,
     cardano-data >=1.0,
     cardano-diffusion:{api, cardano-diffusion} ^>=1.1,
     cardano-ledger-allegra >=1.7,
-    cardano-ledger-alonzo >=1.15,
-    cardano-ledger-api ^>=1.14,
+    cardano-ledger-alonzo >=1.17,
+    cardano-ledger-api ^>=1.15,
     cardano-ledger-babbage >=1.11,
     cardano-ledger-binary >=1.6,
     cardano-ledger-byron >=1.2,
     cardano-ledger-conway >=1.19,
-    cardano-ledger-core >=1.20,
+    cardano-ledger-core:{cardano-ledger-core, testlib} >=1.20,
     cardano-ledger-dijkstra >=0.1,
     cardano-ledger-mary >=1.8,
     cardano-ledger-shelley >=1.16,
@@ -178,22 +178,22 @@ library
     network-mux,
     nothunks,
     ordered-containers,
-    ouroboros-consensus:{cardano, diffusion, ouroboros-consensus, protocol} ^>=4.2.1.0,
+    ouroboros-consensus:{cardano, diffusion, ouroboros-consensus, protocol} ^>=4.0,
     ouroboros-network:{api, framework, ouroboros-network, protocols} ^>=1.2,
     parsec,
-    plutus-core ^>=1.65,
-    plutus-ledger-api ^>=1.65,
+    plutus-core ^>=1.68,
+    plutus-ledger-api ^>=1.68,
     pretty-simple,
     prettyprinter,
     prettyprinter-ansi-terminal,
     prettyprinter-configurable ^>=1.36,
     random,
-    resource-registry ^>=0.3,
+    resource-registry ^>=0.4,
     safe-exceptions,
     scientific,
     serialise,
     singletons,
-    small-steps ^>=1.1,
+    small-steps ^>=1.2,
     sop-core,
     sop-extras,
     stm,
@@ -329,8 +329,8 @@ library gen
     bytestring,
     cardano-api,
     cardano-binary >=1.6 && <1.10,
-    cardano-crypto-class ^>=2.5,
-    cardano-crypto-wrapper:testlib ^>=1.7,
+    cardano-crypto-class ^>=2.6,
+    cardano-crypto-wrapper:testlib ^>=1.8,
     cardano-ledger-alonzo:{cardano-ledger-alonzo, testlib},
     cardano-ledger-byron:testlib,
     cardano-ledger-conway:testlib,
@@ -373,11 +373,11 @@ test-suite cardano-api-test
     cardano-api:gen,
     cardano-binary,
     cardano-crypto,
-    cardano-crypto-class:{cardano-crypto-class, testlib} ^>=2.5,
+    cardano-crypto-class:{cardano-crypto-class, testlib} ^>=2.6,
     cardano-crypto-wrapper:testlib,
     cardano-data >=1.0,
     cardano-ledger-alonzo,
-    cardano-ledger-api ^>=1.14,
+    cardano-ledger-api ^>=1.15,
     cardano-ledger-babbage,
     cardano-ledger-binary,
     cardano-ledger-conway,
@@ -463,7 +463,7 @@ test-suite cardano-api-golden
     cardano-crypto-class,
     cardano-data >=1.0,
     cardano-ledger-alonzo,
-    cardano-ledger-api ^>=1.14,
+    cardano-ledger-api ^>=1.15,
     cardano-ledger-binary,
     cardano-ledger-core,
     cardano-ledger-shelley,
@@ -475,8 +475,8 @@ test-suite cardano-api-golden
     hedgehog >=1.1,
     hedgehog-extras ^>=0.10,
     microlens,
-    plutus-core ^>=1.65,
-    plutus-ledger-api ^>=1.65,
+    plutus-core ^>=1.68,
+    plutus-ledger-api ^>=1.68,
     tasty,
     tasty-discover,
     tasty-hedgehog,

cardano-api/src/Cardano/Api/Certificate/Internal.hs

@@ -86,7 +86,7 @@ data StakePoolMetadataReference
 -- Internal conversion functions
 --
 
-toShelleyPoolParams :: StakePoolParameters -> Ledger.StakePoolParams
+toShelleyPoolParams :: StakePoolParameters -> Ledger.StakePoolParams era
 toShelleyPoolParams
   StakePoolParameters
     { stakePoolId = StakePoolKeyHash poolkh
@@ -104,6 +104,7 @@ toShelleyPoolParams
     Ledger.StakePoolParams
       { Ledger.sppId = poolkh
       , Ledger.sppVrf = Ledger.toVRFVerKeyHash vrfkh
+      , Ledger.sppBlsKey = Ledger.SNothing
       , Ledger.sppPledge = stakePoolPledge
       , Ledger.sppCost = stakePoolCost
       , Ledger.sppMargin =
@@ -159,7 +160,7 @@ toShelleyPoolParams
         Ledger.textToUrl (Text.length url) url
 
 fromShelleyPoolParams
-  :: Ledger.StakePoolParams
+  :: Ledger.StakePoolParams era
   -> StakePoolParameters
 fromShelleyPoolParams
   Ledger.StakePoolParams

cardano-api/src/Cardano/Api/Consensus/Internal/Protocol.hs

@@ -8,6 +8,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 
 module Cardano.Api.Consensus.Internal.Protocol
   ( BlockType (..)

cardano-api/src/Cardano/Api/Crypto/Ed25519Bip32.hs

@@ -26,7 +26,7 @@ import Cardano.Crypto.Util (SignableRepresentation (..))
 import Cardano.Crypto.Wallet qualified as CC
 
 import Control.DeepSeq (NFData)
-import Data.ByteArray as BA (ByteArrayAccess, ScrubbedBytes, convert)
+import Data.ByteArray as BA (ByteArrayAccess, convert, length, withByteArray)
 import Data.ByteString (ByteString)
 import Data.ByteString qualified as BS
 import GHC.Generics (Generic)
@@ -59,12 +59,12 @@ instance DSIGNAlgorithm Ed25519Bip32DSIGN where
     deriving NoThunks via InspectHeap CC.XPub
 
   newtype SignKeyDSIGN Ed25519Bip32DSIGN = SignKeyEd25519Bip32DSIGN CC.XPrv
-    deriving (Generic, ByteArrayAccess)
+    deriving Generic
     deriving newtype NFData
     deriving NoThunks via InspectHeap CC.XPrv
 
   newtype SigDSIGN Ed25519Bip32DSIGN = SigEd25519Bip32DSIGN CC.XSignature
-    deriving (Show, Eq, Generic, ByteArrayAccess)
+    deriving (Show, Eq, Generic)
     deriving NoThunks via InspectHeap CC.XSignature
 
   --
@@ -84,7 +84,7 @@ instance DSIGNAlgorithm Ed25519Bip32DSIGN where
 
   signDSIGN () a (SignKeyEd25519Bip32DSIGN sk) =
     SigEd25519Bip32DSIGN $
-      CC.sign (mempty :: ScrubbedBytes) sk (getSignableRepresentation a)
+      CC.sign (mempty :: ByteString) sk (getSignableRepresentation a)
 
   verifyDSIGN () (VerKeyEd25519Bip32DSIGN vk) a (SigEd25519Bip32DSIGN sig) =
     if CC.verify vk (getSignableRepresentation a) sig
@@ -99,8 +99,16 @@ instance DSIGNAlgorithm Ed25519Bip32DSIGN where
     SignKeyEd25519Bip32DSIGN $
       CC.generateNew
         (getSeedBytes seed)
-        (mempty :: ScrubbedBytes)
-        (mempty :: ScrubbedBytes)
+        (mempty :: ByteString)
+        (mempty :: ByteString)
+
+instance ByteArrayAccess (SignKeyDSIGN Ed25519Bip32DSIGN) where
+  length (SignKeyEd25519Bip32DSIGN sk) = BA.length (CC.unXPrv sk)
+  withByteArray (SignKeyEd25519Bip32DSIGN sk) = BA.withByteArray (CC.unXPrv sk)
+
+instance ByteArrayAccess (SigDSIGN Ed25519Bip32DSIGN) where
+  length (SigEd25519Bip32DSIGN sig) = BA.length (CC.unXSignature sig)
+  withByteArray (SigEd25519Bip32DSIGN sig) = BA.withByteArray (CC.unXSignature sig)
 
 instance FixedSizeCodec (VerKeyDSIGN Ed25519Bip32DSIGN) where
   type FixedSize (VerKeyDSIGN Ed25519Bip32DSIGN) = 64

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Certificate.hs

@@ -101,7 +101,7 @@ makeStakeAddressUnregistrationCertificate scred deposit =
 makeStakePoolRegistrationCertificate
   :: forall era
    . IsEra era
-  => Ledger.StakePoolParams
+  => Ledger.StakePoolParams (LedgerEra era)
   -> Certificate (LedgerEra era)
 makeStakePoolRegistrationCertificate poolParams =
   obtainCommonConstraints (useEra @era) $

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Certificate/Compatible.hs

@@ -144,7 +144,7 @@ makeStakeAddressUnregistrationCertificate scred =
 makeStakePoolRegistrationCertificate
   :: forall era
    . IsShelleyBasedEra era
-  => Ledger.StakePoolParams
+  => Ledger.StakePoolParams (ShelleyLedgerEra era)
   -> Certificate (ShelleyLedgerEra era)
 makeStakePoolRegistrationCertificate poolParams =
   shelleyBasedEraConstraints (shelleyBasedEra @era) $