System One Coding: menyusun kode melalui keputusan
Blok bertipe, verifikasi bertahap, perbandingan yang diukur, dan pilot gratis terdaftar.
Artikel ini diterjemahkan oleh mesin.
System One Coding adalah harness pengodean bertahap Mithril: model keputusan memilih dari blok bangunan bertipe, sementara harness membangun sumber, memeriksanya, dan mencatat hasilnya. Coba [pilot gratis terdaftar](https://code.mithril.fund/).
## Perbandingan metode pengodean yang diukur
Diukur 2026-10-06T07:33:38.924Z (tanggal JST 2026-10-06), pada host Node/NBB lokal yang sama melalui OpenRouter.
Lima putaran berganti urutan metode; hingga empat percobaan masing-masing.
Setiap metode harus menghasilkan dua badan fungsi CLJK yang sama, mempertahankan penanda, dan lulus kedua masukan toggle boolean plus seluruh 511 vektor penyelesaian dengan panjang 0–8.
Garis dasar generasi mengeluarkan ekspresi JSON yang diterima oleh tata bahasa terbatas sebelum emisi sumber; keluaran yang ditolak menerima pesan perbaikan generik yang sama.
Ini adalah tugas fungsi kecil yang terkendala, bukan SWE-bench atau pengodean repositori umum.
| Metode | Lulus | Detik median | USD API median | Token masukan / keluaran | Panggilan per jalankan |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + perbaikan | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + perbaikan | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Templat yang diketahui | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
Waktu berjalan dari awal pemanggil hingga penguraian respons, penerimaan, emisi sumber, dan selesainya verifikator.
System One mencakup penyiapan harness bersama, tanda terima, dan pemeriksaan pemutaran ulang; metode lain memakai adaptor penerimaan/pemeriksaan yang lebih kecil.
Proses verifikasi berbeda (dua pemeriksaan per fungsi secara paralel versus satu pemeriksa gabungan).
Ini adalah perbandingan terukur dari implementasi-implementasi ini, bukan uji kecepatan model yang terisolasi.
Penulisan UI, kompilasi/deploy, penyalaan jaringan, listrik, perangkat keras, pengembangan manusia, dan pelatihan dikecualikan.
USD API berasal dari tanda terima penggunaan penyedia yang aktual, termasuk keluaran yang ditolak dan panggilan perbaikan; kolom token adalah median.
Tidak ada biaya yang tidak diketahui yang diperlakukan sebagai nol.
Penggunaan ulang templat mensyaratkan solusi yang sudah diketahui oleh pengembang.
[Catatan 20 jalankan](https://code.mithril.fund/coding-benchmark.json) mentah dan [sumber reproduksi](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench) tersedia.
Perbandingan yang diukur memakai $0.003558784 untuk biaya API model secara total.
Untuk tugas ini median Qwen lebih cepat dan lebih murah daripada Jev; median Gemini juga lebih cepat dan lebih murah.
Menggunakan ulang templat yang diketahui adalah yang tercepat dengan biaya API model nol.
Nilai System One saat ini adalah ruang pilihan yang terkendali, komposisi yang sadar dependensi, sumber yang dapat diverifikasi, dan bukti yang dapat diputar ulang.
Hal itu belum menunjukkan keunggulan umum dalam kecepatan, biaya, atau akurasi.
Lima jalankan yang berhasil pada satu tugas sangat kecil tidak menetapkan tingkat keandalan umum.
## Cara kerjanya
1. Manusia menetapkan tugas, primitif yang tersedia, tipe, dependensi, dan pemeriksaan penerimaan yang tetap.
2. Untuk setiap tahap dan lubang AST, harness hanya menyajikan pilihan yang kompatibel. Tahap toggle penyelesaian memiliki argumen boolean, konstanta, dan kondisional. Tahap hitung dapat memakai fungsi toggle yang terverifikasi, penyaringan vektor, dan penghitungan.
3. Jev memilih blok berikutnya. Harness memvalidasi pilihan dan membangun AST; keyakinan saja tidak dapat menerima kode.
4. Harness mengeluarkan dua berkas sumber CLJK, mempertahankan definisi yang tidak terkait, dan menjalankan pemeriksaan tetap yang independen. Tanda terima mencatat keputusan, token, waktu, biaya API, dan verifikasi. Verifikasi yang gagal menghentikan publikasi.
5. Peramban merakit starter TodoMVC di sekitar kernel yang terverifikasi. Anda dapat memeriksa/menyunting/mengekspor berkas, menghubungkan GitHub, membuat repositori, menyimpan commit, dan secara eksplisit menerbitkannya ke GitHub Pages.
Pilot hanya menghasilkan toggle penyelesaian dan hitungan yang belum selesai.
UI, penyuntingan, operasi massal, filter URL, persistensi lokal, dan integrasi WebAssembly adalah kode starter yang dipelihara.
Eksekusi repositori sewenang-wenang, generasi UI/UX, generasi API, dan perluasan otomatis katalog blok adalah pekerjaan mendatang.
Ringkasan Anda tidak menciptakan kemampuan baru di luar katalog ini.
Suntingan manual berada di luar bukti asli.
## Daftar dan coba gratis
Buka [Mithril](https://mithril.fund/#system-one), daftar/masuk, lalu buka [System One Coding](https://code.mithril.fund/).
Kunci OpenRouter atau token GitHub tidak diperlukan untuk jalankan gratis.
Sesi peramban Mithril yang ada mengotorisasi uji coba.
Kredensial GitHub hanya diperlukan untuk menyimpan atau menerbitkan ke repositori Anda.
Pilot mengizinkan **3 percobaan yang diterima per akun per hari UTC**, dengan **100 percobaan per hari UTC di seluruh layanan**.
Percobaan yang diterima, termasuk kegagalan, runner yang sibuk, atau hasil yang tidak diketahui, memakai satu slot.
Permintaan yang tidak valid atau tidak terautentikasi tidak.
Memutar ulang ID permintaan yang sama mengembalikan hasil tersimpannya tanpa panggilan model lain.
Server memakai satu otoritas kuota transaksional yang persisten, bukan penyimpanan peramban.
Pilot bergantung pada runner lokal operator dan terowongan publik yang sedang daring; ini bukan jaminan ketersediaan.
Jalankan dengan kunci penyedia independen memerlukan koneksi GitHub dan memakai saldo OpenRouter Anda sendiri.
## Kinerja peramban adalah pengukuran yang terpisah
[Perbandingan TodoMVC](https://code.mithril.fund/benchmarks.html) mengukur interaksi aplikasi dan membandingkan starter yang dipelihara dengan Vanilla ES6.
Garis dasar Speedometer 3.1-nya mengecualikan Mithril.
Hasil ini tidak mengukur kecepatan agen pengodean atau membuktikan skor Speedometer resmi untuk Mithril.
## Jev dan CLEF
Harness yang aktif memanggil Jev melalui OpenRouter untuk pilihan yang bergantung pada keadaan.
Biasanya kernel ini mengambil delapan pilihan, bukan satu keputusan untuk seluruh program.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) menjelaskan pendekatan model keputusan yang kompatibel dengan Jev/System One.
CLEF adalah backend lokal/pelatihan yang mungkin; pilot yang diterapkan tidak memakai model CLEF yang dilatih secara lokal.
Percobaan lokal sebelumnya tidak memenuhi syarat, dan tidak ada klaim peningkatan pelatihan.
## Memperluas harness
Untuk tahap UI/UX, logika, dan API, tetapkan katalog bertipe dan verifikator yang terpisah.
Misalnya tahap tata letak dapat memilih komponen yang dipelihara; tahap API harus memilih kontrak yang telah ditinjau, autentikasi, dan blok validasi masukan.
Terima suatu tahap hanya ketika dependensi dan masukan pemeriksaannya tersedia.
Pertahankan keputusan model sebagai usulan; harness memiliki tipe, jalur yang dapat diterima, batas eksekusi, dan gerbang publikasi.
Perluas katalog dengan tugas yang ditahan dan lacak semua kegagalan, jumlah perbaikan, waktu dinding, dan biaya aktual sebelum mengklaim kemampuan yang lebih luas.
Catatan implementasi dan pengukuran bersifat publik. [Dokumentasi](https://mithril.fund/docs/system-one-coding).
## Rekaman pembaruan editor
[Rekaman editor kecepatan asli](https://code.mithril.fund/editor-update.mp4) menunjukkan dua fungsi yang belum diimplementasikan berubah menjadi sumber yang terverifikasi.
Ini adalah pratinjau lokal dengan Jev yang sebenarnya dan fixture autentikasi uji yang berlabel, terpisah dari kualifikasi pengguna terdaftar produksi.
Direkam 2026-10-06T07:55:00.252Z: klik-ke-sumber 2.631 detik; tanda terima harness 2.107 detik; 8842 / 406 token; API $0.000371364.
[Tanda terima pengukuran](https://code.mithril.fund/editor-update.json).