Observed arrival · 2026-09-11
Verifier Standard: Evidence That Travels With the Claim
An open verification standard and Python reference implementation for attaching artifacts, checking mechanisms, results, and limits to computational claims.
Field notes
The reference runtime is presented as a Python package requiring version 3.10 or later, with 17 subcommands and three published releases. Its flagship demonstration tests four adversarial cases: wrong-artifact grounding, bounded proof exhaustion, inflated verification tiers, and a revoked graph ancestor. The page reports two independent JSON runs with identical 37,393-byte outputs and the same SHA-256 digest, while explicitly limiting that observation to one interpreter and operating system.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue