Documentation
Everything here is checkable.
These docs are the implementer's companion to the research paper; where they disagree, the paper's Section 8 wins. Every claim describes on-chain, permissionless machinery — the platform operates a website, not the protocol.
How it works
Actors, the seven-checkpoint state machine, manifest continuity, and why failure always means refunds.
Frozen schemas
The claims manifest, the journal, and the report trailer — the three structures that never change without a version bump.
Trust tiers
T0, T1, T2: what verifies journals today, what will tomorrow, and exactly what you trust at each tier.
Launch certificates
What a certificate proves, what it deliberately never claims, and how third-party protocols consume it.
For auditors
The trailer standard, EIP-712 signing, rate cards, and findings-independent payment.
FAQ
Honest answers, including the ones that don't flatter the protocol.