תוצאות ומצב החומרים
מצב מתייחס לתוצר מסוים ולתחום בדיקתו, ולא לכל ObliNet.
כלל לקביעת מצב
מצב נקבע רק כאשר יש תוצר זמין עם גרסה, תחום תחולה ותוצאת בדיקה. המצבים אינם סולם אוטומטי: אימות פורמלי וניסוי מעשי עונים על שאלות שונות. תיאור של יכולת אינו ראיה למימושה.
מה לא נטען
לארכיטקטורה החדשה לא נקבעו במהדורה זו המצבים ״אומת פורמלית״, ״נבדק במודל סינתטי״ או ״נבדק בתנאים מעשיים״: חבילות השחזור המתאימות אינן מוצגות. אין זו טענה שאין עבודות קודמות; הכללתן דורשת בדיקה נפרדת.
רשומת תוצאה עתידית
רשומה צריכה לקשר בין השערה, פרוטוקול, גרסאות מפרט ומימוש, תרחישים או מדגם, נתונים, הרצה, מדדים, אי־ודאות ומגבלות. הרצות כושלות וחריגות מהפרוטוקול נשמרות. הדגמות הדפדפן שלהלן מעידות רק שתרחישים קבועים פועלים, ולא על יעילות כללית.
| מצב | הבסיס הנדרש |
|---|---|
| השערת מחקר | השערה מפורשת הניתנת לבדיקה; ההשפעה טרם נקבעה. |
| טיוטת מפרט | הגדרות ודרישות עם פערים מסומנים. |
| מנגנון ממומש | קוד זמין ותרחיש פעולה הניתן לשחזור; תחום הטענה מוגבל לתרחיש זה. |
| אומת פורמלית | גרסת מפרט, תכונות, הנחות, גבולות ופלט כלי הניתן לשחזור. |
| נבדק במודל סינתטי | גרסאות מודל ופרוטוקול, תרחישים, נתונים, הרצות וניתוח אי־ודאות. |
| נבדק בתנאים מעשיים | הקשר, פרוטוקול, נתונים, השוואה, מגבלות ודוח פיילוט. |
| חומר | המצב שנקבע | תוצר ותחום |
|---|---|---|
| השערה | השערת מחקר | השערת המחקר |
| מודלים ופרוטוקולים | טיוטת מפרט | מודל ארגוני סינתטי · המודל הפורמלי · פרוטוקולים לניסויים השוואתיים |
| תרחיש קבוע לשינוי מוסכם | מנגנון ממומש | /assets/coordination-work.js |
| מחשבוני רכישה | מנגנון ממומש | מחשבונים /assets/purchasing.js /assets/cooperation-demo.js |