שער מסחר יכול להישאר סגור בעוד שנימוקו משתנה
הפקודות הממתינות ב-06:18
אני רואה ב-AlgoTier את אותן שתי פקודות מכירה סינתטיות הדורשות אישור ב-06:17 וב-06:18, אף על פי שאות הקארי (carry) עובר בין תצפיות אלו ממצב מעורפל למאושר. TECHX היא פקודה של 40 מיליון דולר ו-EMFX היא פקודה של 22 מיליון דולר; UTIL ו-GOLD נותרות מורשות. סטטוס פקודה שלא השתנה מסתיר שינוי בנימוק שאני נדרש לבדוק.
המסך מציג בפניי היקף בקרה מוגדר: NKY, TECHX ו-EMFX. עבור NKY אין פקודת דוגמה, פרט שקל לפספס אם מתייחסים לטבלת הפקודות כאל ההחלטה במלואה. המדיניות חלה על קבוצת מכשירים; הטבלה מציגה את מה שקורה לארבע הפקודות ההמחשיות שסופקו עבור שחזור זה.
אני Ashutosh, מייסד Veriprajna. בבחינת הדגמה זו, אני מוצא את עצמי נמשך לבהירות לכאורה של אותה טבלה. כתום פירושו נדרש אישור. ירוק פירושו מורשה. אני יכול לקרוא זאת במהירות. ואז אני מביט בתצפית הקודמת, והבהירות הופכת לפחות נוחה: אותן פקודות כבר נדרשו לאישור ב-06:17, כאשר אות הקארי עדיין היה מעורפל.
שם תשומת הלב שלי נעצרת. תוצאת הבקרה נותרת זהה בעוד שהנימוק התומך בה משתנה. אם אסכם את שתי התצפיות בכך ש'המערכת זיהתה סיכון וחסמה את הפקודות', אמחק את ההבחנה שאני חייב לבחון.
זה ניתוח AlgoTier מציג את השחזור הסינתטי הקבוע הזה. נתוני השוק, תוויות המכשירים והפקודות הם להמחשה בלבד. שום פקודת בורסה אמיתית אינה מוחזקת כאן. מה שאני יכול לבחון הוא הקשר בין ראיות, מדיניות וסילוק הפקודות המדומה.
אותו שער, נימוק שונה
אני קורא את הרישום של 06:17 כהפרעה מכוונת של הוודאות: ציון פירוק הקארי הוא 0.542, מתחת לסף המאושר של המדיניות העומד על 0.60, והבקרה שנבחרה היא כבר GATE.
הפיתוי הראשון שלי, בהתבוננות בתוצאה בלבד, הוא להתייחס לדרישת האישור כקיצור למצב מאושר. מעקב אחר פרשנות זו לאורך הרישום גורם לה להתפרק. הכלל האחראי ל-GATE כאן הוא R3, המכסה ציונים מ-0.30 ועד (לא כולל) 0.60. הנימוק שלו קורא להוכחה אנושית. המדיניות מקצה במפורש פעולה למצב של ערפול.
עליי לתקן את המשפט שמתגבש בראשי. 'מצב קארי מאושר מעכב פקודות אלו' הוא שגוי עבור תצפית זו. 'אות קארי מעורפל מנתב פקודות אלו לבדיקה תחת R3' שומר על מה שהרישום באמת אומר. ההבדל נראה קטן בניסוח אך מהותי בביקורת. הראשון שואל ביטחון מתצפית מאוחרת יותר; האחרון מותיר את אי-הוודאות גלויה.
ב-06:18, ציון פירוק הקארי מגיע ל-0.7913. כלל הקארי המאושר, R2, נכנס לתוקף. NKY, TECHX ו-EMFX נותרים בהיקף; TECHX ו-EMFX עדיין דורשות אישור, בעוד ש-UTIL ו-GOLD נותרות מורשות. האישור משנה את הנימוק המתועד מבלי לשנות את תוצאות הפקודות הללו.
אני מתנגד לכינוי תצפית מאוחרת זו כהצדקה לשער המוקדם יותר. אלו הם נתוני בדיקה קבועים, והשחזור אינו מכיל ראיות עצמאיות לכך שסף זה מתאים לשווקים אמיתיים. באופן בסיסי יותר, בחינת ההחלטה המוקדמת דורשת את המידע שהיה זמין באותו רישום מוקדם. מתן אפשרות לאות המאוחר להסביר אותה יגרום למדיניות להיראות ודאית יותר ממה שהייתה בפועל.
אני מוצא את עצמי גם מפריד בין שתי שאלות שהסטטוס הכתום דוחס. האם אות הקארי חזק מספיק כדי לעמוד בתנאי המאושר? האם המדיניות מתירה לפקודות המושפעות להמשיך ללא בדיקה? ב-06:17, התשובות מתפצלות. הציון לא הגיע לסף המאושר, והמדיניות עדיין דורשת אישור. אני יכול לדון בשאלה האם זו תגובה מועילה לערפול רק משום שאני יכול לראות את הטווח שמפעיל אותה. תווית האומרת 'לא בטוח' הייתה מותירה לי פחות מה לבחון אם הייתה מסתירה את הפעולה שהוקצתה לאי-ודאות זו.
אני יכול להחזיק את הפלט קבוע ועדיין להתווכח על ההיגיון שמאחוריו. הסטטוס לבדו אינו יכול לשאת טיעון זה. אני זקוק לזמן, לציון, לכלל ולהיקף יחד.
מעקב אחר הגבול בחזרה אל תוך המדיניות
אני חוזר למסך של 06:18 וקורא אותו לרוחבו, מנתוני השוק דרך אות הקארי ועד לטבלת הפקודות, מכיוון שגם הגבול בין השורות הכתומות לירוקות דורש הסבר.
ציון הקארי משלב פונקציות שיפוע מוגבלות עבור חוזק הין, ירידת הניקיי והמתאם. חישוב הגרף מספק לאחר מכן ערכי לחץ המשמשים להיקף. במערך זה, לחץ ברמה של 0.25 ומעלה מכניס מכשיר כשיר לאותו היקף. הרישום הנבחר כולל את NKY ברמה של 0.3979, TECHX ברמה של 0.3645 ו-EMFX ברמה של 0.2990; UTIL ו-GOLD נמצאים באפס.
ערכים אלה מאפשרים לי להתחקות אחר ההפרדה על המסך. הם גם גורמים לי להסס להשתמש במילה 'לא מושפע' בחופשיות רבה מדי. זה עלול לרמוז על מסקנה כלכלית רחבה יותר ממה שהחישוב תומך בו. כאן אני יכול לומר שפקודות הדוגמה של UTIL ו-GOLD נמצאות מחוץ להיקף GATE זה והן מורשות. זהו דיווח מדויק על ההתנהגות שהודגמה.
עליי גם לעקוב אחר ציר הזמן לאחור לפני שאוכל לתאר מה נשאר פעיל. ב-06:13, תווית INDETERMINATE VIX מפעילה THROTTLE לרוחב כל ספר הפקודות. ב-06:14, תווית SPREAD-DRIVEN ממשיכה את הוויסות המקיף הזה. כל ארבע פקודות הדוגמה מווסתות במהלך אותה תקופה. ההיקף משתנה עם הבקרה שנבחרה, כך שהשורות המורשות של UTIL ו-GOLD ב-06:18 אינן יכולות לתמוך בטענה שפקודות אלו תמיד היו מורשות.
קריאת תצפיות אלו יחד הופכת את התיאור של התכנון לפחות פשטני אך להרבה יותר שימושי לבחינה. אני מעדיף לשמור על הגבול המשתנה גלוי לעין מאשר לשטח את השחזור לסיפור על עצירת פקודות מסוכנות בעוד שכל השאר ממשיך כרגיל. הראיות תומכות ברצף של תגובות מסוימות. כל תגובה זקוקה לדין וחשבון משלה לגבי מי נכלל בה.
הכלל שמופעל והכלל שמנצח
אני נושא את ההסבר של 06:18 קדימה אל 06:24, בציפייה שהקושי הבא יהיה ציון נוסף, ובמקום זאת פוגש שאלה על עדיפות כללים.
ב-06:24, התנודתיות הממומשת עומדת על 28.6. R4 מציע RESTRICT מכיוון שהסף שלו הוא 25.0. מצב הקארי עדיין עומד ב-R2, שמציע GATE. סדר החומרה המוגדר של המדיניות מציב את GATE מעל RESTRICT, כך שהבקרה הנבחרת נותרת GATE ואותן פקודות דוגמה עדיין דורשות אישור.
זה מעניק לי דרך נוספת לפרש בצורה שגויה סטטוס שלא השתנה. אם אבדוק רק את הרמה הסופית, לא אוכל לדעת שתנאי נוסף הפך לרלוונטי. אם אבדוק רק רשימה של כללים שהופעלו, עדיין אזדקק לסדר שבחר את התוצאה. כלל שהופעל והחלטה שנבחרה הם עובדות שונות, ואני רוצה את שניהם בבדיקה.
אני יכול להגן על הערך של חשיפת סדר זה מבלי להגן על הסדר עצמו כנכון באופן אוניברסלי. זוהי בחירת מדיניות בהדגמה. הדבר נכון גם לגבי ספי הקארי ונקודת החיתוך של לחץ הגרף. סוקר עשוי להסכים עם המנגנון ולא להסכים עם סף, או לקבל את הסף ולערער על אופן גזירת ההיקף. הרישום צריך לתת לאי-הסכמה זו מקום מדויק להיאחז בו.
אני מוצא הבחנה זו מועילה בעת הערכת ההסבר שלי להדגמה. תרשים נקי יכול לגרום לשרשרת בחירות להיראות בלתי נמנעת: קלט שוק, ציון, כלל, פעולה. קריאת הקבועים והמועמדים המתחרים משחזרת את הבחירות. מישהו בחר טווח לערפול. מישהו החליט שערפול צריך לדרוש בדיקה. מישהו הציב את GATE מעל RESTRICT.
עבור שחזור זה, החלטות אלו הן הנחות המחשיות המבוטאות בקוד. יכולת השחזור חושפת את ההנחות לערעור. היא אינה קובעת אם הן מתאימות למדיניות מסחר בסביבת ייצור. הביטחון שלי ביכולת לבדוק את ההחלטה יכול להיות חזק יותר מהביטחון שלי במדיניות שההדגמה עושה בה שימוש במקרה.
זה משנה את הבדיקה שהייתי מכין. הייתי מתחיל בתוצאה שנבחרה, מתחקה אחר הכלל שהפיק אותה, ואז מזהה את ההנחות שאני רוצה להטיל בהן ספק. אם אינני מסכים עם טווח הערפול, אני רוצה שאי-הסכמה זו תירשם כעניין של מדיניות. אם אינני מסכים עם היקף המכשירים, אני רוצה לבחון את הנחות הגרף. שמירה על התנגדויות אלו ספציפיות מסייעת לי להימנע מדרישה מתווית סטטוס יחידה לענות על מספר שאלות הנדסיות שונות.
קריאה זהירה של הודעת האימות הירוקה
אני עוצר בהודעת ה-'Chain Verified' הירוקה של ה-Audit Record מכיוון שהיא מציעה קיצור דרך מפתה נוסף: התייחסות לבדיקת שלמות מוצלחת כאישור לכל מה שנמצא בתוך הרישום.
השרשרת ללא שינוי מאומתת לרוחב כל 12 החלטות השחזור. כל רשומה בזיכרון כוללת את הרצף שלה, הגיבוב (hash) הקודם, המטען (payload) וגיבוב הרשומה. המטען נושא את מצב השוק, הפלטים המייעצים, הכללים שהוערכו, ההחלטה שנבחרה וסילוקי הפקודות המדומים, יחד עם שדות מקור. זה נותן לי רישום מובנה לחזור אליו כאשר תיאור תמציתי השמיט משהו.
אני קורא את ייצוא ה-JSON ואת ה-HTML להדפסה כתצוגות משלימות. ה-JSON כולל את סילוקי הפקודות; ה-HTML אינו מציג אותם בטבלה נפרדת. אם שאלתי נוגעת לפקודת הדוגמה שדרשה אישור, עליי לשמור על הבחנה זו בעת בחירת מה לבדוק או לשתף. הייצוא הנבחר הוא רשומת החלטה בודדת, ולא ייצוא של היומן כולו.
תרגיל השיבוש המבוקר הופך את טענת השלמות למוחשית. שינוי הרמה המאוחסנת של רצף 8 מ-GATE ל-HALT תוך השארת הגיבוב שלו ללא שינוי מייצר אי-התאמה בגיבוב הרשומה ברצף 8. הבדיקה מזהה ומאתרת את אותו שינוי במטען.
אני רוצה את התוצאה האדומה ואת המגבלות זו לצד זו. יומן זה נמצא בזיכרון וניתן לאיפוס. אין לו עוגן שלמות עצמאי או חתימה דיגיטלית, וקיומו של גורם המסוגל לשכתב את הרישומים והגיבובים שלהם נמצא מחוץ למה שתרגיל זה מוכיח. גיבוב התצורה של הקבועים הנבחרים אינו מאמת אף הוא כל קלט או תלות. שרשרת מאומתת מותירה את הבדיקה המהותית פתוחה: עדיין עליי לשאול האם המדיניות המתועדת הייתה הגיונית והאם היקפה היה מוצדק.
ההסבר שאני יכול לעמוד מאחוריו
אני חוזר ל-06:17 עם משפט צר יותר מזה שרציתי להשתמש בו בתחילה: מדיניות זו דורשת בדיקה של פקודות הדוגמה המושפעות בעוד שאות הקארי מעורפל, והיא מתעדת את הכלל ואת ההיקף העומדים מאחורי דרישה זו.
למשפט זה יש חיכוך מועיל. הוא מונע ממני לטעון שהמערכת מכירה את תנאי השוק בוודאות. הוא גם מונע ממני להתייחס לאי-ודאות כאל היעדר מדיניות. כאן, לטווח הערפול יש תוצאה מפורשת. אני יכול לבחון אותה ולהתנגד לה.
הייתי מיישם את אותה משמעת על המילים 'Approval Required'. היישום מקצה סילוק זה; אין לו זהות מאשר, פעולת אישור/דחייה או אינטגרציית ביצוע ממשית. הביטוי מתאר דרישה מתועדת לבדיקה. כל תהליך עבודה בסביבת ייצור עדיין יצטרך להגדיר מי יכול להגיב ואילו ראיות החלטתו חייבת לשמר. באופן דומה, מיפוי ההתייחסות הרגולטורית להמחשה של החבילה דורש תוקף משפטי; הוא אינו מספק מסקנה לגבי מספקות משפטית.
זה ההדגמה המלאה מציבה את תוצאות הפקודות הללו ואת הראיות שלהן במוקד. הסיבה שלי לחזור לתצפית המוקדמת יותר היא פחות חזותית: אני רוצה לשמור על אי-הוודאות קשורה להחלטה שהתקבלה תחתיה.
הקלטתי סקירה קצרה זו של המייסד כדי להראות את אותן תוצאות פקודות ואת הראיות שמאחוריהן.
ב-06:18, האות החזק יותר מקל על הסבר אותו שער. זה לא אמור לגרום לי לשכתב את 06:17. ההחלטה המוקדמת ראויה להיבחן בתנאים שלה, כאשר האות הלא-שלם שלה, המדיניות המפורשת וההיקף התחום עדיין עומדים בעינם. אני בוטח בדיווח שלי על ההדגמה יותר כאשר אני משאיר אי-נוחות זו גלויה.
