System One Coding: 判定で部品を組み立てるコーディング
型付き部品・段階別検証・実測比較を公開。登録して1日3回の無料体験ができます。
System One Codingは、型付きの部品を段階ごとにJevが選び、harnessがソースの組み立て・検証・記録を行うMithrilのコーディング方式です。
[登録して無料で試す](https://code.mithril.fund/)。
## コーディング方式の実測比較
測定日時: 2026-10-06T07:33:38.924Z（2026-10-06 JST）。
同じローカルNode/NBBホストからOpenRouterを利用し、順番を変えて各5回、最大4試行で比較しました。
課題は同じ2関数、完了切替の両入力、長さ0〜8の511状態、無関係なmarker定義の保持です。
生成モデルはJSONで式を返し、限定した文法で検査してからCLJKを出力します。
不合格では共通の一般的な修正指示を返します。
小さな制約付き関数の比較で、SWE-benchや汎用repo開発の評価ではありません。
| Method | Passed | Median seconds | Median API USD | Input / output tokens | Calls per run |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + repair | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + repair | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Known template | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
時間は呼出開始から応答解析・式の受入検査・ソース出力・検証終了までです。
System Oneには共有harnessの準備・receipt・再現検査も含みます。
他方式は小さな受入・検証adapterで、検証プロセスも異なります（関数別2並列と1つの統合検証）。
実装方式の実測であり、モデル単体の速度比較ではありません。
UI制作、build・deploy、電力、機材、人の開発費、trainingは含みません。
API料金は不合格と修正呼出も含む実際のusage記録です。
tokensは中央値、未取得の料金は0として扱いません。
既知テンプレートは正解を人が用意している前提です。
[全20回の生記録](https://code.mithril.fund/coding-benchmark.json)と[再現用ソース](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench)を公開しています。
今回の比較全体のモデルAPI料金は $0.003558784 です。
この課題ではQwen・Geminiの中央値がJevより速く安く、既知テンプレートが最速・モデルAPI料金0でした。
System Oneの現時点の価値は、選択範囲の制御、依存に沿った組み立て、検証可能なソース、判定記録の再現です。
一般的な速度・費用・精度の優位は実証していません。
1課題×5回の成功から汎用的な信頼性を断定しません。
## 仕組み
1. 人が課題、部品、型、依存関係、固定の合格条件を定義します。
2. 各段階・ASTの空欄に合う選択肢を提示します。完了切替には真偽値・定数・条件分岐、残件数には検証済みの切替関数・ベクトルの絞り込み・件数計算を使います。
3. Jevが次の部品を選び、harnessが型と選択肢を検査してASTを構築します。信頼度だけでコードを合格にしません。
4. 2つのCLJKファイルを出力し、無関係な定義を保持したまま固定検証を実行します。判定・tokens・時間・API料金・検証結果を記録し、不合格では公開を止めます。
5. ブラウザーで検証済みのロジックをTodoMVCスターターに組み込みます。ソース確認・編集・書き出し、GitHubのrepo作成・保存・Pages公開まで進められます。
現在Jevが組み立てるのは完了切替と未完了件数です。
UI、編集、一括操作、URLフィルター、保存、WebAssembly連携は保守済みのスターターです。
任意repoの実行、UI/UX・APIの生成、部品の自動追加は未対応です。
自由入力の要望が部品の範囲を広げるわけではありません。
手編集後は元の検証の対象外です。
## 登録して無料で試す
[Mithril](https://mithril.fund/#system-one)で登録・ログインしてから、[System One Coding](https://code.mithril.fund/)を開きます。
無料実行にOpenRouterキーやGitHubトークンは不要です。
Mithrilの登録済みセッションを確認します。
GitHubへの保存・公開時にはGitHub接続を使います。
**UTC 1日3回／アカウント、サービス全体1日100回**の試験提供です。
受け付けた試行は失敗・混雑・応答不明も枠を消費します。
不正入力・未認証では消費しません。
同じ実行IDの再送は記録済みの結果を返し、モデルを二重実行しません。
永続的なサーバー側の単一トランザクションで枠を管理します。
運営者のローカル実行ホスト・公開トンネルが稼働している時間に利用できます。
稼働保証のあるサービスではありません。
独自OpenRouterキーを使う実行にはGitHub接続が必要で、料金はご自身のOpenRouter残高から支払われます。
## アプリの操作速度との区別
[TodoMVC比較](https://code.mithril.fund/benchmarks.html)はスターターの操作性能とVanilla ES6の比較です。
Speedometer 3.1の基準測定にはMithrilを含めていません。
コーディング速度やMithrilの公式Speedometerスコアとは別です。
## JevとCLEF
公開harnessはOpenRouterのJevを使い、状態に合わせて逐次選びます。
この課題では通常8判定で、プログラム全体を1判定で作る方式ではありません。
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef)はJev/System Oneに互換のある判定モデルの設計を説明しています。
将来のローカル実行・学習の候補ですが、公開版は学習済みローカルCLEFで動いていません。
過去のローカル試行は合格確認できず、学習の効果は実証していません。
## 段階を増やす設計
UI/UX、ロジック、APIで型付きの部品カタログと検証を分けます。
レイアウトは保守済みコンポーネント、APIはレビュー済み契約・認証・入力検証部品などを選びます。
依存と検証入力が揃った段階だけを実行します。
型、編集範囲、実行上限、公開の合否はharnessが管理します。
未知の課題でカタログを検証し、失敗・修正回数・時間・実料金を記録してから対応範囲を広げます。
実装と測定記録を公開しています。[Docs](https://mithril.fund/docs/system-one-coding?lang=ja)。
## エディター更新の動画
[実時間のエディター動画](https://code.mithril.fund/editor-update.mp4)では、未実装の2関数が検証済みソースへ更新されます。
ローカル画面・実際のJev・テスト認証での撮影です。
本番の登録者ログイン検証とは別です。
2026-10-06T07:55:00.252Z の撮影で、クリックからソース反映まで 2.631 秒、harness記録は 2.107 秒、8842 / 406 tokens、API $0.000371364 でした。
動画は速度を変更していません。
[測定記録](https://code.mithril.fund/editor-update.json)。