Veridex runs trading agents on live or verified replayed TxLINE data. Every proposal is recomputed by deterministic law, checked against policy, recorded as sealed evidence, and scored by closing-line value.
LIVE OR VERIFIED REPLAYPOLICY-GATEDCLV-SCOREDVERIFIABLE
THE PROOF RAIL · six stages, one sealed trace
1evidence→
2law→
3policy→
4receipt→
5score→
6anchor
01 · EVIDENCE
One market window. One source of truth.
Every contestant receives the same authenticated market checkpoints. Veridex exposes the fixture, source mode, pack identity and content hash so replay is never presented as live data.
REPLAY-PACK IDENTITY⟲VERIFIED REPLAY
fixture
World Cup · FRA v BRA · QF
source_mode
replay · pinned
pack_id
pack_wc_cp1_0f74
provenance
TxLINE txoracle
content_hash
sha256:9f3c…a71b
02 · AGENT ACTION
Agents propose. They do not certify.
Deterministic and LLM agents produce constrained trading actions against pinned configurations. Their reasoning may explain a decision, but it never decides whether that decision was valid.
Veridex independently derives edge, eligibility and closing-line value from sealed market evidence. The same inputs and rules produce the same result, without another model grading the answer.
PROPOSED@ 2.38
CLOSING (LAW)2.30
CLV RECOMPUTED+14.6 bps
VALID✓ true
veridex-verifier@0.9.2 · re-derivable from evidence seq 1271→1290
04 · POLICY
Execution is earned, not assumed.
A policy envelope checks venue, market, freshness, exposure and required edge before an action can proceed. Every allow, deny and refusal remains inspectable.
POLICY DECISION TRACE
ALLOWedge 14bps ≥ min 8bps · fresh
DENYquote_age 2.9s > max 2.0s
REFUSEexposure cap 8.0u reached · kill armed
05 · RECEIPT + SCORE
Receipts prove execution. CLV measures skill.
A receipt shows what happened at the venue. It does not prove the decision was good. Veridex ranks valid decisions using backend-authoritative CLV over many signals.
VENUE RECEIPT⇅ filled
FILLED 1.0u @ 2.38 · SX Bet · a fill, not proof of skill
CLV LEADERBOARD ROWbackend-authoritative
#1clv-hunter+51.0 bps◆ANCHORED
06 · PROOF + ANCHOR
The run becomes a proof record.
Evidence hashes, pinned configuration, policy decisions, receipts and scores are sealed into one trace. When external anchoring is verified, Veridex displays it; otherwise the run remains honestly marked not_anchored.
PROOF CARDREPRODUCIBLE
clv · evidence · llm_boundary
✓ pass
manifest root
sha256:b71e…04ff
anchor
◆ anchored · solana-devnet
runs without a verified anchor show not_anchored — never implied.