amesgen

We now disabled the test in input-output-hk/ouroboros-network#3942 for the time being, but the core issue remains.

Huh, shouldn't we keep this open to eventually enable the test again? AFAIK, it might be as simple as reenabling it once we drop GHC 8.10.

(We indeed currently don't test native Windows, but we *do* test cross-compiled Windows via haskell.nix.)

> appropriate changes to `cardano-node` are available on the `fraser-iohk/consensus-startup-sanity-checks` branch: https://github.com/IntersectMBO/cardano-node/tree/fraser-iohk/consensus-startup-sanity-checks Wasn't the idea (also see https://github.com/IntersectMBO/ouroboros-consensus/pull/874#discussion_r1560717398) to throw an exception for `InconsistentSecurityParam` (as part of the tracer, based...

FTR: This still occurs occasionally, eg on 3dd0a59abcfbe11c5fbfa4b8ad4429b3354b274e: ``` byron Byron simple convergence: FAIL (36.56s) *** Failed! Falsified (after 75 tests): TestSetup {setupEBBs = NoEBBs, setupK = SecurityParam 7, setupTestConfig...

This should be fixed by #1179 as a side-effect of containing a ported version of https://github.com/IntersectMBO/ouroboros-network/pull/2721 (but didn't test that yet)

Should be fixed by 318e9a5a057af29f09180138e7b7b7f8a678d82f

Yes, the GSM now actually deserves its name. The changes for that were rather small: - https://github.com/IntersectMBO/ouroboros-consensus/pull/975 - https://github.com/IntersectMBO/ouroboros-consensus/pull/1031 The tasks in this ticket should be independent of that.

Drive-by comment: some broken links detected here are (also) fixed in #884

The underlying motivation of this PR was to explain a regression in acquiring the BlockFetch context. This has recently been explained by a computation in the node as part of...