Skip to content

docs(fork-choice): trim drifted numbered overviews in docstrings - #1142

Merged
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:audit-forks/doc-trim-numbered-overviews
Jun 17, 2026
Merged

docs(fork-choice): trim drifted numbered overviews in docstrings#1142
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:audit-forks/doc-trim-numbered-overviews

Conversation

@tcoratger

Copy link
Copy Markdown
Collaborator

What

Two docstrings in the lstar fork-choice module carried numbered overview lists that duplicated the method bodies' own labeled section comments, and both had drifted out of sync with the code.

  • The attestation-validation docstring listed seven checks, while the body has six labeled sections (the topology check was split across two list items).
  • The block-processing docstring listed four steps but omitted the duplicate-data rejection and signature verification that the body actually performs.

Each numbered list is trimmed to a single accurate summary line. The labeled in-body comments remain the source of truth, per the doc rule that bans an algorithm recap in the docstring when the body already has labeled phase comments.

Why

Numbered overviews that mirror the body decay independently of it. Both lists had already drifted in count and content, so they now misinform rather than guide.

Docs-only change. No behavior change. just check passes.

🤖 Generated with Claude Code

Two docstrings carried numbered overview lists that duplicated the
method bodies' own labeled section comments and had drifted out of sync.

The attestation validation docstring listed seven checks while the body
has six labeled sections.
The block-processing docstring listed four steps but omitted the
duplicate-data rejection and signature verification the body performs.

Trim each numbered list to a single accurate summary line.
The labeled body comments remain the source of truth.

Docs-only change. just check passes.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@tcoratger
tcoratger merged commit db27c73 into leanEthereum:main Jun 17, 2026
14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant