System One Coding: compor código por meio de decisões
Blocos tipados, verificação por etapas, comparações medidas e um piloto gratuito registrado.
Este artigo foi traduzido por máquina.
System One Coding é o arnês de codificação por etapas da Mithril: um modelo de decisão escolhe entre blocos de construção tipados, enquanto o arnês constrói o código-fonte, verifica-o e registra o resultado. Experimente o [piloto gratuito registrado](https://code.mithril.fund/).
## Comparação medida de métodos de codificação
Medido em 2026-10-06T07:33:38.924Z (data JST 2026-10-06), no mesmo host local Node/NBB via OpenRouter.
Cinco rodadas alternam a ordem dos métodos; até quatro tentativas cada.
Cada método deve produzir os mesmos dois corpos de função CLJK, preservar o marcador e passar nas duas entradas booleanas de alternância mais todos os 511 vetores de conclusão de comprimentos 0–8.
As linhas de base de geração produzem expressões JSON admitidas por uma gramática restrita antes da emissão do código-fonte; saídas rejeitadas recebem a mesma mensagem genérica de reparo.
Esta é uma tarefa pequena de função restrita, não SWE-bench nem codificação geral de repositório.
| Método | Aprovados | Mediana em segundos | Mediana de API em USD | Tokens de entrada / saída | Chamadas por execução |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + reparo | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + reparo | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Modelo conhecido | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
O tempo corre do início do chamador até a análise da resposta, a admissão, a emissão do código-fonte e a conclusão do verificador.
System One inclui a preparação compartilhada do arnês, os recibos e a verificação de replay; os outros métodos usam um adaptador menor de admissão e verificação.
Os processos de verificação diferem (duas verificações paralelas por função contra um verificador combinado).
Esta é uma comparação medida destas implementações, não um teste isolado de velocidade de modelo.
A autoria de interface, compilação e implantação, arranque de rede, eletricidade, hardware, desenvolvimento humano e treinamento estão excluídos.
O USD de API vem de recibos reais de uso do provedor, incluindo saídas rejeitadas e chamadas de reparo; as colunas de tokens são medianas.
Nenhuma cobrança desconhecida é tratada como zero.
A reutilização de modelo exige uma solução já conhecida pelo desenvolvedor.
Os [registros brutos de 20 execuções](https://code.mithril.fund/coding-benchmark.json) e a [fonte de reprodução](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench) estão disponíveis.
A comparação medida usou $0.003558784 em cobranças de API de modelo no total.
Para esta tarefa, a mediana de Qwen é mais rápida e mais barata que Jev; a mediana de Gemini também é mais rápida e mais barata.
Reutilizar o modelo conhecido é o mais rápido, com zero de cobranças de API de modelo.
O valor atual de System One é o seu espaço de escolha controlado, a composição ciente das dependências, o código-fonte verificável e a evidência reproduzível.
Não demonstrou uma vantagem geral de velocidade, custo ou exatidão.
Cinco execuções bem-sucedidas numa tarefa minúscula não estabelecem uma taxa geral de confiabilidade.
## Como funciona
1. Um humano define a tarefa, as primitivas disponíveis, os tipos, as dependências e as verificações de aceitação fixas.
2. Para cada etapa e cada buraco de AST, o arnês apresenta apenas escolhas compatíveis. A etapa de alternância de conclusão tem argumentos booleanos, constantes e condicionais. A etapa de contagem pode usar a função de alternância verificada, a filtragem de vetores e a contagem.
3. Jev escolhe o bloco seguinte. O arnês valida a escolha e constrói a AST; a confiança sozinha não pode aceitar código.
4. O arnês emite dois arquivos-fonte CLJK, preserva definições não relacionadas e executa verificações fixas independentes. Um recibo registra decisões, tokens, tempo, cobranças de API e verificação. Uma verificação falha interrompe a publicação.
5. O navegador monta um starter TodoMVC em torno do núcleo verificado. Você pode inspecionar, editar e exportar arquivos, conectar o GitHub, criar um repositório, salvar um commit e publicá-lo explicitamente no GitHub Pages.
O piloto gera apenas a alternância de conclusão e a contagem de itens não concluídos.
Interface, edição, operações em massa, filtros de URL, persistência local e integração WebAssembly são código starter mantido.
Execução arbitrária de repositório, geração de UI/UX, geração de API e expansão automática do catálogo de blocos são trabalho futuro.
O seu briefing não cria capacidades novas fora deste catálogo.
Edições manuais estão fora da prova original.
## Registrar-se e experimentar grátis
Abra [Mithril](https://mithril.fund/#system-one), registre-se ou entre, e depois abra [System One Coding](https://code.mithril.fund/).
Não é necessária chave OpenRouter nem token do GitHub para uma execução gratuita.
A sessão de navegador Mithril existente autoriza o teste.
Credenciais do GitHub só são necessárias para salvar ou publicar no seu repositório.
O piloto permite **3 tentativas aceitas por conta por dia UTC**, com **100 tentativas por dia UTC em todo o serviço**.
Tentativas aceitas, incluindo falha, um executor ocupado ou um resultado desconhecido, consomem uma vaga.
Pedidos inválidos ou não autenticados não consomem.
Repetir o mesmo ID de pedido devolve o resultado armazenado sem outra chamada de modelo.
O servidor usa uma única autoridade de quota transacional persistente, não o armazenamento do navegador.
O piloto depende de o executor local do operador e o túnel público estarem online; não é uma garantia de disponibilidade.
Execuções com chave de provedor independente exigem uma conexão GitHub e usam o seu próprio saldo OpenRouter.
## O desempenho do navegador é uma medição separada
A [comparação TodoMVC](https://code.mithril.fund/benchmarks.html) mede a interação da aplicação e compara o starter mantido com Vanilla ES6.
A sua linha de base Speedometer 3.1 exclui a Mithril.
Estes resultados não medem a velocidade de um agente de codificação nem provam uma pontuação oficial Speedometer para a Mithril.
## Jev e CLEF
O arnês em serviço chama Jev via OpenRouter para escolhas dependentes do estado.
Em geral este núcleo leva oito escolhas, não uma única decisão para um programa inteiro.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) descreve uma abordagem de modelo de decisão compatível com Jev/System One.
CLEF é um possível backend local ou de treinamento; o piloto implantado não usa um modelo CLEF treinado localmente.
Tentativas locais anteriores não se qualificaram, e nenhum ganho de treinamento é alegado.
## Estender o arnês
Para etapas de UI/UX, lógica e API, defina catálogos tipados e verificadores separados.
Por exemplo, uma etapa de layout pode escolher um componente mantido; uma etapa de API deve selecionar um contrato revisado, autenticação e um bloco de validação de entrada.
Admita uma etapa apenas quando as suas dependências e as entradas de verificação estiverem disponíveis.
Mantenha as decisões do modelo como propostas; o arnês é dono dos tipos, dos caminhos admissíveis, dos limites de execução e dos portões de publicação.
Expanda o catálogo com tarefas retidas e acompanhe todas as falhas, contagens de reparo, tempo de parede e cobranças reais antes de alegar capacidade mais ampla.
A implementação e os registros de medição são públicos. [Documentação](https://mithril.fund/docs/system-one-coding).
## Gravação da atualização do editor
A [gravação do editor em velocidade original](https://code.mithril.fund/editor-update.mp4) mostra duas funções não implementadas passando a código-fonte verificado.
Esta é uma pré-visualização local com Jev real e um fixture de autenticação de teste rotulado, separada da qualificação de usuário registrado em produção.
Gravado em 2026-10-06T07:55:00.252Z: do clique até o código-fonte, 2.631 segundos; recibo do arnês, 2.107 segundos; 8842 / 406 tokens; API $0.000371364.
[Recibo de medição](https://code.mithril.fund/editor-update.json).