System One Coding: составление кода через решения
Типизированные блоки, поэтапная проверка, измеренные сравнения и зарегистрированный бесплатный пилот.
Эта статья была переведена машиной.
System One Coding — поэтапная обвязка кодирования Mithril: модель решений выбирает из типизированных строительных блоков, а обвязка строит исходный код, проверяет его и записывает исход. Попробуйте [зарегистрированный бесплатный пилот](https://code.mithril.fund/).
## Измеренное сравнение методов кодирования
Измерено 2026-10-06T07:33:38.924Z (дата JST 2026-10-06), на том же локальном хосте Node/NBB через OpenRouter.
Пять раундов чередуют порядок методов; до четырёх попыток каждый.
Каждый метод должен выдать одни и те же два тела функций CLJK, сохранить маркер и пройти оба булевых входа переключателя плюс все 511 векторов завершения длин 0–8.
Базовые линии генерации выдают выражения JSON, допущенные ограниченной грамматикой, до выпуска исходного кода; отклонённые выводы получают одно и то же общее сообщение об исправлении.
Это небольшая ограниченная задача функции, а не SWE-bench и не общее кодирование репозитория.
| Метод | Успешно | Медиана секунд | Медиана API USD | Входные / выходные токены | Вызовы за прогон |
| --- | --- | ---: | ---: | ---: | --- |
| System One / Jev | 5/5 | 2.973 | $0.000401268 | 9554 / 406 | 8, 8, 9, 8, 8 |
| Qwen3 Coder Next + исправление | 5/5 | 2.195 | $0.000089240 | 314 / 48 | 2, 2, 2, 2, 1 |
| Gemini 2.5 Flash + исправление | 5/5 | 2.624 | $0.000231600 | 297 / 57 | 1, 2, 2, 3, 1 |
| Известный шаблон | 5/5 | 0.361 | $0.000000000 | 0 / 0 | 0, 0, 0, 0, 0 |
Время идёт от старта вызывающего через разбор ответа, допуск, выпуск исходного кода и завершение проверяющего.
System One включает общую настройку обвязки, квитанции и проверку повторного воспроизведения; другие методы используют меньший адаптер допуска и проверки.
Процессы проверки различаются (две параллельные проверки на функцию против одного совмещённого проверяющего).
Это измеренное сравнение этих реализаций, а не изолированный тест скорости модели.
Авторство интерфейса, компиляция и развёртывание, сетевой запуск, электричество, оборудование, человеческая разработка и обучение исключены.
API USD берётся из фактических квитанций использования поставщика, включая отклонённые выводы и вызовы исправления; столбцы токенов — медианы.
Никакая неизвестная плата не считается нулём.
Повторное использование шаблона требует решения, уже известного разработчику.
Доступны сырые [записи 20 прогонов](https://code.mithril.fund/coding-benchmark.json) и [исходник воспроизведения](https://github.com/mithril-lang/mithril-fund/tree/main/apps/code/bench).
Измеренное сравнение использовало $0.003558784 платы за API моделей всего.
Для этой задачи медиана Qwen быстрее и дешевле, чем Jev; медиана Gemini тоже быстрее и дешевле.
Повторное использование известного шаблона самое быстрое, с нулевой платой за API модели.
Текущая ценность System One — контролируемое пространство выбора, композиция с учётом зависимостей, проверяемый исходный код и воспроизводимые доказательства.
Она не показала общего преимущества в скорости, стоимости или точности.
Пять успешных прогонов на одной крошечной задаче не устанавливают общую долю надёжности.
## Как это работает
1. Человек задаёт задачу, доступные примитивы, типы, зависимости и фиксированные проверки приёмки.
2. Для каждого этапа и дыры AST обвязка показывает только совместимые варианты. Этап переключателя завершения имеет булевы аргументы, константы и условные конструкции. Этап подсчёта может использовать проверенную функцию переключателя, фильтрацию векторов и подсчёт.
3. Jev выбирает следующий блок. Обвязка проверяет выбор и строит AST; одной уверенности недостаточно, чтобы принять код.
4. Обвязка выдаёт два исходных файла CLJK, сохраняет несвязанные определения и запускает независимые фиксированные проверки. Квитанция записывает решения, токены, время, плату за API и проверку. Неудачная проверка останавливает публикацию.
5. Браузер собирает стартовый TodoMVC вокруг проверенного ядра. Можно просматривать, править и экспортировать файлы, подключить GitHub, создать репозиторий, сохранить коммит и явно опубликовать его на GitHub Pages.
Пилот порождает только переключатель завершения и подсчёт незавершённого.
Интерфейс, правка, массовые операции, фильтры URL, локальное сохранение и интеграция WebAssembly — это поддерживаемый стартовый код.
Произвольное исполнение репозитория, порождение UI/UX, порождение API и автоматическое расширение каталога блоков — будущая работа.
Ваше задание не создаёт новых возможностей вне этого каталога.
Ручные правки находятся вне исходного доказательства.
## Зарегистрироваться и попробовать бесплатно
Откройте [Mithril](https://mithril.fund/#system-one), зарегистрируйтесь или войдите, затем откройте [System One Coding](https://code.mithril.fund/).
Ключ OpenRouter или токен GitHub не нужен для бесплатного прогона.
Существующая сессия браузера Mithril разрешает пробный запуск.
Учётные данные GitHub нужны только чтобы сохранить или опубликовать в ваш репозиторий.
Пилот допускает **3 принятые попытки на учётную запись в сутки UTC**, и **100 попыток в сутки UTC по всему сервису**.
Принятые попытки, включая неудачу, занятый исполнитель или неизвестный исход, занимают слот.
Недействительные или неаутентифицированные запросы не занимают.
Повтор того же идентификатора запроса возвращает сохранённый результат без ещё одного вызова модели.
Сервер использует одну постоянную транзакционную власть квоты, а не хранилище браузера.
Пилот зависит от того, что локальный исполнитель оператора и публичный туннель находятся в сети; это не гарантия доступности.
Прогоны с независимым ключом поставщика требуют подключения GitHub и используют ваш собственный баланс OpenRouter.
## Производительность браузера — отдельное измерение
[Сравнение TodoMVC](https://code.mithril.fund/benchmarks.html) измеряет взаимодействие приложения и сравнивает поддерживаемый стартовый набор с Vanilla ES6.
Его базовая линия Speedometer 3.1 исключает Mithril.
Эти результаты не измеряют скорость агента кодирования и не доказывают официальную оценку Speedometer для Mithril.
## Jev и CLEF
Работающая обвязка вызывает Jev через OpenRouter для выборов, зависящих от состояния.
Обычно это ядро делает восемь выборов, а не одно решение для всей программы.
[Cloudflare CLEF](https://huggingface.co/Cloudflare/clef) описывает подход модели решений, совместимый с Jev/System One.
CLEF — возможный локальный или учебный бэкенд; развёрнутый пилот не использует локально обученную модель CLEF.
Более ранние локальные попытки не прошли отбор, и прирост от обучения не заявляется.
## Расширение обвязки
Для этапов UI/UX, логики и API задайте отдельные типизированные каталоги и проверяющие.
Например этап компоновки может выбрать поддерживаемый компонент; этап API должен выбрать проверенный контракт, аутентификацию и блок проверки ввода.
Допускайте этап только когда доступны его зависимости и входы проверок.
Оставляйте решения модели предложениями; обвязка владеет типами, допустимыми путями, пределами исполнения и воротами публикации.
Расширяйте каталог отложенными задачами и отслеживайте все неудачи, числа исправлений, время по часам и фактическую плату, прежде чем заявлять более широкую способность.
Реализация и записи измерений публичны. [Документация](https://mithril.fund/docs/system-one-coding).
## Запись обновления редактора
[Запись редактора в исходной скорости](https://code.mithril.fund/editor-update.mp4) показывает, как две нереализованные функции становятся проверенным исходным кодом.
Это локальный просмотр с фактическим Jev и помеченной тестовой фикстурой аутентификации, отдельно от квалификации зарегистрированных пользователей в производстве.
Записано 2026-10-06T07:55:00.252Z: от щелчка до исходного кода 2.631 секунды; квитанция обвязки 2.107 секунды; 8842 / 406 токенов; API $0.000371364.
[Квитанция измерения](https://code.mithril.fund/editor-update.json).