דלג לתוכן הראשי
Symphony Validator (tools/symphony-validator) הוא בודק מאגר עצמאי, דטרמיניסטי ולקריאה בלבד, הכתוב ב-C++26. הוא מפיק ראיות בלתי ניתנות לשינוי לגבי המצב הנוכחי של המאגר ושל החוזים שלו. הוא אינו יכול לתקן או לפרסם דבר.

מה ה-Validator בודק

  • מבנה החוזים: עוגני Contract Quad נדרשים ומבנה
  • סגירות המקורות הנוכחית על פני המשטחים שמאונדקסים ב-SKVI
  • בעלות על אינווריאנטים בהתאם ל-knowledge/INVARIANTS.md ולרישום האינווריאנטים
  • ציפיות ניהול תכונות שמדווחות על ידי SSFV
  • רשומות גרסאות שמדווחות על ידי SODV
  • תקציר השורש שבבעלות המכונה בקובץ ה-README של המאגר
הראיות נפלטות כפלט שורות או כ-JSON מובנה. כל פליטה ניתנת לשחזור מאותו מצב מאגר.

מה ה-Validator אינו עושה

ה-Validator אינו יכול לתקן קבצים, לשכתב חוזים או לפרסם את המאגר. הוא אינו יוצר אמת קנונית על שום דבר; הוא רק מדווח עליה.
  • אין תופעות לוואי על המאגר
  • אין גישה לרשת
  • אין השתקת אזהרות מחוץ למדיניות האזהרות המוגנת של qxctl

שילוב עם qxctl

qxctl מאמת את הקבלה המדויקת ואת התקצירים המובנים של ה-Validator לפני החלת מדיניות האזהרות המוגנת. תשע פקודות-עלה מוגנות של qxctl למחזור החיים של אזהרות, יחד עם נתיב תקציר השורש המדויק המגובה בקבלה, חושפות ניהול אימות מבלי לשנות את ראיות הגלאי הגולמיות.

משטחים קשורים

qxctl validate

דקדוק מדיניות האזהרות המוגנת, קו הבסיס וההצגה.

SSFV

ציפיות ניהול תכונות שה-Validator בודק.

SODV

רשומות גרסאות שה-Validator בודק.

סקירת SKV

המסגרת הכוללת שאת חוזיה ה-Validator בודק.
עודכן לאחרונה ב 10 באוקטובר 2026