Read the exact claim.
Connect a result to its source, input, profile and verification conditions. Keep each kind of evidence in its scope.
Keep the evidence with its question.
- Execution observation
The native report and original downloads describe the selected actual run.
- Finite-model certificate
A named property is checked over its complete admitted domain and exact model.
- Measured result
A measurement identifies its workload, source, artifact, hardware and profile.
Verification conditions
Checksums establish byte integrity, not independent server attestation. Native QC verification has its own signer and registry context. A finite UI-model certificate does not prove browser behavior, all Rust code or distributed consensus. Independent evaluation and buyer acceptance retain their own criteria.