[decofe]

T13 docs still say the upgrade is unscheduled and describe verification without explaining the Zone prover. Set the merged activation dates (October 29 on Moderato and November 3 on mainnet, both at 15:00 UTC), explain enclave replay and attested settlement, and map the four T13 TIPs to their roles.

Add a shared prover diagram to the upgrade and proving pages, update the protocol index and node-operator schedule, and clarify the temporary NoProof fallback, pending enclave measurements, coordinated prover upgrades, and separation from the later non-custodial upgrade. Explain that proof verification guarantees neither uptime nor inclusion and that NoProof is permitted even when proving works. Refresh the proving page against the Tempo monorepo implementation.

Validation:

• Type and style checks passed; 70 Markdown-renderer tests passed.
• Both edited pages rendered without browser errors. Inspected the diagram in light/dark themes and at mobile size; checked actual MDX-to-Markdown output for the diagram text, timestamps, fallback, and preserved anchor.
• Standard production build and full Markdown checks are blocked by the external OpenAPI spec fetch. A temporary local spec enabled page previews, but its missing API routes prevent a complete site build. No preview configuration is committed.

Sources: activation schedule, T13 scope, current prover/SPF/verifier code, and the non-custodial Zones prover PRD. The Slides design repository was inaccessible; the diagram uses the existing docs SVG styling.

Prompted by: @jenpaff

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated
tempo-docs	Ready	Preview	Oct 20, 2026 3:15pm UTC

[claude]

Code review found no issues

No high-confidence issues detected in this change.

[claude]

Code review found no issues

No high-confidence issues detected in this change.

[claude]

No new blocking issues. 1 optional suggestion (a nit or a note on pre-existing code) was found and not posted. Nothing in this review needs a push before merging.