Skip to content

forkchoice store: add _compute_lmd_ghost_head in core store - #190

Merged
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:_compute_lmd_ghost_head
Nov 25, 2025
Merged

forkchoice store: add _compute_lmd_ghost_head in core store#190
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:_compute_lmd_ghost_head

Conversation

@tcoratger

Copy link
Copy Markdown
Collaborator

🗒️ Description

In my opinion it makes little sense to have this method in the helper file because this is the core of the logic and it relies on the blocks of the store, so it makes more sense to have this in the core of the store to maintain clarity.

🔗 Related Issues or PRs

✅ Checklist

  • Ran tox checks to avoid unnecessary CI fails:
    uvx tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

Comment thread src/lean_spec/subspecs/forkchoice/store.py

@varun-doshi varun-doshi 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.

lgtm

@KolbyML KolbyML 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.

:shipit: looks good, we did the same in Ream

@tcoratger
tcoratger merged commit 1ec4866 into leanEthereum:main Nov 25, 2025
10 checks passed
@unnawut unnawut added this to the pq-devnet-1 milestone Nov 28, 2025
@unnawut unnawut added specs Scope: Changes to the specifications refactor Category: refactor labels Nov 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

refactor Category: refactor specs Scope: Changes to the specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants