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 כולל הקמה משותפת של הרתמה, קבלות ובדיקת השמעה מחדש; השיטות האחרות משתמשות במתאם קבלה ובדיקה קטן יותר.
תהליכי האימות שונים (שתי בדיקות מקבילות לכל פונקציה, לעומת בודק משולב אחד).
זו השוואה מדודה של המימושים האלה, לא מבחן מהירות מבודד של מודל.
כתיבת ממשק, הידור ופריסה, אתחול רשת, חשמל, חומרה, פיתוח אנושי ואימון אינם כלולים.
ה-USD של ה-API מגיע מקבלות שימוש בפועל של הספק, כולל פלטים שנדחו וקריאות תיקון; עמודות האסימונים הן חציונים.
אין חיוב לא ידוע שמטופל כאפס.
שימוש חוזר בתבנית דורש פתרון שכבר ידוע למפתח.
זמינים [רשומות גולמיות של 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, ליצור מאגר, לשמור commit ולפרסם אותו במפורש ל-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 הוא backend אפשרי מקומי או לאימון; הפיילוט הפרוס אינו משתמש במודל 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).