What it is
An early-alpha Haskell DSL for agents: a packet of labelled questions is written once as an expression, its type is inferred, it renders to Jev request JSON, and answers return under the same labels as records read by field.
How it uses Jev
The DSL encodes typed question packets for TypeSafe's Jev judgment model and decodes the returned answers. Choices are consumed through exhaustive labelled handlers or their carried payload, with policies over mass, margin and confidence. HTTP transport is left to the caller.
Primitives:choicescorenoul
Technique worth stealing
Infer the packet type from the questions so the compile error, phrased in the author's vocabulary, is the feedback loop.
Evidence
Each line is one question put to Jev about the README. ≥ 0.60 reads as yes, ≤ 0.40 as no; in between Jev is not making a call.
- Jev-centricyes0.92
- Shows a System One patternyes0.82
- Handles uncertaintyno0.05
- Measuredno0.04
- Runnableyes0.67
- Worth recommendingno0.30
- Model replicano0.06
- Problem scopescore on a 0–2 scale1.01
- About Jevyes0.98
Signals by Jev jev-1.13.0, card written by DeepSeek V4.1 Flash from the README on 20 Sept 2026.