System One Coding: Code durch Entscheidungen zusammensetzen
Typisierte Blöcke, gestufte Verifikation, gemessene Vergleiche und ein registrierter kostenloser Pilot.
Dieser Artikel wurde maschinell übersetzt.
System One Coding ist das gestufte Coding-Harness von Mithril: Ein Entscheidungsmodell wählt aus typisierten Bausteinen, während das Harness die Quelle aufbaut, sie prüft und das Ergebnis aufzeichnet. Probieren Sie den [registrierten kostenlosen Pilot](https://code.mithril.fund/).
## Gemessener Vergleich der Coding-Methode
Gemessen 2026-10-06T07:33:38.924Z (JST-Datum 2026-10-06), auf demselben lokalen Node/NBB-Host über OpenRouter.
Fünf Runden wechseln die Reihenfolge der Methoden; bis zu vier Versuche je Methode.
Jede Methode muss dieselben zwei CLJK-Funktionskörper erzeugen, die Markierung bewahren und beide booleschen Toggle-Eingaben sowie alle 511 Completion-Vektoren der Längen 0–8 bestehen.
Die Generierungs-Baselines geben JSON-Ausdrücke aus, die eine eingeschränkte Grammatik vor der Ausgabe der Quelle zulässt; abgelehnte Ausgaben erhalten dieselbe allgemeine Reparaturmeldung.
Das ist eine kleine, eingeschränkte Funktionsaufgabe, nicht SWE-bench und kein allgemeines Coding in einem Repository.
| Methode | Bestanden | Median Sekunden | Median API USD | Eingabe- / Ausgabe-Tokens | Aufrufe je Lauf |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + Reparatur | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + Reparatur | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Bekannte Vorlage | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
Die Zeit läuft vom Start durch die aufrufende Seite über das Parsen der Antwort, die Zulassung und die Ausgabe der Quelle bis zum Abschluss des Verifiers.
System One umfasst gemeinsames Harness-Setup, Receipts und die Prüfung der Wiedergabe; die anderen Methoden nutzen einen kleineren Adapter für Zulassung und Prüfung.
Die Verifikationsprozesse unterscheiden sich (zwei parallele Prüfungen je Funktion gegenüber einem kombinierten Prüfer).
Das ist ein gemessener Vergleich dieser Implementierungen, kein isolierter Test der Modellgeschwindigkeit.
Erstellung der UI, Kompilieren und Bereitstellen, Start des Netzes, Strom, Hardware, menschliche Entwicklung und Training sind ausgeschlossen.
API USD stammt aus tatsächlichen Nutzungsbelegen des Anbieters, einschließlich abgelehnter Ausgaben und Reparaturaufrufe; die Token-Spalten sind Mediane.
Keine unbekannte Gebühr wird als null behandelt.
Die Wiederverwendung der Vorlage setzt eine Lösung voraus, die der Entwickler bereits kennt.
Rohe [Aufzeichnungen von 20 Läufen](https://code.mithril.fund/coding-benchmark.json) und [Reproduktionsquelle](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench) sind verfügbar.
Der gemessene Vergleich hat insgesamt $0.003558784 an API-Gebühren für Modelle verbraucht.
Für diese Aufgabe ist der Median von Qwen schneller und günstiger als Jev; der Median von Gemini ist ebenfalls schneller und günstiger.
Die Wiederverwendung der bekannten Vorlage ist am schnellsten, bei null API-Gebühren für Modelle.
Der aktuelle Wert von System One liegt im kontrollierten Wahlraum, in der Komposition unter Beachtung der Abhängigkeiten, in verifizierbarer Quelle und in wiederabspielbaren Belegen.
Es hat keinen allgemeinen Vorteil bei Geschwindigkeit, Kosten oder Genauigkeit gezeigt.
Fünf erfolgreiche Läufe bei einer winzigen Aufgabe begründen keine allgemeine Rate der Zuverlässigkeit.
## So funktioniert es
1. Ein Mensch legt die Aufgabe, die verfügbaren Primitive, die Typen, die Abhängigkeiten und die festen Abnahmeprüfungen fest.
2. Für jede Stufe und jedes Loch im AST legt das Harness nur passende Wahlmöglichkeiten vor. Die Stufe des Completion-Toggles hat boolesche Argumente, Konstanten und Bedingungen. Die Zählstufe kann die verifizierte Toggle-Funktion, die Filterung von Vektoren und das Zählen nutzen.
3. Jev wählt den nächsten Block. Das Harness prüft die Wahl und baut den AST; Vertrauen allein kann Code nicht annehmen.
4. Das Harness gibt zwei CLJK-Quelldateien aus, bewahrt Definitionen, die nicht betroffen sind, und führt unabhängige feste Prüfungen aus. Ein Receipt zeichnet Entscheidungen, Tokens, Zeit, API-Gebühren und die Verifikation auf. Eine fehlgeschlagene Verifikation stoppt die Veröffentlichung.
5. Der Browser setzt einen TodoMVC-Starter um den verifizierten Kern. Sie können Dateien prüfen, bearbeiten und exportieren, GitHub verbinden, ein Repository anlegen, einen Commit speichern und ihn ausdrücklich auf GitHub Pages veröffentlichen.
Der Pilot erzeugt nur den Completion-Toggle und die Zählung des Unerledigten.
UI, Bearbeitung, Massenoperationen, URL-Filter, lokale Persistenz und die Integration von WebAssembly sind gepflegter Starter-Code.
Beliebige Ausführung eines Repository, Erzeugung von UI/UX, Erzeugung von APIs und automatische Erweiterung des Blockkatalogs sind künftige Arbeit.
Ihr Auftrag erzeugt keine neuen Fähigkeiten außerhalb dieses Katalogs.
Manuelle Bearbeitungen liegen außerhalb des ursprünglichen Beweises.
## Registrieren und kostenlos ausprobieren
Öffnen Sie [Mithril](https://mithril.fund/#system-one), registrieren Sie sich oder melden Sie sich an, und öffnen Sie dann [System One Coding](https://code.mithril.fund/).
Für einen kostenlosen Lauf sind kein OpenRouter-Schlüssel und kein GitHub-Token nötig.
Die bestehende Browser-Sitzung von Mithril autorisiert den Versuch.
Zugangsdaten für GitHub sind nur nötig, um in Ihrem Repository zu speichern oder zu veröffentlichen.
Der Pilot erlaubt **3 angenommene Versuche pro Konto und UTC-Tag**, mit **100 Versuchen pro UTC-Tag über den Dienst**.
Angenommene Versuche, einschließlich eines Fehlschlags, eines belegten Runners oder eines unbekannten Ergebnisses, verbrauchen einen Platz.
Ungültige oder nicht authentifizierte Anfragen tun das nicht.
Die Wiedergabe derselben Request-ID gibt ihr gespeichertes Ergebnis zurück, ohne einen weiteren Aufruf des Modells.
Der Server nutzt eine dauerhafte transaktionale Instanz für das Kontingent, nicht den Speicher des Browsers.
Der Pilot hängt davon ab, dass der lokale Runner des Betreibers und der öffentliche Tunnel online sind; das ist keine Garantie der Verfügbarkeit.
Unabhängige Läufe mit einem Schlüssel des Anbieters verlangen eine Verbindung zu GitHub und nutzen Ihr eigenes OpenRouter-Guthaben.
## Die Leistung im Browser ist eine getrennte Messung
Der [TodoMVC-Vergleich](https://code.mithril.fund/benchmarks.html) misst die Interaktion der Anwendung und vergleicht den gepflegten Starter mit Vanilla ES6.
Seine Baseline von Speedometer 3.1 schließt Mithril aus.
Diese Ergebnisse messen nicht die Geschwindigkeit eines Coding-Agenten und belegen keinen offiziellen Speedometer-Wert für Mithril.
## Jev und CLEF
Das laufende Harness ruft Jev über OpenRouter für Wahlen auf, die vom Zustand abhängen.
Typischerweise braucht dieser Kern acht Wahlen, nicht eine Entscheidung für ein ganzes Programm.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) beschreibt einen Ansatz mit einem Entscheidungsmodell, der mit Jev/System One verträglich ist.
CLEF ist ein mögliches lokales Backend oder ein Backend für das Training; der ausgelieferte Pilot nutzt kein lokal trainiertes CLEF-Modell.
Frühere lokale Versuche haben nicht qualifiziert, und es wird kein Gewinn durch Training beansprucht.
## Das Harness erweitern
Für Stufen von UI/UX, Logik und API legen Sie getrennte typisierte Kataloge und Verifier fest.
Zum Beispiel kann eine Layout-Stufe eine gepflegte Komponente wählen; eine API-Stufe muss einen geprüften Vertrag, Authentifizierung und einen Block zur Prüfung der Eingabe wählen.
Eine Stufe wird nur zugelassen, wenn ihre Abhängigkeiten und die Eingaben der Prüfung verfügbar sind.
Entscheidungen des Modells bleiben Vorschläge; das Harness besitzt die Typen, die zulässigen Pfade, die Grenzen der Ausführung und die Tore der Veröffentlichung.
Erweitern Sie den Katalog mit zurückgehaltenen Aufgaben und verfolgen Sie alle Fehlschläge, die Zahl der Reparaturen, die Wandzeit und die tatsächlichen Gebühren, bevor Sie eine breitere Fähigkeit beanspruchen.
Die Implementierung und die Aufzeichnungen der Messung sind öffentlich. [Dokumentation](https://mithril.fund/docs/system-one-coding).
## Aufzeichnung der Aktualisierung im Editor
Die [Aufzeichnung des Editors in Originalgeschwindigkeit](https://code.mithril.fund/editor-update.mp4) zeigt, wie zwei nicht implementierte Funktionen zu verifizierter Quelle werden.
Das ist eine lokale Vorschau mit tatsächlichem Jev und einer gekennzeichneten Fixture für die Testauthentifizierung, getrennt von der Qualifikation registrierter Nutzer in der Produktion.
Aufgezeichnet 2026-10-06T07:55:00.252Z: vom Klick bis zur Quelle 2.631 Sekunden; Receipt des Harness 2.107 Sekunden; 8842 / 406 Tokens; API $0.000371364.
[Beleg der Messung](https://code.mithril.fund/editor-update.json).