Skip to content

Fix Conway->Dijkstra LedgerView translation - #2399

Open
nfrisby wants to merge 2 commits into
mainfrom
nfrisby/leios-main-proto-followup
Open

nfrisby wants to merge 2 commits into
mainfrom
nfrisby/leios-main-proto-followup

Conversation

@nfrisby

@nfrisby nfrisby commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

@ch1bo pointed out that PR #2386 preserved this bug. Opening this quick follow-up PR to fix it.

It's a different fix than elsewhere, but I prefer this one: it means all cross-era Shelley forecasts still work in fundamentally the same way, this one just needs the config as an additional input that the existing LedgerView translations haven't needed.

It wasn't initializing the parameters from the genesis file, and so the
forecasts had different values than the contemporary ledger state would, which
violates the forecasting/LedgerView invariants.

There are some other reasonable rules we could have added to make that
harmless. For example, maybe nodes should not announce EBs in slots that don't
have a Leios committee---it's a waste of diffusion work. This bug only bytes in
the _first_ Dijkstra epoch, in which the Leios committee is necessarily
empty. But no such rule was in place, so this would have resulted in honest
nodes being unable to issue valid headers.

@ch1bo ch1bo left a comment •

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks correct and clean

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants