Show bounded capability, not infinite ambition.
The strongest pages on this site should tell you exactly what surface exists today, what was checked recently, and where the boundary still is.
Proof discipline
This page exists to keep the storefront honest.
The homepage is allowed to be ambitious only if a skeptical reader can land here and immediately find the bounded contract, the strongest artifact surfaces, and the research routes that still exert pressure on the language.
Route skeptical readers to commands and artifacts fast.
A proof page should collapse the distance between a homepage claim and the repository, release surface, or scientific route that substantiates it.
Keep the storefront under the same discipline as the language.
If a page cannot be defended by artifacts, domain pressure, or a current public contract, it should not be promoted as proof.
Start with the current contract. Then inspect the release surface. Then use the science routes to see whether the language is being pushed by real programs or just by taste.