理解当前状态
模型解读自然语言或结构化文本，例如工单、Agent 轨迹、商品记录或游戏状态。
Jev AI Dev · 开发者指南
System One AI 模型是什么？ 面向开发者的 Jev 指南。
System One 是 TypeSafe 提出的一类 AI 模型，帮助开发者把非结构化应用状态转成类型化答案与概率。Jev 是首个实现：一个可以嵌入应用代码的有限决策组件。
- 输入
- 文本、JSON 或文本数组
- 输出
- Choice、Score 或 Noul
- 流程控制
- 由你的代码掌握
这是一份独立的开发者指南。产品细节和性能说法均注明来自 TypeSafe；在生产环境使用前，请务必用自己的数据验证。
System One
state → decisionsstate
“我的账户被扣了两次款，希望今天处理。”
choice账单团队0.96
noul紧急0.88
score不满程度1.7 / 2
if (confidence < threshold) → review模型类别
System One 模型：嵌入应用代码的语义判断组件。
System One 模型会理解输入的含义，但不会继续聊天或组织一段回复。你需要先声明问题和允许返回的答案形式，模型再给出程序可以检查和处理的有限判断。
遵守答案契约
应用在调用前定义答案范围；模型负责选择选项、在量表上评分，或判断一个是非命题。
显式表达不确定性
每个答案都有概率信号；Choice 和 Score 还会用置信度概括概率分布，让代码区分明确与模糊结果。
和代码组合
阈值、规则检查、实际操作、重试、回退与人工复核，仍由普通代码负责。
Jev 工作流
开发者如何把 Jev 接入应用代码。
Jev 把一次模型调用变成一组决策信号。对开发者来说，这里的基本单位不是一轮对话，而是模型与应用之间一份小型、类型化的契约。
1. 组织状态
传入完成判断所需的信息。Jev 目前只接受文本形式的输入，包括字符串、JSON 对象和文本数组。
客户消息 + 账户信息2. 定义问题
为每个问题命名，选择对应的 primitive，并描述允许的选项或量表。多个彼此独立的问题可以放进一次请求。
负责部门 · 紧急度 · 情绪3. Jev 同时判断
Jev 为每个问题返回类型化答案和概率信号；Choice 与 Score 还会单独返回置信度。
账单团队 · 0.93 · 高置信度4. 代码执行策略
把模型输出与确定性检查结合。低风险且明确时执行；不确定或影响较大的情况交给人工或推理模型。
分流 · 追问 · 复核 · 停止三种答案形式
Choice
billing哪个团队应该处理？
从预先定义的一组选项中选择一个，并返回每个选项的概率。
Score
1.43 / 2这个问题有多严重？
按一组有顺序、有描述的等级定位；结果可以落在两个等级之间。
Noul
0.95这条消息是否要求退款？
判断一个是非命题，并返回模型认为“是”的概率。
理念来源
TypeSafe 为什么为软件设计新的模型接口。
生成式模型擅长为人生成灵活的文本。TypeSafe 的观点是：软件需要另一种更窄的智能形式——能嵌入代码、反复运行、表达不确定性，并让控制流程保持可见。
字符串灵活，但结果开放
生成结果可能是文章、代码、JSON、拒答，也可能格式错误。应用在采取行动前，往往还要解析、校验和处理异常。
自动化需要边界
当模型在后台运行时，程序需要提前知道可能出现哪些结果，以及每种结果可以触发什么操作。
不确定性应该改变流程
概率分布让工作流自动处理明确情况，同时把模糊情况送到更安全的路径。
小判断应当可以组合
复杂工作流可以拆成多个聚焦的语义判断，再用确定性逻辑组合，而不是把全部业务逻辑藏在一个大提示词里。
适用位置
System One AI 适合哪些开发工作流。
比较合适的任务通常出现频繁，需要理解杂乱输入，并最终落到少量、应用本来就知道如何执行的动作。
客户支持运营
给工单分类，识别意图和紧急度，评估客户情绪，并把不确定的情况交给人工复核。
这是账单、技术、账户问题，还是其他？
Agent 流程控制
选择模型或工具，判断是否需要检索、结果是否完整，或检查 Agent 准备执行的工具调用。
Agent 应该继续、重试还是升级处理？
排序与相关性
评估候选项与查询、用户偏好、政策或上下文的匹配程度，再与业务规则组合。
这个候选项与当前请求有多相关？
安全与验证
按明确标准检查消息、生成结果、推理轨迹或代码变更；高风险结果仍由确定性规则把关。
它是否违反这条明确规则？
实时交互
为游戏、模拟、响应式界面或设备自动化选择合法动作，避免为了一个判断生成冗长文本。
当前状态下，哪个允许动作最合适？
数据处理
把大量记录转成类别、分数、标记与特征，供下游系统汇总、筛选或复核。
这条记录属于什么类别和风险等级？
比较适合
选项已经明确，输入含义复杂，判断会重复发生，对延迟敏感，而且代码能为每种结果安排清楚的动作或回退。
不太适合
任务需要原创文本或代码、深度多步推理、广泛研究、解释过程、多模态输入，或者可能结果根本无法提前定义。
System One 与生成式 LLM
System One 与生成式 LLM 在 AI 技术栈中扮演不同角色。
两者都可以理解语言，LLM 也可以通过结构化输出约束格式。更深层的区别在于：模型原生要产出什么，以及周围的软件如何使用它。
| 对比维度 | Jev / System One | 常见生成式 LLM |
|---|---|---|
| 主要任务 | 判断预先定义的结果 | 生成后续内容或回复 |
| 原生输出 | 类型化选项、评分或“是”的概率 | token 序列：文章、代码、JSON 或其他文本 |
| 答案范围 | 调用前已经声明 | 本质上开放；即使用 schema 约束最终格式也一样 |
| 不确定性 | 每个答案都有概率；Choice 和 Score 还返回置信度 | 可能提供 token 概率或自报置信度，但通常不是针对任务校准的决策信号 |
| 采样方式 | TypeSafe 称问题与输出会并行计算 | 通常逐 token 顺序生成 |
| 擅长任务 | 高频语义分支、评分、路由与检查 | 写作、对话、编程、综合信息与开放式推理 |
| 主要失败方式 | 格式完全正确，但语义判断错误 | 生成内容错误、格式异常、缺乏依据或偏离任务 |
| 系统角色 | 可见代码中的有限决策组件 | 灵活的生成器或推理器，通常需要更大的编排框架 |
对于评估 Jev 之外 System One 方案的开发者，下面直接复用 Projects 页中的同一套社区生态模块，并区分独立训练的模型与基于现有权重实现的 Jev 类接口。
System One
受 Jev 启发的 System One 社区项目
这些社区模型和接口实验受到 Jev 启发，或探索相近的结构化决策方式。它们不是 TypeSafe 官方发布的 Jev 版本，也不参与上方的 GitHub 项目排名。
社区模型
Qwen3.5-9B + diffusion drafterJeeves
9B Jev 风格决策模型，可选择先推理再决策，并公开模型权重、训练代码、数据及兼容的本地 API。
社区模型
Qwen3.5-4BOpenJev-4B
4B 开放词表概率决策模型，公开模型权重、两阶段训练代码、本地推理和 HTTP 服务。
社区模型
Qwen3.5-9BBespoke Nimble
受 Jev 启发的 LoRA 适配器和训练方法，处理选项题及是非题；支持本地运行，目前只接受文本。
社区模型
Qwen3-0.6BNanoJev
小型决策模型，公开了训练代码，并提供游戏演示来测试动作选择。
社区模型
Qwen3.5-2Bdecider
微调模型，一次计算即可返回多个结构化问题的概率分布；当前版本只支持英语。
社区模型
ModernBERT 151M / Verdict 2.0Verdict
基于小型编码器的决策模型，公开了权重，并提供浏览器内的 WebGPU 演示。
社区模型
Qwen3.5-0.8BDohnuts
公开权重、训练代码与评测的 0.8B 多模态决策模型；可在单次计算中处理文本和图片，权重仅限非商业研究。
接口实验
DiffusionGemma 26B-A4BOpenJev
基于现有的 DiffusionGemma 模型，提供类似 Jev 的结构化问答接口；没有发布新的模型权重。
接口实验
Open-model logitsSimple Jev
用现有开源模型给候选答案打分，提供类似 Jev 的接口；没有发布新的模型权重。
接口实验
Spark-X2.5-4BRizzo Flow
本地运行的 Jev 兼容服务，通过 Spark-X2.5 的答案概率完成决策；多个问题共享一次状态预填充，并附带演示界面与基准测试。
接口实验
Any causal LLMAnyJev
无需训练即可把因果语言模型接成结构化决策模型，提供选项顺序去偏、可选校准和可复现评测。
接口实验
Qwen3.5 / DeBERTalocal-jev
可离线运行的 Jev 兼容服务，支持 Qwen 和 DeBERTa，并已用官方 SDK 验证接口及发布 JevBench 结果。
社区模型
Qwen3-0.6BAgentJev
面向智能体轨迹等结构化问题的 Qwen3-0.6B 决策模型，公开权重和类型化 HTTP API，无需逐词生成。
接口实验
Causal LMs / SGLangLLM2Jev
通过仅预填充的评分，把本地因果语言模型接成兼容 Jev 的 Choice、Score 和 Noul 服务；支持 SGLang、Transformers 与多模态输入。
接口实验
Laya / ONNX RuntimeLaya
通过 ONNX Runtime 在 Node.js 中运行开源 Laya System One 模型，采用兼容 Jev 的请求格式，并公开模型权重。
社区模型
Qwen3.5-0.8BOpenThai System One
面向泰语和英语的 Qwen3.5-0.8B 决策模型，公开权重、训练代码和兼容 Jev 的 HTTP API。
社区模型
Qwen3.5-0.8B / 2BValen
受 Jev 启发的多模态决策模型，支持文本、图片和视频，并公开模型权重、训练代码和评测命令。
社区模型
Qwen3.5-4BTev1
基于 Qwen3.5 微调的开源 4B 决策模型，提供模型权重、可复现训练方法和数据来源说明。
接口实验
Open decision modelsOllaya
一个本地 Rust 服务，可下载并运行多种开源决策模型，同时提供原生接口和兼容 TypeSafe 的 API。
社区模型
Qwen3.5-0.8B / 2B / 4BIntern-Decision
Qwen3.5 多模态决策模型系列，提供 0.8B、2B 和 4B 权重，并公开训练、推理和校准评测代码以及兼容 Jev 的 API。
社区模型
Qwen3.5-4BMica
面向英语和韩语的 4B 决策模型，公开权重及多种量化版本，提供校准概率和兼容 TypeSafe 的本地服务。
社区模型
Qwen3.5-0.8B / 2BJev-Style
可本地运行的 0.8B 和 2B 决策模型系列，公开权重，支持长上下文，并提供兼容 API、智能体 Skill、MCP 工具和评测命令。
社区模型
Qwen3.5-2B / 9B · Qwen3.8-27BOpen-Jev
Jev 的独立开源复现，发布了 2B、9B 和 27B 权重、训练代码、兼容的本地服务与可复现评测。
社区模型
Qwen3.5-VL 2B / 4B / 9Bimajev
面向文本和图片的开源 2B、4B 与 9B 多模态决策模型系列，提供校准概率、拒答机制、公开权重和兼容的本地 API。
社区模型
0.6B / 0.8B / 4B decision modelsOpenDecider
面向 Choice、Score 和 Noul 决策的小型开源模型，公开权重，可在 CPU、NVIDIA GPU 和 Apple 芯片上本地推理。
社区模型
Qwen3.5-0.8B / 4Bjiwo
开放的 0.8B 和 4B Qwen3.5 判断模型，提供权重、训练代码、Jev 兼容本地 API 和可复现的 Decision Index 结果。
社区模型
Qwen3.5-0.8B / 4BSearchJev
面向搜索代理决策训练的开放 0.8B 和 4B Qwen3.5 模型，公开数据、权重、训练日志和校准代码。
接口实验
Cloudflare Clef 27B / 9Bcleffa
在 Apple Silicon 上运行 Cloudflare Clef 与 Clef-Flash 的原生 C 和 Metal 推理引擎，通过 Jev 兼容 API 处理文本、图片和视频判断。
社区模型
mmBERT 144.3MPhocinae Largha
面向本地类型化判断的双语 144.3M 编码器模型，提供权重、校准工具、评测和 Jev 兼容服务。
社区模型
Multilingual Laya checkpointsLaya Decision Engine
多语言非自回归决策引擎，公开模型权重、训练与微调代码，支持结构化判断和兼容的本地 API。
社区模型
Qwen3.5-0.8B / 4BVegaML
基于冻结的 Qwen3.5 底座与小型可训练物理模块的本地多模态决策引擎，公开 0.8B 和 4B 权重。
接口实验
Laya / ONNX Runtime Javalaya-java
Laya 模型的纯 Java 运行时，提供 Spring Boot、Gradle 集成以及兼容 Jev 和 OpenAI 的决策接口。
社区模型
Qwen3.5-4B / Qwen3.8-27Btrain-jev
面向 Qwen3.5 与 Qwen3.8 的 Jev 风格决策模型蒸馏和训练框架，包含校准、评测及兼容的服务代码。
社区模型
LLM-jp 4.1 8B / encoder 310Msaihai
面向日语的类型化决策模型系列，公开 8B 和 310M 权重、训练与评测代码、GGUF 服务以及兼容 System One 的 API。
接口实验
Any llama.cpp GGUFCallosum
为现有 llama.cpp 对话模型增加 System One API 和独立分类通道，可选校准与有限推理，无需额外加载第二个模型。
社区模型
Qwen3-VL-4BOpenVisualJev
基于 Qwen3-VL-4B 的多模态决策模型，支持动态候选评分、与候选顺序无关的选择，并公开校准代码和技术报告；模型权重仍待开放下载。
社区模型
BitNet b1.58 2BBitSOne-s1
基于 2B 三值 BitNet 的决策模型，采用指针头输出类型化概率，公开可复现训练记录和校准结果；已发布权重目前仍为私有访问。
接口实验
Open ONNX decision modelsdecision-toolkit
通过 ONNX 在本地 CPU 运行经过筛选的开放决策模型，并提供统一的类型化 Python 库、命令行、REST 和兼容 System One 的 API。
社区模型
Qwen3-VL-4BFovea
开放的 4B 视觉决策模型，公开权重、训练与校准代码，并通过 TypeSafe System One API 提供服务。
接口实验
Open decision model familiesFlide
本地决策模型运行时，利用精确状态分叉加速推理，并通过统一接口运行多种文本和多模态模型。
社区模型
Multilingual encoder 57M / ONNXSkejja
57M 多语言编码器决策模型，支持 Choice、Noul 和 Score，提供 ONNX 推理、浏览器与树莓派演示，以及兼容 System One 的 API。
社区模型
Qwen3.5-9B LoRA / GGUFOpenChoice-9B
面向 CPU 的 9B 多模态决策模型，以 GGUF 发布，支持 Choice、Score 和 Noul，并提供兼容 TypeSafe 的 API 与 LoRA 微调工具。
这些是社区独立项目，并非 Jev 官方版本。
通过 Jev AI Radar 跟进新的社区模型和接口实验。查看 Jev AI Radar
一手资料
回到原文理解每项主张。
这份 Jev AI Dev 开发者指南用自己的语言解释 TypeSafe 的框架。API 细节、产品主张、评测方法与最新变化，请以官方资料为准。
验证这种形态，而不只是理念
从应用已经在做的一项判断开始。
先定义可能答案，收集有代表性的样本，明确不确定结果如何处理，再把 Jev 与现有规则或模型对比；不要直接自动化高影响决策。