> ## Documentation Index
> Fetch the complete documentation index at: https://docs.quanux.org/symphony/llms.txt
> Use this file to discover all available pages before exploring further.

# Symphony Validator: בדיקות מאגר לקריאה בלבד

> Symphony Validator הוא בודק C++26 לקריאה בלבד שמפיק ראיות בפורמט שורות או JSON עבור חוזים, סגירות מקורות, אינווריאנטים, תכונות וגרסאות.

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

## מה ה-Validator בודק

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

הראיות נפלטות כפלט שורות או כ-JSON מובנה. כל פליטה ניתנת לשחזור מאותו מצב מאגר.

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

> [!WARNING]
>
> ה-Validator אינו יכול לתקן קבצים, לשכתב חוזים או לפרסם את המאגר. הוא אינו יוצר אמת קנונית על שום דבר; הוא רק מדווח עליה.

* אין תופעות לוואי על המאגר
* אין גישה לרשת
* אין השתקת אזהרות מחוץ למדיניות האזהרות המוגנת של qxctl

## שילוב עם qxctl

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

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

> [card] [qxctl validate](https://docs.quanux.org/symphony/he/qxctl/validate.md)
>
> דקדוק מדיניות האזהרות המוגנת, קו הבסיס וההצגה.

> [card] [SSFV](https://docs.quanux.org/symphony/he/skv/ssfv.md)
>
> ציפיות ניהול תכונות שה-Validator בודק.

> [card] [SODV](https://docs.quanux.org/symphony/he/skv/sodv.md)
>
> רשומות גרסאות שה-Validator בודק.

> [card] [סקירת SKV](https://docs.quanux.org/symphony/he/skv/overview.md)
>
> המסגרת הכוללת שאת חוזיה ה-Validator בודק.


## Related topics

- [SKVI: מנוע האינדקס של Symphony Knowledge Vector](https://docs.quanux.org/symphony/he/skv/skvi.md)
- [qxctl validate: מדיניות האזהרות של Symphony Validator](https://docs.quanux.org/symphony/he/qxctl/validate.md)
- [וקטורים ושלבי מסירה ב-Symphony](https://docs.quanux.org/symphony/he/concepts/vectors.md)
- [SCLV: Symphony Change Ledger Vector לשינויי מקור](https://docs.quanux.org/symphony/he/skv/sclv.md)
- [SEV: Symphony Evolution Vector לשינויים מתוכננים](https://docs.quanux.org/symphony/he/skv/sev.md)


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.