Log in

Model field note · September 21, 2026

Jev Doesn’t Write Code. That May Be the Point.

Jev is fast because it gives up generation. The useful question is not whether it replaces Codex, but which repeated decisions should stop consuming a reasoning model.

TM
Tony MartinsSeptember 21, 2026
12 min read
Read the operating model
typesafe / jev-1.13.0System One
STATE

diff + task + test failure + policy

JEVtyped decisions in parallel
CHOICEinspect_diffp 0.71
SCOREreviewconfidence 0.84
NOULyesp 0.92
no prose generatedcode chooses what happens next

Direct answer

A decision model—not a coding model.

Jev takes text state plus bounded Choice, Score, or Noul questions and returns declared values and probabilities instead of prose. That makes it useful for repetitive routing, triage, review, and escalation decisions inside a coding-agent system.

Codex still handles open-ended reasoning and code generation. Deterministic code still owns permissions, arithmetic, validation, side effects, and fallbacks. If you evaluate a community integration, start from its source and instructions in the Supercode Skills Catalog—not its popularity alone.

01

The interface

State in. Typed decisions out.

TypeSafe launched Jev on September 15, 2026 and describes it as a frontier-intelligence function call: one body of state, a declared question set, and parallel structured answers.

01 / Choice

Pick one allowed option

Returns the selected option, every option probability, and confidence.

02 / Score

Rate ordered levels

Returns the selected level, the probability distribution, and confidence.

03 / Noul

Evaluate yes or no

Returns the probability that the answer is yes. The name is TypeSafe’s, not a typo.

There is no free-text lane from which to invent a fourth option or malformed object. A validrun_tests answer can still be the wrong answer.

02

Division of labor

Put Jev beside Codex, not in its chair.

Codex is useful when the answer space is open. Jev becomes useful after the system designer can name the possible actions or levels before inference.

01 · fast judgment

Jev decides

Route, rank, flag, score, retry, escalate, or stop within an answer space designed in advance.

02 · open-ended work

Codex reasons and writes

Inspect the repository, form hypotheses, edit code, run tools, interpret failures, and explain evidence.

03 · authority

Code enforces

Check permissions, budgets, schemas, test results, thresholds, audit logs, and whether an action may execute.

Do not let “the model selected deploy” become deployment permission. A model answer is an input to policy, not the policy itself.

The same separation applies when an integration arrives as an MCP server or Skill. Inspect the integration surface before allowing it into the agent loop.

03

Useful work

Five coding-agent decisions worth testing.

The common shape is a repeated semantic judgment with a finite answer set and an explicit fallback. If the work still needs exploration or creation, it is not ready for Jev.

01

Route

Pick a bounded worker

Choose among named frontend, backend, security-review, or human routes after the task has already been decomposed.
Ambiguous ownership → human
02

Next action

Choose the smallest proof

Rank inspect, rerun, ask, or stop after the controller has assembled the current evidence.
Low confidence → inspect
03

Context

Triage tool evidence

Score novel diagnostic value, repeated noise, and instruction-like content before expensive context assembly.
Raw evidence stays stored
04

Review

Escalate risky surfaces

Flag semantic contact with auth, billing, migrations, or external contracts; combine it with deterministic path rules.
Policy conflict → review
05

Readiness

Check evidence coverage

Score whether a result has enough evidence for a costly final review or another worker handoff.
Uncertain → do not advance

Treat each row as a separate evaluation target. Freeze the question, allowed answers, fallback, and acceptance threshold; then test normal, boundary, adversarial, and uncertain cases. If reviewers cannot agree on the expected label, the decision is not bounded enough to automate yet.

04

Evidence boundary

Fast and cheap—inside the task it actually does.

Published price$0.042

per million input tokens for jev-1.13.0; output currently free

TypeSafe service range70–500 ms

reported end-to-end latency; geography and request shape still matter

Independent launch-week calls253–378 ms

small calls reported from East Asia by Jev AI Guide

TypeSafe reports 20–200× speed and 40–400× cost advantages on System One-shaped workflows. The company also says its most dramatic workflow figures sit near the high end of expected gains. Those are vendor benchmarks, not a promise that an entire Codex task becomes 200× faster.

Baader separately reports low latency and cost over its internal workload, while explicitly separating plumbing metrics from judgment accuracy. The useful business case starts with a trace: find closed generative calls, label the cases, and compare the same decisions.

05

The hard boundary

Type-safe is not truth-safe.

The launch claim that Jev cannot hallucinate is useful only after separating malformed output from a wrong but perfectly valid judgment.

Prevented by the contract

