System One Coding: comporre il codice attraverso decisioni
Blocchi tipizzati, verifica a stadi, confronti misurati e un pilota gratuito con registrazione.
Questo articolo è stato tradotto automaticamente.
System One Coding è il harness di coding a stadi di Mithril: un modello di decisione sceglie tra blocchi di costruzione tipizzati, mentre il harness costruisce il sorgente, lo verifica e registra l'esito. Provate il [pilota gratuito con registrazione](https://code.mithril.fund/).
## Confronto misurato dei metodi di coding
Misurato il 2026-10-06T07:33:38.924Z (data JST 2026-10-06), sullo stesso host locale Node/NBB tramite OpenRouter.
Cinque round alternano l'ordine dei metodi; fino a quattro tentativi ciascuno.
Ogni metodo deve produrre gli stessi due corpi di funzione CLJK, preservare il marcatore e superare entrambi gli input booleani di toggle più tutti i 511 vettori di completamento di lunghezze 0–8.
Le baseline di generazione emettono espressioni JSON ammesse da una grammatica ristretta prima dell'emissione del sorgente; gli output rifiutati ricevono lo stesso messaggio generico di riparazione.
Questo è un piccolo compito di funzione vincolato, non SWE-bench né il coding generale di repository.
| Metodo | Superati | Secondi mediani | USD API mediani | Token di input / output | Chiamate per esecuzione |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + riparazione | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + riparazione | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Template noto | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
Il tempo va dall'inizio del chiamante fino al parsing della risposta, all'ammissione, all'emissione del sorgente e al completamento del verificatore.
System One include la configurazione condivisa del harness, le ricevute e il controllo di replay; gli altri metodi usano un adattatore di ammissione e controllo più piccolo.
I processi di verifica differiscono (due controlli paralleli per funzione rispetto a un verificatore combinato).
Questo è un confronto misurato di queste implementazioni, non un test isolato di velocità del modello.
Sono esclusi l'authoring dell'interfaccia, la compilazione e il deploy, l'avvio di rete, l'elettricità, l'hardware, lo sviluppo umano e l'addestramento.
Gli USD API provengono dalle ricevute effettive di utilizzo del fornitore, compresi gli output rifiutati e le chiamate di riparazione; le colonne dei token sono mediane.
Nessun addebito sconosciuto è trattato come zero.
Il riuso del template richiede una soluzione già nota allo sviluppatore.
Sono disponibili le [registrazioni grezze di 20 esecuzioni](https://code.mithril.fund/coding-benchmark.json) e la [sorgente di riproduzione](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench).
Il confronto misurato ha usato in totale $0.003558784 di addebiti API del modello.
Per questo compito la mediana di Qwen è più veloce e più economica di Jev; anche la mediana di Gemini è più veloce e più economica.
Riutilizzare il template noto è il più veloce, con zero addebiti API del modello.
Il valore attuale di System One è lo spazio di scelta controllato, la composizione consapevole delle dipendenze, il sorgente verificabile e le prove riproducibili.
Non ha dimostrato un vantaggio generale di velocità, costo o accuratezza.
Cinque esecuzioni riuscite su un compito minuscolo non stabiliscono un tasso generale di affidabilità.
## Come funziona
1. Un essere umano definisce il compito, le primitive disponibili, i tipi, le dipendenze e i controlli di accettazione fissi.
2. Per ogni stadio e buco dell'AST, il harness presenta solo scelte compatibili. Lo stadio del toggle di completamento ha argomenti booleani, costanti e condizionali. Lo stadio del conteggio può usare la funzione di toggle verificata, il filtraggio dei vettori e il conteggio.
3. Jev sceglie il blocco successivo. Il harness convalida la scelta e costruisce l'AST; la sola confidenza non può accettare il codice.
4. Il harness emette due file sorgente CLJK, preserva le definizioni non correlate ed esegue controlli fissi indipendenti. Una ricevuta registra decisioni, token, tempi, addebiti API e verifica. Una verifica fallita ferma la pubblicazione.
5. Il browser assembla uno starter TodoMVC attorno al kernel verificato. Potete ispezionare, modificare ed esportare i file, collegare GitHub, creare un repository, salvare un commit e pubblicarlo esplicitamente su GitHub Pages.
Il pilota genera solo il toggle di completamento e il conteggio dei non completati.
Interfaccia, modifica, operazioni in blocco, filtri URL, persistenza locale e integrazione WebAssembly sono codice starter mantenuto.
L'esecuzione arbitraria di repository, la generazione di UI/UX, la generazione di API e l'espansione automatica del catalogo di blocchi sono lavoro futuro.
Il vostro incarico non crea nuove capacità fuori da questo catalogo.
Le modifiche manuali sono fuori dalla prova originale.
## Registrarsi e provare gratis
Aprite [Mithril](https://mithril.fund/#system-one), registratevi o accedete, poi aprite [System One Coding](https://code.mithril.fund/).
Per un'esecuzione gratuita non servono una chiave OpenRouter né un token GitHub.
La sessione browser Mithril esistente autorizza la prova.
Le credenziali GitHub servono solo per salvare o pubblicare nel vostro repository.
Il pilota consente **3 tentativi accettati per account per giorno UTC**, con **100 tentativi per giorno UTC sull'intero servizio**.
I tentativi accettati, compresi un fallimento, un esecutore occupato o un esito sconosciuto, consumano uno slot.
Le richieste non valide o non autenticate no.
Riprodurre lo stesso ID di richiesta restituisce il risultato memorizzato senza un'altra chiamata al modello.
Il server usa un'unica autorità di quota transazionale persistente, non l'archiviazione del browser.
Il pilota dipende dal fatto che l'esecutore locale dell'operatore e il tunnel pubblico siano online; non è una garanzia di disponibilità.
Le esecuzioni con una chiave del fornitore indipendente richiedono una connessione GitHub e usano il vostro saldo OpenRouter.
## Le prestazioni nel browser sono una misurazione separata
Il [confronto TodoMVC](https://code.mithril.fund/benchmarks.html) misura l'interazione dell'applicazione e confronta lo starter mantenuto con Vanilla ES6.
La sua baseline Speedometer 3.1 esclude Mithril.
Questi risultati non misurano la velocità di un agente di coding né provano un punteggio Speedometer ufficiale per Mithril.
## Jev e CLEF
Il harness attivo chiama Jev tramite OpenRouter per scelte dipendenti dallo stato.
Di solito questo kernel richiede otto scelte, non una decisione per un intero programma.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) descrive un approccio a modello di decisione compatibile con Jev/System One.
CLEF è un possibile backend locale o di addestramento; il pilota distribuito non usa un modello CLEF addestrato in locale.
Tentativi locali precedenti non si sono qualificati, e non si rivendica alcun guadagno di addestramento.
## Estendere il harness
Per gli stadi di UI/UX, logica e API, definite cataloghi tipizzati e verificatori separati.
Per esempio uno stadio di layout può scegliere un componente mantenuto; uno stadio API deve selezionare un contratto revisionato, l'autenticazione e un blocco di validazione dell'input.
Ammettete uno stadio solo quando le sue dipendenze e gli input di controllo sono disponibili.
Tenete le decisioni del modello come proposte; il harness possiede i tipi, i percorsi ammissibili, i limiti di esecuzione e i gate di pubblicazione.
Ampliate il catalogo con compiti tenuti fuori e tracciate tutti i fallimenti, i conteggi di riparazione, il tempo di parete e gli addebiti effettivi prima di rivendicare una capacità più ampia.
L'implementazione e le registrazioni di misurazione sono pubbliche. [Documentazione](https://mithril.fund/docs/system-one-coding).
## Registrazione dell'aggiornamento dell'editor
La [registrazione dell'editor a velocità originale](https://code.mithril.fund/editor-update.mp4) mostra due funzioni non implementate che diventano sorgente verificato.
Questa è un'anteprima locale con Jev reale e una fixture di autenticazione di test etichettata, separata dalla qualificazione degli utenti registrati in produzione.
Registrato il 2026-10-06T07:55:00.252Z: dal clic al sorgente 2.631 secondi; ricevuta del harness 2.107 secondi; 8842 / 406 token; API $0.000371364.
[Ricevuta di misurazione](https://code.mithril.fund/editor-update.json).