Leios January 2026 prototype additions

[bladyjoker]

Uses IntersectMBO/ouroboros-consensus#1832 locally wired. This PR doesn't work without local modifications.

My cabal.project file looks like

-- Custom repository for cardano haskell packages, see CONTRIBUTING for more
repository cardano-haskell-packages
  url: https://chap.intersectmbo.org/
  secure: True
  root-keys:
    3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
    443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
    a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
    bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
    c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
    d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee

-- See CONTRIBUTING for information about these, including some Nix commands
-- you need to run if you change them
index-state:
  , hackage.haskell.org 2025-06-03T08:07:10Z
  , cardano-haskell-packages 2025-07-17T12:00:21Z

packages:
  cardano-node
  cardano-node-capi
  cardano-node-chairman
  cardano-submit-api
  cardano-testnet
  cardano-tracer
  bench/cardano-profile
  bench/cardano-topology
  bench/locli
  bench/plutus-scripts-bench
  bench/tx-generator
  trace-dispatcher
  trace-resources
  trace-forward
  ../leios-prototype-ouroboros-consensus/ouroboros-consensus
  ../leios-prototype-ouroboros-consensus/ouroboros-consensus-diffusion
  ../leios-prototype-ouroboros-consensus/ouroboros-consensus-cardano
  ../leios-prototype-ouroboros-network/cardano-ping
  ../leios-prototype-ouroboros-network/monoidal-synchronisation
  ../leios-prototype-ouroboros-network/quickcheck-monoids
  ../leios-prototype-ouroboros-network/network-mux
  ../leios-prototype-ouroboros-network/ouroboros-network
  ../leios-prototype-ouroboros-network/ouroboros-network-api
  ../leios-prototype-ouroboros-network/ouroboros-network-framework
  ../leios-prototype-ouroboros-network/ouroboros-network-mock
  ../leios-prototype-ouroboros-network/ouroboros-network-protocols
  ../leios-prototype-ouroboros-network/ouroboros-network-testing
  ../leios-prototype-ouroboros-network/ntp-client
  ../leios-prototype-ouroboros-network/cardano-client

extra-packages: Cabal

program-options
  ghc-options: -Werror

test-show-details: direct

-- Always write GHC env files, because they are needed for ghci.
write-ghc-environment-files: always

package cryptonite
  -- Using RDRAND instead of /dev/urandom as an entropy source for key
  -- generation is dubious. Set the flag so we use /dev/urandom by default.
  flags: -support_rdrand

package snap-server
  flags: -openssl

package bitvec
  flags: -simd

-- required for haddocks to build successfully
package plutus-scripts-bench
  haddock-options: "--optghc=-fplugin-opt PlutusTx.Plugin:defer-errors"

allow-newer:
  , katip:Win32
  , ekg-forward:ouroboros-network-framework
  , ekg-wai:time

-- IMPORTANT
-- Do NOT add more source-repository-package stanzas here unless they are strictly
-- temporary! Please read the section in CONTRIBUTING about updating dependencies.

if impl (ghc >= 9.12)
  allow-newer:
    -- https://github.com/phadej/vec/issues/118
    , bin:base
    , fin:base
    , ral:base

    -- https://github.com/haskellari/tree-diff/issues/97
    , tree-diff:base

    -- https://github.com/kapralVV/Unique/issues/11
    , Unique:hashable

    -- https://github.com/fizruk/http-api-data/pull/146
    , http-api-data:base

    -- https://github.com/ocharles/libsystemd-journal/pull/32
    , libsystemd-journal:base

    -- https://github.com/Gabriella439/Haskell-Pipes-Safe-Library/pull/70
    , pipes-safe:base

    -- https://github.com/haskell-servant/servant/pull/1810
    , servant:base
    , servant-server:base

    , ouroboros-network-protocols:base

constraints:
    hedgehog-extras == 0.7.0.0

-- Points to ouroboros-consensus/leios-prototype
-- source-repository-package
--   type: git
--   location: https://github.com/IntersectMBO/ouroboros-consensus
--   tag: a2e3c598b96efa1e2add0bc7b893a7a007ace606
--   --sha256: sha256-uMImzqUvdDCyuso/fN0BEJuhj1BuT8U1Gafbhz4CBRU=
--   subdir:
--     ouroboros-consensus
--     ouroboros-consensus-cardano
--     ouroboros-consensus-protocol
--     ouroboros-consensus-diffusion
--     sop-extras
--     strict-sop-core

-- Points to ouroboros-network/nfrisby/leios-202511-demo
-- source-repository-package
--   type: git
--   location: https://github.com/IntersectMBO/ouroboros-network.git
--   tag: 479f0d0d82413162c8444b912394dd74c052831f
--   --sha256: sha256-Up+Zh3+nHuwlHmpXgH0nNIvQ/yHm/Hxb9ZYQHibrDLc=
--   subdir:
--     cardano-ping
--     monoidal-synchronisation
--     quickcheck-monoids
--     network-mux
--     ouroboros-network
--     ouroboros-network-api
--     ouroboros-network-framework
--     ouroboros-network-mock
--     ouroboros-network-protocols
--     ouroboros-network-testing
--     ntp-client
--     cardano-client

[ch1bo]

FWIW You can also override only a few packages per repo locally