All posts

Part 1: The Missing Primitive in Agentic AI — Kicking the Tires on TypeSafe's Jev

The Missing Primitive in Agentic AI — Kicking the Tires on TypeSafe's Jev

September 18, 2026

#AI#Software Engineering#llm#Machine Learning#architecture
Part 1: The Missing Primitive in Agentic AI — Kicking the Tires on TypeSafe's Jev

Why Small, Fast Judgment Calls Are What Our Autonomous Software Actually Needs

By Jason Vertrees
Part 1 of the Machine-Native AI Series

Kicking the Tires on Jev

I recently got early access to Jev, a new decision model from TypeSafe AI.

Like any engineer handed early access to an unfamiliar model architecture, I wanted to look past the marketing copy, kick the tires under the hood, and find where the actual edges are.

When people first encounter TypeSafe, the initial reaction is often: "Oh, it returns typed outputs? We figured out JSON mode two years ago."

And that's true. Structured outputs are table stakes in 2026. Every foundation model has schema constraints. If all Jev did was return clean JSON, it wouldn't be worth writing about.

The salient issue—and the real breakthrough—is something entirely different:

How rapidly and cleanly it makes sound, isolated judgment calls, returning calibrated probabilities for classification.

It literally solves a class of architectural problems that have crippled agentic AI pipelines for the last two years.

The Bottleneck in Agentic AI Pipelines

If you've built autonomous coding agents, multi-agent harnesses, or production LLM pipelines, you know the fundamental dilemma.

An agentic pipeline makes dozens of small, critical judgment calls every single turn:

  • "Is this bash command about to wipe files outside the declared task scope?"

  • "Does this user prompt contain an evasion attack disguised as a customer query?"

  • "Is this test failure a non-deterministic timing flake or a broken code dependency?"

  • "Is the user's instruction clear enough to execute, or too ambiguous to proceed safely?"

Until now, software engineers have had exactly two choices for these micro-decisions:

  1. Deterministic Code and Regex: Blazingly fast (< 2ms), but completely devoid of common sense. The moment an agent phrases a command unconventionally—like smuggling a shell command through python -c "import shutil; ..."—the regex either panics and blocks safe code or fails to catch the destruction.

  2. Generative Foundation LLMs (Claude, GPT-4): Capable of reasoning, but wildly over-engineered for micro-decisions. Calling a 200B-parameter autoregressive model adds 1 to 3 seconds of latency per check, costs a fortune at scale, and suffers from uncalibrated confidence.

We’ve been trapped between brittle scripts with zero intelligence and massive conversational LLMs that stall the pipeline.

Jev introduces the missing primitive: a fast, non-autoregressive decision model built strictly for small, calibrated judgment calls.

System 1 Thinking for Software

In cognitive psychology, Daniel Kahneman distinguished two modes of thought:

  • System 1: Fast, instinctive, perceptual judgments (reading emotional subtext, recognizing danger, spotting patterns).

  • System 2: Slow, deliberate, sequential reasoning (drafting an architectural RFC, solving a multi-step proof).

Foundation LLMs are System 2 engines. When you ask an LLM whether a command is dangerous, it runs an autoregressive token stream, spinning up tokens to justify its thoughts before concluding.

Jev is a pure System 1 engine. It doesn't chat. It doesn't write essays. It takes an application state dictionary, evaluates typed questions in a single parallel pass, and returns calibrated probabilities (p ∈ [0.0, 1.0]), bounded scores, and categorical choices.

Because the probabilities are calibrated (trained via RLCD—Reinforcement Learning for Calibrated Decisions), p = 0.98 actually means the condition holds ~98% of the time across empirical test distributions. Your Python code receives a mathematically grounded sensor reading and uses ordinary if/else logic to steer the pipeline.

                           Incoming Semantic Problem
                                       │
                    ┌──────────────────┴──────────────────┐
                    ▼                                     ▼
        Perceptual / Classification             Symbolic / Computation
        (Tone, Policy, Intent, Security)        (Math, Regex, Counting, Sets)
                    │                                     │
                    ▼                                     ▼
         TypeSafe System One (Jev)              Deterministic Python Code
        "Fast, Calibrated Sensor"               "Code Owns Calculations"
                    │
                    ▼
        Needs Multi-Step Synthesis?
        (Novel Code, Long Essays)
                    │
                    ▼
         Foundation System Two LLM
        (Claude 3.7 / GPT-4o / o1)

