amesgen

Allow reference types as long as not used by the initialization function?

8

I have a WASM module that uses reference types, but the initialization function (some pure precomputation) doesn't use them. Currently, wizer categorically fails with ``` Error: reference types support is...

Option to emit GHC versions in Nix-like format?

5

Nix (at least in both in nixpkgs and haskell.nix) usually represents GHC versions as e.g. `ghc865`/`ghc8107`/`ghc944`. Would you be open to a convenience flag that allows to emit the GHC...

Since a few versions, the `nix` binary searches for a flake in parent directories of the current working directory as a fallback, and I think the same behavior would be...

`mock-test` Praos ThreadNet failure: unexpected message delay

4

On current `main` (e9cf1eeb8afce0d44ab4a1284ad8c065a74673a3): ```console cabal run ouroboros-consensus-diffusion:mock-test -- --quickcheck-replay=730769 -p '/Praos.simple convergence/' ``` yields ``` Unexpected message delay (recipient: c3,expected receive slot: 55,actual receive slot: 57,blockHash: "733e4ef0280b4c01",blockNo: 37) ```...

#879 added a preflight guide, with two initial topics. This epic collects further potential steps in that guide. - [ ] Use basic `cardano-cli` commands, and do sth simple with...

Finalize the documentation of block diffusion pipelining via delayed validation

2

Block diffusion pipelining via delayed validation has been implemented in input-output-hk/ouroboros-network#3688, but the corresponding discussion paper (see input-output-hk/ouroboros-network#3579) has not been finalized. The goal of this issue is to modify...

Compose an overview of the tasks of a node, with a focus on performance

1

For educational purposes (both for onboarding as well as for interested SPOs), we want to compose an overview of the main tasks of a caught-up node, and give a sense...

Consolidate protocol versions in `cardano-tools`

3

Currently, the Cardano protocol versions are defined twice in `ouroboros-consensus-cardano-tools`: - For db-analyser in `Cardano.Tools.DBAnalyser.Block.Cardano` Here, e.g. `alonzoProtVer` is correctly set to `7` since input-output-hk/ouroboros-network#4377 (note that, somewhat confusingly, this...

Decide on mitigation of missed leadership checks due to ledger snapshots

27

### Problem description John Lotoski informed us that currently on Cardano mainnet, adequately resourced nodes (well above minimum specs) are missing lots of leadership checks during ledger snapshots. Concretely, during...