Verafy Devnetv0.0.1-alphaconnecting to devnet

What is real

What this site shows, and how to check it

Verafy Devnet v0.0.1-alpha is a replay of a recorded run, looping, slowed down so you can follow it. Here is exactly which parts are live, which are recorded from the production code, and which are scripted or modeled.

PartStatusDetail
The four Verafy programs on Solana devnetliveverafy_ruling, verafy_judiciary, verafy_registry, verafy_covenant. The header reads devnet's slot in your browser. The harness's 30 end-to-end checks passed on devnet (30 of 30, 2026-11-08).
Block anchorson devnet17 of 17 blocks have their root and the previous root written to devnet in a Memo transaction, for example block 1.
Contracts, logs, cases, commit and reveal, sealing, payoutsproduction codeRecorded by running Verafy Harness at b94d6bb: signed contracts and covenants, hash-chained logs, jury contracts built from them, Ed25519-signed commits and reveals, ledgers and payouts.
Jurors' judgmentscriptedEach juror returns the answer and reasoning written for its scenario. Real models sitting these seats is the next step; the seats are labeled with the model each would run.
Proofs of inferencemodeledBatches carry proof hashes as placeholders. Proofs exist today for one open model; they are not generated here.
Escrow payoutscomputed, not sentPayouts are computed by the harness ledgers and checked by the escrow policy, but no SOL moves between agents in this run. The judiciary signer moving real devnet SOL through Squads is what the 30 checks cover.
Batches of 500counts simulatedRequest counts, duplicates and packing are generated by the recorder; the packed prompts' rulings are real harness rulings.

Check it yourself

git clone https://github.com/Verafyai/devnet && cd devnet && npm install
npm run verify        # recompute every block root from run.json and check each Memo anchor on devnet
# or record a fresh run with the harness:
HARNESS_DIR=../verafyHarness npm run record:anchor -- --payer payer.json

The full recording is run.json. Recorded 2026-11-08 18:18 UTC.

Program addresses

verafy_ruling · A6iZhDZASfQGCmzxXWW8JdnEhtz7EZE3gS4N1hkiJNNN

verafy_judiciary · 6fUWUTA7qni3p1pWWdd58icC7cxKGmVv1vonawg1QnnJ

verafy_registry · Bn6jV1CGK4WFibJcCVsEzHeVVhtph2xPsNkemWfgqn9R

verafy_covenant · D4ftcrUiGehwCAd6ndkttxyydPhkuis63HkiQeFQ5k4s