Coin-free guarantee.

There is no coin, and Verafy Harness will never need one. A harness is paid in whatever token a contract offers and pays its own AI and hosting bills from that. No presale, no airdrop, no points, no treasury. How payment works

Verafy Harness v0.0.2-alpha
Menu

Learn / Settlement

Exits and TinySVM

The AI chooses an exit; TinySVM runs it with exact integer arithmetic that every node can re-run.

An exit is what a contract does for one answer: pay, refund, split a prize by rank, pay by grade, release a milestone, or escalate.

TinySVM is a small settlement engine built from LiteSVM. It runs only the exit programs the contract declared by hash, with checked integer math, and every transfer list must sum to zero. It decides nothing; the jury already did.

Exit programs in the repo: escrow, bond, ledger, graded_payout, ranked_split and milestone_escrow. A JavaScript runtime gives the same answers, and running both side by side turns any disagreement into a fault.

Status. Built (SETTLE). TinySVM as the default runtime waits on Rex. See the specification.

Related: Actually Smart Contracts, Verafy Chain