docs(specs): migrate TEE provers spec from base/base#1499
Merged
Conversation
Collaborator
✅ Heimdall Review Status
|
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Workflows to automatically generate PRs for you. |
leopoldjoy
added a commit
that referenced
this pull request
May 22, 2026
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.
leopoldjoy
added a commit
that referenced
this pull request
May 22, 2026
* docs(specs): migrate remaining specs from base/base 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). * docs(specs): drop non-proofs files from this PR 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. * docs(specs): rename tee-provers -> tee-prover for consistency 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.
Migrates docs/specs/pages/protocol/proofs/tee-provers.md from base/base to docs/base-chain/specs/protocol/proofs/tee-provers.md in this repo, per the in-progress spec migration (see base/base#2839, which is removing all specs from base/base). File copied byte-for-byte; sha256 verified identical to source (765b93c5d33cd58675775310bc4f73891a230b54bdfcedc42c6babe1793def15).
- Rename tee-provers.md to .mdx with Mintlify title/description frontmatter - Add new Proofs group under Protocol with the tee-provers page so it is reachable from the rendered sidebar
The other proof role pages (challenger, proposer, registrar, zk-prover) all use singular naming. The TEE page was the odd one out. Renames the file slug, frontmatter title, and docs.json nav entry to singular 'TEE Prover'. Body content is unchanged (it already used 'TEE prover' singular throughout).
leopoldjoy
force-pushed
the
leopoldjoy/migrate-tee-provers-spec
branch
from
d596b0c to
88bbbb1
Compare
0x00101010
reviewed
May 22, 2026
0x00101010
approved these changes
May 22, 2026
Co-authored-by: Francis Li <francis.li@coinbase.com>
0x00101010
approved these changes
May 22, 2026
Collaborator
|
Review Error for 0x00101010 @ 2026-05-22 16:50:43 UTC |
wlawt
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
4 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 TEE provers specification page from
base/baseinto this repo atdocs/base-chain/specs/protocol/proofs/tee-provers.mdx, mirroring the path convention used by the earlier spec migration in #1335 (e.g.fault-proof/proposer.mdx).Source:
base/base @ docs/specs/pages/protocol/proofs/tee-provers.md(added in base/base#2846).base/base#2839 is removing all specs from
base/basesince this repo is now the source of truth, prompting this migration. None of the otherprotocol/proofs/sibling pages (challenger,proposer,registrar,zk-prover,contracts,index) have been migrated yet — those are intentionally out of scope here and will require follow-up PRs.Mintlify integration
.mdxwithtitle+descriptionfrontmatter, matching the rest ofdocs/base-chain/specs/.docs.jsonso the page is reachable from the sidebar. The group currently contains onlytee-provers; sibling pages will be added as they are migrated.<Mermaid>component needed; confirmed against existing usage in `fault-proof/stage-one/bond-incentives.mdx` and `ai-agents/index.mdx`).[registrar](./registrar)) will resolve once those pages are migrated; left as-is for now.