Release ouroboros-consensus-0.24 and ouroboros-consensus-cardano-0.23 (#1440)

Companion CHaP PR:
IntersectMBO/cardano-haskell-packages#1045

Author: jasagredo

README.md

@@ -1,10 +1,10 @@
 # Ouroboros Consensus
 
-[![consensus](https://img.shields.io/badge/ouroboros--consensus-0.23.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-0.23.0.0/)
-[![diffusion](https://img.shields.io/badge/ouroboros--consensus--diffusion-0.21.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-diffusion-0.21.0.0/)
+[![consensus](https://img.shields.io/badge/ouroboros--consensus-0.24.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-0.24.0.0/)
+[![diffusion](https://img.shields.io/badge/ouroboros--consensus--diffusion-0.21.0.1-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-diffusion-0.21.0.1/)
 [![protocol](https://img.shields.io/badge/ouroboros--consensus--protocol-0.11.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-protocol-0.11.0.0/)
-[![cardano](https://img.shields.io/badge/ouroboros--consensus--cardano-0.22.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-cardano-0.22.0.0/)
-[![sop-extras](https://img.shields.io/badge/sop--extras-0.2.2.0-blue)](https://chap.intersectmbo.org/package/sop-extras-0.2.2.0/)
+[![cardano](https://img.shields.io/badge/ouroboros--consensus--cardano-0.23.0.0-blue)](https://chap.intersectmbo.org/package/ouroboros-consensus-cardano-0.23.0.0/)
+[![sop-extras](https://img.shields.io/badge/sop--extras-0.3.0.0-blue)](https://chap.intersectmbo.org/package/sop-extras-0.3.0.0/)
 [![strict-sop-core](https://img.shields.io/badge/strict--sop--core-0.1.3.0-blue)](https://chap.intersectmbo.org/package/strict-sop-core-0.1.3.0/)
 
 

ouroboros-consensus-cardano/CHANGELOG.md

@@ -2,6 +2,15 @@
 
 # Changelog entries
 
+<a id='changelog-0.23.0.0'></a>
+## 0.23.0.0 -- 2025-04-03
+
+### Breaking
+
+- Define `blockQueryIsSupportedOnVersion` for Byron and Shelley.
+  - For Shelley, this is just a relocation of the now gone `querySupportedVersion` function.
+- Update now that `ImmutableEraParams` was split out
+
 <a id='changelog-0.22.0.0'></a>
 ## 0.22.0.0 -- 2025-03-25
 

ouroboros-consensus-cardano/changelog.d/20241218_095046_nick.frisby_annotate_headers_with_time.md

@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: ouroboros-consensus-cardano
-version: 0.22.0.0
+version: 0.23.0.0
 synopsis:
   The instantation of the Ouroboros consensus layer used by Cardano
 
@@ -154,13 +154,13 @@ library
     microlens,
     mtl,
     nothunks,
-    ouroboros-consensus ^>=0.23,
+    ouroboros-consensus ^>=0.24,
     ouroboros-consensus-protocol ^>=0.11,
     ouroboros-network-api ^>=0.13,
     serialise ^>=0.2,
     small-steps,
     sop-core ^>=0.5,
-    sop-extras ^>=0.2,
+    sop-extras ^>=0.3,
     strict-sop-core ^>=0.1,
     text,
     these ^>=1.2,
@@ -199,7 +199,7 @@ library unstable-byronspec
     containers >=0.5 && <0.8,
     mtl,
     nothunks,
-    ouroboros-consensus ^>=0.23,
+    ouroboros-consensus ^>=0.24,
     serialise ^>=0.2,
     small-steps,
     transformers,
@@ -556,7 +556,7 @@ library unstable-cardano-tools
     network,
     network-mux,
     nothunks,
-    ouroboros-consensus ^>=0.23,
+    ouroboros-consensus ^>=0.24,
     ouroboros-consensus-cardano,
     ouroboros-consensus-diffusion ^>=0.21,
     ouroboros-consensus-protocol:unstable-protocol-testlib,

ouroboros-consensus-cardano/changelog.d/js-index.md

@@ -2,6 +2,14 @@
 
 # Changelog entries
 
+<a id='changelog-0.21.0.1'></a>
+## 0.21.0.1 -- 2025-04-03
+
+### Patch
+
+- Tighten lower bounds on `ouroboros-consensus` for the sake of
+  testlibs.
+
 <a id='changelog-0.21.0.0'></a>
 ## 0.21.0.0 -- 2025-03-25
 

ouroboros-consensus-cardano/changelog.d/js-query-version.md

@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: ouroboros-consensus-diffusion
-version: 0.21.0.0
+version: 0.21.0.1
 synopsis: Integration for the Ouroboros Network layer
 description:
   Top level integration for consensus & network layers of the Ouroboros blockchain protocol.
@@ -91,7 +91,7 @@ library
     io-classes ^>=1.5,
     mtl,
     network-mux ^>=0.7,
-    ouroboros-consensus ^>=0.23,
+    ouroboros-consensus ^>=0.24,
     ouroboros-network ^>=0.20.1,
     ouroboros-network-api ^>=0.13,
     ouroboros-network-framework ^>=0.17,
@@ -156,7 +156,7 @@ library unstable-diffusion-testlib
     resource-registry,
     si-timers,
     sop-core ^>=0.5,
-    sop-extras ^>=0.2,
+    sop-extras ^>=0.3,
     strict-sop-core ^>=0.1,
     strict-stm,
     text,

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

@@ -76,7 +76,7 @@ library
     containers,
     mtl,
     nothunks,
-    ouroboros-consensus ^>=0.23,
+    ouroboros-consensus >=0.23 && <0.25,
     serialise,
     text,
 

ouroboros-consensus-diffusion/CHANGELOG.md

@@ -2,6 +2,23 @@
 
 # Changelog entries
 
+<a id='changelog-0.24.0.0'></a>
+## 0.24.0.0 -- 2025-04-03
+
+### Non-Breaking
+
+- Define some functions in terms of SOP combinators leveraging the recent
+  simplification of `Index` in `sop-extras` package.
+
+### Breaking
+
+- Add method `blockQueryIsSupportedOnVersion` to `BlockSupportsLedgerQuery`.
+- Export new function `querySupportedVersions`.
+- Split out `ImmutableEraParams` so that the test blocks don't have to
+  instantiate the `SingleEraBlock` omnibus.
+- Remove the `NoThunks Bimap` orphan instance (it's now upstream in
+  the `resource-registry` library).
+
 <a id='changelog-0.23.0.0'></a>
 ## 0.23.0.0 -- 2025-03-25
 

ouroboros-consensus-diffusion/changelog.d/js-query-version.md

@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: ouroboros-consensus
-version: 0.23.0.0
+version: 0.24.0.0
 synopsis: Consensus layer for the Ouroboros blockchain protocol
 description: Consensus layer for the Ouroboros blockchain protocol.
 license: Apache-2.0
@@ -308,7 +308,7 @@ library
     si-timers ^>=1.5,
     small-steps ^>=1.1,
     sop-core ^>=0.5,
-    sop-extras ^>=0.2,
+    sop-extras ^>=0.3,
     streaming,
     strict >=0.1 && <0.6,
     strict-checked-vars ^>=0.2,

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

@@ -70,9 +70,10 @@ if [ "${RELEASE_LABEL}" = "true" ]; then
   echo "This PR is said to be a release. Checking that changelog.d directories are in fact empty"
   for p in "${packages[@]}"; do
     if [ 1 = $(ls -1 $p/changelog.d | wc -l) ]; then
-      printf "\t- %s OK" "$p"
+      printf "\t- %s OK\n" "$p"
     else
-      printf "\t- %s ERROR: There are fragments remaining in changelog.d!"
+      printf "\t- %s ERROR: There are fragments remaining in changelog.d:\n" "$p"
+      ls -1 $p/changelog.d
       exit 1
     fi
   done

ouroboros-consensus-protocol/ouroboros-consensus-protocol.cabal

@@ -2,6 +2,15 @@
 
 # Changelog entries
 
+<a id='changelog-0.3.0.0'></a>
+## 0.3.0.0 -- 2025-04-03
+
+### Breaking
+
+- Refactor `Index` to use `NS ((:~:) x) xs`. Pattern synonyms `IZ` and `IS` are
+  provided, making this change transparent for users. Some functions need
+  additional constraints, hence the breaking nature of this change.
+
 <a id='changelog-0.2.2.0'></a>
 ## 0.2.2.0 -- 2025-03-25
 

ouroboros-consensus/CHANGELOG.md

@@ -5,7 +5,7 @@ description:
   This package provides some more constructs that are not present on the
   @sop-core@ package but built upon the same foundations.
 
-version: 0.2.2.0
+version: 0.3.0.0
 license: Apache-2.0
 license-files:
   LICENSE