Skip to content
Mock data. Run values, controls, targets and reproductions on this preview are invented for layout. Claim-card text, upstream figures, the reference price and the RFC list come from the repository.
Inference ProofsMenu

Methodology

The rules every number follows

Every RFC at the release's RFC commit 6e28a7f4454e. Accepted and Final RFCs are normative; Draft RFCs are proposals. Read from the repository at build time.

RFCs

Vocabulary

Timing scope
The interval a time or rate covers: setup, commit, prove.steady, prove.session, whole_wall, verify, verify.single_thread, primitive (RFC-0004).
Grade
How a number was obtained: measured, derived, projected, external or asserted (RFC-0004).
Evidence tier
Who stands behind a number: reported, peer-reviewed or reproduced (RFC-0007).
Tokens covered
The positions whose computation a proof binds; the denominator of every per-token metric (RFC-0004).

Full glossary