System One Coding：通过决策来组合代码
带类型的积木、分阶段验证、已测量的比较，以及一项注册制免费试点。
本文由机器翻译。
System One Coding 是 Mithril 的分阶段编码框架：决策模型从带类型的构建块中选择，而框架构造源代码、检查它，并记录结果。试用[注册制免费试点](https://code.mithril.fund/)。
## 已测量的编码方法比较
测量于 2026-10-06T07:33:38.924Z（JST 日期 2026-10-06），在同一台本地 Node/NBB 主机上，经由 OpenRouter。
五轮交替方法顺序；每轮最多四次尝试。
每种方法都必须产生相同的两个 CLJK 函数体，保留标记，并通过两个布尔切换输入，外加长度 0–8 的全部 511 个完成向量。
生成基线在发出源代码之前，输出由受限文法接纳的 JSON 表达式；被拒绝的输出收到相同的通用修复消息。
这是一项小型的受约束函数任务，不是 SWE-bench，也不是一般的仓库编码。
| 方法 | 通过 | 中位秒数 | 中位 API USD | 输入 / 输出 token | 每次运行的调用次数 |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + 修复 | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + 修复 | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| 已知模板 | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
时间从调用方开始，经过响应解析、接纳、源代码发出，直到验证器完成。
System One 包含共享的框架准备、回执和重放检查；其他方法使用较小的接纳/检查适配器。
验证过程不同（两个并行的按函数检查，相对于一个合并的检查器）。
这是对这些实现的已测量比较，不是孤立的模型速度测试。
UI 编写、编译/部署、网络启动、电力、硬件、人工开发和训练均被排除。
API USD 来自实际的提供方用量回执，包括被拒绝的输出和修复调用；token 列是中位数。
未知费用不会被当作零。
模板复用要求开发者已经知道一个解法。
原始[20 次运行记录](https://code.mithril.fund/coding-benchmark.json)和[复现源代码](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench)可供查阅。
这次已测量的比较，模型 API 费用合计使用了 $0.003558784。
对于这项任务，Qwen 的中位数比 Jev 更快、更便宜；Gemini 的中位数也更快、更便宜。
复用已知模板最快，模型 API 费用为零。
System One 当前的价值在于其受控的选择空间、感知依赖的组合、可验证的源代码，以及可重放的证据。
它尚未展示出普遍的速度、成本或准确度优势。
在一项极小任务上的五次成功运行，并不能确立普遍的可靠率。
## 它如何工作
1. 人定义任务、可用原语、类型、依赖关系，以及固定的验收检查。
2. 对于每个阶段和 AST 空洞，框架只呈现兼容的选择。完成切换阶段具有布尔参数、常量和条件。计数阶段可以使用已验证的切换函数、向量过滤和计数。
3. Jev 选择下一块。框架验证该选择并构建 AST；仅有置信度不能接受代码。
4. 框架发出两个 CLJK 源文件，保留无关定义，并运行独立的固定检查。回执记录决策、token、计时、API 费用和验证。验证失败则停止发布。
5. 浏览器围绕已验证的内核组装一个 TodoMVC 起步项目。你可以检查/编辑/导出文件，连接 GitHub，创建仓库，保存一次提交，并明确地把它发布到 GitHub Pages。
试点只生成完成切换和未完成计数。
UI、编辑、批量操作、URL 过滤器、本地持久化和 WebAssembly 集成，是维护中的起步代码。
任意仓库执行、UI/UX 生成、API 生成，以及积木目录的自动扩展，都是未来的工作。
你的简述不会在这个目录之外创造新能力。
手动编辑位于原始证明之外。
## 注册并免费试用
打开 [Mithril](https://mithril.fund/#system-one)，注册/登录，然后打开 [System One Coding](https://code.mithril.fund/)。
免费运行不需要 OpenRouter 密钥或 GitHub 令牌。
现有的 Mithril 浏览器会话即可授权这次试用。
只有在保存或发布到你的仓库时才需要 GitHub 凭据。
试点允许**每个账户每个 UTC 日 3 次被接受的尝试**，以及**整个服务每个 UTC 日 100 次尝试**。
被接受的尝试，包括失败、运行器繁忙或结果未知，都会占用一个名额。
无效或未认证的请求则不会。
重放同一个请求 ID 会返回其已存储的结果，而不再进行另一次模型调用。
服务器使用一个持久的事务性配额权威，而不是浏览器存储。
试点依赖于运营者的本地运行器和公共隧道在线；它不是可用性保证。
独立的提供方密钥运行需要 GitHub 连接，并使用你自己的 OpenRouter 余额。
## 浏览器性能是一项分开的测量
[TodoMVC 比较](https://code.mithril.fund/benchmarks.html) 测量应用交互，并把维护中的起步项目与 Vanilla ES6 比较。
其 Speedometer 3.1 基线排除了 Mithril。
这些结果不测量编码智能体的速度，也不证明 Mithril 的官方 Speedometer 分数。
## Jev 与 CLEF
实际运行的框架通过 OpenRouter 调用 Jev，以作出依赖于状态的选择。
通常这个内核需要八次选择，而不是对整个程序作一次决策。
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) 描述了一种与 Jev/System One 兼容的决策模型方法。
CLEF 是一种可能的本地/训练后端；已部署的试点并不使用本地训练的 CLEF 模型。
更早的本地尝试没有达标，也不声称有训练增益。
## 扩展该框架
对于 UI/UX、逻辑和 API 阶段，定义分开的带类型目录和验证器。
例如，布局阶段可以选择一个维护中的组件；API 阶段必须选择经过评审的契约、认证和输入验证块。
只有当一个阶段的依赖和检查输入可用时，才接纳该阶段。
把模型决策保持为提案；框架拥有类型、可接纳路径、执行限制和发布门禁。
用留出任务扩展目录，并在声称更广的能力之前，跟踪全部失败、修复次数、墙钟时间和实际费用。
实现和测量记录是公开的。[文档](https://mithril.fund/docs/system-one-coding)。
## 编辑器更新录制
[原速编辑器录制](https://code.mithril.fund/editor-update.mp4) 展示两个未实现的函数变为已验证的源代码。
这是带有实际 Jev 和标明的测试认证夹具的本地预览，与生产环境已注册用户的资格认定分开。
记录于 2026-10-06T07:55:00.252Z：点击到源代码 2.631 秒；框架回执 2.107 秒；8842 / 406 token；API $0.000371364。
[测量回执](https://code.mithril.fund/editor-update.json)。