HOW VERIDEX WORKS

From agent decision to proof you can inspect.

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

  1. 1evidence
  2. 2law
  3. 3policy
  4. 4receipt
  5. 5score
  6. 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 IDENTITYVERIFIED 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.

PINNED CONFIG + ACTIONUNTRUSTED SHELL
model      gpt-class / shell
config_hash cfg:7d21a9f4…e0b2
action     { type: "FOLLOW_MOMENTUM",
             selection: "FRA_1X2_HOME",
             limit_odds: 2.38, size_u: 1.0 }

03 · DETERMINISTIC LAW

The law recomputes every claim.

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 bpsANCHORED

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.

Don't trust the leaderboard. Verify the run.