Provenance
Where every number on this site comes from, which parts are measured from live market data and the model, and which parts are defined by this project.
Measured. Every trade on this page is a real swap in the vej pool, with its real size, price and wallet. Price, market value, pool depth and holder count are read live, once a second. Every set of three probabilities is a real answer from Jev, asked once, at the moment of the trade, and stored with the exact facts it was given and the time it took to answer. The model's speed and cost shown on the model page are measured here, not quoted.
Defined here. The question, and the three routes it can choose between. The facts we chose to show the model. The weight formula. Balances and the share a wallet has sold are built from the trades this site has seen since it began watching, so a wallet that received tokens by transfer will look lighter than it is. The amounts on this page are what each route and each wallet is owed by the rule. Moving the money is a separate step, and the earned column only counts as paid once a transfer is recorded.
References
- TypeSafe AI. Introducing System One Models and Jev. 15 September 2026. typesafe.ai/blog/introducing-system-one-models-and-jev. The model, its typed answers, and its parallel sampler.
- TypeSafe AI. Primitives: Choice, Score, Noul. docs.typesafe.ai/primitives. The three question types. The routing question is a Choice, and its probabilities are used directly as the split.
- Jevons, W. S. The Coal Question. Macmillan, London, 1865. The model is named for Jevons. His observation was that when something gets cheaper to use, more of it gets used. A question to this model costs so little that asking one for every single trade is reasonable.
Derivation of each number
| number | made from | changes when |
|---|---|---|
| price, market value, pool depth, holders | read live from market data | every second |
| trades | real swaps in the pool | a swap lands |
| three probabilities | one answer from Jev per trade | a swap lands |
| fee | trade value times the creator fee | a swap lands |
| route amounts | fee times each probability | a swap lands |
| balance | tokens bought minus tokens sold, from watched trades | that wallet trades |
| kept | one minus tokens sold over tokens bought | that wallet sells or buys |
| weight | balance times kept | that wallet trades |
| earned | holder share times weight over all weight | any swap lands |
| paid | recorded transfers | a payment is sent |
