System One Coding : composer du code par des décisions
Blocs typés, vérification par étapes, comparaisons mesurées et un pilote gratuit enregistré.
Cet article a été traduit par une machine.
System One Coding est le harnais de codage par étapes de Mithril : un modèle de décision choisit parmi des blocs de construction typés, tandis que le harnais construit le source, le vérifie et enregistre le résultat. Essayez le [pilote gratuit enregistré](https://code.mithril.fund/).
## Comparaison mesurée de méthodes de codage
Mesuré le 2026-10-06T07:33:38.924Z (date JST 2026-10-06), sur le même hôte local Node/NBB via OpenRouter.
Cinq tours alternent l'ordre des méthodes ; jusqu'à quatre tentatives chacune.
Chaque méthode doit produire les mêmes deux corps de fonctions CLJK, préserver le marqueur et réussir les deux entrées booléennes de bascule plus les 511 vecteurs de complétion de longueurs 0–8.
Les bases de génération produisent des expressions JSON admises par une grammaire restreinte avant l'émission du source ; les sorties rejetées reçoivent le même message générique de réparation.
C'est une petite tâche de fonction contrainte, pas SWE-bench ni du codage général de dépôt.
| Méthode | Réussi | Secondes médianes | USD d'API médian | Jetons entrée / sortie | Appels par exécution |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + réparation | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + réparation | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Modèle connu | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
Le temps court du démarrage de l'appelant jusqu'à l'analyse de la réponse, l'admission, l'émission du source et la fin du vérificateur.
System One comprend la mise en place partagée du harnais, les reçus et la vérification de rejeu ; les autres méthodes utilisent un adaptateur d'admission et de vérification plus petit.
Les processus de vérification diffèrent (deux contrôles parallèles par fonction contre un vérificateur combiné).
C'est une comparaison mesurée de ces implémentations, pas un test isolé de vitesse de modèle.
La rédaction d'interface, la compilation et le déploiement, le démarrage réseau, l'électricité, le matériel, le développement humain et l'entraînement sont exclus.
Les USD d'API viennent des reçus réels d'usage du fournisseur, y compris les sorties rejetées et les appels de réparation ; les colonnes de jetons sont des médianes.
Aucun frais inconnu n'est traité comme zéro.
La réutilisation d'un modèle exige une solution déjà connue du développeur.
Les [enregistrements bruts de 20 exécutions](https://code.mithril.fund/coding-benchmark.json) et la [source de reproduction](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench) sont disponibles.
La comparaison mesurée a utilisé $0.003558784 de frais d'API de modèle au total.
Pour cette tâche, la médiane de Qwen est plus rapide et moins chère que Jev ; la médiane de Gemini est aussi plus rapide et moins chère.
Réutiliser le modèle connu est le plus rapide, avec zéro frais d'API de modèle.
La valeur actuelle de System One est son espace de choix contrôlé, sa composition consciente des dépendances, son source vérifiable et ses preuves rejouables.
Cela n'a pas démontré un avantage général de vitesse, de coût ou d'exactitude.
Cinq exécutions réussies sur une tâche minuscule n'établissent pas un taux général de fiabilité.
## Comment cela fonctionne
1. Un humain définit la tâche, les primitives disponibles, les types, les dépendances et les contrôles d'acceptation fixes.
2. Pour chaque étape et chaque trou d'AST, le harnais ne présente que des choix compatibles. L'étape de bascule de complétion a des arguments booléens, des constantes et des conditionnelles. L'étape de comptage peut utiliser la fonction de bascule vérifiée, le filtrage de vecteurs et le comptage.
3. Jev choisit le bloc suivant. Le harnais valide le choix et construit l'AST ; la confiance seule ne peut pas accepter du code.
4. Le harnais émet deux fichiers source CLJK, préserve les définitions sans rapport et exécute des contrôles fixes indépendants. Un reçu enregistre les décisions, les jetons, le temps, les frais d'API et la vérification. Une vérification échouée arrête la publication.
5. Le navigateur assemble un starter TodoMVC autour du noyau vérifié. Vous pouvez inspecter, modifier et exporter des fichiers, connecter GitHub, créer un dépôt, enregistrer un commit et le publier explicitement sur GitHub Pages.
Le pilote ne génère que la bascule de complétion et le compte des éléments non terminés.
L'interface, l'édition, les opérations groupées, les filtres d'URL, la persistance locale et l'intégration WebAssembly sont du code starter maintenu.
L'exécution arbitraire de dépôts, la génération d'UI/UX, la génération d'API et l'élargissement automatique du catalogue de blocs sont des travaux futurs.
Votre consigne ne crée pas de capacités nouvelles en dehors de ce catalogue.
Les modifications manuelles sont en dehors de la preuve d'origine.
## S'inscrire et essayer gratuitement
Ouvrez [Mithril](https://mithril.fund/#system-one), inscrivez-vous ou connectez-vous, puis ouvrez [System One Coding](https://code.mithril.fund/).
Aucune clé OpenRouter ni jeton GitHub n'est nécessaire pour une exécution gratuite.
La session navigateur Mithril existante autorise l'essai.
Les identifiants GitHub ne sont nécessaires que pour enregistrer ou publier dans votre dépôt.
Le pilote autorise **3 tentatives acceptées par compte et par jour UTC**, avec **100 tentatives par jour UTC pour l'ensemble du service**.
Les tentatives acceptées, y compris un échec, un exécuteur occupé ou un résultat inconnu, consomment un créneau.
Les requêtes invalides ou non authentifiées n'en consomment pas.
Rejouer le même identifiant de requête renvoie son résultat stocké sans nouvel appel de modèle.
Le serveur utilise une seule autorité de quota transactionnelle persistante, pas le stockage du navigateur.
Le pilote dépend de la disponibilité en ligne de l'exécuteur local de l'opérateur et du tunnel public ; ce n'est pas une garantie de disponibilité.
Les exécutions avec une clé de fournisseur indépendante exigent une connexion GitHub et utilisent votre propre solde OpenRouter.
## La performance du navigateur est une mesure séparée
La [comparaison TodoMVC](https://code.mithril.fund/benchmarks.html) mesure l'interaction de l'application et compare le starter maintenu avec Vanilla ES6.
Sa base Speedometer 3.1 exclut Mithril.
Ces résultats ne mesurent pas la vitesse d'un agent de codage et ne prouvent pas un score Speedometer officiel pour Mithril.
## Jev et CLEF
Le harnais en service appelle Jev via OpenRouter pour des choix dépendants de l'état.
En général ce noyau prend huit choix, pas une seule décision pour un programme entier.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) décrit une approche de modèle de décision compatible avec Jev/System One.
CLEF est un backend local ou d'entraînement possible ; le pilote déployé n'utilise pas un modèle CLEF entraîné localement.
Des tentatives locales antérieures n'ont pas été qualifiées, et aucun gain d'entraînement n'est revendiqué.
## Étendre le harnais
Pour les étapes UI/UX, logique et API, définissez des catalogues typés et des vérificateurs séparés.
Par exemple une étape de mise en page peut choisir un composant maintenu ; une étape d'API doit sélectionner un contrat revu, une authentification et un bloc de validation des entrées.
N'admettez une étape que lorsque ses dépendances et ses entrées de contrôle sont disponibles.
Gardez les décisions du modèle comme des propositions ; le harnais possède les types, les chemins admissibles, les limites d'exécution et les portes de publication.
Élargissez le catalogue avec des tâches tenues à l'écart et suivez tous les échecs, les comptes de réparation, le temps mur et les frais réels avant de revendiquer une capacité plus large.
L'implémentation et les enregistrements de mesure sont publics. [Documentation](https://mithril.fund/docs/system-one-coding).
## Enregistrement de la mise à jour de l'éditeur
L'[enregistrement de l'éditeur à vitesse d'origine](https://code.mithril.fund/editor-update.mp4) montre deux fonctions non implémentées qui deviennent du source vérifié.
C'est un aperçu local avec Jev réel et un fixture d'authentification de test étiqueté, distinct de la qualification des utilisateurs enregistrés en production.
Enregistré le 2026-10-06T07:55:00.252Z : du clic à la source 2.631 secondes ; reçu du harnais 2.107 secondes ; 8842 / 406 jetons ; API $0.000371364.
[Reçu de mesure](https://code.mithril.fund/editor-update.json).