→ כל השיטות
נייר עבודהv0.9 · לא עבר ביקורת עמיתים.

The Verification Gate: A Work Method for Generative AI in Consequential Engineering Practice

Mati Melchior · ORCID 0009-0003-9647-1498 · September 2026

10.5281/zenodo.22271340DOI של הגרסה 10.5281/zenodo.22271340CC BY-NC-ND 4.0

DOI מושגי — טרם נקרא מהרשומה.

תקציר

כלי בינה מלאכותית גנרטיבית מנסחים, מתרגמים, מסכמים ומארגנים היטב. הם נופלים בנקודות שבהן מהנדס או הנדסאי חייב לחתום. חמש נקודות כאלה חוזרות: טבלה שנקראת מתמונה, מד אנלוגי, סעיף תקן, קוד תקלה של יצרן, וחישוב אריתמטי ישיר. מחקרים שפיטים בהנדסת בניין מתעדים את הראשון ואת האחרון. תיעוד יצרנים, preprint ודיווחי שטח מתעדים את השאר. בכל מקרה הפלט שוטף וללא סימן. שום דבר בטקסט אינו מסמן את השגיאה. אנו מציגים את שער האימות, שיטת עבודה לשימוש בכלים האלה במקום שבו טעות עולה כסף או בטיחות. לשיטה אקסיומה אחת ושלושה שלבים בסדר קבוע. היא מציבה נקודת עצירה מחייבת אחת בין פלט הכלי לכל התחייבות. היא מוסיפה ארבעה מכשירים במבנה קבוע, סולם בן חמש רמות לתיוג משימות, מבחן כשירות ללא כלים, ונוהל התקנה בן חמישה צעדים. היא מגדירה שבעה סוגי כשל (F1–F7) וממפה כל אחד לבקרה שתופסת אותו. היא אינה מלמדת כלים. היא קובעת את הסדר שבו המהנדס והכלי עובדים. מאמר זה מקבע את אוצר המילים של השיטה, מגדיר את גבולותיה, ומנסח פרוטוקול הערכה שנרשם מראש. אין כאן תוצאות, ולא נאספו נתונים. הפרוטוקול מגדיר את שדותיו, את רשימותיו הסגורות, ואת גודל המדגם הנדרש. כל קבוצה שעומדת בקריטריונים שהוגדרו ומגישה יומני אימות לפי שדות אלה היא יישום תקף. גרסה 1.0 תדווח תוצאות מדודות אם וכאשר יומנים כאלה יתקיימו. כל המכשירים משוחררים ברישיון CC BY 4.0.

1. מבוא

יחידת מיזוג מפוצלת מציגה קוד תקלה E3. טכנאי שואל כלי בינה מלאכותית גנרטיבית מה פירוש E3. טבלאות היצרנים נותנות שלוש תשובות. דייקין מציינת E3 כהפעלת מפסק לחץ גבוה (Daikin n.d.). GREE מציינת E3 כלחץ נמוך (GREE n.d.). מיצובישי אלקטריק מציינת E3 כשגיאת תקשורת של השלט (Mitsubishi Electric n.d.). השניים הראשונים הם תקלות הפוכות. טכנאי שפועל לפי הפירוש השגוי מוסיף קרר למערכת שכבר עמוסה מדי, או מרוקן מערכת שכבר חסרה. כלי שעונה מהזיכרון, בלי המדריך של היחידה הספציפית לפניו, אינו יכול להראות באיזו טבלה השתמש. תשובתו אינה נושאת שום סימן מוצא.

3. הגדרות

טבלה 1. הגדרות.

מונחהגדרה
כליכל מערכת בינה מלאכותית גנרטיבית, טקסטואלית, חזותית או משולבת, המקבלת פנייה ומחזירה פלט. השיטה אינה נוקבת בשמות מוצרים.
פלטכל מה שהכלי מחזיר, בכל פורמט, לפני שעבר את השער.
מקור מוסמךמסמך שיש לו אחראי ומעמד: מדריך יצרן, תקן בנוסחו הרשמי, נוהל ארגוני מאושר, שרטוט חתום, מדידה ישירה, טבלת נתוני יצרן. כלי אינו מקור מוסמך לעולם. גם פלט של כלי שני אינו כזה.
פריטיחידת מידע ברת-אימות: מספר, מזהה, סעיף, טענה עובדתית, פעולה מדווחת.
אימותהשוואת פריט אחד מול מקור מוסמך אחד ורישום התוצאה.
פערכל הבדל בין הפלט למקור, בכל גודל.
תוצרפלט שעבר את השער במלואו ויש לו יומן אימות מלא. רק תוצר רשאי להיחתם, להיגש, או לשמש להחלטה.
התחייבותכל פעולה שמעבירה תוצר מטיוטה למציאות: חתימה, הגשה, הזמנת רכש, הוראת עבודה, דוח ללקוח, הזנה למערכת ארגונית.
השערנקודת העצירה המחייבת בין פלט להתחייבות. שלב ג' בתהליך.
יומן אימותהמכשיר שמתעד את האימות. מפורט בסעיף 6.1.
רמהדרגת השימוש המותרת בכלי למשימה נתונה, לפי סולם חמש הרמות בסעיף 7.

4. סיווג הכשלים

טבלה 2. שבעה סוגי כשל.

#סוגהדפוסלמה זה חשוב בהנדסהראיות
F1טבלה מתמונהשאילתה על טבלה מצולמת מדויקת הרבה פחות מאותה שאילתה על הטבלה כטקסטטבלות יחידות, טבלות תקן, לוחות נתונים, כולם מגיעים כתמונהשפיט (Liang et al. 2026)
F2מד אנלוגיספרות ותוויות נקראות היטב. מיקום המחוג נקרא שגוילחץ, טמפרטורה, זרם. הקריאה נכנסת לדוח חתוםpreprint (Lin et al. 2026)
F3סעיף תקןמספרי סעיפים ותכנים מומצאים במבנה אמיןתדירות בדיקה חוקית או דרישת בטיחות שאינה קיימתמקצועי (Thomas 2026); מנגנון (Huang et al. 2025)
F4קוד תקלהפירוש מהזיכרון. אותו קוד אומר דברים שונים, ואף הפוכים, בין יצרניםאבחון שגוי, חלף שגוי, פעולה מסוכנתטבלאות היצרנים מראות את הסתירה (סעיף 1). שגיאת הכלי מוסקת, טרם נמדדה
F5חישוב ישירשגיאות בחישוב שמתבצע בתוך המודל, בבחירת נוסחה ובהמרת יחידותעומס, ספיקה, מאמץ. המספר נכנס להחלטת תכןשפיט (Choi, Lee, and Kim 2025; Liang et al. 2026)
F6השלמה שקטהמק"ט, תאריך, דגם או פעולה שלא נמסרו מתמלאים בביטחון מלאדוח מדווח על פעולה שלא בוצעהמנגנון (Huang et al. 2025)
F7הסבר נכון-שגויתוצאה נכונה עם הנמקה שגויההמהנדס סופג הנמקה שגויה שנראית תקינהתצפית שדה. טרם נמדד

תרשים 2. ראיות מפורסמות מאחורי שלושה סוגי כשל. (א) F1: דיוק בשתי משימות קריאת טבלה מתוך תקני בנייה, לפי פורמט הטבלה, תשעה מודלים (Liang et al. 2026). (ב) סוג השגיאה בשני מבחני רישוי לאומיים למהנדסי ציוד מכני בבניינים, שהמודל עבר 5 מתוך 5 פעמים (Choi, Lee, and Kim 2025). כל סוג שגיאה ממופה לסוג שאלה. (ג) השפעת עיצוב הכלי והסרת הכלי על ציוני לומדים (Bastani et al. 2025). הערכים כפי שדווחו בתקצירי המקורות.

תרשים 2. ראיות מפורסמות מאחורי שלושה סוגי כשל. (א) F1: דיוק בשתי משימות קריאת טבלה מתוך תקני בנייה, לפי פורמט הטבלה, תשעה מודלים (Liang et al. 2026). (ב) סוג השגיאה בשני מבחני רישוי לאומיים למהנדסי ציוד מכני בבניינים, שהמודל עבר 5 מתוך 5 פעמים (Choi, Lee, and Kim 2025). כל סוג שגיאה ממופה לסוג שאלה. (ג) השפעת עיצוב הכלי והסרת הכלי על ציוני לומדים (Bastani et al. 2025). הערכים כפי שדווחו בתקצירי המקורות.

תוויות האיור באנגלית.

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

5. השיטה

5.1 האקסיומה

מספר שלא אומת אינו קיים.

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

5.3 שלושה שלבים ושער אחד

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

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

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

