Live counts
- Total claims0
- Verified0
- Partial0
- Did not reproduce0
- Not checkable0
- Ambiguous0
What the labels mean
Verified is reserved for exact-protocol results with a persisted validation receipt. The receipt binds the exact job, paper version, protocol, measurement, outcome, cited paper locator, and PDF bytes checked by the validator.
Partially supported requires the same citation receipt, but the result was partial or used a declared proxy such as a micro-slice, community checkpoint, or nearby evaluation setup.
Did not reproduce requires an exact protocol and the same receipt. It describes only the cited claim and measured setup, not the entire paper.
Not checkable means the evidence is insufficient to make a claim-level conclusion: for example, the protocol targeted another benchmark, the model is gated, or a legacy job has no current validation receipt.
Checked claims
No receipt-backed claim checks are public yet. Stored legacy or unchecked citations remain hidden until the validator can bind the paper span, measurement, protocol, and outcome. The JSON mirror lives at /api/v1/claims.
Scope
A claim check is smaller than a paper verdict. It says whether a specific cited value or span matched the reproduction job under the stated protocol, not whether the whole paper is good or bad.