ouroboros-consensus - 183 commits this week

teodanciu · Sat, 20 Sep 25 03:44:50 +0000 · ouroboros-consensus

Redefine `Header` with `MemoBytes` (#1687)

Since we removed the `era` type parameter in `MemoBytes` (in
`cardano-ledger-core`), we can use `MemoBytes` to define more types that
need to be memoized - `Header` among them.

This simplifies the definition of `Header` and also brings some
instances for free.

Closes https://github.com/IntersectMBO/cardano-ledger/issues/4850

6dd15ade · gh-readonly-queue/main/pr-1687-ef682d1b0e56901d4da4f7cce07326b4aac825ed · 2/30 ++ 49 --

jasagredo · Sat, 20 Sep 25 03:23:19 +0000 · ouroboros-consensus

Fix CDDL spec regarding withOriginTH (#1686)

This was removed in #1535 but we forgot to update the spec.

ef682d1b · gh-readonly-queue/main/pr-1686-99113e56c81b14dce55493dc7b603b19e4d90ce8 · 2/2 ++ 3 --

geo2a · Fri, 19 Sep 25 16:32:57 +0000 · ouroboros-consensus

ThreadNet tests: make test output less verbose (#1685)

This small change makes the output of passing ThreadNet tests less
verbose by allowing to use `tasty`'s `--hide-successes` CLI option.

With this change, the output of the following test invocation:

```
cabal test -O0 cardano-test --test-options '--hide-successes -p "$2==\"AllegraMary ThreadNet\" && $3==\"simple convergence\""'
```

is still very verbose, but, in my opinion, is relatively readable:

<details>

<summary>Output with Change</summary>

```
Running 1 test suites...
Test suite cardano-test: RUNNING...

All 1 tests passed (34.91s)
Test suite cardano-test: PASS
Test suite logged to:
/home/geo2a/Workspace/IOG/ouroboros-consensus/other-pr/dist-newstyle/build/x86_64-linux/ghc-9.6.7/ouroboros-consensus-cardano-0.25.1.0/t/cardano-test/noopt/test/ouroboros-consensus-cardano-0.25.1.0-cardano-test.log
1 of 1 test suites (1 of 1 test cases) passed.
```
</details>

without the change, the output contains a series of long lines that make
the output much more difficult to comprehend. When I see the output, I
have a feeling that there's something wrong with this test, even though
it is passing. This is especially annoying in CI output, when some other
tests are actually failing.

<details>

<summary> Output on `main`</summary>

```
Test suite cardano-test: RUNNING...
cardano
  AllegraMary ThreadNet
    simple convergence: OK (39.19s)
      +++ OK, passed 10 tests.

      Observed forge during a non-overlay slot in the second era (10 in total):
      80% True
      20% False

      ReachesEra2 label (10 in total):
      90% pv Enabled, slots1 Enabled, slots2 Required, blocks2 True
      10% pv Enabled, slots1 Blocked, slots2 Optional, blocks2 False

      average #txs/block (10 in total):
      100% R_Btwn (0.0,1.0)

      final intersection depth, Allegra, count (9 in total):
      100% 0 blocks

      final intersection depth, Allegra, k diff (9 in total):
      56% k - 8 blocks
      22% k - 10 blocks
      22% k - 9 blocks

      final intersection depth, Allegra, k frac (9 in total):
      100% k * 0.0 blocks

      final intersection depth, Mary, count (1 in total):
      100% 0 blocks

      final intersection depth, Mary, k diff (1 in total):
      100% k - 10 blocks

      final intersection depth, Mary, k frac (1 in total):
      100% k * 0.0 blocks

      floor(4 * lastJoinSlot / numSlots) (10 in total):
      100% Just 0

      involves >=1 re-delegation (10 in total):
      100% False

      k (10 in total):
      50% NonZero {unNonZero = 8}
      30% NonZero {unNonZero = 10}
      20% NonZero {unNonZero = 9}

      minimumDegreeNodeTopology (10 in total):
      60% Just 2
      40% Just 1

      partition duration, count (10 in total):
      20% 3 slots
      20% 7 slots
      10% 1 slots
      10% 10 slots
      10% 12 slots
      10% 13 slots
      10% 5 slots
      10% 6 slots

      partition duration, k frac (10 in total):
      20% k * 0.3 slots
      10% k * 0.1 slots
      10% k * 0.6 slots
      10% k * 0.7 slots
      10% k * 0.8 slots
      10% k * 0.9 slots
      10% k * 1.0 slots
      10% k * 1.5 slots
      10% k * 1.6 slots

      partition in or abuts era (First era, Second era) (10 in total):
      100% (True,False)

      shortestLength (k = NonZero {unNonZero = 10}) (3 in total):
      67% ≈ (k = NonZero {unNonZero = 10}) << 522
      33% ≈ (k = NonZero {unNonZero = 10}) << 138

      shortestLength (k = NonZero {unNonZero = 8}) (5 in total):
      80% ≈ (k = NonZero {unNonZero = 8}) << 136
      20% ≈ (k = NonZero {unNonZero = 8}) << 264

      shortestLength (k = NonZero {unNonZero = 9}) (2 in total):
      50% ≈ (k = NonZero {unNonZero = 9}) << 265
      50% ≈ (k = NonZero {unNonZero = 9}) << 521

      updates (10 in total):
      20%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 1 % 2, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 1 % 2, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 1 % 2, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 1 % 2, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 1 % 2, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 1 % 2, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 2 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])
        (c3,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 3 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1),ShelleyUpdatedPParams SNothing (EpochNo 3),ShelleyUpdatedPParams SNothing (EpochNo 4)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 4 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 4 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 4 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c3,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 4 % 5, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])

      10%
        (c0,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 9 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c1,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 9 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])
        (c2,[ShelleyUpdatedPParams (SJust (PParams (ShelleyPParams {sppMinFeeA = Coin 0, sppMinFeeB = Coin 0, sppMaxBBSize = 10000, sppMaxTxSize = 2048, sppMaxBHSize = 1000, sppKeyDeposit = Coin 0, sppPoolDeposit = CompactCoin {unCompactCoin = 0}, sppEMax = EpochInterval 0, sppNOpt = 100, sppA0 = 0 % 1, sppRho = 0 % 1, sppTau = 0 % 1, sppD = 9 % 10, sppExtraEntropy = NeutralNonce, sppProtocolVersion = ProtVer {pvMajor = Version 3, pvMinor = 0}, sppMinUTxOValue = Coin 0, sppMinPoolCost = Coin 0}))) (EpochNo 1),confirmed (Allegra,Mary,1),done (Allegra,Mary,1)])

All 1 tests passed (39.20s)
Test suite cardano-test: PASS
```

</details>

460d5186 · gh-readonly-queue/main/pr-1685-99113e56c81b14dce55493dc7b603b19e4d90ce8 · 3/10 ++ 5 --

agustinmista · Fri, 19 Sep 25 14:16:06 +0000 · ouroboros-consensus

Add basic web UI

56cf1e8a · peras/10.5-with-cert-conjuring · 4/882 ++ 517 --

tbagrel1 · Fri, 19 Sep 25 08:25:59 +0000 · ouroboros-consensus

Add changelog entry

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

66e46578 · main-pr/hfc-era-peras · 3/89 ++ 0 --

geo2a · Fri, 19 Sep 25 08:05:32 +0000 · ouroboros-consensus

Adapt the HFC time translation layer for Peras

- Add `PerasRoundLength`
- introduce the `PerasEnabled` datatype to track values
  are only used when Peras is enabled
- HFC: translate between Peras rounds and slots

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

ab2c6b57 · main-pr/hfc-era-peras · 14/382 ++ 26 --

tbagrel1 · Fri, 19 Sep 25 08:04:00 +0000 · ouroboros-consensus

Add changelog entry

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

d47c331d · main-pr/hfc-era-peras · 3/78 ++ 0 --

tbagrel1 · Fri, 19 Sep 25 07:58:52 +0000 · ouroboros-consensus

Implement general ObjectDiffusion protocol, and related `ObjectPool{Reader,Writer}` API

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

26761538 · main-pr/hfc-era-peras · 4/789 ++ 0 --

tbagrel1 · Fri, 19 Sep 25 07:58:52 +0000 · ouroboros-consensus

Change s-r-p for `ouroboros-network` to add ObjectDiffusion support

Also use defaultMiniProtocolParameters instead of hardcoded value in unstable-diffusion-testlib
to account for newly defined parameters in the new `ouroboros-network`
version.
Also integrate `NodeToNodeV_16`.

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

2d9eb41e · main-pr/hfc-era-peras · 4/8 ++ 10 --

tbagrel1 · Fri, 19 Sep 25 07:58:52 +0000 · ouroboros-consensus

Add definitions and codec for `PerasCert` diffusion through ObjectDiffusion

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

7be6c521 · main-pr/hfc-era-peras · 4/185 ++ 3 --

tbagrel1 · Fri, 19 Sep 25 07:58:52 +0000 · ouroboros-consensus

Add smoke tests for generic ObjectDiffusion

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

25f658d1 · main-pr/hfc-era-peras · 3/305 ++ 0 --

tbagrel1 · Fri, 19 Sep 25 07:58:52 +0000 · ouroboros-consensus

Register and wire-in PerasCertDiffusion in the network layer

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

93a5016b · main-pr/hfc-era-peras · 5/161 ++ 30 --

tbagrel1 · Fri, 19 Sep 25 07:58:52 +0000 · ouroboros-consensus

Add smoke tests for PerasCertDiffusion

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

bd0378f1 · main-pr/hfc-era-peras · 3/134 ++ 0 --

nbacquey · Fri, 19 Sep 25 07:58:10 +0000 · ouroboros-consensus

Add changelog entry

Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Alexander Esgen <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Nicolas "Niols" Jeannerod <[email protected]>

f1158c07 · main-pr/hfc-era-peras · 2/46 ++ 0 --

teodanciu · Thu, 18 Sep 25 18:27:19 +0000 · ouroboros-consensus

Redefine `Header` with `MemoBytes`

in order to simplify its definition and instances

d5619dfc · td/header-with-memobytes · 2/30 ++ 49 --

geo2a · Thu, 18 Sep 25 15:53:13 +0000 · ouroboros-consensus

Nix CI: pass --hide-successes to the test suite

9434c539 · geo2a/quieter-threadnet-tests · 1/2 ++ 2 --

coot · Thu, 18 Sep 25 14:48:21 +0000 · ouroboros-consensus

Added changelog itemts.

1f03f6f8 · coot/size-limits · 2/9 ++ 0 --

agustinmista · Thu, 18 Sep 25 13:19:32 +0000 · ouroboros-consensus

Add basic web UI

a5e19957 · peras/10.5-with-cert-conjuring · 4/403 ++ 44 --

jasagredo · Thu, 18 Sep 25 12:32:02 +0000 · ouroboros-consensus

Rename Non-native to Canonical

575d1fda · js/non-native-snapshots · 14/64 ++ 64 --

jasagredo · Thu, 18 Sep 25 12:32:01 +0000 · ouroboros-consensus

Add the non-native snapshots path to the StdRunNodeArgs

87a877a3 · js/non-native-snapshots · 2/10 ++ 0 --

jasagredo · Thu, 18 Sep 25 12:32:00 +0000 · ouroboros-consensus

Implement non-native snapshots

46c40e98 · js/non-native-snapshots · 15/253 ++ 42 --

jasagredo · Thu, 18 Sep 25 12:29:58 +0000 · ouroboros-consensus

New `encode(TxIn|TxOut)WithHint` methods for `SerializeTablesWithHint`

e9da40cb · js/non-native-snapshots · 11/104 ++ 4 --

jasagredo · Thu, 18 Sep 25 12:29:51 +0000 · ouroboros-consensus

Adapt cardano-tools to use the types from the extracted sublibraries

fea90ac2 · js/extract-2 · 7/231 ++ 103 --

jasagredo · Thu, 18 Sep 25 12:29:04 +0000 · ouroboros-consensus

Adapt tests to use types from the extracted sublibraries

bf42d6ce · js/extract-2 · 5/53 ++ 65 --

jasagredo · Thu, 18 Sep 25 12:21:25 +0000 · ouroboros-consensus

Remove StreamingTables from ouroboros-consensus-cardano

b4cd8989 · js/extract-2 · 2/0 ++ 226 --