Skip to content

lmd ghost: clarify documentation and simplify the method - #192

Merged
tcoratger merged 3 commits into
leanEthereum:mainfrom
tcoratger:lmd-ghost-improve
Nov 25, 2025
Merged

lmd ghost: clarify documentation and simplify the method#192
tcoratger merged 3 commits into
leanEthereum:mainfrom
tcoratger:lmd-ghost-improve

Conversation

@tcoratger

Copy link
Copy Markdown
Collaborator

🗒️ Description

🔗 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.

@tcoratger
tcoratger requested review from g11tech, syjn99 and unnawut and removed request for unnawut November 25, 2025 19:05

@unnawut unnawut left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

The logic looks equivalent so this lgtm. Just one nit request for readability though.

Comment thread src/lean_spec/subspecs/forkchoice/store.py Outdated
Co-authored-by: Unnawut Leepaisalsuwanna <921194+unnawut@users.noreply.github.com>
Comment thread src/lean_spec/subspecs/forkchoice/store.py Outdated
Co-authored-by: Unnawut Leepaisalsuwanna <921194+unnawut@users.noreply.github.com>
@tcoratger
tcoratger merged commit 23068cd 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.

2 participants