vej

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

  1. 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.
  2. 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.
  3. 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

numbermade fromchanges when
price, market value, pool depth, holdersread live from market dataevery second
tradesreal swaps in the poola swap lands
three probabilitiesone answer from Jev per tradea swap lands
feetrade value times the creator feea swap lands
route amountsfee times each probabilitya swap lands
balancetokens bought minus tokens sold, from watched tradesthat wallet trades
keptone minus tokens sold over tokens boughtthat wallet sells or buys
weightbalance times keptthat wallet trades
earnedholder share times weight over all weightany swap lands
paidrecorded transfersa payment is sent