אילוצים הם חוזים

ההבטחה הראשונה של האנושות

לפני 100,000 שנה, מישהו הצביע על משהו והוציא קול. מישהו אחר שמע את הקול וחשב על אותו הדבר.

כך נולדה השפה.

ההסכמה לקרוא ל"זה" בשם “אריה”. ללא ההסכמה הזו, שני אנשים החיים באותו עולם רואים עולמות שונים. עם ההסכמה, ניסיונו של אדם אחד מועבר לאחר.

השפה היא החוזה הראשון של האנושות.

האות הוא חוזה שחוצה זמן

לפני 5,000 שנה, מישהו במסופוטמיה לחץ צורות טריזיות בלוח חרס לח. המטרה הייתה לתעד מלאי דגנים.

המילים נשכחות, אך הכתב נשאר. כשהכתב נשאר — ביורוקרטיה אפשרית, חוק אפשרי, מדינה אפשרית.

האות הוא מכשיר להעברת הבטחות של ההווה אל העתיד. כדי שחוזה שנוצר היום יהיה תקף גם מחר — נדרש כתב.

הדיבור יצר שבטים. הכתב יצר מדינות.

שלטון החוק: הבטחה שנכתבה בדם

החברה האנושית היא שאלה של צפיפות.

בשבט של 150 אנשים — כולם מכירים את פני כולם. מי שמפר הבטחה — כולם יודעים. לחץ חברתי לבדו שומר על הסדר.

בעיר של 10,000 — אנשים לא מכירים זה את זה. מפרים הבטחות ואיש אינו יודע. הלחץ החברתי אינו עובד.

לכן נדרש חוק.

החוק הוא תיעוד של הבטחות. “אם תעשה זאת — תבוא על כך תוצאה.” כולם כפופים לאותם כללים. הכללים ניתנים לאימות מכאני. ההפרה מוגדרת. להפרה יש תוצאות.

לקח אלפי שנים עד שהמערכת הזו עבדה. מהפכות, מלחמות, טבח, פשרות. האנושות כתבה את ההבטחה הזו בדם.

התוצאה: 8 מיליארד בני אדם דרים יחד על כוכב אחד. לא מושלם. אבל עובד. ללא שלטון החוק — הצפיפות הזו הייתה בלתי אפשרית.

שלושת תנאי שלטון החוק

שלטון החוק עובד לא מפני שהחוק חכם. אלא מפני שהוא מקיים שלושה תנאים.

1. ניתן לאימות. אפשר לקבוע אם החוק הופר אם לאו. לא על פי אינטואיציה של שופט, אלא על פי סעיפים וראיות. הליך הקביעה מוגדר.

2. ההפרה מוגדרת. מה מותר ומה אסור — מפורש. לא “אל תתנהג רע”, אלא “אל תבצע פעולה הנכללת בסעיף 50(1)”. דיגיטלי: הפרה או לא הפרה.

3. ניתן לאכיפה. להפרה יש תוצאות. הבטחה ללא תוצאות אינה הבטחה — היא תקווה.

שלושת התנאים הללו מפתיעים בכלליותם.

אותו דפוס, תחומים שונים

תחום	הבטחה	אימות	הגדרת הפרה	אכיפה
חברה אנושית	חקיקה	משפט	סעיפי חוק	עונש / פיצוי
תכנות	type system	compiler	type error	סירוב compile
עיצוב קוד	gofmt	gofmt -d	חוסר התאמת פורמט	כישלון CI
מבנה קוד	filefunc	validate	הפרת 22 כללים	ERROR
ייצוג ידע	מפרט GEUL	mechanical verification	אי-התאמה למפרט	חסימת כניסה לקונטקסט

בכל מערכת שעובדת — יש הבטחה. הבטחה שניתנת לאימות, מוגדרת הפרתה, וניתנת לאכיפה.

מערכת ללא זה — כאוס.

ל-LLM אין הבטחה

נכון לשנת 2026, כשאומרים ל-agent AI “שפר את הקוד” — ה-agent משנה משהו.

אבל:

מתי זה נגמר? לא ידוע.
האם התוצאה מספקת? אין קריטריון.
האם הרצה חוזרת תניב אותה תוצאה? לא.

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

“איכות קוד” היא ספקטרום. לספקטרום אין תנאי סיום. ללא תנאי סיום — התכנסות אינה מובטחת.

זוהי שלטון האיש. תלות במלך חכם (מודל חכם). אם המלך חכם — עובד. אם לא — לא.

אילוצים מובילים להתכנסות

filefunc הגדיר 22 הבטחות.

קובץ אחד לפונקציה. עומק עד 2. annotation חובה. control הוא אחד מ: sequence, selection, iteration.

הבטחות אלו:

ניתנות לאימות. filefunc validate קובע באופן מכאני. ללא LLM.
הפרתן מוגדרת. ERROR או מעבר. לא ספקטרום.
ניתנות לאכיפה. יש לתקן את הקוד עד ש-ERROR יהיה 0.

כאשר שלושת התנאים מתקיימים, LLM יכול להתכנס לכל codebase שמקיים את ההבטחות — באמצעות לולאת while ERROR > 0: fix בלבד.

תפקיד ה-LLM אינו שופט. הוא מבצע. מה מהווה הפרה — ההבטחה (validate) אומרת. האם ההפרה נפתרה — ההבטחה (validate) אומרת. ה-LLM רק מתקן את ההפרות שההבטחה מצביע עליהן.

לא המלך שולט — החוק שולט. זהו שלטון החוק.

היחס הזהב בין כאוס לסדר

ללא הבטחות — כאוס. הקוד חסר מבנה, פונקציות מעורבבות, עומק עמוק ללא גבול. ה-AI agent קורא הכל בכל פעם ומוצא תוצאות שונות בכל פעם.

הבטחות עודפות — דיכוי. כשכל דבר מפוסק — הגמישות נעלמת. לכפות 10 שורות annotation על פונקציה בת 3 שורות — זה הפוך על פניו.

22 הכללים של filefunc מצאו את הנקודה שביניהם. אילוץ מספיק, אך לא עודף.

ראיה לכך: 1,275 פונקציות מתכנסות לשלוש מבני בקרה. sequence, selection, iteration. שלושת השלושה שBöhm-Jacopini הוכיחו ב-1966. שנות-22 הבטחות מתכנסות לסיווג מתמטי — ראיה שההבטחות אינן עודפות ואינן חסרות.

לא כאוס ולא דיכוי. סדר מספיק בתוך חופש מספיק. זהו היחס הזהב.

השפה השלישית

הדיבור יצר שבטים. הבטחה בין אדם לאדם. הכתב יצר מדינות. הבטחה בין הווה לעתיד.

מה תיצור השפה השלישית?

GEUL היא הבטחה בין בינה מלאכותית לבינה מלאכותית. וגם הבטחה הניתנת לאימות בין בינה מלאכותית לאדם.

SIDX היא הבטחת המשמעות. אותו דפוס ביטים — אותה משמעות. ה-stream של 16 ביט הוא הבטחת הפורמט. רשת, אחסון ו-AI חולקים את אותה יחידה. source, confidence, time הן הבטחת האמון. ה-metadata מוטמע במבנה ולא ניתן להשמיט אותו. mechanical verification הוא אימות קיום ההבטחה. מידע שמפר את המפרט לא יכול להיכנס לקונטקסט.

בשפה טבעית אין מושג של “משפט לא תקף”. ב-GEUL יש. העובדה שה"לא תקף" מוגדר — היא הראיה שהבטחה קיימת.