Skip to content

Specrefs alpha8 - #10771

Merged
zilm13 merged 3 commits into
Consensys:masterfrom
zilm13:specrefs-alpha8
Jun 1, 2026
Merged

Specrefs alpha8#10771
zilm13 merged 3 commits into
Consensys:masterfrom
zilm13:specrefs-alpha8

Conversation

@zilm13

@zilm13 zilm13 commented Jun 1, 2026

Copy link
Copy Markdown
Contributor

PR Description

I will toggle payload_due specrefs in #10749 after this

Fixed Issue(s)

Documentation

  • I thought about documentation and added the doc-change-required label to this PR if updates are required.

Changelog

  • I thought about adding a changelog entry, and added one if I deemed necessary.

Note

Low Risk
Documentation and spec-tracking metadata only; runtime behavior is unchanged unless separate Java work lands elsewhere.

Overview
Bumps ethspecify tracking to v1.7.0-alpha.8 by refreshing specrefs/.ethspecify.yml and specrefs/functions.yml.

Exception list cleanup: Removes many temporary “ignored until alpha.8” entries (gossip validators, prepare_execution_payload, fork-choice helpers, Electra weak subjectivity, etc.). Only get_payload_due_ms#gloas stays under “Will be fixed later”; get_proposer_dependent_root#gloas is reclassified as not implemented.

Spec ↔ code linkage: For previously unmapped or excepted functions, adds sources entries pointing at existing Teku classes (e.g. WeakSubjectivityCalculatorElectra / WeakSubjectivityCalculatorGloas, ForkChoiceModelGloas, gossip validators, BlockProcessorGloas.applyParentExecutionPayload). Documents Electra weak-subjectivity spec text as a diff from phase0 and adds a full Gloas compute_weak_subjectivity_period spec block. Updates embedded prepare_execution_payload spec snippets (e.g. parent_beacon_block_root on Bellatrix) to match alpha.8 wording.

No application logic changes in this diff—only spec reference and compliance metadata.

Reviewed by Cursor Bugbot for commit 7d118fa. Bugbot is set up for automated code reviews on this repo. Configure here.

@StefanBratanov StefanBratanov 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

@zilm13
zilm13 merged commit d163840 into Consensys:master Jun 1, 2026
12 checks passed
@zilm13
zilm13 deleted the specrefs-alpha8 branch June 1, 2026 15:27
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants