TypeSafe AI came out of two years of stealth on 15 September 2026 with a model called Jev and a category name they coined for it, the System One Model, and the interesting thing they shipped is not a new kind of intelligence but a new way of calling one. Instead of chat(messages) returning a string, you get a function of state and questions returning typed values with calibrated probabilities on them: one blob of state, many isolated typed questions, one parallel pass, no strings ever. Three primitives carry it. Choice picks one of up to 255 supplied options and returns the whole probability vector plus a confidence scalar; Score returns a continuous value against labelled anchors; Noul returns a Bernoulli, with no separate confidence field because for a Bernoulli the probability is the confidence. Questions are evaluated in parallel and in isolation against the same state, so latency is roughly flat in the number of questions and question twelve cannot be contaminated by question three, and the price of that isolation is that composition moves into your code. The efficiency result is real and needs none of the marketing around it: on TypeSafe's own published workflow eval Jev scores 67.8 percent overall, exactly tied with sonnet 5 and 6.3 points behind the leader sol at 74.1, at four ten-thousandths of a dollar and four tenths of a second per case against sonnet 5's twelve cents and 78 seconds, which is 293 times cheaper and about 195 times faster at identical accuracy. The same eval contains the clean demonstration of where the thesis breaks, published voluntarily and un-headlined: Invoice Processing at 61.8 percent against 79.1, a 17.3-point gap where every other gap is two to five points, on the one workflow that is multi-hop arithmetic across three documents. Two academic literatures arrived at this interface first, and the episode walks both: grammar-constrained decoding from May 2023 through Outlines, llama.cpp grammars, OpenAI Structured Outputs and XGrammar, which had made guaranteed-valid structured output free on a laptop for three years and four months before Jev launched; and the schema-driven encoder line from GLiNER to the GLiNER bi-encoder, which published the fix for Jev's most-complained-about limit, the 255-choice ceiling, seven months earlier. An Apache-2.0 model shipped an overlapping guarantee at 74 million parameters the same afternoon and got a twenty-sixth of the attention, and somebody approximated the interface on a laptop within hours. What nobody open has shipped is the calibration training, which is the only genuinely hard-to-copy part of this, and the company named after calibration published no calibration measurement of any kind, no expected calibration error, no reliability diagram, no Brier score, no log loss. The last two chapters take the robotics reading seriously enough to read a datasheet: a twenty-dollar optical flow sensor returns delta-x, delta-y, a surface quality metric and a shutter value, is blind below 80 millimetres, drifts without bound and cannot be converted to millimetres without a rangefinder, and in every shipped vision-language-action system the slow semantic layer is buffered behind something fast and local. Jev does not supply that layer and does not claim to; TypeSafe make no robotics claim at all, and the robotics reading is ours.