[WIP] Integrate Peras voting committee into BlockSupportsPeras

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2026-03-17T01:21:06Z
+  , hackage.haskell.org 2026-05-18T17:14:36Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2026-04-13T13:33:52Z
+  , cardano-haskell-packages 2026-05-18T13:56:34Z
 
 active-repositories:
   , :rest
@@ -44,13 +44,15 @@ if os (windows)
   constraints:
     bitvec -simd
 
--- Depend on Network main "main-peras-5202-merged" tagged commit,
--- after PR #5202 adding ObjectDiffusion miniprotocol for Peras has been merged
+constraints:
+  tasty <1.5.4,
+
+-- ouroboros-network dependency after introducing `bracketKeepAlive` (PR#5371)
 source-repository-package
   type: git
   location: https://github.com/IntersectMBO/ouroboros-network
-  tag: main-peras-5202-merged
-  --sha256: sha256-IDLqfxc12jmYxKYUNC6+Dk2cQBWOpSs/V/SpBgNE63s=
+  tag: e8d59d8a219563760fc21ba5bc86fab77d886742
+  --sha256: sha256-ElgaE5JeDTPfyDQnyZs5ZlOdzlnZYl7z1OgkzCBJjek=
   subdir:
     ouroboros-network
     cardano-diffusion

changelog.d/20260421_170000_agustin.mista_concrete_certs_and_votes.md

@@ -0,0 +1,28 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Breaking
+
+- A bullet item for the Breaking category.
+
+-->
+
+### Non-Breaking
+
+- Introduce `Ouroboros.Consensus.Util.Bitmap` providing `ByteString`-based compact bitmaps.
+- Define `PerasBLSCrypto` scheme with support for all the voting committee superclasses.
+- Define concrete `PerasVote` and `PerasCert` types using BLS signatures.
+- Define `PerasVoteCompatibleWithVotingCommittee` and `PerasCertCompatibleWithVotingCommittee` type classes with conversions between concrete Peras types and their abstract voting committee counterparts.
+- Instantiate `VotingCommitteeSupportsPeras` for both `WFALS` and `EveryoneVotes`.
+
+<!--
+### Patch
+
+- A bullet item for the Patch category.
+
+-->

changelog.d/20260430_124955_javier.sagredo.md

@@ -0,0 +1,24 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Breaking
+
+- A bullet item for the Breaking category.
+
+-->
+
+### Patch
+
+- Updates on the LSM-trees ecosystem:
+  - blockio-uring 0.1.0.3 -> 0.2.0.0
+  - blockio 0.1.1.1 -> 0.2.0.0
+  - lsm-trees 1.0.0.1 -> 1.1.0.0
+
+- Update to `fs-sim 0.5.0.0`.
+
+- Update to `QuickCheck 2.18`.

changelog.d/20260507_102103_agustin.mista_bytes32realpoint.md

@@ -0,0 +1,23 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Breaking
+
+- A bullet item for the Breaking category.
+
+-->
+### Non-Breaking
+
+- Introduce `Bytes32RealPoint` for real points with 32byte header hashes.
+
+<!--
+### Patch
+
+- A bullet item for the Patch category.
+
+-->

changelog.d/20260519_160418_coot_ouroboros_network_update.md

@@ -0,0 +1,25 @@
+<!--
+A new scriv changelog fragment.
+
+Uncomment the section that is right (remove the HTML comment wrapper).
+For top level release notes, leave all the headers commented out.
+-->
+
+<!--
+### Breaking
+
+- A bullet item for the Breaking category.
+
+-->
+<!--
+### Non-Breaking
+
+- Updated `ouroboros-network` & `cardano-diffusion` to latest tip (e8d59d8a).
+
+-->
+<!--
+### Patch
+
+- A bullet item for the Patch category.
+
+-->

docs/website/docusaurus.config.js

@@ -46,7 +46,23 @@ const config = {
     },
   },
 
-  themes: ['@docusaurus/theme-mermaid'],
+  themes: [
+    '@docusaurus/theme-mermaid',
+    [
+      // Local, offline search. Builds a Lunr index at build time and serves it
+      // as static assets, so it needs no external service. See:
+      // https://github.com/easyops-cn/docusaurus-search-local
+      require.resolve('@easyops-cn/docusaurus-search-local'),
+      /** @type {import('@easyops-cn/docusaurus-search-local').PluginOptions} */
+      ({
+        hashed: true,
+        indexBlog: false,
+        highlightSearchTermsOnTargetPage: true,
+        explicitSearchResultPath: true,
+        docsDir: 'contents',
+      }),
+    ],
+  ],
 
   presets: [
     [

docs/website/package.json

@@ -19,6 +19,7 @@
     "@docusaurus/plugin-client-redirects": "3.10.0",
     "@docusaurus/preset-classic": "^3.10.0",
     "@docusaurus/theme-mermaid": "^3.10.0",
+    "@easyops-cn/docusaurus-search-local": "^0.55.2",
     "@mdx-js/react": "^3.1.1",
     "clsx": "^2.1.1",
     "hast-util-is-element": "3.0.0",