Shape failure

  • malformed JSON
  • unknown action
  • prose instead of a value

Still requires evaluation

Judgment failure

  • wrong allowed route
  • misread condition
  • confident semantic error

Confidence becomes operational only after calibration against your cases. A 0.94 attached to a vague question does not become a security boundary. High-impact actions still need deterministic constraints, labeled evaluation, and a human or stronger-model fallback.

06

Jev 1.13 jaggedness

Design around the model that exists.

TypeSafe documents literal reading, weak arithmetic and counting, date-ordering problems, multi-hop indirection, noisy state, adversarial content, contradictory criteria, structural assumptions, and generation as current failure surfaces.

01

Keep arithmetic in code

Counts, budgets, dates, permissions, and exact thresholds do not need probabilistic judgment.

02

Ask one literal question

Name the exact condition and boundary cases. Avoid nested negatives and holistic “is everything okay?” prompts.

03

Filter state first

Irrelevant detail can reduce accuracy. Large context capacity is not permission to send the whole trace.

04

Generate with Codex

Use Jev to choose or score. Use a generative model when the system needs a patch, explanation, or review.

Context rule

Large capacity is not a reason to send the whole trace.
Filter to the state this exact question needs.
07

Production adoption

Shadow first. Authority last.

A safe rollout is a measured ladder, not an SDK installation followed by production control flow. Start with one repeated decision whose consequences and fallback are already explicit.

01

Shadow

Log Jev beside the current decision. Nothing acts on it.

02

Label

Build blind normal, boundary, adversarial, and uncertain examples.

03

Threshold

Measure accuracy and coverage for this exact question wording.

04

Fallback

Define behavior for uncertainty, outage, version drift, and policy conflict.

05

Enforce

Start with reversible, low-impact branches.

06

Monitor

Record versions, distributions, latency, final action, and drift.

  • Pin a version after tuning; aliases can move.
  • Log the state hash and question version.
  • Keep the full answer distribution and confidence.
  • Record latency, fallback, and the action actually taken.
  • Re-test after wording, model, or upstream-state changes.
  • Begin with reversible low-impact decisions.
08

Worked pattern

A menu of evidence steps—not a menu of powers.

Assume Codex changed a payment service and the focused test failed. The controller has the task, diff summary, test name, and final error. Jev receives one bounded Choice.

controller / next-action.ts
const nextAction = choice({
  instructions:
    "Choose the smallest evidence-gathering step after a focused test failure.",
  options: {
    inspect_failure: "The failure is not yet explained.",
    inspect_diff: "The changed lines plausibly explain the failure.",
    rerun_focused_test:
      "The result looks transient and one rerun can test that hypothesis.",
    ask_human:
      "The evidence is ambiguous or the next step crosses a stated boundary."
  }
});

Allowed to auto-route after local evaluation

inspect_failure · inspect_diff

Never becomes model-granted authority

deploy · delete_data · disable_checks

The controller can accept a low-impact route above a locally validated threshold. No choice may bypass the repository sandbox, approval policy, ownership rules, or test requirements. The decision surface is designed before inference.

09

Supply-chain boundary

The wrapper may be more powerful than the model.

Jev can reach an agent through direct code, a gateway, an MCP server, a Skill, or a wrapper that intercepts requests. Those shapes have different access to prompts, files, credentials, tool calls, and network traffic.

The Supercode Skills Catalog can expose source, instructions, adoption, and audit signals where available. Those signals narrow inspection work; they do not certify the integration or Jev's decisions.

01Provenance

Maintainer, source, license, release history, and ownership

02Secrets

Where the API key lives and whether every log path redacts it

03Data path

Which prompts, files, diffs, and tool results leave the machine

04Authority

Whether it rewrites prompts, forces tools, or relaxes approvals

05Failure

Outage, uncertainty, unexpected version, and safe bypass behavior

06Removal

Tests, audit evidence, maintenance state, and a clean uninstall path

Jev can make the control plane faster and cheaper where decisions are repeated, bounded, and measurable. Codex remains the reasoning engine. Code remains in charge.

Primary documentation and independent checks

Sources and freshness

Reviewed September 21, 2026 against Jev 1.13. Pricing, model aliases, limits, availability, and integration behavior can change. Vendor benchmarks and independent launch-week observations are identified separately in the article.

Inspect before installing

Treat the integration as part of the control plane

Find coding-agent integrations, then inspect their source, instructions, data path, permissions, and failure behavior before installation. Catalog signals support review; they do not replace it.

Explore coding-agent Skills
TM

About the research desk

Tony Martins

Research on context engineering, agent workflows, and reliable coding-agent operations.
Back to top ↑