Verification of Stake Pool IDs#5196

Draft

crocodile-dentist wants to merge 25 commits intomainfrom

mw/dmq-with-cardano

Commits on Oct 23, 2025

quickcheck-monoids: compatibility with QuickCheck-2.16

coot
authored and
crocodile-dentist
committed
Revert "Ensure that compared fragments always intersect"
crocodile-dentist
committed
Revert "Support dynamic chain comparisons"
crocodile-dentist
committed
Revert "`BlockFetchConsensusInterface`: simplify `headerForgeUTCTime`"
crocodile-dentist
committed
bootstrap consensus
crocodile-dentist
committed
mempool: compute set of txids in the mempool incrementally

coot
authored and
crocodile-dentist
committed
tx-submission: adjusted renderRanges in tests

coot
authored and
crocodile-dentist
committed
dmq: Sig validation

coot
authored and
crocodile-dentist
committed
dmq: genesis file & KES EvolutionConfig

coot
authored and
crocodile-dentist
committed
ouroboros-network-api: RemoteAddress encoding

coot
authored and
crocodile-dentist
committed
dmq-node: disable StandardCrypto tests on Windows

coot
authored and
crocodile-dentist
committed
demo-ping-pong: added client-flood

coot
authored and
crocodile-dentist
committed
added changelogs

coot
authored and
crocodile-dentist
committed
diffusion: export withiomanager
crocodile-dentist
committed
dmq: node kernel to hold pool ids
crocodile-dentist
committed
dmq: add cardano-node socket path to configuration & cli options
crocodile-dentist
committed

Commits on Oct 27, 2025