בדיקה מול מקור לפני החתימה: מהו שער האימות
פורסם
כל מספר שכלי הפיק נבדק מול מקור לפני החתימה. פריט אחד שלא נבדק מחזיק את התוצר כולו כטיוטה.
שער האימות הוא נוהל עבודה לשימוש בבינה מלאכותית גנרטיבית במקום שבו טעות עולה כסף או בטיחות. הוא מציב נקודת עצירה מחייבת אחת בין פלט הכלי לכל התחייבות. כל פריט בפלט הוא אחד משניים: מקושר למקור מוסמך, או חסום. הנוהל לא עושה את הפלט נכון. הוא עושה את הבדיקה ניתנת לספירה.
הבעיה שהוא עונה עליה
יחידת מיזוג מציגה קוד תקלה E3. טכנאי שואל כלי מה פירוש הקוד. אצל יצרן א׳ הוא הפעלת מפסק לחץ גבוה. אצל יצרן ב׳ הוא לחץ נמוך. אצל יצרן ג׳ הוא שגיאת תקשורת של השלט. טכנאי שפועל לפי הפירוש השגוי מוסיף קרר למערכת שכבר עמוסה מדי, או מרוקן מערכת שכבר חסרה.
הכלי לא חלש. מודל שפה אחד עבר שני מבחני רישוי לאומיים למהנדסי ציוד מכני בבניינים, בכל חמשת הניסיונות (Choi, Lee ו-Kim 2025). הציונים הממוצעים היו 80.6 ו-81.25 מתוך 100. הפער אינו ביכולת.
הפער הוא ששום שלב בעבודה לא עוצר את הפלט לפני החתימה. להנדסה יש כבר שלבים כאלה. חתימת בודק קודמת לשחרור שרטוט. מבחן לחץ קודם למסירה. לפלט של בינה מלאכותית אין שלב מקביל, ולכן הוא יכול להיכנס לדוח חתום בלי שום בדיקה.
האקסיומה
מספר שלא אומת — אינו קיים.
בפועל זה אומר שלערך שמקורו בפלט כלי אין מעמד של נתון, עד שמישהו בודק אותו מול מקור מוסמך. עד אז הוא טיוטה. הוא לא נכנס למסמך חתום, למסמך מוגש או להחלטה.
מקור מוסמך הוא מסמך שיש לו אחראי ומעמד: מדריך יצרן, תקן בנוסחו הרשמי, נוהל ארגוני מאושר, שרטוט חתום, מדידה ישירה, טבלת נתוני יצרן. כלי אינו מקור מוסמך לעולם. גם פלט של כלי שני אינו כזה.
שלושה שלבים ושער אחד
הסדר קבוע, בלי דילוג.
- עשה בעצמך. מעבר ראשון על המשימה בלי כלי: אומדן, קריאה ידנית, השערה כתובה. זה לוקח חמש עד עשרים דקות. המטרה היא שיפוט עצמאי מתועד, ולא שיפוט מדויק.
- שאל את הכלי. פנייה מובנית בשישה חלקים: תפקיד, הקשר, משימה, אילוצים, מקור, והנחיית החסר: אל תמציא, כתוב חסר.
- השער. משווים כל פריט בפלט למקור מוסמך, מאתרים את הפער, ורושמים את התוצאה.
למה הסדר חשוב? אומדן שנעשה אחרי שראית את התשובה מעוגן אליה. המוטיבציה באה מניסוי שדה עם כמעט אלף תלמידי תיכון (Bastani ואחרים 2025). תלמידים עם גישה חופשית לכלי צ'אט קיבלו, אחרי שהכלי הוסר, ציון נמוך מתלמידים שמעולם לא קיבלו אותו. המחקר עוסק במתמטיקה תיכונית, ולא בעבודה הנדסית, ואנחנו לוקחים אותו כמוטיבציה בלבד.
ארבע תוצאות, בלי חמישית
כל בדיקה נגמרת באחת מארבע.
- תואם. הפריט עובר. רושמים מקור ומיקום.
- פער. הפריט מתוקן לפי המקור. רושמים את הפלט המקורי, המקור, התיקון וסוג הפער.
- לא אומת. אין מקור זמין, והפריט נחסם. הוא אינו נכנס לתוצר.
- חסר. הכלי עצמו כתב חסר. זו התנהגות נכונה, והיא נרשמת ככזו.
אימות חלקי אינו אחת התוצאות. פריט חסום אחד מחזיק את הפלט כולו כטיוטה. רק פלט שעבר במלואו, עם יומן מלא, נקרא תוצר. רק תוצר רשאי להיחתם, להיגש או לשמש להחלטה.
מה הופך את זה לניתן לספירה
ארבעה מסמכים במבנה קבוע.
- יומן האימות: 13 שדות לכל תוצר, ומהם 5 רשימות סגורות. כך מבקר יכול לספור.
- הצהרת שימוש ב-AI: שבעה שדות, כולל מה נוצר ידנית ומה אומת.
- בוחן ציד הטעויות: שישה פלטים, שגיאה אחת בכל אחד, בלי גישה לכלי.
- טבלת תיוג המשימות: כל משימה מקבלת רמה מ-0 עד 4 לפני שהעבודה מתחילה.
הרמה נקבעת לפי ההשלכה של טעות, ולא לפי הקושי. ברירת המחדל למשימה לא מתויגת היא רמה 0, ללא כלי. חישוב פשוט שנכנס לתסקיר חתום הוא רמה 0. בפקודת עבודה יומיומית אפשר להסתפק בשלושה שדות: מקור, ערך שנבדק, ומי בדק.
מה הוא תופס
הנוהל מגדיר שבעה סוגי כשל חוזרים. לכולם תכונה משותפת: הפלט אינו נושא שום סימן חיצוני לשגיאה. לכן הבדיקה לא נשענת על חשד. היא רצה על כל פריט ומשאירה רשומה.
הראיות לא שוות בחוזקן, וכדאי לדעת את זה. טבלה מתמונה וחישוב ישיר נשענים על מחקר שפיט. מד אנלוגי נשען על preprint, וסעיף תקן על דיווח מקצועי. בקוד תקלה טבלאות היצרנים מראות את הסתירה, ושגיאת הכלי מוסקת. הסבר נכון-שגוי הוא תצפית שדה, וטרם נמדד.
השער הוא הבקרה הראשית לשישה מתוך השבעה. הסוג השביעי עובר בדיקת מקור, ואותו תופסים שלב א׳ ובוחן ציד הטעויות. כל המיפוי הזה הוא מיפוי תכנוני, ולא מדידה.
מה הוא לא
הנוהל לא מזהה הזיות, לא מכוון פרומפטים ולא מדרג כלים. הוא גם לא מלמד כלים. הוא קובע את הסדר שבו המהנדס והכלי עובדים.
הוא לא מבטיח שהתוצר נכון. הוא מבטיח שמישהו בדק כל פריט מול מקור ורשם את התוצאה. אם המקור שגוי, התוצר שגוי, והיומן מראה בדיוק איפה.
הוא לא מבטיח מהירות. שלב ג׳ מוסיף זמן לכל תוצר. האם הזמן הזה קטן מעלות של טעות חתומה היא שאלה אמפירית.
הוא לא מחליף כשירות מקצועית, והאחראי נשאר החותם. ASHRAE ו-ASTM נוקטות את אותה עמדה (ASHRAE 2025, ASTM 2025).
הוא גם לא חל בכל מקום. אם אין מסמך שיש לו אחראי, אין מול מה לאמת. משימה יצירתית שלא מובילה להתחייבות היא משימת רמה 1, והשער אינו חל. תוכנת חישוב הנדסי מאושרת אינה כלי במובן הזה.
מה מצב הראיות
מסמך העבודה הוא גרסה 0.92, והוא לא עבר שיפוט עמיתים. לא נאספו נתונים, ולא גויסה קבוצה. הראיות החיצוניות מודדות את הכשלים שהנוהל מכוון אליהם, ואף אחת מהן לא מודדת אותו.
המסמך מגדיר פרוטוקול הערכה שנרשם מראש: כ-300 יומנים, כ-30 משתתפים שמגישים כעשרה כל אחד. גרסה 1.0 תדווח תוצאות מדודות אם וכאשר יומנים כאלה יתקיימו. הטענה שאנחנו מגנים עליה צרה: תחת הנוהל, כל פריט מקושר למקור או חסום, והקישור ניתן לספירה. אפשר להפריך אותה.
לנסות על תוצר אחד מחר
לא צריך התקנה ארגונית כדי לראות איך זה עובד. קחו תוצר אחד שכלי נגע בו השבוע.
- כתבו את האומדן שלכם לפני שאתם מסתכלים שוב בפלט. אם כבר ראיתם אותו, רשמו את זה.
- סמנו בפלט כל פריט: מספר, מק"ט, סעיף תקן, קוד תקלה, פעולה מדווחת.
- בדקו כל אחד מול מקור מוסמך, ורשמו את המקור ואת המיקום בו.
- ספרו: כמה תואמים, כמה פערים, כמה חסומים, וכמה דקות זה לקח.
עכשיו יש לכם מספר משלכם, על תוצר משלכם. אם נשאר פריט חסום אחד, התוצר עדיין טיוטה.
בארגון הנוהל נכנס בחמישה צעדים, והכשרה היא צעד 4: מיפוי, תיוג, הטמעה בתבניות הקיימות, הכשרה ומדידה. כלל ההחלטה, סולם הרמות והיומן מרוכזים בעמוד השיטה.
מקורות
- Melchior, 2026. The Verification Gate, מסמך עבודה, גרסה 0.92, לא עבר שיפוט עמיתים.
- Choi, Lee ו-Kim, 2025. Performance Evaluation of GPT-4o on South Korean National Exams for Building Mechanical Equipment Maintenance, בכתב העת Scientific Reports, כרך 15, מאמר 30436. doi 10.1038/s41598-025-16118-x
- Bastani ואחרים, 2025. Generative AI Without Guardrails Can Harm Learning, בכתב העת Proceedings of the National Academy of Sciences, כרך 122, גיליון 26. doi 10.1073/pnas.2422633122
- ASHRAE, 2025. ASHRAE Policy on Artificial Intelligence, פברואר 2025.
- ASTM International, 2025. ASTM Policy on the Use of Artificial Intelligence.