docs(specs): migrate remaining proof spec pages from base/base#1500
Merged
Conversation
Migrates the nine spec pages still living in base/base @ docs/specs/pages/ that are being deleted by base/base#2839, applying the same conventions used by the earlier specs migration in #1335: - file extension .md -> .mdx - prepend Mintlify title/description frontmatter (duplicate H1 stripped, matching existing migrated pages) - strip .md from internal cross-doc links (only affects two links in pectra-blob-schedule/derivation; external GitHub URLs left unchanged) - wire each page into docs.json navigation: * Execution group: add evm/rpc * Proofs group: add index, challenger, proposer, registrar, zk-prover, contracts (alongside the existing tee-provers entry) * Upgrades > Optimism: add new Pectra Blob Schedule sub-group Body content is otherwise preserved verbatim from base/base (verified byte-equivalent after the listed transformations). Mermaid blocks remain as standard ```mermaid fences (Mintlify-native; no <Mermaid> component needed).
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Workflows to automatically generate PRs for you. |
Collaborator
✅ Heimdall Review Status
|
Removes the three files from outside protocol/proofs/ that were included in the previous commit: - protocol/execution/evm/rpc.mdx - upgrades/pectra-blob-schedule/overview.mdx - upgrades/pectra-blob-schedule/derivation.mdx These still exist in base/base and will need to be migrated separately before base/base#2839 lands. Scoping this PR strictly to the proofs subset of the deletion list.
leopoldjoy
changed the title
Matches the singular naming used by the other proof role pages (challenger, proposer, registrar, zk-prover) and the parallel rename in #1499. - proofs/index.mdx: update the link label, slug, and verb agreement ('TEE Provers ... produce' -> 'TEE Prover ... produces') - docs.json: update slug in the Proofs nav group This is a small intentional deviation from the byte-equivalent base/base source in proofs/index.mdx — flagged explicitly here.
danyalprout
approved these changes
May 22, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Migrates the six remaining proof spec pages still living in base/base under
docs/specs/pages/protocol/proofs/that are slated for deletion by base/base#2839, applying the same conventions used by the earlier specs migration in #1335.This is a sibling PR to #1499 (which migrated
tee-proversalone); together with #1335 it brings the fullprotocol/proofs/tree frombase/baseinto this repo.Files migrated
base/base @ docs/specs/pages/)base/docs @ docs/base-chain/specs/)protocol/proofs/index.mdprotocol/proofs/index.mdxprotocol/proofs/challenger.mdprotocol/proofs/challenger.mdxprotocol/proofs/proposer.mdprotocol/proofs/proposer.mdxprotocol/proofs/registrar.mdprotocol/proofs/registrar.mdxprotocol/proofs/zk-prover.mdprotocol/proofs/zk-prover.mdxprotocol/proofs/contracts.mdprotocol/proofs/contracts.mdxNone of these pages reference any image, SVG, or bytecode asset, so no
public/static/content needs to come along.Transformations applied (per-file)
Each migration applies exactly the same conventions used by #1335:
.md->.mdx.title+descriptionfrontmatter.# Headingline (Mintlify renders the frontmatter title; matches existing pages likefault-proof/proposer.mdx,upgrades/azul/overview.mdx).Body content is otherwise preserved verbatim from
base/base, verified byte-equivalent after the listed transformations. (No internal.md-link stripping was needed for any of these six pages.)Mermaid blocks (present in
challenger.mdx,registrar.mdx,contracts.mdx) remain as standard```mermaidfences -- Mintlify renders these natively (confirmed against existing usage infault-proof/stage-one/bond-incentives.mdxandai-agents/index.mdx; no<Mermaid>component needed).docs.jsonnavigationindex,challenger,proposer,registrar,zk-prover,contracts) alongside the existingtee-proversentry from docs(specs): migrate TEE provers spec from base/base #1499. Ordering matches the listing inproofs/index.mdxitself.Out of scope
Three other pages also being deleted by #2839 have not yet been migrated to this repo and are intentionally not included in this PR; they will be handled separately:
docs/specs/pages/protocol/execution/evm/rpc.mddocs/specs/pages/upgrades/pectra-blob-schedule/overview.mddocs/specs/pages/upgrades/pectra-blob-schedule/derivation.mdCaveats
/static/assets/...and/static/bytecode/...paths that are not present anywhere in this repo (the asset/bytecode files were not migrated in chore: migrate base specs #1335). That's a pre-existing issue unrelated to this PR -- none of the six pages added here reference any of those assets.