Skip to content

docs(l1): fix stale v6 upgrade runbook and comments - #25628

Draft
AztecBot wants to merge 1 commit into
v6from
cb/v6-upgrade-docs-fixes
Draft

AztecBot wants to merge 1 commit into
v6from
cb/v6-upgrade-docs-fixes

Conversation

@AztecBot

@AztecBot AztecBot commented Oct 9, 2026

Copy link
Copy Markdown
Collaborator

Rebase of #25626 onto v6. It contains Santiago Palladino's single commit cb767bf4 with his authorship kept. Docs and comments only; no Solidity code changes.

Why a replacement PR

#25626 was stacked on #25601's branch (amin/v6-upgrade-payload). #25601 was squash-merged into v6 and its branch deleted, so GitHub retargeted #25626 to v6. It still carried the 13 commits #25601 had before the squash, and GitHub marked it as conflicting. ClaudeBox cannot push to spl/v6-upgrade-docs-fixes, so this PR carries the same commit cherry-picked onto v6 (edf8e9a6). The cherry-pick applied without conflicts.

The resulting tree is byte-identical to #25626's head (git diff against it is empty), so the diff here is exactly Santiago's change: 4 files, +59/−30.

Change (from #25626)

  • Deploy script and payload NatSpec describe the rollup as governance-owned from construction, and list what verify() does not check: entry-queue config, reward-boost parameters, ethereumSlotDuration, and verifier bytecode.
  • Runbook pre-flight replaces the zero-earmark check with a headroom check (availableTo(v5) must cover the 1.8M reservation). It also adds an owner check for the old flush rewarder, defines $TOKEN, and records a 2026-10-08 baseline.
  • Runbook deploy lists the six external-library deployments that precede the verifier. It adds a manual check that the deployed verifier's runtime code hash equals the pinned artifact.
  • Fixes action numbers, drops a duplicated owner check, and replaces placeholder cast commands in the post-execution checks with real ones.
  • V6UpgradePayload.md rewrites the earmark limitation to match the distributor's behavior.

Checks

  • forge fmt --check passes on the two touched .sol files.
  • Full CI runs on this PR.

Supersedes #25626. Close it once this merges.


Created by claudebox · group: slackbot · requested by Mike (@iAmMichaelConnor) · Slack thread

- Deploy script header described the old deployer-owned-then-transferred
  flow; the rollup is owned by governance from construction.
- State which values verify() does not read back.
- Runbook: drop the incorrect 'totalEarmarkedBalance must be 0'
  precondition (earmarks stay claimable and subsidizeAddress cannot shrink
  the implicit pool); check availableTo(v5) covers the reservation instead.
- Runbook: list the six library deployments and the measured gas, add a
  verifier bytecode check, fix action numbers, fill in placeholder commands.
@AztecBot AztecBot added ci-draft Run CI on draft PRs. ci-no-fail-fast Sets NO_FAIL_FAST in the CI so the run is not aborted on the first failure claudebox Owned by claudebox. it can push to this PR. labels Oct 9, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci-draft Run CI on draft PRs. ci-no-fail-fast Sets NO_FAIL_FAST in the CI so the run is not aborted on the first failure claudebox Owned by claudebox. it can push to this PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants