Develop to gloas

[vgorkavenko]

Description

TBD

Checklist

• Appropriate PR labels applied
• Test coverage maintained (just coverage)
  • No need to add/update tests
  • Tests are added/updated
• Documentation maintained
  • No need to update
  • Updated

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-09-04T09:57:19.811533Z	a312b3e	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[chatgpt-codex-connector]

💡 Codex Review

staking-modules/src/interfaces/IVerifier.sol

Lines 159 to 160 in a312b3e

	/// @param data @see ProcessWithdrawalInput
	function processHistoricalWithdrawalProof(ProcessWithdrawalInput calldata data) external;

Regenerate docs after changing the Verifier ABI

The generated API documentation was not updated and still advertises ProcessHistoricalWithdrawalInput, the old recent-proof input shape, and removed getters such as WITHDRAWAL_ADDRESS. Consumers following docs/src will therefore encode calls against an ABI that this interface no longer implements; run forge doc and commit the regenerated output with this ABI change.

AGENTS.md reference: AGENTS.md:L12-L15

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".