Joris Dral

> Tbh I dont understand such a fundamental refactoring as a "UTXO-HD" when the consequence is an actual performance regression... The UTXO set is currently stored in memory. Since it...

I've always liked that `quickcheck-dynamic` gives you a `LookUp`, whereas with `quickcheck-state-machine` you would be writing the same boilerplate code handling symbolic/concrete references every time you set up a new...

One nice follow-up for this work would be to have GHA render and upload this doc to the github-pages website

> There are also some global/absolute links that return 404 and I couldn't find how to fix them. Good catch! These are literate Haskell files that aren't rendered and uploaded...

@gromakovsky as discussed in https://github.com/IntersectMBO/ouroboros-consensus/issues/4#issuecomment-1408457570, would it be possible to demote the output to a warning?

We could use the file read/write functions from [`System.FS.CRC`](https://input-output-hk.github.io/fs-sim/fs-api/System-FS-CRC.html). They are used by the other storage components already, e.g., https://github.com/IntersectMBO/ouroboros-consensus/blob/706c4b162072a4ccf4d484007130f080f5c1a183/ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Storage/ImmutableDB/Impl.hs#L500 Now that we're talking about checksums, though it is orthogonal...

I've looked through `cardano-ledger`, and only test packages currently depend on `cardano-protocol-tpraos`. However, it's probably still going to take a while to figure out how to completely decouple the TPraos...

> strict-mvar:test is left in test-strict-mvar as it introduces a cycle between io-sim and io-classes which cabal cannot resolve. One alternative would be to split the tests, moving the ones...

Might be related to https://github.com/haskell/haddock/issues/1608?

I'll be making a release shortly, probably after I've merged #24