System One Coding: componer código mediante decisiones
Bloques tipados, verificación por etapas, comparaciones medidas y una prueba piloto gratuita con registro.
Este artículo fue traducido por máquina.
System One Coding es el arnés de programación por etapas de Mithril: un modelo de decisión elige entre bloques de construcción tipados, mientras el arnés construye el código fuente, lo comprueba y registra el resultado. Pruebe la [prueba piloto gratuita con registro](https://code.mithril.fund/).
## Comparación medida de métodos de programación
Medido el 2026-10-06T07:33:38.924Z (fecha JST 2026-10-06), en el mismo equipo local Node/NBB a través de OpenRouter.
Cinco rondas alternan el orden de los métodos; hasta cuatro intentos cada una.
Cada método debe producir los mismos dos cuerpos de función CLJK, preservar el marcador y superar ambas entradas de conmutación booleana más los 511 vectores de finalización de longitudes 0–8.
Las líneas base de generación emiten expresiones JSON admitidas por una gramática restringida antes de la emisión del código fuente; las salidas rechazadas reciben el mismo mensaje genérico de reparación.
Esta es una tarea de función pequeña y restringida, no SWE-bench ni programación general de repositorios.
| Método | Aprobado | Segundos medianos | USD de API mediano | Tokens de entrada / salida | Llamadas por ejecución |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + reparación | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + reparación | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Plantilla conocida | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
El tiempo transcurre desde el inicio del llamador hasta el análisis de la respuesta, la admisión, la emisión del código fuente y la finalización del verificador.
System One incluye la configuración compartida del arnés, los recibos y la comprobación de reproducción; los demás métodos usan un adaptador de admisión y comprobación más pequeño.
Los procesos de verificación difieren (dos comprobaciones paralelas por función frente a un verificador combinado).
Esta es una comparación medida de estas implementaciones, no una prueba aislada de velocidad del modelo.
Quedan excluidos la autoría de la interfaz, la compilación y el despliegue, el arranque de red, la electricidad, el hardware, el desarrollo humano y el entrenamiento.
El USD de API procede de recibos reales de uso del proveedor, incluidas las salidas rechazadas y las llamadas de reparación; las columnas de tokens son medianas.
Ningún cargo desconocido se trata como cero.
Reutilizar la plantilla exige una solución que el desarrollador ya conozca.
Están disponibles los [registros en bruto de 20 ejecuciones](https://code.mithril.fund/coding-benchmark.json) y el [código fuente de reproducción](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench).
La comparación medida usó $0.003558784 en cargos de API de modelo en total.
Para esta tarea, la mediana de Qwen es más rápida y más barata que Jev; la mediana de Gemini también es más rápida y más barata.
Reutilizar la plantilla conocida es lo más rápido, con cero cargos de API de modelo.
El valor actual de System One es su espacio de elección controlado, su composición consciente de las dependencias, su código fuente verificable y su evidencia reproducible.
No ha demostrado una ventaja general de velocidad, coste o exactitud.
Cinco ejecuciones exitosas en una tarea minúscula no establecen una tasa general de fiabilidad.
## Cómo funciona
1. Una persona define la tarea, las primitivas disponibles, los tipos, las dependencias y las comprobaciones de aceptación fijas.
2. Para cada etapa y hueco del AST, el arnés presenta solo opciones compatibles. La etapa de conmutación de finalización tiene argumentos booleanos, constantes y condicionales. La etapa de recuento puede usar la función de conmutación verificada, el filtrado de vectores y el conteo.
3. Jev elige el siguiente bloque. El arnés valida la elección y construye el AST; la confianza por sí sola no puede aceptar código.
4. El arnés emite dos archivos fuente CLJK, preserva las definiciones no relacionadas y ejecuta comprobaciones fijas independientes. Un recibo registra decisiones, tokens, tiempos, cargos de API y verificación. Una verificación fallida detiene la publicación.
5. El navegador ensambla un inicio de TodoMVC alrededor del núcleo verificado. Puede inspeccionar, editar y exportar archivos, conectar GitHub, crear un repositorio, guardar un commit y publicarlo de forma explícita en GitHub Pages.
La prueba piloto genera solo la conmutación de finalización y el recuento de lo no terminado.
La interfaz, la edición, las operaciones masivas, los filtros de URL, la persistencia local y la integración con WebAssembly son código de inicio mantenido.
La ejecución arbitraria de repositorios, la generación de UI/UX, la generación de API y la expansión automática del catálogo de bloques son trabajo futuro.
Su enunciado no crea capacidades nuevas fuera de este catálogo.
Las ediciones manuales quedan fuera de la prueba original.
## Registrarse y probar gratis
Abra [Mithril](https://mithril.fund/#system-one), regístrese o inicie sesión y, a continuación, abra [System One Coding](https://code.mithril.fund/).
No se necesita una clave de OpenRouter ni un token de GitHub para una ejecución gratuita.
La sesión existente del navegador de Mithril autoriza la prueba.
Las credenciales de GitHub solo se necesitan para guardar o publicar en su repositorio.
La prueba piloto permite **3 intentos aceptados por cuenta y por día UTC**, con **100 intentos por día UTC en todo el servicio**.
Los intentos aceptados, incluido un fallo, un ejecutor ocupado o un resultado desconocido, consumen un cupo.
Las solicitudes no válidas o no autenticadas no lo hacen.
Reproducir el mismo ID de solicitud devuelve su resultado almacenado sin otra llamada al modelo.
El servidor usa una autoridad de cuota transaccional persistente, no el almacenamiento del navegador.
La prueba piloto depende de que el ejecutor local del operador y el túnel público estén en línea; no es una garantía de disponibilidad.
Las ejecuciones con clave de proveedor independiente requieren una conexión de GitHub y usan su propio saldo de OpenRouter.
## El rendimiento del navegador es una medición aparte
La [comparación de TodoMVC](https://code.mithril.fund/benchmarks.html) mide la interacción de la aplicación y compara el inicio mantenido con Vanilla ES6.
Su línea base de Speedometer 3.1 excluye a Mithril.
Estos resultados no miden la velocidad del agente de programación ni demuestran una puntuación oficial de Speedometer para Mithril.
## Jev y CLEF
El arnés en vivo llama a Jev a través de OpenRouter para elecciones que dependen del estado.
Por lo general, este núcleo toma ocho elecciones, no una decisión para un programa entero.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) describe un enfoque de modelo de decisión compatible con Jev/System One.
CLEF es un posible backend local o de entrenamiento; la prueba piloto desplegada no usa un modelo CLEF entrenado localmente.
Los intentos locales anteriores no cualificaron, y no se afirma ninguna ganancia de entrenamiento.
## Ampliar el arnés
Para las etapas de UI/UX, lógica y API, defina catálogos tipados y verificadores separados.
Por ejemplo, una etapa de diseño puede elegir un componente mantenido; una etapa de API debe seleccionar un contrato revisado, autenticación y un bloque de validación de entrada.
Admita una etapa solo cuando sus dependencias y las entradas de comprobación estén disponibles.
Mantenga las decisiones del modelo como propuestas; el arnés es dueño de los tipos, las rutas admisibles, los límites de ejecución y las puertas de publicación.
Amplíe el catálogo con tareas retenidas y registre todos los fallos, los recuentos de reparación, el tiempo de reloj y los cargos reales antes de afirmar una capacidad más amplia.
La implementación y los registros de medición son públicos. [Documentación](https://mithril.fund/docs/system-one-coding).
## Grabación de la actualización del editor
La [grabación del editor a velocidad original](https://code.mithril.fund/editor-update.mp4) muestra dos funciones no implementadas que pasan a código fuente verificado.
Esta es una vista previa local con Jev real y una pieza de autenticación de prueba etiquetada, aparte de la cualificación de usuarios registrados en producción.
Grabado el 2026-10-06T07:55:00.252Z: de clic al código fuente, 2.631 segundos; recibo del arnés, 2.107 segundos; 8842 / 406 tokens; API $0.000371364.
[Recibo de medición](https://code.mithril.fund/editor-update.json).