Research · Typed decisions, not chat

What Jev is

Last updated: 2026-09-16

The product that shipped on 15 September 2026

What did TypeSafe actually put on the public internet, and what class of software is it?

State becomes Choice, Score, and Noul tickets

On 15 September 2026, TypeSafe AI opened early access to Jev, which it calls the first public System One model.[1] A System One model, in TypeSafe’s own definition, is a model that reads unstructured state (a message, a JSON object, a slice of application memory) and returns typed decisions that software can branch on, rather than generating a string for a person to read.[7]

The official one-line pitch on the launch post is: treat Jev as a “frontier-intelligence function call: unstructured state in, typed probabilistic decisions out.”[1] The homepage restates the same idea as “the first (public) System One Model; Jev gives AI the properties of code.”[2]

Jev is not a chatbot, a coding model, a reasoning model with hidden thinking tokens, or a local/open-weight download. TypeSafe’s documentation states that System One models “do not write replies, produce code, or generate explanations of their reasoning.”[7] Access on launch day is a waitlist plus a browser playground; the callable alias is jev-latest on POST https://api.typesafe.ai/v1/systemone.[10][11]

The name Jev is after William Stanley Jevons, not a person on the team. TypeSafe expects cheaper intelligence to increase total use, the way more-efficient steam engines increased coal demand.[1] System One is borrowed from Daniel Kahneman’s Thinking, Fast and Slow: fast, focused judgments rather than slow deliberation. TypeSafe itself notes that “System 1 thinking” has also implied error-prone, and says it will argue later that System One models can be made more reliable than the alternatives.[1]

Diogo Almeida opened the launch on his personal X account @CompleteSkeptic rather than from @typesafeai. The post led with the InstructGPT/ChatGPT credential, then the two years in stealth, then three checkable speed/cost bullets. Doomers later ranked that thread among the highest-reach launches it tracks for 15 September 2026.[1][40]

The three primitives

What can Jev actually return, and why is there no fourth “JSON blob” primitive?

Every request evaluates one state against a map of questions. All questions see the same state and are scored independently and in parallel.[32] There are exactly three question types:[6][12][13][31]

Primitive Plain-language job What comes back
Choice Pick one option from a list you supplied choice, a probability for every option, confidence
Score Place the state on an ordered rubric (2–10 levels) score (can land between levels), probabilities per level, confidence
Noul Is this statement true? A single number noul in 0–1, the probability of yes. No separate confidence field

Noul is TypeSafe’s portmanteau of “no” and “null”: a yes/no claim, not a free-form sentence.[31][19]

Choice options are capped at 255 per field. For higher cardinality (the Wikiracing demo’s hundreds-to-thousands of Wikipedia links), TypeSafe documents a two-stage pattern: score candidates independently, then choose.[1][19]

There is no fourth primitive for “emit a JSON document of whatever shape.” JSON in the API is the envelope. The model’s output values are the three typed answers. That is the constitutive difference from OpenAI Structured Outputs, grammars, or “JSON mode,” which still generate tokens that happen to parse.[18]

What Jev is not

Which nearby product categories would a reader confuse this with in the first week?

Why this is a good explanation

What is hard to vary here, and what would falsify it?

The hard-to-vary claim is the output contract, not the unpublished weights. If Jev emitted free-form text, the speed, the $0 output meter, and the “can’t hallucinate a tool name” chart would all have to be rewritten. If it only classified among a closed set, those three properties follow from the interface even before anyone discusses RLCD. That is testable: one counter-example of a generated sentence, or of a Choice value not in the supplied list, would falsify the contract. TypeSafe says the latter is “mathematically impossible.”[1]

← Research indexArchitecture & RLCD →