שקלא ומיקו - מבפנים / SHAKLA and Miko inside

מה מיקו עושה עכשיו

What Miko is doing right now

הלוח

Scoreboard

התורים והדלתות

Queues and doors (who answers the model calls)

שירותים

Services

הודעות וצעדים שזורמים (שלוש הריצות האחרונות)

Messages and steps flowing (last 3 runs)

ריצות אחרונות

Recent runs

קצב וטעויות

Pace and errors

ריצות בשעה (12 שעות אחרונות) / runs per hour

טענות שאומתו היום (דוגמה אחרונה)

Claims verified today (latest few)

הצינור של שקלא

SHAKLA pipeline (when it answers a question)

מה רץ ברקע

What runs in the background

פורמן (בדיקת הצי)

Foreman (fleet check)

כתיבה עצמית

Self-rewrite loop

אבולוציה

Evolve loop

הצעות של פרץ לשינוי עצמי

Peretz self-rewrite proposals

הודעות וצעדים אחרונים ביומן

Latest steps in the log

שגיאות ודחיות אחרונות

Latest errors and rejections

שואלים את שקלא ואת מיקו

Ask SHAKLA and Miko (real answers, with their inner steps)

הם איטיים: שקלא לוקח כמה דקות, מיקו דקה-שתיים (הוא באמת קורא דפים באינטרנט). הצעדים הפנימיים מתעדכנים תוך כדי. שאלה אחת בכל פעם לכל אחד.
They are slow: SHAKLA takes a few minutes, Miko one or two (it really reads web pages). Inner steps update live. One question at a time each.

שקלא / SHAKLA

עדיין לא נשאל / not asked yet

צעדים פנימיים / inner steps

מיקו / Miko

עדיין לא נשאל / not asked yet

צעדים פנימיים / inner steps

שקלא עונה רק אם הצליח להוכיח; "תיקו" פירושו שלא הצליח, לא תקלה. מיקו מחזיר טענות שאומתו מדפים שקרא. / SHAKLA answers only what it can prove; "tiku" means it could not, not a fault. Miko returns claims it verified from pages it read.

מה זה שקלא?

שקלא הוא "המוח האיטי": הוא לא מנחש, הוא בודק. מקבלים שאלה, מתרגמים אותה לעובדות וחוקים, ומריצים בודקים אמיתיים (לוגיקה, חשבון, הוכחות). אם אי אפשר להוכיח, הוא אומר "תיקו" ולא ממציא.

SHAKLA is the "slow brain": it does not guess, it checks. A question is turned into facts and rules, and real checkers (logic, math, proofs) run on it. If it cannot prove something it says "tiku" (a draw) instead of making things up.

שלבי הצינור של שקלא

שלב / step	מה זה אומר
ask	נכנסה שאלה. / a question came in.
llm	קריאה למודל שפה שמתרגם את השאלה. / a call to a language model that translates the question.
parse	הפיכת המשפט לעובדות. "נדחה" = המודל המציא משהו שלא כתוב בשאלה, אז מנסים שוב (עד 3 פעמים). / turning the sentence into facts; "rejected" = the model invented something not in the question, so retry (up to 3).
dicta	ניקוי עברית על ידי מודל עברי. / Hebrew clean-up by a Hebrew model.
checker / proof	הבודק האמיתי: לוגיקה, חשבון, הוכחה. / the real checker.
phrase	ניסוח התשובה במילים, אבל רק עם מספרים שהוכחו. / wording the answer, only with proven numbers.
TIKU	"תיקו": הבודק לא הצליח להוכיח, אז הוא אומר שלא יודע. זה תקין ויפה, לא תקלה. / an honest "I cannot prove it".

הלולאות של שקלא

פורמן: כל כמה דקות אוסף עובדות על הצי (מי למעלה, מי תקוע) ונותן לשקלא לשפוט. אחר כך בודק אם צדק.

Foreman: every few minutes it collects fleet facts (who is up, who is stuck) and lets SHAKLA judge, then checks if it was right.

כתיבה עצמית: שקלא מציע תיקונים לקוד של עצמו. כל תיקון עובר מבחנים, ורק אם הוא משפר ומבחן מוסתר מאשר, הוא נכנס. "התקבלו 0 מתוך 3" = אף הצעה לא שיפרה, וזה בסדר, ככה השער שומר.

Self-rewrite: SHAKLA proposes fixes to its own code. A fix must pass tests and a hidden exam to get in. "accepted 0 of 3" means no proposal improved things; the gate is doing its job.

אבולוציה: כמה גרסאות מתחרות בכל דור. "הפסקה: live import broken" = בדיקת הפתיחה של הגרסה החיה נכשלה והדור בוטל (פרץ בודק את זה).

Evolve: several variants compete each generation. "aborted: live import broken" means the live version failed its startup check and the generation was cancelled (Peretz is debugging it).

מה זה מיקו?

מיקו הוא חוקר אינטרנט: מקבל שאלה, מחפש דפים, קורא אותם, מוציא מהם טענות, ובודק כל טענה (שקלא-סגנון). מוח קטן מחליט לאן ללכת הלאה. שני מוחות רצים במקביל ומתחרים: "v2" ו-"mlp".

Miko is a web researcher: it takes a question, searches, reads pages, pulls out claims and verifies each one. A small brain decides where to go next. Two brains run side by side and compete: "v2" and "mlp".

שלבי מיקו

שלב / kind	מה זה אומר
seed_*	חיפוש דפי פתיחה (ויקיפדיה, DuckDuckGo, Semantic Scholar). שגיאה כמו 429 = האתר ביקש להאט. / finding start pages. 429 = the site asked us to slow down.
fetch_ok / fetch_fail	קריאת דף הצליחה או נכשלה (404 = אין דף). / page read worked or failed.
claims	טענות שחולצו מהדף. / claims pulled from the page.
trust, brain_step, ranked_links	המוח מחליט כמה לסמוך על עצמו ולאיזה קישור ללכת. / the brain decides how much to trust itself and which link to follow.
dead_end, off_topic_page	דף ללא תועלת, או לא קשור לשאלה. / useless or off-topic page.
reformulate	ניסוח מחדש של החיפוש כי הראשון יבש. / rephrasing the search because the first was dry.
reward / done	סיכום הריצה: כמה טענות אומתו, וציון תגמול. / run summary and reward score.

דלתות ותורים: כל קריאה למודל עוברת בדלת חכמה (פורט 8457). "cap" = כמה בקשות במקביל מותר, "inflight" = כמה רצות עכשיו. אם inflight שווה ל-cap, יש תור והריצות מאטות. / Every model call goes through a smart door (port 8457). cap = how many calls at once, inflight = running now. If equal, there is a queue.

שים לב: מה "חי" ומה לא

החלונית הזאת רק קוראת קבצים ויומנים, לא משנה כלום. אם משהו ישן, מופיע גיל ("לפני X דקות") ועליו כתוב ישן, כדי שלא יטעה אותך.

This page only reads files and logs and changes nothing. Anything old shows its age and an "old" mark so it cannot mislead you.