שלב ב'. שאל את הכלי. פנייה מובנית עם שישה חלקים חובה:

  1. תפקיד: את מי הכלי מדמה (למשל, הנדסאי אחזקה ותיק).
  2. הקשר: סוג הציוד, המתקן, הסביבה, אילו ערכים באים ממדידה ואילו לא.
  3. משימה: מה להפיק, בפורמט מוגדר.
  4. אילוצים: יחידות, תקן מחייב, אורך.
  5. מקור: המסמך המוסמך, מצורף כשרלוונטי.
  6. הנחיית החסר: "אל תמציא. כתוב חסר. אם חסר לך נתון, שאל לפני שאתה כותב."

פנייה בלי חלקים 4 ו-6 אינה פנייה לפי השיטה.

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

טבלה 3. כלל ההחלטה בשער.

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

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

5.5 איזו בקרה תופסת איזה כשל

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

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

6. המכשירים

6.1 יומן האימות (נספח א')

טבלה 4. שדות יומן האימות.

#שדהסוגערכים
1מזהה תוצרטקסטקוד המשימה או המפגש
2תאריךתאריך
3דיסציפלינהרשימהמכונות · מיזוג · אחר
4סוג התוצררשימהדוח · נוהל · חישוב · מפרט · טבלה · תרגום · אחר
5הפריט שנבדקטקסטתיאור קצר
6סוג הפריטרשימהמספר · מק"ט/דגם · סעיף תקן · קוד תקלה · תדירות · פעולה מדווחת · תרגום מונח · אחר
7מה הכלי אמרטקסטהפלט המקורי, מילה במילה
8מקור האימותטקסטשם המסמך המוסמך
9מיקום במקורטקסטעמוד / סעיף / טבלה
10תוצאהרשימהתואם · פער · לא אומת · חסר (סומן ע"י הכלי)
11סוג הפעררשימהריק אם תואם. אחרת F1–F7 או "אחר"
12מה תוקןטקסטהערך הסופי
13זמן אימות (דק׳)מספר

7. סולם חמש הרמות

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

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

טבלה 5. רמות ודרישות.

רמהשםמה מותרנדרש
0ללא כליאין שימוש בכליללא
1רעיונות בלבדהכלי מציע כיוונים, מבנה, שאלות. כל התוכן נכתב ידניתהצהרה
2עריכההכלי משפר טקסט שנכתב ידנית: ניסוח, תרגום, סיכום, שפההצהרה
3טיוטה מאומתתהכלי מנסח את התוצר. כל פריט עובר את השער (סעיף 5.3)הצהרה + יומן מלא
4מלא, באישורשימוש נרחב כולל ניתוח וארגון. רק באישור מפורש של הממונההצהרה + יומן מלא + אישור כתוב

8. התקנה בארגון

תרשים 5. התקנה בחמישה צעדים. ההכשרה היא צעד 4, לא צעד 1.

תרשים 5. התקנה בחמישה צעדים. ההכשרה היא צעד 4, לא צעד 1.

טבלה 6. צעדי ההתקנה.

צעדשםמה נעשהתוצר
1מיפויאילו תוצרים נחתמים או מובילים להתחייבות. מי חותם. אילו מסמכים אסור להעלות לכלי ענן (סודיות, סיווג, קניין רוחני)רשימת תוצרים + רשימת "אסור לענן"
2תיוגכל תוצר ברשימה מקבל רמה, בכתב, עם נימוק ומאשרטבלת תיוג (נספח ד')
3הטמעההיומן והצהרה נכנסים לתבניות הקיימות של הארגון. לא טופס חדשתבניות מעודכנות
4הכשרהסדנה על התוצרים של הארגון עצמו, בשיטת שלושת השלבים. מסתיימת בבוחן ציד טעויות, בלי כליעובדים שהוכשרו · תוצאות הבוחן
5מדידהאיסוף היומנים. אחת לרבעון: אילו סוגי כשל חוזרים, באילו תוצרים, ומה משתנה בתיוגדוח רבעוני · תיוג מעודכן

9. גבולות התחולה

השיטה חלה בשלושה תנאים. מחוץ להם היא אינה נותנת שום ביטחון.

9.1 השיטה אינה חלה כאשר:

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

9.2 השיטה אינה מבטיחה:

  • שהתוצר נכון. היא מבטיחה שמישהו בדק כל פריט מול מקור ורשם את התוצאה. אם המקור שגוי, התוצר שגוי, והיומן מראה בדיוק איפה.
  • מהירות. שלב ג' מוסיף זמן לכל תוצר. שדה 13 רושם אותו, ואנו מתכננים לדווח עליו (סעיף 10). האם הוא קטן מעלות של טעות חתומה היא שאלה אמפירית.

9.3 השיטה אינה תחליף ל:

  • כשירות מקצועית. אימות דורש כשירות לקרוא את המקור. השיטה מניחה את הכשירות הזאת ואינה מספקת אותה.
  • אחריות מקצועית. האחריות נשארת אצל החותם. ASHRAE (2025) ו-ASTM (2025) נוקטות את אותה עמדה.

10. פרוטוקול ההערכה לגרסה 1.0

10.1 מי כשיר להגיש יומן

תרשים 6. ציר הזמן של ההערכה. הסכמה ותיוג בנקודת יומן 1. מבחן מקדים בלי כלים בכניסה. יומן אימות אחד למשתתף למשימה בנקודות יומן 3 עד 13. מבחן מסכם בלי כלים בסיום.

תרשים 6. ציר הזמן של ההערכה. הסכמה ותיוג בנקודת יומן 1. מבחן מקדים בלי כלים בכניסה. יומן אימות אחד למשתתף למשימה בנקודות יומן 3 עד 13. מבחן מסכם בלי כלים בסיום.

11. מגבלות

F7 עדיין לא נמדד. תשובה נכונה עם הנמקה שגויה נכנסת לסיווג מתצפית שדה. זה הסוג שסביר ביותר שישתנה בגרסה 1.0.

הרשומה

מחבר
Mati Melchior
שיוך
Independent researcher, Physical AI Safety · Licensed mechanical engineer, MBA · ORCID 0009-0003-9647-1498
ORCID
0009-0003-9647-1498
תאריך פרסום
2026-09-06
גרסה
0.9 · לא עבר ביקורת עמיתים.
מספר דוח
Physical AI Safety · M1, v0.9
DOI של הגרסה
10.5281/zenodo.22271340
DOI מושגי
DOI מושגי — טרם נקרא מהרשומה.
DOI של המכשירים
המכשירים שייכים לרשומת Zenodo נפרדת. הרשומה הזאת עדיין איננה קיימת, ולכן אין לה DOI.
רישיון
CC BY-NC-ND 4.0
רישיון המכשירים
CC BY 4.0

מכשירים

אין כאן שום קישור. רשומת המכשירים עדיין איננה קיימת, ולכן גם המכשירים הכתובים נמצאים במקום שאף קישור אינו מגיע אליו.

שמות המכשירים באנגלית.

  • AVerification log templateכתוב · לא פורסם
  • BAI use declarationטרם נכתב
  • CError-hunt quizטרם נכתב
  • DTask-tagging tableטרם נכתב
  • EPrompt templateטרם נכתב
  • FInformed-consent textטרם נכתב
  • GThis paper's verification logכתוב · לא פורסם

ציטוט

Melchior, Mati (2026). The Verification Gate: A Work Method for Generative AI in Consequential Engineering Practice (v0.9). Physical AI Safety, M1, v0.9. https://doi.org/10.5281/zenodo.22271340

BibTeX

@techreport{melchior2026verification-gate,
  author      = {Melchior, Mati},
  title       = {The Verification Gate: A Work Method for Generative AI in Consequential Engineering Practice},
  institution = {Physical AI Safety},
  number      = {M1, v0.9},
  year        = {2026},
  date        = {2026-09-06},
  doi         = {10.5281/zenodo.22271340},
  url         = {https://physical-ai-safety.com/he/method/verification-gate}
}

RIS

TY  - RPRT
AU  - Melchior, Mati
TI  - The Verification Gate: A Work Method for Generative AI in Consequential Engineering Practice
PY  - 2026
DA  - 2026-09-06
PB  - Physical AI Safety
M1  - M1, v0.9
DO  - 10.5281/zenodo.22271340
UR  - https://physical-ai-safety.com/he/method/verification-gate
ER  -
יצירת קשר
mati@physical-ai-safety.com

היסטוריית גרסאות

  • v0.92026-09-06

    Working paper. This version.

    10.5281/zenodo.22271340

  • v1.0עדיין אין תאריך.

    מתוכנן. הגרסה תכלול תוצאות מדודות אם וכאשר יומנים כאלה יתקיימו.

    עדיין אין DOI.

השימוש שלנו בעוגיות

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