Make sure stake pools that are not registered or don't have any stake are not returned by the query This will let us in the future remove stake pools with zero stake from the snapshot
That filed can be removed, since it was only used to filter out stake pools that didn't have delegators for the purpose of calculation of `PoolDistr` and in the ledger state `GetStakeSnapshots` query. The reason why we can remove this field and preserve previous behavior is because stake pool will not have any delegations iff such pool also doesn't have any stake associated with it. That is because delegations with zero stake are filtered out as part of `resolveInstantStake` computation.
That field is actually needed for the rewards pulser. However, the goal is to reduce the number of tables that will be needed for LedgerHD and this field can be removed, since it, by definition, has a domain that is a superset of `ssActiveStake` and it is only the entries that are also present in `ssActiveStake` that are needed, because for reward calculation we need non-zero stake taht is delegated to a stake pool. Therefore this filed is marked to be subsumed by the `ssActiveStake`
This is done for convenience of partial application with `mapWithKey` like functions
This is done for convenience of partial application with `mapWithKey` like functions
Co-authored-by: Alexey Kuleshevich <[email protected]>
since the generated "golden" values changed with the type change
Introduce DijkstraEraBlockHeader to have a lens to the previous nonce, and the DijkstraBbodySignal GADT to constrain the header existantially, same as for BbodySignal. Move PerasCert, PerasKey and validatePerasCert to dijkstra's BlockBody. Remove PrevEpochNonceNotPresent because the field is implicitly present in the signal to the BBODY rule now. Refactor the dijkstra BBODY rule to reuse validations from shelley, alonzo, conway, inlined, because the change in the type of Signal makes calling earlier BBODY transitions impossible.
Refactor conway BBODY transition to export reusable validations to future eras and update the BBODY signal.
Refactor alonzo BBODY transition to export reusable validations to future eras and update the BBODY signal.
Refactor shelley BBODY transition to export reusable validations to future eras and update the BBODY signal. Move isOverlaySlot calculation into incrBlocks.
A block is made up of a header and a body. Ledger needs to process blocks but is nescient of the header type. One such header type is defined in the tpraos package and another is defined in consensus. Both these packages depend on core and the eras and so ledger cannot import from them. BHeaderView was an inferior[1] arrangement to convert a Block h era into a type with known fields. EraBlockHeader now defines a set of lenses for this, instead. Consensus[2] calls ledger's applyBlock and the BBODY rules, which need access to the values from the header, now with the help of lenses. So we wrap the unknown header type h in a GADT to pass to BBODY rules, called BbodySignal. For tests, we replace BHeaderView with TestBlockHeader and makeHeaderView with mkTestBlockHeaderNoNonce. Ref: https://github.com/IntersectMBO/cardano-ledger/issues/5541 [1]: https://github.com/IntersectMBO/cardano-ledger/pull/5467#discussion_r2727225059 [2]: https://github.com/IntersectMBO/ouroboros-consensus/blob/1940605fbbfb50032ab78e2268b85065c703cd2a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/Praos.hs#L196-L202