VeridictComing soon · veridict.us
Veridict
The claim court for the AI era of capital.
AI made alpha claims cheap. Veridict makes belief expensive again. A frozen specification, hash-bound evidence, hostile replay, and a theorem-backed bar return a typed verdict before capital, counsel, contracts, or reputation move.
Status
Evidence kernel proven and machine-checked. Coverage expanding; strategy mechanics being inventoried and validated. Platform undergoing active development. Launch target Q1 2027.
0snapshot
Attested artifacts
405 SHA-256 hashes pinned and cold-reverified by the one-command attestor.
snapshot
0kernel
Machine-checked theorems
Axiom audit hard-requires 10 Lean theorems with sorries = 0.
snapshot
~0M0.2 → M43
Milestone events
Registration + report + gates across the library, harness, and convergence sweeps.
snapshot
0locked
Alpha claims made
No file asserts alpha, edge, or outperformance as a claim.
never exceeds 0
The load-bearing invariant is the fourth row. Artifacts, theorems, and milestones are supposed to grow. Alpha claims made is not. The point of the platform is to certify a falsification method, not a return.