Probing the Edges: Where Does It Shine, and Where Does It Break?

Every engineering primitive has hard boundaries. To know how to use Jev in production, we ran a series of empirical tests to locate its failure points:

1. Nuanced Semantic Perception (The Sweet Spot)

  • The Test: Detect hostile sarcasm wrapped in superficially polite words:
    "Oh, brilliant work deploying on Friday at 5:00 PM without testing! I truly enjoy spending my weekend fixing your database mess instead of seeing my kids. Keep up the fantastic engineering standards!"

  • Keyword Classifiers: Fail. (Words like "brilliant", "enjoy", and "fantastic" look positive).

  • Jev Output: Noul (P(hostility/sarcasm)) = 0.99.

  • Why System 1 Wins: It perceives tone and subtext as a direct perceptual pattern without token-by-token deliberation.

2. Character and Token Counting (The Subword Token Trap)

  • The Test: Does the word "subcontinental" contain exactly four vowels? (Actual: 5).

  • Jev Output: Without external state assistance, Jev returns an uncertain p ≈ 0.75.

  • Why System 1 Stumbles: Like all transformer models, Jev processes subword tokens, not raw ASCII character arrays.

  • Architectural Rule: Code Owns Computation. Never ask an AI model to do what one line of Python does deterministically in 10 nanoseconds:

    has_four_vowels = sum(1 for c in word.lower() if c in "aeiou") == 4
    

3. Long-Form Generative Synthesis (The Architectural Boundary)

  • The Test: "Draft a 4-paragraph incident postmortem explaining the database failover."

  • Jev Output: Refusal by design (confidence = 0.78).

  • Why System 1 Stumbles: Jev literally lacks a generative text vocabulary. It cannot write essays, stream markdown, or author source code.

  • Architectural Rule: System 1 senses; System 2 writes. Use Jev to classify incident severity and root cause (p=0.96). If critical, let your code dispatch a System 2 LLM (Claude, GPT-4) with a targeted prompt to author the customer notification.

4. Formal Quantifier Fallacies (Deductive Verification)

  • The Test: Classic syllogism quantifier fallacy:
    "Premise: Some Florgs are Gleeps. All Gleeps are Snarks. Question: Does it strictly and logically follow that ALL Florgs are Snarks?" (Correct: False).

  • Jev Output: Noul (P(conclusion holds)) = 0.03.

  • Finding: Jev's calibrated training allows it to spot deductive invalidity without needing a chain-of-thought scratchpad, assigning near-zero probability to the fallacious conclusion.

The Production Separation of Concerns

By treating Jev as a rapid, calibrated judgment primitive, we arrive at a clear division of labor in modern software architecture:

Tier Engine Primary Responsibility Example Operations
Tier 1: Deterministic Truth Python / Rust Math, syntax parsing, file I/O, regex, hash checks Character counts, file existence, test suite runs
Tier 2: Fast Judgment Calls TypeSafe Jev Rapid semantic sensing & calibrated classification Ingress safety, task scope violations, flake triage
Tier 3: Generative Reasoning Foundation LLMs Multi-hop synthesis, novel code authoring, long-form prose Generating PRDs, writing feature code, architecture design

What's Ahead in This Series

Because Jev solves the micro-decision bottleneck in agent pipelines, I spent the last week implementing and testing three production-grade architectures built on this exact separation:

  1. 🛡️ Part 2: High-Speed Boundary Classification
    How to evaluate incoming payloads for prompt injections and secret leaks in a single pass using calibrated probabilities (p ≥ 0.85 ⟹ HTTP 403), without stalling ingress traffic.

  2. 🤖 Part 3: Governing the Inner Loop
    How to stop autonomous coding agents from destroying working trees or exceeding task scope by wrapping tool execution in a calibrated, code-driven finite state machine.

  3. 🛠️ Part 4: Real-Time Pipeline Diagnostics
    How to eliminate blind 3x test reruns in CI/CD by using calibrated probabilities to distinguish non-deterministic flakes from genuine code regressions in real time.

In Part 2, we’ll start at the front door: building an in-memory security sentry that classifies threats at machine speed.


Jason Vertrees is the founder of Heavy Chain Engineering, which helps lower middle-market vertical SaaS companies and PE firms turn scattered AI usage into measurable delivery leverage — 85% faster feature velocity, six-to-eight-week projects shipped in days. If you want help building an AI-native engineering organization, book an AI Delivery Assessment or email jason.vertrees@gmail.com.